X
トップページ⇒数学
1002コメント302KB
【専門書】数学の本第76巻【啓蒙書】
レス数が950を超えています。1000を超えると書き込みができなくなります。
0001１３２人目の素数さん
垢版 |
2018/03/26(月) 23:40:16.58ID:d8tCdO2g
数学書やその周辺の話題について語りましょう。

荒らしや煽りは禁止。
見ている人を不快にさせる書き込みはひかえてください。
人としての基本的な礼節を守って、皆で楽しみましょう。

前スレ
【専門書】数学の本第75巻【啓蒙書】
http://itest.5ch.net/rio2016/test/read.cgi/math/1515687474
0889１３２人目の素数さん
垢版 |
2018/05/28(月) 15:44:35.58ID:6M1IqAEW
>>885
> 厳密に書いてあるから松坂君にもお勧め

解析学を厳密に展開しないと気が済まないのならば先ずは何をさしおいてもEdmund LandauのFoundations of Analysis, AMSChelsea（独語原書からの英訳版）を読むべきだね
因みにこのLandauさんは理論物理学教程で有名なLandauさん（どちらもファーストネームの頭文字はE）とは別人だよ

次に自分でこの本の内容をパソコン上で稼働する形式的証明チェッカー、例えばCoqとかの入力ソースを書いて掛けて形式化された証明を完全にチェックする
ここまでやれば現時点で現実的に到達可能な最高レベルの厳密さで書いた解析学の一番最初の基礎の部分が手に入れられる
数学を厳密にやりたきゃここまでやらないとね

逆に言えば定義・命題・証明すべてを完全に形式化してチェッカーにかけるのでなけりゃ、しょせんは「この本の書き方は厳密だ」とか「厳密じゃない」なんて言い争いは単なる子供の言葉遊び
数学ってその結果は演繹論理だけで組み上げられた科学（途中の「予想」とかはもちろん演繹論理じゃなくて帰納だったり仮説設定の賜物なんだが最終結果としての証明付の命題は演繹だけで組み上げられてるだろ）のプロが
「厳密」って言葉を言いたいならここまでやってこそ初めてその言葉を使う資格がある
0891１３２人目の素数さん
垢版 |
2018/05/28(月) 16:48:55.08ID:7DoP0x8Y
>>889

Landauのその英訳本は持っています。
古い本ですが今の本よりも厳密ということがあるのでしょうか？

齋藤正彦さんの本に、学生のときに受けた菅原という教授の講義は、ランダウの
本をベースにした講義で、厳密この上ないものだったと書いてありました。

Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化
萩原 学
固定リンク: http://amzn.asia/fist7au

↑この本ですが、予備知識を仮定しないと書かれているにもかかわらず、
意味不明です。

「型」とは何かがちゃんと分かるように書かれた本でおすすめの本は何ですか？
0892１３２人目の素数さん
垢版 |
2018/05/28(月) 17:21:29.97ID:AjHYoNbO
>>885
>厳密に書いてあるから松坂君にもお勧め
アレにはいい加減に書いてあるところがあり、決して簡単ともいえない。
特に self-contained に書いてある訳でもない。
まあ、内容を知りたいなら、一度見てみるといい。
現代的に見ると、実解析関係が少し弱く、やや関数解析よりに書かれていると思う。
もし、1970年近くから80年代の微分方程式に向けた解析の
基本的な学習方針を知りたいなら、おススメだろうね。
0893１３２人目の素数さん
垢版 |
2018/05/28(月) 18:03:40.33ID:pg1OgIAF
数学を学ぶ能力のうちには、
教科書がself-containedでないときに、
必要な知識を効率よく他の文献から探してきて
先に進む能力みたいなのも含まれると思うんだよね。

いずれ専門分化していくに従って、
教科書や文献の選択肢の数は減っていって、いずれは、
自分にとってあまり読みやすくはない文献で
勉強せざるを得なくなるのだから。
0894１３２人目の素数さん
垢版 |
2018/05/28(月) 18:09:08.33ID:K4I2rQOd
>>892
松坂君へ嫌がらせに書いただけだ。なぜ分からないか不思議。本の内容とは関係ない。
0897１３２人目の素数さん
垢版 |
2018/05/28(月) 18:20:18.61ID:pg1OgIAF
彼も、微積や線形代数の教科書じゃなくて
せめて「解析学の基礎」以上のレベルの本の感想を
書くのならまだ価値があろうというものだけどね。
まあ読めずに「記述が読者に対して不親切すぎます。
こんな独り善がりな本を書く人の気が知れませんね」
とか書いて著者のせいにするのかも知れないけど。

