"An implementation of satisfaction function of konowledgemodal logic on Agda"

その後は回復したA君と私が発表。45分のはずが30分になったので、大急ぎで終わらせる。和やかな雰囲気で終了。
驚いたのは、終わった後、わざわざG氏が握手に来たこと。お互い「出稼ぎ論理学者」なので、同種の臭いを嗅ぎ付けたんだろうか。