- 1 名前：１３２人目の素数さん mailto:sage [2017/04/16(日) 08:55:30.47 ID:RziFqVZX.net]
- 数学の本について語るサロンです。
数学学習マニュアル まとめページ
www.geocities.co.jp/Technopolis-Mars/7997/
数学の本 まとめサイト
www3.atwiki.jp/math/pages/1.html
関連スレ
『解析概論』について４
kamome.2ch.net/test/read.cgi/math/1284390395/
高校から大学になるときの本
kamome.2ch.net/test/read.cgi/math/1287670196/
【世界に誇る】岩波数学辞典【名著】
kamome.2ch.net/test/read.cgi/math/1292319116/
Disquisitiones Arithmeticaeを読むスレ
kamome.2ch.net/test/read.cgi/math/1295684732/
数学の洋書vol.2
kamome.2ch.net/test/read.cgi/math/1300698455/
最近の数学の本が分かりやすくてワロタ
kamome.2ch.net/test/read.cgi/math/1300744933/
【激しく】解析と線型代数の本何がいい？【既出】6
uni.2ch.net/test/read.cgi/math/1337153386/
お前らの数学の聖書
kamome.2ch.net/test/read.cgi/math/1303034960/
参考書中毒患者スレッド@数学板 Part4
kamome.2ch.net/test/read.cgi/math/1307691621/
前スレ
数学の本 第69巻 [無断転載禁止]©2ch.net
rio2016.2ch.net/test/read.cgi/math/148738336
- 112 名前：１３２人目の素数さん [2017/04/29(土) 08:04:59.49 ID:qTgqqTiT.net]
- Hartshorne なんて何年かかっても読めんわ
- 113 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 09:51:47.60 ID:JENN7wJT.net]
- demystifiedシリーズの和訳出てきてるよね？。
まあ日本の受験産業関係者は読むのすら結局出来なさそうだけど。
- 114 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 09:58:55.73 ID:JENN7wJT.net]
- >>102
マンガ系の監修してそれを英訳したのがメジャーになれば売名できるかもね。
目指せ！未来の長尾化亮介ｗ。
- 115 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 10:05:22.36 ID:Pl8sYUHw.net]
- 有名講師には博士崩れとかいるし、読むぐらいはできるだろ
- 116 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 10:21:55.89 ID:pwm43gGu.net]
- >>112
物理なら
Quantum Field Theory Demystified
String Theory Demystified
あたりまであるな
- 117 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 10:50:38.21 ID:JENN7wJT.net]
- rio2016.2ch.net/test/read.cgi/sci/1489037582/
10 名前：ご冗談でしょう？名無しさん[sage] 投稿日：2017/03/10(金) 10:25:15.67 ID:???
マセマから超弦理論の本出せよ
12 名前：ご冗談でしょう？名無しさん[sage] 投稿日：2017/03/10(金) 14:52:08.89 ID:???
>>10
極論言ってるつもりらしいけどそれほど大変な話でもないと思う。
13 名前：ご冗談でしょう？名無しさん[sage] 投稿日：2017/03/10(金) 19:25:06.43 ID:???
>>12
誰が書くんですかね...
14 名前：ヒマラヤ[sage] 投稿日：2017/03/10(金) 19:27:11.16 ID:???
マセマは単位を取るための本だから大学で超弦理論の講義が無い限り出ないぞ
15 名前：ご冗談でしょう？名無しさん[sage] 投稿日：2017/03/10(金) 19:29:30.29 ID:???
売れるのかよ
16 名前：ご冗談でしょう？名無しさん[sage] 投稿日：2017/03/10(金) 20:04:50.68 ID:???
それを売るのがカリスマ営業
17 名前：ご冗談でしょう？名無しさん[sage] 投稿日：2017/03/10(金) 20:37:27.84 ID:???
大学後期科目なんて大概レポート中心で
試験あんまやらんだろうから
講義が出現しても出版意義がないな…
- 118 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 10:55:08.78 ID:pwm43gGu.net]
- マセマの本のタイトルからして工学部向きの科目を意識してる
ルベーグ積分や多様体、ガロア理論で出ることはないな
工学部向きのベクトル解析とほぼ数学科専用の多様体では
見込まれる販売部数からして全然違うだろうし
ああいう腐った本は工学板ででも話せばいいんじゃないのｗ
- 119 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 11:09:09.19 ID:JENN7wJT.net]
- 工学系だと今も関数解析の方が需要が高そうだからルベーグ積分や確率論と一緒に関数解析方面が出る可能性高いんじゃないの？。
- 120 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 11:16:37.57 ID:ChzAQHFp.net]
- まんが、物理、工学の話
- 121 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 11:21:06.39 ID:JENN7wJT.net]
- >>119
マンガ本と学参受験参考書の方がジャンルとしては一緒にすべきだな。
- 122 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 11:21:46.90 ID:pwm43gGu.net]
- >>118
需要なんてほんのごく一部を除いてないよ
君は今の工学系の教育を全然知らないんだろｗ
- 123 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 11:26:00.55 ID:JENN7wJT.net]
- >>121
工学ってったって数理工学科だってあるだろ。
頭ごなしに低レベル扱いするのは感心しないな。
- 124 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 11:26:35.07 ID:rxZQpgHU.net]
- 昔は工学部の授業で溝端の偏微分方程式論を使ってたという都市伝説のような話もある
- 125 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 11:27:45.77 ID:pwm43gGu.net]
- >>122
だからごく一部しかないって言ってるだろ
低レベルとか何を言ってるんだ？
工学系の人がやってることを数学科の人間は理解できてないだし
どっちがレベル高い低いなんてことはない
- 126 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 11:30:49.68 ID:pwm43gGu.net]
- >>123
授業で使ったかどうかは知らないが工学部の今の教授なら
数理工学系でなくても溝畑読んでた人の話は現実に耳にする
まあ溝畑くらい読んでたから工学部で教授になれたのかもしれんだけで
その他大勢は知らんが
今は数学科でもほとんど読まれてないｗ
- 127 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 11:34:32.08 ID:JENN7wJT.net]
- あんまりよく知ってる気がするわけでもないが
電気電子工学だと電磁気学量子力学ぐらいは必須だろ。
制御理論だと機械工でも必要だろうし。
経済学系ですら真面目にやるとマクロ経済学で最適制御相当のことが学部でも必要かな？。
- 128 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 11:51:58.88 ID:zxnJ3KM0.net]
- あんまり良く知らない、経済、工学部の話
- 129 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 12:39:49.07 ID:JENN7wJT.net]
- >>125
偏微分方程式なんてあんまり御大層な一般論なんて論じようもないし一般に解ける訳ないんで今は研究対象としても計算機シミュレーションぶんまわす研究分野ばかりなんじゃないの？。
- 130 名前：１３２人目の素数さん [2017/04/29(土) 12:44:13.08 ID:1oFtYurK.net]
- あほな、普通の工学系でルベーグなんてまったく関係ない。
関数解析も結果使うだけ。証明は非集合論的に計算的にやるだけ。
純粋数学とは別世界。
- 131 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 13:57:03.15 ID:DX7c3/gq.net]
- いいからゴミクズ同士仲よくしろよ
- 132 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 14:37:20.97 ID:X5HGqTpC.net]
- 工学で関数解析が要らないとかほざくから突っ込まれる
必要だし、本も良く出てる
もっというと経済学部でも最近は真面目なのが増えてるので必要としてる人も増えてきてる
勿論数学科向けのそれとは趣は違うがな
あと溝畑出してきたのは謎
教員が他の本に載ってないことがたまにそれに載ってることがあるので使う、というのはあるが
あの内容は今はもう教育・研究用で一般的ではないだろう
- 133 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 15:13:09.89 ID:0Ig1SksF.net]
- 工学系、応用系をアホだのなんだの書いてる人らは
アーノルドが指摘したような、糞みたいな偏見まみれで育った役立たずなんだろうなあ
今の日本数学村は応用を軽視してアブストラクトナンセンスを重視したため死んでしまった
- 134 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 15:16:08.57 ID:JENN7wJT.net]
- 日本数学は応用畑が切り開いた可積分系の天国だったと思うけどな。
今世紀はなんかいまいちになってきちゃったのは事実だと思うけど。
- 135 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 15:18:50.24 ID:0Ig1SksF.net]
- 重視したため→×
偏重したため→⚪
こうだった
- 136 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 15:19:57.53 ID:JENN7wJT.net]
- >>132
このスレの流れは工学系を馬鹿にしてる文脈じゃないだろ。
工学系の研究者にも実務者開発職にも成れなかったチョーク芸人が書いたあんちょこ本には相当批判的だけど。
- 137 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 15:34:45.68 ID:0Ig1SksF.net]
- いや>>125読むとそんな感じに読めたので
あと応用と書いたのがいけなかったのかな
ワイルズがウィッテンのことを、あれは数学ではない、と批判したらしいが
あの感覚の持ち主が多かった、牛耳ってたということなんだけども
- 138 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 15:59:36.51 ID:8BNLOavj.net]
- ウィッテンｗ
- 139 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 16:06:13.48 ID:8BNLOavj.net]
- 超絃理論崩れ
- 140 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 16:37:46.95 ID:X5HGqTpC.net]
- つまりチョーク芸人に勝つ本を書けば売れるんだな
- 141 名前：１３２人目の素数さん [2017/04/29(土) 17:15:17.10 ID:OVQ3EEWI.net]
- 工学研究科は半田ごて使えれば
博士号がもらえる。
それだけのこと。
数学とは何の関係もない。
よって工学系は板違い。
よそへ行け！
- 142 名前：１３２人目の素数さん [2017/04/29(土) 17:36:39.80 ID:5woP++7d.net]
- 物理でも高度な数学必要な分野は、弦理論と流体力学ぐらいだからなあ
理論実験含めて、その他大勢は工学部と一緒の普通の物理数学でどうにかなる
- 143 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 17:37:48.14 ID:vVGO4PQj.net]
- チョークチョークチョーク、ワンツースリー
- 144 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 17:44:49.91 ID:X5HGqTpC.net]
- 古典力学はネタの宝庫だと見做されてたはずなんだが、違ってきてるんだな・・・・・
- 145 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 18:22:10.12 ID:vVGO4PQj.net]
- ｋｗｓｋ
- 146 名前：１３２人目の素数さん [2017/04/29(土) 19:15:37.97 ID:0fthDpKz.net]
- 現代物理学よりも現代数学のが遥かに難しい事を対象としているよな
物理学に使われている数学なんて簡単なものだし
- 147 名前：１３２人目の素数さん [2017/04/29(土) 19:51:10.44 ID:wzhRhNPh.net]
- しらない げろぶろにがびょういじょうくらいしか
- 148 名前：１３２人目の素数さん [2017/04/29(土) 21:10:55.20 ID:hF2XTnJB.net]
- 工学系の学生は量子電気力学は大学入学までに終わらせるべし
- 149 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 21:13:59.32 ID:DX7c3/gq.net]
- バカなんだから粋がるなよ
- 150 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 21:52:34.84 ID:W07zU9Tp.net]
- 蛆蟲どうし仲良くしろよ
- 151 名前：１３２人目の素数さん [2017/04/29(土) 21:57:05.80 ID:1fd8sgts.net]
- 測度論から積み上げていく関数解析と、
工学系で言ってる関数解析はそもそも意味が違うだろｗ
- 152 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 22:03:31.10 ID:tjkywlsy.net]
- >>68
遅いレスになりましたが、
イプシロン-デルタ (数学ワンポイント双書 20) 共立出版
もお勧めです。昔の本ですので、図書館にあるかもしれません。
- 153 名前：１３２人目の素数さん [2017/04/29(土) 22:06:33.77 ID:2uI4ov1N.net]
- detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1224684912
- 154 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 22:07:08.88 ID:mIs/k9UU.net]
- >>68
位相解析の基礎
- 155 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 22:26:27.67 ID:DX7c3/gq.net]
- イプシロンデルタに簡単も糞もねーだろｗｗｗｗ
しっかりしろよミジンコｗ
- 156 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 23:21:04.56 ID:W07zU9Tp.net]
- 〃 `丶
,(_ ノ′ ｀ヽ
( ゝ
'⌒ ノ)ノ） イ} ( ＼ ｀ヽ
_イ /⌒Ｙ ﾉノ〃二二ﾆノﾉ / ＼ ヽ ハ
,ノ / ハ,ﾉ i (_, .イじ｢ ( ＼ } } ゝ
{ う ゝ- '＾⌒`＝-､ ,.ﾆヽ＼ ヽ { }
_人_{ { 丿 i （､じ'} Vﾊ ∨}ノ
ｰ彡{ 乂( U , ⌒Yﾆ /〃 /丿 ひどい…
个ゝ し ｰ ､ 丿 /ノ ;´
', ,..-‐ ､ヽ ん' i 世も末だ
八 ｀ヽ:::::У .ｲ { ｌ
:.＼ 丶`く＞＜八 l
:::::::.＼ ／｀ ＜ ＞､＿__人
＼ :::::::／≧=ｒく( _(_,ﾉ `i''ﾞ::::::::::::::::.
ヽ 〃 } | :::::::::::::::::.
＼ | ::::::::::::::::∧
ー-=ミ ＼ ﾄ､:::::::::::／ ',
- 157 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 03:53:43.20 ID:2pr7VMaU.net]
- 工学系の応用数学の講義のカリキュラム見ると参考図書にマセマ上げてるのが結構ある
計算だけなら分かりやすいんじゃね
- 158 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 08:19:30.48 ID:1V23BQ76.net]
- 計算なんて今時全部コンピュータなのでやる意味ないと思う
割とマジで
- 159 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 15:27:44.13 ID:HY9cEL7X.net]
- コンピュータ任せに慣れてしまうと、概要は作れるが細部を詰めることができない人間になるぞ
- 160 名前：１３２人目の素数さん [2017/04/30(日) 15:33:36.26 ID:kqCtRAjC.net]
- 勉強中に、複素数上に定義されたノルマ空間値正則関数ってのを初めて見たんだけど、
これって複素数値関数の定理とかそのまま応用できる？
コーシーリーマン方程式とか導けない気がするんだけど、、、
ノルマ空間値正則関数の教科書とかあれば教えてください。
- 161 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 16:22:05.62 ID:BBDAeGr6.net]
- ノルム空間だろ
- 162 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 16:23:23.99 ID:Reo5lNf1.net]
- 残業200時間なんだろ
- 163 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 16:30:30.98 ID:WT6Vnisb.net]
- ベクトル値関数φの基本性質：
任意の連続線型汎関数f に対し
f(∫φ(x)dx) = ∫f(φ(x))dx が成り立つ
また、
φが正則 ⇔ fφが正則
φが正則ならば任意の連続線型汎関数f に対し
閉曲線上の積分 f(∫φ(x)dx) = ∫f(φ(x))dx = 0
したがってベクトル値関数でもコーシーの積分定理∫φ(x)dx = 0 が成り立つ
後の理論展開は通常の複素関数論と同じ
- 164 名前：１３２人目の素数さん [2017/04/30(日) 16:56:46.70 ID:kqCtRAjC.net]
- ノルム空間だった
>>162のφの積分ってどういう意味？線積分？
あと、φ:C→X(ノルム空間)の時に
fはX上の線形連続写像ってことでいい？
- 165 名前：１３２人目の素数さん [2017/04/30(日) 16:59:35.20 ID:kqCtRAjC.net]
- あと、φが正則 ⇔ fφが正則 って定義？
- 166 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 20:21:58.01 ID:H0kUiUfz.net]
- >>164
質問スレにいけよド低脳！質問する場所すら分からんのか馬鹿が！
- 167 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 20:28:30.84 ID:GjPvsUfZ.net]
- 裳華房から新装版ルベーグ積分入門と多様体入門が出てますね！
どっちも見やすくなって勉強がはかどります！！
- 168 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 20:46:21.93 ID:nAnARVbU.net]
- オイラーの定数 ガンマ 共立出版
- 169 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 23:12:44.44 ID:+J6S9V8S.net]
- 啓蒙書 低脳
- 170 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 23:30:53.22 ID:WoMtncVp.net]
- 可愛い本のつもりで挙げたんだぞ
調査に乗るなよ😃
- 171 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 23:45:00.63 ID:WoMtncVp.net]
- だからもう啓蒙書とか言わないで😭
ほんとは怖かったの😞
- 172 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 23:48:30.82 ID:WoMtncVp.net]
- 言っていい事と悪い事があるでしょー👊💢
- 173 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 23:53:47.95 ID:H0kUiUfz.net]
- くっさ
- 174 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 23:56:23.92 ID:Reo5lNf1.net]
- ID:WoMtncVpはオイラーの定数が無理数であることを証明するまで
このスレに立入禁止な
- 175 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 00:00:29.92 ID:BoBLefTL.net]
- >>168
私の
- 176 名前：ー！処女をー！奪わないでえええええ😭いやああああああああ😭 []
- [ここ壊れてます]
- 177 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 00:01:48.66 ID:BoBLefTL.net]
- >>172
あんたの方が臭いわよ。
- 178 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 01:05:37.48 ID:iF2Mq02A.net]
- いい大人が高校数学に毛が生えた程度の本読んでヒマつぶしてるんだけど
高校程度の抜けがないようにモノグラフ公式集買って
数か月かけてちまちま読もうと思ってんだけどどうよ？
受験は文系で大昔にセンターでⅠⅡ使った程度
- 179 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 01:48:47.49 ID:gbWCNBrk.net]
- 好きなの読めばよろし
- 180 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 01:59:29.42 ID:qhe3+eE9.net]
- 受験対策で全身サルより剛毛な連中だが頭だけ完全に不毛なズルっパゲといった感じのお猿さんが多すぎる。
- 181 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 02:23:43.60 ID:RRGtNDR1.net]
- >>176
それなら松坂の数学読本をすすめる
- 182 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 05:50:43.68 ID:qa6INBnL.net]
- >>178
例えが意味不明
- 183 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 06:23:26.69 ID:8wByLQwx.net]
- >>81
この写真は、どこ大学？
- 184 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 07:16:22.78 ID:qhe3+eE9.net]
- 離散数学まがいの数オリレベル出来るの少数育成するよりかは
自己言及的再帰的な定義が理解できるので関数型言語に対応できる大多数派を育成することの方が急務だと思うが
日本の中等教育の教員じゃ無理
- 185 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 07:18:08.29 ID:qhe3+eE9.net]
- >>180
一番肝心なつむじ不動点固有点の近傍がまっさらと無視されたオービフォルド（笑）。
- 186 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 07:21:53.23 ID:3acz5TAa.net]
- >>182
関数型はマイナー再帰的な定義は数学のやりかたであって計算機のやりかたとはいいがたい
再帰的定義は空間的必要量を見積もりにくい
- 187 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 07:30:27.94 ID:qhe3+eE9.net]
- んなハンドアセンブラでスパコンやらGPGPUな最適化できるような技術者なんて大量に要る訳ないだろ。
真っ当な富豪的プログラミングできるタイプが大量に必要で組み込み系マシン語常時使う双なんて化石化待ったなしのコボラー的なレガシー専任だろうに。
- 188 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 07:37:17.37 ID:qa6INBnL.net]
- >>183
他のレスを見るにキチガイの人か
- 189 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 07:52:08.45 ID:3acz5TAa.net]
- >>185
関数型は実用に供しがたい，結局，命令の実行順序の保存・状態の保持は必要
関数型で，そうだな，1万個の素数を小さいほうから求めるプログラムでも書けばわかる
- 190 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 08:39:30.75 ID:qhe3+eE9.net]
- >>187
>命令の実行順序の保存・状態の保持
ハスケルやモナドの宣教師みたいな言動だな…
- 191 名前： mailto:sage [2017/05/01(月) 12:34:56.32 ID:6Gs2tZZM.net]
- >>188
よく見抜いたな…
- 192 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 13:19:53.22 ID:dp1L2JX1.net]
- >>188
横レスだが計算機のアーキテクチャが値を保持するメモリとそれを書き換える操作を順番に実行することを基本としている以上、
このアーキテクチャとかけ離れた計算モデルに基づくプログラミング言語
（例えば関数的プログラミング言語、特に値が実際に必要になるまで式の評価を放置するLazy Evaluation）の実行効率は、
このアーキテクチャに従った手続き的プログラミング言語のそれに比べて劣ってしまうのは必然的だ
逆に言えば値を保持するメモリの概念がなく値を次々に変換していくようなアーキテクチャの計算機が存在したとすれば
その上での実行効率は値の変換という計算モデルに基づく関数的言語のほうがメモリの書き換えというモデルに基づく手続き的言語よりも
効率が良くなるし、実際、過去にはそういう計算モデルの一つとしてデーターフローマシンという種類のハードウェアが研究され信号処理専用に実用化もされた
繰り返すが、命令の実行順序の保存や状態の保持が効率の上で重要なのはモナドがどうした以前の問題なのだよ
現実の計算機ハードウェアがそういう計算モデルに基づいたアーキテクチャであるからこそ、プログラミング言語が基づく計算モデルが
そのハードウェア・アーキテクチャからかけ離れればかけ離れるほど実行効率が悪くなり
実用性に劣る（少なくとも実用的な規模の大きなプログラムを記述して実行する上では）のは必然的なのだよ
だから関数的プログラミング言語でも一つの関数の中の式の評価順番がいつになるかは不定（その関数の使い方に依存する）な
Lazy Evaluation（またはCall-by-Need)の計算モデルに基づくHaskellなどよりも、手続き的プログラミング言語と同じく個々の式の評価は
（条件分岐の実行されない側を除いて）その値を必要としようとしまいと行われるEager Evaluation（またはCall-by-Value）の計算モデルに基づく
ML系（OCaml）やLisp系のほうが実行効率も良く実用的なんだよ（まあLisp系ははるか以前から実態としては関数的言語でなく手続き的言語だが）
現実のハードウェア・アーキテクチャを無視することはできないのだ、少なくとも実行効率とかを考えるならばね
そして実行効率が悪ければ必然的に実用性の上ではマイナス評価を受ける
- 193 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 17:50:12.41 ID:qa6INBnL.net]
- キチガイよりタチが悪いのは推敲能力ゼロの人間
- 194 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 19:30:28.26 ID:9RVq+wWV.net]
- 型理論の人は数学から落ちぶれて
コンピュータサイエンスからも落ちぶれた人なので
来ないでください
- 195 名前：１３２人目の素数さん [2017/05/01(月) 20:18:01.67 ID:YxpbACRT.net]
- メモリレイアウトを裏で気にする必要があるからな
- 196 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 23:15:29.97 ID:0Hh9V4rR.net]
- Haskellの話は好きだけど、スレチ。
- 197 名前：１３２人目の素数さん [2017/05/02(火) 00:44:23.42 ID:/onH4ndc.net]
- SPECというドラマに出てきた数学書らしき書物なんだが、
これは何の本なの？
ロシア語かな？
imgur.com/a/u90CT
- 198 名前：１３２人目の素数さん [2017/05/02(火) 00:52:31.02 ID:yveyL71Z.net]
- 何語かわからないけど、シュレディンガー方程式っぽいの書いてあるし、
量子力学とかそっち関係の本じゃないかな
- 199 名前：１３２人目の素数さん mailto:sage [2017/05/02(火) 03:27:31.74 ID:XFydeI0/.net]
- >>195
有名なランダウ・リフシッツの理論物理学教程の中の『量子力学』のロシア語原書みたいだね
画像の中の式(17.1)～(17.8)が手元にある東京図書から出てた日本語訳『量子力学１（改訂新版）』の
同一番号のと同じ式だから、この本のロシア語原書と考えて間違いないだろう
- 200 名前：１３２人目の素数さん mailto:sage [2017/05/02(火) 13:21:26.88 ID:xavLcOxF.net]
- プレミア本の持ち主があらわれた
- 201 名前：１３２人目の素数さん mailto:sage [2017/05/02(火) 13:31:18.37 ID:xavLcOxF.net]
- ランダウの英訳本はarchiveに入っているから合法的にタダで読める。
https://archive.org/details/QuantumMechanics_104
の50ページからが、件の画像のページに相当するみたいだ。
- 202 名前：１３２人目の素数さん [2017/05/02(火) 13:57:47.31 ID:/onH4ndc.net]
- >>196～199
ありがとうございます！
- 203 名前：１３２人目の素数さん mailto:sage [2017/05/02(火) 17:05:47.37 ID:/SirNXGk.net]
- ここ10年ほどPythonとC#の人気が糞高い
- 204 名前：１３２人目の素数さん [2017/05/02(火) 17:46:49.18 ID:SarrE9fZ.net]
- >>201
スレ違いどころか板違いだ馬鹿！
- 205 名前：１３２人目の素数さん mailto:sage [2017/05/02(火) 18:17:27.14 ID:IGIt
]
- [ここ壊れてます]
- 206 名前：PT57.net mailto: Ｐｙｔｊｈｏｎは科学技術計算ライブラリが豊富に用意されているらしいから
雑誌でＡＩの紹介（ネタとしてはディープラーニングが随分多い）するとき
言語は容易なＰｙｔｈｏｎが多い
ＡＩはともかく、数学者でも自分で計算機実験できるぐらいでないと・・・
この先生きのこるのに不自由すぎるだろう [] - [ここ壊れてます]
- 207 名前：１３２人目の素数さん mailto:sage [2017/05/02(火) 18:18:32.06 ID:ks0VjvyU.net]
- この先生茸る
- 208 名前：１３２人目の素数さん mailto:sage [2017/05/02(火) 23:40:57.50 ID:NaxAw0kK.net]
- Deep Learningに関しては数学的に良く分かってないことが多いので
そこそこホットだよね
- 209 名前：１３２人目の素数さん mailto:sage [2017/05/03(水) 01:18:38.66 ID:j/a53duQ.net]
- 共立出版の新刊情報を見てたら、数学小辞典の第2版増補が出るらしく、
レビューを探してたら
abel.a.la9.jp/sub8.html
が見つかったんだが、本当にそんな酷い内容なの？
- 210 名前：１３２人目の素数さん [2017/05/03(水) 02:53:29.97 ID:TCw6OaVM.net]
- >>205
何もわかってないFランの馬鹿が
知ったかぶりすんな
何がわかってないかさえも
書けないだろう？
ホントに馬鹿だな！
少しは考えろ馬鹿！
- 211 名前：１３２人目の素数さん mailto:sage [2017/05/03(水) 02:56:30.04 ID:awG8Clr4.net]
- >>206
よくやった。初めてまともな書き込みを見た気がする。続けたまえ！
- 212 名前：１３２人目の素数さん mailto:sage [2017/05/03(水) 05:16:44.95 ID:SPqjN5tL.net]
- >>205
位相的データ解析やれば？
|
 |
