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

数学の本第78巻 at MATH

[前50を表示]
700:１３２人目の素数さん
18/09/02 04:42:38.55 mQKpTMLV.net
数学書の行間を丁寧に埋めて出版したら、何冊も買って読むような人にとっては、
電子書籍では容量オーバーの問題が生じかねないし、紙媒体の数学書でも本の分厚さの問題が生じて、
何れの媒体で数学書を読むにせよ、保管のときの問題が生じかねないだろうよ。
日本だと、本屋とかの数学書を売る側の方も、売る書籍の保管に困るだろうよ。

701:１３２人目の素数さん
18/09/02 06:01:09.93 zytnz1GA.net
行間を完全に埋めたら400ページの本が数千ページになるんじゃないか？
それで分かり易いか？大体そんな本誰が書くの？
そういう理由で行間が埋まっている本なんてないんでしょ。
でも、ある分野の人が皆読むような定番の教科書があるなら、
その本の行間を完全に埋めて、章末の問題の丁寧な解答が書かれている本があると嬉しいよな。
各章ごとに１冊づつになってたりして。
新しく中途半端な本なんか書いてくれなくていいから。

702:１３２人目の素数さん
18/09/02 06:30:11.37 mQKpTMLV.net
>>636
>>682は、>>636へのレス。
そもそも、行間を埋めた数学書を発行して売ることは、
国土が狭く人口密度が高い日本のような国では、余り馴染まない。
主な理由は >>682に書いてある。各読者が、行間を埋めて読むしかない。

703:１３２人目の素数さん
18/09/02 07:23:17.72 zkNjobn5.net
岩波数学辞典が最近の版で分厚くなりすぎたのを連想してしまった。
書き手を分担しないと書く側の体力・根気が続かないし、気の利いた図やイラストを入れるセンスを求めるのも、定理証明に慣れてる専門家に求めるのは無理。
まして電子ブックで気の利いたポップアップを出せるような著者は見当たらない。
もう一つ、教科書執筆が評価されて補助金も出るような体制が作られないと、執筆者や出版社の負担が大きすぎて多くの購買層がいる英語圏と同じ水準を求めるのは難しいよ。
むしろ専門教育の予算は削られているのが現状。色々と変えるべきと思うけど政治と予算が別な問題でもあるよね。

704:１３２人目の素数さん
18/09/02 07:36:12.30 zkNjobn5.net
負担が大きいうえにせっかく出版しても細かい誤植の訂正や証明批判への対応やらで、執筆者や出版社が改定・改版の意欲を無くしてしまう問題もあるよ。
版を重ねながら内容が充実するという文化が、日本の数学書では失われているからね。

705:１３２人目の素数さん
18/09/02 11:03:32.28 3AJFVSNW.net
印税÷執筆時間を考えたら日本語の数学の本は割に合わんからなあ
教科書書いたら国から教育予算が増えるわけでもない
大学の先生は昔ほど暇じゃないから教科書は後回しになるね

706:１３２人目の素数さん
18/09/02 11:33:46.04 0kmOXzyP.net
英語で書けば良いだけのこと。
横文字で教科書を書かない、書けないのは無能だから。

707:１３２人目の素数さん
18/09/02 11:46:55.30 D1cv+Y8z.net
もともと数学のできない人向けにわかりやすい本を書くって話だったのに
英語で書けばって…

708:１３２人目の素数さん
18/09/02 11:53:22.11 RPRapvkZ.net
ちなみに初歩入門レベルは母語で学習するのが良く、
ワザワザ英語とかのテキストを使うメリットは無い
というのが定説。
適当な入門書が母語で無い場合は仕方ないが。

709:１３２人目の素数さん
18/09/02 13:00:25.89 GHwQ5pBy.net
>>690
例えば、微分積分にしても、まともな和書なんて数えるほどしかないですよね。

710:１３２人目の素数さん
18/09/02 13:41:18.90 1jlkelwf.net
まともな洋書は数えきれないほどあるのかな？

711:１３２人目の素数さん
18/09/02 14:01:12.45 ZwkeQDLB.net
「出離の道を求めるに非ずんば、一行たりとも読むな。」
岡先生のこの言葉は、本当に深く重い。
数学は、"出離の道"を求めることそのものということだろう。
論文が書きたいとか、周りから認められたいとか、
アカデミックポストが欲しいとか、早く教授になりたいとか、
権威ある賞を得たいとか、名声が欲しいとか、お金が欲しいとか、
高度な数学ができる人間として一目置かれたいとか、
専門外の数学がこんなにできるなんて、なんと頭がよいと驚かせたいとか、
ついでに数学の好きなかわいい女の子たちにもてたいとか、
そんな私利私欲や煩悩の塊のような、さもしい心しか持てないなら、
数学の論文や書物を一行も読んではならないという意味だろう。
まさに数学することの本質をついた名言だ。
必修科目の単位が欲しいとか、卒業したいとかは、それこそ言わずもがな。
内定もらったから卒業できないとヤバイので先生お願いしますは論外中の論外。
そんな邪な心しかないなら、たとえマセマでも読んではならないのだ。
本当に素晴らしい教えだ。しかし、逆に考えれば、出離の心で読むのであれば、
マセマのようなもので勉強しても良いことになる。
実に深い。さすが岡先生は素晴らしい。

