数学の本第78巻 - 暇つぶし2ch

数学の本第78巻 at MATH

[前50を表示]
100:１３２人目の素数さん
18/08/11 06:51:49.12 V2z3sPeT.net
数学書呼んでる人、書いてる人でプログラミング言語で言うところの“オブジェクト指向”・”リファクタリング“を理解してる人どれぐらい居るのかな？
複雑に入り組んだ概念を取り扱う時こそ、個々の事物を1つの単位として取り扱って、個々が他の個を扱う時はなるべく汎用性を持ったように扱うべきなのだが、
そう考えると、よくある数学書で、とある証明内で議論した事柄に数式番号だけを付けて、また別の文脈の所の証明内に於いて引用するのはいかがなものかと思う。
証明内で引用される箇所があるとすれば、それは当該証明内に於いてだけに留めるべきだと思う。
ある証明内に於いて或る事柄を、別の照明に於いて引用するのであれば、当該事柄を引用できるように当該証明から抜き出して、一つの命題として整えておくべき�

101:ﾈのではないだろうか？

102:１３２人目の素数さん
18/08/11 07:10:02.14 jlUvWFl6.net
>>95
>いちいち自分の読んでる本の誤りを列挙して得意になっている奴
この種の類の人間はトコトンそのようなことをしているという背景があるから、
そういった類の説教をここでしても余り意味がないと思うぞ。

103:１３２人目の素数さん
18/08/11 07:16:43.19 6317WsV1.net
>>97
よそでやってくれ

104:１３２人目の素数さん
18/08/11 10:26:33.39 glOU+rdd.net
>>97
遠山啓先生なんかは構造主義的な立場だったから、
“オブジェクト指向”・”リファクタリング“的な発想だった
ように思う。「森ダイアグラム」なんかもその延長だろう。
だけど、ヒルベルト流の流儀とは相容れない部分はあるんだよな。
とはいえ、コンピュータの性能向上で、カオスとかフラクタルのような
複雑系ガクローズアップされてきて、境界が曖昧になってきてるのも
確かだと思う。

105:１３２人目の素数さん
18/08/11 17:12:59.12 aqPKTtus.net
>>95 >>98
「話せば分かる」なんて大ウソで、昔から刀を向けられて「ま、待て。話せばわかる」と言った人に限って、
バッサリやられている。いつの間にか私たちを囲む様々な「壁」。それを知ることで世界の見方が分かってくる。
「人間同士が理解しあうというのは根本的には不可能である。
理解できない相手を、人は互いにバカだと思う」というのが本書の要点である。
（養老孟司の著書『バカの壁』）

106:１３２人目の素数さん
18/08/11 17:39:06.97 glOU+rdd.net
>>101
「芸術家は数学者に比べて不幸である。理解されない芸術家は
軽蔑されるが、理解されない数学者は尊敬される」とかいった
話もあるんだが、デカルトは「理性は万人において平等である」
と言った。
まぁ、そのうち世の中がおれたちに追いついてくると信じようじゃないか。
「絶望は愚者の結論である」って云うしな。

107:１３２人目の素数さん
18/08/11 19:46:45.27 9oRnDQx+.net
>>88
ありがとうございます！
ざっと目を通しましたが、今の5ch数学板と全然違いますね
なんと言うか…集まってる人間の感じが明らかに違いますよね
あさって向いた頓珍漢なレスや揚げ足取り、不毛なディスりレスが極少
どこで道を間違えたんだろう

108:１３２人目の素数さん
18/08/11 19:50:29.44 c5bJyerC.net
数学は大衆化したらおしまい
はなからDQNには無理なのが数学

109:１３２人目の素数さん
18/08/11 20:23:29.76 glOU+rdd.net
>>104
達観したようなことを言ってんじゃねーぞ若造。
>>103 の爪の垢でも煎じて飲んでろや。

110:１３２人目の素数さん
18/08/11 20:30:20.93 ZOU3GvhC.net
きょうもあぼーんしかいないトホホ

111:１３２人目の素数さん
18/08/11 21:17:25.23 aqPKTtus.net
"Mathematics, rightly viewed, posseses not only truth
but supreme beauty, a beauty cold and austere
like that of sculpture" - Bertrand Russell
「正しく見た数学は、真実だけでなく最高の美
　 - 彫刻のように冷たく厳しい美 - も有している」
（バートランド・ラッセル）
チューリングを記念してサックビル・パークに作られたブロンズ製のベンチに付随する銘板より

112:１３２人目の素数さん
18/08/11 21:33:26.74 PZHK6b8p.net
>>107
ラッセルはあてにならない、ラッセルのエッセイは特に
ラッセルは数学やるときと文章書くときとでは使う頭が全く違っている気がする

113:１３２人目の素数さん
18/08/11 22:00:58.14 aqPKTtus.net
ラッセルはプリンキピア・マテマティカを共著したホワイトヘッドの嫁と不倫したから、
>>108 の言う「あてにならない」は一理ある。
でも、小平邦彦の「ボクは算数しか出来なかった」にもラッセルと似たことが書かれていて
「このときの大学はエリートの集うところであり現在のように大衆化されていなかった。・・・
私の楕円曲面論は実は私が考え出したのではなく，数学という木の中に埋まっていた楕円曲面論を
私が紙と鉛筆の力で掘り出したにすぎない」(115P) と言っている。

114:１３２人目の素数さん
18/08/11 22:33:46.00 aqPKTtus.net
「それはなぜベートーベンの交響曲第九が美しいのかと尋ねるようなものだ。
なぜかがわからない人に、他の人がその美しさを説明することはできない。
数が美しいことをわしは知っている。
数が美しくなかったら、美しいものなど、この世にはない」
（ポール・エルデシュ）「放浪の天才数学者エルデシュ」より

115:１３２人目の素数さん
18/08/11 22:51:45.90 glOU+rdd.net
>>109
それって、やっぱり漱石の『夢十夜』が元ネタなのかな。

116:１３２人目の素数さん
18/08/11 23:38:05.81 aqPKTtus.net
小平邦彦が自分を運慶になぞらえたのかは不明だけど、そうだとしたらかなりイヤミだし違うと思う。
夏目漱石「夢十夜」の第六夜の最後の部分を抜粋する。
「はたしてそうなら誰にでもできる事だと思い出した。
それで急に自分も仁王が彫ってみたくなったから見物をやめてさっそく家へ帰った。
自分は一番大きいのを選んで、勢いよく彫り始めて見たが、不幸にして、仁王は見当らなかった。
その次のにも運悪く掘り当てる事ができなかった。三番目のにも仁王はいなかった。
自分は積んである薪を片っ端から彫って見たが、どれもこれも仁王を蔵しているのはなかった。
ついに明治の木にはとうてい仁王は埋っていないものだと悟った。
それで運慶が今日まで生きている理由もほぼ解った。」

