新学期が始まりました。 [日々]

これがまあ、忙しいです。

今期担当の演習は初級ロジックなので演習にあたっての準備はそれほどたいへんではないのですが、ほぼ毎週ある宿題の採点だとか毎日それなりに送られてくる質問メールへの返答だとか演習後受講生の人たちの自主勉強につきあったりだとか（ただ、これは、居残る人たちに計算機科学科の人たちが多いこともあり、ざっくばらんに数学基礎論小史だとかロジックの計算機科学への応用例として停止問題だとかプログラミング言語の意味論だとかについて話すことができ、ぼくとしても知識の再点検になってありがたくはあるのですが）、なかなかに時間が取られ、論文執筆は言うに及ばず、週一で開催している自主研究会の準備や、そして（おそらくはいちばん重要なこととして）娘と遊んだりもしなければならないので、自分の趣味的な時間の確保どころか、じゅうぶんな睡眠時間も取れないような状態です。

いま博論の最終章の執筆中なので、それを書き終えればちょっとはらくになるかな、と思っているのですが、どうなることやら。