712:１３２人目の素数さん
18/09/02 15:42:01.08 T/OVC3zW.net
行間が広いのか狭いのかってのは、著者が読者として想定している層によって決まるんだぞ？プライドとか出版事情とかそんなことではない。
読者は自分に合った本を探せ。行間が気になって仕方ないのならその本はお前にとってただのミスマッチだ。変な勘ぐりはやめてもらいたい。

713:１３２人目の素数さん
18/09/02 15:47:10.62 M0Tk1Z5p.net
行間があることに気付かないってケースの方が遥かに多い
ゼミで突っ込まれて立ち往生した経験があればわかるよね

714:１３２人目の素数さん
18/09/02 15:50:54.71 M0Tk1Z5p.net
>>693
岡の言葉は学生に自身の論文を渡したときの発言。
どんなテキストにも当てはまる話でもないと思う。
岡が自分の論文に自身を持っていたということでもある。

715:１３２人目の素数さん
18/09/02 16:12:42.39 mQKpTMLV.net
>>695
もし批判的態度で慎重に読んでないなら、隠された行間に気付かないのも仕方ないわな。

716:１３２人目の素数さん
18/09/02 16:32:28.08 mQKpTMLV.net
>>693
>出離の心で読むのであれば、マセマのようなもので勉強しても良いことになる。
マセマには、そこから何かを読み取れるとかいったような要素はないだろう。
さすがにマセマで勉強というのはない。

717:１３２人目の素数さん
18/09/02 16:36:31.58 5cpevnJn.net
>>696
岡先生は、数学に限っていえば優秀な人だし、
フランス語にも堪能な人ではあったのだが、
それ以外の話になると、必ずしも優れたヒトでは
なかった。
「マッカーサーが『日本人の精神年齢は、十二歳だ』
と言った」とかいう話をマジで信じて、新聞紙上で
言っちゃったのは、そのあたりの問題が
あったんだろうと思う（『春宵十夜』）。
実際は、マッカーサーは、「ドイツは、ワイマール憲法
以来の民主主義の伝統があるので、民主主義においては

718: 成人だけれども、日本の民主主義はティーンエイジャー（十二歳はトゥエルブだが、十三歳はサーティーンなのでティーンエイジャー）に達していなかった」と擁護した、という経緯を理解していなかった。そのあたりを考えると、「数学者・岡潔」と「人間・岡潔」と、「社会人・岡潔」は、別枠で考える必要があると思うので、「数学の本」という括りでいうと、そのあたりは分別するのが望ましいと思われ。

719:１３２人目の素数さん
18/09/02 17:54:55.23 xI3pFq9w.net
『圏論入門(数学のかんどころ)』のレビューひどいなあ
著者は河合塾で教えている?
授業は成り立っているのだろうか

720:１３２人目の素数さん
18/09/02 18:19:23.10 M0Tk1Z5p.net
>>697
態度の問題にしてはいけない。
自分がちゃんと読めてるかどうか他人に検証してもらう仕組みの問題。
ガロア理論スレで正規部分群の定義を間違えて理解したまま数年間レスしつづけていた人がいて、独学者の悲惨さを感じた。

721:１３２人目の素数さん
18/09/02 18:19:56.50 M0Tk1Z5p.net
>>699
何をわかりきったことを

722:１３２人目の素数さん
18/09/02 18:54:01.63 HGJZb+lc.net
AwodeyのCategory Theoryを訳した人か

723:１３２人目の素数さん
18/09/02 19:20:12.17 /y7WLo05.net
数学に限らず、自分がどこをどこまでちゃんと理解できて･出来ていないかをメタ認知するのは大人として当然なんだが

724:１３２人目の素数さん
18/09/02 19:32:42.01 M0Tk1Z5p.net
>>704
自分のことは自分ではわからないよ

725:１３２人目の素数さん
18/09/02 20:41:44.63 Ji1nWp+A.net
数学に関しては普通の人なら大学に行かないとできないことがあるな
講義なんて出てなくてもいいんだが
まあ自分は天才だ、大学はクソって思ってるのが数学板にはいそうだし
某スレのスレ主も俺が一番って思ってないと我慢できないタイプ

726:１３２人目の素数さん
18/09/02 20:51:30.76 M0Tk1Z5p.net
>>706
正規部分群の定義をわかってなかった人か

727:１３２人目の素数さん
18/09/02 20:53:15.45 XCCzNlI2.net
とにかくおまえらは数オリから始めろ
話はそれからだ

