SICP の問題 2.4 にあるように cons を (define (cons x y) (lambda (m x y))) 、car を (define (car z) (z (lambda (p q) p))) 、cdr も同様にして、リスト処理をラムダ式だけで実装できる...ように思えるが、pair? やら null? やら list? やら atom? やら…