windows 7 – DNSキャッシュはどのくらいの頻度でクリアされますか？