真空ポンプのグローバルコールドトラップAIと自動化の市場の影響