海上の海洋掘削リグ ガスおよび石油または原油用の石油プラットフォーム 産業用