117:１３２人目の素数さん
18/08/11 23:51:21.87 aqPKTtus.net
夏目胆石「夢十一夜」
「はたしてそうなら誰にでもできる事だと思い出した。
それで急に自分も定理が証明してみたくなったからさっそく家へ帰った。
自分は一番大きい『リーマン予想』を選んで、勢いよく彫り始めて見たが、不幸にして、仁王は見当らなかった。
その次の『ポアンカレ予想』では運良く掘り当てる事ができた。
そこで2002年に論文を送ったのだが、証明の検証の際に、シン＝トゥン・ヤウたちは自分たちが最終的解決をしたかのような論文を提出した。
ぼくは人間不信に陥り、2006年のフィールズ賞が贈られたときも受賞を辞退した。
いまは毎日きのこを採集して暮らしている。」

118:１３２人目の素数さん
18/08/12 00:00:38.40 +PyPCiU/.net
本当の研究者相手なら
下らない「哲学、文学」する暇があったら研究しろ！
と言う所だ。
けど、憧れだけで、理解力も研究する力もない素人が、
分かったつもり、研究者になったつもりになって
楽しむ娯楽だから放置。
妄想を拗らせてプロの学者になったと勘違い、
変な論文擬きを学会に送りつけるのは止めてくれ。

119:１３２人目の素数さん
18/08/12 01:08:48.20 OmjNyoh1.net
>>114
??

120:１３２人目の素数さん
18/08/12 01:20:49.75 tXmj9+wU.net
>>111
もっと昔にミケランジェロ辺りも言っているよ。
すぐに思い出せないけど、似たようなことをいろんな人が言っている。

121:１３２人目の素数さん
18/08/12 01:54:48.98 fj2vnC7N.net
俺が通ってる美容師も似たようなこと言ってるよ
ハサミの力で髪を掘り出すんだと

122:１３２人目の素数さん
18/08/12 02:51:40.54 A3e96+Zw.net
なんかポエマー人文が一人興奮してる

123:１３２人目の素数さん
18/08/12 03:05:22.96 OmjNyoh1.net
数学の話しようよ
俣野博先生、ダンディでカッコ良すぎでしょ
URLﾘﾝｸ(www.youtube.com)
URLﾘﾝｸ(www.youtube.com) （ゲスト Louis Nirenberg）
常微分方程式入門―基礎から応用へのオンデマンド化が残念です

124:１３２人目の素数さん
18/08/12 05:53:47.36 A3e96+Zw.net
大昔にマタノちゃんほざいてた人か
遠山啓ネタ振ってた奴もなんかオブジェクト指向とか言い出すし

125:１３２人目の素数さん
18/08/12 12:50:37.63 +eDtQ+oH.net
最近はちゃんとした数学者で、一般向けの
本を書く人がいない気がする。
一世代に何人かは、そういう人にもいて欲しい。
桜×進では完全な素人だしなぁ。

126:１３２人目の素数さん
18/08/12 13:55:19.60 LUuo7PCq.net
>>120
圏論活用のプログラム意味論の文献紹介してもええんやで

127:１３２人目の素数さん
18/08/12 14:31:04.05 WD9fIJ7x.net
>>121
>>122
よそでやってくれ

128:１３２人目の素数さん
18/08/12 15:06:21.13 hxsfTKrm.net
>>122
一般的ではないだろ…

129:１３２人目の素数さん
18/08/12 16:04:12.51 lwgDlbqX.net
James R. Mnukres著『Analysis on Manifolds』を読んでいます。
この本の説明は素晴らしく分かりやすいです。
ですが、演習問題の質が悪いように思います。
例えば、
Show that the function f(x, y) = |x*y| is differentiable at 0, but is not of class C1 in any neighborhood of 0.
という問題ですが、
0 の近くで f の偏導関数自体が存在しません。

130:１３２人目の素数さん
18/08/12 16:20:33.76 JDEkXEzR.net
「きれいなことば、きれいなこころ
　大切にしよう
　AC JAPAN　」
こういう広告が放映されてるのにここにもひどい人がいるな。
いじめ、セクハラ、パワハラ、アカハラ、人種差別。どれも犯罪です。

131:１３２人目の素数さん
18/08/12 16:59:14.79 Dslozx3J.net
京都人みたいな綺麗なイヤミ吐くようになったらまあ人間として終了済みだな
本人に真っ向からダメ出しする方が遥かにマシ

132:１３２人目の素数さん
18/08/12 17:15:06.00 GhtpkIOj.net
>>127
森毅のエッセイでも読んどけ。
あの人は関東出身だぞ？

133:１３２人目の素数さん
18/08/12 17:20:46.95 GhtpkIOj.net
ところで、このスレって統計学（実験計画法）とかゲーム理論とかの
関連書籍って、挙げていいのかな？
どこまでを「数学」に含めるかっていう話をすると、
「純粋数学」と「応用数学」で対立する部分があると思うんだが。
たとえば、『確率論とその応用』とかは入れていいのかな。

134:１３２人目の素数さん
18/08/12 17:38:39.68 XvIjpWEB.net
別に厳格な定義はないし、個々人が何となく集まってるだけ。
そんな事言ったら数学基礎論、情報数理はどうなるのってことだし

135:１３２人目の素数さん
18/08/12 17:41:44.31 CvgmUOFR.net
>>129
情報板へ

136:１３２人目の素数さん
18/08/12 17:42:41.89 CvgmUOFR.net
>>130
基礎論は専スレへ

137:１３２人目の素数さん
18/08/12 17:48:01.63 S5XH9MZn.net
昔kingって人が数板を盛り上げていたようだが
もう引退して来ないようだな

138:１３２人目の素数さん
18/08/12 17:51:43.93 GhtpkIOj.net
>>131 >>132
無精しないで誘導くらいしてくれよ。
自分でスレ立てても乱立するばっかりじゃねぇか。

139:１３２人目の素数さん
18/08/12 18:05:35.97 CvgmUOFR.net
>>134
情報学
URLﾘﾝｸ(rio2016.5ch.net)
プログラム
URLﾘﾝｸ(mevius.5ch.net)
数理論理学（数学基礎論）　その13
ｽﾚﾘﾝｸ(math板)

