2010-03-26から1日間の記事一覧
例によって休み時間中に問題文を。。 問題 これは対のもう一つの手続き表現である。この表現について任意のオブジェクト x と y に対し、(car (cons x y)) が x を生じることを証明せよ。 (define (cons x y) (lambda (m) (m x y))) (define (car z) (z (lam…
例によって休み時間中に問題文を。。 問題 これは対のもう一つの手続き表現である。この表現について任意のオブジェクト x と y に対し、(car (cons x y)) が x を生じることを証明せよ。 (define (cons x y) (lambda (m) (m x y))) (define (car z) (z (lam…