ryohji/exercise-2.4.md

Created July 4, 2019 15:46

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/ryohji/1860fa54cbc706c80b551410ee0aba76.js"></script>
Save ryohji/1860fa54cbc706c80b551410ee0aba76 to your computer and use it in GitHub Desktop.

計算機プログラムの構造と解釈　第二版　問題 2.4

Raw

問題 2.4

これは対のもう一つの手続き表現である．この表現について任意のオブジェクト 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 節の置換えモデルを利用せよ．）

Select an option