17/03/15 17:12:11.90 v/bLwvd9.net
すみません途中でおわってしまいました。
A[a]k(X,b+1,0)＝A[a]k(X,b,1)
A[a]k(X,b+1,c+1)＝A[a]k(X,b,A[a]k(X,b+1,c))
A[a]k(X,b+1,0,Y,c)＝A[a]k(X,b,c,Y,c)
A[0]k(Y,a)＝a+1
A[a+1]k(Y,ｂ)＝A[a]k(b,b,～b個～,b,b)
17/03/15 17:12:11.90 v/bLwvd9.net
すみません途中でおわってしまいました。
A[a]k(X,b+1,0)＝A[a]k(X,b,1)
A[a]k(X,b+1,c+1)＝A[a]k(X,b,A[a]k(X,b+1,c))
A[a]k(X,b+1,0,Y,c)＝A[a]k(X,b,c,Y,c)
A[0]k(Y,a)＝a+1
A[a+1]k(Y,ｂ)＝A[a]k(b,b,～b個～,b,b)