原因がやっとわかった。DHCPの設定で、ルーターをネームサーバーにするように設定しているのだが、このルーターのネームサーバーが時々死んでいるようなのだ。 したがって、直接ネームサーバーのIPアドレスを設定してやれば解決する問題なのだが、あいにく、…