談話会*1、1階述語様相μ計算の通常の公理系は「一般モデル」に関して完全となるという話。古典2階論理とのanalogyで証明がうまくいく。とても面白かったです。 その後飲食、阪急線の終電に乗り、駅から歩いて家まで帰る。帰宅後Cと録画した「らき☆すた」を見…

よく晴れている。本日は出張。起床は12時。14時半に出発、昼食は阪急駅ホームでおにぎりを食べる。