なんか産総研の人がいらしてて、様相論理の話をしてくださった。まあ俺が全然理解できてないとか、そういうのはどうでも良くて。
意味論の対義語って証明論だったのかーみたいな、そういうのに気づいたとか、そういうのが収穫。との使いわけが、いまいち良くわかりません。
あとは、木山さんがこないだ「πを横にしたやつに見えるから、横パイだ」とか言ってた「」の読み型ですが「ゲタ」と言ってるのを聞きました。
つーか、\models出ないとかどんだけ。の横線が二本になってるやつです。Unicodeにあるかどうかは知らん。