X



トップページ数学
1002コメント445KB
数学の本第78巻
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
垢版 |
2018/08/05(日) 17:45:53.06ID:i16lssjl
数学の専門書についてのスレです

数学学習マニュアル まとめページ
http://www.geocities.co.jp/Technopolis-Mars/7997/
数学の本 まとめサイト
http://www3.atwiki.jp/math/pages/1.html


過去スレ
第67巻 https://rio2016.5ch.net/test/read.cgi/math/1454323135/
第68巻 https://rio2016.5ch.net/test/read.cgi/math/1477731209/
第69巻 https://rio2016.5ch.net/test/read.cgi/math/1487383364/
第70巻 https://rio2016.5ch.net/test/read.cgi/math/1492300530/
第71巻 https://rio2016.5ch.net/test/read.cgi/math/1495881990/
第72巻 https://rio2016.5ch.net/test/read.cgi/math/1501905603/
第73巻 https://rio2016.5ch.net/test/read.cgi/math/1508221180/
第74巻 https://rio2016.5ch.net/test/read.cgi/math/1511085768/
第75巻 https://rio2016.5ch.net/test/read.cgi/math/1515687474/
第76巻 https://rio2016.5ch.net/test/read.cgi/math/1522075216/
第77巻 https://rio2016.5ch.net/test/read.cgi/math/1527903284/
0071132人目の素数さん
垢版 |
2018/08/10(金) 14:44:07.90ID:OPHZ/iCE
>>69
小平解析入門は、元々、岩波講座基礎数学の分冊のうち4冊を占めていた。
現在出版されているその本は、内容的にはそれと同じ。訂正は多分されていないと思う。
あと、数学板に書く人または数学書を読む人は学生や大学の数学関係者のみに限る、などということは仮定しない方がいい。
基本的に、2チャンには誰が書いているか分からないというスタンスで書いた方がいい。
0072132人目の素数さん
垢版 |
2018/08/10(金) 15:05:34.90ID:N8ORqZ2w
>>71
正確に言うと、現在は「2チャン(「2ちゃんねる」)」
ではなくて、「5ちゃんねる」。

「誰が書いているか分からない」っていうより、
「高校数学とかで引っかかっちゃたったヒト」を
意識して書くのが、たぶん順当なレベルなんじゃ
ないかなぁ、と思う。
0074132人目の素数さん
垢版 |
2018/08/10(金) 15:10:25.97ID:N8ORqZ2w
「『微分積分読本』と、どっちがいいか」みたいな
バトルは見てみたいなぁ。
0075132人目の素数さん
垢版 |
2018/08/10(金) 15:12:41.17ID:tjVLM37A
>>70
何故?

>>71
別に仮定してませんし、一般的意見として俺が書いた文言をあなたがそう受け取っただけだと思います
仰る通り、小平解析入門は、岩波基礎数学選書「現代解析入門」の前半を合せて完全ですね
0076132人目の素数さん
垢版 |
2018/08/10(金) 15:26:54.23ID:OPHZ/iCE
>>75
>別に仮定してませんし、一般的意見として俺が書いた文言をあなたがそう受け取っただけだと思います
いや、>>69
>微積分の本で一つ選ぶとしたら、小平解析入門を推す先生が今でも多いよ
とか
>めーちゃ頭良い人が地頭良い学生向けに書いたホン
と書いてあるのが何か引っ掛かったんでね。
0078132人目の素数さん
垢版 |
2018/08/10(金) 15:41:41.70ID:N8ORqZ2w
せっかく荒らしに来てるのに、誰もかまってくれないから
爆撃してやる。
志賀浩二『数と量の出会い ― 数学入門』(大人のための数学
(1)、紀伊国屋書店)。
0080132人目の素数さん
垢版 |
2018/08/10(金) 16:01:24.95ID:OPHZ/iCE
>>72
本当に5チャン(2チャン)には誰が書いているか分からないって。
それ位、昔の2チャンはレベルが高かったそうだ。
0081132人目の素数さん
垢版 |
2018/08/10(金) 17:16:06.06ID:qQhsIETB
大沢先生が常連だったくらいだからな
2ちゃんねる当時の書き込みを授業資料で配る程度に入れ込んでいた
0083132人目の素数さん
垢版 |
2018/08/10(金) 18:15:54.92ID:Hnx0B79D
James R. Munkres著『Analysis on Manifolds』ですが、
やっと第2章 differentiation まで進みました。

もう少しで逆関数定理、陰関数定理までたどり着きます。

そういえば、杉浦光夫さんは、『解析入門I』の逆関数定理I(p.139)の証明で、
非常に大きなミスをしていましたね。

