AIと自動化のグローバルミニ真空ポンプ市場の影響