ex2.6はチャーチ数の問題で、以前に取り組んだ時はweb上の情報をみてもさっぱり分からなかった問題です。 今回いろいろやってみて、何となく分かって来ました。 あと、素のラムダ計算を記述するためには、schemeは絶望的に向いていなそうです。大分慣れたと…