本講義は、三つの私立大学の四つのキャンパスをテレビ電話回線で繋いで、講義を中継するというものです。ところが、TAの人ががんばっても中央大学理工学部の会場に接続できない。「今日は休みなんでしょうか」とか言っていたのですが、こういう理由があった…

というタイトルで、某氏作成の述語論理の実装と、私作成のホーア論理のインチキ実装を紹介しました。皆様、ご静聴ありがとうございます。 質疑応答 Q.なんか、Agdaで証明を書いていると、手で証明を書いた後、Agdaで清書しているだけのように感じるのですが…

寒い日。新幹線で東京へ行き、夕方に某大学で特別講義。終了後、関西にとんぼ返り。昼食は行きの車内でサンドイッチとコーヒー、夕食は帰りの車内でシュウマイ弁当とビール。