[過去ﾛｸﾞ]
高校数学の質問スレ Part437 (1002ﾚｽ)
高校数学の質問スレ Part437 http://rio2016.5ch.net/test/read.cgi/math/1721071007/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
669: １３２人目の素数さん [] 2024/08/04(日) 21:05:49.64 ID:QJYyOZOV >>665 あ、Wolfram言語の人だ。 Wolfram言語とは方向性が違うだろうけど、ぜひともHaskell覚えてほしい。 Wolfram言語は数学関係なら何でも揃ってる言語だろうけど、Haskellは集合論から自然数作るみたいな、少ない材料で作る楽しみがある言語。 （だからHaskell好きには数学好きが多いと言われている） 圏論のモナドを使って副作用問題を解決しているとか、遅延評価だとかでPCで動く数学みたいな言語のためか、Haskellそのものが研究の対象にもなっている。 http://rio2016.5ch.net/test/read.cgi/math/1721071007/669
673: １３２人目の素数さん [] 2024/08/04(日) 21:18:20.30 ID:QJYyOZOV 別人ですよ？ Wolfram言語使えないですし。 あ、>669 です。 http://rio2016.5ch.net/test/read.cgi/math/1721071007/673
676: １３２人目の素数さん [] 2024/08/04(日) 21:28:14.16 ID:QJYyOZOV 数式展開である。 みたいな、偉そうな文書いてないけど…そっくりなんだ＾＾； まあ、>665 さんがHaskellに興味持ってくれさえすれば良いんで（もちろん、他の人も興味持ってもおｋ）、どうでもいいけど。 http://rio2016.5ch.net/test/read.cgi/math/1721071007/676
683: １３２人目の素数さん [] 2024/08/04(日) 22:47:56.01 ID:QJYyOZOV >>680 スレ違いだから、ここまでにするけど…。 モナドは、突き詰めればアウトソーシングを数学的に表した概念ですね。 ListモナドやMaybeモナドはアウトソーシング先が同じ数学の世界なだけで。 IOモナドはハードウェアへのアウトソーシングです。 （厳密には、ハードウェアと遣り取りするバッファがIOモナドと言った方が良い） 動きとしては、箱（アウトソーシング先）のようなものから値を取り出して、関数で「何か加工して箱のようなものに戻す」。という動きをしています。 http://rio2016.5ch.net/test/read.cgi/math/1721071007/683
691: １３２人目の素数さん [] 2024/08/04(日) 23:37:49.39 ID:QJYyOZOV >>689 Haskellが使えたら有能なんですか？＾＾； 全然そんな事ないのですが…。 おやすみなさいです。ノシ http://rio2016.5ch.net/test/read.cgi/math/1721071007/691
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s