140:１３２人目の素数さん
18/08/12 19:00:56.11 GhtpkIOj.net
>>135
ありがとう。
とはいえ基礎論スレはともかくとして、
ム板は荒れてるし（つーか、おれはいろいろ迫害されてるし）
情報学板も、なんか荒んでるみたいだし、
けっこうハードルっつーか敷居が高ぇよな？
フツーに応用数学系（教養課程終わって専門課程の
入口に立ったくらいの学生が来そうなスレ）っつったら
どこへ行ったらいいんだ？

141:１３２人目の素数さん
18/08/12 19:24:21.76 veEH7y0r.net
応用数学だろうが、情報数学だろうが
数学書なら何でもここでも扱う
書くな言っとるのは只のワガママ

142:１３２人目の素数さん
18/08/12 20:03:30.38 GhtpkIOj.net
>>137
おう、(ﾟ∀ﾟ)人(ﾟ∀ﾟ)ﾅｶｰﾏ

143:１３２人目の素数さん
18/08/12 21:50:11.04 lwgDlbqX.net
杉浦光夫著『解析入門I』を読んでいます。
p.196に冪函数 x^a が登場します（登場するのは例の中ではない）が、それ以前に
一般の冪について何の説明もありません。
一般の冪は、p.198に書かれています。

144:１３２人目の素数さん
18/08/12 23:50:36.09 6b7EAkxa.net
>>136
最後に一言、甘えんなよ、さようなら

145:１３２人目の素数さん
18/08/13 14:47:28.41 w7EUKRC1.net
>>129
> ところで、このスレって統計学（実験計画法）とかゲーム理論とかの
> 関連書籍って、挙げていいのかな？
もちろん構わないよ
スレのタイトルは「数学の本」であって「純粋数学の本」ではないからね

146:１３２人目の素数さん
18/08/13 15:26:05.65 LxH4QRdT.net
>>141
じゃあ、（>>140 に「甘えんなよ」とか叱られてるけど）お言葉に
甘えて、ゲルファント（他。坂本實訳）の『座標法』（ちくま学芸文庫）。
「あー、癒されるわー」ってな感じなので、金と暇があったら
温泉地（つーか湯治場）にこの本と計算用紙とノート持ってって、
一か月くらい籠ってたいわー。

147:１３２人目の素数さん
18/08/13 15:35:14.07 LxH4QRdT.net
>>139
そんなこと言ったって、「そのあたりは勉強しといてくれ」
っちゅー話なんじゃないの？
早稲田の筧先生の研究室にお邪魔したときに、なんか
学生が二人してホワイトボードの前で苦しんでいたので、
「これって、スターリングの公式を使っちゃだめなんですか？」
と筧先生に訊いたら、「スターリングの公式を使わないで
解けって言ってんだよっ！」と、あの温厚な筧先生に
叱られてしまいました (T_T)。
で、あとで学生に「あのぉ …… 先輩の方ですか？」と
訊かれて、「いえ、一介の市井のプログラマです」と
言い去って帰ってきた。

148:１３２人目の素数さん
18/08/13 20:50:40.62 E4aencw0.net
プログラミングとかもう別板・別スレでやってよほんとに
何度も言うけど頼むよほんと

149:１３２人目の素数さん
18/08/13 21:38:05.02 n/dAJZvc.net
>>144
言うほどレスは多くないんじゃない？
話題になりかけるけど、君みたいな人が出てきて話が進まないからね

150:１３２人目の素数さん
18/08/13 22:09:58.40 sJhf9zxU.net
算数と雑談スレにスレタイ変えようか？

151:１３２人目の素数さん
18/08/14 07:03:48.16 J6XyTMIu.net
>>143
>>145
はいはいこっちこっち
URLﾘﾝｸ(rio2016.5ch.net)
ルベーグや関数解析きちんと会得したツワモノならここで語ってよし
まあそんなプログラマ皆無でしょう

152:１３２人目の素数さん
18/08/14 08:47:49.54 9oguLQGz.net
え？数学的思考力ってプログラミングの領域で生かせらレるんだがCやJavaの入門書ぐらいはやってるよな？

153:１３２人目の素数さん
18/08/14 08:55:59.17 uRfTlc4z.net
プログラミングをCやJavaに短絡する香具師は
定理証明機を触ったこともない階層なんだろ
その程度が知れるねぇｗ

154:１３２人目の素数さん
18/08/14 09:41:24.08 SuyzYE1p.net
>>148
アルゴリズムの記述は ALGOL とか
数値計算だと Fortran とか
ホーン節の論理だと Prolog とか
言語っちゅーのとは違うけど数式処理だと
MatheMatica とか
いろいろ歴史的な経緯がある。
C はシステム記述用で、マシンの性能を引き出すのに
好都合なので、有限組合せ数学とかを
ゴリゴリ計算するのによく使われた。
Java は C より見通しがいいんで、
ちょこちょこ数値実験に使われたりする
グラフィクスが充実してるんで、
マンデルブロ集合やジュリア集合の
描画にも使えて便利だけど、
中学・高校あたりの数学教育で数値実験に使うん
だったら BASIC が便利かもしれない。

155:１３２人目の素数さん
18/08/14 09:46:57.85 SuyzYE1p.net
>>147
> まあそんなプログラマ皆無でしょう
皆無ではないが、かなり少ないのは確かだな（笑）
ＬＩＳＰハッカーで、「日本のストールマン」と
呼ばれた竹内郁雄先生は東大の数学科出身で、
たしか竹内外史先生と同年度なので、
「ダメなほうの竹内」と呼ばれていたと
エッセーに書いていらっしゃった。

156:１３２人目の素数さん
18/08/14 09:57:54.46 87c8hBEg.net
>>150
学校の授業でBasicやLisp、Prolog触ったことはあるけど、正直あんなもののどこが役に立つんだって言う印象のまま終わった
Javaに追加されるライブラリだけじゃダメなものなの？

157:１３２人目の素数さん
18/08/14 10:02:23.65 87c8hBEg.net
>>149
定理照明器がCやJavaとは違った何か特別な事ってアるん？

158:１３２人目の素数さん
18/08/14 10:14:51.92 SuyzYE1p.net
>>152
BASIC（パソコン用じゃなくてオリジナルの方）は
行列式が扱えたので非線形多元方程式で記述される
システムの数値計算、
LISP は数式処理、
Prolog は定理証明に使われたことがある。
いちいち Java を使うより、問題向き言語やら
使いやすいアプリやらがあるから、そっちを
使ったほうが楽だよ。プログラミングが好きなら、
また別だけど。

