昨日の続き。今日はチャーチ数です。 ZERO と ONE ZERO と ONE の定義は簡単です。 ;; 0 := λf x. x (define ZERO (lambda (f x) x)) ;; 1 := λf x. f x (define ONE (lambda (f x) (f x))) SUCC SUCC の定義も、昨日の CONS が分れば、同じようにできます。…