728:１３２人目の素数さん
18/09/02 21:09:51.07 Ji1nWp+A.net
>>707
妙にネットの記事だけ読んでわかった振りしてただけに
なんか本当に哀れだった
でも本人へこたれてないというか根本的に勉強の仕方がわからないんだろうね
意地張って周りの忠告を馬鹿にして先に進めない素人は他にも多いのだと思う
私も自分の隣接分野で勉強しておいた方がいいと思っていたことを
真面目に勉強してこなかったから未だにそっちの研究がしっくりとわからない

729:１３２人目の素数さん
18/09/02 21:52:52.99 YhaXySIG.net
>>709
そのスレ見てないけど、素人数学ファンの人？
だとしたら、たまにいるよね。
最近知り合ってしまったメンヘラのおばはん
がにわか数学ファンで、妄想だけ膨らませて
色々言って来られて超うざいわ。

730:１３２人目の素数さん
18/09/02 22:11:14.51 ka+zUMvC.net
そっと距離を置けばいい話じゃない？
批判のエネルギー、数学に向けようよ

731:１３２人目の素数さん
18/09/02 22:25:32.68 M0Tk1Z5p.net
>>711
高名な数学者はその手の愛好家に悩まされるようだ
森重文の退職記念講義は最後に質問コーナーがなくて不思議だったが、どうもおかしな人の質問を避けるためだったみたい

732:１３２人目の素数さん
18/09/02 22:33:34.31 YhaXySIG.net
なるべくスルーしてるけど、共通の知り合い
もいるからFBとかで絡んで来られるとスルー
しにくい。
少しずつスルー頻度を上げていくわ。

733:１３２人目の素数さん
18/09/02 23:17:58.52 GHwQ5pBy.net
Amazon.comで9月30日まで1度に100ドル以上テキストを購入で10%引きですね。
↓を買うかもし�

734:黷ﾜせん。 Topology from the Differentiable Viewpoint by John Willard Milnor Link: http://a.co/d/fa9Acbo Differential Geometry of Curves and Surfaces: Revised and Updated Second Edition (Dover Books on Mathematics) by Manfredo P. do Carmo Link: http://a.co/d/bUjq7dk Differential Topology (AMS Chelsea Publishing) by Victor Guillemin et al. Link: http://a.co/d/7W6Csyy

735:１３２人目の素数さん
18/09/02 23:23:24.47 ka+zUMvC.net
>>712-713
あれは配慮だったんだね、そうかなと思ってた
批判と怒りって、自分で思ってる以上に脳と精神のリソースを食うのよ
スルーなり距離を置くなり、心の平安を守れるのは自分の行動だけ

736:１３２人目の素数さん
18/09/02 23:50:33.96 ka+zUMvC.net
>>704
メタ認知には死角（錯覚）があるのよ
でもそこに落とし穴と人が伸びる急所がある
 >>701 >>705 の理由もここにある

737:１３２人目の素数さん
18/09/03 00:09:50.53 YuW2EJZR.net
>>701
定期的に人前で説明する機会を持つべきだね。
細かい証明まで、すべてやった方がいい。

738:１３２人目の素数さん
18/09/03 00:44:20.87 4cKFak7p.net
ネットだと、わかってないバカ、ググレカスみたいに言われたりするけど
それを親切と思って考え直せる人じゃないと少なくとも5chは向かないだろうな
こじらせちゃったのは何人か見た
Kingとか生きてんのかｗ　あいつも全然バカではなかったがずれてたな
Kummerも色々なこと知ってた割りに独学の哀しさかだんだんおかしくなった
どっかのスレ主もそうだが、人の批判を受け付けないのが共通している

739:１３２人目の素数さん
18/09/03 00:49:16.78 276Z+Rre.net
独学者のほとんどは金が無い、暇が無い、コミニュティと縁が無いで結局折れる。

740:１３２人目の素数さん
18/09/03 01:11:14.72 clGXOAZz.net
King？
Kummer？
どっかのスレ主？

741:１３２人目の素数さん
18/09/03 04:20:07.56 aHUmPEEz.net
>>712
>森重文の退職記念講義は最後に質問コーナーがなくて不思議だったが、どうもおかしな人の質問を避けるためだったみたい
在職中にいろいろ恨みかってない？

742:１３２人目の素数さん
18/09/03 15:42:19.32 veHiAQ+W.net
微分位相幾何学
Victor Guillemin
固定リンク: URLﾘﾝｸ(amzn.asia)
↑翻訳はやはりひどいですか？
やはり↓を買ったほうがいいですかね？
Differential Topology (AMS Chelsea Publishing)
by Victor Guillemin et al.
Link: URLﾘﾝｸ(a.co)

743:１３２人目の素数さん
18/09/04 10:52:13.90 b/tGMDaD.net
>>693
一神教的な欧米人アラブ人は常に神の前に謙虚になることを求められる
東洋人は信じるものを持たない野蛮人なのでナルシシスト、エゴイストだらけ
その反面、欺瞞的な建前論を取り繕うことだけは一応上手だけど
これはネットを見ててもとても強く実感する
見方によっては先生は、学問に取り組むに欠かせない謙虚さを得るため
仏道修行を取り入れたりしてたんでしょう
夏目漱石を読んだりしてたのもこういう動機からなのかも

