二重再帰法
二重再帰法（にじゅうさいきほう、英: double recursion）とは再帰関数論において、アッカーマン関数の様な原始再帰では無い関数を定義を可能にする原始再帰法(primitive recursion)の拡張である。 ラファエル・M・ロビンソンは2つの自然数を持つ G(n, x) の様な関数を二重再帰的（double recursive）と呼んだ。
二重再帰法（にじゅうさいきほう、英: double recursion）とは再帰関数論において、アッカーマン関数の様な原始再帰では無い関数を定義を可能にする原始再帰法(primitive recursion)の拡張である。 ラファエル・M・ロビンソンは2つの自然数を持つ G(n, x) の様な関数を二重再帰的（double recursive）と呼んだ。
二重再帰法（にじゅうさいきほう、英: double recursion）とは再帰関数論において、アッカーマン関数の様な原始再帰では無い関数を定義を可能にする原始再帰法(primitive recursion)の拡張である。 ラファエル・M・ロビンソンは2つの自然数を持つ G(n, x) の様な関数を二重再帰的（double recursive）と呼んだ。
出典: Wikipedia「二重再帰法」 · CC BY-SA 4.0
この記事を共有: X · Bluesky