まずはラムダ計算の定義、α変換とβ変換について。ラムダ計算独特の省略記法で混乱させられる。しかし、話を聞いているとどんどん頭に入ってきたので、あとは練習あるのみというかんじ。

帰りに「かに」ツアーということで、昼飯にかにを食べることに。私は甲羅めしというかにの子や味噌、身とご飯を混ぜて作るご飯をたべた。しかし、本当においしそうだったのは、他の子がたべていた「かに釜飯（略して「かにかま」）」。うまみが凝縮していて…

朝から加賀市へ遠征。「大日盛」「常きげん」にいき、またもや酒ゲット。しばらくは買いに行く必要はなくなった。大日盛はちょっとしたミニ博物館になっていて、試飲もさせてくれる。いろいろ飲んでいたが、そのうちツアーの集団客に飲み込まれてしまい、お…