[過去ﾛｸﾞ] 数学の本 第70巻 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
187(1): 2017/05/01(月)07:52 ID:3acz5TAa(2/2) AAS
>>185
関数型は実用に供しがたい，結局，命令の実行順序の保存・状態の保持は必要
関数型で，そうだな，1万個の素数を小さいほうから求めるプログラムでも書けばわかる
188(2): 2017/05/01(月)08:39 ID:qhe3+eE9(5/5) AAS
>>187
>命令の実行順序の保存・状態の保持
ハスケルやモナドの宣教師みたいな言動だな…
189: ◆QZaw55cn4c 2017/05/01(月)12:34 ID:6Gs2tZZM(1) AAS
>>188
よく見抜いたな…
190: 2017/05/01(月)13:19 ID:dp1L2JX1(1) AAS
>>188
横レスだが計算機のアーキテクチャが値を保持するメモリとそれを書き換える操作を順番に実行することを基本としている以上、
このアーキテクチャとかけ離れた計算モデルに基づくプログラミング言語
（例えば関数的プログラミング言語、特に値が実際に必要になるまで式の評価を放置するLazy Evaluation）の実行効率は、
このアーキテクチャに従った手続き的プログラミング言語のそれに比べて劣ってしまうのは必然的だ
逆に言えば値を保持するメモリの概念がなく値を次々に変換していくようなアーキテクチャの計算機が存在したとすれば
その上での実行効率は値の変換という計算モデルに基づく関数的言語のほうがメモリの書き換えというモデルに基づく手続き的言語よりも
効率が良くなるし、実際、過去にはそういう計算モデルの一つとしてデーターフローマシンという種類のハードウェアが研究され信号処理専用に実用化もされた
繰り返すが、命令の実行順序の保存や状態の保持が効率の上で重要なのはモナドがどうした以前の問題なのだよ
現実の計算機ハードウェアがそういう計算モデルに基づいたアーキテクチャであるからこそ、プログラミング言語が基づく計算モデルが
省8
191: 2017/05/01(月)17:50 ID:qa6INBnL(3/3) AAS
キチガイよりタチが悪いのは推敲能力ゼロの人間
192: 2017/05/01(月)19:30 ID:9RVq+wWV(1) AAS
型理論の人は数学から落ちぶれて
コンピュータサイエンスからも落ちぶれた人なので
来ないでください
193: 2017/05/01(月)20:18 ID:YxpbACRT(1) AAS
メモリレイアウトを裏で気にする必要があるからな
194: 2017/05/01(月)23:15 ID:0Hh9V4rR(1) AAS
Haskellの話は好きだけど、スレチ。
195(1): 2017/05/02(火)00:44 ID:/onH4ndc(1/2) AAS
SPECというドラマに出てきた数学書らしき書物なんだが、
これは何の本なの？
ロシア語かな？
外部ﾘﾝｸ:imgur.com
196(1): 2017/05/02(火)00:52 ID:yveyL71Z(1) AAS
何語かわからないけど、シュレディンガー方程式っぽいの書いてあるし、
量子力学とかそっち関係の本じゃないかな
197: 2017/05/02(火)03:27 ID:XFydeI0/(1) AAS
>>195
有名なランダウ・リフシッツの理論物理学教程の中の『量子力学』のロシア語原書みたいだね
画像の中の式(17.1)〜(17.8)が手元にある東京図書から出てた日本語訳『量子力学１（改訂新版）』の
同一番号のと同じ式だから、この本のロシア語原書と考えて間違いないだろう
198: 2017/05/02(火)13:21 ID:xavLcOxF(1/2) AAS
プレミア本の持ち主があらわれた
199: 2017/05/02(火)13:31 ID:xavLcOxF(2/2) AAS
ランダウの英訳本はarchiveに入っているから合法的にタダで読める。
外部ﾘﾝｸ:archive.org
の50ページからが、件の画像のページに相当するみたいだ。
200: 2017/05/02(火)13:57 ID:/onH4ndc(2/2) AAS
>>196〜199
ありがとうございます！
201(1): 2017/05/02(火)17:05 ID:/SirNXGk(1) AAS
ここ10年ほどPythonとC#の人気が糞高い
202: 2017/05/02(火)17:46 ID:SarrE9fZ(1) AAS
>>201
スレ違いどころか板違いだ馬鹿！
203: 2017/05/02(火)18:17 ID:IGItPT57(1) AAS
Ｐｙｔｊｈｏｎは科学技術計算ライブラリが豊富に用意されているらしいから
雑誌でＡＩの紹介（ネタとしてはディープラーニングが随分多い）するとき
言語は容易なＰｙｔｈｏｎが多い
ＡＩはともかく、数学者でも自分で計算機実験できるぐらいでないと・・・
この先生きのこるのに不自由すぎるだろう
204: 2017/05/02(火)18:18 ID:ks0VjvyU(1) AAS
この先生茸る
205(2): 2017/05/02(火)23:40 ID:NaxAw0kK(1) AAS
Deep Learningに関しては数学的に良く分かってないことが多いので
そこそこホットだよね
206(2): 2017/05/03(水)01:18 ID:j/a53duQ(1) AAS
共立出版の新刊情報を見てたら、数学小辞典の第2版増補が出るらしく、
レビューを探してたら
外部ﾘﾝｸ[html]:abel.a.la9.jp
が見つかったんだが、本当にそんな酷い内容なの？
上下前次1-新書関写板覧索設栞歴
あと 796 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s