痛恨のミスでしたね。
0084132人目の素数さん
垢版 |
2018/08/10(金) 18:27:54.60ID:N8ORqZ2w
>>80
> 昔の2チャンはレベルが高かった
その話をしていると、
「今の5ちゃんねるのレベルが低い」とするなら、
それは「書いている奴のレベルが低い」ということに
なってしまうんだが、いまどきは中学・高校で
ネットリテラシーについての授業があるという時代で
あるにもかかわらず(同時に、数値実験を行うための
環境が劇的に向上しているにもかかわらず)、
「レベルが低い」と断じられる(実際、おれも低いと
思うんだが)現状を、批判していただきたいと思う。
0085132人目の素数さん
垢版 |
2018/08/10(金) 19:03:39.21ID:s2tFjuLH
昔の2チャンの過去ログとか見てみると、セミナーとかお茶会的な和気あいあいな雰囲気。
少数精鋭だからか、一つのテーマについて深く掘り下げてる。
有名なのは2チャンでの会話から新しい定理が見つかり数学セミナーにも取り上げられたことがあった。
一方、他人をディスって満足するクズが多いのが現在の5ちゃん数学板。数学的に何かを成し遂げられる雰囲気はもう感じられない。
0086132人目の素数さん
垢版 |
2018/08/10(金) 19:08:55.19ID:tjVLM37A
>>81
大沢健夫先生ですよね?
証拠でもあるんですか?
もし嘘だとしたら大変失礼ですよ
0087132人目の素数さん
垢版 |
2018/08/10(金) 19:13:33.33ID:tjVLM37A
>>85
西暦何年頃ですか?
末一行が悲し過ぎる
0089132人目の素数さん
垢版 |
2018/08/10(金) 20:18:08.68ID:JOSFkOD5
King出現…猫が暴れ出すと同時に数板崩壊
0090132人目の素数さん
垢版 |
2018/08/10(金) 20:41:15.31ID:Hnx0B79D
杉浦光夫著『解析入門I』を読んでいます。

p.193 定理4.1

K を R または C とする。 K の二つの開集合 A, B に対し、 f が A から B への全単写で、
f, f^(-1) が共に連続とする。もし f が一点 x ∈ A で微分可能で f'(x) ≠ 0 であるならば、
f^(-1) は y = f(x) で微分可能で

(4.1) (f^(-1))'(y) = 1/f'(x)

が成立つ。
0091132人目の素数さん
垢版 |
2018/08/10(金) 20:46:39.03ID:Hnx0B79D
>>90

この定理の仮定ですが、無駄が多すぎませんか?

以下で十分ではないでしょうか?

K を R または C とする。 K の二つの開集合 A, B に対し、 f を A から B への全単写
とする。もし f が一点 x ∈ A で微分可能で f'(x) ≠ 0 であり、 f^(-1) が一点 y = f(x) ∈ B で
連続であるならば、 f^(-1) は y = f(x) で微分可能で

(4.1) (f^(-1))'(y) = 1/f'(x)

が成立つ。
0092132人目の素数さん
垢版 |
2018/08/10(金) 20:51:10.36ID:Hnx0B79D
杉浦光夫さんはこういう風に、ときおり粗雑になりますよね。

残念です。

