Ackermann function
二重再帰法（にじゅうさいきほう、）とは再帰関数論において、アッカーマン関数の様な原始再帰では無い関数を定義を可能にする原始再帰法(primitive recursion)の拡張である。