■

晴れていて湿度も高め。梅雨も近い。朝からAgdaのインストールの続き、昼には完了する。また洗濯と食器洗い、他にケーブルテレビのインターネットモデムの交換。非常勤授業の準備をしてから夕食、ミートソースパスタ。