そして、気持ちが悪いですよね。
0093132人目の素数さん
垢版 |
2018/08/11(土) 02:58:00.37ID:jlUvWFl6
>>84
>> 昔の2チャンはレベルが高かった
>その話をしていると、
>「今の5ちゃんねるのレベルが低い」とするなら、
>それは「書いている奴のレベルが低い」ということに
>なってしまうんだが
そういうことにはなってしまわない。「昔の2チャンはレベルが高かった」という文は、
一体「昔の2チャンのレベルが具体的にどのよう高かったのか」という点において曖昧に書かれている。
その文は、書いている人のレベルが高かったのか、内容のレベルが高かったのか、
などといった「(2チャンにおいての)レベルの具体性」の内容までは一意的に読み取れない文になっている。
ごくごく普通に読むと、「昔の2チャンはレベルが高かった」は「昔は2チャンのレベルが高かった」とも読めるから、
「2チャン(5チャン)のレベルが高くない時期」は昔ではない、といったような感じにもなる。
0094132人目の素数さん
垢版 |
2018/08/11(土) 03:04:25.05ID:jlUvWFl6
>>84
些細なことだが、>>93
>一体「昔の2チャンのレベルが具体的にどのよう高かったのか」という点
の部分は
>一体「昔の2チャンのレベルが具体的にどのように高かったのか」という点
に訂正。
0095132人目の素数さん
垢版 |
2018/08/11(土) 04:40:53.04ID:2h9OPLBs
どんな数学書だって誤りはあるだろうし、出版社の人が校閲をするのは無理。
皆、それを修正して、さらに端折ってある証明を補って読んでいる。
それをいちいち自分の読んでる本の誤りを列挙して得意になっている奴って馬鹿っぽいんだけど。
数学書に誤りがあるのが気にいらないなら自分で数学書書けばいいじゃないか。
0096132人目の素数さん
垢版 |
2018/08/11(土) 05:55:23.08ID:aqPKTtus
>それをいちいち自分の読んでる本の誤りを列挙して得意になっている奴って馬鹿っぽいんだけど。
昔は中二病と呼んでたけど、今はもっと年齢が上でも精神年齢が低いらしい
数学板で言っても教育できないし、社会に出てから苦労して中二病を卒業するか、
まわりに >>95 さんみたいに教育してくれる人がいればいいけど、
未熟なままで社会と折り合いをつけられないひきこもり生活をするかだな
何にして数学に集中できなくなる悲惨な悩み多き未来を迎えそうだとは思う
0097132人目の素数さん
垢版 |
2018/08/11(土) 06:51:49.12ID:V2z3sPeT
数学書呼んでる人、書いてる人でプログラミング言語で言うところの“オブジェクト指向”・”リファクタリング“を理解してる人どれぐらい居るのかな?

複雑に入り組んだ概念を取り扱う時こそ、個々の事物を1つの単位として取り扱って、個々が他の個を扱う時はなるべく汎用性を持ったように扱うべきなのだが、
そう考えると、よくある数学書で、とある証明内で議論した事柄に数式番号だけを付けて、また別の文脈の所の証明内に於いて引用するのはいかがなものかと思う。
証明内で引用される箇所があるとすれば、それは当該証明内に於いてだけに留めるべきだと思う。
ある証明内に於いて或る事柄を、別の照明に於いて引用するのであれば、当該事柄を引用できるように当該証明から抜き出して、一つの命題として整えておくべきなのではないだろうか?
0098132人目の素数さん
垢版 |
2018/08/11(土) 07:10:02.14ID:jlUvWFl6
>>95
>いちいち自分の読んでる本の誤りを列挙して得意になっている奴
この種の類の人間はトコトンそのようなことをしているという背景があるから、
そういった類の説教をここでしても余り意味がないと思うぞ。
0100132人目の素数さん
垢版 |
2018/08/11(土) 10:26:33.39ID:glOU+rdd
>>97
遠山啓先生なんかは構造主義的な立場だったから、
“オブジェクト指向”・”リファクタリング“的な発想だった
ように思う。「森ダイアグラム」なんかもその延長だろう。

だけど、ヒルベルト流の流儀とは相容れない部分はあるんだよな。

とはいえ、コンピュータの性能向上で、カオスとかフラクタルのような
複雑系ガクローズアップされてきて、境界が曖昧になってきてるのも
確かだと思う。
0101132人目の素数さん
垢版 |
2018/08/11(土) 17:12:59.12ID:aqPKTtus
>>95 >>98
「話せば分かる」なんて大ウソで、昔から刀を向けられて「ま、待て。話せばわかる」と言った人に限って、
バッサリやられている。いつの間にか私たちを囲む様々な「壁」。それを知ることで世界の見方が分かってくる。
「人間同士が理解しあうというのは根本的には不可能である。
理解できない相手を、人は互いにバカだと思う」というのが本書の要点である。
(養老孟司の著書『バカの壁』)
0102132人目の素数さん
垢版 |
2018/08/11(土) 17:39:06.97ID:glOU+rdd
>>101
「芸術家は数学者に比べて不幸である。理解されない芸術家は
軽蔑されるが、理解されない数学者は尊敬される」とかいった
話もあるんだが、デカルトは「理性は万人において平等である」
と言った。
まぁ、そのうち世の中がおれたちに追いついてくると信じようじゃないか。
「絶望は愚者の結論である」って云うしな。
0103132人目の素数さん
垢版 |
2018/08/11(土) 19:46:45.27ID:9oRnDQx+
>>88
ありがとうございます!
ざっと目を通しましたが、今の5ch数学板と全然違いますね
なんと言うか…集まってる人間の感じが明らかに違いますよね
あさって向いた頓珍漢なレスや揚げ足取り、不毛なディスりレスが極少
どこで道を間違えたんだろう
0107132人目の素数さん
垢版 |
2018/08/11(土) 21:17:25.23ID:aqPKTtus
"Mathematics, rightly viewed, posseses not only truth
but supreme beauty, a beauty cold and austere
like that of sculpture" - Bertrand Russell

