[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
37: デフォルトの名無しさん [sage] 2019/02/03(日) 21:37:12.79 ID:PKgH5/Eo(1/6) AAS
バカ過ぎて泣けてくる…
49: デフォルトの名無しさん [sage] 2019/02/03(日) 21:46:13.57 ID:PKgH5/Eo(2/6) AAS
釣り宣言マダー？
104(1): デフォルトの名無しさん [sage] 2019/02/03(日) 22:50:08.66 ID:PKgH5/Eo(3/6) AAS
>>98
98(2): デフォルトの名無しさん [sage] 2019/02/03(日) 22:43:47.92 ID:5bolWXfM(27/36) AAS
>>96
そこはどうでもいいところだから書かなかった
どうでもよくないよ。正しい流れは、
fact 3
= 3 * fact 2
= 3 * 2 * fact 1
= 3 * 2 * 1 * fact 0
= 3 * 2 * 1 * 1
= 6

なのに、>>92
92(5): デフォルトの名無しさん [sage] 2019/02/03(日) 22:37:00.44 ID:5bolWXfM(25/36) AAS
>>90
だから
=3 * 2 * 1 * 1 * fact(1-1)
=3 * 2 * 1 * 1 * 1*fact(1-1)
=3 * 2 * 1 * 1 * 1*1*fact(1-1)

という具合にいつまでもfactは続くよ
だから色々納得いかないことあるんだけど
によるとあなたは、
fact 3
= 3 * fact 2
= 3 * 2 * fact 1
= 3 * 2 * 1 * fact 0
= 3 * 2 * 1 * 1
= 3 * 2 * 1 * 1 * fact(1-1)
= 3 * 2 * 1 * 1 * 1 * fact(1-1)
= 3 * 2 * 1 * 1 * 1 * 1 * fact(1-1)

であるという。
正しい答え6にたどり着かない原因はあなたが
3 * 2 * 1 * 1
= 3 * 2 * 1 * 1 * fact(1-1)
と変形(?)してしまっているところなのは明らか。
119: デフォルトの名無しさん [sage] 2019/02/03(日) 23:01:49.80 ID:PKgH5/Eo(4/6) AAS
>>108
108(1): デフォルトの名無しさん [sage] 2019/02/03(日) 22:54:17.35 ID:5bolWXfM(31/36) AAS
>>104
fact 0 = 1とか定義されちゃってるから変形もなにもあの形にしかならんでしょう

>>105
fact 0の結果が1だからそれはすぐ反映されるので
> fact 0 = 1とか定義されちゃってるから変形もなにもあの形にしかならんでしょう

いいえその形には絶対になりません。
「fact 0 = 1とか定義されちゃってるから」
= 3 * 2 * 1 * fact 0
は
= 3 * 2 * 1 * 1
になります。うん、これはいい。次。
「fact 0 = 1とか定義されちゃってるから」
= 3 * 2 * 1 * 1
は
= 3 * 2 * 1 * 1 * fact(1-1)
になります？いいえ、なりません。勝手に足した「 * fact(1-1)」どっから出てきたんだ。

3 * 2 * 1 * 1は6です。
122(1): デフォルトの名無しさん [sage] 2019/02/03(日) 23:03:29.59 ID:PKgH5/Eo(5/6) AAS
>>118
118(3): デフォルトの名無しさん [sage] 2019/02/03(日) 23:01:37.23 ID:5bolWXfM(34/36) AAS
>>112
なっ
まさかそういう意味なの？

fact 0 = 1
fact n = n * fact(n - 1)

のどちらかしか評価されないとか見ただけじゃわからないって！！
あーそういうことかー
よかったね。君へのレスで「パターンマッチ」を検索してごらん
128: デフォルトの名無しさん [sage] 2019/02/03(日) 23:06:37.09 ID:PKgH5/Eo(6/6) AAS
>>120
120(1): デフォルトの名無しさん [sage] 2019/02/03(日) 23:03:02.44 ID:RwDwNYzW(24/27) AAS
理解できたようで良かったけど、結局は
>>57 がわかってなかったということだなあ
>>60
60(4): デフォルトの名無しさん [sage] 2019/02/03(日) 21:57:58.25 ID:5bolWXfM(14/36) AAS
>>56
ごめん意味不明わからん

>>57
もちろんそのように考えてる
fact 0 = 1の結果はすぐ反映されるんじゃないの？
で
> もちろんそのように考えてる
って書いてるけどそのように考えてなかったよね…
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.050s