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

数学の本第78巻 at MATH

[前50を表示]
850:１３２人目の素数さん
18/09/07 22:42:05.52 w6ayBw1T.net
>>818
自分の身的感覚上、受け付けないものを
「分からない」と言っただけでないの？

851:１３２人目の素数さん
18/09/07 23:49:09.99 loj7yPa0.net
「分からない」の意味が人によって違うからな
小平の分らないとおめーらの分からないは違うｗ

852:１３２人目の素数さん
18/09/08 02:19:25.66 pFsrPd60.net
>>829
その通り
フィールズ賞受賞者が言う｢分からない｣はハイレベルなところでの｢分からない｣と理解するのが自然な解釈
入門書レベルなんか分かってるに決まってる

853:１３２人目の素数さん
18/09/08 02:34:50.17 l5vBqwra.net
不完全性定理はわかったが強制法はよくわからなかった、というのが本人の弁

854:１３２人目の素数さん
18/09/08 02:50:12.86 oy9IEf9x.net
>>818
能力がある数学者の話をしたら、元の始まりが >>695や >>701だから、意味がなくなるな。
当初から、話の成り行きに何か違和感を感じていた。

855:１３２人目の素数さん
18/09/08 03:55:18.85 1tEpWCVs.net
>>800
君、ルベーグの理解もやんわり程度かね？

856:１３２人目の素数さん
18/09/08 08:17:31.55 o+aHZuFk.net
小平の生前は情報幾何学がなかったけど、もしもう少し長生きしてたら層係数コホモロジーを駆使して新分野を開拓していたかも。
そして今とは機械学習や深層学習の発展も違っていたかもしれない。
そういう方向性が見えていたら不完全性定理や強制法も圏論つながりで自分の分野と思えただろうから簡単に｢分からない｣と諦めたような発言はなかっただろう。
自分の仕事と思わなかったからこその発言なんだと思う。

857:１３２人目の素数さん
18/09/08 08:25:28.20 o+aHZuFk.net
「情報幾何の生い立ち」甘利俊一
URLﾘﾝｸ(www.jstage.jst.go.jp)

858:１３２人目の素数さん
18/09/08 10:04:21.26 1tEpWCVs.net
>>834
情報幾何の今後の展望についても続けてどうぞ

859:１３２人目の素数さん
18/09/08 10:24:20.35 5L+wnaYp.net
>>835
物工板へ

860:１３２人目の素数さん
18/09/08 14:33:32.09 hfvOJrQt.net
情報幾何学って本当に甘利俊一さんが創始したんですか？

861:１３２人目の素数さん
18/09/08 15:59:14.53 S9k8RoLX.net
>>837
> 物工板へ
情報幾何つまり統計の微分幾何学は物理工学とは関係ない
統計学つまりは応用数学の一分野だから数学板で論ずるのが正しい
文句があるなら君が「数学板を純粋数学板と応用数学・数理工学板とに分ける」ということを提案して
実際に２つの板に分ける全ての作業（板の新設に必要な作業）を君がやれば良い

862:１３２人目の素数さん
18/09/08 16:56:26.69 9uM8YKs6.net
ｽﾚﾘﾝｸ(math板:649番)
お願いします

863:１３２人目の素数さん
18/09/08 17:18:59.75 w5ltr/cW.net
応用数学で板を別ける必要はないだろ
今のままだと応用数学の話題はすぐ沈むだけさ

864:１３２人目の素数さん
18/09/08 18:13:19.46 1tEpWCVs.net
>>838
俺が創始した

865:１３２人目の素数さん
18/09/08 18:16:09.84 1tEpWCVs.net
板を別ける必要はない
そんなことに頓着してるから応用数学アメリカに周回遅れになっちまうんだよ
さあ、続けて続けて

866:１３２人目の素数さん
18/09/08 21:50:55.79 NO3Ixnxc.net
既存研究の拡張をやってるんだけど、半分、肉体労働だわ。
仮にうまくできても、あんたらは評価しないよね？
規定路線に乗ってて、面倒になってるだけだから。
一応、証明の見せ場がないわけではないけど。

867:１３２人目の素数さん
18/09/09 00:05:09.41 Sm6kToJ/.net
>>844
他人の批判くらいしかやることがないここの大部分の住人よりは
はるかに高く評価できる

868:１３２人目の素数さん
18/09/09 00:53:53.78 J1X53y3t.net
>>845
>>844だけど、そんなのと比べられてもw

869:１３２人目の素数さん
18/09/09 01:35:39.03 V5TYVu0Y.net
URLﾘﾝｸ(m.facebook.com)
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(twitter.com) (5ch newer account)

870:１３２人目の素数さん
18/09/09 01:37:15.12 NAD/fG2T.net
何が目的で拡張するのかが大事。目的もなくただ業績欲しさのために既存の結果を拡張するのは害悪にすらなる。

871:１３２人目の素数さん
18/09/09 04:39:19.91 HAVtxd4k.net
博士の学生なんだけど研究してる人って本とか論文どのくらい読んでるの？
自分は年に2本くらい論文をちら見する程度なんだけど、周りは結構論文印刷したり本を自主ゼミ開いて輪読してるけど研究するのにそんなに知識必要なのかな？

