[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part22 (1001ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
771(1): 2013/03/23(土)12:47 ID:Hq+EmFHl!(1/3) AAS
原始再帰関数(primitive recursion)とは一体なんなのでしょうか？
外部ﾘﾝｸ:stackoverflow.comの回答に、
「原始再帰関数とは他の原始再帰関数で定義されいて自然数の構造の再帰である。」とありますが、
イマイチ分かりません。
例えば、自然数を使った
fac::Int->Int
fac x
| x > 0 = x*fac(x-1)
|x==0 = 1
は原始再帰関数で、
inverse::String->String
inverse value = case (value) of
[]->[]
(x:xs)-> inverse xs ++ [x]
は原始再帰関数では無い。
ということでしょうか？
base caseにヒットして関数が終了するのであればそうなのかな〜と思っていたのですが。
776: 2013/03/23(土)12:47 ID:Hq+EmFHl!(2/3) AAS
あっ、帰納法でか？
ん？では普通の帰納関数とはなんでしょうか？
上の方に一般帰納関数というのがありますが。
778: 2013/03/23(土)12:47 ID:Hq+EmFHl!(3/3) AAS
>>777
確かにスレチだ。すみませんでした。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s