[scheme]Ackermann（アッカーマン関数）

 

 

コード

(define inc   (lambda (n)     (+ n 1)))   (define dec   (lambda (n)     (- n 1)))   (define Ackermann   (lambda (n m)     (cond      ((zero? n)(inc m))      ((zero? m)       (Ackermann (dec n) 1))      (else       (Ackermann (dec n)                  (Ackermann n (dec m)))))))

gosh> (Ackermann 1 0) 2 gosh> (Ackermann 1 1) 3 gosh> (Ackermann 2 2) 7 gosh> (Ackermann 1 2) 4 gosh> (Ackermann 0 (Ackermann 1 1)) 4 gosh> (Ackermann 0 3) 4 gosh>

参考

• アッカーマン関数 - Wikipedia
• The Little Schemer

 

The Little Schemer posted with amazlet at 09.03.30 Daniel P. Friedman Matthias Felleisen Mit Pr 売り上げランキング: 16078 おすすめ度の平均: 小さなScheme処理系で学ぶ数学基礎理論 Schemeが好きになります 英語であるのが苦痛にならない楽しさ 面白いスタイル Amazon.co.jp で詳細を見る