[過去ログ] 数学の本 第70巻 [無断転載禁止]©2ch.net (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
10
(1): 2017/04/18(火)11:24:16.22 ID:pgMZJfx6(1/2) AAS
印刷の状態も酷いってこと?
44
(1): 2017/04/20(木)20:27:00.22 ID:SwwRsdRU(1) AAS
寺寛(てらかん)の数学概論でおなじみの寺沢寛一の「自然科学者のための数学概論」
169: 2017/04/30(日)23:30:53.22 ID:WoMtncVp(1/3) AAS
可愛い本のつもりで挙げたんだぞ
調査に乗るなよ😃
190: 2017/05/01(月)13:19:53.22 ID:dp1L2JX1(1) AAS
>>188
横レスだが計算機のアーキテクチャが値を保持するメモリとそれを書き換える操作を順番に実行することを基本としている以上、
このアーキテクチャとかけ離れた計算モデルに基づくプログラミング言語
(例えば関数的プログラミング言語、特に値が実際に必要になるまで式の評価を放置するLazy Evaluation)の実行効率は、
このアーキテクチャに従った手続き的プログラミング言語のそれに比べて劣ってしまうのは必然的だ

逆に言えば値を保持するメモリの概念がなく値を次々に変換していくようなアーキテクチャの計算機が存在したとすれば
その上での実行効率は値の変換という計算モデルに基づく関数的言語のほうがメモリの書き換えというモデルに基づく手続き的言語よりも
効率が良くなるし、実際、過去にはそういう計算モデルの一つとしてデーターフローマシンという種類のハードウェアが研究され信号処理専用に実用化もされた

繰り返すが、命令の実行順序の保存や状態の保持が効率の上で重要なのはモナドがどうした以前の問題なのだよ
現実の計算機ハードウェアがそういう計算モデルに基づいたアーキテクチャであるからこそ、プログラミング言語が基づく計算モデルが
省8
498: ◆2VB8wsVUoo 2017/05/14(日)11:08:08.22 ID:fNprJr1l(20/30) AAS

553: 2017/05/14(日)18:49:01.22 ID:7bG3WRfi(1) AAS
>>550
それならその分野で扱うべき。数学の研究課題とするには対象が小さすぎる。
669: ◆2VB8wsVUoo 2017/05/15(月)16:41:23.22 ID:D6Tvv8g8(61/76) AAS

682: ◆2VB8wsVUoo 2017/05/15(月)20:57:29.22 ID:D6Tvv8g8(69/76) AAS

812: 2017/05/18(木)22:36:34.22 ID:D+nrgSM/(3/4) AAS
煽りなんだから適当に答えろよ
858: 2017/05/20(土)02:04:38.22 ID:VJhJZ8Xf(1/3) AAS
>>857
それを定義にしてしまうと、算チャレに嵌っている人とか、微積や線形代数の書籍コレクターとか、
数学に変なロマンを持っている数学板の知ったかぶりなどが該当してしまうので、ill-definedですな。
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.026s