[過去ログ]
数学の本 第70巻 [無断転載禁止]©2ch.net (1002レス)
数学の本 第70巻 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1492300530/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
188: 132人目の素数さん [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: 132人目の素数さん [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: 132人目の素数さん [sage] 2017/05/01(月) 17:50:12.41 ID:qa6INBnL キチガイよりタチが悪いのは推敲能力ゼロの人間 http://rio2016.5ch.net/test/read.cgi/math/1492300530/191
192: 132人目の素数さん [sage] 2017/05/01(月) 19:30:28.26 ID:9RVq+wWV 型理論の人は数学から落ちぶれて コンピュータサイエンスからも落ちぶれた人なので 来ないでください http://rio2016.5ch.net/test/read.cgi/math/1492300530/192
193: 132人目の素数さん [] 2017/05/01(月) 20:18:01.67 ID:YxpbACRT メモリレイアウトを裏で気にする必要があるからな http://rio2016.5ch.net/test/read.cgi/math/1492300530/193
194: 132人目の素数さん [sage] 2017/05/01(月) 23:15:29.97 ID:0Hh9V4rR Haskellの話は好きだけど、スレチ。 http://rio2016.5ch.net/test/read.cgi/math/1492300530/194
195: 132人目の素数さん [] 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: 132人目の素数さん [] 2017/05/02(火) 00:52:31.02 ID:yveyL71Z 何語かわからないけど、シュレディンガー方程式っぽいの書いてあるし、 量子力学とかそっち関係の本じゃないかな http://rio2016.5ch.net/test/read.cgi/math/1492300530/196
197: 132人目の素数さん [sage] 2017/05/02(火) 03:27:31.74 ID:XFydeI0/ >>195 有名なランダウ・リフシッツの理論物理学教程の中の『量子力学』のロシア語原書みたいだね 画像の中の式(17.1)〜(17.8)が手元にある東京図書から出てた日本語訳『量子力学1(改訂新版)』の 同一番号のと同じ式だから、この本のロシア語原書と考えて間違いないだろう http://rio2016.5ch.net/test/read.cgi/math/1492300530/197
198: 132人目の素数さん [sage] 2017/05/02(火) 13:21:26.88 ID:xavLcOxF プレミア本の持ち主があらわれた http://rio2016.5ch.net/test/read.cgi/math/1492300530/198
199: 132人目の素数さん [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: 132人目の素数さん [] 2017/05/02(火) 13:57:47.31 ID:/onH4ndc >>196〜199 ありがとうございます! http://rio2016.5ch.net/test/read.cgi/math/1492300530/200
201: 132人目の素数さん [sage] 2017/05/02(火) 17:05:47.37 ID:/SirNXGk ここ10年ほどPythonとC#の人気が糞高い http://rio2016.5ch.net/test/read.cgi/math/1492300530/201
202: 132人目の素数さん [] 2017/05/02(火) 17:46:49.18 ID:SarrE9fZ >>201 スレ違いどころか板違いだ馬鹿! http://rio2016.5ch.net/test/read.cgi/math/1492300530/202
203: 132人目の素数さん [sage] 2017/05/02(火) 18:17:27.14 ID:IGItPT57 Pytjhonは科学技術計算ライブラリが豊富に用意されているらしいから 雑誌でAIの紹介(ネタとしてはディープラーニングが随分多い)するとき 言語は容易なPythonが多い AIはともかく、数学者でも自分で計算機実験できるぐらいでないと・・・ この先生きのこるのに不自由すぎるだろう http://rio2016.5ch.net/test/read.cgi/math/1492300530/203
204: 132人目の素数さん [sage] 2017/05/02(火) 18:18:32.06 ID:ks0VjvyU この先生茸る http://rio2016.5ch.net/test/read.cgi/math/1492300530/204
205: 132人目の素数さん [sage] 2017/05/02(火) 23:40:57.50 ID:NaxAw0kK Deep Learningに関しては数学的に良く分かってないことが多いので そこそこホットだよね http://rio2016.5ch.net/test/read.cgi/math/1492300530/205
206: 132人目の素数さん [sage] 2017/05/03(水) 01:18:38.66 ID:j/a53duQ 共立出版の新刊情報を見てたら、数学小辞典の第2版増補が出るらしく、 レビューを探してたら http://abel.a.la9.jp/sub8.html が見つかったんだが、本当にそんな酷い内容なの? http://rio2016.5ch.net/test/read.cgi/math/1492300530/206
207: 132人目の素数さん [] 2017/05/03(水) 02:53:29.97 ID:TCw6OaVM >>205 何もわかってないFランの馬鹿が 知ったかぶりすんな 何がわかってないかさえも 書けないだろう? ホントに馬鹿だな! 少しは考えろ馬鹿! http://rio2016.5ch.net/test/read.cgi/math/1492300530/207
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 795 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.009s