現代数学の系譜 古典ガロア理論を読む37

1 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/01(火) 13:23:53.37 ID:gpKQ4DGY.net] 現代数学の系譜 古典ガロア理論を読む 前スレ 現代数学の系譜 古典ガロア理論を読む36 rio2016.2ch.net/test/read.cgi/math/1499815260/ 小学レベルとバカプロ固定、High level people、サイコパス お断り！High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾； 旧スレが512KBオーバーで、新スレ立てる このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです （最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。） 👀 Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f) 511 名前：￥氏 mailto:sage [2017/08/07(月) 05:39:14.20 ID:/rspiZFz.net] 続き： そしてその一方で『計算機による四色問題の解決』とか、或いは「O.LanfordのFeigenbaum定 数に関する計算機を使った証明」です。こういうのは汚くて初等的かも知れないが、でもその 限りない重要性は誰も否定できません。 まあ正直な話、多くの人がする作用素環批判はコレだと思う。またD-加群の一般論が批判 されるのもコレだと思う。でもそれは違います。即ち： ★★★『大切なのは（どういう言葉で書いてアルか、ではなくて）「実質的に何をしてるか」という事』★★★ です。 云わば「高層建築でも安物のマンションもあれば、また一階建て平家でも高級和風建築もあ るという話」ですわ。因みに小松彦三郎教授は、東京都内で平屋の和風豪邸に住んではる 超お金持ちだそうですが。奥様が岩波書店の創業者の娘さんだそうで。 ￥ 512 名前：１３２人目の素数さん [2017/08/07(月) 10:14:41.35 ID:NuVmfQxc.net] なんで急にこまっつぁんが出てくるの カンタローさんがよく言ってたよな 513 名前：￥氏 mailto:sage [2017/08/07(月) 10:33:46.19 ID:/rspiZFz.net] 訂正： Prinston　⇒　Princeton ￥ 514 名前：１３２人目の素数さん [2017/08/07(月) 11:07:49.72 ID:57i4HBsN.net] 耳栓をしたら世界が変わってワロタ 515 名前：￥氏 mailto:sage [2017/08/07(月) 11:15:54.12 ID:/rspiZFz.net] ￥ 516 名前：１３２人目の素数さん [2017/08/07(月) 16:30:38.42 ID:qBFtR8m4.net] 芳雄の虐待話ももう一丁頼みます 517 名前： mailto:sage [2017/08/07(月) 17:46:48.02 ID:JkcC4rm8.net] >>317 ＞>yahoo 知恵袋の方が、深いところへ突っ込んだ議論がなされた感触です ＞同感ですな（＾＾ そう、第一章を読んで初学者にありがちなギャップを感じたので投稿した内容が https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13170327928 でした。個人的にはこの点については、石井本のあらすじには影響しない範囲での「お手つき」と解釈しています。 （循環論法にはならないはずです、たぶん。） ＞書評は、順序が逆で、あなたが批評を書かれたら良いと思います まさしくそのとおりですね。 518 名前： mailto:sage [2017/08/07(月) 17:58:31.08 ID:JkcC4rm8.net] >>351 ＞仕事しながらかい？ そうなんですが、ちゃんと解析や線形代数をやるのは大変ですね、若いころにがんばるべきでした。 というか、若いころにペンで教科書に書き込みしたのを今ぜんぜん理解できない、というのはなかなか堪えます 第一、今なら消せるように鉛筆で書くところです、ペンでとかありえない、お前、間違えずに書ける自信があったのかと若いころの自分を問い詰めたい… 519 名前：１３２人目の素数さん [2017/08/07(月) 18:50:56.75 ID:dFdA/RkK.net] ＞２．例えば、名前にただ乗りした スレ28でも良いし、別にきちんと「時枝問題」を冠したスレでも良いし このバカはこのスレに価値があると勘違いしてるようだ。 このスレなぞ糞の価値もない。何故なら数学のすの字も理解してないパープリンが「数学ができる人」と思わ れたいだけのスレスレだから。 あ、一つだけ価値あったわ。かつて数学者だった世捨て人の話し相手ｗ 520 名前：１３２人目の素数さん [2017/08/07(月) 18:55:10.79 ID:dFdA/RkK.net] ＞６．こっちは迷惑してんだよ！　時枝記事不成立は、数学科の４年くらいになって、現代確率論を学べば、不成立は自明だよ と大学一年の数学すら理解できないアホが申しております（白目） ＞（だから何年も続く話題じゃないよ（＾＾） 早く沈静化して数々のアホ発言（決定番号は∞、数列は連結可能、サイコロの出目を当てられる確率は1/6だから不成立）を忘れて欲しいんですね？　わかりますｗ 521 名前：１３２人目の素数さん [2017/08/07(月) 19:04:27.17 ID:dFdA/RkK.net] ＞３．で、ここで時枝記事にレスを付ける人が居たら、「こちらにきちんとしたスレがあって、その議論は数学的に決着している」と誘導すれば良い（それをこのスレのスレタイに入れても良い） ＞４．だが、１）時枝記事のきちんとした論証ができない能力不足、２）自分でスレを時枝記事立てて完結させる能力不足 ＞５．この二つの能力不足を棚に上げて、あんたら、なにいってんだ？ 時枝記事は「成立」で解決済み、お前が理解できていないだけ そんなバカは放っておいてもいいが、間違いを発信し続けられるのがイラつくだけ 特に元数学者の寂しさに付け込んでたらしこんだり、数学的真偽とは別の部分でこのスレ やスレ主の発言を正当化しようとする魂胆が看過できないだけ 522 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/07(月) 19:11:40.59 ID:liPWVlVm.net] >>468-470 ピエロくん、ご苦労 泣きながら、逃亡したのかと心配したぜ（＾＾ 明日も頼むよ ところで中学校の勉強は進んでいるかい？（＾＾ ＜参考＞ >>165 より ”いや、>>150は中学で習う定義域の概念を分かってないから>>1以下だろ >>128ほど噛み砕いた優しいツッコミは滅多にないからなw” 523 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/07(月) 19:50:02.89 ID:liPWVlVm.net] >>467 C++さん、どうも。スレ主です。 >そうなんですが、ちゃんと解析や線形代数をやるのは大変ですね、若いころにがんばるべきでした。 試験問題見たけど、線形代数といっても、3x3マトリックス程度だと思うし（＾＾ 下記、過去問 理論科目の問２は、一見線形代数だけど、よく見たら偏微分しているだけでしょ？ 線形代数の知識は不要でしょ また、解析と言っても、これ偏微分するだけだったら、高校数IIレベルに近いし 問４も、細かいところ、よく分からんが、大学レベルの電気やる人なら常識じゃない？　大した微分方程式でもないように思いますが（＾＾ もっとも、私には全く解けないけどね〜（＾＾ いま集中して、１日10時間くらい勉強したら、9月の試験のころには解けるようになる気がするよ（＾＾ だけど、気になるのは、C++さんは、ガロア理論など、確実に一歩ずつという勉強法で、なかなか前に進まないイメージがあるのが心配 覚えるところと、理解することは、勉強の両輪でね。基本を覚えていないと、理解が進まない。理解していないと、覚えられない うまく回り出すとどんどん進むが、下手すると悪循環だ だから、とにかく、まずは一次試験の過去問をしっかり解けるレベルを目指すべき。規定時間の８割くらいの時間で >というか、若いころにペンで教科書に書き込みしたのを今ぜんぜん理解できない、というのはなかなか堪えます そこも理解できないけど、教科書なんだから、書き込みなんか無視して、改めて理解すれば良いでしょ？（＾＾ まあ、頑張って下さい。分からなかったら、ここに書いて見て。多分回答できないけど、だれか回答してくれるかも。それに書けば、自分で解けるよ（＾＾ （参考） www.shiken.or.jp/answer/index_list.php?exam_type=10 第一種電気主任技術者試験の問題と解答 www.shiken.or.jp/answer/pdf/221/file_nm01/F1%28R%29.PDF 【問題】平成28年度第一種電気主任技術者一次試験　理論科目 www.shiken.or.jp/answer/pdf/221/file_nm02/F1%28D%29.PDF 【問題】平成28年度第一種電気主任技術者一次試験　電力科目 www.shiken.or.jp/answer/pdf/221/file_nm03/F1%28K%29.PDF 【問題】平成28年度第一種電気主任技術者一次試験　機械科目 524 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/07(月) 20:06:06.33 ID:liPWVlVm.net] >>466 C++さん、どうも。スレ主です。 >＞書評は、順序が逆で、あなたが批評を書かれたら良いと思います >まさしくそのとおりですね。 その感触だと、石井本まだ通読していないですね？（＾＾ まあ、試験優先だから、いまはお薦めしないけど 石井本程度なら、初心者でも長くて１週間で読まないと １週間くらいで「がー」と読んで分からなければ、どこが分からないか、分からないところをチェックしてまた読む ２回目で立ち止まって、３回目を読むか、もう少しレベルの低い本からやるか考える そういうやり方の方が良いと思いますよ（＾＾ 一歩一歩という読み方は、若くて、数学だけに無限の時間を注げる人なら可だろうが、大人は数ヶ月掛けたら、最初に読んだ細かいところを思い出せないでしょ？（＾＾ 525 名前： mailto:sage [2017/08/07(月) 20:13:23.32 ID:U26xyVo0.net] ＞最初に読んだ細かいところを思い出せないでしょ？（＾＾ ‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥ ﾊｲ 526 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/07(月) 20:16:24.96 ID:liPWVlVm.net] >>458 ￥さん、どうも。スレ主です。 >私の意図する所は『この話の意味する事柄』であり、従って「その個人が誰であるか」ではな >いです。日本人は個人というモノに興味を持ち過ぎであり、コレは非常に良くないと思います。 まあ、全く同感ですが しかし、過去を振り返れば、日本はアジアでは、数学大国であって、フランス、アメリカ、ドイツ、イギリスなどと比べると劣りますが フィールズ賞を出したアジアの国は少ない。まあ、中国系はすごいですが。インド系も。 日本は、数理研を持ったのは大正解ですね（＾＾ 今後どうするか？ やっぱり、アメリカ流のつまらん、論文数＋引用数という指標評価を止めるべきでしょうね そして、もっと独創性というかオリジナリティーというか、そちらをしっかり評価する方向へ変えるべし 具体的にどうするか難しいですがね 文科省がそっちへ舵取りしてほしいですね あと、数学の教育システムの立て直しかな（＾＾ 527 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/07(月) 20:31:57.53 ID:liPWVlVm.net] >>459 ￥さん、どうも。スレ主です。 "先の「一階建て平家」と「二階建て」の話に関する追加説明です。私の意図する事は『どちらが 高級で素晴らしいか』ではありません。つまり： ★★★『もし高層建築が「多くの準備を必要とする」或いは「困難である、証明が長い」とい 　　　　　　　　う意味であれば、それはその出来上がりの数学の重要度とは何の関係もない。』★★★ というのが、その私の趣旨です。" ああ、それ（準備の大変さ）もちらっと考えましたけどね（＾＾ でも、その酔っ払いの人の時代はおそらく、1980年代かな？ いま、2017年ですからね〜 ”代数：平屋” と言っても、代数の最前線に立つのに、一体どれだけの文献を読まないといけないのか？　（1980年代以降の30年分＊）） 解析しかり ＊）内容をうまく纏めてレビューしてくれると、助かります。それが、指導教官とか研究室のありがたみですよね（＾＾ そもそも、数学最前線にいくと、なにが代数でなにが幾何でなにが解析なのか？ ”そんな境界は自分で決めろ”というのが、コンヌ流なんでしょうね（＾＾ >個人批判に当たりますが、ひとつ事例を挙げます。ブルバキが大好きな私は学生の時に ああ、「構造」は、一時大流行しましたし、いまでも「構造」という視点は大事ですよね それに、圏論が割り込んできたという感じでしょうか？　構造 vs 構造 という視点。あまり、まだ圏論は理解できていませんが（＾＾ 528 名前：１３２人目の素数さん [2017/08/07(月) 21:00:26.06 ID:yUFv9L6Q.net] 痴漢で性病なんて殆ど感染りませんよね？ 嫁、子供、更に父母、姉妹もいますがしたいです。 でも性病になって迷惑をかけるといけないので我慢してます。 悪いのも分かってます。 増田哲也さんはどうやって我慢してますか？ 529 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/07(月) 21:24:19.13 ID:liPWVlVm.net] >>460 ￥さん、どうも。スレ主です。 >そしてその一方で『計算機による四色問題の解決』とか、或いは「O.LanfordのFeigenbaum定 >数に関する計算機を使った証明」です。こういうのは汚くて初等的かも知れないが 初等的というと、アペリーを思い出しました。 アペリーから、30年以上経ってしまった。 だから、もう平屋とは言えないかも（＾＾ https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83% 530 名前：9A%E3%83%AA%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86 (抜粋) 数学において、アペリーの定理は、アペリーの定数 ζ(3) が無理数であるという、数論の結果である。 1978年にフランスの数学者ロジェ・アペリーが、周囲が全く予期しないうちに、この事実の証明を発表した。アペリーの証明は、一箇所手計算ではできないところが含まれているといわれており、またその方法が未だに他の ζ の奇数値に対して一般化できないこともあり、非常に謎めいたものとなっている。 アペリーはフランス人数学者で、当時隆盛を誇っていたブルバキとは独立にこの方法を開拓した。 1978年6月、ロジェ・アペリ (Roger Apery) は "Sur l'irrationalite de ζ(3)"（ζ(3)の無理性に関して）という題の講演を行った。講演において彼は ζ(3) と ζ(2) が無理数であることの証明の概略を話した。後者は π を用いた表示に頼るのではなく前者のための手法を単純化したものを用いた。 結果の全く予想外の性質とアペリの主題への無感動で非常に概略的なアプローチのために、聴衆の数学者の多くは証明には欠陥があると捨て去った。 しかしながら、アンリ・コーエン（英語版）、ヘンドリック・レンストラ（英語版）、アルフレッド・ファン・デル・ポールテン（英語版）はアペリは良い線を行っているかもしれないと思い、彼の証明の確認を始めた。 2ヶ月の後に彼らはアペリの証明の確認を終わり、8月18日にコーエンは証明の全詳細を与える講演を行った。講演の後アペリ自身が演説をし彼のアイデアのもととなったものを説明した[2]。 さらに大きなゼータ定数 この問題に関する研究はなお活発に行われている。Higher zeta constants は物理への応用がある： 量子スピン鎖（英語版）の相関関数を記述するのである。例えば文献[12]を参照。 (引用終り) つづく [] [ここ壊れてます] 531 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/07(月) 21:26:08.46 ID:liPWVlVm.net] >>478 つづき >小松彦三郎教授は、東京都内で平屋の和風豪邸に住んではる >超お金持ちだそうですが。奥様が岩波書店の創業者の娘さんだそうで。 小松彦三郎教授か、懐かしいな。小松彦三郎先生の手書きの講義録を買ったけど、読めなかったな。むずかった（＾＾ でもね、小松彦三郎先生が、東大で Hyper Function をしたから、河合、柏原 のお二人が、数理研へ行って、SKKになったんですよね それが好循環になって、佐藤スクールがどんどん前進していった 岩波書店か・・。岩波は数学の本にも力を入れていましたね。いま、大変でしょうが（＾＾ とりあえず以上です 532 名前：１３２人目の素数さん [2017/08/07(月) 21:42:24.07 ID:l9Qabjsi.net] ガロアと言えば東大後期理系数学大問3(2)(高校生並感) 533 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/07(月) 21:46:28.09 ID:liPWVlVm.net] >>460 補足 >「O.LanfordのFeigenbaum定数に関する計算機を使った証明」 英語版 こちらの方が充実しているね https://en.wikipedia.org/wiki/Feigenbaum_constants (抜粋) Properties The first proof of the universality of the Feigenbaum constants carried out by Lanford[7] (with a small correction by Eckmann and Wittwer,[8]) was computer-assisted. Over the years, non-numerical methods were discovered for different parts of the proof, aiding Lyubich in producing the first complete non-numerical proof.[9] 7 Jump up ^ Lanford III, Oscar (1982). "A computer-assisted proof of the Feigenbaum conjectures". Bull. A 534 名前：mer. Math. Soc. 6 (3): 427?434. doi:10.1090/S0273-0979-1982-15008-X. 8 Eckmann, J. P.; Wittwer, P. (1987). "A complete proof of the Feigenbaum conjectures". Journal of Statistical Physics. 46 (3?4): 455. Bibcode:1987JSP....46..455E. doi:10.1007/BF01013368. 9 Lyubich, Mikhail (1999). "Feigenbaum-Coullet-Tresser universality and Milnor's Hairiness Conjecture". Annals of Mathematics. 149 (2): 319?420. doi:10.2307/120968. (引用終り) 日本語版には、O.Lanfordは出てこない（＾＾ https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%82%B2%E3%83%B3%E3%83%90%E3%82%A6%E3%83%A0%E5%AE%9A%E6%95%B0 (抜粋) ファイゲンバウム定数（Feigenbaum constant）は、ミッチェル・ファイゲンバウムの名にちなんで名づけられた、2つの数学定数である。両方とも分岐図の比に表れる。1975年にファイゲンバウムにより発見された[1]。これらの数は、証明はされていないが、超越数であると考えられている[2]。 (引用終り) [] [ここ壊れてます] 535 名前：１３２人目の素数さん mailto:sage [2017/08/07(月) 22:23:57.64 ID:4+RoDQA0.net] ペケポン 536 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/07(月) 22:59:24.71 ID:liPWVlVm.net] >>480 ID:l9Qabjsiさん、どうも。スレ主です。 >ガロアと言えば東大後期理系数学大問3(2)(高校生並感) 下記 2017年の分があるけど？　「高校生並感」が意味とれない（「高校テキスト並み」の意味か？）。それに、「ガロアと言えば」辺りがちょっと違うよね、これ（＾＾ server-test.net/math/tokyo/ 東京大学　数学入試問題過去問　５７年分　（一部解答例付き） 東大後期理系数学大問3(2) server-test.net/math/php.php?name=tokyo&v1=1&v2=2017&v3=1&v4=3&y=2017&n=3 その他の旧帝大、東工大の　数学入試問題過去問　５７年分　はこちら server-test.net/math/ (引用終り) 因みに解答が下記 www5a.biglobe.ne.jp/~t-konno/math/mathematics_tokyo.htm 東京大学 数学入試問題解答一覧 因みに、2017年入試問題トピックス下記 www.fuoriclasse2.com/cgi-bin/read.cgi?2017-04-26230121&id [ 2017年04月26日 - 23:01 ] 【2017年数学の大学入試問題トピック】 (抜粋) 2006年早稲田大理工→2017年早稲田大理工の3次方程式の解が三角関数で循環することを論証する問題（全く同じ。難問。代数学の「ガロア理論」を背景にした問題） 1993年上智大理工学部→2017年東大文理共通の平面上のランダムウォークの確率の問題（反復試行の確率に帰着する問題。標準レベル） 1986年東大文系数学→2016年同志社大全学入試文系→2017年東大理系数学の置き換えを利用して三角関数から2次関数に帰着して最大、最小を求める問題（文系の問題が東大理系で出題されるのか・・・基本レベル） (引用終り) 余談だが、いまどきの東大の理系数学の難易度落ちている気がする・・（＾＾ 537 名前：￥氏 mailto:sage [2017/08/08(火) 02:04:06.28 ID:9qCDT2yP.net] ￥ 538 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 06:29:28.67 ID:dwNxNtRp.net] >>480 & >>483 補足 >>ガロアと言えば東大後期理系数学大問3(2)(高校生並感) 失礼。東大後期か。 だが、”2016年度入試より後期日程が廃止されました”（下記）とあるから、2017年春の東大後期問題はないでしょ？ そこはどうなの？ todai.kawai-juku.ac.jp/exam/mechanism.php 東大入試の仕組み 2018年度入試情報 東大塾 (抜粋) 東大入試では、2016年度入試より後期日程が廃止されました。 センター試験の得点が110点に圧縮され、二次試験の440点と合わせて合計550点満点で合� 539 名前：ﾛ判定が行なわれます。 [] [ここ壊れてます] 540 名前：１３２人目の素数さん [2017/08/08(火) 06:35:13.23 ID:FLcpUz9v.net] ＞余談だが、いまどきの東大の理系数学の難易度落ちている気がする・・（＾＾ 。。。と数列すら分かってないアホが申しております 541 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 07:26:47.29 ID:dwNxNtRp.net] >>484 ￥さん、どうも。スレ主です。 雑談で恐縮ですが（＾＾ １．東大入試数学で、むかし言われたのが、「東大は新作問題を出す。東京工大は手抜きで他校を含めた（東大などの）過去問を出す」と 　　東大が問題を易しくすると、高校側から拍手。「これで良いのだ〜」と。でもね、昔は数学が一番差がつくとか言われ、理系は重視して勉強した。 　　易しくて差がつかないとなると、どうなんですかね？ 数学に力が入らなくなるかも・・ ２．>>459の「一階建て平家」と「二階建て」の話にもどると、2017年現在でも>>478のアペリーみたいな例が皆無ではないと思いますが 　（例えば、新しくできたAI系の分野など） 　　山登りに例えると、昔平屋程度だった”代数山”と”解析山”も、麓の手を付けやすいところは開発されつくして、最前線は麓からそうとう高いところに 　　いまどき、エベレストに単独で登る人はいない。シェルパがいて、ベースキャンプ作って、酸素ボンベも用意して、山頂を目指す 　　仏のコンヌ先生はスクールとは呼ばれなかったかもしれないが、実体は佐藤スクールなみでコンヌ スクールになっていたと思うんですよね 　　で、そういうｘｘスクールが、ベースキャンプとなって、そこから元気のいい人が（共同研究でもしながら）山頂へアタックする 　（凡人が一人でエベレストに登っても、ベースキャンプにさえ到達しないし、遭難の危険がある） ３．そういう意味で、>>348 藤原一宏の”整数論とラングランズ予想を中心とした表現論の二つの視点から現在の数理物理学における最重要課題であるミラー対称性予想を研究する”で 　　ベースキャンプを作ろうというのは、良い線行っていたと思いますね（素人の大外しかも知れませんが） 　　ラングランズ予想（下記）を正確には知らないのですが、高木先生の類体論からの伝統で、日本には沢山の研究者がいる。谷山−志村の流れもあるし 　　だから、”ここで一度日本の総力を集めて、ラングランズ予想にアタックしよう！”というのは、良い狙いだな〜と思いました 　　それ、潰されたのは残念だな（＾＾ つづく 542 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 07:27:34.82 ID:dwNxNtRp.net] >>487 つづき https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%B3%E3%82%B0%E3%83%A9%E3%83%B3%E3%82%BA%E3%83%BB%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0 ラングランズプログラム（英: Langlands program） 代数的整数論におけるガロア群の理論を、局所体およびそのアデール上で定義された代数群の表現論および保型形式論に結び付ける非常に広汎かつ有力な予想網である。同プログラムは Langlands (1967, 1970) により提唱された。 つづく 543 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 07:28:09.68 ID:dwNxNtRp.net] >>488 つづき https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E3%81%AB%E3%81%8A%E3%81%91%E3%82%8B%E7%B5%B1%E4%B8%80%E7%90%86%E8%AB%96 数学における統一理論 数学の統一理論（すうがくのとういつりろん、英: unified theory of mathematics）に到達するためのいくつかの試みが歴史的に行われてきた。偉大な数学者のあるもの[誰?]は、すべての主題（科目）は一つの理論に収まるべきであるという明確な展望を抱いている。 目次 1 歴史的側面 2 数学的な意味での「理論」について 3 幾何学の理論の統一 4 公理� 544 名前：ｻを通して 5 ブルバキ 6 競争相手としての圏論 7 理論をまとめること 8 モジュラー理論に関する最近の展開 9 K-理論の同型予想 10 数学の統一理論における主要な概念の一覧 11 関連項目 以上 [] [ここ壊れてます] 545 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 07:31:11.55 ID:dwNxNtRp.net] >>486 分かってないのは、ピエロとその取り巻きたち、特にあんただろ？（＾＾ ゼルプスト殿下(藤田博司先生)>>166に全部書いてあるよ。まあ、それが君に読めないことは明白だがね（＾＾ 546 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 07:59:41.52 ID:dwNxNtRp.net] >>487 訂正 藤原一宏の 　↓ 藤原一宏先生の （先生ごめん（＾＾ ） >>451 訂正 差別と接遇の問題ですね>>437 　↓ 差別と待遇表現の問題ですね>>437 （専門用語は正確に・・（＾＾ ） 547 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 08:07:50.79 ID:dwNxNtRp.net] >>475 補足 >やっぱり、アメリカ流のつまらん、論文数＋引用数という指標評価を止めるべきでしょうね >そして、もっと独創性というかオリジナリティーというか、そちらをしっかり評価する方向へ変えるべし >具体的にどうするか難しいですがね ふと思ったのですが ￥さんの意見には逆行するかも知れないが、日本はもっと共同研究を重視しそれを評価する方向に舵を切るべきではないかと >>487に書きましたが、集団でベースキャンプ作って、その中のトップクラスの人たちが、共同研究で山頂にアタックする 時代が、すでに個人の努力でなんとかなる時代じゃなくなっている気がする 数理研は、それを先取りしていたと思うんですよね 日本人には、そちらの方が向いているのでは？ そのためには、佐藤幹夫先生のような目利きの人が必要なのですが・・（＾＾ 548 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 08:16:06.57 ID:dwNxNtRp.net] >>472 補足 C++さん、どうも。スレ主です。 えーと、言いたいことは、知識問題も結構あるでしょ それ、５分くらいの細切れ時間利用で、インプットできるよ それから、記憶の定着には、寝る直前が良いというから、寝る前５〜１０分くらい覚えたいことをインプットしてすぐ寝るのが良いと言われる あと、覚えるためにも、しっかり理解して覚えることだ あと、語呂合わせも（＾＾ mnemonic-device.info/42-night.html 記憶術のやり方　暗記する方法のまとめ 暗記モノの勉強は寝る前がよい 2016 549 名前：￥氏 mailto:sage [2017/08/08(火) 08:20:34.94 ID:9qCDT2yP.net] 例えば小平先生が幾何学的な対象を見る時に『どういう意識で見て居られたか』という様な事 ではないかと思います。まあ代数幾何学的に、代数学を通じてとか、或いはまた複素多様体 として眺めれば調和積分論とか解析学、まあHodge-Kodairaであるとか。これは先生にメダル を渡したH.Weylの数学なんかでもそういう『多面性が覗われる』し、そしてこそAtiyahがそうい う多面性を重視する数学者ですよね。だからこそ彼の論文は面白いし、また話も魅力的なん ですわ。 他の事例で私が何時も思いを馳せるのはPoincareなんですが、彼が所謂『位置解析という新 しい数学』を始めた時に、それが後のホモトピー論（所謂代数的位相幾何学）に発展するに当 たって、その当初からPoincare自身が「ホモロジー代数学を駆使するべし」なんて決めてない と思うんですよね。そもそもPoincareの時代にはそんな飛び道具なんて存在してませんから。 だからEilenberg-MacLaneとか、そして尊敬するLerayとか、そしてSerre先生とか、こういうもの は『必要に応じて全部後から構築された』のではないかと。 だから量子群もそうで、Drinfeld-Jimboがあって、そしてWoronowiczがあって、しかも「物理か ら発見された」という事実があり、コレが本質的な事かどうかは物凄く不思議ですが、� 550 名前：ｻれで こういうものが数学として『どう発展するか、またどう発展させるべきか』なんて事は前以ては 誰にも判らないですよ。それは通常のリー群がどう発展して来たかを考えれば判る事です。 或いはもし「発展性のない一過性の流行物」であれば、このままで『もうシマイ』ですわ。 何処からどういう数学が出て来るかなんて、そんな事は大天才にだって判らない事でしょうね。 だから我々みたいな下々は、出来る事を精一杯やるだけですわ。どうせボウズで死ぬんだし。 ￥ [] [ここ壊れてます] 551 名前：￥氏 mailto:sage [2017/08/08(火) 08:25:12.56 ID:9qCDT2yP.net] 訂正： こそAtiyahが　⇒　Atiyahこそが ￥ 552 名前：哀れな素人 [2017/08/08(火) 08:58:02.64 ID:VlvnMiFq.net] 僕はこの前、ポアンカレの「科学と仮説」を少し読んだが、 ポアンカレはアホ丸出しのことをいろいろ書いていた。 で、ポアンカレとはこの程度のアホだったのか、と思ったことであった(笑 世界中の数学者、物理学者なんて、所詮この程度。 数学者、物理学者を崇拝しているスレ主の、なんと愚かなことよ(笑 553 名前：哀れな素人 [2017/08/08(火) 09:02:39.42 ID:VlvnMiFq.net] ￥は日本人には独創性がないとか、いろいろ批判しているが、 僕が独創的な本を書いているのに、それに気付かない(笑 作用素環とか、そういうことにしか関心がないからかもしれないが、 本当に頭の良い人なら僕の本の重要性に気付くはずだ。 しかしこのスレの誰も気付かない。 以てこのスレの人間のレベルが分ろうというものだ(笑 554 名前：哀れな素人 [2017/08/08(火) 09:08:23.48 ID:VlvnMiFq.net] 時枝問題とか、そんなことを議論して何になるのだ？ そんなことを議論したからといって、 何か重大な発見につながるというわけでもないのだ。 そんなことを議論するより、無限小数は存在するか、 とか、無限遠は存在するのか、とか、 そんなことを議論すべきなのだ。 無限小数が存在しないならカントールの実数論集合論は崩壊するし、 無限遠が存在しないなら非ユークリッド幾何学が崩壊するのだ。 555 名前：哀れな素人 [2017/08/08(火) 09:10:24.59 ID:VlvnMiFq.net] しかしまあ、このスレにはそんなことを論じられるほど 頭の良い人間は一人もいないことは分っているから、 僕は読むだけで投稿しないのである(笑 556 名前：１３２人目の素数さん mailto:sage [2017/08/08(火) 09:56:55.09 ID:kO75Mibn.net] 爺のオ〇ニーは見苦しい 557 名前：１３２人目の素数さん [2017/08/08(火) 13:32:17.25 ID:CzGHy9ia.net] 下記問い合わせへの回答をお待ちしてます。 --- 0477 １３２人目の素数さん 2017/08/07 21:00:26 痴漢で性病なんて殆ど感染りませんよね？ 嫁、子供、更に父母、姉妹もいますがしたいです。 でも性病になって迷惑をかけるといけないので我慢してます。 悪いのも分かってます。 増田哲也さんはどうやって我慢してますか？ 558 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 14:16:40.15 ID:TXeInJBG.net] カレーにするーしますので、１００年待ってください 559 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 14:30:03.91 ID:TXeInJBG.net] >>496-499 哀れな素人さん、どうもスレ主です。 私はポアンカレのことは、あまりよく知らないが、彼の業績を否定するつもりはないですね 現代数学から見ると、厳密性に欠けるかも（下記） だが、下記”何よりも直感を信じるポアンカレの立場は「数学者とは不正確な図を見ながら正確な推論のできる人間のことである」という彼の言葉が示す通りであった”という記述は、前述のAtiyahや淵野先生の言葉と一脈通じると思います https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%B3%E3%83%AA%E3%83%BB%E3%83%9D%E3%82%A2%E3%83%B3%E3%82%AB%E3%83%AC アンリ・ポアンカレ ジュール＝アンリ・ポアンカレ（Jules-Henri Poincare、1854年4月29日 ? 1912年7月17日）はナンシー生まれのフランスの数学者。数学、数理物理学、天体力学などの重要な基本原理を確立し、功績を残した。 フランス第三共和制大統領・レーモン・ポアンカレはアンリの従弟（いとこ）。 つづく 560 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 14:31:15.96 ID:TXeInJBG.net] >>503 561 名前： つづき 概要 (写真 キュリー夫人と(第1回ソルベー会議・1911年）） 位相幾何学の分野では、トポロジー概念の発見や、ポアンカレ予想など、重要な活躍をしている。 また、フックス関数と非ユークリッド幾何学との結びつきについての数学的な発見をした際に、その過程の詳しい叙述を残して、その後の数学研究の心理学的側面の研究にも影響を与えた。 その他、ヒルベルトの形式主義に対する批判をして、初期の数学的直観主義の立場を表明した。 電子計算機がない時代にカオス的挙動について言及した点でも特筆され、後に「バタフライ効果」と呼ばれる予測不能性などが著書の中で触れられている。 広範な範囲で生産的な活動をしたが、その論文には多くの不正確な部分がある。数学者のジャン・ガストン・ダルブーはポアンカレの学位論文を読んで、その曖昧さを指摘している。 何よりも直感を信じるポアンカレの立場は「数学者とは不正確な図を見ながら正確な推論のできる人間のことである」という彼の言葉が示す通りであった。 https://ja.wikipedia.org/wiki/%E3%82%BD%E3%83%AB%E3%83%99%E3%83%BC%E4%BC%9A%E8%AD%B0 (抜粋) ソルベー会議（英語：The Solvay Conferences on Physics、ソルベイ会議）は、ソルベー法で有名なエルネスト・ソルベーとヴァルター・ネルンストが、1911年に初めて開催した一連の物理学に関する会議。 1922年からは化学分野の会議も開催されている。 1911年に開かれた会議の主題は、「放射理論と量子」であった。その後、3年に一度程度の割合で会議はベルギーのブリュッセルで開催されている（一部、その他の地域で開催されたものがある）。 参加者（招待者）は第1回当初から少人数（十数人から二十人程度）であり、現在の一般的な学術国際会議と比べると、小規模の会議であるが物理学の発展に多大な貢献をしている。 (引用終わり) 以上 [] [ここ壊れてます] 562 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 14:42:14.34 ID:TXeInJBG.net] >>503 訂正 淵野先生 　↓ 渕野先生 （参考） fuchino.ddo.jp/index-j.html 渕野 昌 (Sakae Fuchino) の web page． (抜粋) 私の エルデシュ数 は２です． ◆ 2014年 1月 8日(水) に東京大学の河東さんが開催している 作用素環セミナー で Dow's metrization theorem and beyond というタイトルの講演をしました． web 上では日本語で講演をするというアナウンスメントが出ていたのですが， 風邪気味で，板書を英語にして，日本語で話すということをするための集中力が出なかったので， 講演も英語やらせてもらいました． 講演に来られなかった人で講演の内容を知りたいという人もいたようなので， この話とパリでやった話を一般向けにアレンジしたテキストを ここ にupload する予定です． (引用終わり) 563 名前：１３２人目の素数さん [2017/08/08(火) 15:47:47.82 ID:ENca3e5+.net] 高校生相手に、パイの魅力を語る\先生 564 名前：哀れな素人 [2017/08/08(火) 19:41:46.19 ID:VlvnMiFq.net] ポアンカレ「科学と仮説」を少し読んだが、ポアンカレは 実数は線のように連続的に存在している、と思っていた。 幾何学の公理とは定義だ、と書いている。 宇宙は無限である、と書いている。 ↑こういうのを読んだだけで○○だと分る(笑 非ユークリッド幾何学を支持したのもポアンカレの罪だ。 565 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 20:51:04.04 ID:dwNxNtRp.net] >>506 ああ、これね。この前見つけたが遠慮していたんだ。良い機会なので、上げる （因みに、この体験学習は他にも面白い話があるね（＾＾ ） nc.math.tsukuba.ac.jp/college/taiken/past/ 筑波大学 | 理工学群 | 数理物質科学 566 名前：研究科 過去の体験学習 http://nc.math.tsukuba.ac.jp/college/taiken/PDF/?action=cabinet_action_main_download&block_id=282&room_id=80&cabinet_id=1&file_id=12&upload_id=240 年度 平成１２年度 日付 平成１３年３月１９日(月)〜２０日(火) 概要 [代数] 『円周率を巡る御伽噺』増田哲也 円周率とは何ですか。よく知られているようで、実は、円周率をきちんと理解している人は少ないようです。実際、新しい指導要領では円周率は３としてよいことになる そうですから。そうするといろいろ不都合が生じるはずですが、どんな不都合が生じるかわかりますか。一方で、円周率は３でなく、3.14　だと信じている人がいます。 さらに、円周率は　22/7　だと信じている人も世の中にはいます。子供がそう思って いるならいいのですが、いい大人でも、そう信じている人が案外いるのです。そこで、円周率の本当の姿をお見せしようと思います。ついでに、円周率にまつわる 様々な御伽噺ができればと思います。 [] [ここ壊れてます] 567 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 21:04:25.51 ID:dwNxNtRp.net] >>507 哀れな素人さん、どうも。スレ主です。 「宇宙は無限である、と書いている」のところだけは 科学と仮説 - La Science et l'hypothese(1902)だから ポアンカレがどう本当にどう思っていたか不明だが 当時、ニュートン力学から独カントの絶対空間の考えが主だったように理解している その後、マッハからアインシュタインの特殊相対性理論を経て、一般相対性理論が提唱され、膨張宇宙論がいまの主流 なので、その部分はポアンカレ書いていることは、当時の物理の考え方で、ちょっと古いと思った方が良い 「宇宙は無限」と私も思うが、現代物理学では、未決着だと理解しているよ まあ、機会があれば、後ほどね（＾＾ https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%B3%E3%83%AA%E3%83%BB%E3%83%9D%E3%82%A2%E3%83%B3%E3%82%AB%E3%83%AC アンリ・ポアンカレ (抜粋) 主要著作 科学と仮説 - La Science et l'hypothese(1902) 568 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 21:07:03.81 ID:dwNxNtRp.net] >>509 訂正 ポアンカレがどう本当にどう思っていたか不明だが 　↓ ポアンカレが本当にどう思っていたか不明だが 569 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 21:22:30.12 ID:dwNxNtRp.net] >>494 ￥さん、どうも。スレ主です。 小平先生とか、Atiyahとか、哲学がありますよね、自分の Poincareは、３体問題の解析解が求められないことから、位置解析を始めたと言われていますね >しかも「物理から発見された」という事実があり、コレが本質的な事かどうかは物凄く不思議ですが、 本当に、物理と数学の関係は予定調和のようですね（＾＾ 余談ですが、いま、日本に、佐藤幹夫先生の次の世代で、強烈にスクールを作って引っ張る人がまだ出ていないのかな〜と思いますね。望月先生のABC予想の証明が認められると、盛り上がると思うのですがね〜（＾＾ https://dictionary.goo.ne.jp/jn/228010/meaning/m0u/ よてい‐ちょうわ〔‐テウワ〕【予定調和】 の意味 出典：デジタル大辞泉 goo辞典 １ ライプニッツの哲学で、宇宙は互いに独立したモナドからなり、宇宙が統一的な秩序状態にあるのは、神によってモナド間に調和関係が生じるようにあらかじめ定められているからであるという学説。→モナド論 ２ （日本社会で）小説・映画・演劇・経済・政治等広い範囲で、観衆・民衆・関係者等の予想する流れに沿って事態が動き、結果も予想通りであることをいう。「勧善懲悪の予定調和を破った時代小説」「予定調和の法案成立」 570 名前：￥氏 mailto:sage [2017/08/08(火) 21:51:06.02 ID:9qCDT2yP.net] ￥ 571 名前：１３２人目の素数さん mailto:sage [2017/08/08(火) 22:09:06.25 ID:wQxFyG1y.net] この ￥ という書き込みにどんな意味をこめてるんですか？ 572 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 22:14:12.70 ID:dwNxNtRp.net] 下記”望月新一の安否確認情報”と同値ではないでしょうか？（＾＾ www.kurims.kyoto-u.ac.jp/~mot 573 名前：izuki/news-japanese.html 望月新一の安否確認情報 [] [ここ壊れてます] 574 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 22:17:30.75 ID:dwNxNtRp.net] >>511 突然ですが、ついでに、カルタンセミナー関連で、面白い資料があったので、暫く資料を貼ります（＾＾ https://srad.jp/~taro-nishino/journal/557318/ taro-nishinoの日記： アンリ･カルタン教授の思い出 日記 by taro-nishino 2012年10月16日 (抜粋) 数学に少しでも関心のある人なら、8月末にカリフォルニア大学バークレー校名誉教授小林昭七博士がお亡くなりになったことをご存知でしょう。遅くなりましたが、心よりご冥福をお祈りいたします。 私が数学の勉強を始めた頃は完全に小林博士は多複素変数(私はこの名称が嫌いで、旧の多変数解析函数論という名称を使用したいのですが、博士の場合は旧名称が似つかわしくなく、まさしく複素解析幾何もしくは複素幾何の方がぴったりなんです。 私はこの名称も嫌いなので、折衷案としていやいやながら多複素変数を使っています)の人でした。ですから、後に微分幾何学の決定的著書"Foundations of Differential Geometry"(故野水克己博士との共著)の存在を知って驚き、微分幾何学の分野も専攻されていたことを知って、論文の随所に駆使される微分幾何学的手法も納得しました。 小林博士は数学以外に殆ど御自分のことを語らないようで、私が知っている限りでも"Cartan and Complex Analytic Geometry"(PDF) www.ams.org/notices/201008/rtx100800952p.pdf に寄稿されたエッセイ"My Memory of Professor Henri Cartan"の中で若かりし頃に触れているだけです(但し、日本語で発表されたもので回想録があるのかどうか私は知りません)。 これは貴重な文章だと思いますし、非常に短いですが紹介する価値があると思いましたので以下に私訳を載せておきます。 正直言って、私はこの記事が発表された当時に読んだ時、最後の文節が今ほど痛切には感じていませんでした。今は何と言えばいいのか、寂しい思いでいっぱいです。 つづく 575 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 22:18:15.79 ID:dwNxNtRp.net] >>515　つづき アンリ･カルタン教授の思い出 2010年8月 小林 昭七 (抜粋) 1953年に私は東京大学を卒業し、フランス政府の給費生として一年をフランスで過ごす幸運を得た。観測上最も暑い8月のある日、私は横浜からMessageries海運会社の"ベトナム"に乗船し4週間かけてマルセイユへと旅立った。 私は21歳で自信が無かった。微分幾何と多複素変数に興味を持っていた。矢野教授のセミナーのメンバーだった最終学年の間に、調和積分の話をした。同時に私は多複素変数に関するカルタンセミナーのノート1951/1952に魅了された。 禰永教授が私のことをカルタン教授に手紙で書いたので、私はパリに到着の際にカルタン教授を表敬訪問する予定だった。残念ながら国際大学都市の日本館に居を定めるやいなや、私は腸チフス（予防接種したのにもかかわらずパリへの道中で拾ってしまった）を患った。 都市病院での5週間の後、日本館へ戻りカルタン教授に会いに行った。彼は同じ病気を何年か前に患い、経験によれば病気を患う前よりもずっと健康になるだろうと励ましの言葉を述べた。 1953/1954のカルタンセミナーは幸いにも 576 名前：再び多複素変数についてだった。私はその講義のいくつかに、例えば保型函数の講義にはついて行けなかったが、真面目にセミナーに出席した。これは、一週間以内に話が完全な形に書き上げられ、次回のセミナーの時に配布されたことも部分的な理由だった。 パリ滞在中、私は名前だけを知っていたKarl Steinの話を聞く機会があった。3月の彼の2つの講義は私が出席した最後のセミナーだった。 その一方で、私はコレージュ・ド・フランスでのLichnerowiczの連続講義にも出席し、プライベートな幾何学セミナーをMarcel Berger(学位論文を終える予定)、Paulette Libermann(既に学位取得済み)、Warren Ambrose(MITから長期有給休暇を取って)、野水克己(フランス国立科学研究センター)達と行った。 Foundations of Differential Geometryを野水と出した時、一冊を私の感謝の印としてカルタン教授に送った。1969年に第2巻目が出た時、彼は手紙で、約束された2巻目が出たためしがないから実際に2巻目が出現したのを見てうれしいという趣旨のことを書いて来た。私はずっと後に彼がその本を参考にしていることを知った。 つづく [] [ここ壊れてます] 577 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 22:19:05.73 ID:dwNxNtRp.net] >>516　つづき 1967年頃、私は微分幾何学から焦点を多複素変数に移した。1960年代終わりにバークレーで(私の記憶が正しければ)カルタン教授に会った時、当時新しく発見された不変擬距離を彼に話した。 彼はすぐさま新しい距離で定義された位相は多様体に位相を与えるのかと聞き、それは当然の質問だと私は認識した(この事実は後にT. Barthによって証明された)。彼のCaratheodory距離(これを彼は有界領域の変換に関する研究で使用した。 標準位相がCaratheodory距離で与えられない有界領域をVigueが構築したのが1984年のように最近である)での経験からこの質問を出したのに違いないと私は思う。 1960年代の終わりに私は高次元でのピカールの定理、従って双曲型性において超平面の補完に対する問題に興味を持った。これは私をEmile BorelとAndre Blochの古い論文、そしてカルタンの学位論文へと導いた。 1953年私がパリへ行った時、1928年のカルタン学位論文を読む日を夢想だにしなかった。1973年、私の元学生の一人Peter Kiernanと私はカルタンの主要結果を不変擬距離の言葉で再解釈する論文を書いた。カルタン全集の中で、彼は自身の学位論文の簡単な分析と親切にも私達の論文に言及した。私達は非常に光栄だった。 私にとって1950年代は昨日のことのように思える。しかし、ここで私が言及した人々の大半、Ambrose、禰永、Libermann、Lichnerowicz、野水、矢野が逝き、そして今カルタン教授である。パリでの私の日々は実際に遠くなったと認めなければならない。 (引用終わり) つづく 578 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 22:20:22.79 ID:dwNxNtRp.net] >>517　つづき www.ams.org/notices/201008/rtx100800952p.pdf Cartan and Complex Analytic Geometry NOTICES OF THE AMS VOLUME 57, NUMBER 8 SEPTEMBER 2010 (抜粋) Jean-Pierre Demailly On the Mathematical Heritage of Henri Cartan (抜粋) Henri Cartan left us on August 13, 2008, at the age of 104. His influence on generations of mathematicians worldwide has been considerable. In France especially, his role as a professor at Ecole Normale Superieure in Paris between 1940 and 1965 led him to supervise 579 名前： the Ph.D. theses of Jean-Pierre Serre (Fields Medal 1954), Rene Thom (Fields Medal 1958), and many other prominent mathematicians such as Pierre Cartier, Jean Cerf, Adrien Douady, Roger Godement, Max Karoubi, and Jean-Louis Koszul. (略) Two years later I started a Ph.D. thesis under the supervision of Henri Skoda in Paris, and it is only at this period that I began realizing the full extent of Cartan’s contributions to mathematics, in particular those on the theory of coherent analytic sheaves and his fundamental work in homological algebra and in algebraic topology [CE, CS1]. Taking part of its inspiration from J. Leray’s ideas and from the important work of K. Oka in Japan, the celebrated Cartan seminar [Ca2] ran from 1948 to 1964, and as an outcome of the work by its participants, especially H. Cartan, J.-P. Serre, and A. Grothendieck, many results concerning topology and holomorphic functions of several variables received their final modern formulation. One should mention especially the proof of the coherence of the ring of holomorphic functions OX in an arbitrary number of variables, after ideas of Oka, and the coherence of the ideal sheaf of an analytic set proved by Cartan in 1950. Another important result is the coherence of the sheaf of weakly holomorphic meromorphic functions, which leads to Oka’s theorem on the existence of the normalization of any complex space. つづく [] [ここ壊れてます] 580 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 22:20:54.16 ID:dwNxNtRp.net] >>518　つづき In this area of complex analysis, Henri Cartan had a long record of collaboration with German mathematicians, in particular H. Behnke and P. Thullen [CT] already before World War II, and after the dramatic events of the war, during which Cartan’s brother was beheaded, a new era of collaboration started with the younger German generation represented by K. Stein, H. Grauert, and R. Remmert. These events were probably among the main reasons for Cartan’s strong engagement in politics, especially toward human rights and the construction of Europe; at age eighty, Henri Cartan even stood unsuccessfully for election to the European Parliament in 1984, as head of list for a party called “Pour les Etats-Unis d’Europe”, declaring himself to be a European Federalist. In 1960, pursuing ideas and suggestions of Cartan, Serre [CS2, Se], and Grothendieck [Gt], H. Grauert proved the coherence of direct images of coherent analytic sheaves under proper holomorphic morphisms [Gr]. Actually, a further important coherence theorem was to be discovered more than three decades later as the culmination of work on L2 techniques by L. Hormander, E. Bombieri, H. Skoda, Y. T. Siu, A. Nadel, and myself: (引用終わり) つづく 581 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 22:24:01.79 ID:dwNxNtRp.net] sage 582 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 22:24:12.09 ID:dwNxNtRp.net] >>519　つづき reuler.bl 強制改行 og108.fc 強制改行 2.com/ 583 名前：bl 強制改行 og-entry-1692.html 倉田先生の「多変数関数論を学ぶ」を読む　23　カルタン・セミナー 日々のつれづれ Author:オイラー研究所の所長＊）です 2012-03-28 (抜粋) 　倉田先生は連載の第７回で不定域イデアルの理論と層の理論のそれぞれを概説し、局所有限擬基底をもつ不定域イデアルと連接層が対応することを指摘しました。それなら層の理論はどこから生まれたのかというと、もともとの出所は代数的位相幾何学で、フランスの数学者ルレイが導入しました。 岡先生は層の概念を知らなかったと思いますが、カルタンは知っていました。カルタンは多変数関数論においてイデアルの概念が有効に作用することも知っていて、論文も出していますし、そのカルタンの論文のことは岡先生も承知していました。 というよりも、岡先生の不定域イデアルのアイデアにはカルタンの論文の影響が強く作用していました。ただし、岡先生のイデアルが不定域イデアルであったのに対し、カルタンのイデアルの理論は不定域ではなく、いわば「定域イデアルの理論」でした。 こんな状況のもとでカルタンは岡先生の第７論文を見て不定域イデアルを知ったのですが、カルタンの目には不定域イデアルはルレイの層の概念のように映じたのでしょう。 　カルタンはカルタン・セミナーと呼ばれるセミナーを主催し、層の理論を整備しましたが、そこに「連接的な層」の概念を導入することができたのは岡先生のおかげでした。多変数関数論における層の理論は連接層の概念を中核に据えて展開し、シュタイン多様体上の定理Aと定理Bという二つの基本定理に集約されました。 その模様は倉田先生の連載の第８回で叙述されている通りです。 　第８回には「カルタン・セミナーを追って」という表題が附されています。カルタン・セミナーで報告された事柄はその後の多変数関数論の規準になりました。一松先生の日本語のテキストもガニングとロシの英語のテキストもカルタン・セミナーに基づいて書かれています。 ヘルマンダーのテキストは偏微分方程式論を基礎にしていますので証明法が異なりますが、カルタンが示した枠の内側の出来事であるところは変りません。 (引用終わり) 注＊）巷のうわさで、高瀬正仁氏と言われている。 以上 [] [ここ壊れてます] 584 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 22:26:46.39 ID:dwNxNtRp.net] >>521 補足 URLが、NGで通らない おそらく、FC2とかblog がNGなのだろう 強制改行のところを繋げるか、キーワードで自分で検索頼む（＾＾ 585 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 22:34:32.48 ID:dwNxNtRp.net] >>515 延々引用して言いたいことは、ただ一言 ”一般に、カルタンセミナーと言われているが、カルタンスクールと言い換えても、決しておかしくないだろう”と そこから、J.-P. Serre, A. Grothendieck など多くの世界的数学者が育っていったのではないか 586 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 22:50:33.87 ID:dwNxNtRp.net] >>186 関連 「小学生向け対偶講座と、対偶命題における”独創的な天才小学生！”の存在証明」 まず、下記基本を yama-taku.science/mathematics/logic-and-sets/converse-inverse-and-contraposition/ 論理と集合の基本5|「逆，裏，対偶」と対偶の利用 合格タクティクス 2015.12.20 (抜粋) 目次 1 条件の否定 2 逆，裏，対偶 2.1 逆，裏，対偶の関係 2.2 注意点 3 「もとの命題」と「対偶」の関係 3.1 集合(ベン図)による説明 3.2 証明問題への応用 3.3 「背理法」との関係 (引用終わり) つづく 587 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 22:51:01.04 ID:dwNxNtRp.net] >>524 つづき 追加１ https://juken-mikata.net/how-to/mathematics/meidai.html 命題(逆・裏・対偶・真偽）　図で即理解！ 受験のミカタ 2015.12.11 (抜粋) 命題の用語まとめ（２分） 1-1.命題とは？ 1-2.命題の真偽 1-3.命題　否定 逆、裏、対偶はもう迷わない（2分） 2-1.逆、裏、対偶　図で整理 2-2.逆、裏、対偶　問題 命題では「P⇒Q」でPを仮定、Qを結論と定義します。 (引用終わり) つづく 588 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 22:51:38.58 ID:dwNxNtRp.net] >>525 つづき 追加２ math.nakaken88.com/textbook/basic-proof-by-contraposition/ 【基本】対偶証明法 なかけんの数学ノート 2016/11/25 (抜粋) 例題 次の命題を証明せよ。 　nを整数とするとき、 n^2 が4の倍数でないならば、 n は4の倍数でない 証明 もとの命題の対偶は次のようになる。 　「nを整数とするとき、 n が4の倍数ならば、 n^2 は4の倍数である」 n が4の倍数のとき、ある整数mを使って n=4m と書ける。 このとき n^2 = 16m^2 = 4×4m^2 なので、 n^2 は4の倍数となる。 よって、対偶が真なので、もとの命題も真となる。 （証明終） まとめ なお、対偶を証明するには、大前提として「条件の否定」を正しく書ける必要があるので、否定についてもよく理解しておきましょう。 (引用終わり) つづく 589 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 22:52:10.96 ID:dwNxNtRp.net] >>526 つづき ＜言いたいこと＞ 分かりやすくするために、都合で元の命題と対偶命題を入れ替える 元の命題 「nを整数とするとき、 n が4の倍数ならば、 n^2 は4の倍数である」を細かく分解すると (公理など)大前提（全体集合）U：nを整数とするとき 条件(仮定) P：n が4の倍 結論 Q：n^2 は4の倍数 対偶命題 「nを整数とするとき、 n^2 が4の倍数でないならば、 n は4の倍数でない」を細かく分解すると (公理など)大前提（全体集合）U：nを整数とするとき 条件(仮定) Q~(Qの否定)：n^2 は4の倍数でない 結論 P~(Pの否定)：n が4の倍でない ここで、対偶命題で、「条件(仮定) Q~(Qの否定)：n^2 は4の倍数でない」から、通常の「結論 P~(Pの否定)：n が4の倍でない」ではなくて・・ (公理など)大前提（全体集合）に対し「 U~(Uの否定)：nは整数ではない」が導かれると主張する小学生がいるなら、それは”かなり独創的な小学生！”と言わねばならないだろう （彼は天才かも知れない・・（＾＾ ） QED 以上 590 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/08(火) 23:00:41.94 ID:dwNxNtRp.net] >>527 補足 >>129 より引用下記 ”（命題A） 選択公理を使って 無限列から決定番号への非可測関数を構築すれば 「箱入り無数目」解法による予測は避けられないよ （命題B） 「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」 と言い切るなら、必然的に 「実数の全ての集合はルベーグ可測であり選択公理は成立しない」 といわざるを得なくなる” >>132 より引用下記 ”命題に下記の記号を付けよう A：フルパワー選択公理 B：時枝問題（例えばR^Nに対して）の数列の同値類から決定番号まで C：あなたの”独創的（確率論不要？）な言い訳” D：時枝記事成立（ある箱の数を当てる確率99/100） ロジックは （A & B） & C　→ D（時枝記事成立） 対偶は not D → not｛（A & B） & C　｝＝ not（A & B） or not C つまり、対偶命題の意味は 「時枝記事の解法が不成立の場合、C：あなたの”独創的（確率論不要？）な言い訳”が否定されるか、又は、（A & B）が否定されるか」だ で、当然、直ちに選択公理に関する（A & B）が否定されるのではなく、C：あなたの”独創的（確率論不要？）な言い訳”が疑われるべしだ で、あなたの考え方 ”「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」 と言い切るなら、必然的に 「実数の全ての集合はルベーグ可測であり選択公理は成立しない」 といわざるを得なくなる” のロジックがおかしいと思うよ（＾＾” 591 名前：１３２人目の素数さん [2017/08/08(火) 23:21:47.88 ID:FLcpUz9v.net] ＞一人は、私が確率の専門家さんと呼ぶ人。おそらくＤＲから上だろう おそらくD 592 名前：Rから上の人が言ったから時枝解法は不成立である　by スレ主 [] [ここ壊れてます] 593 名前：１３２人目の素数さん [2017/08/08(火) 23:26:48.56 ID:FLcpUz9v.net] ＞無駄にピエロのお笑いで ＞スレが伸びても仕方ないと思っているよ（適当にあしらっているがね） 俺は天然ピエロだから簡単にスレ伸ばせる、おかげで今夜は残飯漁らずに済むぜ、ボロ儲けボロ儲けっと　by スレ主 594 名前：１３２人目の素数さん [2017/08/08(火) 23:44:09.33 ID:FLcpUz9v.net] ＞でも、受ける側の劣等感もあるんですよね 稀代のアホが落ちぶれたとはいえ元数学者に説諭の図 595 名前：１３２人目の素数さん [2017/08/08(火) 23:46:59.63 ID:FLcpUz9v.net] ＞直接読んで無い人と議論しても、上滑りだからね どんなに直接読んでも上滑りな奴もいるよｗｗｗ そいつは数学のすの字も知らない なのに上から目線で語るのが大好きｗｗｗ 596 名前：１３２人目の素数さん [2017/08/08(火) 23:49:43.94 ID:FLcpUz9v.net] ＞時枝記事成立を主張する人の無能は争うよ ＞かつ、時枝記事成立・不成立も争うよ と、数学のすの字も知らない稀代のアホが申しております 597 名前：１３２人目の素数さん [2017/08/09(水) 00:10:18.00 ID:8YG24gaz.net] ＞・底辺数学科卒程度の知識はあるみたい。不十分だが と大学一年一学期の数列すら理解してないアホが申しております 598 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 05:26:25.71 ID:bM/5YfPT.net] >>529-534 ピエロくん、なんだ、そんなところに隠れていたのか？（＾＾ 朝早くから、深夜までご苦労さん 日付が変わるまで５連投とは、ご苦労だね よほど悔しかったのか？（＾＾ まあ、これに懲りずに、今日も頑張って、みなの笑いをとっておくれ（＾＾ 599 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 06:23:29.63 ID:bM/5YfPT.net] >>527 訂正 n が4の倍 　↓ n が4の倍数 ３箇所あり。まあ、”n が4の倍”のままでも意味分かるだろうが・・（＾＾ 600 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 06:27:40.90 ID:bM/5YfPT.net] >>528の補足説明 　>>136に戻る 引用>>136より ”さて、「整列可能定理が否定されると、選択公理が否定される」は言えるのに・・ フェルマーの最終定理やゴールドバッハの予想との違いは？ 分かりますか？ 分かんねーだろうね ピエロくんの頭じゃね（＾＾” ＜補足説明＞ １．まず、「3.1 集合(ベン図)による説明」 yama-taku.science/mathematics/logic-and-sets/converse-inverse-and-contraposition/ 論理と集合の基本5|「逆，裏，対偶」と対偶の利用 合格タクティクス 2015.12.20 >>524 を見て下さい ２．全体集合Uとして、ZFC公理系が成り立つ”宇宙 (数学)”とする。選択公理Cは当然U全体で成り立つ。∵公理だから当然。 ３．整列可能定理の適用範囲も、U全体だ。従って、整列可能定理の否定は、つまり、ベン図で言えば、Uの否定つまりUの外あるいは、Uの内なら空集合だ ４．こういう場合に、「整列可能定理が否定されると、選択公理が否定される」は言えるのだ ５．が、フェルマーの最終定理やゴールドバッハの予想は、そうではない。時枝記事もそうではない！！（＾＾ https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6) (抜粋) 宇宙 (数学) 数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。 数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。 目次 [非表示] 1 ある特定の文脈において 2 通常の数学 3 集合論 4 圏論 5 関連項目 (引用終り) 601 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 06:34:36.09 ID:bM/5YfPT.net] >>537 補足の補足 >>528より ”（命題A） 選択公理を使って 無限列から決定番号への非可測関数を構築すれば 「箱入り無数目」解法による予測は避けられないよ （命題B） 「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」 と言い切るなら、必然的に 「実数の全ての集合はルベーグ可測であり選択公理は成立しない」 といわざるを得なくなる” これで、特に（命題B）が問題だが、もし（命題B）が言えたら（証明できたら）、基礎論的には面白いと思うけどね（＾＾ ”独創的な天才小学生！”の君（>>524 602 名前：）ならできる。頑張ってね（＾＾ [] [ここ壊れてます] 603 名前：１３２人目の素数さん [2017/08/09(水) 06:52:08.03 ID:OWBfmAtB.net] >>528 idiotの分際で"ボクちゃんはgenius!"と自惚れてる勘違いピエロの>>1へ おまえの粗雑なウソ証明じゃなく、 他人様が直してくださった精緻な証明を引用しような https://rio2016.2ch.net/test/read.cgi/math/1499815260/621-625 A：非可算選択公理 Eq1：時枝問題（例えばR^Nに対して）の数列の同値類の設定 Lm1：時枝問題の同値類の代表列＆決定番号（自然数） (A & Eq1) →　Lm1 Eq2：自然数のｎ組の順序関係に関する同値類の設定 　　「(a1,･･･,an)と、(b1,･･･,bn)は、任意のi,jについて 　　　ai,aj間とbi,bj間の大小関係が等しいとき同値とみなす」 Lm2：自然数のｎ組の順序関係に関する同値類から 　　順序を保存する長さｎの代表順列を選択する Eq2→Lm2　（*順列は有限個だから可算選択公理すら必要ない！） Fn ：「数列から自然数への関数f」から 「数列のｎ組から自然数のｎ組への関数f_n」が 構成できる 　　　f_n(r1,･･･,rn)=(f(n1),･･･,f(rn)) Lm3：関数f_nから、自然数のｎ組の順序に関する 　　同値類の代表元を利用してできる関数f_n!について 　　順列i番目の要素が最大になる確率はiによらず1/n Lm2 & Fn→Lm3　(数列のn組の順序の入れ替えにより、 　　　　　　　　　　　　異なる順列の同値類に1対1対応する。 　　　　　　　　　　　　かつ、i番目が最大になる長さnの順列は 　　　　　　　　　　　　iによらず長さnの順列全体の1/n) (L1 & Lm3)→D　（fに数列から決定番号への関数を代入） つまり A & Eq1 & Eq2 & Fn →　D 対偶は NotD→NotA or NotEq1 or NotEq2 or NotFn しかし、実はEq1もEq2もただの同値類の設定だし Fnもただの関数の構成方法だから否定しようがない つまり否定できるのはAしかない R.I.P. 604 名前：１３２人目の素数さん [2017/08/09(水) 06:55:21.12 ID:OWBfmAtB.net] >>529 ＞おそらくDRから上の人が言ったから時枝解法は不成立である　by スレ主 正しくは 数学のgeniusである俺様の直感「時枝解法では予測できない！」 を支持したから、当然博士の学位は取得している筈である　 by　自惚れピエロの>>1 605 名前：１３２人目の素数さん [2017/08/09(水) 06:59:56.88 ID:OWBfmAtB.net] >>537 idiotが何を喚いてるか知らないが soloveyのモデルでは、実数全体は整列可能ではないが つまり、ZFCにおける整列可能定理は、 ZF+"任意の実数の集合がルベーグ可測"では 定理でもなんでもないが 606 名前：１３２人目の素数さん [2017/08/09(水) 07:05:30.74 ID:OWBfmAtB.net] idiotの>>1はどうせ全順序と整列順序を混同してるんだろうｗ 実数全体は自然な順序＜で全順序集合だが、 この順序は整列順序ではない 整列順序というのは、任意の元について 自分の次の元、つまり自分より大きな最小の元 が存在する順序をいう 実数の順序＜では、自分より大きな元の中に最小のものはない つまり、自分ｒより大きな元から任意にある元ｒ’を選べば 必ず自分ｒより大きいという性質をもつ、ｒ’より小さい元ｒ’’がとれる だから実数の順序＜を以て”ほれ、整列順序！”とほざいてるなら 整列順序の意味も知らん正真正銘のidiotだと白状していることになる だから教育を受けてないidiotは度し難いｗｗｗｗｗｗｗ 607 名前：１３２人目の素数さん [2017/08/09(水) 07:08:30.39 ID:OWBfmAtB.net] ついでにいうと ZFにおいて、「AC⇒整列可能定理」は証明可能である したがって対偶「整列不能⇒¬AC」ももちろん証明可能 知らん>>1は大学で数学教育を全く受けてない野蛮なidiot 608 名前：１３２人目の素数さん [2017/08/09(水) 07:15:02.40 ID:Pu1DhnBA.net] >>502 増田哲也の寿命を鑑みた上での期限でしょうか？ 前倒しを要求します。 まずは、増田哲也から回答 609 名前：を引き出すために、どのようなアプローチをとって、どのようなアクションしていく計画だったのかを提示して下さい（納期は明日8/10）。 提示してくれた計画をベースにして、前倒しすべきポイントなどについて検討し、現実的な計画へとブラッシュアップしましょう。 なお、計画遂行に必要なリソース（ヒト、モノ、カネ）についても、見積もり済みであれば、それも提示して下さい。 [] [ここ壊れてます] 610 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 07:18:42.77 ID:bM/5YfPT.net] >>509 補足 >「宇宙は無限」と私も思うが、現代物理学では、未決着だと理解しているよ 哀れな素人さん、どうも。スレ主です。下記ご参考まで www.nikkei-science.com/201709_029.html 日経サイエンス　 2017年9月号 特集：マルチバースと多世界 空間はインフレーションと呼ばれる急膨張を今も続け，その中に新たな宇宙が泡のように次々と生まれている。私たちの宇宙はそんな泡の1つにすぎず，その外にも無限の泡宇宙が広がっている──。 宇宙は単一のユニバースではなく無数の「マルチバース」だとの見方は，現代物理学の3つの理論によって示唆されている。 宇宙が加速的に膨張することを示すインフレーションの理論，量子力学と重力を統一的に記述しようとする超弦理論，そして，宇宙がまるで人間のためにできているかのように見える理由を矛盾なく説明する人間原理だ。 理論物理学者の野村泰紀博士は，このマルチバースについての新たな見方を提唱した。無数の宇宙は，量子力学的な重ね合わせ状態になっており，それぞれが確率的に存在するという。 マルチバースと多世界　インフレーション理論と量子力学のつながり 野村泰紀 www.nikkei-science.com/201709_030.html 提唱者野村博士に聞く　今なぜマルチバースか　　聞き手：古田 彩 www.nikkei-science.com/201709_040.html 「インフレーション理論に異議」に物理学者33人が大反論 www.nikkei-science.com/201709_049.html 2017年9月号目次へ www.nikkei-science.com/page/magazine/201709.html 611 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 07:22:19.18 ID:bM/5YfPT.net] >>544 カレーにするーしますので、１００年待ってください 612 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 07:26:18.73 ID:bM/5YfPT.net] >>539-543 ピエロくん、朝早くから、ご苦労さん 朝から、笑える話をありがとう！！（＾＾ さあ、今日も、みんなの笑いを、頑張って取っておくれ（＾＾ 613 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 07:30:04.88 ID:bM/5YfPT.net] >>539-543 ピエロくん、朝早くから、ご苦労さん 朝から、笑える話をありがとう！！（＾＾ その証明もどきには、”中学で習う定義域の概念を分かってないから>>1以下だろ”という突っ込みが入っていただろ？ 中学校の勉強は進んでいるかい？（＾＾ ＜参考＞ >>165 より ”いや、>>150は中学で習う定義域の概念を分かってないから>>1以下だろ >>128ほど噛み砕いた優しいツッコミは滅多にないからなw” 614 名前：￥氏 mailto:sage [2017/08/09(水) 07:31:41.86 ID:WvFggA1P.net] 今日の朝食はカレーｗ ￥ 615 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 07:44:55.88 ID:bM/5YfPT.net] >>537 補足追加 無限が話題になっているので、関連部分引用 ”時代をさかのぼれば、19世紀の有限主義者レオポルト・クロネッカーはこの宇宙において仕事をしたことが思い出される。彼は、それぞれの自然数は存在するが、集合 N（完全な無限）は存在しないと信じていた。” https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6) (抜粋) 宇宙 (数学) 通常の数学 研究対象は宇宙が P(PX) になるような場合における X の部分集合の集合などを構成する。 言い換えれば、X 上の二項関係 (デカルト積の部分集合 X × X) 、もしくは X からそれ自身への写像を考えれば、P(X × X) もしくは X^X のような宇宙が要請される。 したがって、主要な関心が X であっても、 X よりもかなり大きな宇宙が必要とされる� 616 名前：ｱとになる。 (略、本文ご参照) S{} の要素のそれぞれは有限集合であろう！ 自然数のひとつひとつはそれに属すが、すべての自然数の集合 N は属さない（それは S{} の部分集合であるにもかかわらず）。 実際、X 上の上部構造はすべての遺伝的有限集合から成る。 このように、それは有限主義者の数学の宇宙と考えられる。 時代をさかのぼれば、19世紀の有限主義者レオポルト・クロネッカーはこの宇宙において仕事をしたことが思い出される。彼は、それぞれの自然数は存在するが、集合 N（完全な無限）は存在しないと信じていた。 しかし、S{} は通常の（有限主義者ではない）数学者にとっては不足である。なぜなら、N が S{} の部分集合として利用可能であるとはいえ、依然として N の冪集合は利用不可能だからである。 特に、実数の任意の集合は利用不可能である。 そのため、もう一度上記のプロセスを開始して S(S{}) を形成する必要があるだろう。 しかし、物事を単純に保つために、自然数の集合 N は所与として SN を形成し、N 上の上部構造をとってもよい。 これはしばしば通常の数学の宇宙であると考えられる。 例えば、普通の実数の構成（デデキントの切断）はどれも SN に属している。 超準解析も自然数の超準モデル上の上部構造において行うことができる。 宇宙が関心のある任意の集合 U であった前節からの哲学のわずかな転換に注意しよう。 研究される集合は、前節では宇宙の部分集合であったが、本節では宇宙の要素である。 (引用終り) [] [ここ壊れてます] 617 名前：哀れな素人 [2017/08/09(水) 08:09:19.77 ID:ZNUA8Vkn.net] マルチバース理論などというものはギリシャの昔からある。 アリストテレスはそういうのを明確に否定している。 >「宇宙は無限」と私も思うが 宇宙は無限だと人々が思い始めたのは比較的最近のことである。 ブルーノが宇宙は無限だと説き始めた頃からだ。 それ以前、古代や中世の人々は宇宙は有限だと思っていた。 アリストテレスがそう考えたからで、 キリスト教会もアリストテレスの哲学を支持していたのである。 ↑ということをブルーノ「無限、宇宙と諸世界について」を 最近読んで初めて知った(笑 スレ主はアリストテレスを読んだことがないだろう。 死ぬまでに一度はアリストテレスを読んでみればいい。 そうすれば僕の言っていることが真実だと分る(笑 俺がフルボッコしてやる、と書いていたパカがいたが、 そいつもアリストテレスを読んでいないのである(笑 おそらくこのスレでアリストテレスを読んでいる奴はいないだろう(笑 618 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 08:27:27.72 ID:bM/5YfPT.net] >>551 哀れな素人さん、どうも。スレ主です。 >スレ主はアリストテレスを読んだことがないだろう。 はい。お説の通りです（＾＾ これからちょっと読んでみようかと。 ところで、下記など、ご参考に。もうご存知と思いますが https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E8%AB%96 宇宙論 (抜粋) 宇宙論（英語：cosmology）あるいはコスモロジーとは、「宇宙」や「世界」などと呼ばれる人間をとりかこむ何らかの広がり全体[1]、広義には、それの中における人間の位置、に関する言及、論[2]、研究などのことである。 コスモロジーには神話、宗教、哲学、神学、科学（天文学、天体物理学）などが関係している。 目次 [非表示] 1 概論 2 宇宙論の歴史 2.1 古代インド 2.2 様々な神話 2.2.1 関連項目 2.3 古代ギリシャ 2.3.1 関連項目 2.4 新約聖書 2.5 プトレマイオス 2.6 イスラーム世界 2.6.1 関連項目 2.7 ヨーロッパ中世 2.7.1 関連項目 3 現代 3.1 関連項目 概論[編集] 古代においても、人間は自身をとりかこむ世界について語っていた。 古代インドではヴェーダにおいて、「無からの発生」や「原人による創造」といった宇宙創生論が見られ、後には「繰り返し生成・消滅している宇宙」という考え方が現れたという。 古代ギリシャにおいては、エウドクソス、カリポス、アリストテレスらが、地球中心説を構築した。アリストテレスはcelestial spheresは永遠不変 619 名前：の世界で、エーテルを含んでいる、と考えた。 (引用終り) https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E7%9A%84%E5%AE%87%E5%AE%99%E4%BB%AE%E8%AA%AC 数学的宇宙仮説 (抜粋) 数学的宇宙仮説 (mathematical universe hypothesis, MUH) とは、マックス・テグマークによって提唱された、物理学および宇宙論における思弁的な万物の理論 (TOE)である[1]。究極集合 (Ultimate Ensemble) とも呼ばれる。 目次 [非表示] 1 記述 2 批判と応答 2.1 集合の定義 2.2 ゲーデルの理論との整合性 2.3 可観測性 2.4 急進的プラトン主義のもっともらしさ 2.5 全ての数学的構造の共存 2.6 われわれの"単純な宇宙"との整合性 (引用終り) [] [ここ壊れてます] 620 名前：加齢爺 mailto:sage [2017/08/09(水) 10:42:26.57 ID:WvFggA1P.net] ￥ 621 名前：１３２人目の素数さん [2017/08/09(水) 13:50:44.20 ID:kPvnE2yH.net] 熱いやばい間違いない 622 名前：１３２人目の素数さん mailto:sage [2017/08/09(水) 15:00:39.12 ID:bBbuDxnj.net] i.imgur.com/bBLRUo4.jpg 623 名前：１３２人目の素数さん mailto:dddjk [2017/08/09(水) 17:16:29.53 ID:we5wlf9o.net] 　　　　　 　 　 　 　 　 ＿_,,,,、 .,、 　　　　　　　　　　 　／'ﾞ´,_/'″　 . ｀＼ 　　　　　　　　　 : ./ 　　i./　,,..、　　　 ヽ 　　　　　　　　 . /　　　 /．　ｌ, ,!　　　　 ｀, 　 　 　 　 　 　.| 　.,..‐.､│　 　 　　　　 　.| 　 　 　 　 　 　（´゛ ,/　llヽ 　　 　 　 　 　 | 　　　 　 　 　 　 ヽ -./ .， lliヽ　　　　　　 .| 　　 　 　 　 　 　 /'",i" ﾞ;、 ｌ'ｉi,''く　　　　　.ヽ 　　　　　　　　　/ ...│　 ﾞl,　 ｌﾞﾞt, ''ii_　　　　:.! 　　　　　　　 : /.._　/ 　 　ヽ　＼＼.｀ﾞ~''''''"./ 　　　　　　　 .|-ﾞノ/　　 : ゝ　.､　` .｀''←┬゛ 　 　 　 　 　 lﾞ　/.ｒ　　　゛ .ﾞﾋ, .ヽ,　　￣ﾞ| 　　　　　　 . | ./ ｌ　　　　　　”'､ .ﾞゝ........ん 　　　　　　　l　 /　　　　 ヽ　.`' ｀､、 　.,i゛ 　　　　　　 .l|　 !　　　 ''''v,　　　 ﾞ''ｰ　．l、 　　　　　　 |lﾞ .il、　　.l　　.ヽ　 .¬---イ 　 　　　 624 名前：１３２人目の素数さん mailto:fff [2017/08/09(水) 17:17:46.34 ID:we5wlf9o.net] 　　　　　.llﾞ, ./ 　　 !　 　 　 　 　 　 ,! 　　　　　　l.",!　　　 .ﾘ　　　　　　　　 |、 　　　　　　 |lﾞ .il、　　.l　　.ヽ　 .¬---イ 　　　　　　.llﾞ, ./ 　　 !　 　 　 　 　 　 ,!、 　　　　　　 |lﾞ .il、　　.l　　.ヽ　 .¬---イ 　　　　　　.llﾞ, ./ 　　 !　 　 　 　 　 　 ,! 　　　　　　l.",!　　　 .ﾘ　　　　　　　　 | 　　　　　　l":|　　　 .〜'''　　　　 　,. │、 　　　　　　l; :!　　　 .|'"　　 　...ノ,ﾞ./ │ 　　　　　　l: l｢　　　 !　　　 .￣ﾞﾞ /　　! 　 👀 Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f) 625 名前：１３２人目の素数さん mailto:sage [2017/08/09(水) 18:52:38.46 ID:OWBfmAtB.net] >>548 ＞(>>539の)証明もどきには、 ＞”中学で習う定義域の概念を分かってないから>>1以下だろ” ＞という突っ込みが入っていただろ？ Eq2,Fnに関する箇所なら、以下の修正が可能 A：非可算選択公理 Eq1：時枝問題（例えばR^Nに対して）の数列の同値類の設定 Lm1：時枝問題の同値類の代表列＆決定番号（自然数） (A & Eq1) →　Lm1 Max:n個の自然数から無作為に1個を選んだ場合 　他のn-1個の自然数より大きい確率は1/n D：時枝記事成立（ある箱の数を当てる確率99/100） (Lm1 & Max)→D A & Eq1 & Max → D 対偶は NotD→NotA or NotEq1 or NotMax しかし、実はEq1はただの同値類の設定 否定できるのはAかMaxのいずれか >>1は命題Maxを否定するのかね？ 小学校の確率で習ったことを否定するのかね？ >>1はn個の自然数から無作為に1個を選んだ場合 他のn-1個の自然数より大きい確率は1だ というのかね？ もし確率1でないなら、予測は確率p>0で成功するが？ 626 名前：１３２人目の素数さん [2017/08/09(水) 18:54:24.47 ID:OWBfmAtB.net] >>550 ＞無限が話題になっているので、関連部分引用 >>1は現代集合論を全く知らんidiotだから仕方ないが 無限集合ωの存在を無限公理で認めて そのベキ集合２＾ωをベキ集合の公理で認めても それだけでは、２＾ωが整列可能とはいえない 「２＾ωの整列可能性」はZFにおける決定不能命題 そして ACが公理⇒全ての集合（もちろん２＾ωも）が整列可能 だから ２＾ωが整列不能⇒非可算のACは正しくない ということになる そうなったところで、ルベーグ測度を含む解析学は全然可能 単に「ルベーグ可測でない集合」が存在するか否か、の違い 「選択公理は直感的に正しい！」というのは 「平行線公準は直感的に正しい！」とか 「ニュートン力学の絶対時間は直感的に正しい！」とか いうのと同等の宗教的信仰の強制でしかない 627 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 20:31:50.68 ID:bM/5YfPT.net] >>539-543 >>558-559 ピエロくん、ご苦労さん 朝から、笑える話をありがとう！！（＾＾ ほんと、君のくそ見たいな非数学的言い訳で笑いを取る芸は 一流だね。微笑ましいね〜（＾＾ 628 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 20:32:39.84 ID:bM/5YfPT.net] >>524の続き >>528＆>>539、>>558 「小学生向け対偶講座２　対偶：ベン図を書いて理解しよう！『結論が不成立なら、条件も不成立！』」 先の yama-taku.science/mathematics/logic-and-sets/converse-inverse-and-contraposition/ 論理と集合の基本5|「逆，裏，対偶」と対偶の利用 合格タクティクス 2015.12.20 2 逆，裏，対偶 3.1 集合(ベン図) を使う １．対偶とは、『結論が不成立なら、条件が不成立！』ということ。ここは押さえておこう 　元の命題：条件P→結論Q （PならばQが成立） 　対偶命題：結論不成立Q~→条件不成立P~ （Q~ならばP~が成立）。繰返すが、『結論が不成立なら、条件も不成立！』 　（P~：Pの否定、Q~：Qの否定） ２．ベン図を書いて理解しよう！（上記URLご参照） 　１）四角で、全体集合Uを表す 　２）大小二つの円、同心円を少しずらした形を描こう。内側の小さい円が集合P。外の大きい円が集合Qだ 　３）（元の命題）条件P→結論Q：集合 P⊂Q 　４）（対偶命題）条件Q~→結論P~：集合 Q~⊂P~ ３．時枝記事に当てはめると・・ 　１）全体集合Uとして、ZFC公理系の適当な宇宙とする（例えば、下記 フォン・ノイマン宇宙 V など） 　２）時枝記事の条件P、結論Qとは何だろうか？ 　３）結論Qは、ある箱の中の数を開けずに確率99/100で的中できる。 　４）条件Pは、可算無限個の箱に勝手な数を入れるということだが、 　　ゼルプスト殿下(藤田博司先生)の説では、数列を順序数ωに制限する必要があるという。（>>180 PDFのP116より tenasaku.com/academia/notes/kansaimath8-tenapyon-slides.pdf ） 　　つまり、順序数ω以外に、ω + ω またはω * 2の数列や、ω + ω + ω またはω * 3の数列など、これらも可算無限の数列になるという 　　が、ω * 2の数列や、ω * 3の数列では、決定番号のロジックがうまく働かないからダメだと＊） ４）なので、条件Pの否定は、つまりP~ ∋ω * 2の数列 などとなる。 ５）だから、対偶 Q~ → P~ で、『結論が不成立なら、条件も不成立！』で、つじつまは、合っている！ 注＊）順序数ωは、小学生の君の頭では、少し難しいかな？（＾＾ つづく 629 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 20:33:28.42 ID:bM/5YfPT.net] >>561 つづき （参考） https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6) (抜粋) 宇宙 (数学) 数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。 https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99 (抜粋) フォン・ノイマン宇宙 数学の集合論とその周辺分野において、フォン・ノイマン宇宙 Vとは、遺伝的整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。 つづく 630 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 20:34:18.70 ID:bM/5YfPT.net] >>562 つづき >>539、>>558 ピエロくん、どうも。スレ主です。 上記の通りなので、恥の上塗りだな いくら論証を積み重ねても、「おまえは対偶が分かっていない！」が結論だ ちょっと、小学生には難しかったかな？？（＾＾ 以上 631 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 21:12:12.64 ID:bM/5YfPT.net] >>542 ピエロくん、どうも。スレ主です。 君は本当に笑いを取る名人だね 下記に、ゼルプスト殿下(藤田博司先生)の説>>561 と同じことが 632 名前：書いてあるよ（＾＾ https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88 (抜粋) 整列集合 数学において、整列順序付けられた集合または整列集合（せいれつしゅうごう、英: well-ordered set）とは、整列順序を備えた集合のことをいう。 ここで、集合 S 上の整列順序関係 (well-order) とは、S 上の全順序関係 "?" であって、S の空でない任意の部分集合が必ず ? に関する最小元をもつものをいう。 あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ?) を慣例に従ってしばしば単純に S で表す。 順序数 無限集合についても、その順序型はそれに属する基数を一意的に決定するが、逆は成り立たず、同じ基数をもつ整列集合で相異なる順序型を持つものが無数に存在しうる。たとえ可算無限集合だとしても、その集合の順序型として可能なものの数は非可算である。 例と反例[編集] 自然数の全体 N （0 を含む）自然数全体の成す集合 N は通常の大小関係 ? が整列順序を与える。この整列集合の順序型は ω で表される。さらに、0 でない任意の自然数は唯一の直前元を持つ。 N における別な整列順序としては、例えば、どの偶数もどんな奇数よりも小さいものとし、偶数同士あるいは奇数同士では通常の大小関係を適用することで得られる順序 0, 2, 4, 6, 8, …, 1, 3, 5, 7, 9, … が挙げられる。この順序に関する整列集合の順序型は ω + ω である。任意の元が直後の元を持つ（したがって最大元は存在しない）が、直前の元を持たない元が 0 と 1 の二つ存在する。 実数からなる集合[編集] 正の実数全体の成す集合 R+ に通常の大小関係 ? を考えたものは整列順序ではない。例えば開区間 (0, 1) は最小元を持たない。一方、選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる。 (引用終り) [] [ここ壊れてます] 633 名前：１３２人目の素数さん [2017/08/09(水) 21:52:08.29 ID:Pu1DhnBA.net] 数学板住人の皆の衆、こんはんわ〜やで！(｀_´メ) 耳栓無しでは数学無理ゲーやで！(｀_´メ) 考えられへんやで！(｀_´メ) 今日も頑張ったで！(｀_´メ) 今週の目標はだいたいクリアやで！(｀_´メ) 暑いからってクーラー効かせた部屋にずっとおると、体調崩すで！ (｀_´メ) 関西すうがく徒のつどいって聞いたことあるな！(｀_´メ) 行ったことはないで！(｀_´メ) 今年もそんな暇ないで！(｀_´メ) 耳栓おめやで！(｀_´メ) 耳栓ライフ歓迎するで！(｀_´メ) 耳栓は大事やで！(｀_´メ) 634 名前：１３２人目の素数さん mailto:sage [2017/08/09(水) 22:18:35.94 ID:yRQQDz4T.net] \が高校生相手にパイの魅力を語ってるって、「バイの魅力」かと思っちまったよ 高校生相手にバイセクシャルの魅力を語ってるのかと思ったよ 実は、セックスがすごくよかった女が実はレズだったと知ってさ 信じられんと思ったわけさ　それで「バイの魅力」と読んじまったわけ おれも毒されてるな　いや数学板よりは健全か... 635 名前：１３２人目の素数さん mailto:sage [2017/08/09(水) 23:03:47.55 ID:yRQQDz4T.net] 先日は処女のワレメにチンコを擦り付けて射精した これはラングランズ予想の解決と同じく男の夢でしょ！ 処女とは言え、お腹がびくびくっと少し動いていたのは興奮した 快楽を知っている女だと、もっとお腹が痙攣するようにうごめく それは勿論、自身がイクと同時にチンコを締め付けて射精を促す女の本能だ 処女とはいえ、その本能を有していることを確認できたことは 有意義だった 636 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 23:15:04.85 ID:bM/5YfPT.net] カレーにするーしますので、１００年待ってください 637 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 23:15:43.54 ID:bM/5YfPT.net] >>541 >soloveyのモデルでは、実数全体は整列可能ではないが Soloveyのモデルを、きちんと読んでるのかな？ 言っていることが意味不明。何を言いたいのかな？ https://en.wikipedia.org/wiki/Solovay_model (抜粋) Solovay model F 638 名前：rom Wikipedia, the free encyclopedia In the mathematical field of set theory, the Solovay model is a model constructed by Robert M. Solovay (1970) in which all of the axioms of Zermelo?Fraenkel set theory (ZF) hold, exclusive of the axiom of choice, but in which all sets of real numbers are Lebesgue measurable. The construction relies on the existence of an inaccessible cardinal. In this way Solovay showed that the axiom of choice is essential to the proof of the existence of a non-measurable set, at least granted that the existence of an inaccessible cardinal is consistent with ZFC, the axioms of Zermelo?Fraenkel set theory including the axiom of choice. Construction Instead of using Solovay's model N, one can also use the smaller inner model L(R) of M[G], consisting of the constructible closure of the real numbers, which has similar properties. Complements See Raisonnier (1984) and Stern (1985) and Miller (1989) for expositions of Shelah's result. Shelah & Woodin (1990) showed that if supercompact cardinals exist then every set of reals in L(R), the constructible sets generated by the reals, is Lebesgue measurable and has the Baire property; this includes every "reasonably definable" set of reals. (引用終り) Solovay 1970 原論文 https://www.math.wisc.edu/~miller/old/m873-03/solovay.pdf A Model of Set-Theory in Which Every Set of Reals is Lebesgue Measurable Robert M. Solovay The Annals of Mathematics, 2nd Ser., Vol. 92, No.1 (Jul., 1970), 1-56. http://www.math.wisc.edu/~miller/index.html Arnold W. Miller [] [ここ壊れてます] 639 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/09(水) 23:17:26.55 ID:bM/5YfPT.net] 余談だが、Prof. Emeritus Hiroshi Gunji 訃報 （あまり存じ上げていないが、アップしておきます） （原文顔写真付き） ”Hiroshi received his PhD from Johns Hopkins University in 1962, under the direction of Jun-ichi Igusa. His thesis was entitled "Some properties of curves of genus 2 representing singular points of variety of moduli." ”だと www.math.wisc.edu/node/681 Remembering Hiroshi Gunji Prof. Emeritus Hiroshi Gunji passed away recently from a stroke. He retired in 2001. He was a dedicated teacher of calculus, and not many semesters went by when he wasn't lecturing in a calculus course. Hiroshi received his PhD from Johns Hopkins University in 1962, under the direction of Jun-ichi Igusa. His thesis was entitled "Some properties of curves of genus 2 representing singular points of variety of moduli." He spent two years at Cornell University, then two years at the University of Saskatchewan before coming to Madison in 1966 as an assistant professor. Hiroshi did important research in number theory and had four PhD students during his tenure in Madison. He had an tremendous impact on our graduate program as chair for very many years of the graduate admissions committee. One incident which shows how much Hiroshi was admired by his students occurred in a calculus course in which he was lecturing. Hiroshi was 640 名前：using a microphone with a wire attached and it would often get wound up around his feet. Students took up a collection to buy a wireless microphone, distributing leaflets which contained the words "Free Professor Gunji!" For many years Hiroshi was an amateur artist, he and Josh Chover were close friends and often painted together. [] [ここ壊れてます] 641 名前：１３２人目の素数さん mailto:sage [2017/08/09(水) 23:18:38.66 ID:yRQQDz4T.net] 射精の快感は大きすぎて、数学の勉強には害を及ぼしかねない むしろきつくぎゅうし されながら 髪のいい匂いをクンカクンカして フェロモンを補給して精神を落ち着かせる くらいが 望ましい接触レベルなのかもしれない 642 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 05:35:54.63 ID:OMe9bOjF.net] カレーにするーしますので、１００年待ってください なお、小学生がいますので、１８金でお願いします 643 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 05:49:59.27 ID:OMe9bOjF.net] 下記は、渕野先生の書評だが、巨大基数の概説になっていて面白い（＾＾ https://www.jstage.jst.go.jp/article/sugaku/66/2/66_0662216/_article https://www.jstage.jst.go.jp/article/sugaku/66/2/66_0662216/_pdf 書評 Akihiro Kanamori: The Higher Infinite - Large Cardinals in Set Theory from Their Beginnings, Corr. 2nd ed., 2005 渕野昌 SUGAKU Vol. 66 (2014) No. 2 p. 216-221 644 名前：１３２人目の素数さん [2017/08/10(木) 06:40:32.60 ID:SeArJMx1.net] >>572 スカトロカレーを一つお願いします。 jcのやつでね 645 名前：１３２人目の素数さん [2017/08/10(木) 06:55:38.73 ID:jkSTs6DO.net] >>569 こいつ、整列順序が英語で、well-founded orderって呼ばれてることも知らないのか？ おまえの引用には全然この言葉が出てこないな 無意味な引用で誤魔化すとか中二かよ 646 名前：１３２人目の素数さん [2017/08/10(木) 07:01:48.93 ID:jkSTs6DO.net] >>564 ＞選択公理を含む集合論の ZFC 公理系からは、 ＞実数全体の成す集合 R 上の整列順序が存在することが示せる。 こいつ頭悪いな ACはZFの定理じゃないぞ ACが成り立たない集合論では、 整列順序が存在しない集合も存在する そして、Rに整列順序が存在しない場合もある 田中尚夫「選択公理と数学」にも書いてあるがな 647 名前：￥氏 mailto:sage [2017/08/10(木) 07:03:24.24 ID:JHmEReZW.net] https://ja.wikipedia.org/wiki/Ordinary_researchers こういうモノは確かに必要だろう。さもないと号泣議員みたいな偽善者がのさばるだけであり、 かつて飲み屋で当事者から直接に聞いた「津軽選挙みたいなエグい話」もあり、コレが恐らく は『日本人の気質を代表してる』からだ。 でもだからと言って、虚偽申請騒動とか引用６騒動が健全だとも思えない。批判的に物事を 見るのは『サイエンスの基本』であり、であればこそ私は自信を持って堂々と糞芳雄を批判す るし、昨今の森友・加計問題はそれこそ縁故主義そのものであり、日本人の弱点の典型事例 だろう。だが批判はあくまでも『論理的に行うべき』であり、それがサイエンスに関係するもの であれば、尚更の事である。そもそも批判というモノは論理的なものしか言わない。非論理的 なものは『単なるイチャモン』でしかなく、それでは知能指数が低い国会議員と同じである。 日本人は家父長制度に立脚した徒弟制度を基本とした考え方で学問をも運営するが、こうい う考え方で『作法を守る 648 名前：事だけを殊更うるさく言う』のであれば、精神の自由を基本とするべき 純粋理学は一瞬にして死んでしまうだろう。数学や物理学は「もう元には戻らない」とは思うが、 今騒動になってる分子生物学でこんな事ばかりしてれば、日本が後進国になるのはスグだ。 劣悪な組織改組で質の悪い研究者予備軍が大量に居り、そしてその全員が「少ないパイを奪 い合う」という少子高齢化の縮小社会が、高度成長期の幻想を追うから、こんな社会になる。 論理を無視して無責任な事を言い合うのは、そろそろいい加減にするべき。 ￥ [] [ここ壊れてます] 649 名前：１３２人目の素数さん [2017/08/10(木) 07:06:45.11 ID:jkSTs6DO.net] >>564 ＞同じ基数をもつ整列集合で相異なる順序型を持つものが無数に存在しうる。 ＞たとえ可算無限集合だとしても、その集合の順序型として可能なものの数は非可算である。 だから、Nをω＋ωと考えてもよい、とはいえない Nという場合、只の可算集合でなく、順序構造も含めたωと考えている 特に「箱入り無数目」記事の同値類はNをωと考えなければ意味をなさない こういう基本的なことを理解しないのは記事を読んでないか 読んでも理解できないほど言語能力が低いかのいずれか 650 名前：￥氏 mailto:sage [2017/08/10(木) 07:07:29.01 ID:JHmEReZW.net] https://ja.wikipedia.org/wiki/%E6%B4%A5%E8%BB%BD%E9%81%B8%E6%8C%99 ￥ 651 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 07:30:59.31 ID:OMe9bOjF.net] >>577 ￥さん、どうも。スレ主です。 https://ja.wikipedia.org/wiki/Ordinary_researchers (抜粋) Ordinary_researchers[1][2][3]は、東京大学の研究不正が疑われる医学・生命科学系の論文22報を2016年8月に告発した匿名の個人またはグループの名称である。 活動内容[編集] まず、2016年8月14日付の告発文[4][5][6]で、 東京大学の医学系教授が主催する4研究室の計11報の論文について告発を行なった。 (引用終り) ああ、なるほど。STAP騒動の後の時期の告発ですね 懲りない話ですね（＾＾ >虚偽申請騒動とか引用６騒動が健全だとも思えない あの手の話は、大学や学会の政治からみで、重箱の隅の形式的瑕疵をみなで騒いで、足を引っ張るの図ですよ それで、こぼれた予算とかポストが、自分のところに回っているかもしれないとか、下心がある話 全く不健全です。グレシャム 「悪貨が良貨を駆逐する」ですね https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AC%E3%82%B7%E3%83%A3%E3%83%A0%E3%81%AE%E6%B3%95%E5%89%87 グレシャムの法則 >日本人は家父長制度に立脚した徒弟制度を基本とした考え方で学問をも運営するが、こうい >う考え方で『作法を守る事だけを殊更うるさく言う』のであれば、精神の自由を基本とするべき >純粋理学は一瞬にして死んでしまうだろう。] 中国人の留学生の感想で、何年か前の日経サイトに、似たようなことが掲載されていましたね。 日本人は、学問でも、先生に向かって自分の意見を言わないと（＾＾ >数学や物理学は「もう元には戻らない」とは思うが 戻って欲しい気がします >今騒動になってる分子生物学でこんな事ばかりしてれば、日本が後進国になるのはスグだ。 >劣悪な組織改組で質の悪い研究者予備軍が大量に居り、そしてその全員が「少ないパイを奪 分子生物学ね。不正をやりやすいのでしょうかね？（＾＾ しかし、そういう不正をやり出すと、結局自殺行為でしょう 分子生物学なんて、いまどき、一人でやる話じゃないから、研究グループの内部で、自分達の仲間のデータが信用できないとなると、なんだかなー、それ研究進まないよね（＾＾ 652 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 07:48:04.04 ID:OMe9bOjF.net] >>579 ￥さん、どうも。スレ主です。 ”津軽選挙 津軽選挙（つがるせんきょ）は、青森県津軽地方で頻発する金権選挙である。” か・・・ しかし、ここまで非道くないにしても、日本の地方では、例えば、￥さんの居た茨城県の田舎では（筑波は新興住宅街だから別か） 似たような話で。家の郵便受けに、投票依頼と 653 名前：現金とが投げ込まれていたとか。あの候補は、こちらの候補より額が多いとか、そんな話を聞きました で、公職選挙法の連座制というのが出来ました（下記） イギリスも腐敗が非道かったとか。まあ、島国日本と似たところがある が、対策が緻密で、連座制（当選しても失格）と”買収等防止のため相当な注意を怠らなかったとき”という規定が、効果絶大 で、日本も1990年代に導入して、効果大と思いますよ（＾＾ https://ja.wikipedia.org/wiki/%E9%80%A3%E5%BA%A7%E5%88%B6 (抜粋) 連座制（れんざせい）とは、候補者の関係者が選挙違反（選挙犯罪）をしたことを理由として、選挙違反に直接関与していない候補者について、当選無効等の不利益を与える制度のこと。 1.1 イギリス 1.2 日本 イギリス イギリスの1883年腐敗違法行為防止法（英語版）においては、運動員による選挙違反が立証された場合、候補者は、選挙違反に対する関与の有無を問わず、その当選が無効とされる。また、当該候補者は、違反を犯した選挙区からの立候補を永久に禁止され、その他の選挙区においても7年間立候補をすることが禁止される。 同法は、腐敗を極めていた選挙の健全化に大きく貢献した。 日本 連座の具体的効果 以下のいずれかに該当する場合、候補者[1]の当選が無効とされ、以後5年間、立候補した選挙区からの立候補が禁止される（公職選挙法251条の2から251条の3）。 買収等防止のため相当な注意を怠らなかったとき(組織的選挙運動管理者の場合のみ) 組織的選挙運動管理者に対して、公職の候補者等が連座制の対象となる罪に該当する行為を行うことを防止するため相当な注意を怠らなかったとき。 候補者等に課せられる「相当な注意」は、社会通念上それだけの注意があれば、組織的選挙運動管理者等が、買収罪等の悪質な選挙犯罪を犯すことはないであろうと期待し得るものをいうと解される。 (引用終り) [] [ここ壊れてます] 654 名前：￥氏 mailto:sage [2017/08/10(木) 08:05:46.88 ID:JHmEReZW.net] ディオバン事件なんかは『ちょっとヤルだけで膨大にカネが儲かるから』ですよ。でもコレは： ★★★『芳雄の発想：大学教授になりさえすれば「世間に対して偉そうに出来る」という特典が得られる。』★★★ だから「学問をスルのは教授に昇進する為の単なる道具」という発想になり、従って（自分の 息子もそうに「違いない」⇒「そうであるべき」）という考えから、なので： ★★★『頭の悪い者が理学部数学に進学するのは効率が悪く危険である⇒工学部へ進学せよ』★★★ とナルんですわ。だから奴は「親として当然の事（正しい事）をした」という発想であり、自分が 悪い事をしたなんて思ってないです。 だから幾ら話しても『聞く耳を持たない』んですわ。そもそも日本人には議論して相手の言い分 を理解するという習慣が全くないですわ。こんなんじゃ数学なんて無理ですわ。だから戦うより も逃げた方が早いんですわ。芳雄からも、そして筑波からも。 ￥ 655 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 08:06:07.33 ID:OMe9bOjF.net] >>561 補足 ベン図を書いて理解しよう！で >>537 ZFでの命題：C選択公理→整列可能定理 の補足説明 条件P：C選択公理 結論Q：整列可能定理 で、この場合、条件Pは、集合Pでいうと、P＝U（宇宙全体がその適用範囲）なんです（＾＾ なので、P→Q　なら、集合 P⊂Q。で、P＝Uなら、Q＝U なんですね〜。 こういうとき、対偶をとってもあまり意味ない。Q~(Qの否定)＝φ（空集合）ですからね（＾＾ で、 「逆命題：整列可能定理→C選択公理」が証明できることは、そこらの絵本にでも書いてあるでしょう 656 名前：？（＾＾ ああ、つかれるな〜（＾＾ [] [ここ壊れてます] 657 名前：｝現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 08:09:43.66 ID:OMe9bOjF.net] >>583 補足の補足 いや、だから、言いたいことは、P＝Uが成り立つ場合と、P not＝ Uの場合とは、事情が全く違うんだよと イロハのイ、あるいは、ABCのCかもしらんが（＾＾ ああ、つかれるな〜（＾＾ 658 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 08:14:53.17 ID:OMe9bOjF.net] >>582 ￥さん、どうも。スレ主です。 ディオバン事件ですか。下記ですね。￥さん、医学系に詳しいね（＾＾ >だから幾ら話しても『聞く耳を持たない』んですわ。そもそも日本人には議論して相手の言い分 >を理解するという習慣が全くないですわ。こんなんじゃ数学なんて無理ですわ。だから戦うより >も逃げた方が早いんですわ。芳雄からも、そして筑波からも。 まあ、そうですね。「逃げる」のも一法です（＾＾ https://ja.wikipedia.org/wiki/%E3%83%87%E3%82%A3%E3%82%AA%E3%83%90%E3%83%B3%E4%BA%8B%E4%BB%B6 (抜粋) ディオバン事件 ディオバン事件（ディオバンじけん）とは、高血圧の治療薬であるディオバン（一般名：バルサルタン）の医師主導臨床研究にノバルティス日本法人のノバルティスファーマ社の社員が統計解析者として関与した利益相反問題（COI: Confilict of Interest）、および、臨床研究の結果を発表した論文のデータに問題があったとして一連の論文が撤回された事件を指す。 (引用終り) 659 名前：￥氏 mailto:sage [2017/08/10(木) 08:25:42.40 ID:JHmEReZW.net] これだけは言っておきます。私はこれまで全力で『芳雄が望む事を全部砕く』という方針で行 動しました。だから例えば意図的に自分の子供を持たなかったです。それは「私が一人息子 である」という強力な持ち駒が芳雄に対して極めて有効だからです。（日本の教育制度が糞 だというのも、その理由に加わりはしますが。但しフランスの教育が必ずしもベストでもないと は言えるけど。でもアメリカよりは遥かにいい。そして日本が最悪。）孫が無くて、しかも徳島 事件は芳雄には相当なダメージになった筈かと。あんな馬鹿な事をするから一生恨まれる。 なのでもうこれ以上に芳雄に対して危害を加える必要は無いだろうけど、でも芳雄の葬式を 私は認めない。なので奴が強行すれば（それを粉砕するかどうかは別として）『黙殺して不 参加という形で抗議する』のは言うまでもない。 私は芳雄と、そして筑波は『生理的に受け付けない』ので。 ￥ 660 名前：１３２人目の素数さん mailto:sage [2017/08/10(木) 08:42:07.44 ID:GyS+7T77.net] 女にモテない男の言い訳ほど見苦しいものは泣き 661 名前：￥氏 mailto:sage [2017/08/10(木) 09:13:40.67 ID:JHmEReZW.net] これも追加しておきます。ラフスケッチな説明ですが。 （あ）加藤事件に関して。 私は加藤毅氏が京大理学部教授に相応しいかどうかは知りません。但し： １．（あの当時の時点で）論文数とか引用数が少ないかも知れないが、それだけではダメとい 　　う事にはならない。私が知ってるのはNovikov予想に関する論文、そしてCassonnハンドル 　　の微分構造に関する論文だけで、その他は見てないです。でもこの二つは（強い結果かど 　　うかは別として）『（誰かが）きちんとやるべき事』だと思います。 ２．これは「京大理学部が独自に決めるべき事」であり、従って特に『部外者には無関係』であ 　　り、ましてやネットで騒ぐなんて以ての外。 ３．もし誰かに責任があるとすれば、それは理学部教授会（深谷さんの独裁！？）ではあって 　　も、でも昇進した加藤氏『ではない』のは明らか。 ４．加藤さんを個人的に擁護するという意図は皆無です。 （い）藤原事件に関して。 そもそも重要な研究拠点である名大多元に対して大型予算を交付するのは『当たり前』です。 それをああいう無益な書類上の 662 名前：形式主義での『些細な欠陥』で大騒ぎするのは愚の骨頂。 研究現場は国会論戦ではないので。 しかも藤原氏が研究論文に置いて不正とか改竄とか捏造とか、そんな事は無関係。そもそも 純粋数学の論文でそんな馬鹿な事は普通は起こらない。優秀な数学者を巷の馬鹿が邪魔す るのは『絶対に許せない』ので。駅弁ならともかく、名大多元が研究至上主義で運営するのは 当たり前（でなければならない）。 ああいう馬鹿な制度を運用し、そして予算獲得競争を煽る文科省こそ罪人。各大学を自分達 の管理下に置こうとする『極めて浅ましい芳雄行為』と言う他はない。 ￥ [] [ここ壊れてます] 663 名前：￥氏 mailto:sage [2017/08/10(木) 09:17:39.24 ID:JHmEReZW.net] 訂正： 研究論文に置いて　⇒　研究論文に於いて ￥ 664 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 10:29:23.56 ID:dkxs3sqT.net] >>586 ￥さん、どうもスレ主です。 >日本の教育制度が糞だというのも、その理由に加わりはしますが。但しフランスの教育が必ずしもベストでもないとは言えるけど。でもアメリカよりは遥かにいい。そして日本が最悪。 まあ、確かに、中高一貫が効率が良いわけで、６３３は止めた方が良いでしょね。中卒が居た時代の制度だから それから、入試がつまらんと思う。高校内のレベルの低い中で、指導要領に縛られた、低レベル問題・・ 「東大入試数学問題が易しくなった！」と、それ公立高校教師とか、まあ私立の一部というか、多数派は喜びますが・・ いっそ、東大数学入試は、面接だけにして青天井にする。「バカなことを聞くな！」と、ガロアのように、物を投げる人が合格になる〜（＾＾ あるいは、これからの英語のように、数学オリンピックの成績で代用するとか（＾＾ >私は芳雄と、そして筑波は『生理的に受け付けない』ので。 ソバアレルギーのように、心理面でもアレルギーがあるのでしょうね というか、検索すると下記、心理面がアレルギーに影響するようですね hanamiju.com/allergie/kisochishiki_stress.html アレルギー悪化要因のストレス・不安感：神経質や精神面からも影響を受ける - アレルギーの基礎・豆知識 鼻水.COM. 2011 (抜粋) ストレスや不安感は、副腎や自律神経の働きを狂わせ、アレルギーを引き起こしやすくします 　アレルギー病は、アレルギー体質を素因として起こる病気ですが、その発生には心理的要素が少なからず作用しています。 (引用終わり) 665 名前：１３２人目の素数さん [2017/08/10(木) 10:35:21.77 ID:IDhO4V8E.net] >>561 ＞５）だから、対偶 Q~ → P~ で、『結論が不成立なら、条件も不成立！』で、つじつまは、合っている！ つじつまが合ってるとは？何を言いたいのか不明 　「勝つ戦略が無い」なら「箱の数は可算無限個ではない」 と言いたいの？　そりゃ箱の数が１０だったら勝てないよ　そんな当たり前のことを言いたいの？馬鹿なの？ 666 名前：１３２人目の素数さん [2017/08/10(木) 10:50:18.89 ID:IDhO4V8E.net] >>561 ＞ω * 2の数列や、ω * 3の数列では、決定番号のロジックがうまく働かないからダメだと 何が言いたいの？ まさかとは思うが「「勝つ戦略が無い」という主張の根拠」と言いたい訳じゃないよね？ いくら何でもそこまで馬鹿じゃないよね？ 667 名前：￥氏 mailto:sage [2017/08/10(木) 10:56:34.85 ID:JHmEReZW.net] まあ『鵜呑み丸投げ』とでも言うんですか、そういう部分が相当に酷いと思いますね。そして： ★★★『必要かどうかも納得しないままで、とにかく「受験科目を全部万遍なく」と上から押し付ける』★★★ という受験制度は、どうかとは思いますがね。（かつての高度成長を支えたのがコレであるの は明らかですが、今後もこのままではダメなのは明らか。） 私は友人に良く言うんですが、大学教育なんてのはまあ『ブロイラー生産工場』ですわ。それ も「転ばぬ先の杖」（という備えあれば患いナシ）とでもいうのか、先回りして抗生物� 668 名前：ｿ入りの 配合飼料を（健康なうちから、ニワトリみたいに）投与するし。まあ『失敗しない様に…』ってい う芳雄方式がコレなんですがね。 まあ『人工知能にさせてる学習』みたいな、云わば「忍耐力の習得訓練」みたいな事ばかりし てるから、これじゃグローバルな時代になんか対応しませんわ。でもこれこそが徒弟制度の考 え方そのものなんですがね。所謂『年寄りの言う事を黙って聞く』というヤツですわ。 例えば「日本人は英語が喋れない」という、これは『先ずは論理的に頭を使う訓練をする』とい う基本を無視するからでしょうね。そして高校で微積分をヤルのも論理の訓練というが： ★★★『先ずは論理的に頭を使う訓練さえ母国語できちんとしてあれば、 　　　　　　　　　　　　　　　　微積分とかの数学は必要が生じてから勉強しても決して遅くない。』★★★ という考え方もアルでしょうね。そもそもコンビニで買い物をして、そのお釣りの計算に微積分 は使いませんよ。それよりも『きちんと論理的に自分の頭を使える』と言う方が遥かに重要な 要素でしょうね。例えばプログラマーになるにしても、或いは法律家になるにしても医者にな るにしても。例えば「統計ソフトのパッケージを盲目的に振り回す」なんてのは良くないですわ。 数学科の教育だって（アレもコレも、ではなくて）『少ない量をきちんと厳密に』という考え方も あるかと。まあ、ひとつの考え方としてですが。 ￥ [] [ここ壊れてます] 669 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 11:34:12.00 ID:dkxs3sqT.net] >>588 ￥さん、どうもスレ主です。 加藤毅先生ね、あまり存じ上げないのですが。 Novikov予想はよくわからないのでスルーして、Cassonnハンドルの微分構造は面白そうですね ４次元というのは、ほんとよくわからない次元ですよね。かつ、我々が住んでいる次元でもあり 空間と時間の起源でもある。物理と数学の交差する場所でもある ４次元は、いろんな角度からぜひ研究する価値のある対象でしょう でも、いまどきの日本では、それよりゴミ論文の数を稼ぐのに忙しいのが現状かも ５年も経てば、ゴミ論文は本当のゴミでしかないのに・・、仕方ないねと 松本　幸夫先生の「４次元のトポロジー 増補新版」出たのを見て、立ち読みしてきましたけど 面白かったな（＾＾ https://www.nippyo.co.jp/shop/book/5185.html ４次元のトポロジー 増補新版 松本　幸夫 >もし誰かに責任があるとすれば、それは理学部教授会（深谷さんの独裁！？）ではあっても、でも昇進した加藤氏『ではない』のは明らか。 人事というのは、結局は、後から振り返るしかない ＝ やってみないと結局、正解不正解は事前には分からない 昨今も、沖縄の大臣が、「なにそれ」発言をしていますがね。やらせてみて、初めて分かる・・ 選挙も同じで、アメリカ大統領も、やらせてみないと、分からない。「とんでもないやつ」だと、予想通りかもしれないが・・（＾＾ 選ばれた加藤先生が、深谷先生の期待に応えるように努力していただくのが一番ですね（＾＾ 自分の研究や、自分の論文だけでなく、後進を育て、日本の数学会の発展につくす 秋月先生が、そんな人でしたね。論文はあまり有名なのはないが、周囲にきら星のように優秀な人がいた(下記) mathsoc.jp/pamph/history/100th/sugaku3002113-119.pdf 日本の数学の発展 日本数学会100周年記念特集 彌永昌吉 (抜粋) 日本の数学の発展 についてお話するとき忘れることのできないのは 秋月康夫さんと谷口豊三郎さんの功績のことです. 谷口さんはもと東洋紡の社長をしておられました. 秋月さんのお友達でありまして� 670 名前：Cこうした研究会 のために援助を惜しまれませんでした.現在から 将来にわたる計画にも，おかげをこうむっており ます. つづく [] [ここ壊れてます] 671 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 11:35:56.41 ID:dkxs3sqT.net] >>594 つづき 秋月さんは京都大学で抽象代数学の先駆者 であった園正造先生の御弟子で，代数幾何には最 も力を入れておられます.秋月さんのお友達には また多変数解析関数論について深い研究をされた， 岡潔さんもおられます.物理学者の方でノーベル 賞を受けられた湯川さん，朝永さら，江崎さんも 秋月さんが教えられたと伺いました. 広中君は秋月さんの最も秀れた御弟子の一人で した. (引用終わり) www2.tsuda.ac.jp/suukeiken/math/suugakushi/sympo08/08takase.pdf [PDF]不定域イデアルの理論と多変数代数関数論への道 評伝 「岡潔」 (抜粋) 1 .第7報の初出テキスト 昭和11年(1936年)に始まる岡潔の連作「多変数解析関数についてJの第 7報「二、三のアリトメティカ的概念について」の仏文原稿が書かれたのは、 先の大戦の終了後三年目にあたる昭和23年(1948年) 7月のことと言われて いる。論文ができあがってまもないころのことであろう、岡潔は「ボロ服に， 風呂敷包を肩に振り分けたj 姿で故郷紀見村(現在、和歌山県橋本市)を発 ち、原稿を手に京都岡崎天王町に住む友人秋月康夫を訪問した。20年後、秋 月康夫はこのときの情景を感銘の深い筆致で書き留めている。 敗戦直後の食糧困難に悩んでいる頃だった.ボロ服に，風呂敷包を肩に 振り分けた，岡潔君の久し振りの訪問をうけた.第一印象は“彼もずい分 と齢をとったものだ.まるで百姓のようだ"ということであった. つづく 672 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 11:36:37.18 ID:dkxs3sqT.net] >>595 つづき 当時， 無職であった同君は，家や田を売り，芋を栽培して糊口を養いつつ，多変 数画数論の開拓に励まれてきていたのである.戦中芋畑から，層の概念の 芽が，不定域イデ、アルの形で生み出されたのである.この論文は手記のま ま， 1948年渡米する湯川君に託されたが，角谷1) ・Wei12)の手を経て H.Cartan3) に手渡され，パリで印刷されるにいたったものである.プリン ストン高級研究所へ招待されたわが国科学者は，この1948年の湯川i・角谷 両君が戦後最初であった.そして翌年に，朝永4)・小平君5)と続いた. ( I軌近代数学の展望(続)Jの「序Jより。秋月康夫『鞭近代数学の展 望』所収。I軌近代数学の展望(続) Jは初め、「数理科学j 誌に連載さ れた。) 1 )角谷静夫(かくたに・しずお)。数学者。角谷静夫は戦前すでにプリンストン 高級研究所に滞在したが、1942年(昭手[117守)、帰国した。w日本の数学100年史』 (昭和59年(1984年)、上下二巻、岩波書応)によれば、再渡米の時期iは1947年 (昭和22年)である。同書、下巻、195頁参照。 (引用終わり) 以上 673 名前：１３２人目の素数さん mailto:sage [2017/08/10(木) 11:37:19.53 ID:0kMR37kU.net] 箱が一個でも、任意の実数を入れられたら当てられるわけないよな。 無限個の箱で、尻尾で同値類が決まってしまうから 一種の剛性が生じるというのが、現象としてはキモでしょ。 「無限個の箱に何を入れてもいいなら自由度が増す」 ように思うのは錯覚に過ぎないというわけ。 674 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 11:40:18.40 ID:dkxs3sqT.net] >>595 追加 抜けた、下記追加。高瀬正仁先生ごめん（＾＾ www2.tsuda.ac.jp/suukeiken/math/suugakushi/sympo08/08takase.pdf [PDF]不定域イデアルの理論と多変数代数関数論への道 評伝 「岡潔」 評伝「岡潔j のための数学ノートI (未定稿) 高瀬正仁 1 .第7報の初出テキスト 2. 第7報の速報「多変数解析関数ノート」 3. 初出テキストに対する岡潔の感想 秋n康夫の証言 |碍潔の言葉(1 )不定域イデ、アル 岡潔の言葉(2 )数学の客観的形式と主観的内容 4. 第二期の多変数解析関数論 ベンケ、トゥルレン『多複素変数関数の理論』に見られる三つの問題 上空移行の原理 ハルトークスの逆問題 「ハノレトークスの逆問題Jという言葉の初出について 第二期の多変数解析関数論 5. 内分岐領域の理論 不定域イデ、アルの理論 第7報の初出テキストの序文 第7報の原テキストの序文 ふたつの序文の相違点 第8報の序文より グラウエルトの例とグラウエルトーレンメルトの例 6. カルタンの二論文in個の複素変数の解析関数のイデアル」と「被素変数の解析関数 のイデアルとモジュールj 1944年の論文in個の複素変数の解析関数のイデ、アルj 1949年の論文「複素変数の解析関数のイデアルとモジューノレJ 岡潔と複素多様体 7. 多変数代数関数論への道 675 名前：１３２人目の素数さん [2017/08/10(木) 11:41:40.06 ID:IDhO4V8E.net] >>597 precisely! 676 名前：￥氏 mailto:sage [2017/08/10(木) 11:43:58.32 ID:JHmEReZW.net] 加藤さんに関して追加説明です。 私は加藤さんが「相応しくない」という考え方をしてるのではありません。ソコは私には判らな いのであり、もし彼がダメだというのであれば『真剣にダメな人が他に沢山居る』と思います。 幾ら馬鹿板とは言え、個人攻撃はしたくないので名前ではありませんが、例えば『遣りました、 出来ましたばかり繰り返す人』であって、しかも「そういうモノだけでマサイの点数を稼ぐ人」と いうパターンには、私は批判的です。（例えば量子群関係で、計算ばかりする人とか。） 私が評価するのは『ちゃんとした洞察をして、そして正しい方向を向く』という研究態度であり、 加藤さんはそういう範疇だと思います。但しどういう数学を評価するかは各人各様であり、そ して『京大には京大の判断がアル』という事ではないかと。 そういう意味では、筑波だけが批判されるべきでもないだろうし。（私は嫌いですが。でも嫌い と悪いは違うので。） ￥ 677 名前：１３２人目の素数さん [2017/08/10(木) 12:37:35.23 ID:SeArJMx1.net] >>566 オッパイの魅力！！ 巨乳（虚乳）の魅力！！ 貧乳（品乳）の魅力！！ 美乳（微乳）の魅力！！ 母乳（模乳）の魅力！！ 678 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 12:54:29.03 ID:dkxs3sqT.net] >>597 どうもスレ主です。 そういうことでもなければ、いくらバカでも、対偶を間違ったりしない。また、このスレで１年半以上も議論は続かない そういう錯覚を起こさせるのが、このパズルキモだろうね 冷静に考えてみて この話は、欧米では時枝が書く３年ほど前に、ネットでも上がっていた（過去スレにある） だから、この話はおそらく５年以上前から欧米では知られていたと お説のように、無限数列のしっぽの同値類で、 「箱が一個でも、任意の実数を入れられたら当てられるわけないよな」というのに対し ”一種の剛性が生じ”、本当に数学理論として成り立つなら、きっとだれかが論文投稿して、数学の定理になっているだろう（それで投稿数１件ゲットだからね） が、そうではないでしょ 私が、その証明（時枝不成立というか現代確率論では不成立）は、ステップ５でやるよ いま、ステップ２で止まって進まないけどね・・（＾＾ まあ、対偶も理解できない頭じゃ、ステップ５へ行っても 相手も発狂して、スレが荒れるだけだから、ステップ２で時間を掛けて居るんだ 徹底的にね 679 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 13:06:30.49 ID:dkxs3sqT.net] >>600 ￥さん、どうもスレ主です。 私も、加藤さんについて、詳しくないし、当事者でもないので、一般論として すべからく、人事というのは、数学のように理論で割り切れるものでもないし、「これで良いだろう」というのは、予測でしかない かつ、不満を持つ人が必ずいるものです だから、一般論として、深谷先生が「おれの後継者はこの人だ」ということは、それで正しいし あとは、指名された人が、その期待に応えるように努力する それ以外に正解はないと思います。 なので、加藤先生は次世代の京大数学および日本の数学の発展のためにどうあるべきかをしっかり考えて それをもとに行動してゆくことですね。自分の論文や研究も大事だが、深谷先生の期待に応える努力 それが大事だと思います。 再度断っておきますが 一般論としてです 680 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 13:07:43.28 ID:dkxs3sqT.net] >>602 訂正 リンク間違えた（＾＾ >>597 　↓ >>600 681 名前：１３２人目の素数さん [2017/08/10(木) 13:07:44.24 ID:IDhO4V8E.net] 論文投稿されていない命題は偽である　by アホ 682 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 13:10:45.24 ID:dkxs3sqT.net] >>604 訂正の訂正 下記訂正キャンセルします >>597 　↓ >>600 おれ、ピエロくんになってしまったな（＾＾ すまん、君の領分の笑いを取ってしまって・・（＾＾ 683 名前：１３２人目の素数さん mailto:sage [2017/08/10(木) 13:12:13.31 ID:WfJuqIbj.net] >>601 モノとしてのオッパイには語るほどの魅力は感じない。 舐めて吸って、すぐに飽きるでしょ。 乳首が固くなると興奮してるな〜とか、気持ちが入ってくると 魅力のバリエーションも広がる。 ちなみにおれは童貞の頃は見た目貧乳好きだったが、今はある程度 大きさはあった方がいいと思っている。なぜなら「強く抱きしめられて いるのにふかふか」という幸福感は、貧乳では味わえないからだ。 684 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 13:16:06.70 ID:dkxs3sqT.net] >>605 いや、もしおれが大学の研究者で、それ片手間程度で投稿できる程度だから、きっちりした証明にしてarxivにでも投げておくけどね （非可測集合経由の話などをしっかり書いてね） もし、成立するなら、面白いんじゃないかな〜（＾＾ 685 名前：￥氏 mailto:sage [2017/08/10(木) 13:39:49.69 ID:JHmEReZW.net] 私は自分の数学的な生い立ちからして『数学とは証明するもの』という考え方が強いとは思い ますね。だから「計算だけで出てくる結果」とか、それから「（函数）解析学の一般論」というのは 好きじゃないです。まあ『好き嫌いはその人の勝手』という事です。でも抽象代数学とか、或い は幾何学とかトポロジーは自分の趣味に合うというのは、まあアルでしょうね。（物理が嫌にな って逃げ出したというのが、まあこういう個人的な好みをじさせたんだんだと思いますわ。） 正直な話、私は加藤さんの東大修士論文（＝京大博士論文）は読みましたが「ああ、コレはい い仕事だな」という感想です。ソレに加えてネットでの騒動があってからCassonハンドルの論 文も目を通しました。これも「問題意識は正しい」というのが、その感想です。それで『彼のそ の後の論文』ですが（幾つかはあるみたいですが）、なんとなく応用系みたいな印象しか持て ないので、だから興味もないし、なので見てもいません。 私の評価は論文数とかマサイの点数を然程の参考にはしません。というのは（応用系と言わ ないまでも）例えば量子群みたいな一過性の流行分野であれば『点数を稼ぎ易い、しかも人 がそれを針小棒大に扱い勝ち』という部分がどうしてもアルからです。まあ言ってみれば： １．マイナーな孤立した分野では「遣りました、出来ました」で点数を稼ぎ易い。 ２．代数幾何やトポロジーみたいな伝統的な難しい分野では、論文数も点数も稼ぎにくい。 という風に考えるからです。 （続きます） 686 名前：￥氏 mailto:sage [2017/08/10(木) 13:40:26.28 ID:JHmEReZW.net] 続き： こういう事から（一部の）可積分系とか、或いは複雑系とかの中には『批判されるべきもの』が かなり含まれるという印象を持っています。（非可換環論とか一般位相空間論とか、或いは基 礎論とかは言うに及ばずですが。計算機関係もモノによっては怪しい。） だからどちらかと言えば（数学的な内容という意味で）私は加藤さんの論文は好みではあるん ですね。でも彼を批判してる人が多いのも、まあ判ります。だから私は彼の敵でも味方でもな いです。ゲージ理論関係が「過保護である」と言って怒ってる人が居るのも知ってます。 だからあの事件に関して私が心底から批判するのは『気に入らないからと言ってネットで騒ぐ 不見識な連中』というだけです。ああいう批判の仕方は無責任ですわ。ちゃんと加藤氏の論文 を読んでから批判するべき。 ￥ 687 名前：￥氏 mailto:sage [2017/08/10(木) 13:44:36.80 ID:JHmEReZW.net] 訂正： 好みをじさせた　⇒　好みを生じさせた ￥ 688 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 15:26:21.50 ID:dkxs3sqT.net] >>609 ￥さん、どうもスレ主です。 加藤毅先生、生物やっているみたいですね 下記座談会があります。私は、生物はだめだけど、￥さんの方が読めるんじゃないかな？（＾＾ 写真見ると、確かに、お若いですね〜（＾＾ www.jst.go.jp/kisoken/crest/project/35/pdf/CREST-Biodynamics_vol06J.pdf 国立研究開発法人科学技術振興機構(JST)CREST「生命動態」研究領域 JST CREST-BIODYNAMICS 20161001 (抜粋) 特別座談会〜「碩学の稜線」 （数学は生物に必要か！？） 加藤（毅） 計算機の能力がこまで上ってしうと、データをインプットしてしえば必要な情報は一瞬で出くるんじゃないかと思ってしまうくらい発展してきています。 人工知能は、もの凄いデータ量のパターン認識ができるわけです。一方計算機だけでは出来ない側面もあって・・ 東 この 領域では、数学・数理科学として情報、物理、数学と様々な分野が混在しています。 そうった中での「数学」の位置づけについて更お伺したいと思ます。 (引用終わり) 689 名前：１３２人目の素数さん [2017/08/10(木) 15:28:51.99 ID:IDhO4V8E.net] >>608 あり得ない仮定の話なんてどうでもいい >>591、>>592に数学的に答えてくれ 690 名前：￥氏 mailto:sage [2017/08/10(木) 16:20:08.84 ID:JHmEReZW.net] まあその数理生物学というんですか、そういう話はかなり前から見聞きして知ってはいますが、 その実質的な「数学としての内容」とでも言うか、それが私には判らないし、そして興味が持て ないんですよね。そして理学部数学科の教員である加藤さんの研究が『数学そのものでなけ ればいけない』とは私には言えません。特に昨今はそういう風潮でもないし。 分子生物学に関して私なりに興味が（幾分は）持てる部分は確かにあり、だからDouble Helix ⇒J.Monod⇒S.Kauffmanみたいな事は、まあ判らんでもないけど、でもこういう所謂応用数学 というのは、ソコに出てる鈴木貴さんですか、非線形微分方程式みたいな話だってあるだろ うし、私が直接に興味を持つ数学ではないです。だから（今の）加藤数学は何も判らないし、 従って何も言えませんね。 ￥ 691 名前：￥氏 mailto:sage [2017/08/10(木) 17:11:22.82 ID:JHmEReZW.net] だから大Gelfandとか大Gromovみたいな大物が『ソッチ方向へ向け！』っていう号令を掛けた とか、更に古くはR.ThomとかS.Smaleみたいな「微分トポロジーの大物」が、『次はソッチ方向』 とか言って、しかも物理のGell-Mannまでも「そういう本」を書いて重要性を喚起してますよね。 でも問題となるのは『その実質的な（数学としての）内容とは何なのか』ですわ。でもういう流 れが「トポロジーで喰い詰めたから」であって欲しくはないですよね。そういう私も量子群では もう次が無いから、今は全く別の事を考えてますがね。 例えばそのKauffmanのBoolean Networkでも、それを『厳密な数学として』扱う枠組みとかで すよね。私の認識では（Monte-Carlo法で）計算機実験をやって、そんで相転移があるとかな いとか、そういう臨界現象の話ですよね。ネットに沢山論文が落ちてますわ。 でも新しい数学を生むってのは、そういう「シンドイ思いをスル」っていう事かと。 ￥ 注意：もし世間からの圧力に負けた各大学が「そういうフリをする」という様な要素が万が一に でもあれば、それは『極めて遺憾な事』ではありますがね。もし考え過ぎならばソレでいいけど。 692 名前：１３２人目の素数さん [2017/08/10(木) 19:37:48.56 ID:jkSTs6DO.net] >>602 (箱が無限個なら”同値類の代表列からの 　カンニングによって予測可能”が） >本当に数学理論として成り立つなら、 >きっとだれかが論文投稿して、 >数学の定理になっているだろう >が、そうではないでしょ 「箱入り無数目」の記事の文章も 読めない馬鹿が何粋がってんだ？ｗ ＞（「箱入り無数目」記事の方法での予測が ＞　　現代確率論では不成立の）証明は、 ＞ステップ５でやるよ ＞いま、ステップ２で止まって進まないけどね >>370-371で明らかだけど ＜ステップ１＞「現代確率論は、ベースとしてZFC下にある」 ＜ステップ２＞「現代数学 ZFC下で、一見異なる結論が導かれることがある」 は無意味なダベリだから、ステップは実質３つね で、"宇宙"の話は＜ステップ３＞かい？ だとしたらこれも無意味なダベリだから ステップは２つしかなくなるよｗ まったく３ステップも無意味なダベリに使うとか 頭悪いにも程があるよなｗ ついでにいうとN(=ω）を別の可算順序数に置き換えて 決定番号の範囲を拡大しても、予測不能には結びつかないよ あくまで選んだ列の決定番号が最大でなければ予測できちゃうから やっぱこいつ記事の文章全然読めてないな 693 名前：１３２人目の素数さん [2017/08/10(木) 19:39:21.92 ID:jkSTs6DO.net] >>1の主張が間違ってるのは 前々スレの491(7/6)で決着済 rio2016.2ch.net/test/read.cgi/math/1497848835/491 ○　代表元との不一致箇所 ●　代表元との一致箇所 s1 ○●●●●●●●● s2 ○○○○●●●●● s3 ●●●●●●●●● s4 ○○○●●●●●● s5 ○○○○○●●●● s6 ○○●●●●●●● 決定番号が最大値(6)でない列（s5以外）を選んだ場合　 (確率5/6) →選んだ列(s5以外)の6番目の箱を開ける （★　代表元と一致するので予測成功） s1 ○●●●●｜★｜●●● s2 ○○○○●｜★｜●●● s3 ●●●●●｜★｜●●● s4 ○○○●●｜★｜●●● __ −−−−−＋−＋−−− s5 ○○○○○｜●｜●●● __ −−−−−＋−＋−−− s6 ○○●●●｜★｜●●● 決定番号が最大値(6)の列（s5）を選んだ場合 (確率1/6) →s5の5番目（s5以外の列の決定番号の最大値）の箱を開ける （☆　代表元と不一致なので予測失敗） s1 ○●●●｜●｜●●●● s2 ○○○○｜●｜●●●● s3 ●●●●｜●｜●●●● s4 ○○○●｜●｜●●●● __ −−−−＋−＋−−−− s5 ○○○○｜☆｜●●●● __ −−−−＋−＋−−−− s6 ○○●●｜●｜●●●● 694 名前：１３２人目の素数さん [2017/08/10(木) 19:57:56.79 ID:IDhO4V8E.net] ＞ついでにいうとN(=ω）を別の可算順序数に置き換えて ＞決定番号の範囲を拡大しても、予測不能には結びつかないよ 「勝てる戦略はあるか？」の問いに対し、”勝てない戦略”（＝ω＋ω） の存在を主張して、一体何がしたいんだかスレ主は？？？ 暑さで脳みそヤラれたとしか 695 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 22:19:44.76 ID:OMe9bOjF.net] >>614 ￥さん、どうも。スレ主です。 私も、数理生物学というのは、よく分からないのですが、そちらの方面で数学のマンパワーが必要とされているということなのでしょうね 物理系は数学が達者な人が多いが、生物はなんとなく薄いということもありそうですが ところで、応用数学 ｖｓ 純粋数学 の話は、昔、￥さんとやりましたかね？（＾＾ https://en.wikipedia.org/wiki/Pure_mathematics Pure mathematics (抜粋) Broadly speaking, pure mathematics is mathematics that studies entirely abstract concepts. This was a recognizable category of mathematical activity from the 19th century onwards,[1] at variance with the trend towards meeting the needs of navigation, astronomy, physics, economics, engineering, and so on. Another view is that pure mathematics is not necessarily applied mathematics: it is possible to study abstract entities with respect to their intrinsic nature and not be concerned with how they manifest in the real world.[2] Even though the pure and applied viewpoints are distinct philosophical positions, in practice there is much overlap in the activity of pure and applied mathematicians. To develop accurate models for describing the real world, many applied mathematicians draw on tools and techniques that are often considered to be "pure" mathematics. On the other hand, many pure mathematicians draw on natural and social phenomena as inspiration for their abstract research. つづく 696 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 22:20:23.55 ID:OMe9bOjF.net] >>619 つづき 20th century At the start of the twentieth century mathematicians took up the axiomatic method, strongly influenced by David Hilbert's example. The logical formulation of pure mathematics suggested by Bertrand Russell in terms of a quantifier structure of propositions seemed more and more plausible, as large parts of mathematics became axiomatised and thus subject to the simple criteria of rigorous proof. In fact in an axiomatic setting rigorous adds nothing to the idea of proof. Pure mathematics, according to a view that can be ascribed to the Bourbaki group, is what is proved. Pure mathematician became a recognized vocation, achievable through training. The case was made that pure mathematics is useful in engineering education:[6] There is a training in habits of thought, points of view, and intellectual comprehension of ordinary engineering problems, which only the study of higher mathematics can give. (引用終り) 697 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 22:21:40.12 ID:OMe9bOjF.net] >>615 >だから大Gelfandとか大Gromovみたいな大物が『ソッチ方向へ向け！』っていう号令を掛けた >とか、更に古くはR.ThomとかS.Smaleみたいな「微分トポロジーの大物」が、『次はソッチ方向』 >とか言って、しかも物理のGell-Mannまでも「そういう本」を書いて重要性を喚起してますよね。 その話は、以前に書きましたが、￥さんの時代より、数学の最先端に出るために登る道が長くなっているということがあります ￥さんの時代なら、佐藤スクールで勉強すれば最前線だった いま、￥さんの時代の勉強プラス30年分が必要だし、１年に出される論文も昔より多い。 いま、佐藤スクールは無い。本当は、佐藤スクールの次が欲しいですよね >例えばそのKauffmanのBoolean Networkでも、それを『厳密な数学として』扱う枠組みとかで KauffmanのBoolean Networkは、初耳です〜。これか（＾＾ https://en.wikipedia.org/wiki/Boolean_network Boolean network (抜粋) A Boolean network consists of a discrete set of Boolean variables each of which has a Boolean function (possibly different for each variable) assigned to it which takes inputs from a subset of those variables and output that determines the state of the variable it is assigned to. Boolean networks have been used in biology to model regulatory networks. Although Boolean networks are a crude simplification of genetic reality where genes are not simple binary switches, there are several cases where they correctly capture the correct pattern of expressed and suppressed genes.[2][3] The seemingly mathematical easy (synchronous) model was only fully understood in the mid 2000s.[4] Contents [hide] 1 Classical model 1.1 Attractors 2 Stability 3 Variations of the model 3.1 Other topologies 3.2 Other updating schemes 4 See also The first Boolean networks were proposed by Stuart A. Kauffman in 1969, as random models of genetic regulatory networks[5] but their mathematical understanding only started in the 2000's.[6][7] (引用終り) つづく 698 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 22:22:24.22 ID:OMe9bOjF.net] >>621 つづき カウフマンは、理論生物学者で複雑系の研究者ですか（＾＾ https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%81%E3%83%A5%E3%82%A2%E3%83%BC%E3%83%88%E3%83%BB%E3%82%AB%E3%82%A6%E3%83%95%E3%83%9E%E3%83%B3 スチュアート・カウフマン (抜粋) スチュアート・アラン・カウフマン (Stuart Alan Kauffman、1939年9月28日 -) はアメリカ合衆国の理論生物学者で複雑系の研究者である。地球の生命の起源について多大な考察をした。 生物のシステムと有機体の複雑性はダーウィンの自然選択説以上に、自己組織化と熱平衡状態から大きく離れた系(far-from-equilibrium dynamics)に由来するのかもしれないことを議論したことでよく知られている。 来歴[ソースを編集] 1960年ダートマス大学を卒業。1963年オクスフォード大学の学士を取得。1968年カリフォルニア大学サンフランシスコ校で医学博士の学位を取得した。医師として短いキャリアを過ごした後、ショウジョウバエの発生遺伝学の分野に移り、シカゴ大学を経てペンシルベニア大学（1975年-1995年）で生化学と生物物理学の教授になった。 (抜粋) 以上 699 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/10(木) 22:31:06.78 ID:OMe9bOjF.net] >>615 補足 >注意：もし世間からの圧力に負けた各大学が「そういうフリをする」という様な要素が万が一に >でもあれば、それは『極めて遺憾な事』ではありますがね。もし考え過ぎならばソレでいいけど。 世間の圧力というより、文科省の行政圧力でしょうか？（＾＾ えーと、小泉改革で、国立大学は国立大学法人になりました この影響は大きいと言われています https://ja.wikipedia.org/wiki/%E5%9B%BD%E7%AB%8B%E5%A4%A7%E5%AD%A6%E6%B3%95%E4%BA%BA 国立大学法人 国立大学法人（こくりつだいがくほうじん、英: national university corporation）は、日本の国立大学を設置することを目的として、国立大学法人法の規定により設立されている法人である。 法人化の問題点[編集] 国立大学の法人化に際して国からの支援が縮小されることや、運営に国の干渉が強まることが懸念されていたが、現在問題になっている点は次の通りである。 ・研究費調達は各大学の自助努力が求められるようになったため、寄付を募るなど運営が私立大学に近いものになってきている。 ・毎年政府から交付される運営費交付金は、毎年、前年度比1%削減という効率化係数が適用されて、漸減することとなっている（右のグラフも参照）。したがって、必要な人数の教員や職員を確保できない事態が発生している[4]。 　これは、国立大学の特徴である少人数教育を年々困難にしつつある（例えば教職・学芸員科目以外における非常勤講師の一斉採用停止など）。このため大学によっては、特に文科系において教員が抜けた場合に補充が行われないという事態が起こり、大学カリキュラムに歪みが発生している。これに伴い、一部では専攻閉鎖等も危ぶまれている。 ・法人化により一斉に新設された「理事」に、ほぼ例外なく文部科学省の職員が出向している。したがって、法人化は文科官僚のポジション増設になっているとの批判があるうえ、国立大学の理事から理事へとわたりが行われていることも指摘されている[5][6][7]。 　また、中期目標の作成、評価制度の施行により、むしろ文部科学省による各大学への関与は増大しているとの見方もある。すなわち、文部科学省の天下り法人としての傾向が強まっていくことが考えられる。 (引用終り) 700 名前：￥氏 mailto:sage [2017/08/10(木) 22:36:02.92 ID:JHmEReZW.net] 数理物理学よりも理論物理学の方が更に「モデルが多い」のであり、だから数理生物学まで 含めれば「更にモデルが増える」という印象ですかね。でもド素人の私から見れば： ★★★『こういう各種様々な手作り感がする（第一原理っぽくない）数理モデルの 　　　　　　　　　　　　　　　うちで、そのどれが（厳密化出来る、という意味で）本物だか判らない。』★★★ という感じを強く受けます。まあこういうものは「微分方程式アリ、確率論アリ」という感じなん ですが、こういうものの『どれに本気で注目するべきか？』というのは非常に難しいのではな いかと。 物理でさえ「田崎晴明さんと原隆さんの共著の教科書」とかがありますよね。こういうものを落 ち着いてきちんと勉強すれば、チカラが付くのではと思いつつ、未だに果たせませんが。 ￥ 701 名前：￥氏 mailto:sage [2017/08/10(木) 22:51:36.22 ID:JHmEReZW.net] そのKauffman Netに関しては、そのWikiの記事にある本人が書いた本で、しかも和訳が出て るのが二冊だったかありますが、そのうちのどちらかに「ある章を全部使って解説」してあり、 それが「生物学としての説明」がきちんとつけてあって、結構マトモですわ。でも： jfi.uchicago.edu/~leop/SciencePapers/nkreview.pdf の方が、まあ『計算として』は説明が細かいかと。但しこれは物理としてというか、まあ「こうや って計算機に乗せる」という風に（私には）読めました。大物のKadanovが著者に入ってるし。 でも「数学者が厳密に扱う」という観点で探せば、殆ど何も見つかりません。私が発見したの はBernard Derridaの論文が幾つかだけでした。他には確率論の人がちょっとだけです。 ￥ 702 名前：￥氏 mailto:sage [2017/08/10(木) 22:55:57.70 ID:JHmEReZW.net] www.lps.ens.fr/~derrida/ ココの「生物モデル」の項目の場所から、幾つかの論文が拾えます。 ￥ 703 名前：１３２人目の素数さん mailto:sage [2017/08/10(木) 23:06:44.17 ID:HduDeZXl.net] 禿藁虚偽事件は、まさに貴殿の嫌う"芳雄的思考"により起きた事件であり、 禿藁はオーケー、芳雄は絶対許さん、というのはダブルスタンダードであり、 矛盾しているんじゃないんでしょうか、増田さん？ 「禿藁に重大な責任があるのは当然だが、彼一人のみを叩くのは間違い」 というのならまだ理解できます。(同意はしませんが。) 704 名前：￥ mailto:sage [2017/08/10(木) 23:44:22.35 ID:JHmEReZW.net] 増田さんって誰や？ ￥ 705 名前：￥ mailto:sage [2017/08/10(木) 23:55:54.72 ID:JHmEReZW.net] ♪♪♪もう良い子は寝る時間です。そやし馬鹿板は止めて、また明日にしましょう。♪♪♪ ケケケ￥ 706 名前：テスト mailto:テスト [2017/08/11(金) 01:03:14.39 ID:WpXbS5N7.net] >>629 一抜きして、今日生成された私の遺伝子情報を搾り取ったら、おとなしく寝マッスル！！ けど、未だオカズをどの嬢にするか悩み中！ リストカットの無い人、刺青無い人、どーんとオカズにならなさーい。 707 名前：￥氏 mailto:sage [2017/08/11(金) 01:03:49.18 ID:ToUPXODc.net] 訂正： Kadanov　⇒　Kadanoff ￥ 708 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 05:06:17.39 ID:BePOAppZ.net] >>613 カレーにするーしますので ステップ５を待ってください（＾＾ まあ、マジレスすれば、数学は、お互いさま。 相手に証明求めるひまがあったら、自分が反証すれば良い（反例提示可） 数学をディベートと勘違いしているのは、文系だろ precisely!(>>599)とか言っているひまがあったら、自分が証明書けよ！ ”一種の剛性が生じるというのが、現象としてはキモ”で、 「剛性」をきっちり数学的に定義して、どんな現象かを数理として導けば良いだけのことだ 自分はそれをする能力がありませんと、 言っているように聞こえる 709 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 05:46:04.18 ID:BePOAppZ.net] >>627-628 横レスすまん。エンドレスになりそうな予感がするので、先回り（＾＾ 世の中、ほとけ様、キリスト様みたいな、高潔なばかりじゃない だから、人を評価する場合、ブール論理よりも、ファジィ論理が適当だろう（下記） そこで、芳雄指数ｙを導入する。０<= y <=１とする。０：ほとけ様、キリスト様。１：芳雄 （＾＾ 問題のプロジェクトの社会的価値を指数Ｖで表現することにする。同様に、０<= Ｖ <=１とする 指数Ｖは、正規分布を成し、世の中のプロジェクトの平均を０．５とする。０は無価値。１はフィールズ賞など著名な賞を獲得した場合とする （＾＾ 有罪か無罪か？　式 Ｖ−ｙ の値で決める。−１<= Ｖ−ｙ <=１ であり、負の場合有罪。正又は０の場合無罪。 ｙ＝１の場合、フィールズ賞を獲得しなければ有罪である（＾＾ https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%82%B8%E3%82%A3%E8%AB%96%E7%90%86 ファジィ論理 (抜粋) ファジィ論理（ファジィろんり、英: Fuzzy logic）は、1965年、カリフォルニア� 710 名前：蜉wバークレー校のロトフィ・ザデーが生み出したファジィ集合から派生した[1][2]多値論理の一種で、真理値が0から1までの範囲の値をとり、古典論理のように「真」と「偽」という2つの値に限定されない[3]ことが特徴である。 さらにlinguistic variablesは、「ちょっと暑い」というような、言語学的（linguistic）な（と、ファジィの研究者は表現する）ものを表す変数（variables）である（その内容自体は、「気温が摂氏30度の時は 0.2（30度は「ちょっと」ではないから）」「気温が摂氏25度の時は 0.8」「気温が摂氏20度の時は 0.3」といったように、至って定量的なものであり、 「言語学的な値」という何かよくわからないフワフワしたものを扱ってくれる魔法ではない）。 (引用終り) https://ja.wikipedia.org/wiki/%E3%83%96%E3%83%BC%E3%83%AB%E8%AB%96%E7%90%86 ブール論理 (抜粋) ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。 (引用終り) [] [ここ壊れてます] 711 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 07:30:05.75 ID:BePOAppZ.net] >>575 ピエロくん、ご苦労さん >こいつ、整列順序が英語で、well-founded orderって呼ばれてることも知らないのか？ >おまえの引用には全然この言葉が出てこないな 私の>>569で引用したピエロくん君の>>541発言には、”整列可能”はあるが、”整列順序”はないよ またまた、ピエロくん一流のお笑い芸だったのか！ ご苦労さん（＾＾ 712 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 07:30:28.52 ID:BePOAppZ.net] >>576 ピエロくん、ご苦労さん >＞選択公理を含む集合論の ZFC 公理系からは、 >ACはZFの定理じゃないぞ ピエロくん一流のお笑い芸だね え〜っ、何言っているの？　AC ＝ Axiom of Choice でしょ？？　”ZFの定理じゃないぞ”？？？　 私は「ZFC 公理系」と断ったでしょ！　ああ、ごめん、ぼく小学生だったね（＾＾ 713 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 07:31:02.16 ID:BePOAppZ.net] >>578 ピエロくん、ご苦労さん >Nをω＋ωと考えてもよい、とはいえない wikipedia 整列集合 https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88 より 「N における別な整列順序としては、例えば、どの偶数もどんな奇数よりも小さいものとし、偶数同士あるいは奇数同士では通常の大小関係を適用することで得られる順序 0, 2, 4, 6, 8, …, 1, 3, 5, 7, 9, … が挙げられる。この順序に関する整列集合の順序型は ω + ω である。任意の元が直後の元を持つ（したがって最大元は存在しない）が、直前の元を持たない元が 0 と 1 の二つ存在する。」（>>564） を引用しましたが、何か？　ああ、ごめん、ぼく小学生だったね（＾＾ 使っている漢字が難しかったんだね（＾＾ 714 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 07:31:34.48 ID:BePOAppZ.net] >>616 ピエロくん、ご苦労さん >>本当に数学理論として成り立つなら、 >>きっとだれかが論文投稿して、 >>数学の定理になっているだろう >>が、そうではないでしょ 客観的事実を述べただけで もし、君に正しい証明を書く能力があり、それを論文に纏める力があるなら、それはこんなバカ板に書くべきでは無いと思うが 但し、その両方とも君にその能力がないことは明白だね 715 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 07:33:05.26 ID:BePOAppZ.net] >>617 ピエロくん、お絵かき上手だね ９つまで、おはじき数えられるんだね えらいね〜（＾＾ でもな、一つ指摘すると、その絵は有限だよね〜 問題は、無限だよ〜　（一見些末な指摘に見えるが、これ本質だよ） ああ〜、悪い悪い。きみ小学生だったね。ちょっと難しかったね〜（＾＾ 716 名前：￥氏 mailto:sage [2017/08/11(金) 08:15:32.25 ID:ToUPXODc.net] 昨今の大学が特にケシカランと思う事柄ですが： ★★★『世間とか文科省に対して「判り易さアピールする」というウケ狙いをする事に拠って安っぽくなる』★★★ というのがあって、例えば私は「一般市民向けの公開講座みたいな事をスル数理研」でさえ、 まあ世間に媚びを売ってるのではという様な印象を持ってました。但しこういう事は『説明責任 をちゃんと果たす』とか、或いは『大学がきちんと社会参加する』というのと裏腹な関係だから、 従って「研究者に取っては負担となる事務雑用」という訳にも行かないし、特に昨今は： ★★★『どの大学も潰れない様にと気を揉んで、客集めや予算獲得でなりふり構わず 　　　　　　　　　　　必死で頑張る。でも行き過ぎれば「単なるウケ狙い」となり、学問が歪になる。』★★★ という心配にもなる訳です。 特に昨今の社会風潮が、理学部とかピュア・サイエンスであれば『こういう事を考えざるを得 ないという宿命』を負っていて、だからその結果として「大学が窮屈になる」と思うんですわ。 なので加藤さんの生物学というのに「チョットそういう臭いがしないでもない」という私の勝手 な考え過ぎだとか、まあ激しくそれを感じるのは九大のマスフォアインダストリですわ。まあ私 は『応用系とか、こういう人間に直接関係する学問が大嫌い』なので、こういう行き過ぎた考え 方にどうしても傾きがちであり、これは私の明らかな欠点ではありますが。 私が何故こうなったかは「子供の頃から芳雄の真逆ばかり選択して来た」という経緯があり、 でもある時点で気付いたのは『コレでは正しい事を取りこぼす危険がある』（つまり、糞芳雄が 正しい事だってあり得る）という論点で、だからそれ以来は「芳雄から来る情報は無視して全 部捨てる」という判断に変えました。要は『勝手な先入観念は危険』というごく当たり前の注意 を言ってるだけです。 こういう事から： （あ）その時の周囲の流行vs自分の純粋な興味 （い）自分の持ち駒で出来る事vsしなければいけないと自分が判断する事 という『すれ違い、背反要素』は何時も考えます。サイエンスの基本だと思うからです。 こういう事もあるから、特に昨今の流行の話題というものは『批判的に見る』のも必要かと。 ￥ 717 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 08:17:16.37 ID:BePOAppZ.net] >>561&>>583-584 「小学生向け対偶講座３　C選択公理→整列可能定理で、集合Pでいうと、P＝U（宇宙全体がその適用範囲）の補足」 １．（P＝Uで、Q ＝ U の場合） >>583より再録 (抜粋) ”ZFでの命題：C選択公理→整列可能定理 の補足説明 条件P：C選択公理 結論Q：整列可能定理 で、この場合、条件Pは、集合Pでいうと、P＝U（宇宙全体がその適用範囲）なんです なので、P→Q　なら、集合 P⊂Q。で、P＝Uなら、Q＝U なんですね〜。 こういうとき、対偶をとってもあまり意味ない。Q~(Qの否定)＝φ（空集合）ですからね” (引用終り) ２．P＝Uで、Q not＝ U の場合は、ここでは扱わない。（考えたい人は自分で考えて下さい（＾＾） ３．P not＝ Uの場合、１）Q ＝ U、２）Q not＝ U の二つの場合に分けられる 　１）Q ＝ Uの場合、P⊂QはP⊂Uとなる。この場合、数学的には無意味なので、ここでは扱わない。（考えたい人は自分で考えて下さい） 　２）Q not＝ Uの場合、これが通常の集合論理で取り扱う場合である。このとき、P→Qの対偶は、普通に（対偶命題）条件Q~→結論P~：集合 Q~⊂P~（>>561より）となる ４．よって、以上より、P not＝ Uの場合、P→Qの対偶は、普通に（対偶命題）条件Q~→結論P~：集合 Q~⊂P~（>>561より）としかなり得ない ５．時枝の場合、明らかに（「C選択公理→整列可能定理」とは異なり）、P not＝ Uの場合である。 　従って、P→Qの対偶は、普通に（対偶命題）条件Q~→結論P~：集合 Q~⊂P~（>>561より）としかなり得ない！ ６．よって、>>528 "（命題B） 「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」と言い切るなら、 　必然的に「実数の全ての集合はルベーグ可測であり選択公理は成立しない」といわざるを得なくなる"は、否定された！！ ＱＥＤ （なお、>>538もご参照） 718 名前：１３２人目の素数さん mailto:sage [2017/08/11(金) 08:23:35.59 ID:HTOgb4nv.net] もともと「有限モデル」だの「サイコロモデル」だのの アホモデル で反論しようとしていたのはスレ主じゃね？ 719 名前：１３２人目の素数さん [2017/08/11(金) 08:51:01.53 ID:Hwg1skbW.net] >>638 >一つ指摘すると、その絵(>>617)は有限だよね〜 >問題は、無限だよ〜 問題ない 右側は限りなく●がつづいてる >（一見些末な指摘に見えるが、これ本質だよ） 指摘は全く何の本質もない些末な言い掛かり むしろ、 s1 ○○○○○○○○・・・ s2 ○○○○○○○○・・・ s3 ○○○○○○○○・・・ s4 ○○○○○○○○・・・ s5 ○○○○○○○○・・・ s6 ○○○○○○○○・・・ となると思ってるのなら 「箱入り無数目」の記事を全く読んでいないか 一応文字を目で追い口で発声したが 意味が全く読みとれなかったかのいずれか 720 名前：１３２人目の素数さん [2017/08/11(金) 08:52:40.88 ID:Hwg1skbW.net] >>640 誤解による反論は無意味 >>642の画を見て、自分の馬鹿げた間違いに気づけ、アホウ！ 721 名前：１３２人目の素数さん [2017/08/11(金) 09:02:53.70 ID:Hwg1skbW.net] 馬鹿向けに「本質」（つまり”・・・”）を強調したｗ ○　代表元との不一致箇所 ●　代表元との一致箇所 s1 ○●●●●●●●● ・・・ s2 ○○○○●●●●● ・・・ s3 ●●●●●●●●● ・・・ s4 ○○○●●●●●● ・・・ s5 ○○○○○●●●● ・・・ s6 ○○●●●●●●● ・・・ どの列も決定番号の右側に無限に●・・・が続く （これが本質！これこそ本質！！これ否定したらidiot！！！) 決定番号が最大値(6)でない列（s5以外）を選んだ場合　 (確率5/6) →選んだ列(s5以外)の6番目の箱を開ける （★　代表元と一致するので予測成功） s1 ○●●●●｜★｜●●● ・・・ s2 ○○○○●｜★｜●●● ・・・ s3 ●●●●●｜★｜●●● ・・・ s4 ○○○●●｜★｜●●● ・・・ __ −−−−−＋−＋−−− s5 ○○○○○｜●｜●●● ・・・ __ −−−−−＋−＋−−− s6 ○○●●●｜★｜●●● ・・・ 決定番号が最大値(6)の列（s5）を選んだ場合 (確率1/6) →s5の5番目（s5以外の列の決定番号の最大値）の箱を開ける （☆　代表元と不一致なので予測失敗） s1 ○●●●｜●｜●●●● ・・・ s2 ○○○○｜●｜●●●● ・・・ s3 ●●●●｜●｜●●●● ・・・ s4 ○○○●｜●｜●●●● ・・・ __ −−−−＋−＋−−−− s5 ○○○○｜☆｜●●●● ・・・ __ −−−−＋−＋−−−− s6 ○○●●｜●｜●●●●・・・ 722 名前：へじ mailto:へじ [2017/08/11(金) 09:10:58.99 ID:WpXbS5N7.net] へじ、へじ 723 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 10:36:11.20 ID:BePOAppZ.net] >>639 ￥さん、どうも。スレ主です。 >★★★『世間とか文科省に対して「判り易さアピールする」というウケ狙いをする事に拠って安っぽくなる』★★★ >★★★『どの大学も潰れない様にと気を揉んで、客集めや予算獲得でなりふり構わず 　　　　　　　　　　　必死で頑張る。でも行き過ぎれば「単なるウケ狙い」となり、学問が歪になる。』★★★ それはあると思うのですが、歴史を振り返ってみると、オイラーとかガウスは、王様お抱えの学者だった 昔王様、今文科省 >特に昨今の社会風潮が、理学部とかピュア・サイエンスであれば『こういう事を考えざるを得 >ないという宿命』を負っていて、だからその結果として「大学が窮屈になる」と思うんですわ。 >なので加藤さんの生物学というのに「チョットそういう臭いがしないでもない」という私の勝手 >な考え過ぎだとか、まあ激しくそれを感じるのは九大のマスフォアインダストリですわ。 まあ、そうですよ 個別の問題を解くだけでは、数学としては面白くない そこから、一般的な解法とか、新しい数学を抽出していく必要がありますね >（あ）その時の周囲の流行vs自分の純粋な興味 >（い）自分の持ち駒で出来る事vsしなければいけないと自分が判断する事 >という『すれ違い、背反要素』は何時も考えます。サイエンスの基本だと思うからです。 >こういう事もあるから、特に昨今の流行の話題というものは『批判的に見る』のも必要かと。 自分で流行を作り出す力を持つか 自分が流行を先回りする先見性があり、力は無いけれども、一人なにかをやっていたら、時代が自分を追いかけてきた そんな、ことがあれば、愉快ですよね（＾＾ つづく 724 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 10:37:19.36 ID:BePOAppZ.net] >>646 つづき 余談ですが、Henri Poincareも最初は、”Public Services as an engineer in charge of northern railway development from 1881 to 1885”だったそうですね ”In 1887, he won Oscar II, King of Sweden's mathematical competition for a resolution of the three-body problem concerning the free motion of multiple orbiting bodies.”が出世作でしたかね（＾＾ https://en.wikipedia.org/wiki/Henri_Poincar%C3%A9 Henri Poincare Career[edit] He never fully abandoned his mining career to mathematics. He worked at the Ministry of Public Services as an engineer in charge of northern railway development from 1881 to 1885. He eventually became chief engineer of the Corps de Mines in 1893 and inspector general in 1910. Beginning in 1881 and for the rest of his career, he taught at the University of Paris (the Sorbonne). He was initially appointed as the maitre de conferences d'analyse (associate professor of analysis 725 名前：).[15] Eventually, he held the chairs of Physical and Experimental Mechanics, Mathematical Physics and Theory of Probability, and Celestial Mechanics and Astronomy. In 1887, at the young age of 32, Poincare was elected to the French Academy of Sciences. He became its president in 1906, and was elected to the Academie francaise in 1909. In 1887, he won Oscar II, King of Sweden's mathematical competition for a resolution of the three-body problem concerning the free motion of multiple orbiting bodies. (See #Three-body problem section below) 以上 [] [ここ壊れてます] 726 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 10:41:36.43 ID:BePOAppZ.net] >>642-644 ピエロくん、おはよう お絵かきありがとう（＾＾ そこらは、ステップ３、４、５と関連するんだ その前に、ステップ２の対偶以外のところを進めようと思う 727 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 10:50:40.55 ID:BePOAppZ.net] >>186 （ステップ２関連に戻る） >そっちは、中学生に、定義域の概念を教えてやってくれ >こっちは、小学生に、選択公理と、確率の独立の定義と、ついでに対偶を、手取り足取り教えてやる まず、”確率の独立の定義”は、下記。小学生には悪いが、下記でも見てくれ（＾＾ 後のステップでも出てくるので、この程度にしておく 時枝不成立の証明は、実質これで終わっているので、自分で考えて欲しいのだが、まあ、無理か（＾＾ mathtrain.jp/uncorrelated 独立と無相関の意味と違いについて 高校数学の美しい物語 2015/11/19 (抜粋) 確率変数の独立，無相関の定義と意味 確率変数 X,YX,Y が独立とは 1A：任意の x,yx,y に対して P(X=x,Y=y)=P(X=x)P(Y=y)P(X=x,Y=y)=P(X=x)P(Y=y) が成立する（確率が二つの積に分解できる） 1B：XX と YY の間には何の関係もない 1Aが定義で1Bが直感的な説明です。 (引用終わり) https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B_(%E7%A2%BA%E7%8E%87%E8%AB%96) 独立 (確率論) (抜粋) 独立（どくりつ、英: independent）とは、確率論において、2つの事象（英語版）が成立する確率がそれぞれの確率の積で表されることを言う。 2つの事象が独立といった場合は、片方の事象が起きたことが分かっても、もう片方の事象の起きる確率が変化しないことを意味する。2つの確率変数が独立といった場合は、片方の変数の値が分かっても、もう片方の変数の分布が変化しないことを意味する[1]。 目次 [非表示] 1 定義 1.1 事象の独立 1.2 確率変数の独立 1.3 完全加法族の独立 1.4 日本工業規格 2 定理 3 独立性の検定 定義[編集] 事象の独立 確率変数の独立[編集] 完全加法族の独立[編集] (引用終わり) 728 名前：￥氏 mailto:sage [2017/08/11(金) 10:52:54.20 ID:ToUPXODc.net] 私はそういう事を言ってるんじゃないです。数学の本質は「問題を解く為」でもなければ、それ に「物理とかの何かの為の道具」でもないです。数学とは『理解する事というもの、そのもの』 であり、つまり『そういう純粋なものの考え方』（プラトン的な意味で）そのものだと私は認識し ていて、それこそがそのPoincareの言ってる事でしょうね。Poincareも自分の著書の中で、例 えば工学とか金儲けは『数学の下流にアル愚かな行為』という様な意味の事を言ってたと記 憶しますが。 でもこういう「何を第一義的か、とする価値基準」は当然に『その人それぞれ』であり、だから 例えば「教授になる事こそが人生の目的」（従ってその分野は何でも良い）という芳雄族が居 ても、それは『その人の勝手』ですわ。それこそ近視眼的と言われようと、或いは打算的と言 われようが、自分の好きな様にしたらいいんです。大切なのは『ソレを他人に押し付けない』 って事だけですわ。 アトは結果オーライで、それこそvon Neumannと同じですわ。業績は業績なので� 729 名前：B ￥ [] [ここ壊れてます] 730 名前：１３２人目の素数さん [2017/08/11(金) 11:02:59.05 ID:j4zI1uak.net] 禿藁事件について、説明してください！ 731 名前：￥氏 mailto:sage [2017/08/11(金) 11:34:08.45 ID:ToUPXODc.net] 低能がエリート数学者に興味を持つのは良くないですわ。そやしヤメレ。 ￥ 732 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 11:38:59.88 ID:BePOAppZ.net] >>649 つづき ＜ステップ２＞を再掲しておこう>>216 ＜ステップ２＞「現代数学 ZFC下で、一見異なる結論が導かれることがある」だ これ、小学生には難しかったようだな。 「フォン・ノイマン宇宙」下で、と言い換えた方がいいかもしれない。 「グロタンディーク宇宙」がお好みなら、そちらでも良い これ、わかんねーだろうな。ぼく、分からなかったら、今夜空の星を眺めてごらん。 時枝問題は、宇宙のほんの一部だと。宇宙を支配する法則がZFCだ。数学では公理ともいう。 分からない？　ぼく、もうちょっと大きくなったら分かるよ（＾＾ https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99 (抜粋) フォン・ノイマン宇宙 数学の集合論とその周辺分野において、フォン・ノイマン宇宙 Vとは、遺伝的整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。 (引用終り) https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99 グロタンディーク宇宙 (抜粋) グロタンディーク宇宙は、すべての数学が実行可能な集合を与える（実際には、集合論のためのモデルを与える）。 (引用終り) つづく 733 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 11:40:11.36 ID:BePOAppZ.net] >>653 つづき ここで、選択公理と可測との関係を、￥さんの師匠の荒木不二洋先生の論文を例に説明しよう フォン・ノイマン宇宙に、作用素環論という領域がある。ここで、「ルベッグ空間」とか「ルベッグ測度空間」という概念を使う。 「以上のように測度論との結び付きにより豊富な例が与えられる」とあるでしょ ルベッグさんが、彼の積分論を考えたとき、歴史を辿ると、彼は選択公理は意識せず使っていたんだ で、ビタリさんが、「非可測集合ができるぞ」と言って、選択公理の議論をした。 でも、いろいろ経緯はあったけど、現代数学者は、フォン・ノイマン宇宙やグロタンディーク宇宙で仕事をするので、選択公理は捨てないんだ 数学者と、同じように、私も、選択公理は捨てない フォン・ノイマン宇宙を採用していると思っても良い 時枝問題も、フォン・ノイマン宇宙の中というのも、分かるね、ぼく（＾＾ あとは、>>640の「小学生向け対偶講座３　C選択公理→整列可能定理で、集合Pでいうと、P＝U（宇宙全体がその適用範囲）の補足」をよく読んでおくれ >>528の（命題B）は不成立だよ ステップ２の意図が、お分かりかな？ https://www.jstage.jst.go.jp/article/sugaku1947/26/4/26_4_330/_article/-char/ja/ https://www.jstage.jst.go.jp/article/sugaku1947/26/4/26_4_330/_pdf 作用素環論の最近の発展 京都大学 荒木不二洋 東京工業大学 中神祥臣 数学 Vol. 26 (1974) つづく 734 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 11:40:44.49 ID:BePOAppZ.net] >>654 つづき (抜粋) ルベッグ空間上のエルゴード的保測可算可換変換群はすべて弱同値であるという基本的な結果を得た. 非保測な場合についての研究はKriegerにより精力的に進められ,例えば荒木-Woodsの分類と同様な分類がほぼ時を同じくして得られた[1,3]. その相互関係は,弱同値性が対応するフォン・ノイマン環の同型性と等価であるという最近のKriegerの結果[7]により完全に明白になったが,その証明には竹崎の結果が使われている. また非特異な変換はハイパー型(有限次元全行列環の増大列で生成されるものを指す)の例を豊富に与え,例えばハイパー型であるがITPFIではない例をConnesが示した際に,Kriegerにより構成された 735 名前：例を使った. 以上のように測度論との結び付きにより豊富な例が与えられるのであるが,それは実はIII0型に限るので,それ以外の場合には永らく解けていない問題が残っている. §11.測度論との関係 − Kriegerの仕事. 測度空間(X,Bx,μx)から(Y,By,μy)への写像gが両側可測で,μx(A)=0とμy(A)=0が同値なとき,gを非特異変換とよぶ. 以下ルベッグ測度空間から自分の上への非特異変換の可算群Gを考える. 単一の非特異変換Tについては,可算群G=T^Zを考之るものとする. (引用終り) 以上 [] [ここ壊れてます] 736 名前：１３２人目の素数さん [2017/08/11(金) 12:20:16.57 ID:Riuaqj9f.net] >>632 ＞数学をディベートと勘違いしているのは、文系だろ ＞「剛性」をきっちり数学的に定義して、どんな現象かを数理として導けば良いだけのことだ ディベートに持ち込もうとしてるのはお前。 お前は書いたこと全てを証明するのか？ お前はよく"ピエロ"と書いてるが、今回の発言は「"ピエロ"を数学的に定義してみろ」 と言ってるのに等しい。 証明すべき命題はあくまで「勝つ戦略は存在する」であって、既に証明済み。 お前が理解できずに屁理屈で駄々こねて認めないだけ。 737 名前：￥氏 mailto:sage [2017/08/11(金) 12:21:04.57 ID:ToUPXODc.net] 京大は牛丼屋じゃないんだから、そやし『ウチは安くて美味いヨ』なんっちゅう安っぽい看板なんか センでもヨロシ。ソレこそ東山の瓢亭みたいにしとったらソレでヨロシ。昨今流行りの「低能相手の ウケ狙い」とかをスルから、安易に通行手形を大量に発行し、ほんでアホばっかしになるんや。 そんな事をしてるから早稲田の何チャラみたいな学位発行所みたいになって、ほんで理研の 宣伝記者会見みたいな『金儲け猿芝居』とかにナル。そやしいい加減にスルべき。 焼肉屋の看板を出すのは駅弁に任せるべき。 ￥ 738 名前：１３２人目の素数さん [2017/08/11(金) 12:27:52.58 ID:Riuaqj9f.net] >>636 お前は >Nをω＋ωと考えてもよい、とはいえない を否定したいようだが、それで何を言いたいの？ まさか「「勝つ戦略は存在しない」の根拠だ」と言いたい訳じゃないよね？ いくら何でもそこまで馬鹿じゃないよね？ 739 名前：１３２人目の素数さん [2017/08/11(金) 12:29:40.66 ID:Riuaqj9f.net] >>637 つまり論文投稿されていない命題は偽だと言いたいわけね？ 馬鹿乙 740 名前：１３２人目の素数さん [2017/08/11(金) 12:35:32.34 ID:Riuaqj9f.net] >>638 ＞でもな、一つ指摘すると、その絵は有限だよね〜 ＞問題は、無限だよ〜　（一見些末な指摘に見えるが、これ本質だよ） 哀れな素人「紙に書けないから無限小数は存在しない」と同じこと言ってて草 やはりトンデモ同士、レベルも似ちゃうんだなｗ 741 名前：１３２人目の素数さん [2017/08/11(金) 12:44:32.55 ID:Riuaqj9f.net] 普通のまともな人間なら文脈から「・・・」を脳内補完する 馬鹿はそんなことすら自分でできず、人様の手を煩わせる 自分からは何もしようとしない、ひたすら他人任せ まさに社会のゴミだな、スレ主みたいな奴は 742 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 13:25:51.94 ID:BePOAppZ.net] >>650 ￥さん、どうも。スレ主です。 >私はそういう事を言ってるんじゃないです。数学の本質は「問題を解く為」でもなければ、それ >に「物理とかの何かの為の道具」でもないです。数学とは『理解する事というもの、そのもの』 >であり、つまり『そういう純粋なものの考え方』（プラトン的な意味で）そのものだと私は認識し] ￥さんの話で、思い出したのが最近言われなくなった言葉で、「抽象代数学」 いまどき、書店で「抽象代数学」を探しても、ありません https://ja.wikipedia.org/wiki/%E6%8A%BD%E8%B1%A1%E4%BB%A3%E6%95%B0%E5%AD%A6 抽象代数学 (抜粋) 抽象代数学とは、群、環、体、加群、ベクトル空間や線型環のように公理的に定義される代数的構造に関する数学の研究の総称である。 概要 二十世紀初頭の揺籃期には現代代数ともよばれ、数学における厳密さへの指向のもととなった。はじめは数学全体と自然科学の多くが依存している古典的な代数の論理的前提が記号論理学による公理の形で書き下され、それをもとに群論や環論などの理論が純粋数学として具現化するという形で理論が発展した。 現在では抽象代数学という言葉はそういった諸分野の総体を、実数、複素数や未知数からなる代数的な数式や方程式の変形のやり方をあつかう初等代数学（高校までの代数）から区別するために用いられている。 歴史的には、様々な代数的構造はいきなり抽象代数学において定義されたというより、数学の他の分野で現れ、その抽象代数的な構造が公理的に抽出されている。このため抽象代数学はそれ以外の数学の分野との間に数々の結びつきがある。 例えばソフス・リーによって19世紀の終わり頃にやっと取り出された代数構造であるリー環などの抽象代数学の結果は、現代の様々な数学や数理物理学において積極的に利用されている。代数的整数論や代数的位相幾何学、代数幾何学などは代数の手法をほかの領域に適用している数学の分野である。 他方、乱暴な言い方をすれば、数学における表現論は「抽象代数」から「抽象」を取り払うため、与えられた構造の具体的な現れを研究しているということができる。 「抽象代数」という言葉は代数系の一般論である普遍代数学で使われることもあるが、たいていの著者は単に「代数」と言ってすませている。 (引用終り) つづく 743 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 13:26:29.90 ID:BePOAppZ.net] >>662 つづき >それこそがそのPoincareの言ってる事でしょうね。Poincareも自分の著書の中で、例 >えば工学とか金儲けは『数学の下流にアル愚かな行為』という様な意味の事を言ってたと記 「抽象代数学」と言われていたが、いま言われない。”抽象”は当たり前、かつ、群、環、体、加群、ベクトル空間、みんな応用分野が広がってしまった（＾＾ なので、純粋数学が応用され、一方応用分野から純粋数学の芽が出てくる なので、私はちょっと意見が違って、そういう好循環が理想だと思うんですよね 思えば、ギリシャの数学も、それは哲学であったかも知れないが、実用でもあったんですよね。幾何学など そして、ガウスの時代、整数論が女王とされ、ガロアから「抽象代数学」が生まれた 一方で、ニュートンの流率と積分は、物理から生まれた。コンヌ先生の数学ネタも多く物理から来ているように思うんですよね（＾＾ https://okwave.jp/qa/q3142790.html Ｑ 何故,整数論は数学の女王なのでしょうか? matsui888 2007-07-05 (抜粋) ガウスや高木貞二とかが「整数論は数学の女王」だと言ったそうですが 何故,整数論は数学の女王と言えるのでしょうか? 整数論以外の数学は何処に位置しているのでしょうか? 以上 744 名前：１３２人目の素数さん [2017/08/11(金) 13:30:45.11 ID:WpXbS5N7.net] エリート気取りの哲也くん あなたは永久追放の身分でしょ。 学者とか研究者みたいなアカデミックでエリートな身分ではなく、最底辺のただの犯罪者でしよ。 blog.livedoor.jp/doulikerape/archives/50671735.html エリート気取りは、痴漢だけにして下さい。 あと、書き込みは、￥ だけにして下さい。 それがあなたに最もふさわしい書き込みです。 犯罪者のくせに、勘違いして無駄にエラソーなところが目障り 745 名前：￥ mailto:sage [2017/08/11(金) 13:36:07.61 ID:ToUPXODc.net] ￥ 746 名前：１３２人目の素数さん [2017/08/11(金) 13:49:35.43 ID:Riuaqj9f.net] 痴漢で永久追放は或る意味武勇伝だが、還暦のファザコンってヤバいと思う 人間終わってるレベル 747 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 13:51:17.65 ID:BePOAppZ.net] ID:Riuaqj9fさん、どうも。スレ主です。 コテハンがないので、だれがだれか分からんが、High level people (>>1) かい？ >>656 >ディベートに持ち込もうとしてるのはお前。 今回は特別に、証明を書くと宣言しているだろ？　それを待ってろ 但し、ステップを分けてね。 一遍に開示しても、拒絶反応が予想される。 実際、ステップ２（例えば、ごく簡単な”対偶”とか）でさえ、これだけ揉めたろ？（＾＾ 748 名前：>お前は書いたこと全てを証明するのか？ 「剛性」について、precisely!(>>599)とか言うから、じゃ、証明しろと言った >証明すべき命題はあくまで「勝つ戦略は存在する」であって、既に証明済み。 プロ数学者は、一人も認めていないと、言っている。わめいているのは、素人だけだろ >>658 >>Nをω＋ωと考えてもよい、とはいえない >を否定したいようだが、それで何を言いたいの？ 単に、ゼルプスト殿下(藤田博司先生)(>>564)が読めてませんねと。 つまり、現代数学が分かってないねと。言いたいことはそれだけですが >>659 >つまり論文投稿されていない命題は偽だと言いたいわけね？ 論文投稿されていない命題および、テキスト（教科書）に定理として載っていない命題は、まだプロは認めていないという客観的事実を指摘しているだけだ それが、真である可能性は否定しないが、まだ他のプロは認めていない命題だよ、時枝記事は >>660 >＞問題は、無限だよ〜　（一見些末な指摘に見えるが、これ本質だよ） この話は、ステップ３〜５で明らかになるよ >>661 >普通のまともな人間なら文脈から「・・・」を脳内補完する 素人の脳内補完は無意味だね High level people (>>1) は、いつまで経っても理解できないのか？ プロは認めていないという客観的事実を [] [ここ壊れてます] 749 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 14:06:25.61 ID:BePOAppZ.net] >>664-666 どうも。スレ主です。 あんたら、勘違いしているが、￥さんは日本人ではないよ。彼の頭はフランス人だよ 日本人のクライテリアでは、永久追放の身分かもしらんが フランスでは、不倫でも大統領だよ（＾＾ フランスでは、過去は過去だよ フランスでは、もっと未来志向なんだよ 過去の話で、うじうじ（へじ、へじ？（>>645））している日本のあなた もっと未来志向へ、頭を切り換えなさいよ！（＾＾ 750 名前：１３２人目の素数さん [2017/08/11(金) 14:15:16.55 ID:Riuaqj9f.net] >>667 ＞>証明すべき命題はあくまで「勝つ戦略は存在する」であって、既に証明済み。 ＞プロ数学者は、一人も認めていないと、言っている。わめいているのは、素人だけだろ 結局お前はそれだな、お前にとっての数学とは権威に盲目的に追従すること ＞今回は特別に、証明を書くと宣言しているだろ？　それを待ってろ ＞但し、ステップを分けてね。 一遍に開示しても、拒絶反応が予想される。 最終ステップから先に書け、ステップ１〜３は無駄なダベリだと指摘されてるだろ 751 名前：１３２人目の素数さん [2017/08/11(金) 14:19:30.57 ID:Riuaqj9f.net] ＞フランスでは、もっと未来志向なんだよ なら毎日２ちゃんに張り付いてないでフランス行けばいんじゃね？ てか、何でお前が￥の代弁してんの？ ￥は落ちぶれたとはいえ元数学者、お前はただのゴミ屑 ＞もっと未来志向へ、頭を切り換えなさいよ！（＾＾ 一番未来が無いお前が言うか？ｗ 752 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 14:20:52.03 ID:BePOAppZ.net] >>668 補足 フランス人の基本は、「自由」だ。だれからの指図も受けない ”書き込みは、￥ だけにして下さい。”？　そんな指図するくらいなら、”書き込みは、ガロアすれだけにして下さい”とでも言った方がましだろ？ そんな、指図が通用する人だと思っているのか？ あまいやつ ”痴漢だ”？　そんな書き込みは、過去に百万回あるよ（＾＾ まあ、￥さんのご勝手にだよ。”書き込みは、￥ だけ”にするのも勝手。しないのも勝手だろ 繰返すが、どうぞご勝手にだ 753 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 14:22:08.46 ID:BePOAppZ.net] >>670 どうも。スレ主です。 なんだ 不遇なピエロくんだったのか？（＾＾ 754 名前：１３２人目の素数さん [2017/08/11(金) 14:33:44.48 ID:Riuaqj9f.net] 無駄なダベリはそのくらいにして早く最終ステップ書けよ お前自身よく言ってるじゃん、「最初に結論を書け」と 自分で言ったことすら忘れるボケ老人か？ 755 名前：￥氏 mailto:sage [2017/08/11(金) 14:44:52.74 ID:ToUPXODc.net] 要するに『私が欲しいモノは日本には（絶対に）存在しない』って事なだけですわ。というか私 が何を嫌がってるかは判りますよね。つまり（人から評価される事、ではなくて）『誰からも邪魔 されない』という環境なだけです。でもこういうものがフランスに確実にアルかと言えば、必ず しもそうでもないです、特に昨今は。IHESだって中国人ビジターばっかしになったしね。日本人 は人間関係がしつこいかも知れないが、フランス人はフランス人で嫌な部分もあるしですわ。 但し個人主義だから、なので『ちゃんと放置して貰える』っていう利点はありますわ。自己責任 の文化なので。 だから私は『筑波から脱出する事だけ』を考えたのであり、その逃亡先を固定して頑張ったの が軋轢になって、それで徳島で爆発し、それで謀らずしも「脱出成功」とでも言うんですかね、 もはや国内の公募になんか出す必要はなくなりましたわ。私の目的は（国外のポストの獲得、 ではなくて）『邪魔されず静かに勉強すること』なので。それこそ「手段の目的化」こそが一番 馬場馬鹿しいので。外国にポストを獲得する事に自分の一生を掛けるってのもまた、かなり 馬鹿げてますわ。そんな事よりも、先ずは自分の考えを何とか形にして書き落としたいです よね。もう既に爺ですから、アト何年生きるか判らんしさ。 思うに数学を行うというのは『自分との戦い』ですよね。でもその前に「周囲の邪魔者をなぎ倒 す必要がアル」（例えば芳雄）なんて、こんな無駄な事はありませんわ。社会的な地位なんて 最初から興味が無いが、でもまあお金は「無いよりはあった方がいい」ですよ。でもそれを獲得 する為に『自分の身を毎日カンナで削る』なんて、余りにも馬鹿げてるわね。 でも日本ってそういう国なんだよね。国会論戦とかを見てたら「ああ、何て無駄な事してるんだ」 って誰でも思うでしょ。でも日本人が生きてる目的って、結局はアレですよね。だから『どうぞ、 好きな様にやって！』って言ってんです。対岸の火事としてTVで見るだけならば、自分自身に 被害はないので。 ￥ 756 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 14:50:08.43 ID:BePOAppZ.net] 新スレ立てた。このスレが満杯になってから、新スレへ 現代数学の系譜 古典ガロア理論を読む38 rio2016.2ch.net/test/read.cgi/math/1502430243/ 757 名前：１３２人目の素数さん mailto:sage [2017/08/11(金) 14:51:32.31 ID:TB2oI/hq.net] おっちゃんです。 そもそも、時枝記事ではゲームの勝つ戦略を挙げてはいるが、 本当はゲームに勝つ可能性の有無について議論しているに過ぎない。 確率論的には、ゲームに勝つならゲームに勝つ確率は1になるし、負けるならゲームに勝つ確率は0になる。 ゲームに勝つ確率は0でも1でもないから、時枝記事ではゲームに勝つ可能性はあることを述べている。ｋ 記事ではゲームに勝つ戦略を挙げているが、実質的には、何回かゲームをしたら、 それに勝つ可能性があることをいっている。ただそれだけの話。 758 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 14:52:12.39 ID:BePOAppZ.net] >>673 ピエロくん、どうも。スレ主です。 今日も笑えるね 君の頭が悪いから、小学校の”対偶”を理解していないから、時間が掛かっているんだよ（＾＾ 漢字が難しかったら、ママに教えて貰いなさい（＾＾ 759 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/11(金) 14:53:22.45 ID:BePOAppZ.net] >>676 おっちゃん、どうも、スレ主です。 お元気そうでなによりです（＾＾ 760 名前：１３２人目の素数さん [2017/08/11(金) 14:55:27.15 ID:Riuaqj9f.net] ほら見ろ、勝手に人の代弁してんじゃねーよゴミ屑、身の程弁えろ 761 名前：１３２人目の素数さん [2017/08/11(金) 15:00:13.69 ID:Riuaqj9f.net] >>677 何煽ってんの？ まさか最数ステップは今考え中とか？　絵に描いた餅？ 762 名前：￥氏 mailto:sage [2017/08/11(金) 15:15:26.17 ID:ToUPXODc.net] ついでに言うとですね、日本人がしてるのは： ★★★『第一次大戦後に欧州列強が中東やアフリカで引いた超人為的な国境線： 　　　　　　　　　　　　　　　代数はココまで、幾何はソコまで、ほんで解析はアッチ、物理は向こう岸』★★★ みたいな。こんな馬鹿な事をしてたらアカンですよ。 今の閉塞感が一体何処から来るのかは知りませんが、でも今の日本の遣り方を踏襲してたら もうダメでしょうね。でもコレって「自民党はココ、民進党はソコ、共産党はアッチ」ってのと全く 同じではないかと。 なのでヒミツの場所からTVとかネットで見て、そんで『これからどうなるのォ〜』って見るだけ。 ケケケ￥ 763 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef