AIと自動化のグローバル産業EDMマシン市場の影響