うっかり参加してしまった。 向かいが文殊堂さん、となりがたけをさんでびびった。で、斜め向かいが太田さんが大変よく笑うのでびびった。 案の定、びっくりするほどしゃべれなかった。永遠の課題。

えらく時間がたってしまったが、1月24日、「技術者／プログラマのためのラムダ計算、論理、圏」セミナーに行ってきた。で、自分なりにわかったこと、わからなかったことをメモしてみる。 ウソ、間違いがあるはずなので、ご指摘いただけると大変ありがたいで…