• 時間割作成会議。そうです。我が大学では教員が来年度の時間割を作成するのだ。びびるぜ。
• 昼食は、麻婆豆腐(のようなもの)定食。味は今ひとつ。前に座ったN西教授がカツカレーをいかにも美味そうに食べるので、自分もカツカレーにすればよかったと後悔する。
• 卒業論文発表会。いくつか、けっこう濃い論文があったのがいいと思いました。
• 卒論発表会の後だから、というわけではないが、何かすっきりしたものが読みたくて、夜、戸田山さんの『論理学を作る』に向かう。ヘンキンの定理を使った完全性の証明のところが素敵。満足して安らかに眠りに就く。