872:１３２人目の素数さん
18/09/09 06:36:02.64 3sEUhW73.net
>>844
> 半分、肉体労働だわ。
俗に（「悩む」ではなく）「脳（のう）む」というんだわ（笑）
数か月単位で集中して研究をすると、体力を消耗して
たいてい体調が悪くなる。
「数学は身体に悪い」ように思うのだが、
高齢でもお元気な先生もいらっしゃるので、
若いうちにやっとくと、歳を取っても
衰えないのかもしれない。

873:１３２人目の素数さん
18/09/09 07:23:18.54 236Tv5gf.net
具体性のないレスだなあ
抽象論じゃなく具体的な代表元として振る舞ってくれ

874:１３２人目の素数さん
18/09/09 08:54:01.59 3sEUhW73.net
>>851
数論関係の未解決問題を気合を入れて解いたら
持病が悪化して一か月以上入院した。
室井和男さんも似たような経験を
しているそうだが、してみるとバビロニア数学が
いかんのかもしれん。

875:１３２人目の素数さん
18/09/09 09:17:34.34 GwsSbvc5.net
難しくて誰も解けないからではなくて
つまらなくて誰も興味ないから未解決

876:１３２人目の素数さん
18/09/09 09:44:17.61 lIIvfegl.net
>>1
＞数学の専門書についてのスレです
スレの主旨もルールも平気で無視する連中はほぼほぼ犯罪者だと考えておｋ

877:１３２人目の素数さん
18/09/09 09:49:47.02 GwsSbvc5.net
>>854
よっ犯罪者！

