関数型プログラミング言語Haskell Part34 (667ﾚｽ)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
504: デフォルトの名無しさん [] 2024/10/04(金) 22:52:29.23 ID:tixO3LDq ただの圏じゃなくてクライスリ圏じゃないといけない（Moggiのアイディア１から）。 そして、クライスリ圏を定義するためにはクライスリ・トリプル（モナド）がいる http://mevius.5ch.net/test/read.cgi/tech/1639713446/504
505: デフォルトの名無しさん [] 2024/10/04(金) 22:52:30.15 ID:tixO3LDq ただの圏じゃなくてクライスリ圏じゃないといけない（Moggiのアイディア１から）。 そして、クライスリ圏を定義するためにはクライスリ・トリプル（モナド）がいる http://mevius.5ch.net/test/read.cgi/tech/1639713446/505
506: デフォルトの名無しさん [sage] 2024/10/04(金) 22:54:07.35 ID:WSIC8Xt5 そもそもラムダ項は関数ではないし、集合ではあるということはできるけど、それは自然数1は集合であるみたいな話でそれに意義なんてないよ http://mevius.5ch.net/test/read.cgi/tech/1639713446/506
507: デフォルトの名無しさん [] 2024/10/04(金) 23:02:32.42 ID:vLDssEdm >>504 >398 じゃ答えにならない？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/507
508: デフォルトの名無しさん [sage] 2024/10/04(金) 23:02:43.19 ID:6lZW+X9H 流石にこれじゃ関数型界隈の人達にボコボコにされて終わるね やめといた方がいい http://mevius.5ch.net/test/read.cgi/tech/1639713446/508
509: デフォルトの名無しさん [] 2024/10/04(金) 23:04:12.66 ID:tixO3LDq βη簡約するとλ項が別の簡約されたλ項になる。この対応関係を数学的関数とみなせると言ってると解釈してる。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/509
510: デフォルトの名無しさん [sage] 2024/10/04(金) 23:12:30.87 ID:WSIC8Xt5 >>509 みなせるって何？ ようするにラムダ項は関数じゃないってことでしょ当たり前だけど http://mevius.5ch.net/test/read.cgi/tech/1639713446/510
511: デフォルトの名無しさん [] 2024/10/04(金) 23:14:09.18 ID:tixO3LDq 全域関数となる理由はわからん。全域関数＝数学的関数ということを言いたいんだろうと思ってたけどそこから詰めてなかった。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/511
512: デフォルトの名無しさん [sage] 2024/10/04(金) 23:22:52.03 ID:WSIC8Xt5 >>511 お前が言い出したんだろ http://mevius.5ch.net/test/read.cgi/tech/1639713446/512
513: デフォルトの名無しさん [sage] 2024/10/04(金) 23:30:08.11 ID:6lZW+X9H これがワードサラダか http://mevius.5ch.net/test/read.cgi/tech/1639713446/513
514: デフォルトの名無しさん [] 2024/10/04(金) 23:41:03.02 ID:tixO3LDq すまんね。準備不足だったわ。詰めるところわかったし、 詰めるところ詰めることができたらひっそりどっかに書くことにするわ。 いろいろコメント参考になったわ。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/514
515: デフォルトの名無しさん [sage] 2024/10/05(土) 00:27:27.96 ID:aeHKoAMv 集合と写像の区別がついてないんだから、何を準備しようが時間の無駄 http://mevius.5ch.net/test/read.cgi/tech/1639713446/515
516: デフォルトの名無しさん [sage] 2024/10/05(土) 07:57:53.70 ID:jwoAd9Km ZFでは集合しか無いから。写像だろうが、自然数だろうが何でも集合。全てを集合で実装する世界。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/516
517: デフォルトの名無しさん [] 2024/10/05(土) 08:14:37.65 ID:JByJwyk5 圏論は逆で、対象（集合で言う元）を恒等写像と同一視して全てを射（写像）として扱うね。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/517
518: デフォルトの名無しさん [sage] 2024/10/05(土) 08:53:09.61 ID:jwoAd9Km 対象Aに対しA=id_Aとする圏の定義は、射のクラスの上での全域的で無い結合的2項演算⚪︎を持つ代数系としての簡潔な定式化。この定義では圏には射しかなくて、対象とは恒等射の別名に過ぎない。 ただ、この圏の実装は入門者には分かり難い。 Aが圏Cの対象であることを古い文献はA in Ob(C)と書くことが多いけど、最近の文献はA in Cと書いてしまう。fが圏Cの射f:A --> Bなことはf in Hom_C(A,B)かf in Mor_C(A,B)。 http://mevius.5ch.net/test/read.cgi
/tech/1639713446/518
519: デフォルトの名無しさん [sage] 2024/10/05(土) 10:51:32.56 ID:KE+ltgGd 普通のλはどの順序で適用しても同じ計算結果になる（Church-Rosserの定理）けど 副作用を伴うλは適用順序が入れ替わると副作用の順序も変わって同じ結果とは言えなくなるから 順序を保証する仕組みとしてモナドが応用されてるはず IO a >>= (a -> IO b) -> IO b は(a -> IO b)が(IO a)を受け取れないから (IO a)からaを取り出せるところまで計算しないと(a -> IO b)を適用できない 仮に IO a -> (IO a -> IO b) -> IO b みたいな形だと(I
O a)の計算を保留したまま(IO a -> IO b)を適用できる 圏論はよく分からないけど 圏Aに便宜的な時間軸をつけたA_t0, A_t1, A_t2, …を用意して関手 A_t0 → A_t1, A_t1 → A_t2, … を作るとA_t0, A_t1…は全部AのクローンだからA_t0 → A_t1, …は自己関手になって その自己関手の集合がなんやかんやでモナドに相当するみたいなイメージ http://mevius.5ch.net/test/read.cgi/tech/1639713446/519
520: デフォルトの名無しさん [sage] 2024/10/05(土) 11:23:42.68 ID:KE+ltgGd どうでもいいけど計算科学のside effect→副作用は誤訳だと思う 薬学のside effectは「随伴作用」（副作用）だけど計算科学のside effectは「側面作用」って感じ http://mevius.5ch.net/test/read.cgi/tech/1639713446/520
521: デフォルトの名無しさん [sage] 2024/10/05(土) 11:40:17.86 ID:gdCH0E84 圏論のコンコルド効果について。 Haskellのコーティングの質をあげようと、 一生懸命頑張って勉強したのに実はほとんど役に立たない… 「大量の時間と労力を学習したのに悔しい！」 そのことを認めることができず、懸命に圏論のプログラミングでの有用性を力説し、学習布教に努める。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/521
522: デフォルトの名無しさん [sage] 2024/10/05(土) 13:16:57.88 ID:AoKf42Y0 >>519 異なる順序でreductionする方法がある場合は、どの順序でreductionしても同じ結果になるだろ？ IO a >>= (a -> IO b) -> IO bなら当たり前だけど(a -> IO b) -> IO bをa -> IO bに先にreduction可能 http://mevius.5ch.net/test/read.cgi/tech/1639713446/522
523: デフォルトの名無しさん [sage] 2024/10/05(土) 13:51:21.32 ID:2BBo/yBe 数日程度で成果を出す戦略を採用したにもかかわらず何年も戦争が続く こういうのは圏論に限定されない現象だ 順序を入れかえたら結果が変わる 数日後の情報が今ここに伝わるならそれは時間軸とは言えないぞ http://mevius.5ch.net/test/read.cgi/tech/1639713446/523
524: デフォルトの名無しさん [sage] 2024/10/05(土) 14:41:11.81 ID:hOtauQiF >>522 IO a >>= (a -> IO b) -> IO b は (IO a >>= (a -> IO b)) -> IO b であって IO a >>= ((a -> IO b) -> IO b) にはならないよ (>>=)は演算子 http://mevius.5ch.net/test/read.cgi/tech/1639713446/524
525: デフォルトの名無しさん [sage] 2024/10/05(土) 15:10:26.09 ID:u1hwkRNd 圏論の話題出すなよ Haskellで何か書くにあたって利益があるわけじゃないんだから http://mevius.5ch.net/test/read.cgi/tech/1639713446/525
526: デフォルトの名無しさん [sage] 2024/10/05(土) 15:30:46.49 ID:2BBo/yBe 利益は道徳よりも軽い これも、未来予知ができなければ利益を計算できないことに原因がある http://mevius.5ch.net/test/read.cgi/tech/1639713446/526
527: デフォルトの名無しさん [] 2024/10/05(土) 17:25:54.13 ID:JByJwyk5 >>521 役に立つなら、もっと色々入ってるかと…。 私はむしろHaskellより圏論そのものに興味の対象が移って、Haskellは圏論の概念を実際に動かしてみるための道具に成り下がってますね＾＾； とはいえ、数学の知識不足なので群論やらトポロジーやらあっちこっち読み漁りながらなので、歩みは遅いですが…。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/527
528: デフォルトの名無しさん [sage] 2024/10/05(土) 20:22:21.95 ID:J2mQEu2j >>527 面倒でも一般位相の基本、ホモロジーの初歩…と地道にやるのをおすすめします http://mevius.5ch.net/test/read.cgi/tech/1639713446/528
529: デフォルトの名無しさん [sage] 2024/10/05(土) 20:30:18.78 ID:aeHKoAMv 集合と写像の区別もついてないんだから、集合と位相からやらないとだめ http://mevius.5ch.net/test/read.cgi/tech/1639713446/529
530: デフォルトの名無しさん [] 2024/10/05(土) 22:07:16.25 ID:JByJwyk5 >>528 ありがとうございます。 手探りだったので、助かります。 重点的に勉強してみます。 （高卒にどこまで理解できるか…） >>529 一応、区別付いてるつもりなのですが…。 指摘していただければ調べてみます。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/530
531: デフォルトの名無しさん [sage] 2024/10/05(土) 22:16:56.83 ID:aeHKoAMv >>530 あー上で暴れてた人とは別人だったのね でも、集合と位相は何をやるにしても必要だから頑張ってね http://mevius.5ch.net/test/read.cgi/tech/1639713446/531
532: デフォルトの名無しさん [sage] 2024/10/05(土) 23:30:55.73 ID:bPGp2ASj >>373=396=530 っぽいから言うと、(数学に関して)「分かった」「理解した」の自己基準が不安しかない > ほら、分かってみれば「なーんだ。そんなことか」でしょ？ > なるほど、って感じ。 と自分に言い聞かせていても、ポピュラーサイエンス書感覚で読んだってダメ 他人との議論では、逆に「こいつ分かってないな」と思われるだけだからな http://mevius.5ch.net/test/read.cgi/tech/1639713446/532
533: デフォルトの名無しさん [] 2024/10/05(土) 23:50:06.63 ID:JByJwyk5 >>532 独学ですしね＾＾； こいつ分かってないなと思われても良いですよ？ それで指摘されたものも新しい知識になるので。 どうも定義を読むだけじゃイメージ湧かないので、ネット上や数学書の複数の例え話が全て真だと仮定して、共通の特徴からイメージを掴むパターンが多いんです。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/533
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 134 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.011s