[過去ﾛｸﾞ] 数学の本 第70巻 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
181: 2017/05/01(月)06:23 ID:8wByLQwx(1) AAS
>>81
この写真は、どこ大学？
182(1): 2017/05/01(月)07:16 ID:qhe3+eE9(2/5) AAS
離散数学まがいの数オリレベル出来るの少数育成するよりかは
自己言及的再帰的な定義が理解できるので関数型言語に対応できる大多数派を育成することの方が急務だと思うが
日本の中等教育の教員じゃ無理
183(1): 2017/05/01(月)07:18 ID:qhe3+eE9(3/5) AAS
>>180
一番肝心なつむじ不動点固有点の近傍がまっさらと無視されたオービフォルド（笑）。
184: 2017/05/01(月)07:21 ID:3acz5TAa(1/2) AAS
>>182
関数型はマイナー再帰的な定義は数学のやりかたであって計算機のやりかたとはいいがたい
再帰的定義は空間的必要量を見積もりにくい
185(1): 2017/05/01(月)07:30 ID:qhe3+eE9(4/5) AAS
んなハンドアセンブラでスパコンやらGPGPUな最適化できるような技術者なんて大量に要る訳ないだろ。
真っ当な富豪的プログラミングできるタイプが大量に必要で組み込み系マシン語常時使う双なんて化石化待ったなしのコボラー的なレガシー専任だろうに。
186: 2017/05/01(月)07:37 ID:qa6INBnL(2/3) AAS
>>183
他のレスを見るにキチガイの人か
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
ありがとうございます！
上下前次1-新書関写板覧索設栞歴
あと 802 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s