微積と線形代数という一番駄本が多くて
どうでも良い分野の教科書の中で、この本はここがダメ、
この本はここがダメ、みたいな難癖を任意の本に対して
付けてくるので嫌われる。
まあ、他者をdosってばかりで決して他者の長所を
0899１３２人目の素数さん
垢版 |
2018/05/28(月) 18:33:21.99ID:y/7spu+G
>>889
大した査読論文ないだろ？
てかお前、数学の博士号持ってないだろ？
一発で分かるわ、アホ
0900１３２人目の素数さん
垢版 |
2018/05/28(月) 18:45:37.93ID:y/7spu+G
>>896
それな
函数解析と微分方程式、吉田学徒の俺としても禿同
手持ちのが1976の中古でボロボロなのよ

来年６月の復刊を期待してるけど、君は復刊どっとコムに投票したかい？
0903１３２人目の素数さん
垢版 |
2018/05/28(月) 19:10:15.67ID:y/7spu+G
>>901
多分な
復刊どっとコムで今見たら０票で存在すらなかったw
面倒だけど起票からだね、起こしてくれたら俺後に続くよ
0905１３２人目の素数さん
垢版 |
2018/05/28(月) 19:14:10.87ID:Ldq9xkyj
>>900
復刻は解析学の基礎と同じく多分オンデマンドだよ
代数学と位相幾何学みたいなハードカバー復刻はないと思われる
0906１３２人目の素数さん
垢版 |
2018/05/28(月) 19:16:49.18ID:Ldq9xkyj
微分方程式の演習書は、物理や工学向けの脳筋計算問題集みたいなのばっかりしかないから
函数解析と微分方程式は貴重なんだけどね
0907１３２人目の素数さん
垢版 |
2018/05/28(月) 19:28:07.96ID:O4+I7Mco
「時代の関数」の厳密定量的な測定もPh,D取れる研究扱いになるのかな？
0908１３２人目の素数さん
垢版 |
2018/05/28(月) 19:36:03.23ID:y/7spu+G
>>905
いや、解析学の基礎と違って2000〜2017年で一度も復刊してないから
イキナリオンデマンドはあんまりだろ？
てか、代数学と位相幾何学よりも解析２冊の方が出来がいい
0911903
垢版 |
2018/05/28(月) 23:37:26.35ID:y/7spu+G
>>910
早速の起票ありがとう！！リクエスト投票しました！
投票の有効期限が１年らしいので、希望する人は是非後に続いてください
Twitterアカウントある人は拡散してもらえたら有難いです

函数解析と微分方程式 （現代数学演習叢書4）
http://www.fukkan.com/fk/VoteDetail?no=66875
0912１３２人目の素数さん
垢版 |
2018/05/29(火) 10:20:56.23ID:BvhQ6EG4
>>911
さすがのコメント。
キイワードを追加しました。お気づきの点があれば指摘してください。
0914１３２人目の素数さん
垢版 |
2018/05/29(火) 22:08:31.35ID:f5vIlzv/
Michael Spivakさんの『A Comprehensive Introduction to Differential Geometry』シリーズ
ですが、なんか品切れになっている巻がありますね。

早く買っておいたほうが良かったでしょうか？
0916１３２人目の素数さん
垢版 |
2018/05/29(火) 22:38:56.28ID:f5vIlzv/
Functional Differential Geometry (MIT Press)
by Gerald Jay Sussman et al.
Link: http://a.co/cTurvtR

↑これっていい本ですか？
0917１３２人目の素数さん
垢版 |
2018/05/29(火) 22:42:37.82ID:f5vIlzv/
松坂和夫著『数学読本』シリーズの一部が品切れ中ですが、これも
オンデマンドの本になるんですかね？

結構売れている本だと思っていたのですが、違うんですか？
0918１３２人目の素数さん
垢版 |
2018/05/29(火) 22:48:16.88ID:f5vIlzv/
Differentiable Manifolds (Pure and applied mathematics)
by Yozo Matsushima
Link: http://a.co/5WkUICR

↑英訳が出ているんですね。高評価のレビューを書いている人がいますが、
この本の良さは何でしょうか？
0919１３２人目の素数さん
垢版 |
2018/05/29(火) 22:54:19.42ID:f5vIlzv/
微分積分、線形代数の本の後に読むべき本は何でしょうか？

整数論とかに興味がなければ代数の本は読む必要がないように思うのですが、合っていますか？
0924１３２人目の素数さん
垢版 |
2018/05/30(水) 08:58:59.95ID:PMZrRFyz
>>920

