マセマはなぜ批判されるのか
■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
2025/04/11(金) 09:22:48.68ID:s/lI5WV3 マセマでもやれば力はつくのでは?
2025/04/11(金) 09:52:42.54ID:2w1xXvFi
良スレの予感
3132人目の素数さん
2025/04/11(金) 10:15:09.96ID:bdmoKI4w フォントとレイアウトが見づらい
2025/04/11(金) 10:44:44.43ID:ou7z8euJ
働けウンコ製造機
5132人目の素数さん
2025/04/11(金) 12:25:48.18ID:Uq7gawEh マセマで「数学の力」がつくことはありません
あれは数学とは別のゲームの攻略本だからです
あれは数学とは別のゲームの攻略本だからです
6132人目の素数さん
2025/04/11(金) 12:33:02.74ID:vMWdNlBR 数学書=野球の指南書
マセマ=パワプロの攻略本
マセマ=パワプロの攻略本
7132人目の素数さん
2025/04/11(金) 13:40:38.55ID:Yz2ruFCK 数学とは別のゲームの攻略本とわかっていれば気にならないけど
それがわからない人がムキになって否定しているということ?
それがわからない人がムキになって否定しているということ?
8132人目の素数さん
2025/04/11(金) 13:49:25.43ID:Yz2ruFCK 数学科の人でも正直な人は使っていることを認めるけど
見栄を張る人は知られたくないので否定するとかね
見栄を張る人は知られたくないので否定するとかね
2025/04/11(金) 16:51:22.48ID:UtFItYkK
自分は大したことない癖に数学の敷居を上げたい頑固親父が批判してるだけ
まあ強いて言えば代数があれば完璧だったな
まあ強いて言えば代数があれば完璧だったな
10132人目の素数さん
2025/04/11(金) 18:19:55.83ID:nT1cC1X6 >>7
具体的に誰が否定しているの?
具体的に誰が否定しているの?
11132人目の素数さん
2025/04/11(金) 18:34:04.32ID:HC0S1yKW ひ‐はん【批判】 の解説
[名](スル)
1 物事に検討を加えて、判定・評価すること。「事の適否を―する」「―力を養う」
2 人の言動・仕事などの誤りや欠点を指摘し、正すべきであるとして論じること。「周囲の―を受ける」「政府を―する」
3 哲学で、認識・学説の基盤を原理的に研究し、その成立する条件などを明らかにすること。
→批評[用法]
出典:デジタル大辞泉(小学館)
スレタイは2の用法ですな
[名](スル)
1 物事に検討を加えて、判定・評価すること。「事の適否を―する」「―力を養う」
2 人の言動・仕事などの誤りや欠点を指摘し、正すべきであるとして論じること。「周囲の―を受ける」「政府を―する」
3 哲学で、認識・学説の基盤を原理的に研究し、その成立する条件などを明らかにすること。
→批評[用法]
出典:デジタル大辞泉(小学館)
スレタイは2の用法ですな
12132人目の素数さん
2025/04/11(金) 18:42:31.05ID:HC0S1yKW 学術書でも誤字・誤植・学説の誤り等々が含まれている前提で1の意味で批判的に読むべきなのである。
13132人目の素数さん
2025/04/12(土) 00:19:00.96ID:bvXCCG2b 数学科でやるような内容は他の出版社が出している本で勉強すればいいので
ないものねだりをしてはいけないのです
ないものねだりをしてはいけないのです
14132人目の素数さん
2025/04/13(日) 15:19:22.20ID:B0X/gX1M マセマは計算方法を習熟させる方針なので
理論を考えさせる方向性はあまりない
というかそういうのが苦手な人が読む本
だから数学科の人が読んではいかんとはいわんけど
「こんなんで分かったと思っちゃいかんな」という気づきが必要
つまり最初のステップとして使い次に進んだら容赦なくブックオフに売る本
理論を考えさせる方向性はあまりない
というかそういうのが苦手な人が読む本
だから数学科の人が読んではいかんとはいわんけど
「こんなんで分かったと思っちゃいかんな」という気づきが必要
つまり最初のステップとして使い次に進んだら容赦なくブックオフに売る本
2025/04/13(日) 17:57:03.70ID:rKwkbBJE
>>14
マセマだけでは研究したり論文が書けないのは事実だが、
計算のアルゴリズム的な意味での意味を明確にするというのは非常に重要だけどね
数学科でも代数になった途端にそこで脱落することが多いが、あれは数学書にも
一端の責任がある
マセマだけでは研究したり論文が書けないのは事実だが、
計算のアルゴリズム的な意味での意味を明確にするというのは非常に重要だけどね
数学科でも代数になった途端にそこで脱落することが多いが、あれは数学書にも
一端の責任がある
2025/04/13(日) 17:59:33.41ID:rKwkbBJE
要するにマセマの良さを取り入れた数学書というのは全然あっていいと思う
2025/04/13(日) 18:01:48.67ID:IGpl4TKW
>>14
微分形式や(コ)ホモロジーの計算まで辿り着いてほしい
微分形式や(コ)ホモロジーの計算まで辿り着いてほしい
2025/04/13(日) 18:47:13.82ID:rKwkbBJE
加群のコホモロジーも高校整数と線形代数からあと一歩だから、
アーベル圏くらいまでをマセマ形式にするのは全然可能だろうな
尤もまあまあわかりやすい類書はあるが
アーベル圏くらいまでをマセマ形式にするのは全然可能だろうな
尤もまあまあわかりやすい類書はあるが
19132人目の素数さん
2025/04/13(日) 20:17:16.65ID:B0X/gX1M 「ヤング・タブロー」はマセマほど逝っちゃってないが
ID:rKwkbBJEがいう方向性に向かってる気がする
そのうち表現論もマセマみたいな本が出るかもな
ID:rKwkbBJEがいう方向性に向かってる気がする
そのうち表現論もマセマみたいな本が出るかもな
20132人目の素数さん
2025/04/13(日) 21:16:20.51ID:Z4TwFY7x21132人目の素数さん
2025/04/13(日) 21:19:01.40ID:Z4TwFY7x 将棋棋士の昼飯や藤井聡太の生い立ちに詳しくなっても、将棋が強くなることはない
それと同じ
マセマは、棋書ではなくぴよりんとか鉄道についての本
で、そういう本の需要はあるのだから、それを売るのも買うのも悪いことではない
ただ、マセマを読んでも数学が理解できるようになることはない。それだけ
それと同じ
マセマは、棋書ではなくぴよりんとか鉄道についての本
で、そういう本の需要はあるのだから、それを売るのも買うのも悪いことではない
ただ、マセマを読んでも数学が理解できるようになることはない。それだけ
22132人目の素数さん
2025/04/13(日) 21:30:27.18ID:tojy4/5X 高校の時からチャート式とかやってるから、数学書とそうでないものの区別がつかなくなってる
2025/04/13(日) 22:43:36.27ID:r1SvdjSI
>>21みたいな非論理的な極論で否定する人間と、微積分や線形代数で
チャート式を監修する文元のどっちを信用するかだよな
チャート式を監修する文元のどっちを信用するかだよな
2025/04/13(日) 23:12:01.47ID:IGpl4TKW
25132人目の素数さん
2025/04/13(日) 23:15:44.51ID:Skdp0f6U >>23
IUT商売してる時点で数学界での信用無いよ
IUT商売してる時点で数学界での信用無いよ
26132人目の素数さん
2025/04/13(日) 23:21:02.52ID:4j6F0V5h2025/04/14(月) 00:02:35.67ID:eqTZRn5/
28132人目の素数さん
2025/04/14(月) 00:43:38.51ID:GaT9j2rV 参考
https://suushikiniumoreru.com/calculus-book/
微分積分学のおすすめの参考書をレベル別に紹介!!
目次
微分積分学のおすすめの参考書(数学に苦手意識がある方向け)←マセマはここ
微分積分学のおすすめの参考書(数学がある程度得意な方向け)
微分積分学のおすすめの参考書(数学を専攻している方向け)
https://suushikiniumoreru.com/calculus-book/
微分積分学のおすすめの参考書をレベル別に紹介!!
目次
微分積分学のおすすめの参考書(数学に苦手意識がある方向け)←マセマはここ
微分積分学のおすすめの参考書(数学がある程度得意な方向け)
微分積分学のおすすめの参考書(数学を専攻している方向け)
2025/04/14(月) 01:28:17.92ID:NJ/NkC9B
マセマと斎藤毅両方読んだって何ら構わないわけだし、変なプライドで
拘る必要はないよ
拘る必要はないよ
30132人目の素数さん
2025/04/14(月) 04:21:16.08ID:X6lygg0Q >>29
「変なプライドで拘る」という話がどこから出てきたのかが不明
「変なプライドで拘る」という話がどこから出てきたのかが不明
2025/04/14(月) 18:37:01.00ID:jhEEpSM2
研究者以外の癖に見栄張って挫折、積ん読→ただの馬鹿
苦手な人向けとか気にせずマセマで最低限の計算力→賢い
苦手な人向けとか気にせずマセマで最低限の計算力→賢い
2025/04/14(月) 18:56:23.07ID:jhEEpSM2
仮に数学科でも、マセマで微積分関係は3ヶ月~半年あれば院試レベルに到達する
大学一年で院試レベルになるわけだ
残りを代数対策に頑張ったほうが賢い
大学一年で院試レベルになるわけだ
残りを代数対策に頑張ったほうが賢い
33132人目の素数さん
2025/04/15(火) 09:48:40.81ID:ChackzA+ ・学部1年生にふさわしい理論的理解
・マニュアル的ではなく理論的理解に基づく計算法
の両方が効率的に身に付く良書はないのか?
・マニュアル的ではなく理論的理解に基づく計算法
の両方が効率的に身に付く良書はないのか?
34132人目の素数さん
2025/04/15(火) 13:25:43.36ID:Lgdpj2oW 院試レベルとは?
35132人目の素数さん
2025/04/15(火) 20:42:24.64ID:e0Br466h 解析専攻どころか共通問題でも院試はそんなに易しくないような
2025/04/16(水) 04:23:10.25ID:PbLXV25U
院も数学なら少しギャップがある。ただマセマは数学検定と違ってεδをちゃんと
扱うし、数学科なら位相をじっくりやるんだから、もっと論理的に微積分を
やり直してもそんな時間かからないし損はしない
線形代数だって線形写像をちゃんとやればテンソル積なども時間はかからない
最悪でも情報理工くらいは行けるように微積分や複素関数を特急でやれるのはいい
数学科では微積分はさっさと大枠を捉えつつ代数と位相を徹底したほうがいいよ
扱うし、数学科なら位相をじっくりやるんだから、もっと論理的に微積分を
やり直してもそんな時間かからないし損はしない
線形代数だって線形写像をちゃんとやればテンソル積なども時間はかからない
最悪でも情報理工くらいは行けるように微積分や複素関数を特急でやれるのはいい
数学科では微積分はさっさと大枠を捉えつつ代数と位相を徹底したほうがいいよ
37132人目の素数さん
2025/04/16(水) 05:47:49.91ID:rCjsqsUV38132人目の素数さん
2025/04/16(水) 11:16:16.58ID:ev05UEgN >>36
こういう数学エアプ丸出しのデタラメをわざわざネットに書くモチベーションってどこから湧いてくるんだろ
こういう数学エアプ丸出しのデタラメをわざわざネットに書くモチベーションってどこから湧いてくるんだろ
39132人目の素数さん
2025/04/16(水) 11:50:57.56ID:hYkbmYux 数学科のカリキュラムはどこに行っても同じなのか?
40132人目の素数さん
2025/04/16(水) 13:37:27.68ID:z4aUt9PG マセマは大しておかしくないけど、マセマ信者は大方おかしくてキモい
41132人目の素数さん
2025/04/16(水) 15:02:20.18ID:agJuazhu2025/04/16(水) 18:08:30.98ID:PbLXV25U
2025/04/16(水) 18:21:08.46ID:PbLXV25U
数学科でも半分は院で数学に行かないし、ましてや東大とかなら数学科に
行くかも定かではない。他方マセマをやっとけば理工系の院試レベルは大体わかる
一年の段階で安心材料ができる
これだけの話しかしてないのにエアプだの劣等感だの言い出す方がコンプの崩れだと
断言するよ
行くかも定かではない。他方マセマをやっとけば理工系の院試レベルは大体わかる
一年の段階で安心材料ができる
これだけの話しかしてないのにエアプだの劣等感だの言い出す方がコンプの崩れだと
断言するよ
2025/04/16(水) 18:23:36.82ID:PjxCDrCZ
>>43
マセマぐらいのことしかやってないアメリカの学部卒に院であっというまに追い抜かされるのが日本の高等教育。
マセマぐらいのことしかやってないアメリカの学部卒に院であっというまに追い抜かされるのが日本の高等教育。
2025/04/16(水) 18:24:01.68ID:sgEksmoX
2025/04/16(水) 18:34:16.11ID:PbLXV25U
>>45
案の定数学科は難しい言いたいだけの老害なんだな
勿論どのみちすぐに微積分や線形代数はやるわけだが、理工系院試はマセマ寄りの
計算ゲームでしかないんだから、保険で両方やれば良いというだけの話
しかも両者が別物というほどでもない。相乗効果はある
何度も言うが、38や41は自己紹介。余裕ある人間なら両方やってもいいで終わり
案の定数学科は難しい言いたいだけの老害なんだな
勿論どのみちすぐに微積分や線形代数はやるわけだが、理工系院試はマセマ寄りの
計算ゲームでしかないんだから、保険で両方やれば良いというだけの話
しかも両者が別物というほどでもない。相乗効果はある
何度も言うが、38や41は自己紹介。余裕ある人間なら両方やってもいいで終わり
2025/04/16(水) 18:37:50.96ID:PbLXV25U
数オリメダリストですら絶対に数学者目指すとは限らない時代にこいつらは
マジ何言ってんのか意味不明だわ。お前らみたいな崩れにならない賢さが必要だよ
マジ何言ってんのか意味不明だわ。お前らみたいな崩れにならない賢さが必要だよ
2025/04/16(水) 18:40:53.85ID:sgEksmoX
>>46
「数学科は難しい」とかいう無内容なことは言っていない
数学の論理が分からない、という人は数学書が読めないし
そういう人は数学科に進んでも何も理解できないから無駄
という厳然たる事実を述べたまで
数学の論理を理解するのは難しくないと思うが
世の中には論理というものが分からない論理盲が
少なくないようなので、そういう人には数学は無理
まあ、他の学問ならいいのかといわれると
たぶんそれも無理なんじゃないかと思うが
>理工系院試はマセマ寄りの計算ゲームでしかない
そういう「機械」は修士号とったら社奴にでもなったほうがいい
自発的に考える能力がある人間じゃなく
プログラムに従って計算を実行することしかできない機械だから
「数学科は難しい」とかいう無内容なことは言っていない
数学の論理が分からない、という人は数学書が読めないし
そういう人は数学科に進んでも何も理解できないから無駄
という厳然たる事実を述べたまで
数学の論理を理解するのは難しくないと思うが
世の中には論理というものが分からない論理盲が
少なくないようなので、そういう人には数学は無理
まあ、他の学問ならいいのかといわれると
たぶんそれも無理なんじゃないかと思うが
>理工系院試はマセマ寄りの計算ゲームでしかない
そういう「機械」は修士号とったら社奴にでもなったほうがいい
自発的に考える能力がある人間じゃなく
プログラムに従って計算を実行することしかできない機械だから
2025/04/16(水) 18:43:36.23ID:sgEksmoX
2025/04/16(水) 18:46:15.26ID:sgEksmoX
高校までの数学は、計算プログラムを覚えさせてるだけなので、計算機械でも入試を突破できる
数学科以外の大学院入試も、計算機械でも突破できるかもしれない
もっとも計算機械なんてのは芸を覚えたサルみたいなもんでしかない
それでも芸を覚えないサルよりマシというならマセマでも読んで
計算プログラムを必死に覚えればよろしかろう
数学科以外の大学院入試も、計算機械でも突破できるかもしれない
もっとも計算機械なんてのは芸を覚えたサルみたいなもんでしかない
それでも芸を覚えないサルよりマシというならマセマでも読んで
計算プログラムを必死に覚えればよろしかろう
51132人目の素数さん
2025/04/16(水) 18:47:54.47ID:sgEksmoX 世の中の「数学好き」の9割は
「プログラム通りに計算する単純労働が好き」
という機械になりきる喜びに目覚めたマゾヒスト
「プログラム通りに計算する単純労働が好き」
という機械になりきる喜びに目覚めたマゾヒスト
52132人目の素数さん
2025/04/16(水) 18:51:19.02ID:sgEksmoX ガウスは7歳にして
「1から100までの和を求めるのに
馬鹿になって1から100まで足し算する必要はない」
と気づいた
これが「計算機械ではない人間」というものである
実際、ガウスは10代にして円分方程式の解をべき根で解く方法を見つけた
この方法をあとから知って馬鹿みたいに計算する「計算機械」になることは可能だが
そうなったところで、ガウスになったといえるわけではない
まあ、世の中の大半の理系諸君は、その程度の計算機械にもなれてないが・・・
「1から100までの和を求めるのに
馬鹿になって1から100まで足し算する必要はない」
と気づいた
これが「計算機械ではない人間」というものである
実際、ガウスは10代にして円分方程式の解をべき根で解く方法を見つけた
この方法をあとから知って馬鹿みたいに計算する「計算機械」になることは可能だが
そうなったところで、ガウスになったといえるわけではない
まあ、世の中の大半の理系諸君は、その程度の計算機械にもなれてないが・・・
2025/04/16(水) 18:57:31.09ID:PbLXV25U
2025/04/16(水) 19:17:48.46ID:sgEksmoX
>>53
試験馬鹿になったら人間失格
試験馬鹿になったら人間失格
2025/04/16(水) 19:18:48.74ID:sgEksmoX
試験に通ることしか見えなくなったら人の心が死んでエテ公になり下がる
2025/04/16(水) 19:25:56.64ID:PbLXV25U
2025/04/16(水) 19:32:08.80ID:sgEksmoX
>>56
>俺は代数と位相を全力でやれと言ってるけどね。
「全力で」とか無内容な精神主義ワードを平気で使うのは考えない馬鹿
>ネイティブになれるくらい
意味の分からん自分語を平気で使うのは幼稚な永遠の三歳児
エアプも馬鹿語だな 最近の若造は馬鹿語しか使わない
君たちが21世紀中に人類を完全に滅ぼしてくれるようだな
仕方ない
>俺は代数と位相を全力でやれと言ってるけどね。
「全力で」とか無内容な精神主義ワードを平気で使うのは考えない馬鹿
>ネイティブになれるくらい
意味の分からん自分語を平気で使うのは幼稚な永遠の三歳児
エアプも馬鹿語だな 最近の若造は馬鹿語しか使わない
君たちが21世紀中に人類を完全に滅ぼしてくれるようだな
仕方ない
58132人目の素数さん
2025/04/16(水) 19:33:31.71ID:sgEksmoX 平成キッズはまともな教育を受けてないので平成以降の「馬鹿語」しか喋れない
おそらく昭和時代の「古語」で書かれた本は読めないのだろう
おそらく昭和時代の「古語」で書かれた本は読めないのだろう
2025/04/16(水) 19:33:48.69ID:PbLXV25U
数学の壁は結局、直感的には単純なものを言語化する難しさにあるんだよ
抽象的な分野ほどそれが大きいし、アメリカは多分それを鍛えるのが上手い
だから他人と議論する時にもちゃんと言語化できない人間は数学も無能だ
ここにもチラホラいたようにね
抽象的な分野ほどそれが大きいし、アメリカは多分それを鍛えるのが上手い
だから他人と議論する時にもちゃんと言語化できない人間は数学も無能だ
ここにもチラホラいたようにね
60132人目の素数さん
2025/04/16(水) 19:35:29.60ID:sgEksmoX 例えば、「・・・もものかは」という言葉は全く理解できないだろう
「ウケる」も「受ける」と馬鹿字を書くのだろう
実際は「有卦に入る」が正しい用法だ
これが昭和時代の「古語」 どうだ?一つも知らなかっただろう(嘲)
「ウケる」も「受ける」と馬鹿字を書くのだろう
実際は「有卦に入る」が正しい用法だ
これが昭和時代の「古語」 どうだ?一つも知らなかっただろう(嘲)
61132人目の素数さん
2025/04/16(水) 19:35:45.10ID:Jw71soLc 数学に「マセマレベル」なんてものは存在しない
そもそもマセマは数学の本ではないのだから
そもそもマセマは数学の本ではないのだから
62132人目の素数さん
2025/04/16(水) 19:36:51.30ID:sgEksmoX2025/04/16(水) 19:37:19.80ID:PbLXV25U
>>57
マセマはステップをかなり細かく説明する
あなたは年上っぽいけど、論拠を細かく説明するのも計算を細かく説明するのも
大差ないですよ。マセマを馬鹿にするような人間は共同研究や教育にも向いてません
マセマはステップをかなり細かく説明する
あなたは年上っぽいけど、論拠を細かく説明するのも計算を細かく説明するのも
大差ないですよ。マセマを馬鹿にするような人間は共同研究や教育にも向いてません
64132人目の素数さん
2025/04/16(水) 19:38:58.84ID:sgEksmoX >>61
さすがにマセマが数学の本でない、とまではいわないが
数学における理論の論理性を重視してない点では
数学書として残念と言わざるを得ない
しかし、そういう残念なテキストでしか
理解できない人がいるのだから仕方ないのだろう
さすがにマセマが数学の本でない、とまではいわないが
数学における理論の論理性を重視してない点では
数学書として残念と言わざるを得ない
しかし、そういう残念なテキストでしか
理解できない人がいるのだから仕方ないのだろう
65132人目の素数さん
2025/04/16(水) 19:41:27.70ID:gj87X+IT マセマを数学書だというのは、麦茶と甲類焼酎を混ぜたものをウイスキーだと言っているようなもの
66132人目の素数さん
2025/04/16(水) 19:41:33.98ID:sgEksmoX >>63
マセマは「どうやればいいか」という「方法」を細かく説明する
数学書は「なぜそうなるのか」という「理屈」をしつこく証明する
これが大差ない、と言い切る人は、
理屈が理解できない上に理解できてないことすら自覚してない
という点で最低最悪の人間失格の餓鬼畜生である
マセマは「どうやればいいか」という「方法」を細かく説明する
数学書は「なぜそうなるのか」という「理屈」をしつこく証明する
これが大差ない、と言い切る人は、
理屈が理解できない上に理解できてないことすら自覚してない
という点で最低最悪の人間失格の餓鬼畜生である
2025/04/16(水) 19:44:42.18ID:PbLXV25U
68132人目の素数さん
2025/04/16(水) 19:46:46.27ID:sgEksmoX 大抵の数学書はマセマとブルバキの数学原論の間のどこかにある
「こういうときはこう計算すればいい」というハウツーしか書かないのがマセマだとすれば
「これはこういう理論で証明するからここで扱う」という考え方を徹底したのが数学原論
だから普通は1冊で収まる線形代数の話が何冊にも分かれる
狭義の線形代数と行列式の多重線形性と固有値が関係する行列環が別々の巻で述べられる
「こういうときはこう計算すればいい」というハウツーしか書かないのがマセマだとすれば
「これはこういう理論で証明するからここで扱う」という考え方を徹底したのが数学原論
だから普通は1冊で収まる線形代数の話が何冊にも分かれる
狭義の線形代数と行列式の多重線形性と固有値が関係する行列環が別々の巻で述べられる
2025/04/16(水) 19:50:20.25ID:sgEksmoX
>>67
証明をプログラムに変換する場合、計算に関わることとそうでないことの二つの内容があることに気づく
これは実際にプログラム抽出を一回でもマジメにやった人ならだれでも知ってるが
カリーハワードという言葉だけ齧って一回もプログラム抽出したことない人はまず知らない
マセマは計算に関係ないことはズバズバ省略する
数学原論は計算に関係あろうがなかろうが理屈は通す
証明をプログラムに変換する場合、計算に関わることとそうでないことの二つの内容があることに気づく
これは実際にプログラム抽出を一回でもマジメにやった人ならだれでも知ってるが
カリーハワードという言葉だけ齧って一回もプログラム抽出したことない人はまず知らない
マセマは計算に関係ないことはズバズバ省略する
数学原論は計算に関係あろうがなかろうが理屈は通す
2025/04/16(水) 19:50:45.12ID:PbLXV25U
2025/04/16(水) 19:53:11.87ID:PbLXV25U
2025/04/16(水) 19:53:14.74ID:sgEksmoX
存在限量子が出てこない命題の証明は計算に関係しない
しかし、プログラムの正当性検証を行う場合
存在限量子が出てこない命題の証明を省くと
プログラムが仕様を満たすことが上手く証明できない
しかし、プログラムの正当性検証を行う場合
存在限量子が出てこない命題の証明を省くと
プログラムが仕様を満たすことが上手く証明できない
73132人目の素数さん
2025/04/16(水) 19:55:24.16ID:sgEksmoX2025/04/16(水) 19:57:55.27ID:sgEksmoX
マセマを読んではいけない、というつもりはない
しかし、単に計算できればいい、という境地に安住できない人は
マセマを読んだだけでは満足できないというか、落ち着かない筈
というのは理屈というものが(ないとはいわないが)明確でないから
しかし、単に計算できればいい、という境地に安住できない人は
マセマを読んだだけでは満足できないというか、落ち着かない筈
というのは理屈というものが(ないとはいわないが)明確でないから
2025/04/16(水) 20:02:03.35ID:sgEksmoX
昨今の線形代数の本では当たり前になっている基本変換は
ブルバキ数学原論がその端緒らしい
そして単に消去法の手続きを行列という形で正当化しただけ
のように見えなくもないが、実はそれが真の目的ではない
・・・というのがわかるのが数学原論の「リー群とリー環 3」の巻
そういうのはマセマでは絶対に分からない
ブルバキ数学原論がその端緒らしい
そして単に消去法の手続きを行列という形で正当化しただけ
のように見えなくもないが、実はそれが真の目的ではない
・・・というのがわかるのが数学原論の「リー群とリー環 3」の巻
そういうのはマセマでは絶対に分からない
76132人目の素数さん
2025/04/16(水) 20:15:42.85ID:sgEksmoX 暇になったら、マセマと斎藤正彦と佐武一郎とブルバキの線形代数の記述を比較した対応表を作りたいと思っているw
こういうことはたぶん数学者はやらないだろうが、数学教育の観点からは意味があると思っている
今時のハイパーテキスト技術を使えば、
マセマ的ハウツー記載とブルバキ的セオリー記載を
スイッチで切り替えることもできるだろう
決して「大差ない」のではなく、それぞれ強調点が違うのである
そしてマセマ的なハウツー記載の裏に膨大なブルバキ的セオリー記載があるのだと
気づいてくれるだけでもマセマだけ読むよりは教育的効果があると思う
こういうことはたぶん数学者はやらないだろうが、数学教育の観点からは意味があると思っている
今時のハイパーテキスト技術を使えば、
マセマ的ハウツー記載とブルバキ的セオリー記載を
スイッチで切り替えることもできるだろう
決して「大差ない」のではなく、それぞれ強調点が違うのである
そしてマセマ的なハウツー記載の裏に膨大なブルバキ的セオリー記載があるのだと
気づいてくれるだけでもマセマだけ読むよりは教育的効果があると思う
77132人目の素数さん
2025/04/16(水) 22:14:19.57ID:pohIwF7q >>44
>マセマぐらいのことしかやってないアメリカの学部卒に院であっというまに追い抜かされるのが日本の高等教育。
従来の日本の数学高等教育は、厳密病だった
米では、Terence Taoなどが 「3.The “post-rigorous” stage」を提唱している
「3.The “post-rigorous” stage」を意識して成長するか
それとも レベル2の”厳密”(rigorous”)で成長が止まるか
の違いでは?
(参考)
https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/
By Terence Tao
There’s more to mathematics than rigour and proofs July 2016 (1)
One can roughly divide mathematical education into three stages:
1.The “pre-rigorous” stage, 略
2.The “rigorous” stage,略
3.The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.
The transition from the first stage to the second is well known to be rather traumatic, with the dreaded “proof-type questions” being the bane of many a maths undergraduate. (See also “There’s more to maths than grades and exams and methods“.) But the transition from the second to the third is equally important, and should not be forgotten.
It is of course vitally important that you know how to think rigorously, as this gives you the discipline to avoid many common errors and purge many misconceptions. Unfortunately, this has the unintended consequence that “fuzzier” or “intuitive” thinking (such as heuristic reasoning, judicious extrapolation from examples, or analogies with other contexts such as physics) gets deprecated as “non-rigorous”. All too often, one ends up discarding one’s initial intuition and is only able to process mathematics at a formal level, thus getting stalled at the second stage of one’s mathematical education. (Among other things, this can impact one’s ability to read mathematical papers; an overly literal mindset can lead to “compilation errors” when one encounters even a single typo or ambiguity in such a paper.)
つづく
>マセマぐらいのことしかやってないアメリカの学部卒に院であっというまに追い抜かされるのが日本の高等教育。
従来の日本の数学高等教育は、厳密病だった
米では、Terence Taoなどが 「3.The “post-rigorous” stage」を提唱している
「3.The “post-rigorous” stage」を意識して成長するか
それとも レベル2の”厳密”(rigorous”)で成長が止まるか
の違いでは?
(参考)
https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/
By Terence Tao
There’s more to mathematics than rigour and proofs July 2016 (1)
One can roughly divide mathematical education into three stages:
1.The “pre-rigorous” stage, 略
2.The “rigorous” stage,略
3.The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.
The transition from the first stage to the second is well known to be rather traumatic, with the dreaded “proof-type questions” being the bane of many a maths undergraduate. (See also “There’s more to maths than grades and exams and methods“.) But the transition from the second to the third is equally important, and should not be forgotten.
It is of course vitally important that you know how to think rigorously, as this gives you the discipline to avoid many common errors and purge many misconceptions. Unfortunately, this has the unintended consequence that “fuzzier” or “intuitive” thinking (such as heuristic reasoning, judicious extrapolation from examples, or analogies with other contexts such as physics) gets deprecated as “non-rigorous”. All too often, one ends up discarding one’s initial intuition and is only able to process mathematics at a formal level, thus getting stalled at the second stage of one’s mathematical education. (Among other things, this can impact one’s ability to read mathematical papers; an overly literal mindset can lead to “compilation errors” when one encounters even a single typo or ambiguity in such a paper.)
つづく
78132人目の素数さん
2025/04/16(水) 22:14:44.85ID:pohIwF7q つづき
The point of rigour is not to destroy all intuition; instead, it should be used to destroy bad intuition while clarifying and elevating good intuition. It is only with a combination of both rigorous formalism and good intuition that one can tackle complex mathematical problems; one needs the former to correctly deal with the fine details, and the latter to correctly deal with the big picture. Without one or the other, you will spend a lot of time blundering around in the dark (which can be instructive, but is highly inefficient). So once you are fully comfortable with rigorous mathematical thinking, you should revisit your intuitions on the subject and use your new thinking skills to test and refine these intuitions rather than discard them. One way to do this is to ask yourself dumb questions; another is to relearn your field.
(引用終り)
以上
The point of rigour is not to destroy all intuition; instead, it should be used to destroy bad intuition while clarifying and elevating good intuition. It is only with a combination of both rigorous formalism and good intuition that one can tackle complex mathematical problems; one needs the former to correctly deal with the fine details, and the latter to correctly deal with the big picture. Without one or the other, you will spend a lot of time blundering around in the dark (which can be instructive, but is highly inefficient). So once you are fully comfortable with rigorous mathematical thinking, you should revisit your intuitions on the subject and use your new thinking skills to test and refine these intuitions rather than discard them. One way to do this is to ask yourself dumb questions; another is to relearn your field.
(引用終り)
以上
79132人目の素数さん
2025/04/16(水) 22:26:01.89ID:UYK5Gtgw80132人目の素数さん
2025/04/16(水) 22:43:38.71ID:enH8ZJWZ 具体的にマセマのどの本のどこがいいとか悪いとかいう話はできないのかね
2025/04/17(木) 01:27:45.68ID:hS5zAD+J
口語調で感情に訴えかけるような書き方がされてるから気持ち悪い
大人が読むようなもんじゃない
大人が読むようなもんじゃない
82132人目の素数さん
2025/04/17(木) 04:16:19.49ID:2g6GpnZz2025/04/17(木) 04:37:45.17ID:3iTMDDvx
>>77
>従来の日本の数学高等教育は、厳密病だった
…とかいう人は、だいたい粗雑病
ロジックを理解する面倒を避けたがり、すべてフィーリングで理解したがる
rigorous stageを超えられない人が “post-rigorous” stage に到達することは決してない
すべての正方行列が逆行列を持つ、なんて平気で言ってる人は、マセマで数学終わるしかない
なんたって行列の階数の定義も、線形独立の意味も、知らないんだから
>従来の日本の数学高等教育は、厳密病だった
…とかいう人は、だいたい粗雑病
ロジックを理解する面倒を避けたがり、すべてフィーリングで理解したがる
rigorous stageを超えられない人が “post-rigorous” stage に到達することは決してない
すべての正方行列が逆行列を持つ、なんて平気で言ってる人は、マセマで数学終わるしかない
なんたって行列の階数の定義も、線形独立の意味も、知らないんだから
84132人目の素数さん
2025/04/18(金) 07:56:26.45ID:wBd9ce7D 数学検定1級もマセマの線形代数・微分積分・確率統計・常微分方程式辺りで概ね対応出来るようだし、何だかんだで悪い本じゃないと思うけどな
世の中研究者になる人なんてごく僅かだし、その中で「数学の」研究者となれば更に限られる訳だから、そういう人達はそれ相応の本を読めば良い
世の中研究者になる人なんてごく僅かだし、その中で「数学の」研究者となれば更に限られる訳だから、そういう人達はそれ相応の本を読めば良い
85132人目の素数さん
2025/04/18(金) 08:20:46.10ID:eqtPYhbK 「数学は公式を覚えればなんとかなる。ドヤッ」
なんて言っちゃう人種を増やすことが、社会にとってプラスになるのか疑問だが。
なんて言っちゃう人種を増やすことが、社会にとってプラスになるのか疑問だが。
86132人目の素数さん
2025/04/19(土) 08:11:05.62ID:3IYnD8jA ド素人の著者が見よう見まねで編んだ問題集
そういう意味では他にはない独創性がある
そういう意味では他にはない独創性がある
87132人目の素数さん
2025/04/19(土) 08:18:43.34ID:qn0WCR9M 微分積分の最初のページからすでに間違ってるし、複素関数にもなると、もう見るからに著者が理解していないことを他の教科書やWikipedia等の切り貼りで書いただけと分かる内容になっている
88132人目の素数さん
2025/04/19(土) 08:45:56.62ID:Kyw1lL7W 期末試験でほぼ白紙を提出してくる馬鹿どもよりずっといいわ
Dがいやならマセマをやってほしい
Dがいやならマセマをやってほしい
89132人目の素数さん
2025/04/19(土) 09:24:22.85ID:howdTQuH > 微分積分の最初のページからすでに間違ってる
kwsk
kwsk
90132人目の素数さん
2025/04/19(土) 11:07:03.08ID:HAxWcGCM >>88
それがこの話とどう関係があるの?
それがこの話とどう関係があるの?
91132人目の素数さん
2025/04/19(土) 23:08:59.14ID:bH68o9y7 >>83
数学科1年でオチコボレさんになった人が 何を言っても説得力ないぜよ
下記 "謎の数学者氏"は、東京理科大機械工学科卒で アメリカへ渡って 数学者になって、いま 日本に帰って 旧帝大で数学を教えている人だが
こちらが参考になる
1)大学数学を独学で学ぶ際の教科書の選び方:要するに、読む人のレベルとか好みがあるという(例えば マセマを読んでから さらに上のレベルを読むとかね)
2)大学に入ったら数学が突然難しくなる理由。日本の数学科の問題点:εδの話とかある。これも参考になるだろう
3)大学に入って数学の授業が大変になるのは何故?制度上の問題点。日米大学比較:これも他所参考になる。制度は変えられないから、自分で週3階復習するとか、予習復習をキチンとして補うとかね
(参考)
https://youtu.be/iRXfk8Bhj0o?t=1
大学数学を独学で学ぶ際の教科書の選び方。とりあえず、本の○○を見よ!
謎の数学者 2021/07/10
@六連佑斗-h8t
3 年前
有り難い
https://youtu.be/78os69XZrSk?t=1
大学に入ったら数学が突然難しくなる理由。日本の数学科の問題点。
謎の数学者 2021/04/06
@濱田宗弘
3 年前
自分も経験しましたが、そもそも線形代数学の入り口が突飛すぎると感じました。『なぜこれを理解しないといけないのか?』それを理解しないままに受講するとえらい目に遭います。
@らぬま
3 年前
すごくわかります!!
抽象数学でいきなり心折れるより、具体的でまだ分かりやすい計算数学で大学数学の自信をつけたかったです…
もう遅いですが。
@くるみ-g1c
3 年前
ロンダルキアへの洞窟は共感しかない
@mo-39
3 年前
数学好きで数学科に入ったけど、大学入ってまず思ったのは「俺の好きな数学じゃない」だった
21 件の返信
https://youtu.be/CBZ-9WwNGYw?t=1
大学に入って数学の授業が大変になるのは何故?制度上の問題点。日米大学比較。
謎の数学者
2021/07/05
数学科1年でオチコボレさんになった人が 何を言っても説得力ないぜよ
下記 "謎の数学者氏"は、東京理科大機械工学科卒で アメリカへ渡って 数学者になって、いま 日本に帰って 旧帝大で数学を教えている人だが
こちらが参考になる
1)大学数学を独学で学ぶ際の教科書の選び方:要するに、読む人のレベルとか好みがあるという(例えば マセマを読んでから さらに上のレベルを読むとかね)
2)大学に入ったら数学が突然難しくなる理由。日本の数学科の問題点:εδの話とかある。これも参考になるだろう
3)大学に入って数学の授業が大変になるのは何故?制度上の問題点。日米大学比較:これも他所参考になる。制度は変えられないから、自分で週3階復習するとか、予習復習をキチンとして補うとかね
(参考)
https://youtu.be/iRXfk8Bhj0o?t=1
大学数学を独学で学ぶ際の教科書の選び方。とりあえず、本の○○を見よ!
謎の数学者 2021/07/10
@六連佑斗-h8t
3 年前
有り難い
https://youtu.be/78os69XZrSk?t=1
大学に入ったら数学が突然難しくなる理由。日本の数学科の問題点。
謎の数学者 2021/04/06
@濱田宗弘
3 年前
自分も経験しましたが、そもそも線形代数学の入り口が突飛すぎると感じました。『なぜこれを理解しないといけないのか?』それを理解しないままに受講するとえらい目に遭います。
@らぬま
3 年前
すごくわかります!!
抽象数学でいきなり心折れるより、具体的でまだ分かりやすい計算数学で大学数学の自信をつけたかったです…
もう遅いですが。
@くるみ-g1c
3 年前
ロンダルキアへの洞窟は共感しかない
@mo-39
3 年前
数学好きで数学科に入ったけど、大学入ってまず思ったのは「俺の好きな数学じゃない」だった
21 件の返信
https://youtu.be/CBZ-9WwNGYw?t=1
大学に入って数学の授業が大変になるのは何故?制度上の問題点。日米大学比較。
謎の数学者
2021/07/05
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- フランスのスーパー数百店舗で冷蔵設備にサイバー攻撃 温度が最高50度に上昇し食品大量廃棄に [少考さん★]
- 【野球】ドジャース痛恨 2戦連続逆転負け2連敗 山本由伸が今季最短3回途中KO 大谷翔平は無安打 110打席ノーアーチ… [阿弥陀ヶ峰★]
- 絶対こうなるってわかってたでしょ! 「生活道路30キロ制限」珍騒曲!! [夜のけいちゃん★]
- 国連憲章の「旧敵国条項」巡り中国・ロシア・北朝鮮が連動して日本批判、政府は警戒…対外発信強化で対抗 [ぐれ★]
- 「別れを切り出すのは7~8割が女性」“熟年離婚”の割合が過去最高に 修復のステップを踏まずに離婚するケースが増加 [煮卵★]
- 【ひろゆき】だんじり祭りの死亡事故に私見「その人の決めた人生だと思う」「第三者が勝手な価値観で制限するのに反対なおいらです」★4 [Ailuropoda melanoleuca★]
- 関文科大臣(裏金836万)、議員会館で政治資金パーティー開催を認める「反省したしもうやらないので責任はとりません」 [117552482]
- INMU KING、カラオケ登録申請へ [595118796]
- 【朗報】中国、そこらへんにある電柱でスマホの充電が出来る、しかもほぼ無料 [685821185]
- 【朗報】ノーベル賞遺伝学者「黒人は知能が劣っている、これは事実だ」→学会追放へ [339035499]
- PS5 発売6年目にしていまさらブラックを投入 [931948549]
- トランプ大帝「ウクライナよ聞け、石油施設攻撃続けるなら武器販売も情報提供も停止する」 [633746646]