159:１３２人目の素数さん
18/08/14 10:22:18.25 SuyzYE1p.net
>>153
読みやすさと直観的な解りやすさ。
同じことはアセンブラでも C でも書けるけど、
書いた本人でもなきゃ読んでわからん。
Java は C よりわかりやすいが、
たぶん数学屋が求めているのとは
別の種類の “わかりやすさ” だ。
あとは、定理証明系や将棋プログラムや
自然言語処理系は、中で疑似超並列処理を
行なってるのが違いっちゃあ違いかな？
つまり、処理の対象が有限束みたいな
構造を持ったデータだという違いがある。

160:１３２人目の素数さん
18/08/14 10:59:38.00 uRfTlc4z.net
CSの授業でもやると思うんだけど少し歴史をおさらいしよう。以下、長いので２回に分ける。
微積分や複素解析の発展とともに解析の基礎が数学の大きな問題となった時期があった。
その時期に活躍したのがデデキントとカントールだ。デデキントはまず実数をデデキント切断を導入して定義し、
続いて整数を公理論的に定義した。この時、五つほどの公理から推論されるように定義した。
この定義には無限集合という罠があることがカントールから指摘され、集合論を厳密に定義することが問題になった。
これに答えたのがフレーゲやラッセルだった。
ラッセルはプリンキピア・マセマティカのなかで算術を説明するためにΛ「ラムダ」記号を導入した。
このラッセルの仕事を受けてゲーデルが不完全性定理を証明した。
この仕事でゲーデル独特の定理証明機とゲーデル数による計算可能関数を導入している。
さらにゲーデルの仕事を受けて、アロンゾ・チャーチとチューリングが登場する。
チャーチはラッセルのΛをさらに洗練させたラムダ算法を構築してλ記号を導入し、
ゲーデルの計算可能関数がλ記述可能関数と同等であることを示した。
チューリングはチューリング機械を導入して、ゲーデル＆チャーチと同様に
計算可能関数が再帰関数と同等であることを示し、チューリング完全という概念を得た。
今日の一般的なプログラミング言語はチューリング完全で、ゲーデル＆チャーチ＆チューリングの仕事を基礎にしている。

161:１３２人目の素数さん
18/08/14 11:00:35.52 uRfTlc4z.net
戦後にはコンピュータが発展するとともに、ソフトウェアも高級言語が開発された。
ダイクストラがチューリングの手法を発展させて手続き型言語の先祖にあたるALGOL60を開発するとともに、アルゴリズムを発展させた。
またブルックスらがALGOLを発展させたFortranで初めてコンパイラを手動で書き上げた。
このFortranを簡易化して出来たのがBasic言語だ。
一方、ジョン・マッカーシーは、チャーチのラムダ算法を発展させたラムダ関数の理論を基礎に持つLisp言語を開発した。
このLispからはカール・ヒューイットのPlannerや論理型のPrologが派生した。
ケン・トンプソンとデニス・リッチーはC言語とUNIXを導入して汎用OSと記述言語の基礎を作った。
さらに時代が下るとXerox Parcのアラン・ケイがSmalltalk言語を開発してオブジェクト指向を発展させた。
最後に関数型言語が発展する。特に四色定理の証明に使われた定理証明機Coqの基盤となったOCaml言語やHaskell言語が有名。
最近ではLisp系のACL2や入門用に簡易化したJ-Bobなんかもよく使われている。
ざっと流れを書いたが、細かい間違いもあるかもしれない。請寛恕我的罪。

162:１３２人目の素数さん
18/08/14 11:13:08.46 uRfTlc4z.net
>>153
Javaだって最近になってLambda関数は導入されたから、SchemeのminiKanrenが容易に移植できた。
しかし、今の所はJavaで定理証明はまだ出来ない。
そのうちJavaで定理証明が出来るようになるまでここが最大の違い。
なぜってプログラムの関数を定理証明しながら書けば、間違いなくバグフリーだから。
古い言語の最大の弱点だろうね。

163:１３２人目の素数さん
18/08/14 11:17:59.90 uRfTlc4z.net
ちなみにJavaでも一階述語論理の定理証明までならleanTAPを移植したものが存在する。
興味があれば見てみると勉強にはなると思う。

164:１３２人目の素数さん
18/08/14 11:35:22.50 qwqstmos.net
☆荒らしはスルーしましょう、煽りにのらないように
☆NGの方法
ID 87c8hBEg をコピー、
専ブラのツール--->設定--->MGIDを選択しIDを入力欄にペーストし追加を押してOKする
一度このスレを閉じて再度開けばあぼーんできる

165:１３２人目の素数さん
18/08/14 11:55:53.57 uRfTlc4z.net
チューリング完全という概念が広く知られるようになると、「人間はチューリング機械か？」という人が生物系の研究者からで始めた。
これが大量のDNA解読の時期と重なっていたことが幸いして、DNAコンピュータが発展した。
1994年にエーデルマンは初めてDNA鎖を用いて、NP完全な問題「ハミルトン路問題」を解いた。
こうしてDNAコンピュータがチューリング完全であることが明らかになり、「人間はチューリング機械か？」は肯定的に解決された。
物理系では量子コンピュータが飛躍的に発展しつつあり、定理自動証明機も急速に発展しつつある。
この流れで一度は細分化された科学が、理論面では再び統合の方向へ向かい始めている。
チューリングやノイマンのように実験技術も兼ね備えた数学者が活躍する時代なのかもしれない。

166:１３２人目の素数さん
18/08/14 12:17:06.27 2ul8eX+T.net
>>161
＞チューリングやノイマン
＞活躍する時代
いずれも大戦期に活躍した人だと考えるのですが？

167:１３２人目の素数さん
18/08/14 13:30:23.58 SuyzYE1p.net
>>156
全く無問題。
むしろ、「ツッコミどころ満載」のほうが
おいしいのだが、コンパクトにまとまってて
ツッコミどころが少ないので、
「お前は教科書でも書けや (-_-!)」つーくらいの
仕上がり。

168:１３２人目の素数さん
18/08/14 13:38:06.28 SuyzYE1p.net
>>162
第二次世界大戦当時は、全面戦争（軍産学一体）だったので、
わりと学問的な資源が潤沢だったのよ。
チューリングはドイツのエニグマ暗号や日本軍のパープル暗号の解読、
ノイマンやファインマンや BASIC 言語を開発したケメニーと
カーツはマンハッタン計画に関わっていた。

169:１３２人目の素数さん
18/08/14 13:47:07.12 SuyzYE1p.net
>>162
フェラーの『確率論とその応用』だと、
「ロンドンの市街地に落ちた、ドイツの V2 号
ミサイルは、ポアソン分布になっている」みたいな
話が出てくる。
ゲーム理論とかシステム解析の分野だと、
「突っ込んでくるカミカゼ・アタックに対する
防御は、回避運動するのと対空攻撃をする（回避運動をすると
命中精度が下がる）のとどっちがいいか？」みたいなのが
発祥になっている。
「ランチェスター法則」とかでググってみ？
線形一次微分方程式あたりの話題はいろいろ出てくるから。
「トラファルガルの会戦」とか「硫黄島の攻防」とかも、
わりと線形で二次以下の微分方程式で、近似できるから。

