[過去ﾛｸﾞ] 数学の本 第70巻 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
175: 2017/05/01(月)00:01 ID:BoBLefTL(2/2) AAS
>>172
あんたの方が臭いわよ。
176(1): 2017/05/01(月)01:05 ID:iF2Mq02A(1) AAS
いい大人が高校数学に毛が生えた程度の本読んでヒマつぶしてるんだけど
高校程度の抜けがないようにモノグラフ公式集買って
数か月かけてちまちま読もうと思ってんだけどどうよ？
受験は文系で大昔にセンターでⅠⅡ使った程度
177: 2017/05/01(月)01:48 ID:gbWCNBrk(1) AAS
好きなの読めばよろし
178(1): 2017/05/01(月)01:59 ID:qhe3+eE9(1/5) AAS
受験対策で全身サルより剛毛な連中だが頭だけ完全に不毛なズルっパゲといった感じのお猿さんが多すぎる。
179: 2017/05/01(月)02:23 ID:RRGtNDR1(1) AAS
>>176
それなら松坂の数学読本をすすめる
180(1): 2017/05/01(月)05:50 ID:qa6INBnL(1/3) AAS
>>178
例えが意味不明
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の話は好きだけど、スレチ。
上下前次1-新書関写板覧索設栞歴
あと 808 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s