本屋によって六甲道へ。Cと待ち合わせ、軽く飲んだ後、「常村」で夕食。

16時より18時まで、参加者10人ぐらい。Identityやinductionなどのruleをどうタイプで表現するのか。

この講演の冒頭でH. Huwig and A. PoigneのA note on inconsistencies caused by fixpoints in a cartesian closed categoryを引用しましたが、ヒビルテさんの2006年11月のエントリーでこの論文を知り、またと2007年2月のエントリーも参考にさせて頂きました…

開始時間は10時、参加者は10人程度。1時間の予定が、質問等が加熱して30分近くオーバー。基本的には皆さんに興味を持って頂けた様子。pdfファイルを大学のサイトにおいてあります。興味のある方はどうぞご覧ください。発表要旨は以下の通り。 本発表では、曖…

起床は7時半、小雨が降る寒い朝。着慣れないスーツで出かける。9時半に会場に到着、液晶プロジェクターに接続するためLet's noteを起動させようとすると、3分たっても起動せず、顔が青くなる。5分後、代替マシンを持ってきてもらった時にやっとLet's noteが…