• 論理学ゼミ。完全性証明は基本的なアイデアだけを押さえて、一階述語論理に突入。いちおう、学部の基礎論理学で、自然演繹あたりを軽くやっているのが前提なので、翻訳の練習を入念にするみたい。このへんのお決まりで宿題が山ほど出る。
• 追いかけてきている某業務。夕方ジムに行こうとするが、短パンを忘れてきたことに気づき、そのまま業務。
• イラン出身のTAのA氏と雑談。名前の由来を聞くと、「神から与えられた」という意味だと言うから、Adeodatus^[1]だね、と言うとうれしそうにしていた。意味がわかったのかどうかは不明。
• 夕食は先日買った味付きポークを柔らかく焼いたもの。
• 夜も某業務。とりあえず一段落させる。