「正しく見た数学は、真実だけでなく最高の美
  - 彫刻のように冷たく厳しい美 - も有している」
(バートランド・ラッセル)

チューリングを記念してサックビル・パークに作られたブロンズ製のベンチに付随する銘板より
0108132人目の素数さん
垢版 |
2018/08/11(土) 21:33:26.74ID:PZHK6b8p
>>107
ラッセルはあてにならない、ラッセルのエッセイは特に
ラッセルは数学やるときと文章書くときとでは使う頭が全く違っている気がする
0109132人目の素数さん
垢版 |
2018/08/11(土) 22:00:58.14ID:aqPKTtus
ラッセルはプリンキピア・マテマティカを共著したホワイトヘッドの嫁と不倫したから、
>>108 の言う「あてにならない」は一理ある。
でも、小平邦彦の「ボクは算数しか出来なかった」にもラッセルと似たことが書かれていて
「このときの大学はエリートの集うところであり現在のように大衆化されていなかった。・・・
私の楕円曲面論は実は私が考え出したのではなく,数学という木の中に埋まっていた楕円曲面論を
私が紙と鉛筆の力で掘り出したにすぎない」(115P) と言っている。
0110132人目の素数さん
垢版 |
2018/08/11(土) 22:33:46.00ID:aqPKTtus
「それはなぜベートーベンの交響曲第九が美しいのかと尋ねるようなものだ。
なぜかがわからない人に、他の人がその美しさを説明することはできない。
数が美しいことをわしは知っている。
数が美しくなかったら、美しいものなど、この世にはない」
(ポール・エルデシュ)「放浪の天才数学者エルデシュ」より
0112132人目の素数さん
垢版 |
2018/08/11(土) 23:38:05.81ID:aqPKTtus
小平邦彦が自分を運慶になぞらえたのかは不明だけど、そうだとしたらかなりイヤミだし違うと思う。
夏目漱石「夢十夜」の第六夜の最後の部分を抜粋する。
「はたしてそうなら誰にでもできる事だと思い出した。
それで急に自分も仁王が彫ってみたくなったから見物をやめてさっそく家へ帰った。
自分は一番大きいのを選んで、勢いよく彫り始めて見たが、不幸にして、仁王は見当らなかった。
その次のにも運悪く掘り当てる事ができなかった。三番目のにも仁王はいなかった。
自分は積んである薪を片っ端から彫って見たが、どれもこれも仁王を蔵しているのはなかった。
ついに明治の木にはとうてい仁王は埋っていないものだと悟った。
それで運慶が今日まで生きている理由もほぼ解った。」
0113132人目の素数さん
垢版 |
2018/08/11(土) 23:51:21.87ID:aqPKTtus
夏目胆石「夢十一夜」
「はたしてそうなら誰にでもできる事だと思い出した。
それで急に自分も定理が証明してみたくなったからさっそく家へ帰った。
自分は一番大きい『リーマン予想』を選んで、勢いよく彫り始めて見たが、不幸にして、仁王は見当らなかった。
その次の『ポアンカレ予想』では運良く掘り当てる事ができた。
そこで2002年に論文を送ったのだが、証明の検証の際に、シン=トゥン・ヤウたちは自分たちが最終的解決をしたかのような論文を提出した。
ぼくは人間不信に陥り、2006年のフィールズ賞が贈られたときも受賞を辞退した。
いまは毎日きのこを採集して暮らしている。」
0114132人目の素数さん
垢版 |
2018/08/12(日) 00:00:38.40ID:+PyPCiU/
本当の研究者相手なら
下らない「哲学、文学」する暇があったら研究しろ!
と言う所だ。

けど、憧れだけで、理解力も研究する力もない素人が、
分かったつもり、研究者になったつもりになって
楽しむ娯楽だから放置。

妄想を拗らせてプロの学者になったと勘違い、
変な論文擬きを学会に送りつけるのは止めてくれ。
0115132人目の素数さん
垢版 |
2018/08/12(日) 01:08:48.20ID:OmjNyoh1
>>114
??
0116132人目の素数さん
垢版 |
2018/08/12(日) 01:20:49.75ID:tXmj9+wU
>>111
もっと昔にミケランジェロ辺りも言っているよ。
すぐに思い出せないけど、似たようなことをいろんな人が言っている。
0117132人目の素数さん
垢版 |
2018/08/12(日) 01:54:48.98ID:fj2vnC7N
俺が通ってる美容師も似たようなこと言ってるよ
ハサミの力で髪を掘り出すんだと
0120132人目の素数さん
垢版 |
2018/08/12(日) 05:53:47.36ID:A3e96+Zw
大昔にマタノちゃんほざいてた人か

