Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
ウィキペディアでの再帰に関する議論は、生成再帰関数は「多くの場合、コアカーシブ関数として解釈できる」ことを示していますが (私の強調)、ウィキペディアでのコアカーションに関する議論では、「一部の著者はこれ [コアカージョン] を生成的再帰と呼んでいる」と述べている場合、2 つが同義語のように聞こえます。 ."
生成再帰とコアカージョンの違いは何ですか? それらは厳密な同義語ですか、それとも生成的に再帰的なものがコアカーシブでない場合がありますか?