原始帰納的でない全域帰納的関数の1つ。
非負整数mとnにたいして
Ack(m,n) =n+1 (m=0のとき) =Ack(m-1,1) (n=0のとき) =Ack(m-1,Ack(m,n-1))
によって定義される。
*リスト:リスト::数学関連