タグで仮想LTL作るときにはハッシュダグリレーに登録してあるサーバーである必要もありますけど