Windows Server を再起動した際に、再起動前の DNS キャッシュはクリアされるか確認してみた