744:１３２人目の素数さん
18/09/04 12:45:11.04 BCan/tLK.net
>>723
まぁ、それ言うたらエルデーシュはどうなのよ、
ってな話もあるわけだが（笑）
ハンガリーだからヨーロッパやアメリカとは
別枠、っちゅー話はあるかもしれんけど。
イスラエル出身の数学者もけっこういるので、
むしろ民族性やら宗教性やら思想性やらを
振り切るために、数学をやってんじゃないか
という気もしないでもない。

745:１３２人目の素数さん
18/09/04 15:28:50.53 4aj2pbie.net
>>701
>自分がちゃんと読めてるかどうか他人に検証してもらう仕組みの問題。
ダメな準備をして他人に検証してもらったら、やはりゼミでは突っ込まれて立ち往生食らう。
例えば、誤植、脱字、証明なしでの「自明」とかの断り書き、具体例の構成、
或いは読む何かの順序が論理的順序が入れ替わって書かれていること、
或いは実は証明出来る事柄が証明なしに単文や節或いは式などで
次々と本文中に(間違って)書いていたりするような形式の説明、
或いは、本文中で前に書かれた形式の説明を飛躍させて書いた本文中の説明のことなどを、
>>695では「行間があることに気付かないケース」といっていた可能性はある。
>>697に書いた「批判的態度」とは「批判的な精神を持った態度」を指していて、
その検証してもらう仕組みの問題も、基本的には他人に検証してもらう側(自分)の問題に帰着される。

746:１３２人目の素数さん
18/09/04 15:42:02.85 AcCNS/r4.net
>>725
頭が堅くて悪い人の文章

747:１３２人目の素数さん
18/09/04 15:46:59.03 4aj2pbie.net
>>726
「頭が堅い」、「頭が悪い」の定義は？

748:１３２人目の素数さん
18/09/04 15:51:26.00 AcCNS/r4.net
>>727
そのレスで頭が堅くて悪いことがわかっちゃうよね

749:１３２人目の素数さん
18/09/04 15:51:36.37 4aj2pbie.net
>>726
そうそう、昔の本だと >>725のようなことはしばしばある。
他にも、重要な定理が演習になっていて、それが後の説明で
空気のように暗黙に使われていたり。

750:１３２人目の素数さん
18/09/04 15:56:15.57 4aj2pbie.net
>>728
「頭が堅い」とか「頭が悪い」というのは、単文で書かれても、
どのように堅いのか、どのように悪いのかが説明されてなく、多義的解釈が出来る。

751:１３２人目の素数さん
18/09/04 16:02:14.99 hhBL+Yjq.net
自演？

752:１３２人目の素数さん
18/09/04 16:07:45.37 4aj2pbie.net
>>731
はじめにこちらが書いた >>725に対して、>>726が突っかかって来て相手した。
概して「頭が悪い」という表現は、意味ははっきりとは定まってなく、何通りかの解釈が出来る。

753:１３２人目の素数さん
18/09/04 16:10:48.00 BCan/tLK.net
カール・ポパーの反証主義とか
そのあたりを踏まえて議論するのが
建設的じゃねぇのかな？

754:１３２人目の素数さん
18/09/04 16:16:42.95 Li0IJA6a.net
相手にしなきゃいいのに
言われてムカついちゃったのかな？

755:１３２人目の素数さん
18/09/04 16:53:02.11 4aj2pbie.net
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
昔、そのホームページのどこかにゼミの準備の仕方や心得とかについて事細かに書いていたけど、
今ではそれは何か更新されているようだ。サイトによると、
サラリーマンの勤労時間とセミナーの準備時間とを関連付けて説明していて
1回のゼミの準備に100時間以上かけてもおかしくはないようだ。
このようなことは昔から変わっていなく、今でも書かれてある。
>>734
「頭が悪い」という単文は「頭が(どのように)悪い」のかが
説明されていない点において、客観的な説明にはなっていない。
その点で、頭ごなしに「頭が悪い」ということは好まない。

756:１３２人目の素数さん
18/09/04 17:11:58.22 AcCNS/r4.net
要するに、自分がちゃんとしてれば大丈夫っていうのは独りよがりに過ぎないってこと。

757:１３２人目の素数さん
18/09/04 17:21:01.97 4aj2pbie.net
>>736
独学は「何とかなるさ」という考え方でないと出来ん。
高度な概念を覚えていくうちに、昔の学習事項を見直す機会もそのうちある。
また、先書いたような事柄は、或る意味演習問題でもある。

758:１３２人目の素数さん
18/09/04 17:24:26.31 4aj2pbie.net
そういえば、昔の数学者は多くが独学なんだよな。

759:１３２人目の素数さん
18/09/04 17:34:17.11 Kp0UoPpN.net
河東のゴミ糞を引用とはいかにも藤四郎w

760:１３２人目の素数さん
18/09/04 17:43:38.22 4aj2pbie.net
>>739
当の本人はそういわれることについて繊細らしい。
セミナーの準備についてのサイトが他に見つからなかった。

