[過去ﾛｸﾞ]
数学の本 第70巻 [無断転載禁止]©2ch.net (1002ﾚｽ)
数学の本 第70巻 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1492300530/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
174: １３２人目の素数さん [sage] 2017/05/01(月) 00:00:29.92 ID:BoBLefTL >>168 私のー！処女をー！奪わないでえええええ😭いやああああああああ😭 http://rio2016.5ch.net/test/read.cgi/math/1492300530/174
175: １３２人目の素数さん [sage] 2017/05/01(月) 00:01:48.66 ID:BoBLefTL >>172 あんたの方が臭いわよ。 http://rio2016.5ch.net/test/read.cgi/math/1492300530/175
176: １３２人目の素数さん [sage] 2017/05/01(月) 01:05:37.48 ID:iF2Mq02A いい大人が高校数学に毛が生えた程度の本読んでヒマつぶしてるんだけど 高校程度の抜けがないようにモノグラフ公式集買って 数か月かけてちまちま読もうと思ってんだけどどうよ？ 受験は文系で大昔にセンターでⅠⅡ使った程度 http://rio2016.5ch.net/test/read.cgi/math/1492300530/176
177: １３２人目の素数さん [sage] 2017/05/01(月) 01:48:47.49 ID:gbWCNBrk 好きなの読めばよろし http://rio2016.5ch.net/test/read.cgi/math/1492300530/177
178: １３２人目の素数さん [sage] 2017/05/01(月) 01:59:29.42 ID:qhe3+eE9 受験対策で全身サルより剛毛な連中だが頭だけ完全に不毛なズルっパゲといった感じのお猿さんが多すぎる。 http://rio2016.5ch.net/test/read.cgi/math/1492300530/178
179: １３２人目の素数さん [sage] 2017/05/01(月) 02:23:43.60 ID:RRGtNDR1 >>176 それなら松坂の数学読本をすすめる http://rio2016.5ch.net/test/read.cgi/math/1492300530/179
180: １３２人目の素数さん [sage] 2017/05/01(月) 05:50:43.68 ID:qa6INBnL >>178 例えが意味不明 http://rio2016.5ch.net/test/read.cgi/math/1492300530/180
181: １３２人目の素数さん [sage] 2017/05/01(月) 06:23:26.69 ID:8wByLQwx >>81 この写真は、どこ大学？ http://rio2016.5ch.net/test/read.cgi/math/1492300530/181
182: １３２人目の素数さん [sage] 2017/05/01(月) 07:16:22.78 ID:qhe3+eE9 離散数学まがいの数オリレベル出来るの少数育成するよりかは 自己言及的再帰的な定義が理解できるので関数型言語に対応できる大多数派を育成することの方が急務だと思うが 日本の中等教育の教員じゃ無理 http://rio2016.5ch.net/test/read.cgi/math/1492300530/182
183: １３２人目の素数さん [sage] 2017/05/01(月) 07:18:08.29 ID:qhe3+eE9 >>180 一番肝心なつむじ不動点固有点の近傍がまっさらと無視されたオービフォルド（笑）。 http://rio2016.5ch.net/test/read.cgi/math/1492300530/183
184: １３２人目の素数さん [sage] 2017/05/01(月) 07:21:53.23 ID:3acz5TAa >>182 関数型はマイナー再帰的な定義は数学のやりかたであって計算機のやりかたとはいいがたい 再帰的定義は空間的必要量を見積もりにくい http://rio2016.5ch.net/test/read.cgi/math/1492300530/184
185: １３２人目の素数さん [sage] 2017/05/01(月) 07:30:27.94 ID:qhe3+eE9 んなハンドアセンブラでスパコンやらGPGPUな最適化できるような技術者なんて大量に要る訳ないだろ。 真っ当な富豪的プログラミングできるタイプが大量に必要で組み込み系マシン語常時使う双なんて化石化待ったなしのコボラー的なレガシー専任だろうに。 http://rio2016.5ch.net/test/read.cgi/math/1492300530/185
186: １３２人目の素数さん [sage] 2017/05/01(月) 07:37:17.37 ID:qa6INBnL >>183 他のレスを見るにキチガイの人か http://rio2016.5ch.net/test/read.cgi/math/1492300530/186
187: １３２人目の素数さん [sage] 2017/05/01(月) 07:52:08.45 ID:3acz5TAa >>185 関数型は実用に供しがたい，結局，命令の実行順序の保存・状態の保持は必要 関数型で，そうだな，1万個の素数を小さいほうから求めるプログラムでも書けばわかる http://rio2016.5ch.net/test/read.cgi/math/1492300530/187
188: １３２人目の素数さん [sage] 2017/05/01(月) 08:39:30.75 ID:qhe3+eE9 >>187 >命令の実行順序の保存・状態の保持 ハスケルやモナドの宣教師みたいな言動だな… http://rio2016.5ch.net/test/read.cgi/math/1492300530/188
189: ◆QZaw55cn4c [sage] 2017/05/01(月) 12:34:56.32 ID:6Gs2tZZM >>188 よく見抜いたな… http://rio2016.5ch.net/test/read.cgi/math/1492300530/189
190: １３２人目の素数さん [sage] 2017/05/01(月) 13:19:53.22 ID:dp1L2JX1 >>188 横レスだが計算機のアーキテクチャが値を保持するメモリとそれを書き換える操作を順番に実行することを基本としている以上、 このアーキテクチャとかけ離れた計算モデルに基づくプログラミング言語 （例えば関数的プログラミング言語、特に値が実際に必要になるまで式の評価を放置するLazy Evaluation）の実行効率は、 このアーキテクチャに従った手続き的プログラミング言語のそれに比べて劣ってしまうのは必然的だ 逆に言えば値を保持するメモリの概念がなく値を次々に変換していくようなアーキテクチャの計算機が存在したとすれば その上での実行効率は値の変換という計算モデルに基づく関数的言語のほうがメモリの書き換えというモデルに基づく手続き的言語よりも 効率が良くなるし、実際、過去にはそういう計算モデルの一つとしてデーターフローマシンという種類のハードウェアが研究され信号処理専用に実用化もされた 繰り返すが、命令の実行順序の保存や状態の保持が効率の上で重要なのはモナドがどうした以前の問題なのだよ 現実の計算機ハードウェアがそういう計算モデルに基づいたアーキテクチャであるからこそ、プログラミング言語が基づく計算モデルが そのハードウェア・アーキテクチャからかけ離れればかけ離れるほど実行効率が悪くなり 実用性に劣る（少なくとも実用的な規模の大きなプログラムを記述して実行する上では）のは必然的なのだよ だから関数的プログラミング言語でも一つの関数の中の式の評価順番がいつになるかは不定（その関数の使い方に依存する）な Lazy Evaluation（またはCall-by-Need)の計算モデルに基づくHaskellなどよりも、手続き的プログラミング言語と同じく個々の式の評価は （条件分岐の実行されない側を除いて）その値を必要としようとしまいと行われるEager Evaluation（またはCall-by-Value）の計算モデルに基づく ML系（OCaml）やLisp系のほうが実行効率も良く実用的なんだよ（まあLisp系ははるか以前から実態としては関数的言語でなく手続き的言語だが） 現実のハードウェア・アーキテクチャを無視することはできないのだ、少なくとも実行効率とかを考えるならばね そして実行効率が悪ければ必然的に実用性の上ではマイナス評価を受ける http://rio2016.5ch.net/test/read.cgi/math/1492300530/190
191: １３２人目の素数さん [sage] 2017/05/01(月) 17:50:12.41 ID:qa6INBnL キチガイよりタチが悪いのは推敲能力ゼロの人間 http://rio2016.5ch.net/test/read.cgi/math/1492300530/191
192: １３２人目の素数さん [sage] 2017/05/01(月) 19:30:28.26 ID:9RVq+wWV 型理論の人は数学から落ちぶれて コンピュータサイエンスからも落ちぶれた人なので 来ないでください http://rio2016.5ch.net/test/read.cgi/math/1492300530/192
193: １３２人目の素数さん [] 2017/05/01(月) 20:18:01.67 ID:YxpbACRT メモリレイアウトを裏で気にする必要があるからな http://rio2016.5ch.net/test/read.cgi/math/1492300530/193
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 809 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.011s