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