「１階様相μ計算の完全性について」（鹿島亮氏（東京工業大学））

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

*1:どうでもいいけれどお客が20人以上の場合は講演者名等も書くことにします。