170:１３２人目の素数さん
18/08/14 13:51:03.49 SuyzYE1p.net
おまいら（笑）。ここは「数学の本」スレなんだから、
元の文献へのインデックスをちゃんと晒せよ (w
荒らし認定されても知らんぞ？（笑）

171:１３２人目の素数さん
18/08/14 14:11:25.57 20znoLay.net
>>148-159
プログラミングの話や単なるプログラミング言語の話は完全にスレ違いです。情報学板かプログラム板でやって下さい。
数学板でならば最低でもプログラムに関する数学的な基礎理論の話題に関するものにして下さい。
またこのスレはスレタイで明らかなとおり「数学の本」に関するものなので
プログラミング言語に関する数学的な基礎理論の本を具体的に挙げるか質問するカキコでなければスレチです。
具体的な本を挙げずに数学的な基礎理論そのものについての議論は数理論理学（数学基礎論）スレで行って下さい。

172:１３２人目の素数さん
18/08/14 14:26:56.32 UxK7fHqj.net
下らない感想、文学を長々とアホ臭。
計算機ネタ書くのなら、Mathematicaによる古田不等式の発見過程のような数学の研究に役に立つことを書け。
その内容では、数板に書くなと言われても仕方がない。
書けない理由ははっきりしている。
数学が分からない、計算機を数学の研究に応用していないからだ。

173:１３２人目の素数さん
18/08/14 15:08:00.28 2B03pWj6.net
>>151
>ＬＩＳＰハッカーで、「日本のストールマン」と
>呼ばれた竹内郁雄先生は東大の数学科出身で、
>たしか竹内外史先生と同年度なので、
>「ダメなほうの竹内」と呼ばれていたと
>エッセーに書いていらっしゃった。
どうでもいいけど、いくらなんでも外史さんと同級ではないだろう
多分、筑波で代数の教授をやってた代数群の専門家が同級ではあったと思うが

174:１３２人目の素数さん
18/08/14 15:18:53.31 7Ak8Eky0.net
Haskell ってどうですか？

175:１３２人目の素数さん
18/08/14 16:34:51.83 SuyzYE1p.net
>>169
知らんけど、数学関係で「竹内」さんていうと他に思いつかなかった。
たしか、郁雄先生がネット上のエッセイで書いていらっしゃったから、
検索すれば、わりと簡単にヒットすると思う。

176:Mb
18/08/14 16:48:11.21 SuyzYE1p.net
>>16

177:8 ほーら言われちゃったい（笑）気持ちはわかるので遠慮はしているのだが、プログラムの証明論とかいう話になると文献が少ないんだよな (-_-!) 『コラッツ予想がとけたらいいな　その2 』（ttps://rio2016.5ch.net/test/read.cgi/math/1525957823/）とかに行くと、コンピュータによる定理証明系に強そうなヒトがいるんで、行って頭下げとくと後生がいいぞ。

178:Mb
18/08/14 16:51:55.30 SuyzYE1p.net
>>168
> 下らない感想、文学を長々とアホ臭。
> その内容では、数板に書くなと言われても仕方がない。
便所の落書きに、おまいは何を期待してるんだ（笑）
> 計算機ネタ書くのなら、Mathematicaによる古田不等式の
> 発見過程のような数学の研究に役に立つことを書け。
だったらお前が書けよ。

179:１３２人目の素数さん
18/08/14 20:58:49.09 7Ak8Eky0.net
アマゾンのマーケットプレイスに最安値で出品すると、しばらくするとかならずそれよりも少し安い値段に
修正していくる人がいますね。
自分が安く買いたい中古本があったら、持ってもいないのに、最安値で出品すると安く買えますね。

180:１３２人目の素数さん
18/08/14 21:48:20.11 OaM7Gsgs.net
>>174
それでもし注文が入ったらどうすんねん、お前

181:１３２人目の素数さん
18/08/14 21:49:33.88 OaM7Gsgs.net
>>174
で、最安と誤解させるために本体商品を安くして置いて、送料を値上げするやり口もあるやん

182:１３２人目の素数さん
18/08/14 22:02:14.30 7Ak8Eky0.net
>>175
アマゾンマーケットプレイスは簡単にキャンセル処理ができます。

183:１３２人目の素数さん
18/08/14 22:51:31.13 ETmhxJTr.net
論文書かないとなぁ。

184:１３２人目の素数さん
18/08/15 00:48:29.67 bHPJBKJ+.net
>>167-168
完全同意
ここを荒らされることよりも、情報系の人がわざわざここに書きたがる動機が見え透いてうんざりする
プログラミング？プログラマ？興味ねーよ

185:１３２人目の素数さん
18/08/15 02:29:49.17 TRuaSzbw.net
中古本もかつてに比べると高くなった感がある
転売屋が釣り上げているのだろう
それだけ売れるということでもあるが

186:１３２人目の素数さん
18/08/15 02:31:38.69 TRuaSzbw.net
書きこみがあっても平気で高い値段をつけてくるとか、悪徳な業者も散見される

187:１３２人目の素数さん
18/08/15 08:05:12.83 twnJKKaz.net
ソフトウェア界隈で、数学ポエム語って知ったかするのが流行ってるからw
川上量生カドカワ社長「数学を諦めることは人生を諦めることと同じ」
URLﾘﾝｸ(www.google.co.jp)
無能経営の川上キモ杉オエ～

188:１３２人目の素数さん
18/08/15 09:03:23.90 SQV3T5wE.net
結城浩さんについてはどうですか？

189:１３２人目の素数さん
18/08/15 09:06:58.94 2117hSpy.net
>>179 >>182
一松信・戸川隼人『数値計算における誤差』
プログラミングのできない数学屋は
数学のできるプログラマと
プログラミングのできる数学者の間で板挟み

190:１３２人目の素数さん
18/08/15 09:16:31.38 2117hSpy.net
結城さんは数学好きではあるが、
数学屋ではなくて Java プログラマだから、
数学好きをマニアにするのと
数学嫌いになるのを防止するのには貢献してるが
いまひとつ食い足りない部分はあると思う。
遠山啓先生の『初等整数論』とかから
入ったほうが、数学マニア（のタマゴ）にとっては
早いようにおもう。
コンピュータ屋だったら、森口繁一先生の
『計算数学夜話 ― 数値で学ぶ高等数学』とかかな。
一松先生の『教室に電卓を！』もいいけど。

191:１３２人目の素数さん
18/08/15 09:21:14.73 Qe3dtYEc.net
>>184
雑談スレでやれ

192:１３２人目の素数さん
18/08/15 09:36:00.34 Oq857wIG.net
数学は簡単だからなあ
記号の操作だけやってればいいんだから
他のことなんか考えたくないんだよ
で、このていたらく
論文も書けないくせに
コネで教員になろうとしてるクズが
まあ、文句言う言う
ホントのクズだな
そういうクズは悪口いいふらして
教員の職につけなくしてやればいいんだよ
まあでもプログラミングなんてのは別物だから、
数学板にこないで欲しいが、
レス乞食のおじさんだということはわかっているから
無視すべきだろう
反応すべきではない。
>>186
条件反射で反応するな馬鹿たれが！
悪口流してるからお前はもうパーマネントの教員にはなれない。
せいぜい論文を書いてみろやクズ！
正体バレバレだぞクズ！

193:１３２人目の素数さん
18/08/15 09:36:43.53 2117hSpy.net
数学の本じゃん。

194:１３２人目の素数さん
18/08/15 09:42:09.83 Oq857wIG.net
５ｃｈに書くときには
後ろからのぞかれないようにしろやクズが！
ということ
もうみんな知ってるから
かわいそうｗｗｗ

195:１３２人目の素数さん
18/08/15 09:48:43.87 2117hSpy.net
>>187
> まあでもプログラミングなんてのは別物だから、
こっちも数学なんて畑違いだが、
道具として使いこなしくれれば仕事冥利だ。
「数学者が何を考えているか」くらいは
知っときたいじゃないか。
> 数学板にこないで欲しいが、
そんなに邪険にすんなよ（笑）
お施主様は数学者でも、
大工がいなきゃ家も建めぇ。
TEX が無かったら論文書くときに
不便だろ？（w

196:１３２人目の素数さん
18/08/15 10:18:12.22 Oq857wIG.net
>>190
なるほど、数学コンプなのか。
プログラミングが数学と関係あると思いたいんだな？
なぜそう気にするんだ？
自分は天才だとか思ってるわけか。
そういう奴は何をしてもダメだぞ？
謙虚な気持ちになって、普通にやれ。
つかTEXなんか持ち出すな。
おれはTEXは大嫌いだ。

197:１３２人目の素数さん
18/08/15 12:26:37.24 2117hSpy.net
>>191
> なるほど、数学コンプなのか。
> プログラミングが数学と関係あると思いたいんだな？
べつに数学に対して、特に劣等感（インフィリオリティ・
コンプレッスス）とか持ってねーし。
じゃあ、「コンピュータ抜きで四色問題が解決できたか？」って
話。魔円陣（完全ゴロム環）だって、「Make 10」問題だって、
「絶対にコンピュータに頼らないで解決しなきゃいけないんだー！」
みたいなことは、普通は言わんだろう。

198:１３２人目の素数さん
18/08/15 12:42:58.78 1l2lGJfg.net
なにこの理科大臭

199:１３２人目の素数さん
18/08/15 13:20:59.51 2117hSpy.net
>>193
そういや理科大の物理ってコンピュータ業界多いよな。
安倍直人先生も理科大だっけ？

200:１３２人目の素数さん
18/08/15 13:28:14.39 2117hSpy.net
>>191
> そういう奴は何をしてもダメだぞ？
> 謙虚な気持ちになって、普通にやれ。
古典論理の範疇では、
「何をしてもダメ」なんだったら、
「謙虚な気持ちになって、普通にやってもダメ」
が帰結されそうに思うんだがどうだろう。
古典論理なのか様相論理なのか、そのあたりは
厳密に区別してほしいと思う。

201:１３２人目の素数さん
18/08/15 13:32:46.08 SQV3T5wE.net
Theorem 7.4.
Let A be open in R^n; let f : A -> R^n; let f(a) = b.
Suppose that g maps a neighborhood of b into R^n, that g(b) = a, and
g(f(x)) = x
for all x in a neighborhood of a. If f is differentiable at a and if g is differentiable at b, then
Dg(b) = [Df(a)]^(-1).

202:１３２人目の素数さん
18/08/15 13:42:42.50 SQV3T5wE.net
↑は、 James R. Munkres著『Analysis on Manifolds』に書いてある定理です。
なぜ↓のように書かなかったのでしょうか？
Let A be open in R^n.
Let f : A -> R^n.
Let B be open in R^n.
Let g : B -> R^n.
Let a ∈ A.
Let b ∈ B.
Let f

203:(a) = b. Let f be differentiable at a. Let g be differentiable at b. Let g(f(x)) = x for all x in a neighborhood of a. Then, Dg(b) = [Df(a)]^(-1).

204:１３２人目の素数さん
18/08/15 14:15:43.79 Oq857wIG.net
>>195
会話には背景があるんだよ。
勉強してないから知らないんだろうが。
もちろん数学にも背景があるし、
語られない暗黙の了解がある。
わかるか？
馬鹿だからわからんかなあ。
数学の研究者になるのは無理だからあきらめろ坊や

205:１３２人目の素数さん
18/08/15 14:32:31.65 OB9q54g0.net
>>197
そういうのっていつも思うけど、A,ｆに関する設定･仮定を一通り述べ終わってから、B,gに関する設定･仮定を述べろよって思うよな
で、一般論として
　　　ｂ∈Bとし、f(a)=bが成り立っているとする
というより、
　　　b := f(a) ∈Bとする
って言えよっていつも思いながら、そういう文章読んでる

206:１３２人目の素数さん
18/08/15 14:40:49.02 7wLXI4Pw.net
>>196-199
質問スレ逝けよ池沼

207:１３２人目の素数さん
18/08/15 14:41:52.31 fZEnoTKx.net
京大理学部の「解析学I」「解析学II」の参考書・教科書って何が指定されているか、誰か教えて下さい

208:１３２人目の素数さん
18/08/15 15:03:57.91 fU+iPnEC.net
>>184
数値解析の本も、プログラミングなんてせずに、手計算しながら読んでみると面白いと思うぞ。
そもそも、プログラミングや計算機の使用には電力が必要になるだろ。

209:１３２人目の素数さん
18/08/15 16:01:50.90 2117hSpy.net
>>198
じゃあ、おまえ論文に証明書かずに「自明」って書いて出すのかよ。
で、査読で落とされて、
> 馬鹿だからわからんかなあ。
で、「結果が正しいんだから掲載しろ！」っつってゴネるのかよ。
デカルトの『方法序説』とか読んでみ？
「馬鹿でもわかるように説明する」っつーのが「証明」
じゃねぇの？　「知性は万人において平等である」っつーのが
数学じゃねぇの？　おまえ、ユークリッド以来の構成主義の
数学を全否定すんの？
まぁ、おれらシステム屋は、出した結果が数学的な予想と合致してりゃ
いいんで楽っちゃあ楽なんだがな（笑）

210:１３２人目の素数さん
18/08/15 16:13:10.89 2117hSpy.net
>>202
ガウスの時代だったら、それが正統派だと思うんだが、
うちらはパスカルの「パスカリーヌ」とかジョン・ネイピアの
「ネピアの骨棒」（つーても九九表と変わらんので、日本人には
ありがたみが少ないんだが）とか対数表とかチャールズ・バベッジの
階差機関とか CORDIC とか知ってるんで、「手計算」っつっても
ソーラパワーの関数電卓とかは使ってもいいんだよな？
一松信先生の『初等関数の数値計算』とかも、一応読んでるんだが。

211:１３２人目の素数さん
18/08/15 16:37:30.99 7teEzIYd.net
>>68
実質的に自費出版ビジネスだな

212:１３２人目の素数さん
18/08/15 16:46:13.82 7teEzIYd.net
>>171
竹内郁夫は柏原正樹と同期だぞ

213:１３２人目の素数さん
18/08/15 18:07:17.72 z3F3ZMUh.net
両者を比較すると月とスッポンw
やっぱソフトウェア粕は三流
ここでポエムってる奴は更に酷いがwww

214:１３２人目の素数さん
18/08/15 18:10:28.58 z3F3ZMUh.net
>>182
明らかに数学コンプ。
ゝバンクの禿もそうだけど自分にアップルのジョブス
のようなカリスマも才能も無いもどかしさから、
経営なのに数学出来る、分かると言いたげ。

215:１３２人目の素数さん
18/08/15 18:34:32.12 2117hSpy.net
おまいら（笑）「数学の本」の話がどっか行っちゃってるぞ (w
ちょっと燃料足しとこう。
ルイス・キャロル／柳瀬尚紀『不思議の国の論理学』。
そういえば、数学とは関係ないけど、

216:ゲーバー本もマンザイ本も、まだ売ってんのな。こないだ新聞広告みてびっくりした。

217:１３２人目の素数さん
18/08/15 18:40:53.19 7wLXI4Pw.net
>>202-208
雑談スレ逝け

218:１３２人目の素数さん
18/08/15 18:42:47.54 7wLXI4Pw.net
雑談はここにかけ！【54】
URLﾘﾝｸ(rio2016.2ch.sc)

219:１３２人目の素数さん
18/08/15 18:45:06.53 2117hSpy.net
>>206
ゴメン。検索してみたら、
> 実際、数学科の同期に竹内光弘さんがいて、
> 彼は「できる竹内」と呼ばれ、私は「普通の竹内」ならよかったのだが、
> 対照性を尊重して「できない竹内」と呼ばれていたのであった。
というのが正しかった m(_ _)m

220:１３２人目の素数さん
18/08/15 18:53:05.17 2117hSpy.net
竹内光弘さんの本って読んだことがないんだよな。
線形代数っていうと、森毅さんの『線型代数 ― 生態と意味』っていう
印象があるからなぁ。あの本は遠山啓さんの『微分と積分 ― その思想と方法』の
アンサーソング的なところもあるし、そっちに思いいれがあるから、
わざわざ読み比べてみようと思ったことがない。
アプローチとして、どのあたりが違うのかな？

221:１３２人目の素数さん
18/08/15 19:06:53.20 SQV3T5wE.net
James R. Munkres著『Analysis on Manifolds』を読んでいます。
やっと逆関数定理のセクションまで進みました。
なぜ、日本語の本で、このような本がほとんどないのでしょうか？

222:１３２人目の素数さん
18/08/15 19:12:12.86 7wLXI4Pw.net
>>214
質問スレ逝けよ池沼
分からない問題はここに書いてね445
URLﾘﾝｸ(rio2016.2ch.sc)

223:１３２人目の素数さん
18/08/15 19:18:54.41 0b53xbPk.net
俺最近このスレに来たんだけど>>214のアスペっていつ頃からここに住み着いてきたの？

224:１３２人目の素数さん
18/08/15 19:41:15.58 7wLXI4Pw.net
>>83
>>125
>>196-197
>>214
＞James R. Munkres著『Analysis on Manifolds』を読んでいます。
>>139
＞杉浦光夫著『解析入門I』を読んでいます。
杉浦光夫・解析入門Ⅰ・Ⅱ
ｽﾚﾘﾝｸ(math板)
スレを確認したところ、この池沼の活動は2016年から始まっている模様。

225:１３２人目の素数さん
18/08/15 19:44:55.93 SBcAyVXT.net
反応する奴も荒らし

226:１３２人目の素数さん
18/08/15 19:49:14.12 6iQieht7.net
2年経ってもまだ基礎解析レベルかよｗｗｗｗ
馬鹿だこいつ

227:１３２人目の素数さん
18/08/15 20:20:16.70 7wLXI4Pw.net
>>34
>>46
>>50-54
>>57
>>83
>>92
>>139
＞杉浦光夫著『解析入門I』を読んでいます。
この池沼の質問スレ誘導に協力してほしい

228:１３２人目の素数さん
18/08/15 20:22:23.07 U3g/+YBy.net
>>220
アンカを一挙に纏めたい時は
　>>34,46,50-54,57,83,92,139
　ｽﾚﾘﾝｸ(math板:34番),46,50-54,57,83,92,139
などとすればよい

229:１３２人目の素数さん
18/08/15 20:25:34.30 7wLXI4Pw.net
>>221
出来てないじゃんｗ

230:１３２人目の素数さん
18/08/15 20:34:21.73 2117hSpy.net
>>222
もう無視しとけ。
リチャード・ガイ／一松信『数論における未解決問題集』。
フェルマーの最終定理は解決しちゃったけど、
ゴルドバッハ予想とコラッツ予想は健在だぞ。
おまいら根性見せたらんかい！

231:１３２人目の素数さん
18/08/15 20:41:16.56 7wLXI4Pw.net
>>223
ヲマエ（Mb）も巣から出てくんな。自分で計算して根性みせろ
コラッツ予想がとけたらいいな　その2
URLﾘﾝｸ(rio2016.2ch.sc)

232:１３２人目の素数さん
18/08/15 20:50:55.22 SQV3T5wE.net
深谷賢治さんによると逆関数定理を完璧に理解できれば大学院レベルだそうですね。

233:１３２人目の素数さん
18/08/15 21:01:11.62 YJidtVMR.net
>>221
>>222
(笑)

234:Mb
18/08/15 21:05:47.49 2117hSpy.net
>>224
うるせぇな。いま自然言語処理系のドキュメントとソースをデータを
Eclipse 4.x に移植するんで悪戦苦闘してんだよ！
おまいらプログラミングとかプログラマーとか嫌いなんだろ？
こっちは今年の猛暑で青息吐息なんだよ。
涼しくなったらまた頑張るからそれまで待ってろ。

235:１３２人目の素数さん
18/08/15 21:18:41.86 SQV3T5wE.net
今、
A ⊂ R^n
A : open
f : A -> R^n
f : class C^1
Df(a) : non-singular
⇒
f : ある open cube C(a; ε) 上で単射
という補題の証明を読み終わりました。

236:１３２人目の素数さん
18/08/15 21:20:35.08 SQV3T5wE.net
なんか Munkres さんの本を読んだ後に杉浦光夫著『解析入門I』を読むと非常に優しい本であると感じますね。
数学の勉強法として、多少無理して、難しい本を読むという方法は案外いい方法かもしれませんね。

237:１３２人目の素数さん
18/08/15 21:50:48.67 DGHlat5K.net
>>222,226
は？
5ｃｈブラウザ使ってる？

238:１３２人目の素数さん
18/08/15 22:14:46.72 PJ9dZcFG.net
数学の本について相談したいことがあったんだけどここでしても無駄かな

239:１３２人目の素数さん
18/08/15 23:54:46.92 bHPJBKJ+.net
>>191がうまく纏めてくれた
>なるほど、数学コンプなのか。
>プログラミングが数学と関係あると思いたいんだな？
この二行に尽きるだろ
そこが見え見えで心底ウンザリする

関係ねーっつーのｼｯｼｯ ))ﾌﾟﾛｸﾞﾗﾏ