遠山啓ネタ振ってた奴もなんかオブジェクト指向とか言い出すし
0121132人目の素数さん
垢版 |
2018/08/12(日) 12:50:37.63ID:+eDtQ+oH
最近はちゃんとした数学者で、一般向けの
本を書く人がいない気がする。
一世代に何人かは、そういう人にもいて欲しい。
桜×進では完全な素人だしなぁ。
0124132人目の素数さん
垢版 |
2018/08/12(日) 15:06:21.13ID:hxsfTKrm
>>122
一般的ではないだろ…
0125132人目の素数さん
垢版 |
2018/08/12(日) 16:04:12.51ID:lwgDlbqX
James R. Mnukres著『Analysis on Manifolds』を読んでいます。

この本の説明は素晴らしく分かりやすいです。

ですが、演習問題の質が悪いように思います。

例えば、

Show that the function f(x, y) = |x*y| is differentiable at 0, but is not of class C1 in any neighborhood of 0.

という問題ですが、

0 の近くで f の偏導関数自体が存在しません。
0126132人目の素数さん
垢版 |
2018/08/12(日) 16:20:33.76ID:JDEkXEzR
「きれいなことば、きれいなこころ
 大切にしよう

 AC JAPAN 」
こういう広告が放映されてるのにここにもひどい人がいるな。
いじめ、セクハラ、パワハラ、アカハラ、人種差別。どれも犯罪です。
0127132人目の素数さん
垢版 |
2018/08/12(日) 16:59:14.79ID:Dslozx3J
京都人みたいな綺麗なイヤミ吐くようになったらまあ人間として終了済みだな
本人に真っ向からダメ出しする方が遥かにマシ
0129132人目の素数さん
垢版 |
2018/08/12(日) 17:20:46.95ID:GhtpkIOj
ところで、このスレって統計学(実験計画法)とかゲーム理論とかの
関連書籍って、挙げていいのかな?
どこまでを「数学」に含めるかっていう話をすると、
「純粋数学」と「応用数学」で対立する部分があると思うんだが。
たとえば、『確率論とその応用』とかは入れていいのかな。
0130132人目の素数さん
垢版 |
2018/08/12(日) 17:38:39.68ID:XvIjpWEB
別に厳格な定義はないし、個々人が何となく集まってるだけ。
そんな事言ったら数学基礎論、情報数理はどうなるのってことだし
0133132人目の素数さん
垢版 |
2018/08/12(日) 17:48:01.63ID:S5XH9MZn
昔kingって人が数板を盛り上げていたようだが
もう引退して来ないようだな
0136132人目の素数さん
垢版 |
2018/08/12(日) 19:00:56.11ID:GhtpkIOj
>>135
ありがとう。
とはいえ基礎論スレはともかくとして、
ム板は荒れてるし(つーか、おれはいろいろ迫害されてるし)
情報学板も、なんか荒んでるみたいだし、
けっこうハードルっつーか敷居が高ぇよな?

フツーに応用数学系(教養課程終わって専門課程の
入口に立ったくらいの学生が来そうなスレ)っつったら
どこへ行ったらいいんだ?
0137132人目の素数さん
垢版 |
2018/08/12(日) 19:24:21.76ID:veEH7y0r
応用数学だろうが、情報数学だろうが
数学書なら何でもここでも扱う
書くな言っとるのは只のワガママ
0138132人目の素数さん
垢版 |
2018/08/12(日) 20:03:30.38ID:GhtpkIOj
>>137
おう、(゚∀゚)人(゚∀゚)ナカーマ
0139132人目の素数さん
垢版 |
2018/08/12(日) 21:50:11.04ID:lwgDlbqX
杉浦光夫著『解析入門I』を読んでいます。

p.196に冪函数 x^a が登場します(登場するのは例の中ではない)が、それ以前に
一般の冪について何の説明もありません。

一般の冪は、p.198に書かれています。
0141132人目の素数さん
垢版 |
2018/08/13(月) 14:47:28.41ID:w7EUKRC1
>>129
> ところで、このスレって統計学(実験計画法)とかゲーム理論とかの
> 関連書籍って、挙げていいのかな?

