2016-06-30 30日、木曜。 日記 #日々の出来事 年度末。 お昼はシティに出て久しぶりのベトナム料理。 ミントがおいしい。 夕方から定例セミナー。 「様相言明を含んだ推論のパラドクス(モードゥス・トレンスが成り立たなくなる)を解決するために、様相言明は可能世界の集合とアナフォリックな構造を通じてつながっていると解釈しちゃいましょう」というお話。 アナフォーラをそんなふうに使っちゃうわけですか。 意表をつかれたというか、これは面白い。 夜。某相談ごと一件。 「いまやらんかったら一生やらんだろう」ということで前向きに決断。