ありがとうございます。

>>921

代数は、群・環・体の初歩的な部分以外も必要でしょうか？
なんかあまりきちんと完璧にやらなくても他の分野ではOKな気がします。
0927１３２人目の素数さん
垢版 |
2018/05/30(水) 15:40:53.24
>>924
君の大好きな松坂和夫先生が｢代数系入門｣を出してるから、それで勉強しなさい
これで代数の基本が簡単に広く学べる
0928１３２人目の素数さん
垢版 |
2018/05/30(水) 19:28:54.50ID:GP88FaAb
他の分野っつっても分野によるとしか

関数解析とか代数トポロジーとか整数論とか表現論に
進むならそれなりに必要だし、
あまり要らない分野もあるし。

いずれにせよ、代数学が必要になるかも知れないから、
代数学を全部マスターしてから先に進む、
という考え方はしなくて良い
（というか代数学を全部マスターとか無理）
0931１３２人目の素数さん
垢版 |
2018/05/30(水) 19:45:33.32ID:2dJDyDoV
荒らしにレスしてる理由はどれでしょうか？

１．荒らしの意味を知らない
２．荒らしでも話し相手が欲しい
３．自分反応出来ることに反応している
0932１３２人目の素数さん
垢版 |
2018/05/30(水) 21:24:17.12ID:eDEU6fzg
PDE-M俊太郎の数学本のアマゾンのレビューって長ったらしくて読む気が起きないんだけど
何を専門としている人なの？
0933１３２人目の素数さん
垢版 |
2018/05/30(水) 21:32:55.50ID:YpDqu+xb
もうスレの無駄使いはやめてくれ

>>ID:f5vIlzv/
なんでもいいからさっさと一冊読み通せ
ふらふら問答ばかりしてたら永久に数学なんて出来るようにならんぞ
気を散らすな、手を動かせ、しばらくここへ来るな
0934１３２人目の素数さん
垢版 |
2018/05/31(木) 00:10:33.17ID:UcMzfFzl
1998年に Donald E. Knuth さんが Bachmann(Landau) の Big O 記号を重視した微分積分学の
教科書を書くことを20年以上夢見ていると書いていますが、微分積分学の教科書は結局書いて
いませんね。そういう教科書が読みたいです。

「
For more than twenty years I have dreamed of writing a calculus text entitled O Calculus,
in which the subject would be taught along the lines sketched above.
」
0935１３２人目の素数さん
垢版 |
2018/05/31(木) 07:31:26.88ID:emeQPWA+
>>934

日本語の本だと笠原晧司さんの本が Landau の記号関係の話を重視していますね。
0936１３２人目の素数さん
垢版 |
2018/05/31(木) 07:33:47.63ID:37MLaxNf
Gilbert Strang 他2名
Calculus Volume 1 (English Edition)
1st Edition

からvolume3まで無料

Kindleあるよ
0938１３２人目の素数さん
垢版 |
2018/05/31(木) 15:32:33.64ID:iEzIvvfb
ドナルド・クヌースはもう80歳か
0939１３２人目の素数さん
垢版 |
2018/05/31(木) 19:08:00.52ID:/jPbrn+d
>>938
第４巻がちゃんと完結できるかな？
前半(Part A)は出たが後半の運命や如何に
第５巻以降は無理だろうなあ
0940１３２人目の素数さん
垢版 |
2018/05/31(木) 19:43:38.73ID:emeQPWA+
なんでそんなに本を書くのに時間がかかるのか不思議です。

アマゾンのレビューによると『Concrete Mathematics』
のほうは320日間で完成させたそうですね。
0941１３２人目の素数さん
垢版 |
2018/05/31(木) 20:08:29.89ID:emeQPWA+
日本人にも Donald E. Knuth さんのような人がいればいいですよね。
0944１３２人目の素数さん
垢版 |
2018/06/01(金) 06:29:52.81ID:7YOMNBPG
>>499

この情報は本当なんですか？
0946１３２人目の素数さん
垢版 |
2018/06/01(金) 06:46:23.22ID:7YOMNBPG
>>945

ありがとうございました。

上野健爾さんの数学者的思考トレーニングの複素解析編が出るんですね。

また誤りが大量にあるんでしょうね。
0947１３２人目の素数さん
垢版 |
2018/06/01(金) 07:05:14.89ID:7YOMNBPG
杉浦光夫 ユニタリ表現入門
杉浦 光夫
固定リンク: http://amzn.asia/74NJzu6

