「再帰的定義を可能にする、述語論理のAgdaへの実装について」

談話会で発表、参加者8名、16:00-16:45。情報処理学会での発表の内容増補版、タイトルに「、」が増えている点がその増補っぷりを物語る（寒）。
（内容は後で追加します）
これで、地獄の発表シーズンもやっと幕。この6週間の間に、論文締め切り1、3カ所に出張し、6カ所で発表を行った。疲れた。ホント疲れた・・・。