• 論理学ゼミ。LewisとStalnakerモデルの証明問題。やはりなんとなく説明がすっきりしない。こちらの理解の問題かもしれないので、Siderの本で理解を確かめる。今週水曜と、来週月曜まで授業があるみたいだ。
• 各方面に五月雨式にメール。
• 先月に発生した業務メールシステムの変更の後処理。関係する人がいるかも知れないので少し具体的に書いておくと、2011年から2年ほど使ったことがあるflet.keio.ac.jpドメイン宛のメールの転送設定が、先月1ヶ月ほど働かない状態になっていた。先日気付いて新たに設定したが、同じGmailだからか、うまく働かない場合があるような気がする。keio.jpドメインやgmail.comドメインのアドレスは問題なく使えていますのでご心配なく。
• 夕方ジム。新聞を3紙もらって帰宅。
• 夜は骨付きポークのロースト。このタイプが一番食べ応えがあって満足感がある。