日々の流転

λ. 今日の向井研

今期はHaskellをやるらしいので久しぶりに顔を出してみる。さかいくん(≠私)を目撃できるかと思ったが、残念ながら目撃できなかった。向井先生は圏論の効用を語るのに例のオートマトンと余代数の話をしていた。 Aczelがhypersetという名前をあまり好きでなかった一方、Barwiseはそのような存在に対する信念があったらしいとか。 それからコルメラワー(Alain Colmerauer)の無限木の理論との対応(?)とか。

Lambek計算に関して「Language & Grammar : Studies in Mathematical Linguistics and Natural Language」という本を紹介してもらった。