計算モデル論の授業で学習した「原始帰納関数」を忘れないうちにメモ 初期関数初期関数は以下の3つで定義される。 :後者関数(successorは後継者という意味の英語、次の自然数を返す) :定数ゼロ関数(常にゼロを返す) :射影関数(n個の引数をとり、i個…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。