Ackermann function
また、formula_26 を用いてアッカーマン関数の一般解を表すことができる。