[過去ﾛｸﾞ]
数学の本 第70巻 [無断転載禁止]©2ch.net (1002ﾚｽ)
数学の本 第70巻 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1492300530/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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
194: １３２人目の素数さん [sage] 2017/05/01(月) 23:15:29.97 ID:0Hh9V4rR Haskellの話は好きだけど、スレチ。 http://rio2016.5ch.net/test/read.cgi/math/1492300530/194
195: １３２人目の素数さん [] 2017/05/02(火) 00:44:23.42 ID:/onH4ndc SPECというドラマに出てきた数学書らしき書物なんだが、 これは何の本なの？ ロシア語かな？ http://imgur.com/a/u90CT http://rio2016.5ch.net/test/read.cgi/math/1492300530/195
196: １３２人目の素数さん [] 2017/05/02(火) 00:52:31.02 ID:yveyL71Z 何語かわからないけど、シュレディンガー方程式っぽいの書いてあるし、 量子力学とかそっち関係の本じゃないかな http://rio2016.5ch.net/test/read.cgi/math/1492300530/196
197: １３２人目の素数さん [sage] 2017/05/02(火) 03:27:31.74 ID:XFydeI0/ >>195 有名なランダウ・リフシッツの理論物理学教程の中の『量子力学』のロシア語原書みたいだね 画像の中の式(17.1)〜(17.8)が手元にある東京図書から出てた日本語訳『量子力学１（改訂新版）』の 同一番号のと同じ式だから、この本のロシア語原書と考えて間違いないだろう http://rio2016.5ch.net/test/read.cgi/math/1492300530/197
198: １３２人目の素数さん [sage] 2017/05/02(火) 13:21:26.88 ID:xavLcOxF プレミア本の持ち主があらわれた http://rio2016.5ch.net/test/read.cgi/math/1492300530/198
199: １３２人目の素数さん [sage] 2017/05/02(火) 13:31:18.37 ID:xavLcOxF ランダウの英訳本はarchiveに入っているから合法的にタダで読める。 https://archive.org/details/QuantumMechanics_104 の50ページからが、件の画像のページに相当するみたいだ。 http://rio2016.5ch.net/test/read.cgi/math/1492300530/199
200: １３２人目の素数さん [] 2017/05/02(火) 13:57:47.31 ID:/onH4ndc >>196〜199 ありがとうございます！ http://rio2016.5ch.net/test/read.cgi/math/1492300530/200
201: １３２人目の素数さん [sage] 2017/05/02(火) 17:05:47.37 ID:/SirNXGk ここ10年ほどPythonとC#の人気が糞高い http://rio2016.5ch.net/test/read.cgi/math/1492300530/201
202: １３２人目の素数さん [] 2017/05/02(火) 17:46:49.18 ID:SarrE9fZ >>201 スレ違いどころか板違いだ馬鹿！ http://rio2016.5ch.net/test/read.cgi/math/1492300530/202
203: １３２人目の素数さん [sage] 2017/05/02(火) 18:17:27.14 ID:IGItPT57 Ｐｙｔｊｈｏｎは科学技術計算ライブラリが豊富に用意されているらしいから 雑誌でＡＩの紹介（ネタとしてはディープラーニングが随分多い）するとき 言語は容易なＰｙｔｈｏｎが多い ＡＩはともかく、数学者でも自分で計算機実験できるぐらいでないと・・・ この先生きのこるのに不自由すぎるだろう http://rio2016.5ch.net/test/read.cgi/math/1492300530/203
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 799 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.008s