• うかうかしていたら、ついに春学期が始まってしまった。今年から非常勤をお願いする某先生が部屋にいらっしゃったので、しばらく雑談。このところ引きこもって別世界を旅していたので日本語が出てこずに困る。その後、一緒に教室へ。想像以上に受講者が集まっているようで、依頼した方としては、ほっと一安心。
• 念のため各種報告書や申請書を早めに準備する。意外に時間がかかる。これを明日、授業の合間にやろうとしていたのだが、絶対に無理だっただろう。このあたりの仕事の配分能力にもリハビリが必要。
• ついでに明日の授業のレジュメを作成して印刷。昨年は初回に32名集まったので、今年は40枚印刷する。（こう書いておくと来年の自分がこれを読んで一年前の自分に感謝することになる。）
• 春の猛勉強、''Language, Proof and Logic''の方だが、予定通り一階述語論理の完全性証明のところまで終了。ぼんやりと理解が不十分だと感じていたあたりがすっきりして気持ちがよい。戸田山さんの本だと、命題論理の完全性証明は詳しく説明されているが、一階述語の方は、一応ちゃんと説明してくれてはいるんだが、少し駆け足になっていて、その他の部分に比べるとややわかりにくい。そのへんの手当てができたのでよかった。今後の研究に生かせるといいなあ。