761:１３２人目の素数さん
18/09/04 18:08:14.18 +Gew6a/W.net
>>738
独学のようで、どこかで誰かに教えてもらったことが
役に立ったという話もある
別に専門的な数学で無くても

762:１３２人目の素数さん
18/09/04 18:09:44.34 +Gew6a/W.net
>>740
河東のサイトを参考にして自大学の学生に合うように書き直して
配布してる人は知ってる
東大でアカポス目指す学生でなければもう少し気楽にやっても良い

763:１３２人目の素数さん
18/09/04 18:11:19.27 YjaroEBj.net
数学書を読みやすくするための要求
要求1　ある定理の証明内で示された数式(や行われた議論)を、他の証明内から引用するのはやめて下さい。
つまり、証明は1つ1つ独立させて下さい
要求2　P(x,y)を述語とする時、∀x∃ｙP(x,y)を主張する時に｢全てのxに対して、P(x,y)を成り立たせるようなｙが存在する｣という日本語和訳表現を使うのはやめて下さい。
｢全てのxに対して、ｙが存在して、P(x,y)が成立する｣等の言い方にして下さい
要求3　本編で証明されるべき事柄を一部演習問題にするのは構いませんが、その逆はやめて下さい。
つまり、本編における議論･証明に於いて演習問題(の結果)を引用するのはやめて下さい。
要求4　集合を定義する時は、X={α|αは○○を満たす}のように内包的記述をして下さい。
｢○○を満たす物全体のなす集合をXとする｣のように書いてTeXの手間を略さないで下さい。
要求5　証明の“主骨格”が背理法なら、きちんと｢○○であると仮定する｣と述べて下さい。
(主骨格が背理法にもかかわらず、あたかも何かを証明しようと議論進んでいるように見せかけて、最後の最後に○○が成り立たないなら△△に矛盾するという議論をたまに見かけるが、読みにくい)。
要求6　突然何を言い出してるのか分からないような議論を始めて、ウダウダ述べた挙げ句に｢～。では、以上の内容を定理として纏めておこう｣っていうスタイルはやめて下さい。

764:１３２人目の素数さん
18/09/04 18:20:48.82 YjaroEBj.net
要求7　場合分けで、Aの場合、Bの場合、Cの場合、…の時は、A,B,C毎に改行するなどしてプログラミングのswitch文で各ケースを並列させるようにして、分かり易くして下さい。

765:１３２人目の素数さん
18/09/04 19:27:54.82 AcCNS/r4.net
>>737
他人に見てもらうのを怖がっているようにしか見えない

766:１３２人目の素数さん
18/09/04 19:59:45.37 BCan/tLK.net
数学の世界は狭いようで広い。
誰も見向きもしない未解決問題が、
わりと足下に転がってたりする。
とはいえ、解決したはいいけど、
どこに発表したらいいのかわからん (T_T)
とかいった些末な問題もあったりするので、
始末に悪い。
小林吹代『ピタゴラス数を生み出す行列のはなし』
とかは、「何か新しい話はあるのか？」みたいな
疑問がある。だったら細矢治夫『トポロジカル・インデックス
― フィボナッチ数からピタゴラスの三角形までをつなぐ新しい数学』
のほうが、解決に向かおうとする悪戦苦闘っぷりが如実に読み取れて
数学の本としては価値があるように思う。

767:１３２人目の素数さん
18/09/04 20:31:08.54 eW7aTdZu.net
亀谷俊司著『解析学入門』を読んでいます。
不動点定理を使って、陰関数の定理、逆関数の定理を証明しているようです。
Tietze の連続関数延長定理とかいう定理も書いてありますね。

768:１３２人目の素数さん
18/09/04 20:40:57.14 +Gew6a/W.net
>>745
ネットで天狗になってるのはそんな連中だろうね
わからないとなると適当にはぐらかして逃げる

769:１３２人目の素数さん
18/09/04 21:22:44.72 8raOzXkV.net
工学系4年の者です。物理数学(線形微積フーリエラプラス等)の1冊にまとまった演習書で詳解物理応用数学演習以外のオススメの本ありますか？なければ詳解やるつもりです

770:１３２人目の素数さん
18/09/04 23:09:57.91 CYaCsBbJ.net
工学仕様の何かいい本ありませんか？ってことでしょ
数学の人が数学仕様の何かいい本ないですか？って聞くかよｗ

771:１３２人目の素数さん
18/09/04 23:32:50.84 RONEnAFJ.net
ないよ（´・ω・｀）

772:１３２人目の素数さん
18/09/05 01:43:38.06 3Du5bqiV.net
>>745 ( 昨日のID：AcCNS/r4 )
>>742 ( 昨日のID：+Gew6a/W )
よく知らんが、何やら >>716のいう「メタ認知」という言葉を検索すると、それは1970年代に広まったそうだ。
そのメタ認知の能力が高い長所は多いそうだ。だが、何やらその能力には短所もあって、
客観的に見る能力に長けたメタ認知能力が高い人は、
その客観的に見る能力に長けたことが仇になって、自意識過剰になることがあるとのこと。
それとは関係ないが、>>725や >>729のようなことは、少なくとも1960年～70年代の本の中には当てはまることがある。
>>742
>東大でアカポス目指す
って書いているけど、それ以前に、現在の日本は博士号がないとアカポスには就けない仕組みになっている。

