よく晴れたさわやかな日。出勤してテレビ会議と某ミーティング。他に、某WSについてオーストラリアからメール、旅費は(一部)出してもらえる様子。
午後は某大学で非常勤の論理学授業、全称量化子の導入・除去規則について。∀の読み方について「ガンダムの例があるので、ターンエイと読むこともあります」と言ってみたが、学生達から全力でスルーされた。勉強会に出席してから帰宅。
夕食は夏野菜ミートソースパスタ。