speakerdeck.com 第3回 関西日曜数学 友の会（第３回 関西日曜数学 友の会 - connpass）で話したときのスライドです。 Haskellの本や型システムの本で、ラムダ計算に触れているものを見かけます。しかし、それらの本ではラムダ計算に関する記述がどうにも曖…

speakerdeck.com第2回 関西日曜数学 友の会（第２回 関西日曜数学 友の会 - connpass）で話したときのスライドです。そのときの感想記事は別途書いています（第２回関西日曜数学友の会に参加しました #kanmath02 - usami-kの日記）。改めて見ると、圏のさわ…