Last Updated：2025/11/21
Sentence
研究者は、その関数が零関数・後続関数・射影関数から合成と再帰を有限回適用することで構成できることを示し、原始再帰的であると証明した。
Quizzes for review
The researcher proved that the function is primitive recursive by explicitly constructing it from the zero function, the successor function, and the projection functions using only a finite number of compositions and recursive steps.
See correct answer
The researcher proved that the function is primitive recursive by explicitly constructing it from the zero function, the successor function, and the projection functions using only a finite number of compositions and recursive steps.
音声機能が動作しない場合はこちらをご確認ください
Related words
primitive recursive
Adjective
not-comparable
Japanese Meaning
数学において、ゼロ関数、後続関数、射影関数から有限回の合成および再帰の適用によって構成可能な関数の性質や、そのような関数そのものを指す。 / 原始再帰関数とも呼ばれ、基本的な初等関数から構築される計算可能な関数のクラスである。
English - English
Word Edit Setting
- Users who have edit permission for words - All Users
- Screen new word creation
- Screen word edits
- Screen word deletion
- Screen the creation of new headword that may be duplicates
- Screen changing entry name
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Sentence Edit Setting
- Users who have edit permission for sentences - All Users
- Screen sentence deletion
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Quiz Edit Setting
- Users who have edit permission for quizzes - All Users
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
