>>834
とは言え、掃"海"は21世紀になっても原則ダイバーによる手作業依存だしなあ。