773:１３２人目の素数さん
18/09/05 02:28:24.89 4sqhKt71.net
>>752
なにこの垂れ流しの文章

774:１３２人目の素数さん
18/09/05 02:40:36.76 3Du5bqiV.net
>>753
そもそもメタ認知とかには興味がないが、検索した結果、
もし、>>745=>>753か >>742=>>753なら、
正に >>753は自意識過剰な状態のレスといえるとのこと。

775:１３２人目の素数さん
18/09/05 03:32:34.96 0nDWKeZg.net
>>753
>>728
>>726
文章書ける頭のない茶々入れの女々しい嫉妬

776:１３２人目の素数さん
18/09/05 06:13:05.99 190M5rQg.net
>>747
「Tietze の連続関数延長定理」は、最近の本では『ティーチェ拡張定理』 (Tietze extension theorem) と呼ばれることが多いです。
使い道は色々ある基本定理ですが、トポロジーを学習すると出てくる「可分ではない部分空間」、例えばゾルゲンフライ平面 (Sorgenfrey plane) やムーア平面 (Moore plane、Niemytzki平面とも呼ぶ) 、を扱う時に知っていると重宝します。
その本は1950年代に書かれているので、最近の微積分や解析の教科書ではあまり扱われない定理も書いてありますが、先々トポロジーを学習するときに思い出して使いこなしてあげましょう。

777:１３２人目の素数さん
18/09/05 07:43:02.14 4sqhKt71.net
>>755
他人の検証を受けた方が良いという妥当なアドバイスを頑なに拒否する奴に嫉妬するわけない
馬鹿か

778:１３２人目の素数さん
18/09/05 10:25:36.65 3Du5bqiV.net
>>757
ITがなかった時代では、通信手段は電話や手紙のやり取り位になって、
「他人の検証を受けた方が良いというアドバイス」もしようがなかっただろう。
そもそも、どれも単文で書かれた3つのレス >>726、>>728、>>753が
 >>701と同一人物かどうかについてはまだ疑問が残るが、
何れにしろ単文で書かれたそれら3つのレスには共通して
「文章を書ける頭のない茶々入れ」の傾向が見られることには変わりがない。

779:１３２人目の素数さん
18/09/05 14:14:00.32 4sqhKt71.net
>>758
アドバイスを茶々としか受け取れないクズ

780:１３２人目の素数さん
18/09/05 15:29:43.51 FCDBxkcY.net
>>759
そもそも、トポロジーっていうと
「開集合」という概念に対して
具体的なイメージを持たないと
「解った」「納得した」っていう
感触が得られないんだよな。
そうすると、解析学の基礎まで立ち戻って、
「極限とはなんぞや？」みたいな話になるわけだが、
解析学っていうのは「稠密かつ連続で、あらゆる
ところで無限回微分可能」みたいなのが（フラクタルとか
やってない、工学系の人間には）頭に入っているので、
ものすげぇパラダイム・シフトが必要になってくるわけ。
そのあたり、「たとえば物理的に説明すると、具体的には
こんな感じ」みたいなのが欲しいところなんだけどな。

781:１３２人目の素数さん
18/09/05 15:42:28.72 3Du5bqiV.net
>>759
>>705(>>701)が書いた
>自分のことは自分ではわからない
という主張に則って考えてみる。時間のことは考えない(数年単位での多少の時間のズレは考えない)。
その主張に則って考えると、或る人物 A_0 を検証する者 A_1 についても
A_1 のことは A_1 自身では分からないといえることになる。
だから、2人の人物 A_0、A_1 を外部から見ると
2人の人物 A_0、A_1 のことは A_0、A_1 の2人だけでは分からない
ということになる。そのため、>>705の主張に則って考えると、
A_0、A_1 のどちらとも異なる外部の第三者 A_2 が必要になり、
2人の人物 A_0、A_1 のことを A_2 が検証する必要が生じる。
だが、同様に3人の人物 A_0、A_1 A_2 を外部から見ると
3人の人物 A_0、A_1 A_2 のことは A_0、A_1 A_2 の3人だけでは分からない
ということになる。そのため、>>705の主張に則って考えると、同様なことを考えることが続くことになる。

