これは素数の性質を生かした感じの問題すね。 非負の整数の対は数と算術演算だけを使って表現できることを示せ。 これに対応する手続きcons、car、cdrの定義はなにか。 これ、素数の性質なんだけど、素数(wikipedia) http://ja.wikipedia.org/wiki/%E7%B4%A0…

おれ、がんばる。 (car (cons x y))がxを生じることを証明。 これに対するcdrの定義 証明ってどうスリゃいいかな。 具体的におっていけばいいのかな？ こんな感じかな？ ;;0 (define (cons x y) (lambda (m) (m x y))) ;;1 (define g (cons 1 2)) ;;2 (defin…