- 1 名前：１３２人目の素数さん mailto:sage [2017/04/16(日) 08:55:30.47 ID:RziFqVZX.net]
- 数学の本について語るサロンです。
数学学習マニュアル まとめページ
www.geocities.co.jp/Technopolis-Mars/7997/
数学の本 まとめサイト
www3.atwiki.jp/math/pages/1.html
関連スレ
『解析概論』について４
kamome.2ch.net/test/read.cgi/math/1284390395/
高校から大学になるときの本
kamome.2ch.net/test/read.cgi/math/1287670196/
【世界に誇る】岩波数学辞典【名著】
kamome.2ch.net/test/read.cgi/math/1292319116/
Disquisitiones Arithmeticaeを読むスレ
kamome.2ch.net/test/read.cgi/math/1295684732/
数学の洋書vol.2
kamome.2ch.net/test/read.cgi/math/1300698455/
最近の数学の本が分かりやすくてワロタ
kamome.2ch.net/test/read.cgi/math/1300744933/
【激しく】解析と線型代数の本何がいい？【既出】6
uni.2ch.net/test/read.cgi/math/1337153386/
お前らの数学の聖書
kamome.2ch.net/test/read.cgi/math/1303034960/
参考書中毒患者スレッド@数学板 Part4
kamome.2ch.net/test/read.cgi/math/1307691621/
前スレ
数学の本 第69巻 [無断転載禁止]©2ch.net
rio2016.2ch.net/test/read.cgi/math/148738336
- 154 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 22:07:08.88 ID:mIs/k9UU.net]
- >>68
位相解析の基礎
- 155 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 22:26:27.67 ID:DX7c3/gq.net]
- イプシロンデルタに簡単も糞もねーだろｗｗｗｗ
しっかりしろよミジンコｗ
- 156 名前：１３２人目の素数さん mailto:sage [2017/04/29(土) 23:21:04.56 ID:W07zU9Tp.net]
- 〃 `丶
,(_ ノ′ ｀ヽ
( ゝ
'⌒ ノ)ノ） イ} ( ＼ ｀ヽ
_イ /⌒Ｙ ﾉノ〃二二ﾆノﾉ / ＼ ヽ ハ
,ノ / ハ,ﾉ i (_, .イじ｢ ( ＼ } } ゝ
{ う ゝ- '＾⌒`＝-､ ,.ﾆヽ＼ ヽ { }
_人_{ { 丿 i （､じ'} Vﾊ ∨}ノ
ｰ彡{ 乂( U , ⌒Yﾆ /〃 /丿 ひどい…
个ゝ し ｰ ､ 丿 /ノ ;´
', ,..-‐ ､ヽ ん' i 世も末だ
八 ｀ヽ:::::У .ｲ { ｌ
:.＼ 丶`く＞＜八 l
:::::::.＼ ／｀ ＜ ＞､＿__人
＼ :::::::／≧=ｒく( _(_,ﾉ `i''ﾞ::::::::::::::::.
ヽ 〃 } | :::::::::::::::::.
＼ | ::::::::::::::::∧
ー-=ミ ＼ ﾄ､:::::::::::／ ',
- 157 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 03:53:43.20 ID:2pr7VMaU.net]
- 工学系の応用数学の講義のカリキュラム見ると参考図書にマセマ上げてるのが結構ある
計算だけなら分かりやすいんじゃね
- 158 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 08:19:30.48 ID:1V23BQ76.net]
- 計算なんて今時全部コンピュータなのでやる意味ないと思う
割とマジで
- 159 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 15:27:44.13 ID:HY9cEL7X.net]
- コンピュータ任せに慣れてしまうと、概要は作れるが細部を詰めることができない人間になるぞ
- 160 名前：１３２人目の素数さん [2017/04/30(日) 15:33:36.26 ID:kqCtRAjC.net]
- 勉強中に、複素数上に定義されたノルマ空間値正則関数ってのを初めて見たんだけど、
これって複素数値関数の定理とかそのまま応用できる？
コーシーリーマン方程式とか導けない気がするんだけど、、、
ノルマ空間値正則関数の教科書とかあれば教えてください。
- 161 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 16:22:05.62 ID:BBDAeGr6.net]
- ノルム空間だろ
- 162 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 16:23:23.99 ID:Reo5lNf1.net]
- 残業200時間なんだろ
- 163 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 16:30:30.98 ID:WT6Vnisb.net]
- ベクトル値関数φの基本性質：
任意の連続線型汎関数f に対し
f(∫φ(x)dx) = ∫f(φ(x))dx が成り立つ
また、
φが正則 ⇔ fφが正則
φが正則ならば任意の連続線型汎関数f に対し
閉曲線上の積分 f(∫φ(x)dx) = ∫f(φ(x))dx = 0
したがってベクトル値関数でもコーシーの積分定理∫φ(x)dx = 0 が成り立つ
後の理論展開は通常の複素関数論と同じ
- 164 名前：１３２人目の素数さん [2017/04/30(日) 16:56:46.70 ID:kqCtRAjC.net]
- ノルム空間だった
>>162のφの積分ってどういう意味？線積分？
あと、φ:C→X(ノルム空間)の時に
fはX上の線形連続写像ってことでいい？
- 165 名前：１３２人目の素数さん [2017/04/30(日) 16:59:35.20 ID:kqCtRAjC.net]
- あと、φが正則 ⇔ fφが正則 って定義？
- 166 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 20:21:58.01 ID:H0kUiUfz.net]
- >>164
質問スレにいけよド低脳！質問する場所すら分からんのか馬鹿が！
- 167 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 20:28:30.84 ID:GjPvsUfZ.net]
- 裳華房から新装版ルベーグ積分入門と多様体入門が出てますね！
どっちも見やすくなって勉強がはかどります！！
- 168 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 20:46:21.93 ID:nAnARVbU.net]
- オイラーの定数 ガンマ 共立出版
- 169 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 23:12:44.44 ID:+J6S9V8S.net]
- 啓蒙書 低脳
- 170 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 23:30:53.22 ID:WoMtncVp.net]
- 可愛い本のつもりで挙げたんだぞ
調査に乗るなよ😃
- 171 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 23:45:00.63 ID:WoMtncVp.net]
- だからもう啓蒙書とか言わないで😭
ほんとは怖かったの😞
- 172 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 23:48:30.82 ID:WoMtncVp.net]
- 言っていい事と悪い事があるでしょー👊💢
- 173 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 23:53:47.95 ID:H0kUiUfz.net]
- くっさ
- 174 名前：１３２人目の素数さん mailto:sage [2017/04/30(日) 23:56:23.92 ID:Reo5lNf1.net]
- ID:WoMtncVpはオイラーの定数が無理数であることを証明するまで
このスレに立入禁止な
- 175 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 00:00:29.92 ID:BoBLefTL.net]
- >>168
私の
- 176 名前：ー！処女をー！奪わないでえええええ😭いやああああああああ😭 []
- [ここ壊れてます]
- 177 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 00:01:48.66 ID:BoBLefTL.net]
- >>172
あんたの方が臭いわよ。
- 178 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 01:05:37.48 ID:iF2Mq02A.net]
- いい大人が高校数学に毛が生えた程度の本読んでヒマつぶしてるんだけど
高校程度の抜けがないようにモノグラフ公式集買って
数か月かけてちまちま読もうと思ってんだけどどうよ？
受験は文系で大昔にセンターでⅠⅡ使った程度
- 179 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 01:48:47.49 ID:gbWCNBrk.net]
- 好きなの読めばよろし
- 180 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 01:59:29.42 ID:qhe3+eE9.net]
- 受験対策で全身サルより剛毛な連中だが頭だけ完全に不毛なズルっパゲといった感じのお猿さんが多すぎる。
- 181 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 02:23:43.60 ID:RRGtNDR1.net]
- >>176
それなら松坂の数学読本をすすめる
- 182 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 05:50:43.68 ID:qa6INBnL.net]
- >>178
例えが意味不明
- 183 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 06:23:26.69 ID:8wByLQwx.net]
- >>81
この写真は、どこ大学？
- 184 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 07:16:22.78 ID:qhe3+eE9.net]
- 離散数学まがいの数オリレベル出来るの少数育成するよりかは
自己言及的再帰的な定義が理解できるので関数型言語に対応できる大多数派を育成することの方が急務だと思うが
日本の中等教育の教員じゃ無理
- 185 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 07:18:08.29 ID:qhe3+eE9.net]
- >>180
一番肝心なつむじ不動点固有点の近傍がまっさらと無視されたオービフォルド（笑）。
- 186 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 07:21:53.23 ID:3acz5TAa.net]
- >>182
関数型はマイナー再帰的な定義は数学のやりかたであって計算機のやりかたとはいいがたい
再帰的定義は空間的必要量を見積もりにくい
- 187 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 07:30:27.94 ID:qhe3+eE9.net]
- んなハンドアセンブラでスパコンやらGPGPUな最適化できるような技術者なんて大量に要る訳ないだろ。
真っ当な富豪的プログラミングできるタイプが大量に必要で組み込み系マシン語常時使う双なんて化石化待ったなしのコボラー的なレガシー専任だろうに。
- 188 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 07:37:17.37 ID:qa6INBnL.net]
- >>183
他のレスを見るにキチガイの人か
- 189 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 07:52:08.45 ID:3acz5TAa.net]
- >>185
関数型は実用に供しがたい，結局，命令の実行順序の保存・状態の保持は必要
関数型で，そうだな，1万個の素数を小さいほうから求めるプログラムでも書けばわかる
- 190 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 08:39:30.75 ID:qhe3+eE9.net]
- >>187
>命令の実行順序の保存・状態の保持
ハスケルやモナドの宣教師みたいな言動だな…
- 191 名前： mailto:sage [2017/05/01(月) 12:34:56.32 ID:6Gs2tZZM.net]
- >>188
よく見抜いたな…
- 192 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 13:19:53.22 ID:dp1L2JX1.net]
- >>188
横レスだが計算機のアーキテクチャが値を保持するメモリとそれを書き換える操作を順番に実行することを基本としている以上、
このアーキテクチャとかけ離れた計算モデルに基づくプログラミング言語
（例えば関数的プログラミング言語、特に値が実際に必要になるまで式の評価を放置するLazy Evaluation）の実行効率は、
このアーキテクチャに従った手続き的プログラミング言語のそれに比べて劣ってしまうのは必然的だ
逆に言えば値を保持するメモリの概念がなく値を次々に変換していくようなアーキテクチャの計算機が存在したとすれば
その上での実行効率は値の変換という計算モデルに基づく関数的言語のほうがメモリの書き換えというモデルに基づく手続き的言語よりも
効率が良くなるし、実際、過去にはそういう計算モデルの一つとしてデーターフローマシンという種類のハードウェアが研究され信号処理専用に実用化もされた
繰り返すが、命令の実行順序の保存や状態の保持が効率の上で重要なのはモナドがどうした以前の問題なのだよ
現実の計算機ハードウェアがそういう計算モデルに基づいたアーキテクチャであるからこそ、プログラミング言語が基づく計算モデルが
そのハードウェア・アーキテクチャからかけ離れればかけ離れるほど実行効率が悪くなり
実用性に劣る（少なくとも実用的な規模の大きなプログラムを記述して実行する上では）のは必然的なのだよ
だから関数的プログラミング言語でも一つの関数の中の式の評価順番がいつになるかは不定（その関数の使い方に依存する）な
Lazy Evaluation（またはCall-by-Need)の計算モデルに基づくHaskellなどよりも、手続き的プログラミング言語と同じく個々の式の評価は
（条件分岐の実行されない側を除いて）その値を必要としようとしまいと行われるEager Evaluation（またはCall-by-Value）の計算モデルに基づく
ML系（OCaml）やLisp系のほうが実行効率も良く実用的なんだよ（まあLisp系ははるか以前から実態としては関数的言語でなく手続き的言語だが）
現実のハードウェア・アーキテクチャを無視することはできないのだ、少なくとも実行効率とかを考えるならばね
そして実行効率が悪ければ必然的に実用性の上ではマイナス評価を受ける
- 193 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 17:50:12.41 ID:qa6INBnL.net]
- キチガイよりタチが悪いのは推敲能力ゼロの人間
- 194 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 19:30:28.26 ID:9RVq+wWV.net]
- 型理論の人は数学から落ちぶれて
コンピュータサイエンスからも落ちぶれた人なので
来ないでください
- 195 名前：１３２人目の素数さん [2017/05/01(月) 20:18:01.67 ID:YxpbACRT.net]
- メモリレイアウトを裏で気にする必要があるからな
- 196 名前：１３２人目の素数さん mailto:sage [2017/05/01(月) 23:15:29.97 ID:0Hh9V4rR.net]
- Haskellの話は好きだけど、スレチ。
- 197 名前：１３２人目の素数さん [2017/05/02(火) 00:44:23.42 ID:/onH4ndc.net]
- SPECというドラマに出てきた数学書らしき書物なんだが、
これは何の本なの？
ロシア語かな？
imgur.com/a/u90CT
- 198 名前：１３２人目の素数さん [2017/05/02(火) 00:52:31.02 ID:yveyL71Z.net]
- 何語かわからないけど、シュレディンガー方程式っぽいの書いてあるし、
量子力学とかそっち関係の本じゃないかな
- 199 名前：１３２人目の素数さん mailto:sage [2017/05/02(火) 03:27:31.74 ID:XFydeI0/.net]
- >>195
有名なランダウ・リフシッツの理論物理学教程の中の『量子力学』のロシア語原書みたいだね
画像の中の式(17.1)～(17.8)が手元にある東京図書から出てた日本語訳『量子力学１（改訂新版）』の
同一番号のと同じ式だから、この本のロシア語原書と考えて間違いないだろう
- 200 名前：１３２人目の素数さん mailto:sage [2017/05/02(火) 13:21:26.88 ID:xavLcOxF.net]
- プレミア本の持ち主があらわれた
- 201 名前：１３２人目の素数さん mailto:sage [2017/05/02(火) 13:31:18.37 ID:xavLcOxF.net]
- ランダウの英訳本はarchiveに入っているから合法的にタダで読める。
https://archive.org/details/QuantumMechanics_104
の50ページからが、件の画像のページに相当するみたいだ。
- 202 名前：１３２人目の素数さん [2017/05/02(火) 13:57:47.31 ID:/onH4ndc.net]
- >>196～199
ありがとうございます！
- 203 名前：１３２人目の素数さん mailto:sage [2017/05/02(火) 17:05:47.37 ID:/SirNXGk.net]
- ここ10年ほどPythonとC#の人気が糞高い
- 204 名前：１３２人目の素数さん [2017/05/02(火) 17:46:49.18 ID:SarrE9fZ.net]
- >>201
スレ違いどころか板違いだ馬鹿！
- 205 名前：１３２人目の素数さん mailto:sage [2017/05/02(火) 18:17:27.14 ID:IGIt
]
- [ここ壊れてます]
- 206 名前：PT57.net mailto: Ｐｙｔｊｈｏｎは科学技術計算ライブラリが豊富に用意されているらしいから
雑誌でＡＩの紹介（ネタとしてはディープラーニングが随分多い）するとき
言語は容易なＰｙｔｈｏｎが多い
ＡＩはともかく、数学者でも自分で計算機実験できるぐらいでないと・・・
この先生きのこるのに不自由すぎるだろう [] - [ここ壊れてます]
- 207 名前：１３２人目の素数さん mailto:sage [2017/05/02(火) 18:18:32.06 ID:ks0VjvyU.net]
- この先生茸る
- 208 名前：１３２人目の素数さん mailto:sage [2017/05/02(火) 23:40:57.50 ID:NaxAw0kK.net]
- Deep Learningに関しては数学的に良く分かってないことが多いので
そこそこホットだよね
- 209 名前：１３２人目の素数さん mailto:sage [2017/05/03(水) 01:18:38.66 ID:j/a53duQ.net]
- 共立出版の新刊情報を見てたら、数学小辞典の第2版増補が出るらしく、
レビューを探してたら
abel.a.la9.jp/sub8.html
が見つかったんだが、本当にそんな酷い内容なの？
- 210 名前：１３２人目の素数さん [2017/05/03(水) 02:53:29.97 ID:TCw6OaVM.net]
- >>205
何もわかってないFランの馬鹿が
知ったかぶりすんな
何がわかってないかさえも
書けないだろう？
ホントに馬鹿だな！
少しは考えろ馬鹿！
- 211 名前：１３２人目の素数さん mailto:sage [2017/05/03(水) 02:56:30.04 ID:awG8Clr4.net]
- >>206
よくやった。初めてまともな書き込みを見た気がする。続けたまえ！
- 212 名前：１３２人目の素数さん mailto:sage [2017/05/03(水) 05:16:44.95 ID:SPqjN5tL.net]
- >>205
位相的データ解析やれば？
- 213 名前：１３２人目の素数さん [2017/05/03(水) 14:40:51.61 ID:spX3GUKI.net]
- www.rokakuho.co.jp/
微分積分学 第２巻 改訂新編
藤原松三郎 著
浦川 肇・髙木 泉・藤原毅夫 編著
A5／640頁 本体価格7500円＋税
ISBN：978-4-7536-0164-6
- 214 名前：１３２人目の素数さん [2017/05/03(水) 18:13:10.55 ID:x1hRKGWe.net]
- 物理だけど
塾講師・高校教師どころか、ついに小学生が書いた教科書が出ることに
１２歳の少年が書いた量子力学の教科書 近藤龍一著 ベレ出版2017年06月12日発売予定
https://www.beret.co.jp/books/detail/653
- 215 名前：１３２人目の素数さん [2017/05/03(水) 19:10:31.50 ID:ueFBHSjj.net]
- >>209
パーシステントホモロジーってやつ？
- 216 名前：１３２人目の素数さん mailto:sage [2017/05/03(水) 19:52:43.12 ID:awG8Clr4.net]
- >>211
さすがベレ出版（笑）。で誰が買うんだ？
- 217 名前：１３２人目の素数さん mailto:sage [2017/05/04(木) 03:10:58.69 ID:Z37h08ij.net]
- >>206
数学小辞典の誤りに関しては知らんけど。
リンク先、脱背理法被害者の会て...理科大の数学教育は大丈夫なんだろうか。
- 218 名前：１３２人目の素数さん mailto:sage [2017/05/04(木) 03:17:22.06 ID:Z37h08ij.net]
- > 脱背理法被害者の会
じゃなくて 背理法被害者の会
数学教育で背理法は使わせるべきではないと主張されているようで
「私自身が、背理法のおかげで頭が腐った被害者であると実感しています。
十数年前から現在もリハビリ中です。」(背理法被害者の会)
だそうです。
- 219 名前：１３２人目の素数さん mailto:sage [2017/05/04(木) 04:26:28.89 ID:wURPkTA8.net]
- >>215
その人何が言いたいの？
- 220 名前：１３２人目の素数さん mailto:sage [2017/05/04(木) 05:24:02.40 ID:Uj2IkYI0.net]
- 何ではないかより何であるかのほうが収穫が多いとかそういうことか？
しらんが
- 221 名前：１３２人目の素数さん [2017/05/04(木) 07:38:04.54 ID:AE2Z1jde.net]
- 直観主義に転向したワイルは
大学初年級の解析の授業でも、背理法使わないから証明が煩雑になる部分も多く
実数体の任意の有限部分集合は上限を持つ、なんかは証明できないし
学生はひどく困惑したらしい
- 222 名前：１３２人目の素数さん mailto:sage [2017/05/04(木) 11:51:18.00 ID:0g
]
- [ここ壊れてます]
- 223 名前：PaOSdi.net mailto: 厨房の好きな話題 []
- [ここ壊れてます]
- 224 名前：美魔女 [2017/05/04(木) 21:12:48.72 ID:AKzt24yo.net]
- 哲学板最強の美魔女です👸宜しくお願いいたします✨
- 225 名前：１３２人目の素数さん mailto:sage [2017/05/04(木) 23:13:20.85 ID:Sm9jtzn5.net]
- 量子力学の冒険
ヒッポファミリークラブ (1991/08)
https://images-na.ssl-images-amazon.com/images/I/51K5ZTEN25L._SX355_BO1,204,203,200_.jpg
こういう系統でしょ
- 226 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 14:45:11.57 ID:2YY3LsTE.net]
- >>221
最近頭に引っかかってたけど思い出せなかった奴だ。ありがたい
- 227 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 14:47:55.69 ID:2YY3LsTE.net]
- これのフーリエのやつか。前にどっかのスレでお勧めしてる人がいた
- 228 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 15:24:27.12 ID:eSbqPPTE.net]
- すごい
- 229 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 15:33:12.21 ID:ZcEG6iTH.net]
- 自らの道具を縛るなんて、視野狭窄でしかない。
問題は論理や推論が正しいかどうかだけだろう。
気持ち悪いとか言ってる時点でバカでしかない。
- 230 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 15:48:18.69 ID:7crwQ+kY.net]
- 正しい論理や推論とは何かという問いに対して、
背理法は人間知性の必要条件だと答えるのが大学数学クオリティー
- 231 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 16:21:00.89 ID:/9XP3RFo.net]
- 鼻で笑いのがこの板のクオリティ
- 232 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 16:37:44.23 ID:LJL3YQ3n.net]
- 鼻で笑いの
- 233 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 17:19:36.91 ID:2YY3LsTE.net]
- 完成した庭の中の話なら背理法でいいんだろ
もっと広い世界の話じゃねえの？
- 234 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 17:23:45.63 ID:XaxhLJ+0.net]
- お前なんでこの板にいるの？
- 235 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 17:25:41.51 ID:2YY3LsTE.net]
- 自らの道具を縛ることによって、新しい発見があるわけだ
という話だと思うんだけど
- 236 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 17:26:18.89 ID:c1ptkkVl.net]
- ワイルの頃なら一度は背理法なしで全部数学組み立ててみようかとやることにも
それなりに意義があったろ
日本でも何十年か前は現代化とやらでブルバキっぽいスタイルを大学1年から講義でやってた
失敗だとわかったから元に戻せばいい
- 237 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 18:39:13.87 ID:SkUJ8I5A.net]
- Interface(インターフェース) 2016年10月号 雑誌 ? 2016/8/25
www.kumikomi.net/interface/contents/201610.php
- 238 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 18:45:38.13 ID:XaxhLJ+0.net]
- イタチ
- 239 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 18:49:23.83 ID:w6QM4ekq.net]
- 高校数学で背理法なくす動きとかあるか？
理科大なら教育にも力入れてるとは思うけど、その人何かやってる？
- 240 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 19:00:41.21 ID:7crwQ+kY.net]
- 背理法を使うとき、証明の冒頭でいきなり仮定を置くのではなく、必要最小限の範囲でだけ仮定を使うべき
という趣旨の主張なら数学板で何度か見たことがあるけど、これは別に背理法を排除しているわけではない
背理法の「偽の仮定」の下での議論を最少にしたいという欲求は理解できる
- 241 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 19:22:16.91 ID:ZcEG6iTH.net]
- >>231
キモは >229 だろ。
- 242 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 19:24:24.74 ID:x6hUXJVN.net]
- 背理法の否定から新しい発見が...って
その理科大の先生にとっての背理法は
> (4) 完結していない背理法証明においては、中間結果は正しくないので、
> すべての別証に公平な部分点をつけることは不可能です。
こんな調子っすよ。ジャンル分けするなら掛け算順序問題と同じ箱。
- 243 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 19:25:59.08 ID:LJL3YQ3n.net]
- 背理法はとうでもいいけど、数学小辞典の内容について書いてほしい。
- 244 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 22:12:54.14 ID:ir/sXAsY.net]
- 心理学こそ人生をかけるに相応しい学問な気がする
- 245 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 22:33:58.20 ID:0L+lZacp.net]
- > (4) 完結していない背理法証明においては、中間結果は正しくないので、
> すべての別証に公平な部分点をつけることは不可能です。
何を言っているのか分からない…
- 246 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 22:36:09.64 ID:0L+lZacp.net]
- 背理法でこれを思い出すのはオッサン。
https://www.youtube.com/watch?v=khcOU9rLb5k
- 247 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 22:47:47.12 ID:x6hUXJVN.net]
- 偽な命題を仮定した証明過程からは矛盾が引き出される
矛盾で出てくる以上、どんな命題も真として引き出される
こんなのは教育上とてもよろしくない
学校の先生もこういう答案を採点するのは大変
ざっくり言うとこういう感じ、まあ何を言ってるのか分からないのは当然
彼に同調した人間に教えられる生徒はかわいそう。
- 248 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 22:54:37.33 ID:7crwQ+kY.net]
- ＞どんな命題も真として引き出される
原理上は確かにそうなるけど、実際問題、そんなヘンテコな命題を導く人なんていないわな
偽の仮定なんてなくても同じぐらい変な解答する生徒がいるだろうから、全くの杞憂
いや、はっきり言ってしまうと、持論を押し通すための屁理屈に過ぎない
- 249 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 22:54:43.49 ID:XKqmuEE5.net]
- 理科大の話題
- 250 名前：１３２人目の素数さん mailto:sage [2017/05/05(金) 22:56:13.11 ID:0L+lZacp.net]
- この先生の業績はどれほどのものなの？
- 251 名前：１３２人目の素数さん mailto:sage [2017/05/06(土) 02:45:56.96 ID:S9Z97zBD.net]
- Fランだろうが業績があろうがなかろうが、問題は言っていることが正しいかどうかだろう。
証明において、偽を仮定して矛盾を引き出しQEDってのは普通にやる手法だ。
論点は、偽の仮定から導出された中間結果が不安だ、ってことなら、
そりゃ推論が各ステップで正しいかどうかだけ、って話だろ。
複雑なら分解して考えるのは古典的な常套手段。
心配なら、真理値表を書けばいい。
そういうことは、過去の天才連中がクリアした話題だろう。
アルキメデスほど慎重ではないにしろ、
たとえば、ガウスが背理法を否定しているかどうか。
物理ならいざ知らず、数学に直観持ち込んで惱む必要はないだろう。
- 252 名前：１３２人目の素数さん mailto:sage [2017/05/06(土) 02:57:56.18 ID:2mUfK4Ps.net]
- なぜガウス？
- 253 名前：１３２人目の素数さん mailto:sage [2017/05/06(土) 02:59:49.80 ID:0uFZBEMo.net]
- どうも分かって無さそう
- 254 名前：１３２人目の素数さん mailto:sage [2017/05/06(土) 03:18:06.90 ID:S9Z97zBD.net]
- ガウスは天才だから。
調べてないけどそんなところだろう？
わざわざ他人のリンクを読む気もしないし。
|
 |