240:１３２人目の素数さん
18/08/15 23:55:21.29 bHPJBKJ+.net
>>231
どうぞ

241:１３２人目の素数さん
18/08/16 00:43:59.99 tdXj1HpZ.net
応用数学方面だけど伊理正夫さん亡くなったね

242:１３２人目の素数さん
18/08/16 01:56:05.67 d9u4rDZz.net
>>232
プログラミングは数学と関係あるよ。
LISPはチャーチのλ関数、関数型プログラミングはチューリングのチューリングマシンから発展している（らしい）。

243:１３２人目の素数さん
18/08/16 03:04:19.86 L9kE9Kg5.net
滝沢精二「多様体」（1971年, 筑摩書房）
最近の教科書と流れがぜんぜん違う。
Abel圏→加群→ホモロジー代数この順に道具を用意。
層→G-構造→バンドルの張り合わせ→多様体
幾何の黄金時代の教科書は一味違う。グロタンあたりを意識してるのかな。

244:１３２人目の素数さん
18/08/16 08:56:04.40 zTbqGQLh.net
>>232
計算論や形式言語、オートマトンは数学とプログラミングの中間辺りの学問だぞ

245:１３２人目の素数さん
18/08/16 09:06:56.98 uI5QkNJE.net
>>236
その本の巻末に参考文献として挙げられているやつだけど
GodementのTopologie algebrique et theorie des faisceauxや
FreydのAbelian Categoriesとか
に強く影響を受けたんだろう。
当時はハイカラだったフランス流の圏論的なやり方で教科書を書いてみたかったんでしょ。

