夏休みなので，実家に帰省します。帰宅予定日は8/16です。

　実家ではネットワークにつながる環境がないのでしばらく音信不通になります（携帯電話があるけど）。もっとも，blogの更新なんて1週間後にまとめてやったりするので影響はありませんが。