• 今日は午後から雪の予報。
• 論理学ゼミ。Kripkeモデルに入る前に、学生から質問を受けて妥当性証明の練習。Treeを使うが、あまり洗練されてない方法なので、黒板に書き切れない。Fittingのprefixを使うやつの方が簡単だと思って、授業後、JSと少し話をする。その後、メールでfollow-up。
• ついでに、JGの翻訳について、疑問点のリストと、著者紹介原稿の材料をお願いするメールを出す。
• メールついでに、伊国留学で苦労している某君の支援でわが社の某センターにメール。クレームではなくご協力に感謝しますという趣旨。来月、伊国文化会館に出向いて運用について話し合う予定があるらしいが、もう少しきちんと制度を作らないと学生が可哀想だ。
• 夕方ジム。体が温まって、氷点下の中をTシャツにジャンパーで歩いて帰宅。零下5℃くらいまでならまったく問題ないはず。そういえば以前、New Yorkで零下20℃を経験したが、さすがにそのときは、顔が痛く、長時間屋外で活動するのは危険だと感じた。
• 大谷選手が新人王というニュース。こちらでもMLBチャンネルなどで報道されているが、残念ながらこの時期はアメフト、バスケットボール、アイスホッケーに人々が夢中になっているので、知る人ぞ知る地味なニュースという感じ。
• そういえば、日米野球も録画で放映されている。