[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
72: デフォルトの名無しさん [sage] 2024/03/23(土) 14:11:05.89 ID:O64Y227M >>70 普通mapは配列に対してではなく もっと一般的にイテレータに対して適用 結果もイテレータとする その結果を例えばfor文で使う場合 わざわざ結果を配列に入れても無意味だったことになるからだ mapを多段にした使った場合も同様で中間結果配列は無意味になる だからmapの入力も出力もイテレータが使われる http://mevius.5ch.net/test/read.cgi/tech/1710585705/72
73: デフォルトの名無しさん [] 2024/03/23(土) 14:44:44.84 ID:g/HfMmmn >>72 それは実装上の効率化のための操作で、本当の写像ではない。本当の写像は配列から配列を作る。 C#で言えばSelectしただけでは写像にならず、ToArrayしないと写像にならない。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/73
74: デフォルトの名無しさん [sage] 2024/03/23(土) 15:36:22.16 ID:O64Y227M >>73 配列から配列なんて嘘つきだな 例えば写像の入力を数学でもよくある自然数とする これは配列では表現できない イテレータならば表現できる 出力も同様で配列は不可能だがイテレータなら可能 http://mevius.5ch.net/test/read.cgi/tech/1710585705/74
75: デフォルトの名無しさん [sage] 2024/03/23(土) 16:14:29.71 ID:TQ7fzTlo そもそもそんなレベルの話をしてるんではないが http://mevius.5ch.net/test/read.cgi/tech/1710585705/75
76: デフォルトの名無しさん [] 2024/03/23(土) 16:43:39.42 ID:g/HfMmmn >>74 自然数は要素数が無限大の配列だが、コンピュータではメモリが有限なので表現できないだけ。 イタレータによる遅延評価は問題を先送りしただけで、本当の写像である配列を作ろうとすると メモリが途中で尽きて作れない。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/76
77: デフォルトの名無しさん [sage] 2024/03/23(土) 17:05:10.16 ID:O64Y227M >>76 配列なんていう間違った考えをするからそのように失敗する 正しくイテレータと捉えれば自然数もそこからの写像も扱える http://mevius.5ch.net/test/read.cgi/tech/1710585705/77
78: デフォルトの名無しさん [] 2024/03/23(土) 17:30:00.10 ID:g/HfMmmn >>77 イタレータは配列の各要素を走査しながら操作する道具、つまり写像を逐次的に作っていくための操作手順を表したものに過ぎない。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/78
79: デフォルトの名無しさん [sage] 2024/03/23(土) 18:46:13.42 ID:O64Y227M >>78 イテレータとは何かを学び直しなさい それは配列に対するイテレータ イテレータに配列なんていうものは必要ない http://mevius.5ch.net/test/read.cgi/tech/1710585705/79
80: デフォルトの名無しさん [sage] 2024/03/23(土) 19:02:25.28 ID:/RLS51iM イテレータなんぞプログラミング側の都合でしかないやろｗ 数学のどこにイテレーションって概念があるの？ もとは集合の話だっけ？ 集合のどこにイテレータ出てくる？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/80
81: デフォルトの名無しさん [sage] 2024/03/23(土) 19:08:33.11 ID:HOjMmtFw 配列こそプログラミングやコンピュータ都合の邪道なものだね 配列は有限しか扱えないから不要 イテレータは自然数イテレータだけでなく例えばフィボナッチイテレータなど無限を扱える イテレータは数学とも相性がいい http://mevius.5ch.net/test/read.cgi/tech/1710585705/81
82: デフォルトの名無しさん [] 2024/03/23(土) 20:19:21.71 ID:g/HfMmmn >>78 >>81 イタレータの意味を分かっているのか。反復子だぞ。反復子が写像のわけないだろ。 写像を実行するための操作手順でしかない。 反復子の遅延評価により無限の操作手順をコードとして書くことはできても、実際には 実行が途中で終わるので無限を扱えるわけではなく、有限を無限に見せている構文上の まやかしに過ぎない。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/82
83: デフォルトの名無しさん [sage] 2024/03/23(土) 21:27:18.93 ID:u0/iUo5p >>82 あんさんボケとるな ここまで読んで反復子(iterator)が写像(map)と書いているのは君しかいない 他の人たちは以下を正しく理解して書込みしている >>72 >> だからmapの入力も出力もイテレータが使われる http://mevius.5ch.net/test/read.cgi/tech/1710585705/83
84: デフォルトの名無しさん [] 2024/03/23(土) 22:23:29.86 ID:g/HfMmmn >>83 >>74はごっちゃにしているようだが。 反復子を使っても遅延評価をしなければ、mapを多段に使った場合の効率は良くならない。 例えば、C++ STLのtransformがそう。 >>70のような配列のmap関数でも、引数fとして複数の関数の合成関数のポインタを渡せば、 効率は良くなる。あるいは、引数fとして関数ポインタの配列を受け入れるようなmap関数を 書いても良い。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/84
85: デフォルトの名無しさん [] 2024/03/23(土) 22:27:51.62 ID:g/HfMmmn >>83 >>74はごっちゃにしているようだが。 反復子を使っても遅延評価をしなければ、mapを多段に使った場合の効率は良くならない。 例えば、C++ STLのtransformがそう。 >>70のような配列のmap関数でも、引数fとして複数の関数の合成関数のポインタを渡せば、 効率は良くなる。あるいは、引数fとして関数ポインタの配列を受け入れるようなmap関数を 書いても良い。 そもそもCでmap関数を書けるかという話だから、書けるという回答で何の問題ないだろ。 h
ttp://mevius.5ch.net/test/read.cgi/tech/1710585705/85
86: デフォルトの名無しさん [sage] 2024/03/23(土) 22:32:25.46 ID:/PCiT6cf >>84 根本的な勘違いをしているようなのでアドバイス イテレータは抽象的な概念に過ぎないのでそこに遅延評価などという話は一切出てこない イテレータの実装の一つに遅延評価の有無を持ち出すケースがあるようだがそんな特殊などうでもいい話をしても意味がない http://mevius.5ch.net/test/read.cgi/tech/1710585705/86
87: デフォルトの名無しさん [] 2024/03/23(土) 22:36:40.17 ID:g/HfMmmn >>86 そんなことは分かっている。>>72に言ってくれ。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/87
88: デフォルトの名無しさん [sage] 2024/03/23(土) 22:43:57.14 ID:/PCiT6cf >>72は正しいよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/88
89: デフォルトの名無しさん [sage] 2024/03/23(土) 22:56:10.99 ID:sCrZk0I5 iteratorは可算無限を扱える mapは入力も出力もiterator 例えば 2倍にするというmapに対して 入力を自然数のiteratorとすると 出力は偶数の自然数のiteratorとなる これだけの話だろ >>82の人だけ理解できてないようだが http://mevius.5ch.net/test/read.cgi/tech/1710585705/89
90: デフォルトの名無しさん [] 2024/03/24(日) 10:28:13.06 ID:8D2Drt3S でもC言語は圏論じゃないよね http://mevius.5ch.net/test/read.cgi/tech/1710585705/90
91: デフォルトの名無しさん [sage] 2024/03/24(日) 10:35:26.13 ID:GMGvnUD/ 20年前の議論草 http://mevius.5ch.net/test/read.cgi/tech/1710585705/91
92: デフォルトの名無しさん [] 2024/03/24(日) 11:18:58.82 ID:dsXIuIWc それは間違い FORTRANが今もなお科学技術計算に使われてる http://mevius.5ch.net/test/read.cgi/tech/1710585705/92
93: デフォルトの名無しさん [sage] 2024/03/24(日) 11:32:06.58 ID:GMGvnUD/ 言葉のお遊びｗｗｗ http://mevius.5ch.net/test/read.cgi/tech/1710585705/93
94: デフォルトの名無しさん [] 2024/03/24(日) 11:34:31.12 ID:yjeBPx06 集合論はラッセルのパラドックスで矛盾した だから集合と写像に基づくC言語やRubyは数学を扱うのに不適切 よってハスケルなどは圏論に基づくから関数型言語が正解 http://mevius.5ch.net/test/read.cgi/tech/1710585705/94
95: デフォルトの名無しさん [] 2024/03/24(日) 11:46:51.50 ID:BUlt442E プログラム言語は機械語→アセンブラ→高級言語 と進化してきたが、高級言語にも高級度の段階があって gotoジャンプ→構造化ループ→map→ベクトル演算 という序列になっている。 y = x.map(i => 2 * i) のように冗長な記述をしなければならない言語よりは、ベクトル演算で y = 2 * x と すっきり書けるFortranの方が進化している。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/95
96: デフォルトの名無しさん [sage] 2024/03/24(日) 14:10:14.72 ID:S5dROhf0 まったくトンチンカンな話してんな プログラミング言語にmapがあったところでそれで数学ができるわけじゃないだろ 何を解きたいんだよ？ 定理証明か？仕様記述か？ ド文系のふわっとした思考やめな http://mevius.5ch.net/test/read.cgi/tech/1710585705/96
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 906 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.022s