NVIDIAがGPUリソース管理ツールの開発企業「Run:ai」を買収