Ackermann function
計算理論での重要な例の一つであるアッカーマン関数を考案した。