246:１３２人目の素数さん
18/08/16 09:46:25.73 siFDFOBN.net
>>237
まぁ、「有限」に落ちっちゃった点で数学っぽくなくなるから、
嫌われる理由がないでもないと思ってる。
有限単純群の分類や四色問題なんかは、
なんか証明っぽくない感じがして嫌われそうだもんなぁ。

247:１３２人目の素数さん
18/08/16 10:16:11.04 QCjgO9M8.net
＞234
伊理正夫先生が逝去されましたか。
私が、ダイヤモンド社の『数理科学』編集者時代、
東大計数工学科の森口繁一先生の研究室や伊理正夫先生の
研究室にお邪魔して、原稿をいただいた思い出があります。
森口繁一先生は2002年に逝去され、今回も伊理正夫先生の
逝去の報に接して、感無量です。
どちらの先生も、難しいことを優しく解きほぐして解説してくださり、
しかも原稿用紙にきちんと書いてくださる、まことに編集者にとって
とても有難い先生でした。
お二人のご冥福をお祈りしています。

248:１３２人目の素数さん
18/08/16 10:48:23.84 GbAIDwkg.net
『線形代数汎論』は解きほぐして解説などしていませんよね。

249:１３２人目の素数さん
18/08/16 10:54:05.30 GbAIDwkg.net
現在我が国では（海外でも）「行列」，「行列式」，「線形代数」，等の言葉を本の表題あるいは一部の章の表題に
含む本は数え切れないほどある．そこに新たに一つを付け加えることにどれだけの意味があるか，疑問に思わ
れる方も少なくないかもしれない．しかし，私には，現存のそれらの本はどれも大同小異にみえる。やや暴言を
お許し頂ければ，怠惰な学生と広範囲の応用の経験に乏しいのに応用系の学生を教えなければならない教師
とに阿（おもね）るかのごとくに書かれた“分かりやすくて通り一遍の”教科書か，著者が“自分がどこまで抽象的
にしかも厳密に理解しているかをひけらかす”ような数学者のための数学専門書かのどちらかで，数学の利用者，
消費者をほとんど無視したものばかりのようである．私は，長年多くの応用分野で線形代数に関連した方法を
利用し，また不足しているところは必要に応じて自前で補ったりしながら数理工学的な研究を続けてきたものであるが，
現在遍在している上記のような本の著者達とは思い切って立場を変えて，利用者の観点からおよそ何かの役に
立ちそうなものを体系的に整理して一冊の本に纏めてみるのも無駄ではなかろうと常々考えていた．

250:１３２人目の素数さん
18/08/16 10:56:20.66 hp7VyYLL.net
やっぱり多様体の基礎がいいね。滑らかな場合に限定して薄くしてほしい。

251:１３２人目の素数さん
18/08/16 10:58:53.38 GbAIDwkg.net
伊理正夫さん関連の本では、リウの組合せ論の本の翻訳書が分かりやすいですね。

252:１３２人目の素数さん
18/08/16 10:58:54.59 7ocxqnC9.net
>>236 >>238
今の方が需要あるかもね
数理物理でだいぶ代数幾何めいたことやるようになってるから

次ページ