午前中、プログラム検証論のテキスト読もうかと思ったが、やめて爆睡。午後、授業で発表。そのあと、TRIさんがサッカー見にIMITに現る。私は今日もアンキ＋カクヨンと夕食へ。今日は秋葉原のじゃんがら。つけめんうまー。秋葉でなにやら撮影してる。電車男か…