■

ゼミ発表。当日になってから準備をする羽目になる癖を直さねばと思いつつ今回も徹夜でゼミ準備。今回はNuSMVのチュートリアルということで、大変につまらない内容です。他の人はモデル検査ツールなんて興味ないからな…。でも自分は読む必要があったので仕方ない。ゼミをサボるよりマシ。

その後、郵便局へ行くなど仕事をして、錫屋氏と三軒茶屋に映画を見に行く。そして大学へ戻り、終電で帰ろうとするもトイレに行っている間に電車のドアが閉まり大学へ戻る。