杉浦光夫さんは既に亡くなっていますが、これって
新刊ですか？
0948１３２人目の素数さん
垢版 |
2018/06/01(金) 07:08:01.76ID:7YOMNBPG
精度保証付き数値計算の基礎
大石 進一
固定リンク: http://amzn.asia/44e1klg
0949１３２人目の素数さん
垢版 |
2018/06/01(金) 08:48:09.80
微分幾何入門〈上〉 (基礎数学) 単行本 ? 1991/3/1
落合 卓四郎 (著)
これ評価悪いけど何で？
0950１３２人目の素数さん
垢版 |
2018/06/01(金) 08:49:11.47ID:7YOMNBPG
>>949

その本だけでなく、落合さんの本は、微分積分の本も評判悪いですよね。
0952１３２人目の素数さん
垢版 |
2018/06/01(金) 11:10:04.91ID:SzSeIYxY
現代数学の〜シリーズは軒並みオンデマンド化してたから、
大沢・多変数複素解析が増補版で新しく単行本ってのはその流れに逆らった実にいいことだ
深谷のシンプレクティック幾何学あたりもぜひその路線で頑張って欲しい
0954１３２人目の素数さん
垢版 |
2018/06/01(金) 13:03:25.39ID:7YOMNBPG
>>945

これってネットの本屋でも買えるようになりますかね？
0955１３２人目の素数さん
垢版 |
2018/06/01(金) 14:18:23.67ID:PV/scSkr
>>943
ずいぶん厚くなったな
大沢先生の増補改訂はもうこれで最後だろうか

119頁（1998/10 向井モジュライ理論含む） → 134頁（2008/03） → 184頁（2018/06/12）

>>952
著者の意向もあるのでしょうね
0956１３２人目の素数さん
垢版 |
2018/06/01(金) 14:43:05.17ID:7YOMNBPG
金子晃著『数値計算講義』を読んでいます。

階乗を計算するのに、 for 文で計算したら情報科学の人に笑われる
などと書かれています。

情報科学の人は再帰で計算すると書かれています。

金子晃さんは、ものすごく偏った考えをお持ちのようですね。
0957１３２人目の素数さん
垢版 |
2018/06/01(金) 15:02:36.55ID:sNIeUQTX
>>956
偏っているといえばそうだけど、関数型言語でプログラムを書いている人から見れば普通
数学と情報にまたがる領域を研究している人はほぼそういう考え方をすると思う
0958１３２人目の素数さん
垢版 |
2018/06/01(金) 15:13:28.08ID:7YOMNBPG
金子晃さんはフィボナッチ数列の計算をせよと言われたとき、再帰で計算するのでしょうか？
0960１３２人目の素数さん
垢版 |
2018/06/01(金) 17:30:29.49ID:7YOMNBPG
何の工夫もなく再帰でフィボナッチ数列を計算すると非常に遅いのではないでしょうか？
0961１３２人目の素数さん
垢版 |
2018/06/01(金) 17:45:20.83ID:axIMaGIt
落合卓四郎
説明が下手
0962１３２人目の素数さん
垢版 |
2018/06/01(金) 17:51:14.93ID:7YOMNBPG
説明が上手い数学者というと誰ですか？

逆に、説明が下手な数学者というと誰ですか？
0963１３２人目の素数さん
垢版 |
2018/06/01(金) 17:51:59.86ID:7YOMNBPG
数学者はまあ他の分野の人よりも説明が上手い人が多いという印象があります。
0964１３２人目の素数さん
垢版 |
2018/06/01(金) 17:57:48.28ID:7YOMNBPG
↓この人は異常に持ち上げられているように思うのですが、それはなぜですか？

小数と対数の発見
山本 義隆
固定リンク: http://amzn.asia/cBVt9Al
0965１３２人目の素数さん
垢版 |
2018/06/01(金) 18:02:52.95ID:7YOMNBPG
>>946

数学者的思考トレーニング 複素解析編
上野 健爾
固定リンク: http://amzn.asia/iUYVnK3

一応、リンクを貼っておきます。
0971１３２人目の素数さん
垢版 |
2018/06/01(金) 20:30:03.96ID:mfwOPNmj
専ブラなら
ツール->設定->機能->あぼーん->NGIDでID
7YOMNBPG
をコピペして追加、OKを選んでスレを閉じて再度開く
0973 ◆QZaw55cn4c
垢版 |
2018/06/01(金) 22:07:59.96ID:iKHwzbKo
>>966
フィボナッチ数列はまともにやると末尾再帰にはならない
0975１３２人目の素数さん
垢版 |
2018/06/01(金) 23:41:34.96
IDしか表示設定してないスレなのに一々スレ再読み込みとかあまりにも面倒すぎるだろ
ワッチョイ表示にすればいいだけだろ
0977１３２人目の素数さん
垢版 |
2018/06/02(土) 00:55:54.47ID:CjkE0MjW
>>974
岩波のHPで確認したけど？

>>975
なんとかして頂戴
前から本当に目障りでうっとうしい
荒らしというよりどう見ても発達障害
0978１３２人目の素数さん
垢版 |
2018/06/02(土) 00:58:01.70
>>835に書いてある通りスレ立てる時に一行目に
!extend:checked:vvvvv:1000:512
を書くだけで強制ワッチョイ表示になる
ワッチョイは1週間毎に更新されるからNG作業は週一でよくなる
0979１３２人目の素数さん
垢版 |
2018/06/02(土) 01:34:24.13ID:CjkE0MjW
>>978
おお！救世主が降臨した！
面倒かけて悪いけど、次スレ立ててくれないかな？
お願いします
0980１３２人目の素数さん
垢版 |
2018/06/02(土) 02:10:54.68
さっき試したけどこの板ではワッチョイ表示無理でした
(　ERROR: 使えません。(BBS_USE_VIPQ2=0)　)
0981１３２人目の素数さん
垢版 |
2018/06/02(土) 02:12:36.90
折角テンプレ準備したのに。
それじゃあ誰か次スレ立てておいて下さい
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
数学書やその周辺の話題について語りましょう。

荒らしや煽りは禁止。
見ている人を不快にさせる書き込みはひかえてください。
人としての基本的な礼節を守って、皆で楽しみましょう。

数学学習マニュアル　まとめページ
http://www.geocities.co.jp/Technopolis-Mars/7997/
数学の本　まとめサイト
http://www3.atwiki.jp/math/pages/1.html


過去スレ
第67巻　https://rio2016.5ch.net/test/read.cgi/math/1454323135/
第68巻　https://rio2016.5ch.net/test/read.cgi/math/1477731209/
第69巻　https://rio2016.5ch.net/test/read.cgi/math/1487383364/
第70巻　https://rio2016.5ch.net/test/read.cgi/math/1492300530/
第71巻　https://rio2016.5ch.net/test/read.cgi/math/1495881990/
第72巻　https://rio2016.5ch.net/test/read.cgi/math/1501905603/
第73巻　https://rio2016.5ch.net/test/read.cgi/math/1508221180/
第74巻　https://rio2016.5ch.net/test/read.cgi/math/1511085768/
第75巻　https://rio2016.5ch.net/test/read.cgi/math/1515687474/
第76巻　https://rio2016.5ch.net/test/read.cgi/math/1522075216/
0983１３２人目の素数さん
垢版 |
2018/06/02(土) 02:44:56.45ID:8b/WsunV
>>955
> >>943
> ずいぶん厚くなったな
> 大沢先生の増補改訂はもうこれで最後だろうか
>
> 119頁（1998/10 向井モジュライ理論含む） → 134頁（2008/03） → 184頁（2018/06/12）

>>974
> >>955
> ワシが持っている2008/03のやつは119ページや

>>977
> >>974
> 岩波のHPで確認したけど？


お二人のページ数の混乱については、以下のようにして説明がつきます。

2008/03の単行本のページ数は974さんが主張する通り本文のページ番号が119ページまで（これは私もこの版を所有しているので確認済）で、
その最終ページ（119ページ）は奇数ページなので白紙の裏面があるので、その白紙ページを足すと本文の部分は120ページになります。
これに加えて、目次や前書き部分といったローマ数字でページ番号を振られている部分が14ページ分ありますので、それを足すと134ページ、
つまり955&977さんが岩波の増補版でない元の2008/03版のHPにあるページ数の134ページに一致します。

つまり、2008/03版は、本文が119ページ、前書きや目次などを加えた全ページ数が134ページということです。
0984１３２人目の素数さん
垢版 |
2018/06/02(土) 03:07:05.89ID:CjkE0MjW
>>981
早速ありがとうございました
面倒かけてスミマセン
誰か5chやIT強い人スレ立てよろしくお願いしますm(_ _)m

>>982
おお…その辺の話知ってる人ここにいるのね
>>983
よく分かりました！ご丁寧にありがとうございます
レス数が950を超えています。1000を超えると書き込みができなくなります。
ニューススポーツなんでも実況