tsz https://blog.hatena.ne.jp/tsz/ tszの日記 https://tsz.hatenadiary.org/ SICP ex2.6はチャーチ数の問題で、以前に取り組んだ時はweb上の情報をみてもさっぱり分からなかった問題です。 今回いろいろやってみて、何となく分かって来ました。 あと、素のラムダ計算を記述するためには、schemeは絶望的に向いていなそうです。大分慣れたと思っていた括弧の海に再び飲まれてしまいました...。 問題では、以下の２つの関数が示され、1,2の直接表現と足し算関数を定義せよとされています。 (define zero (lambda (f) (lambda (x) x))) (define (add-1 n) (lambda (f) (lambda (x) (f ((n f) x)))))… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftsz.hatenadiary.org%2Fentry%2F20090110%2F1231604057" title=" ex2.6 Church数 - tszの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-01-10 01:14:17 rich https://tsz.hatenadiary.org/entry/20090110/1231604057 1.0 100%