878:１３２人目の素数さん
18/09/09 09:54:05.43 lIIvfegl.net
　　　　　　　　│＼
　　　　　　　　│　＼≡(`Д´;))≡= 　　　ｵｵッ！
　　　　　　　　│　　　＼≡//　))≡=
　　　　　　　　│　　　≡」」」≡=
　　　　　　　　│
　　　　　　　　│
　　　　　　　　│
　　　　　　　　│
　　　　　　　　│
　　　　　　　　│
　　　　　　　　>>855 ノリ突っ込み専用Bot

879:１３２人目の素数さん
18/09/09 10:03:47.99 GwsSbvc5.net
>>856
よっ犯罪者！

880:１３２人目の素数さん
18/09/09 11:24:25.02 3sEUhW73.net
>>853
細井治夫先生とか一松信先生とかが、
「とりあえず未解決なんでイライラする」とか
仰ってたんだが、線形代数に関する問題だと
思っていたんで未解決だった。
こっちは素人なんで、連分数とかか幾何学のほうから
アプローチしたら、二通りの証明が出た。
「別のアプローチを探す」「可能なルートを一個一個ツブす」
っつーのは、ぶっちゃけ脳内労働だと思う。

881:１３２人目の素数さん
18/09/09 11:29:36.87 3sEUhW73.net
竹山美弘『定理のつくりかた』（森北出版）は
面白かった。
ピックの定理についての部分は、「こなれていない」
んだけど、その悪戦苦闘っぷりが如実に伝わってきて、
論文にありがちな取り済まし感とかドヤ感とかがなくて、
ほっこりした。

882:１３２人目の素数さん
18/09/09 11:36:47.40 3sEUhW73.net
>>787
竹内先生はゲーデルやエルデーシュと
直接に面識があったというのを、
『現代集合論入門』の『Logitians 小伝』を
読んで、あらためて認識した。
マセマティシャンとロジシャンが別だとすると、
どこまで「数学の本」に含めていいのかわからん、
という原理主義的な立場はありそうに思うが。

883:１３２人目の素数さん
18/09/09 12:07:21.22 wg30Zc/q.net
杉浦光夫著『解析入門I』を読んでいます。
積分の平行移動に関する不変性の定理のような自明な定理にも証明を一応つけていますが、
全然証明になってませんね。
証明をつけるからには、ちゃんと証明をすべきだと思います。

884:１３２人目の素数さん
18/09/09 12:11:16.59 3sEUhW73.net
室井和男さんの『シュメール人の数学 ―
粘土板に刻まれた古の数学を読む』
（共立出版、共立スマートセレクション）
は、とても丁寧でいい本なんですが、
プリンプトン３２２の解読に関しては、
たぶんうちらが一歩先をいっているので、
「申し訳ございません m(_ _)m」と
頭を下げるしかありません。発行が
二〇一七年なんだけど、いちいち
ネット検索して「先行した解決はないか」
とか確認しませんよね？
>>858 の Barning＝Hall の定理も、
それぞれ独立に証明されているし、
岐阜東高校の亀井先生も独立に証明していらっしゃいます
（つーか、よく行列を使って証明したよなぁ、と
思います。「どこからアイデアを拾ったんだろう？」と、
そっちの方が気になります。うちらは古代バビロニア
数学からアプローチしたので）。
力づくの解法（エレファントな解法）で
解けたあとに、エレガントな解法が発見されることも
あるとは思いますが、「新鮮な切り口」を提示してくれるような
数学書も紹介していただけると、ありがたく存じます。

885:１３２人目の素数さん
18/09/09 12:19:19.61 3sEUhW73.net
>>861
> 全然証明になってませんね。
「全然」「全く」「絶対に」とかいった言葉を
不用意に使うのは、パーソナリティ障害
（＝人格障害）の前駆症状として疑われやすい。
数学を学んでいる以上、「X に関しては、￢X であることが
強く疑わしいことに対する、これこれの論拠がある。
ゆえに、X を主張する者は、X を証明せよ」くらいの
コトは言わなければならないんじゃないか？

886:１３２人目の素数さん
18/09/09 12:19:33.25 wg30Zc/q.net
杉浦光夫さんは、積分をリーマン和で定義しているのも分かりにくいですね。

887:１３２人目の素数さん
18/09/09 12:33:02.81 3sEUhW73.net
>>864
そうかなぁ。工学屋としては、定義として
素朴だとは思うので、その先にどう拡張してゆくかを
考えると、アプローチとしては悪くないと思うんだが。
少なくとも数値積分とかの方面に向かうんだったら、
十分に有効なアプローチだと思うが。
解析（微分積分）の入門として、「微分可能性」
を説明するために「有理数は稠密だけど連続じゃない。
微分可能性を証明するためには、まず実数の連続性を
理解しろ！」っつーのは不当なありかたじゃないん
だけどさ、和分とか無限級数の収束とかのほうから
攻めてって本丸は迂回する、っていうのも
アリなんじゃないの？

888:１３２人目の素数さん
18/09/09 12:50:59.60 oGCsgg5A.net
>>865
それは松坂君という馬鹿アスペですよ

889:１３２人目の素数さん
18/09/09 12:51:51.42 uU6ktzk5.net
>>862
キチガイの文章やな

890:１３２人目の素数さん
18/09/09 12:54:44.02 PH9AUf6j.net
バウムクーヘンもあるしな

891:１３２人目の素数さん
18/09/09 13:11:22.71 pjWg4XEn.net
バウムクーヘン、ウンメェーーーーーーーーッッッッッッッ！！！！！！！！*･゜ﾟ･*:.｡..｡.:*･'(*ﾟ▽ﾟ*)'･*:.｡. .｡.:*･゜ﾟ･

892:１３２人目の素数さん
18/09/09 13:12:11.73 wg30Zc/q.net
杉浦光夫さんのダルブーの定理の証明がうざすぎます。

893:１３２人目の素数さん
18/09/09 13:15:56.25 wg30Zc/q.net
杉浦光夫さんってちょっと複雑な議論が必要とされるところになると急に説明下手になりますよね。
説明に余裕が全くないです。
なんとか説明しているという感じですね。

894:１３２人目の素数さん
18/09/09 13:41:28.37 3sEUhW73.net
はいはいはいお友達がいるところへゆきましょうねー

895:１３２人目の素数さん
18/09/09 13:47:15.69 3sEUhW73.net
>>871 >>871
「解りやすい説明」は、嘘の温床なんだけど、
そこをちゃんと説明しようと思うと、かなり
面倒臭い議論になるんだよ。
だったらお前らが書け。

896:１３２人目の素数さん
18/09/09 13:53:11.31 3sEUhW73.net
あ、>>865 だけど
 >>873 は >>870 と >>871 な。

897:１３２人目の素数さん
18/09/09 14:02:50.04 ZeC9bPjU.net
おまえら数オリ解けるのか？

898:１３２人目の素数さん
18/09/09 14:15:43.10 k+SNIDwc.net
荒らしに構うやつも荒らし

899:１３２人目の素数さん
18/09/09 14:28:14.88 3sEUhW73.net
>>868

900:１３２人目の素数さん
18/09/09 14:29:09.67 wg30Zc/q.net
ダルブーの定理ですが、面倒なせいか他の本にはあまり書いてありませんね。
なくても済みますもんね。

901:１３２人目の素数さん
18/09/09 14:33:52.31 3sEUhW73.net
>>876
ごめん、>>878 は間違えた。
正確にいえば、「￢荒らし」であると証明できなかった
奴に構う奴は「荒らし」だという認識でよろしいか？
そのあたり、かなり議論の余地があると思うのだが。

902:１３２人目の素数さん
18/09/09 14:36:34.21 J1X53y3t.net
>>848
古典的で重要なケースを特殊ケースとして
包含できるようにしたかったんだわ。
だけど、色々仮定を置いてるうちに、含め
られなくなってしまった。
でも捨てるのはもったいないから、三流誌
でもいいから出したい。w
まあ、次につながる可能性もあるし。
>>850
没頭すると生活が不規則になったりするからね。
運動する時間もとらなくなる。

903:１３２人目の素数さん
18/09/09 14:48:06.06 1kdaen3F.net
運動どころかメシも風呂も歯磨きもめんどうになる

904:１３２人目の素数さん
18/09/09 14:52:36.35 0hJCtoIb.net
>>849
大して知識なくてもできる問題もあれば
がっつりやらないとできない問題もあるから人それぞれ
>自分は年に2本くらい論文をちら見する程度
まだまだ発展途上の博士の学生にしては少な過ぎるのでは

905:１３２人目の素数さん
18/09/09 14:56:52.17 3sEUhW73.net
>>881
あるある（笑）
だけど布団干しと洗濯（あと、風呂な）とメシは
大事にしとけ。フローレンス・ナイチンゲールは
「安静・清潔・栄養」の三要素が
揃っていれば、たいていの病気は治る、
と言ってたらしいぞ？

906:１３２人目の素数さん
18/09/09 15:01:18.19 V5TYVu0Y.net
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(m.facebook.com)
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
凍結と垢消ししてて草
URLﾘﾝｸ(twitter.com) (5ch newer account)

907:１３２人目の素数さん
18/09/09 15:38:52.56 1kdaen3F.net
>>883
そんなのムリゲー
他にもまだある
う●こ
ケツ吹くのがめんどい
手を洗うのも邪魔くさい
下痢とかもうね
とにかく思考の流れをブチ切られるのが嫌なんだ
クロネコとか論外

908:１３２人目の素数さん
18/09/09 15:39:23.01 J1X53y3t.net
>>881
逆に、研究室に歯ブラシ置いてて、考えながら
無駄に磨いてることがあるw

909:１３２人目の素数さん
18/09/09 16:26:09.94 3sEUhW73.net
>>885
> とにかく思考の流れをブチ切られるのが嫌なんだ
> クロネコとか論外
クロネコは送った奴がいるからまだ許す
たまの休日にじっくり問題に集中している最中に
エホ証とかが来た日にゃ
生まれてきたことを後悔するくらい
責め立ててやりたくなる

910:１３２人目の素数さん
18/09/09 16:32:38.01 yZFdTKYf.net
今日のまとめ
868 名前：あぼ～ん[NGID:PH9AUf6j] 投稿日：あぼ～ん
869 名前：あぼ～ん[NGID:pjWg4XEn] 投稿日：あぼ～ん
870 名前：あぼ～ん[NGID:wg30Zc/q] 投稿日：あぼ～ん
871 名前：あぼ～ん[NGID:wg30Zc/q] 投稿日：あぼ～ん
872 名前：あぼ～ん[NGID:3sEUhW73] 投稿日：あぼ～ん
883 名前：あぼ～ん[NGID:3sEUhW73] 投稿日：あぼ～ん
884 名前：あぼ～ん[NGID:V5TYVu0Y] 投稿日：あぼ～ん
885 名前：あぼ～ん[NGID:1kdaen3F] 投稿日：あぼ～ん
886 名前：あぼ～ん[NGID:J1X53y3t] 投稿日：あぼ～ん
887 名前：あぼ～ん[NGID:3sEUhW73] 投稿日：あぼ～ん

911:１３２人目の素数さん
18/09/09 16:44:26.24 1kdaen3F.net
>>887
それな
日曜の昼前がヤバい
モニター見て即ブチしてる
ってか俺のID楕円になってね？

912:１３２人目の素数さん
18/09/09 16:49:00.36 1kdaen3F.net
>>886
偉いな

913:１３２人目の素数さん
18/09/09 16:52:43.01 ZalYOt1Q.net
今度岩波で出る「ガロアの論文を読んでみた」はどうなんだろうか？
矢ヶ部の数III方式よりわかりやすいかどうかなど、読んだ人は感想よろしく

914:１３２人目の素数さん
18/09/09 17:40:57.02 3sEUhW73.net
>>891
おれはガロアにはまったく興味がなかったのだが、
標準化研究学会編『QRコードのおはなし』と
『二次元コードシンボル ― QRコード ―
基本仕様（JIS X 0510）』を読んで、
しかるのちに「誤り検出及び訂正の

915:生成多項式」が最長周期法による乱数生成に使えるらしいことを知って、「これは面白いかも」と思った。だけど、当面は仕事では使わんと思うので、老後の楽しみのために取っておいている。

916:１３２人目の素数さん
18/09/09 18:54:31.44 wg30Zc/q.net
ガロア理論ってなんで人気があるんですかね？
ガロア理論って数学科の学生にとってそんなに重要ですか？

917:１３２人目の素数さん
18/09/09 19:00:03.88 wg30Zc/q.net
Understanding Analysis (Undergraduate Texts in Mathematics)
by Stephen Abbott
Link: URLﾘﾝｸ(a.co)
↑この本がすごく評判がいいですが、どこがいいのかさっぱり分かりません。

918:１３２人目の素数さん
18/09/09 19:06:02.82 wg30Zc/q.net
松坂和夫さんの解析入門シリーズがそんなに売れていないのはなぜでしょうか？
やはり6巻もあると敬遠されるんですかね？
集合・位相を詳しく説明していたり、線形代数を一から説明していたりするのが嫌われたんですかね？

919:１３２人目の素数さん
18/09/09 19:07:04.59 wg30Zc/q.net
第6巻まで行かないと重積分が現れないとか変わっていますよね。

920:１３２人目の素数さん
18/09/09 19:11:39.01 3sEUhW73.net
>>893
がロア理論に人気があるんじゃない
ガロアに人気があるんだ
二十歳で決闘して革命に殉じたのが
心の琴線に触れたらしい。
業績としてがガウスのほうが
上だと思うが、
ガウス萌えって聞いたことがない
“ソーニャ”・コワレフスカヤ萌えは
いないでもないらしいが、
全盛期にはもう人妻だったので
独身時代の業績として目立ったものがなくて
人気はいまひとつ

921:１３２人目の素数さん
18/09/09 20:15:33.79 3sEUhW73.net
応用数学の話なんでスレチだと思うが、
音像定位のことを考えてるんだけど、
ウェーブレット変換とかに関する
工学畑の人間にも分かりやすいような
本ってある？

922:１３２人目の素数さん
18/09/09 20:58:13.95 2B6oPKBY.net
>>897
十七角形の作図問題って知ってる？
ガウスの数論世界をいくって表題の本出てるの知ってる？

923:１３２人目の素数さん
18/09/09 21:28:45.26 oGCsgg5A.net
普通の(有限次分離正規拡大の)ガロア理論そのものに大きな応用はなくとも、ガロアの思想は(代)数学の至るところに出てくるよ
まあ応用もあるけど

924:１３２人目の素数さん
18/09/09 21:30:00.36 0hJCtoIb.net
>>891
方程式のガロア群深遠な解の仕組みを理解する (ブルーバックス)
13歳の娘に語るガロアの数学
の金重明だろ
ああいうのが好きな人にはいいだろうな

925:１３２人目の素数さん
18/09/09 21:33:42.74 wg30Zc/q.net
オイラーの難問に学ぶ微分方程式
高瀬正仁
固定リンク: URLﾘﾝｸ(amzn.asia)
この人、数学関係の本を量産していますよね。

926:１３２人目の素数さん
18/09/09 21:51:36.51 236Tv5gf.net
ファンダムのメンタルなグルーピーの二次元コンプレックス丸出しオタクはもっと普遍被服空間に包み込まれるべき

927:１３２人目の素数さん
18/09/10 01:45:23.78 /E4gxvas.net
>>902
数学史の研究をやってるが数学自体の研究はやってない人なので
その種の本はつまらないと感じてる
高瀬の本で純粋に数学史に徹してる本はマシ

928:１３２人目の素数さん
18/09/10 01:51:19.65 PFg6xC8z.net
受験数学馬鹿よかマシだろ

929:１３２人目の素数さん
18/09/10 06:59:54.65 xymEJxxp.net
>>903
つチャールズ・ラトウィッジ・ドジソン
『ユークリッドと現代の対抗者たち』
（『不思議の国の論理学』に収録）
ユークリッド平面上の幾何原理主義者（ファンダメンタリスト）
で『原論』至上主義の数学教師は
高校数学全体を見通すような視座を持つべき

930:１３２人目の素数さん
18/09/10 10:20:39.40 /E4gxvas.net
数学教師は原論すら知らない

931:１３２人目の素数さん
18/09/10 11:52:58.44 xymEJxxp.net
>>907
まじか。
「コンパスで長さを移す」操作は、
「コンパスで長さを移せる」ことを証明してからでないと
使ちゃいけない、というのも知らないのか？
つーことは、「ロバの橋」とかも知らないのか？
そしたら、「ユークリッド幾何学の範囲内で、
正十七角形が作図できる」というリクツも理解してないのか？
「ギリシャ三大難問」も理解してないのか？
そんな数学教師はいますぐ行って殺してきたいんだが、
とりあえずヤサとガラを押さえといてくれ。
年の瀬になったら、面様年頭とかなまはげとかモンモウとか
むくりこくりとか聖ニコラスとかクロックミテーヌとかが
集団で押しかけてって、初日の出が見られないようにされる
だろうから。
できれば姓名と所属をここに晒しといてくれ。憲兵隊と
特高が確認しにゆくから。

932:１３２人目の素数さん
18/09/10 11:53:25.63 7CfZzJ1N.net
>>906
ルイス・キャロルの本名って書いとけよ不親切な

933:１３２人目の素数さん
18/09/10 12:57:03.54 U9UvhER/.net
初等幾何は屑哲と教諭のお気に入り

934:１３２人目の素数さん
18/09/10 13:05:24.67 RspBpStT.net
竹内は嫌いだ

935:１３２人目の素数さん
18/09/10 13:07:15.46 RspBpStT.net
松本さんの写真集がでる

936:１３２人目の素数さん
18/09/10 15:28:54.32 xymEJxxp.net
>>909
書かなきゃ不親切で書くと野暮かよ (T_T)
せつねぇな

937:１３２人目の素数さん
18/09/10 20:21:42.38 DUvtioml.net
>>913
まあ、ええやないか
ルイス・キャロル
ソーニャ・コワレフスカヤ
この二人、作家としても名を馳せたよな
一体どんな頭してんだろ？
>>897 さん、そこら辺詳しそうやね
 >>898
それ東大の新井先生がガチってなかった？

938:１３２人目の素数さん
18/09/10 20:54:18.43 8X3EqOMc.net
URLﾘﾝｸ(page.auctions.yahoo.co.jp)
なんか高値をつけていますね。

939:１３２人目の素数さん
18/09/10 20:56:47.50 7CfZzJ1N.net
>>913
野暮なんて言う気はない。

940:１３２人目の素数さん
18/09/11 08:21:50.33 AEorpN71.net
>>914
じつは数学に関してはニワカだからよく知らない (^_^!)
ガウスもベルヌーイみたいに数学一家だろうと思っていた(w
天文学者ではフレッド・ホイルという人がいて、
『宇宙の本質』という一般向けの解説書も書いているのだが、
同じシリーズに同著者の『暗黒星雲』というのがあって
買ってみたらＳＦ小説だったけどすっげぇ面白かった、
ということがある。

941:１３２人目の素数さん
18/09/11 08:22:47.43 AEorpN71.net
>>914
> それ東大の新井先生がガチってなかった？
調べてみる。ありがとう。

942:１３２人目の素数さん
18/09/11 09:08:04.67 EKJXfSxz.net
>>918
お前には無理

943:１３２人目の素数さん
18/09/11 09:08:46.57 EKJXfSxz.net
>>913
ゴミ

944:１３２人目の素数さん
18/09/11 15:40:11.24 AEorpN71.net
>>919
お前にはますます無理
 >>920
クズ
おまえらが何をしたいのか、
点と丸を数えて四百字詰め原稿用紙
二枚以内にまとめて明日までに提出しやがれ。

945:１３２人目の素数さん
18/09/12 09:23:56.18 8k6nOJY+.net
学部レベルの数学を一通り網羅したシリーズ本でよいものを教えてください。できるだけ解説が丁寧なものがいいです。

946:１３２人目の素数さん
18/09/12 09:39:26.24 KMIzTyK6.net
吉田洋一著『ルベグ積分入門』を読んでいます。
[a, b) （a ≦ b）を半開区間という。
半開区間の長さ |[a, b)| を |[a, b)| := b - a で定義する。
I, I_p （p = 1, ..., n）を半開区間とする。
I ⊂ ∪_{p = 1}^{n} I_p とする。
このとき、
| I | ≦ Σ_{i = 1}^{n} | I_i | が成り立つ。
こんな自明な命題をわざわざ手の込んだ方法で、証明していますね。
ルベーグ積分の本ではこのようなこともちゃんと証明していくのでしょうか？
他の分野の数学書だったら、「明らかに成りたつ」で終わりですよね。

947:１３２人目の素数さん
18/09/12 10:01:06.14 L56v9uvC.net
>>922
人になんて訊いて回らずとっとと自分で具体的に品定めし続けてれば見当付く頃には大方学部程度の数学ならなんとなくわかってきてると思うよ。

948:１３２人目の素数さん
18/09/12 11:33:02.34 kwcybl2X.net
>>923
全然明らかじゃないんだが？
んじゃ証明してみ

949:１３２人目の素数さん
18/09/12 11:34:22.52 kwcybl2X.net
半開区間Iが複数の(I_p)に"またがってる"ケースは？
で、その複数の(I_ｐ)同士も互いに重なりまくってる場合は？

950:１３２人目の素数さん
18/09/12 11:40:07.21 EavOG0bu.net
荒らしに構うやつも荒らし

951:１３２人目の素数さん
18/09/12 11:50:47.67 KMIzTyK6.net
>>925
街頭で、
>>923
の命題が成りたつか成り立たないか？というクイズに正解したら、100万円もらえるという企画があったとします。
そのとき、この命題が成り立たないと答える人は一人もいないと思います。
つまり自明ということです。
そして、他の分野の数学書だったら、このような自明な命題の証明はわざわざ書かず「明らか」で済ますと思います。

952:１３２人目の素数さん
18/09/12 11:53:26.35 kwcybl2X.net
数学書の著者にも >>923についてもいけるんだが、｢明らか｣って言葉は主観性が強い言葉だからな。
大抵の著者に対しては｢長年その分野をやってきて多くを知ってるお前だから明らかって分かるだけであって、初学者の視点が全然無いだろ｣っていうツッコミが成り立つ
 >>923みたいな奴に対しては｢お前が勝手にそう思ってるだけだろ｣ってツッコミが成り立つ

953:１３２人目の素数さん
18/09/12 11:53:30.94 KMIzTyK6.net
「明らか」で済まさず、野暮ったい証明を書く人がいるとすると、それは杉浦光夫さんくらいでしょう。

954:１３２人目の素数さん
18/09/12 11:55:48.13 kwcybl2X.net
>>928
まさしく｢お前が思ってるだけ｣な
自覚してる？
俺は証明して見ろって言ったんだよ
お前はそれに対して｢明らか｣｢自明｣などと同じセリフを繰り返してるだけ
分かる？

955:１３２人目の素数さん
18/09/12 11:59:11.21 KMIzTyK6.net
>>931
でも数学書を読んでいると、明らかではあるが、証明をするとなるとちょっと書くのが面倒ということは
非常に多いと思います。
なぜ、厳密性の水準を数学書の分野によって変化させるのかが納得いきません。

956:１３２人目の素数さん
18/09/12 12:00:54.97 KMIzTyK6.net
ルベーグ積分の本が吉田さんの本のような本ばかりだとすると、例えば、微分積分の本よりも、
ルベーグ積分の本の厳密性の水準は高いと思います。
フェアじゃないですよね。

957:１３２人目の素数さん
18/09/12 12:01:50.10 KMIzTyK6.net
微分積分の本でも、「明らか」あるいは明らかとさえ書かない
というようなことはやめてすべて証明を書くべきですよね。

958:１３２人目の素数さん
18/09/12 12:03:07.45 kwcybl2X.net
それと一々こんなツッコミしても仕方ないけど >>928の例えは酷すぎ
世の中には数学(的思考)に全く触れてない奴が相当数居るんだからそんな質問したところで
意味内容を正確に理解した上での回答になるということ自体希になるからそんな例えに意味が無い
じゃあ >>926のツッコミに対してはどう答えんの？
>>932
＞＞数学書を読んでいると、明らかではあるが、証明をするとなるとちょっと書くのが面倒ということは非常に多い
具体例は？
まさかジョルダンの閉曲線の定理とかやめろよ？
それと｢明らか｣の定義は？

959:１３２人目の素数さん
18/09/12 12:04:47.09 kwcybl2X.net
>>923
＞＞こんな自明な命題をわざわざ手の込んだ方法で、証明していますね。
＞＞ルベーグ積分の本ではこのようなこともちゃんと証明していくのでしょうか？
＞＞他の分野の数学書だったら、「明らかに成りたつ」で終わりですよね。
>>934
＞＞微分積分の本でも、「明らか」あるいは明らかとさえ書かない
＞＞というようなことはやめてすべて証明を書くべきですよね。

は？
お前言ってること真逆じゃん

960:１３２人目の素数さん
18/09/12 12:10:51.90 KMIzTyK6.net
吉田さんのルベグ積分の最初のところを読んだことで、ルベーグ積分の本とは、どのような本なのかが
おぼろげながら分かったような気がします。
素朴で見栄えもしないが、証明するは面倒な命題を延々と証明していく、そんな本なのではないかと推測します。
そして、一度、勉強した後は、その証明など一切忘れて、便利な結果だけを利用していくのではないかとも
推測します。
だとすると、むなしい分野ですね。

961:１３２人目の素数さん
18/09/12 12:13:11.10 kwcybl2X.net
無視か…
しかも >>937の批判は自分に興味の無い分野ならどこでも通じてしまいそうな抽象的な奴だな

962:１３２人目の素数さん
18/09/12 12:15:23.94 KMIzTyK6.net
>>935
「明らか」というのは、直観的に明らかであると同時に証明せよと言われれば面倒ではあるが、方針は
短い時間で思いつくというような感じです。

963:１３２人目の素数さん
18/09/12 12:48:58.96 VqYQFAap.net
>>938
「直観的には正しいと思うし、実際に正しいことが証明されて
いるんだけど、真面目に証明しようとすると、非常にめんどくさい」を
表現する適切な数学用語が、いまのところ普及していないという
事実を正直に見つめよう。
「最初に証明した」に重きを置きすぎて、「直観的に分かりやすく、
納得できる証明を示す」というのも重要なんじゃないか？
「昔から云うではありませんか。『ビブンのことはビブンでせよ』と」
― 高木貞二

964:１３２人目の素数さん
18/09/12 12:52:25.78 VqYQFAap.net
>>940
ベルトランの仮説のチェビシェフの証明を
エルデーシュが簡潔にした、
くらいのコトは言っとけや。

965:１３２人目の素数さん
18/09/12 12:57:36.07 kwcybl2X.net
直観なんて当てにならない
選択公理がいい例
選択公理を使ったバナッハ・タルスキの定理は直観に反しまくってる
｢明らか｣って言葉は真面目に証明したとしてもほんの数行程度で済むような命題・主張に言うべきだと俺は思う
定数関数は連続関数である、とか

966:１３２人目の素数さん
18/09/12 13:03:48.61 kwcybl2X.net
>>940
それは証明に対する姿勢・評価だから数学用語ではない
｢方針が素朴にわかる｣
｢直感的なごり押しで証明可能｣

967:１３２人目の素数さん
18/09/12 13:19:16.02 O67wMgBN.net
素数定理を初等的に証明してもう

968:１３２人目の素数さん
18/09/12 13:52:54.73 gJiRHXKF.net
72. 微分学の定理の証明
微分学の定理なのに、積分学を使って証明されていた数学の定理があった。高木貞治は、積分
を使わず、微分だけでその定理を証明することに成功した。そして、論文の最後にこう書いた。
”昔から言うではありませんか。ビブン（自分）のことはビブン（自分）でせよと。”
他の数学者は、高木はあのコメントを書きたいからあの問題を必死に解いたのだと噂した。
（数学への招待矢野健太郎）
これってどの論文の話ですか？どこに載ってますか？

969:１３２人目の素数さん
18/09/12 13:53:46.45 kHxc2gh+.net
>940
>「昔から云うではありませんか。『ビブンのことはビブンでせよ』と」
>― 高木貞二
「高木貞二」でなくて、「高木貞冶」な
Typoだと思うけれど、いささかはずかいいのではないかい

970:１３２人目の素数さん
18/09/12 14:16:59.30 VqYQFAap.net
>>944
つーか、「素因数分解の一意性の証明」とか
「平方数以外の自然数の平方根は無理数になる」とか
そういうのを高校生の腑に落ちる形で、
証明・説明できるような高校の数学教師が
おるんかいな、みたいな話はあらへんか？

971:１３２人目の素数さん
18/09/12 14:24:51.15 VqYQFAap.net
>>946
ごめん。『解析概論』も『初等整数論講義』も読んでないので、
高木先生に関してはよく知らないんだよ。
たしか、遠山啓先生は高木先生の門下だと思ったが、
中途退学して東北大学に行った、という話もあるので、
応用数学畑（つーか、理工学畑）の人間としては、
ペアノとかヒルベルトとかの系列の、ガチガチの構成主義って
いうのは、あんまり馴染まんのよ。
コンピュータ業界で長年のたくっていたので、ようやく
耐性がついてきた数学ニワカなんで、そのあたりは
勘弁してくれい m(_ _)m

972:１３２人目の素数さん
18/09/12 14:29:38.66 VqYQFAap.net
>>942
「われ見れども、われ信ぜず」
― ゲオルグ・カントール
だいたい「無限」って直観に反するんだよな。

973:１３２人目の素数さん
18/09/12 14:45:20.97 VqYQFAap.net
>>946
そういえば矢野健太郎先生はマンガも描いていらっしゃるそうですね。
読み筋は
「元々のペンネームはニンベンを取った「矢野建太郎」のはずであったが、
一九八一年に『強化戦士アームピット』（『週刊ヤングジャンプ』）で
デビューしたときに名前を誤植され、数学者と全く同じ漢字で誤って
掲載された際に、これを訂正せず、以後現在に至るまでそのままの
ペンネームを使い続けている」。
そういえば、「遠山啓」さんという方がいらっしゃって、『下水道』という
著作があったので、『数学セミナー』の Tea Time だか Coffee Break だかで
紹介されていました。

974:１３２人目の素数さん
18/09/12 14:49:27.84 WukLzqOv.net
>>928
つまり証明できないと。
もうこの辺が君の限界なのでは？

975:Mb
18/09/12 14:49:43.07 VqYQFAap.net
>>950
文芸評論家・指揮者の斎藤秀雄
誰だか知らんけどニコラ・ブルバキ

976:１３２人目の素数さん
18/09/12 14:53:55.95 VqYQFAap.net
>>943
そういうのは「エレファントな解法」と
云わんか？

977:１３２人目の素数さん
18/09/12 15:15:08.65 gqO8oL9b.net
>>937 がルベーグ積分を無視し続けると仮定しよう。
するとヲマエがリーマン積分で「積分と極限操作の可換可能性」についての「非常にめんどくさい議論」を考えてる間に、
世間一般ではルベーグ積分で「積分と極限操作の可換可能性」の「簡単な十分条件」を使うだろう。
どの部分で「非常にめんどくさい議論」をするかはトレードオフになっていて、利となる部分が必ずあるんだ。
こんな風に重要な部分の目前で理解を放棄して数学をやめる人のなんと多いことか。
批判してくれてる人は、裏を返せば、理解しろと激励している人でもある。
でもアスペの症例として叱咤激励に感謝できないんだから、悲しいね。無視してあげて。

978:Mb
18/09/12 17:14:47.27 VqYQFAap.net
>>954
> でもアスペの症例として
ごめん。申し訳ない。
おれもアスペだと診断されているんで、
普通に「馬鹿」とか「白痴」とか「知的障害」って
言ってくれると世間体がいい。
アスペの数学者って、けっこう多いと思うぞ？

979:１３２人目の素数さん
18/09/12 19:46:37.96 kwcybl2X.net
いわゆる松坂君って奴に対するアスペ呼びは悪口のアスペじゃなくて本当

980:のアスペとして言ってるんだけどな周りが何度こいつにスレ違いだの邪魔だの言われても懲りずにずっと続けるし周りの声が聞こえてないしやってることは微積レベルの書籍の粗探しだけレスのパターンも毎回代わり映えもしない似たようなものばっかの繰り返し自分のレスに対して構って貰えた奴に対してはたまにレスを返すぐらいでそれ以外の批判は全く聞こえないかの如くの完全スルー長い間居るらしいのに全然勉強の内容が進歩してないしこれは悪口としてのアスペじゃない素人の判断だが本当の意味の方でのアスペそれとも広汎性発達障害とかになるのかな？

981:１３２人目の素数さん
18/09/12 20:09:55.26 pKnn+fM5.net
アスペ、やまじゅんの本をまとめて貰いたい

982:Mb
18/09/12 20:54:41.51 VqYQFAap.net
>>956
> それとも広汎性発達障害とかになるのかな？
なります（笑）
しばらく前まで「高機能広汎性発達障害」とかいろいろ
言われてたけど（「広範性」か「広汎性」か、
「障礙」か「障碍」か「障害」か「障がい」かで、少なくとも
八通りの表記があった）、最近は「自閉症スペクトラムしょうがい」
（これもまた意見がある）が採用されて四通りに減った。
うちらは面倒臭いので、「高機能の A」（High Functioning Autistic）
と自称している。
そういえば、数学屋って、なんで「木」っちゅーと下に生える
もんだと思ってんだろうな？　下に向かって生えたら、ふつう
「根」って言わねぇか？
ひょっとして「根（ね）」っていうと、「根（こん）」と
紛らわしいからなのかな？　それとも、図を描いているときに、
根本を先に描いてから、先を後に描くから、上に根が来ちゃうのかな？
「先を先に描け」という意見は、数学屋の立場としては
あっていいと思う。

次ページ