Ackermann function
アッカーマン関数はコンウェイのチェーン表記へ置き換えられる: