公開されました。http://itpro.nikkeibp.co.jp/article/COLUMN/20071101/286199/?ST=develop要するに情報科学科の授業で必ずやるような、教科書的λ計算の話なんですが、 論理値や自然数のChurch encodingで、「なんでそんなλ式を思いつくのか」という発想を…