AIと自動化のグローバルストーンマイニング機器市場の影響