2007-09-10から1日間の記事一覧
問題 2.6Chruch数に一日はまっていたのだが、0の0乗(0^0)が1に成る理由もChurch数の定義からちゃんと説明できるのね。 (define zero (lambda (f) (lambda (x) x))) (define (inc x) (+ x 1)) (define (pow num1 num2) (num2 num1)) (((pow zero zero) inc) 0…
問題 2.6Chruch数に一日はまっていたのだが、0の0乗(0^0)が1に成る理由もChurch数の定義からちゃんと説明できるのね。 (define zero (lambda (f) (lambda (x) x))) (define (inc x) (+ x 1)) (define (pow num1 num2) (num2 num1)) (((pow zero zero) inc) 0…