782:１３２人目の素数さん
18/09/05 15:47:27.33 3Du5bqiV.net
>>759
(>>761の続き)
そこで同様に考えると、地球上の人口の総数は有限だから、
或る正の整数n n≧2 が存在して、nは地球上の人口の総数になると同時に、
n人の人物 A_0、A_1、…、A_{n-1} のことは A_0、A_1、…、A_{n-1} のn人だけでは分からない
ということになる。そのため、>>705の主張に則って考えると、
A_0、A_1、…、A_{n-1} の何れとも異なる外部の第三者 A_n が必要になり、
n+1人の人物 A_0、A_1、…、A_{n-1} のことを A_n が検証する必要が生じる。
その結果、>>705は地球上の人のことは地球上の人だけでは分からないと主張していることになる。
(補足だが、それと同時に、A_0、A_1、…、A_{n-1}、A_n の総数はn+1人だから、
>>705の主張の解釈次第(例えば、理解出来ているか検証してもらう側の A_0 の理解度を完璧にしようとするような立場での解釈)では、
地球上の人口の総数について矛盾が生じるともいえることになる。)
そのようにして、>>705の主張には破綻が生じている。
そもそも、地球上の人だけでは地球上の人のことは分からない。
論文ではあるまいし、理解度にはどこかで妥協させて終わらせるしかない。

783:１３２人目の素数さん
18/09/05 16:03:26.39 3Du5bqiV.net
>>759
>>762の
>n+1人の人物 A_0、A_1、…、A_{n-1} のことを A_n が検証する必要が生じる。
の部分は
>n人の人物 A_0、A_1、…、A_{n-1} のことを A_n が検証する必要が生じる。
に変更。

784:１３２人目の素数さん
18/09/05 16:59:02.90 FCDBxkcY.net
>>763
気分的には、
> 或る正の整数 n n≧2 が存在して、n は地球上の人口の総数に
> なると同時に、n人の人物 A_0、A_1、…、A_{n-1} のことは
> A_0、A_1、…、A_{n-1} のn人だけでは分からない
> ということになる。
というより、
「ある自然数 n が存在して、n は地球上の人口の総数以下に
なると同時に、『n人の人物 A_1、A_2、…、A_{n} のことは
A_1、A_2、…、A_{n} のn人だけでは分からない』
ということになる。」
と主張する（神とか、地球外生命体とか、人工知能とかの
ような、人智を超えた存在も視野に入れる）ほうが、
説明上はわかりやすいように思う。

785:１３２人目の素数さん
18/09/05 17:26:19.81 X19aJJi/.net
>>750
数学科の認識はよく分からないんですが詳解をコンパクトにしたやつあったら教えて下さい

786:１３２人目の素数さん
18/09/05 17:26:31.43 FCDBxkcY.net
およそ専門書というものは、
「理解している人間」が
「まだ理解していない人間」に対して、
理解を促すために書かれているのだが、
「理解している人間は、まだ理解していない
人間に対する配慮が十分ではない」ように
思う。
これは数学ではなく航空工学の話だが、
「ベルヌイの定理」は航空工学における
最大の難所ではあるのだが、
「あれは、要するにエネルギー保存則であって、
『圧力損失+運動エネルギーの差＋位置エネルギーの
差＋熱損失』が、定常状態の流管における損失に等しい」
と言ってくれりゃあいいものを、と思うんだが、
そこに言及した航空工学の本というのは見た
ことがなくて、天下り的に「ベルヌイの定理」が
出てくる。
「数学の本は、そのあたりの配慮に大きく欠けては
いないだろうか？」、と思う。

787:１３２人目の素数さん
18/09/05 17:33:42.40 FCDBxkcY.net
>>765
ぶっちゃけ、「コンパクトにまとまった、わかりやすい本」
というのは、「あったら俺が欲しい」くらいなので、
微積分と線形代数はそれぞれ遠山啓と森毅、
フーリエ変換とラプラス変換は、それぞれ
工学系の専門書（前者は電気工学、後者は制禦工学）
を適当に漁って、自分なりに頭の中でイメージを
統合するくらいの方法しか思いつかない。

788:１３２人目の素数さん
18/09/05 18:40:57.81 VQsMhkC4.net
教科書は理論のユーザーが書いた方が分かりやすくて良い本になる

789:１３２人目の素数さん
18/09/05 18:52:04.20 0nDWKeZg.net
>>757
>>759
短文ゴミレスがアドバイス？片腹痛いわアホ

790:１３２人目の素数さん
18/09/05 19:37:39.01 FCDBxkcY.net
これは数学板で言うようなこっちゃないのだが、
非線形の微分方程式は
あらかた解析的には解けんので、
工学的な問題は、線形二次の微分方程式を
あっちゃこっちゃ重ねたり繋いだり（最近は
コンピュータが強力なので、つなぎ目は
数値計算つーかシミュレーションでごまかす）して
解くのが常套手段だ（人工衛星の大気圏への突入とか、
航空機で音速を突破するとかが代表例）。
そういう意味では、微分方程式の
基本的な部分に関しては
デヴィッド・バージェス／モラグ・ボリー
『微分方程式で数学モデルを作ろう』
（日本評論社）あたりは、工学畑の学生
（大学二・三年生くらい）には読みやすくて
いい本なんじゃないかと思う。

791:１３２人目の素数さん
18/09/05 19:53:04.79 sm55I3oV.net
とにかく数オリやれや、おまえら！

