(define (A x y)
(cond ((= y 0) 0)
((= x 0) (* 2 y))
((= y 1) 2)
(else (A (- x 1)
(A x (- y 1))))))

↑これってアッカーマン関数ってゆーんですね。今はじめて知りました。ところで、これで
(A 3 13)
を DrScheme で計算させたらメモリーが足りなくなって処理系ごと落ちました。
OSは無事でしたが。