もちろん構わないよ
スレのタイトルは「数学の本」であって「純粋数学の本」ではないからね
0142132人目の素数さん
垢版 |
2018/08/13(月) 15:26:05.65ID:LxH4QRdT
>>141
じゃあ、(>>140 に「甘えんなよ」とか叱られてるけど)お言葉に
甘えて、ゲルファント(他。坂本實訳)の『座標法』(ちくま学芸文庫)。
「あー、癒されるわー」ってな感じなので、金と暇があったら
温泉地(つーか湯治場)にこの本と計算用紙とノート持ってって、
一か月くらい籠ってたいわー。
0143132人目の素数さん
垢版 |
2018/08/13(月) 15:35:14.07ID:LxH4QRdT
>>139
そんなこと言ったって、「そのあたりは勉強しといてくれ」
っちゅー話なんじゃないの?
早稲田の筧先生の研究室にお邪魔したときに、なんか
学生が二人してホワイトボードの前で苦しんでいたので、
「これって、スターリングの公式を使っちゃだめなんですか?」
と筧先生に訊いたら、「スターリングの公式を使わないで
解けって言ってんだよっ!」と、あの温厚な筧先生に
叱られてしまいました (T_T)。
で、あとで学生に「あのぉ …… 先輩の方ですか?」と
訊かれて、「いえ、一介の市井のプログラマです」と
言い去って帰ってきた。
0144132人目の素数さん
垢版 |
2018/08/13(月) 20:50:40.62ID:E4aencw0
プログラミングとかもう別板・別スレでやってよほんとに
何度も言うけど頼むよほんと
0145132人目の素数さん
垢版 |
2018/08/13(月) 21:38:05.02ID:n/dAJZvc
>>144
言うほどレスは多くないんじゃない?
話題になりかけるけど、君みたいな人が出てきて話が進まないからね
0148132人目の素数さん
垢版 |
2018/08/14(火) 08:47:49.54ID:9oguLQGz
え?数学的思考力ってプログラミングの領域で生かせらレるんだがCやJavaの入門書ぐらいはやってるよな?
0149132人目の素数さん
垢版 |
2018/08/14(火) 08:55:59.17ID:uRfTlc4z
プログラミングをCやJavaに短絡する香具師は
定理証明機を触ったこともない階層なんだろ
その程度が知れるねぇw
0150132人目の素数さん
垢版 |
2018/08/14(火) 09:41:24.08ID:SuyzYE1p
>>148
アルゴリズムの記述は ALGOL とか
数値計算だと Fortran とか
ホーン節の論理だと Prolog とか
言語っちゅーのとは違うけど数式処理だと
MatheMatica とか
いろいろ歴史的な経緯がある。
C はシステム記述用で、マシンの性能を引き出すのに
好都合なので、有限組合せ数学とかを
ゴリゴリ計算するのによく使われた。
Java は C より見通しがいいんで、
ちょこちょこ数値実験に使われたりする
グラフィクスが充実してるんで、
マンデルブロ集合やジュリア集合の
描画にも使えて便利だけど、
中学・高校あたりの数学教育で数値実験に使うん
だったら BASIC が便利かもしれない。
0151132人目の素数さん
垢版 |
2018/08/14(火) 09:46:57.85ID:SuyzYE1p
>>147
> まあそんなプログラマ皆無でしょう
皆無ではないが、かなり少ないのは確かだな(笑)
LISPハッカーで、「日本のストールマン」と
呼ばれた竹内郁雄先生は東大の数学科出身で、
たしか竹内外史先生と同年度なので、
「ダメなほうの竹内」と呼ばれていたと
エッセーに書いていらっしゃった。
0152132人目の素数さん
垢版 |
2018/08/14(火) 09:57:54.46ID:87c8hBEg
>>150
学校の授業でBasicやLisp、Prolog触ったことはあるけど、正直あんなもののどこが役に立つんだって言う印象のまま終わった
Javaに追加されるライブラリだけじゃダメなものなの?
0154132人目の素数さん
垢版 |
2018/08/14(火) 10:14:51.92ID:SuyzYE1p
>>152
BASIC(パソコン用じゃなくてオリジナルの方)は
行列式が扱えたので非線形多元方程式で記述される
システムの数値計算、
LISP は数式処理、
Prolog は定理証明に使われたことがある。
いちいち Java を使うより、問題向き言語やら
使いやすいアプリやらがあるから、そっちを
使ったほうが楽だよ。プログラミングが好きなら、
また別だけど。
0155132人目の素数さん
垢版 |
2018/08/14(火) 10:22:18.25ID:SuyzYE1p
>>153
読みやすさと直観的な解りやすさ。
同じことはアセンブラでも C でも書けるけど、
書いた本人でもなきゃ読んでわからん。
Java は C よりわかりやすいが、
たぶん数学屋が求めているのとは
別の種類の “わかりやすさ” だ。

