awacio https://blog.hatena.ne.jp/awacio/ awacio.log https://awacio.hatenadiary.org/ Scheme SICP 例によって休み時間中に問題文を。。 問題 これは対のもう一つの手続き表現である。この表現について任意のオブジェクト x と y に対し、(car (cons x y)) が x を生じることを証明せよ。 (define (cons x y) (lambda (m) (m x y))) (define (car z) (z (lambda (p q) p))) これに対する cdr の定義は何か。（ヒント：これが働くことを調べるには、1.1.5節の置き換えモデル利用せよ。） 解答 ヒントをありがたく頂戴し、置き換えモデルをやってみよう。 (car (cons x y)) ;↓ (car (lam… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fawacio.hatenadiary.org%2Fentry%2F20100326%2F1269575755" title="SICP 問題 2.4（consの別表現） - awacio.log" 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 2010-03-26 12:55:55 rich https://awacio.hatenadiary.org/entry/20100326/1269575755 1.0 100%