アルファ書けないのでaで書きます X,Yは0個以上の数
[0](n) = n+1
[Y, a+1](n) = [Y, a]^n(n)
[Y, a, X](n) = [Y, a[n], X](n)
[Y, a+1, 0, X](n) = [Y, a, [ […n重 [n, X](n), X](n), X](n), X](n)