最終更新日：2025/11/21
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.
正解を見る
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.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
研究者は、その関数が零関数・後続関数・射影関数から合成と再帰を有限回適用することで構成できることを示し、原始再帰的であると証明した。