792:１３２人目の素数さん
18/09/05 19:58:42.35 v0oO+Th7.net
>>771
ちんぽ！

793:１３２人目の素数さん
18/09/05 20:11:54.16 JhHyuIxm.net
おちんぽミルクってなんですか？

794:１３２人目の素数さん
18/09/05 20:32:39.34 JCT90QPJ.net
>>766
＞
＞微分方程式の基本的な部分に関しては
＞デヴィッド・バージェス／モラグ・ボリー
＞『微分方程式で数学モデルを作ろう』
＞（日本評論社）あたりは、工学畑の学生
＞（大学二・三年生くらい）には読みやすくて
＞いい本なんじゃないかと思う。
同感！
私は、論理学の「超：解かり安い本（真に「名著」と呼ばれるに値する本
（E-Book）」を書くべく日夜励んでいるのだが、なんせ、このクソ暑さだ！

795:１３２人目の素数さん
18/09/05 20:42:30.13 4sqhKt71.net
>>769
ID:0nDWKeZg
みごとなブーメラン

796:１３２人目の素数さん
18/09/05 20:42:59.08 JCT90QPJ.net
このサイトは、まさに、”玉石混交”だな　(^o^)

797:１３２人目の素数さん
18/09/05 20:53:22.91 v0oO+Th7.net
>>776
ちんぽ！

798:１３２人目の素数さん
18/09/05 21:43:57.55 5QUtDujh.net
日本人は全員ゴミ

799:１３２人目の素数さん
18/09/05 22:45:26.72 5u4R79Su.net
列島民は全員チョン

800:１３２人目の素数さん
18/09/05 22:50:43.73 +q3z4XrP.net
日本人は全員ホモ

801:１３２人目の素数さん
18/09/06 00:48:10.31 4brS8X5s.net
>>775
月並みな〆しょーもないやつ
最初の噛みつきからずっと自分のアホさらしとる
女々しい嫉妬の意味がさっぱり分かっとらんなコイツwww

802:１３２人目の素数さん
18/09/06 02:11:24.56 d2d/CtG2.net
>>781
人格攻撃してまで自分の理解を他人に検証させるのを避けようとする。
そこまで嫌がるのはなぜだろう。

803:１３２人目の素数さん
18/09/06 03:13:42.41 VFrTLUxZ.net
>>782
他人から自分の理解を他人に検証させるのを避けようとする
と思われている当の私は、昨日の
 >>752=>>754=>>758=>761=>762=>763 ( ID：3Du5bqiV )
で、>>>781とは別人である。尚、昨日は >>761-763にて >>705の主張には破綻があるとレスした。
だが、>761-763には返答や反論はない。この話題はもう終了でいいだろう。

804:１３２人目の素数さん
18/09/06 04:32:02.40 jU+e5wld.net
論理学って、一般の人が想像するのは古典論理か
プール代数だろうけど、ちょっと応用面になると、
プール代数におけるフリップフロップみたいな
時間様相が入ってくるじゃないですか。さらに
制禦とかをやろうとすると、ファジイ論理とかも
視野に入ってくるし。
一方で、証明可能性とかになると、「二重否定の除去」が
できないから直観論理が必要になってくる（「神が存在しないことの
証明が可能でないならば、神は存在する」は、一般的に正しくない。
とはいえホーン節の論理だと、閉世界仮説が通用するので
「正しい」という教条主義的な結論になりそうだが）とか、
様相論理（多値論理？）とか考えないと「多数派の多数派は必ずしも
多数派ではない」みたいなわりと素朴な推論も、うまく扱えない。
各論は掘り下げなくてもいいけど（それぞれ専門の本はある）、
それぞれの論理の概

805:観的な紹介と現実的な応用、またそれぞれの論理の関係について、ざっくりと解説してくれているような本ってないのかな。

806:１３２人目の素数さん
18/09/06 06:01:08.86 pF747JEN.net
>>784
三浦俊彦、戸田山和久は両者哲学者
一般人でも読めるような面白い本も出してるいい研究者です
戸田山の｢論理学を作る｣は初学者に超超超分かり易いです

807:１３２人目の素数さん
18/09/06 06:09:24.46 jU+e5wld.net
>>785
さっそくのお奨めありがとうございます m(_ _)m
捜してみます。
「数学基礎論は数学の異端児で、論理学は哲学の異端児だ」
そうですが、あのあたりの領域やゲーム理論の分野は、
ギスギスしていないので居心地がよくて好きです。

808:１３２人目の素数さん
18/09/06 08:11:26.25 S17wKvem.net
概観に良いのを３冊ほど。
[1] 前原昭二竹内外史「数学基礎論」ちくま学芸文庫
　文庫で200ページ。内容は不完全性定理だけでなく直観論理、ファジー論理、計算論など。
[2] 戸田山和久「論理学をつくる」名古屋大学出版会
　多値論理、直観論理、様相論理など。これは単行本。 >>785 のやつ。
[3] 三浦俊彦「改訂版可能世界の哲学「存在」と「自己」を考える」二見文庫
　可能世界。

次ページ