多変数アッカーマン関数わかりました！ついでにwiki風に定義してみました！

定義
X:0個以上の1以上の整数
Y:0個以上の1
Z:Yと同じ個数のn
a,b:1以上の整数
n:0以上の整数

f[1](n)=f(n)
f[a,X,Y](n)=f[a,X](n)
f[a+1,X](n)=f[a,X]ⁿ(n)
f[Y,b+1,X](n)=f[Z,b,X](n)