あとは、定理証明系や将棋プログラムや
自然言語処理系は、中で疑似超並列処理を
行なってるのが違いっちゃあ違いかな?
つまり、処理の対象が有限束みたいな
構造を持ったデータだという違いがある。
0156132人目の素数さん
垢版 |
2018/08/14(火) 10:59:38.00ID:uRfTlc4z
CSの授業でもやると思うんだけど少し歴史をおさらいしよう。以下、長いので2回に分ける。
微積分や複素解析の発展とともに解析の基礎が数学の大きな問題となった時期があった。
その時期に活躍したのがデデキントとカントールだ。デデキントはまず実数をデデキント切断を導入して定義し、
続いて整数を公理論的に定義した。この時、五つほどの公理から推論されるように定義した。
この定義には無限集合という罠があることがカントールから指摘され、集合論を厳密に定義することが問題になった。
これに答えたのがフレーゲやラッセルだった。
ラッセルはプリンキピア・マセマティカのなかで算術を説明するためにΛ「ラムダ」記号を導入した。
このラッセルの仕事を受けてゲーデルが不完全性定理を証明した。
この仕事でゲーデル独特の定理証明機とゲーデル数による計算可能関数を導入している。
さらにゲーデルの仕事を受けて、アロンゾ・チャーチとチューリングが登場する。
チャーチはラッセルのΛをさらに洗練させたラムダ算法を構築してλ記号を導入し、
ゲーデルの計算可能関数がλ記述可能関数と同等であることを示した。
チューリングはチューリング機械を導入して、ゲーデル&チャーチと同様に
計算可能関数が再帰関数と同等であることを示し、チューリング完全という概念を得た。
今日の一般的なプログラミング言語はチューリング完全で、ゲーデル&チャーチ&チューリングの仕事を基礎にしている。
0157132人目の素数さん
垢版 |
2018/08/14(火) 11:00:35.52ID:uRfTlc4z
戦後にはコンピュータが発展するとともに、ソフトウェアも高級言語が開発された。
ダイクストラがチューリングの手法を発展させて手続き型言語の先祖にあたるALGOL60を開発するとともに、アルゴリズムを発展させた。
またブルックスらがALGOLを発展させたFortranで初めてコンパイラを手動で書き上げた。
このFortranを簡易化して出来たのがBasic言語だ。
一方、ジョン・マッカーシーは、チャーチのラムダ算法を発展させたラムダ関数の理論を基礎に持つLisp言語を開発した。
このLispからはカール・ヒューイットのPlannerや論理型のPrologが派生した。
ケン・トンプソンとデニス・リッチーはC言語とUNIXを導入して汎用OSと記述言語の基礎を作った。
さらに時代が下るとXerox Parcのアラン・ケイがSmalltalk言語を開発してオブジェクト指向を発展させた。
最後に関数型言語が発展する。特に四色定理の証明に使われた定理証明機Coqの基盤となったOCaml言語やHaskell言語が有名。
最近ではLisp系のACL2や入門用に簡易化したJ-Bobなんかもよく使われている。
ざっと流れを書いたが、細かい間違いもあるかもしれない。請寛恕我的罪。
0158132人目の素数さん
垢版 |
2018/08/14(火) 11:13:08.46ID:uRfTlc4z
>>153
Javaだって最近になってLambda関数は導入されたから、SchemeのminiKanrenが容易に移植できた。
しかし、今の所はJavaで定理証明はまだ出来ない。
そのうちJavaで定理証明が出来るようになるまでここが最大の違い。
なぜってプログラムの関数を定理証明しながら書けば、間違いなくバグフリーだから。
古い言語の最大の弱点だろうね。
0159132人目の素数さん
垢版 |
2018/08/14(火) 11:17:59.90ID:uRfTlc4z
ちなみにJavaでも一階述語論理の定理証明までならleanTAPを移植したものが存在する。
興味があれば見てみると勉強にはなると思う。
0160132人目の素数さん
垢版 |
2018/08/14(火) 11:35:22.50ID:qwqstmos
☆荒らしはスルーしましょう、煽りにのらないように

