AIと自動化のグローバルフローティングドライドック市場の影響