18/03/26 23:40:16.58 d8tCdO2g.net
数学書やその周辺の話題について語りましょう。
荒らしや煽りは禁止。
見ている人を不快にさせる書き込みはひかえてください。
人としての基本的な礼節を守って、皆で楽しみましょう。
前スレ
【専門書】数学の本第75巻【啓蒙書】
URLﾘﾝｸ(itest.5ch.net)
2:１３２人目の素数さん
18/03/26 23:44:07.18 d8tCdO2g.net
【テンプレ】
見ている人を不快にさせる書き込みはひかえてください。
↑
延々と本のあらを探して書き綴るのは、不快に
感じる人が多いので遠慮してください。
3:１３２人目の素数さん
18/03/26 23:50:14.29 rapQACPa.net
>>2
>Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化
>萩原 学
>固定リンク:�URLﾘﾝｸ(amzn.asia)
人間やめてるような行間の詰まった形式的証明を松坂くんは目指して欲しい。とかウィットを利かせないとウィッテンの証明を（ファインマンさん並の冗談にするのは）難しい。
4:１３２人目の素数さん
18/03/27 00:12:26.04 R3N1Adky.net
削除依頼を出しました
5:１３２人目の素数さん
18/03/27 03:00:21.96 ZX014XQW.net
スレ立て乙
6:１３２人目の素数さん
18/03/27 05:42:07.26 1x07ztJI.net
真・スレッドストッパー。。。(￣ー￣)ﾆﾔﾘｯ
7:１３２人目の素数さん
18/03/27 11:40:15.54 Ia4tbGvR.net
てすと
8:１３２人目の素数さん
18/03/27 15:32:46.92 trQn/+Js.net
酸っぱい数学
9:１３２人目の素数さん
18/03/27 19:40:30.51 45WSVnX0.net
>>3
面白そうな本ですね。
10:１３２人目の素数さん
18/03/27 20:23:31.17 45WSVnX0.net
でも、どうせ、簡単な命題の証明ばかりなんでしょうね。
11:１３２人目の素数さん
18/03/27 20:25:33.23 45WSVnX0.net
Multivariable Calculus with Applications (Undergraduate Texts in Mathematics)
by Peter D. Lax et al.
Link: URLﾘﾝｸ(a.co)
↑この新しい本ってどうですかね？
12:１３２人目の素数さん
18/03/27 22:07:46.96 NYsXDibJ.net
>>1
スレタイの前後にあるカッコ内はずしとけよ
使えないやつ
13:１３２人目の素数さん
18/03/27 22:22:59.40 eh6pjQ8+.net
数学ガールポアンカレでる言うてるやろ
14:１３２人目の素数さん
18/03/27 23:02:48.66 bdkXfdXe.net
松坂君は
四色問題の証明の場合分け全部とか
グレブナー基底使ったアルゴリズムの中間式爆発のダンプリストとか
有限群の分類の論文全部とか
そういうのを紙に印刷を具体的にしたのを読んでわかった気分になるのが好きな自然に厳しいフレンズなんだね！
15:１３２人目の素数さん
18/03/28 00:10:45.95 aogV0scn.net
たーのしー！
16:１３２人目の素数さん
18/03/28 01:25:06.45 2rVIUDi+.net
【テンプレ】
見ている人を不快にさせる書き込みはひかえてください。
↑
延々と本のあらを探して書き綴るのは、不快に
感じる人が多いので遠慮してください。
17:１３２人目の素数さん
18/03/28 07:35:42.58 4SX7k7wb.net
数オリと数学セミナーのエレガントな解答をもとむ、とは、どちらの方が難しいのでしょうか？
18:１３２人目の素数さん
18/03/28 09:52:26.96 evdKU3+j.net
啓蒙書、松坂君と数オリはいらない
19:１３２人目の素数さん
18/03/28 09:57:34.04 3VzvIZQC.net
全くだ
20:１３２人目の素数さん
18/03/28 11:19:03.22 4SX7k7wb.net
数オリはいるだろ‼
21:１３２人目の素数さん
18/03/28 13:58:36.67 3VzvIZQC.net
いらん