☆NGの方法
ID 87c8hBEg をコピー、
専ブラのツール--->設定--->MGIDを選択しIDを入力欄にペーストし追加を押してOKする
一度このスレを閉じて再度開けばあぼーんできる
0161132人目の素数さん
垢版 |
2018/08/14(火) 11:55:53.57ID:uRfTlc4z
チューリング完全という概念が広く知られるようになると、「人間はチューリング機械か?」という人が生物系の研究者からで始めた。
これが大量のDNA解読の時期と重なっていたことが幸いして、DNAコンピュータが発展した。
1994年にエーデルマンは初めてDNA鎖を用いて、NP完全な問題「ハミルトン路問題」を解いた。
こうしてDNAコンピュータがチューリング完全であることが明らかになり、「人間はチューリング機械か?」は肯定的に解決された。
物理系では量子コンピュータが飛躍的に発展しつつあり、定理自動証明機も急速に発展しつつある。
この流れで一度は細分化された科学が、理論面では再び統合の方向へ向かい始めている。
チューリングやノイマンのように実験技術も兼ね備えた数学者が活躍する時代なのかもしれない。
0162132人目の素数さん
垢版 |
2018/08/14(火) 12:17:06.27ID:2ul8eX+T
>>161
>チューリングやノイマン
>活躍する時代
いずれも大戦期に活躍した人だと考えるのですが?
0163132人目の素数さん
垢版 |
2018/08/14(火) 13:30:23.58ID:SuyzYE1p
>>156
全く無問題。
むしろ、「ツッコミどころ満載」のほうが
おいしいのだが、コンパクトにまとまってて
ツッコミどころが少ないので、
「お前は教科書でも書けや (-_-!)」つーくらいの
仕上がり。
0164132人目の素数さん
垢版 |
2018/08/14(火) 13:38:06.28ID:SuyzYE1p
>>162
第二次世界大戦当時は、全面戦争(軍産学一体)だったので、
わりと学問的な資源が潤沢だったのよ。
チューリングはドイツのエニグマ暗号や日本軍のパープル暗号の解読、
ノイマンやファインマンや BASIC 言語を開発したケメニーと
カーツはマンハッタン計画に関わっていた。
0165132人目の素数さん
垢版 |
2018/08/14(火) 13:47:07.12ID:SuyzYE1p
>>162
フェラーの『確率論とその応用』だと、
「ロンドンの市街地に落ちた、ドイツの V2 号
ミサイルは、ポアソン分布になっている」みたいな
話が出てくる。
ゲーム理論とかシステム解析の分野だと、
「突っ込んでくるカミカゼ・アタックに対する
防御は、回避運動するのと対空攻撃をする(回避運動をすると
命中精度が下がる)のとどっちがいいか?」みたいなのが
発祥になっている。
「ランチェスター法則」とかでググってみ?
線形一次微分方程式あたりの話題はいろいろ出てくるから。
「トラファルガルの会戦」とか「硫黄島の攻防」とかも、
わりと線形で二次以下の微分方程式で、近似できるから。
0166132人目の素数さん
垢版 |
2018/08/14(火) 13:51:03.49ID:SuyzYE1p
おまいら(笑)。ここは「数学の本」スレなんだから、
元の文献へのインデックスをちゃんと晒せよ (w
荒らし認定されても知らんぞ?(笑)
0167132人目の素数さん
垢版 |
2018/08/14(火) 14:11:25.57ID:20znoLay
>>148-159
プログラミングの話や単なるプログラミング言語の話は完全にスレ違いです。情報学板かプログラム板でやって下さい。
数学板でならば最低でもプログラムに関する数学的な基礎理論の話題に関するものにして下さい。

またこのスレはスレタイで明らかなとおり「数学の本」に関するものなので
プログラミング言語に関する数学的な基礎理論の本を具体的に挙げるか質問するカキコでなければスレチです。
具体的な本を挙げずに数学的な基礎理論そのものについての議論は数理論理学(数学基礎論)スレで行って下さい。
0168132人目の素数さん
垢版 |
2018/08/14(火) 14:26:56.32ID:UxK7fHqj
下らない感想、文学を長々とアホ臭。
計算機ネタ書くのなら、Mathematicaによる古田不等式の発見過程のような数学の研究に役に立つことを書け。
その内容では、数板に書くなと言われても仕方がない。

書けない理由ははっきりしている。
数学が分からない、計算機を数学の研究に応用していないからだ。
0169132人目の素数さん
垢版 |
2018/08/14(火) 15:08:00.28ID:2B03pWj6
>>151
>LISPハッカーで、「日本のストールマン」と
>呼ばれた竹内郁雄先生は東大の数学科出身で、
>たしか竹内外史先生と同年度なので、
>「ダメなほうの竹内」と呼ばれていたと
>エッセーに書いていらっしゃった。

どうでもいいけど、いくらなんでも外史さんと同級ではないだろう
多分、筑波で代数の教授をやってた代数群の専門家が同級ではあったと思うが
0170132人目の素数さん
垢版 |
2018/08/14(火) 15:18:53.31ID:7Ak8Eky0
Haskell ってどうですか?
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況