• 2日の秋休みが終了して論理学ゼミ。後半はModal Logicに突入。一階述語論理の証明論はTreeだけ、自然演繹は自習、完全性証明はパスという進行。Modal Logicは自作の出版前の教科書を使うところがかっこいい。大学の授業は出版前の原稿を使いたいところ。しかし著作権などはどうなっているのか。
• 夕方ジム。足の具合を確かめながら軽めのメニュー。
• 奥さんは、ESLのあと、自宅にイランとインドのご友人を招いてお寿司とかでおもてなしをしたらしい。最近国際親善で疲れ気味ではあるが、こういうことは実際に体験しないとなかなかニュアンスがつかめないので、いい勉強をしていると思う。明日はUMSLのHalloween partyに出かけるとか。
• 夜は地球の裏側まで追いかけてきた業務。Skypeを使って遠隔指導。WiFiの具合を心配したが、問題なくできた。Skype(と、それに相当するapp)は確実に歴史を変えているし、今後も変えるだろう。
• ドジャーズがまた負けて2-0の展開。マエケンも登板したが、これだけ才能だらけのメンバーだとさすがに見劣りがするのは否めない。
• 大家さんJの術後の様子についてあまり報告がないので心配している。この文脈では、便りがないのがよい便りとは言えない。