関数型プログラミング言語Haskell Part34 (694ﾚｽ)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
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
534: デフォルトの名無しさん [sage] 2024/10/06(日) 01:53:03.98 ID:6zQjUfx4 いま正常性バイアスを理解した 全て正常だと仮定する なるほど http://mevius.5ch.net/test/read.cgi/tech/1639713446/534
535: デフォルトの名無しさん [sage] 2024/10/06(日) 10:54:18.58 ID:jCq2z3ec 本来Haskell使う上で必要のない数学の知識をかじらされるのかわいそう こうやって無駄に間口狭めてなんの意味があるんだか http://mevius.5ch.net/test/read.cgi/tech/1639713446/535
536: デフォルトの名無しさん [sage] 2024/10/06(日) 11:09:45.81 ID:y6HCCYtz >>530に関しては同情すんな >>373前後で煽っておいて炎上勉強法してる http://mevius.5ch.net/test/read.cgi/tech/1639713446/536
537: デフォルトの名無しさん [sage] 2024/10/06(日) 12:50:07.74 ID:6zQjUfx4 >>535 だから、具体例をかじることなく一般圏論でやめておこうって言ってるじゃないか バランスを考えて妥協するとはそういうことだ http://mevius.5ch.net/test/read.cgi/tech/1639713446/537
538: デフォルトの名無しさん [sage] 2024/10/06(日) 13:58:19.62 ID:jCq2z3ec まず圏論が必要ないっての http://mevius.5ch.net/test/read.cgi/tech/1639713446/538
539: デフォルトの名無しさん [sage] 2024/10/06(日) 14:19:17.49 ID:6zQjUfx4 それは極論だがそれを許容する代わりに反対側の極論も許容してもらう ダブルヘイターとは違うのだよ http://mevius.5ch.net/test/read.cgi/tech/1639713446/539
540: デフォルトの名無しさん [sage] 2024/10/07(月) 16:51:22.87 ID:89HfDe1C >>539 君頭悪いなら無理に書き込まないほうがいいよ http://mevius.5ch.net/test/read.cgi/tech/1639713446/540
541: デフォルトの名無しさん [sage] 2024/10/08(火) 16:34:43.77 ID:uOPPJ/Hn 圏論好きはHaskellよりCPLで幸せになれる http://mevius.5ch.net/test/read.cgi/tech/1639713446/541
542: デフォルトの名無しさん [] 2024/10/08(火) 19:19:24.66 ID:fXGz3G0z >>529 集合と写像って違うんですか？写像って集合ではなかったですか？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/542
543: デフォルトの名無しさん [] 2024/10/08(火) 19:24:10.23 ID:u3fJk7wa >>541 CPLとは？ｋｗｓｋ http://mevius.5ch.net/test/read.cgi/tech/1639713446/543
544: デフォルトの名無しさん [sage] 2024/10/08(火) 19:35:49.07 ID:i8KKt4Pq >>542 反対向きは成り立たないよ 彼はラムダ項みたいなただの集合も関数だとか言ってたんだよ http://mevius.5ch.net/test/read.cgi/tech/1639713446/544
545: デフォルトの名無しさん [] 2024/10/08(火) 20:00:43.25 ID:fXGz3G0z >>544 なるほど。勉強になります。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/545
546: デフォルトの名無しさん [sage] 2024/10/08(火) 20:58:36.65 ID:uOPPJ/Hn >>543 CPL (圏論プログラミング言語) https://ja.m.wikipedia.org/wiki/CPL_(%E5%9C%8F%E8%AB%96%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E8%A8%80%E8%AA%9E) http://mevius.5ch.net/test/read.cgi/tech/1639713446/546
547: デフォルトの名無しさん [sage] 2024/10/08(火) 21:59:10.54 ID:fIGAPb3c CPL使ったことは一度もないが 関手圏よりもっとややこしい圏で、モナドより凡庸なものを定義するんでしょ http://mevius.5ch.net/test/read.cgi/tech/1639713446/547
548: デフォルトの名無しさん [sage] 2024/10/08(火) 23:08:48.38 ID:Fz/Eetv9 こんなんだけど >通常では,自然数などのデータ型は,効率のためにシステムに組込んであるが,CPLでは定義しなければならない. >また,定義したとしても,機械本来の足し算,かけ算を使用できず,独自に定義しなければならない. http://mevius.5ch.net/test/read.cgi/tech/1639713446/548
549: デフォルトの名無しさん [] 2024/10/09(水) 00:11:45.00 ID:NBQjGpZO O'CAMLのCAMLはCategorical Abstract Machine Languageの略ということを忘れてはかわいそう。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/549
550: デフォルトの名無しさん [] 2024/10/09(水) 20:31:07.90 ID:UpCIlB6y >>546 Thenks！！ http://mevius.5ch.net/test/read.cgi/tech/1639713446/550
551: デフォルトの名無しさん [sage] 2024/10/12(土) 20:07:00.42 ID:fyUcodga 初心者はStack、ガチムチはCabalで開発するんですか？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/551
552: デフォルトの名無しさん [sage] 2024/10/15(火) 05:30:10.38 ID:CzVFQLgH みんなStackだよ Cabalの依存関係解決はましになったとはいえプロジェクト構成の記述はStackのほうがよくできてるし http://mevius.5ch.net/test/read.cgi/tech/1639713446/552
553: デフォルトの名無しさん [] 2024/10/15(火) 22:34:15.38 ID:2I09ehic 詳しい情報サンクス CabalやめてStackに帰ります GHCup tuiで選べるCabalやHLSやStackも全部recommendedに落とします http://mevius.5ch.net/test/read.cgi/tech/1639713446/553
554: デフォルトの名無しさん [sage] 2024/10/16(水) 05:04:51.74 ID:PvdZsye3 ああCabal辞めてStackに移行したらビルドし直しただけでTLSのハンドシェイクがTwitchでは大丈夫なのにツイキャスで失敗する謎の不具合が治りました やっぱStackすわ http://mevius.5ch.net/test/read.cgi/tech/1639713446/554
555: デフォルトの名無しさん [sage] 2024/10/18(金) 18:33:56.50 ID:358zSdqs 別に不具合あったわけじゃないならよくね みんなとか言い出したらそもそもみんなhaskellなんか使ってないが http://mevius.5ch.net/test/read.cgi/tech/1639713446/555
556: デフォルトの名無しさん [] 2024/10/25(金) 23:46:50.40 ID:jl3K3ThU Haskellを学んだみたいと思うんだけど、「すごいHaskell たのしく学ぼう」って書籍は今でも有用？ Haskellの良書として挙げることは多いと思うけど、出版から10年以上経ってるのが気になった その間で言語に大きな変更があったとか、「今のHaskellだったらこう書くよね」みたいな注意が必要な点などあれば知りたい あるいは最近の書籍でよりおすすめというものでも http://mevius.5ch.net/test/read.cgi/tech/1639713446/556
557: 警備員[Lv.3][新芽] [sage] 2024/10/25(金) 23:58:48.00 ID:ss1i659U ちょっと古い情報だけど、 僕が「すごいH」を購入したのが2016.12だけど、数年後には章立ての変更まではなかったかもしれないけど、コードの記述など結構アップデートされてたような いずれにしても、一冊でHaskellを、ってのはアレで、何冊かは読まないとと僕の場合 http://mevius.5ch.net/test/read.cgi/tech/1639713446/557
558: デフォルトの名無しさん [sage] 2024/10/26(土) 01:14:59.65 ID:jaMDzNJq >>556 ラムダノートのプログラミングHaskell第2版 これを読めばモナドの使い方がわかる http://mevius.5ch.net/test/read.cgi/tech/1639713446/558
559: デフォルトの名無しさん [] 2024/10/26(土) 13:33:26.33 ID:qze4GRwI モナドはCのポインタより概念が難しいのどうにかならんの 別のはないんですか http://mevius.5ch.net/test/read.cgi/tech/1639713446/559
560: デフォルトの名無しさん [sage] 2024/10/26(土) 14:33:50.42 ID:jaMDzNJq ない 別に理論的な部分はすっ飛ばしていいよ 純粋関数型言語で手続き型言語のようなシーケンスをどうやったら書けるか？みたいなパズルを解く方法と思ってればいい 全てはdo記法にため http://mevius.5ch.net/test/read.cgi/tech/1639713446/560
561: デフォルトの名無しさん [] 2024/10/26(土) 18:20:45.25 ID:QG40CL6R >>559 だったらCleanはどうでせう？ モナドの代わりに線形何たらっての使ってる。 副作用関数を使い捨て関数と捉える概念らしいけど…。 変数は引数のない関数と捉えられるので、入力関数も外部で代入する変数と捉えられる。 んで、 return 0 >>= \x -> return (x + 1) >>= \x -> return (x + 1) = 2 は return 0 >>= (\x -> return (x + 1) >>= (\x -> return (x + 1))) と解釈されて、(\x -> ...) 部分が１個のラムダ
式（関数）の上に階層構造なので、同名の変数 x はシャドーイングで古い値は隠される。 （そして隠されたら他から参照されなくなるのでGCでメモリを解放される） IOモナドな入力関数も引数が無いので、値を外部で代入する変数と捉え、シャドーイングで古い値は隠されると考えると、線形何たらの使い捨て副作用関数と同じことしてる。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/561
562: デフォルトの名無しさん [] 2024/10/28(月) 07:23:18.71 ID:duvMwVsG >>557 >>558 ありがとう まずはラムダノートのプログラミングHaskellを買いました すごいH本はもう一冊読もうと思って時に買います http://mevius.5ch.net/test/read.cgi/tech/1639713446/562
563: デフォルトの名無しさん [sage] 2024/10/28(月) 11:18:21.59 ID:ABlPDVd9 すごいエロい本か http://mevius.5ch.net/test/read.cgi/tech/1639713446/563
564: デフォルトの名無しさん [sage] 2024/10/28(月) 16:01:27.57 ID:3PX2guVI >>563 それ面白いと思ってレスしてんの? http://mevius.5ch.net/test/read.cgi/tech/1639713446/564
565: デフォルトの名無しさん [sage] 2024/10/28(月) 17:13:55.02 ID:B1OBTGXf 10年前のtwitterでは鉄板ジョークでしたよ すごいH http://mevius.5ch.net/test/read.cgi/tech/1639713446/565
566: デフォルトの名無しさん [sage] 2024/10/28(月) 19:07:28.37 ID:aKxYxFxQ haskell知らない人はエロ本だと思うし 隠れた卑猥な意味が無ければ 隠語としての価値も無い http://mevius.5ch.net/test/read.cgi/tech/1639713446/566
567: デフォルトの名無しさん [sage] 2024/10/28(月) 19:57:49.83 ID:2RuMUG8y ML族のRustが市民権を得た今haskellやる意味ないよ その時間をRustに当てなさい http://mevius.5ch.net/test/read.cgi/tech/1639713446/567
568: デフォルトの名無しさん [sage] 2024/10/28(月) 21:28:05.60 ID:B1OBTGXf 平均的HaskellerはRustもやった上でLinearTypes拡張がどうなるか様子見しつつ両方使ってるのでは？ https://zenn.dev/konn/articles/2023-10-01-linear-haskell-in-2023 http://mevius.5ch.net/test/read.cgi/tech/1639713446/568
569: デフォルトの名無しさん [] 2024/10/28(月) 22:50:50.12 ID:duvMwVsG Haskellスレで言われましても わざわざカレー屋に来て「ラーメンを食え」って喧伝するようなものでしょ http://mevius.5ch.net/test/read.cgi/tech/1639713446/569
570: デフォルトの名無しさん [] 2024/10/29(火) 10:29:33.30 ID:2QinlXet >>567 ほんそれ http://mevius.5ch.net/test/read.cgi/tech/1639713446/570
571: デフォルトの名無しさん [sage] 2024/10/29(火) 11:58:27.10 ID:IrbjK6II Rustを関数型扱いするやつは Rustも関数型もまるで理解してない だから誰も真面目には相手してくれない http://mevius.5ch.net/test/read.cgi/tech/1639713446/571
572: デフォルトの名無しさん [] 2024/10/29(火) 12:22:05.93 ID:dZcxKFDp そう。世界がHaskellから孤立していく 世界はもっと危機感もった方が良いよ http://mevius.5ch.net/test/read.cgi/tech/1639713446/572
573: デフォルトの名無しさん [sage] 2024/10/29(火) 15:30:57.70 ID:+9FvEifI 実用プログラムに使った例はあるの？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/573
574: デフォルトの名無しさん [sage] 2024/10/29(火) 16:00:48.67 ID:FJXFYfo2 >>567 MLとは全然ちゃうがな HM型推論せんやろ http://mevius.5ch.net/test/read.cgi/tech/1639713446/574
575: デフォルトの名無しさん [] 2024/10/29(火) 22:29:59.15 ID:LPWWq4s4 >>573 自分も詳しくはないけど、クローズドな分野が多いんじゃない？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/575
576: デフォルトの名無しさん [sage] 2024/10/29(火) 23:08:38.64 ID:+9FvEifI >>575 秘密ということ、それじゃわからんと同じことじゃないか http://mevius.5ch.net/test/read.cgi/tech/1639713446/576
577: デフォルトの名無しさん [] 2024/10/29(火) 23:25:09.95 ID:6SLkDv7J 世界は頭悪すぎてHaskellを使いこなせていない 世界はもっと危機感を持った方が良い http://mevius.5ch.net/test/read.cgi/tech/1639713446/577
578: デフォルトの名無しさん [sage] 2024/10/30(水) 02:10:51.19 ID:p9nsrTZ/ 急に主語が大きくなったぞωωω=2πf http://mevius.5ch.net/test/read.cgi/tech/1639713446/578
579: デフォルトの名無しさん [sage] 2024/11/02(土) 09:15:14.82 ID:KpOoS8wa クローズドな部分なら使ったうちには入らないな http://mevius.5ch.net/test/read.cgi/tech/1639713446/579
580: デフォルトの名無しさん [sage] 2024/11/02(土) 18:11:47.64 ID:3NvQMTDb 金融工学で使ってるとこあるかもね OCamlが定番らしいし http://mevius.5ch.net/test/read.cgi/tech/1639713446/580
581: デフォルトの名無しさん [] 2024/11/02(土) 19:19:33.26 ID:Mufqfjtq >>580 やはり実務ではフィンテックですか。 このスレで趣味教養的に 数理の応用実験や アート作品生成プログラム記述用とかで 使ってる香具師いる？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/581
582: デフォルトの名無しさん [] 2024/11/02(土) 19:33:48.22 ID:pIz290+w >>580 みずほでOCamlしか聞いたことない 結局大規模障害出ちゃったけど http://mevius.5ch.net/test/read.cgi/tech/1639713446/582
583: デフォルトの名無しさん [sage] 2024/11/02(土) 19:38:33.59 ID:3NvQMTDb >>582 金融商品の設計に使うんだよ その手の障害とは全く関係ない http://mevius.5ch.net/test/read.cgi/tech/1639713446/583
584: デフォルトの名無しさん [] 2024/11/02(土) 20:11:17.53 ID:pIz290+w >>581 どっちかというと、教育に興味があって、例えば足し算の足し方が増加と追加って2種類あるんだけど、追加は後から増えるって意味だと教科書に書いてあるけど、その説明がもやもやする。 それで、違いを考えるとこれは 増加の足し算：末尾再帰。その場で簡約出来る 3 + 2 = (3 + 1) + (2- 1) = 4 + 1 = (4 + 1) + (1 -1) = 5 + 0 = 5 追加の足し算：再帰。基底部まで来てから簡約開始。リストの ++ 演算子的な動き。 2 + 3 = 1 + ((2 - 1) + 3) = 1 + (1 + ((1 -
1) + 3)) = 1 + (1 + (0 + 3)) = 1 + (1 + 3) = 1 + 4 = 5 みたいに、足し算作らないと気付かない違いを気付いて教えるのに役立ててる。 (+1/-1の代わりにsucc/pred関数の適用で考えた方が分かり易いかも） http://mevius.5ch.net/test/read.cgi/tech/1639713446/584
585: デフォルトの名無しさん [] 2024/11/02(土) 20:16:43.59 ID:pIz290+w >>583 そうなんだ。 そういうライブラリ頼みっぽい事なら、MathmacticaとかPythonのが良さそうなのにね。 金融商品だったら統計に強いRだってあるし。 なぜわざわざOCamlだったのやら…。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/585
586: デフォルトの名無しさん [sage] 2024/11/03(日) 11:40:35.68 ID:kGU90lSm >>584 本スレ誘導 https://mevius.5ch.net/test/read.cgi/tech/1710585705/ http://mevius.5ch.net/test/read.cgi/tech/1639713446/586
587: デフォルトの名無しさん [sage] 2024/11/03(日) 17:33:41.03 ID:4RaSizfZ その手のはかなり昔からの話だしその頃pythonはそんな一般的ではない http://mevius.5ch.net/test/read.cgi/tech/1639713446/587
588: デフォルトの名無しさん [] 2024/11/03(日) 18:58:10.27 ID:W/WQS3jI >>586 え…。 Haskellを何に使ってるか聞かれたから答えたのに、そりゃ無いよ。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/588
589: デフォルトの名無しさん [sage] 2024/11/06(水) 18:53:34.69 ID:s8sk505y semigroupoidsのAltからFunctor抜いたやつないのかな catsのSemigroupK相当のやつ http://mevius.5ch.net/test/read.cgi/tech/1639713446/589
590: デフォルトの名無しさん [sage] 2024/11/07(木) 02:17:24.00 ID:w1FRCcDr HackageもHaskellWikiもつながらねえ 攻撃でも受けたか http://mevius.5ch.net/test/read.cgi/tech/1639713446/590
591: デフォルトの名無しさん [] 2024/11/07(木) 06:45:43.72 ID:NVSipRlq 数か月前もHoogle繋がらなかったしね…。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/591
592: デフォルトの名無しさん [] 2024/11/09(土) 18:32:16.19 ID:r4DlAvJp mylist.py TotalSeconds : 6.1246778 1:def mylist(n, m): 2: a = 1 3: outer = [] 4: for _ in range(0, n): 5: inner = [] 6: for _ in range(0, m): 7: inner.append(a) 8: a += 1 9: outer.append(inner) 10: return outer 11: 12:print(mylist(6000, 8000)[-1][-1]) 上と同じ動きのコードを書いたけど、 アルゴリズムとしてはPythonと同じmylist.hsのコードが良いはずなのに、 どっちも最適化するとmylist2.hsのが良好。
（ファイル名の横の秒数は実行時間） mylist.hs TotalSeconds : 4.107899 1:main = print.last.last $ mylist 6000 8000 2: 3:mylist n m = take n.f $ [1..] 4: where f ns = xs:f ys 5: where (xs, ys) = splitAt m ns mylist2.hs TotalSeconds : 2.3916408 1:main = print.last.last $ mylist 6000 8000 2: 3:mylist n m = take n.iterate f $ [1..m] 4: where f = map (+m) http://mevius.5ch.net/test/read.cgi/tech/1639713446/592
593: デフォルトの名無しさん [] 2024/11/09(土) 18:32:43.47 ID:r4DlAvJp mylist2.hsのアルゴリズムは f = map (+3)とすれば [1,2,3] [4,5,6] -- f [1,2,3] = [1 + 3, 2 + 3, 3 + 3] = [4,5,6] [7,8,9] -- f (f [1,2,3]) = f [1 + 3, 2 + 3, 3 + 3] = [4 + 3, 5 + 3, 6 + 3] = [7,8,9] と、行数が増えるごとに関数の適用回数が増えるので本来なら遅いはずですが、 考えるに直前の結果をキャッシュする様な最適化が施された模様。(-O3) （そうすると、mylist.hsのsplitAtの方がボトルネックになる?） 最適化なしでのコンパイルはしてないので、 も
しかしたらiterateの中身自身がキャッシュするように改良されたのかも。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/593
594: デフォルトの名無しさん [] 2024/11/10(日) 16:05:22.18 ID:AfmJKCJ3 これ数学的にどういうことなのか かいつまんで教えてくらまいか watch?v=dYj0rPQeRkA http://mevius.5ch.net/test/read.cgi/tech/1639713446/594
595: デフォルトの名無しさん [sage] 2024/11/16(土) 10:08:07.70 ID:9CYVpzbn Category Theory Using Haskell An Introduction with Moggi and Yoneda Shuichi Yukita という書籍が来月出るんですって？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/595
596: デフォルトの名無しさん [sage] 2024/11/16(土) 14:32:48.68 ID:Avgm411i >>595 高いな > Hardcover > \36,125 Tax included http://mevius.5ch.net/test/read.cgi/tech/1639713446/596
597: 596 [sage] 2024/11/16(土) 14:36:30.07 ID:Avgm411i 円記号がバックスラッシュになっていたので訂正 ￥36,125 フォントによるわけだが http://mevius.5ch.net/test/read.cgi/tech/1639713446/597
598: デフォルトの名無しさん [sage] 2024/11/16(土) 15:13:06.50 ID:ZnREBqGy 買って損するだけの高額本の予感 http://mevius.5ch.net/test/read.cgi/tech/1639713446/598
599: デフォルトの名無しさん [sage] 2024/11/16(土) 15:27:44.60 ID:x85mVkLf なんだ雪田の本じゃねぇか プラスアルファはあるかも知れんが 基本雪田の「圏論入門 Haskellで計算する具体例から」と大差無いと思うぞ http://mevius.5ch.net/test/read.cgi/tech/1639713446/599
600: デフォルトの名無しさん [sage] 2024/11/16(土) 20:50:43.88 ID:ZUJ+jDQV 結局Moggiのアイディアがなんなのか書いてなかったから、洋書でも同じでしょ。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/600
601: デフォルトの名無しさん [sage] 2024/11/16(土) 21:01:44.68 ID:UsNa54E4 すでに書かれてるのがwikipediaにあるじゃん https://ja.m.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%A4%E3%82%B9%E3%83%AA%E5%9C%8F http://mevius.5ch.net/test/read.cgi/tech/1639713446/601
602: デフォルトの名無しさん [sage] 2024/11/16(土) 21:18:48.47 ID:ZUJ+jDQV wikiのは肝心のvalueとcomputationについてちゃんと書いてない。 computationの訳を「計算された値」とするのは微妙。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/602
603: デフォルトの名無しさん [sage] 2024/11/16(土) 21:28:16.06 ID:ZUJ+jDQV 『圏論入門』の方にはvalueもcomputationも書いてなかったと思うから言わずもがな。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/603
604: デフォルトの名無しさん [sage] 2024/11/16(土) 21:43:11.16 ID:HNcchqjT 出たら人柱になって買って読んで下さい http://mevius.5ch.net/test/read.cgi/tech/1639713446/604
605: デフォルトの名無しさん [sage] 2024/11/16(土) 22:29:43.38 ID:MlIU4R6X 多分加筆してると思うよ 日本の出版社はなぜかページ数制限があることが多いんだけど 海外にそれはないし http://mevius.5ch.net/test/read.cgi/tech/1639713446/605
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 89 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.016s