TXTレコードを用いた仮想マシンが登録されているハイパーバイザー特定時間の短縮