[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(8): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:16 ID:CbUaYdGK(1/13) AAS
この伝統あるガロアすれは、皆さまのご尽力で、
過去、数学板での勢いランキングで、常に上位です。
このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾
最近、AIと数学の関係が気になって、その関係の記事を集めています〜（＾＾
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。
スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。
スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
省11
2(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:17 ID:CbUaYdGK(2/13) AAS
（このスレの常連カキコさん説明）
1)
粘着の一人は、キチガイサイコパス（別名ピエロ >>1)。知能が低下してサルになっています
まあ、皆さんには、サイバー空間でのサイコパスの反応とそれへの対応例（反面教師かもしらんが）を見て貰えたらと思う
（このスレは暫く、キチガイサイコパスの隔離スレとして機能させますｗ（＾＾； ）
（なお、彼は複数ID（4まで確認済み）を使うやつ（＾＾ ）
（スレ69 2chｽﾚ:math ID4つ ）
なお、火病を発症すると狂気の連投をする
（スレ70 2chｽﾚ:math ）
殺人願望旺盛（＾＾ スレ69 2chｽﾚ:math
省16
3: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:18 ID:CbUaYdGK(3/13) AAS
つづき
2)
あと、特徴的なのが、High level peopleと名付けた人が二人。これもスルーだ
（但し、最近、内一人は時枝不成立が理解できたらしい（スレ67〜68辺り
知能の低い者が、サルと呼ばれるようになり、残りました。ｗ（＾＾；）
スレ28 2chｽﾚ:math (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
High level peopleの一人が、時枝記事（数学セミナー2015年11月号の記事『箱入り無数目』）を紹介してくれたなのだが（下記見るとこの人が、スレ28を立てたみたい。この人は、昔Tさんと私が呼んでいた人だと思う）
High level peopleのもう一人が、「俺は測度論的確率論で正当化できて、パラドクスも説明できる」と言い出して、二人で、スレ28で議論した
が、「非可測集合Sに対し、(Sの内測度)＜(Sの外測度) の条件下でSを扱いつつ確率を考える」などと迷走
確率変数の定義（>>517）も無理解で、”変数”と勘違いして”固定”なるトンデモを思いついたらしい
省12
4: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:18 ID:CbUaYdGK(4/13) AAS
つづき
8) てへぺろ☆(・ω<)さん 70 2chｽﾚ:math
この人、ほんとはレベル高いみたい（＾＾
（以下参考）“T大卒じゃなくN大卒、という設定で（設定かよ！）”
“私もその昔、数学科というところで学んでたんですが どうしても興味が向かない分野ってのがあって その一つがガロア理論だったんですね（をひ
ああ、こりゃ俺、数学無理だなと思って 計算機関係に方向転換しましたけどね”
ですが、記憶が5分しか持たず、時枝問題でトンチンカンなので、撤退頂きました。まことに、残念でしたが（：ｐ
9) Ω星人の数学者さん、たまに現れます（＾＾
10)おっちゃん（別格）
自称、某R大卒。関数論に詳しい。「オイラーの定数γが有理数であることの証明を得た！！」という（＾＾
省7
5: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:19 ID:CbUaYdGK(5/13) AAS
＜過去スレ＞
（そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
（数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。
High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 2chｽﾚ:math
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。）
（が、最近関数論の芽茎層の理論との親和性に気付いたので、後でテンプレに入れます。（＾＾ ）
過去スレリンク集
（下記以外で抜けている分は、スレ68のテンプレ 2chｽﾚ:math ご参照 ）
省13
6: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:19 ID:CbUaYdGK(6/13) AAS
つづき
47 2chｽﾚ:math 時枝記事関連資料豊富
46 2chｽﾚ:math ＜スレ46の422に書いた定理“系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない”＞
45 2chｽﾚ:math 哀れな素人さん 79-92
43 2chｽﾚ:math （だれかが立ててスレ。私は行きません。このスレに不満な人は、そちらへ）
（40以降現代数学の系譜 工学物理雑談 古典ガロア理論も読む)
（39以前 現代数学の系譜 古典ガロア理論を読む)
39 2chｽﾚ:math （別名 数学セミナー時枝記事の墓）
(35以降 現代数学の系譜 古典ガロア理論を読む)
(34以前 現代数学の系譜11 ガロア理論を読む)
省10
7: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:19 ID:CbUaYdGK(7/13) AAS
（参考）
外部ﾘﾝｸ:mathmathmath.dotera.net
数学＠2ch掲示板用 掲示板での数学記号の書き方例と一般的な記号
追加（良く使うが出しにくい記号）
＼ ≦≧⇒⇔∈∋⊂⊃⊆⊇∀∃ （アレフ＝これ文字化けするね。あと二重矢印の←も文字化け）?σΠπζ∴∵≠
微分・偏微分：dy/dx=y', ∂y/∂x=y,x ∇（← "∂"は「きごう」で変換可．）
（wikipedia などでは、マイナス記号−や、特殊不等号>=、=< アレフなどが文字化けするので要注意）
8(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:20 ID:CbUaYdGK(8/13) AAS
大学新入生もいると思うが、間違っても５ＣＨ（旧２ＣＨ）で数学の勉強なんて思わないことだ
このスレは、半分趣味と遊びのスレと思ってくれ（＾＾；
もう半分は、ここはおれのメモ帳だ （ここには、自分が面白いと思った情報を集めてあるんだ。過去ログ見ると、いろいろ面白い情報（リンクやPDF があるよ（＾＾ ）
（ もしサイト移動などでリンク切れのときは、引用してある文章のキーワードによる検索をお願いします ）
以下過去スレより再掲
2chｽﾚ:math
7 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/19(水) 22:07:49.66 ID:gLi5Ebjw
まあ、過去何年かにわたって、猫さん、別名、￥ ◆2VB8wsVUooさんが、数学板を焼いていたからね
ガロアスレは別として、数学板は焼け跡かな
再生は無理だろう
省5
9: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:20 ID:CbUaYdGK(9/13) AAS
スレ56より （なお、「イメージ」〜「ビジョン」〜「哲学」かも（＾＾ ）
2chｽﾚ:math
渕野先生は、”厳密性を数学と取りちがえるという勘違い”を書いている(下記)（＾＾
「イメージ」がお気に召さなければ、「ビジョン」といっても良い
”アイデアの飛翔をうながす(可能性を持つ)数学的直観”が無いピエロは
数学では落ちこぼれの劣等生ということだ
ただ単に、厳密性のみを追い求めるのはピエロだ
だから、だからおまえは数学で落ちこぼれるんだよ（＾＾
ニュートン、ライプニッツ、オイラー、ガウス、コーシー、アーベル、ガロア、リーマン、デデキント・・・
みんな各人、数学に対する明確なビジョンがあって、彼らの数学的業績がある
省2
10: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:21 ID:CbUaYdGK(10/13) AAS
つづき
＜渕野語録＞
(引用開始)
スレ24 2chｽﾚ:math
（抜粋）
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
外部ﾘﾝｸ:www.アマゾン
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
省22
11(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:27 ID:CbUaYdGK(11/13) AAS
個人的には、下記類似” 先生>周りの人>知恵袋の人(固定ID)>>> 5CH（旧2CH）(固定IDなし)”と思う
2chｽﾚ:math
494 現代数学の系譜11 ガロア理論を読む 2017/04/17
前にも紹介したが、新入生もいるだろうから、下記再掲しておく。なお、信用できないに、私スレ主も含めること。定義から当然の帰結だが
外部ﾘﾝｸ:note.chiebukuro.yahoo.co.jp （注：リンク切れているが、取り敢ずそのままです）
Yahoo 知恵袋
数学の勉強法 学部〜修士
ライター：amane_ruriさん 最終:2012/8/6
(抜粋)
私は修士1年生ですので、正直に言いますとこの部分はあまり書いているのが正しいとは思えません。趣味で書いているものだと認識していただければ良いのではないかと思っております。
省10
12(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:27 ID:CbUaYdGK(12/13) AAS
過去スレより
2chｽﾚ:math
338 現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/09(日) 23:46:26.46 ID:Rh9CzQs6
スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします
大体、私は、自分では、数学的な内容は、筆を起こさない主義です
じゃ、どうするかと言えば、出典明示とそこからの(抜粋)コピペです
まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます
が、それも基本、信用しないように
数学という学問は特に、自分以外は信用しないというのが基本ですし
”証明”とかいうらしいですね、数学では
省8
13: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:28 ID:CbUaYdGK(13/13) AAS
補足
2chｽﾚ:math
352 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/29(土)
みんな、何に価値をおいているか、それぞれだろうが・・
個人的には、数学板で一番価値を置いているのは、確かな情報 つまり 根拠の明確な情報 つまり コピペ
わけのわからん名無しさん（素数さん）のカキコを真に受けるとか、価値をおく人は少ないだろう
きちんと、大学教員レベルの証明があればともかく、匿名板でそれはない（名無しカキコは基本価値なし）
テンプレは以上です
（テンプレ改善は、今後の課題です（＾＾； ）
14(1): 2019/11/15(金)10:45 ID:fffV6EXz(1/5) AAS
メモ
外部ﾘﾝｸ:ja.wikipedia.org
ヤン?ミルズ方程式と質量ギャップ問題
(抜粋)
量子色力学および数学上の未解決問題である。2000年、アメリカ合衆国のクレイ数学研究所はミレニアム懸賞問題の一つとしてこの問題に100万ドルの懸賞金をかけた。
公式な問題記述
問題文は次の通り[1]。
ヤン・ミルズ方程式の存在と質量ギャップ問題。任意のコンパクトな単純ゲージ群 G に対して、非自明な量子ヤン・ミルズ理論が {\displaystyle \mathbb {R} ^{4}}\mathbb{R}^4 上に存在し、質量ギャップ Δ > 0 を持つことを証明せよ。
存在とは、Streater & Wightman (1964)、Osterwalder & Schrader (1973) や Osterwalder & Schrader (1975) で挙げられているものと少なくとも同等以上に強い公理的性質を確立することを含む。
このステートメントにおいて、ヤン＝ミルズ理論は素粒子物理学の標準模型の基礎にあるものと類似した非可換な場の量子論である。{\displaystyle \mathbb {R} ^{4}}\mathbb{R}^4 は4次元ユークリッド空間であり、質量ギャップ（英語版） Δ はこの理論によって予言される最小質量を持つ粒子の質量である。
省5
15: 2019/11/15(金)10:47 ID:fffV6EXz(2/5) AAS
>>14
つづき
ヤン・ミルズ理論の重要性
4次元で最も有名かつ非自明な（つまり相互作用を持つ）場の量子論は、カットオフ（英語版）スケールを持つ有効場の理論である。
ほとんどのモデルに対しベータ関数は正であるから、そのようなモデルの殆どはランダウ極（英語版）(Landau pole)を持つと思われる。
何故ならそれらが非自明なUV固定点（英語版）を持つか否かは全く明らかでないからである。
このことから、もしそのような場の量子論がすべてのスケールでwell-definedならば（公理的場の量子論（英語版）の公理を満たすなら当然その筈だが）、その理論は自明（つまり自由場の理論）でなければならないことが分る。
しかし、非可換なゲージ群を持ちクォークを持たない量子ヤン＝ミルズ理論（英語版）はこの例外である。
なぜなら、そのような理論は漸近的自由性を持つので、自明なUV固定点が存在するからである。
従って、これが 4次元で最も単純かつ非自明で構成的な量子場理論となる。因みに量子色力学(QCD)はクォークを持つので、より複雑な理論である。
省11
16(1): 2019/11/15(金)17:12 ID:fffV6EXz(3/5) AAS
メモ
下記、三輪 哲二先生の博士論文要旨だが論文本体が出てこない。おそらく手書きかもｗ（＾＾
代わりに、数理解析研究所講究録 (1981) クリフォード演算子とリーマンの問題を、引用しておく
外部ﾘﾝｸ[pdf]:repository.kulib.kyoto-u.ac.jp
三輪 哲二
博 第 723号
昭 和 56年 3 月 23 日CliぽordoperatorsandRiemann'smonodromyproblem
(クリフォード演算子 とリーマンのモノドロミー問題)
(主 査)
論 文 調 査 委 員
省18
17(1): 2019/11/15(金)17:12 ID:fffV6EXz(4/5) AAS
>>16
つづき
その直後,
ガルニエ,シュレジンガーらは, リーマンの思想を実行に移して,モノドロミー保存的変形を研究し,そ
のような変形が非線型微分方程式によって記述できること, とくに 2階単独方程式の変形の場合にはそれ
がパンルヴェの発見した 6種類の方程式に帰着できることを明らかにし,パンルヴェ超越函数の背景に
リーマンの問題が横たわっていることを示 したのであった。
これらは今世紀初期の解析学における重要な達成であったが,難解な深い理論として敬遠され,半世紀
に及ぶ長い間,半ば忘れられていた。
(2) 統計力学における2次元イジング模型｡
省15
18: 2019/11/15(金)17:13 ID:fffV6EXz(5/5) AAS
>>17
つづき
外部ﾘﾝｸ[pdf]:repository.kulib.kyoto-u.ac.jp
クリフォード演算子とリーマンの問題 (Non-Linear Waves : Classical Theory and Quantum Theory)
Author(s) 三輪, 哲二
Citation 数理解析研究所講究録 (1981), 414: 212-223
Issue Date 1981-01
(引用終り)
以上
19(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)08:31 ID:hz0vD8O+(1/13) AAS
メモ
”層は、関数の圏論化である”か
そうかｗ
そうだったんだ（＾＾；
外部ﾘﾝｸ:abductionri.jimdo.com
(抜粋)
第118回アブダクション研究会開催のご案内 18.02.17 福永 征夫
118th180217.pdf PDFファイル 3.1 MB ダウンロード
外部ﾘﾝｸ[pdf]:abductionri.jimdo.com
（以下PDFのキャッシュから）
省19
20(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)08:32 ID:hz0vD8O+(2/13) AAS
>>19
つづき
【172】さて、多様体Sの各点に割り当てるものを、数からベクトル空間に変えてみよう。
そうすると、多様体S内の各点sに数を割り当てるルール（関数）の代わりに、ベクトル空間を割り当てるルールが必要になる。
そのような規則のことを、「層」と呼ぶ。層をFで表すと、点sに割り振られたベクトル空間は、F(s)となる。
【173】つまり、関数と層との違いは、多様体Sの各点に割り当てるものの違いなのだ。
関数の場合には、数を割り当てるのに対し、層の場合には、ベクトル空間を割り当てる。
与えられた層に対して、各点sごとに割り当てられるベクトル空間の次元は、それぞれ異なっていてもよい。
例えば、次の図（図14?１）では、ほとんどのベクトル空間は平面（二次元ベクトル空間）だが、
ひとつは直線（一次元ベクトル空間）になっている。
省2
21(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)08:32 ID:hz0vD8O+(3/13) AAS
>>20
つづき
【175】当面われわれにとって重要なのは、関数と層の間に、深いアナロジーがあるということだ。
それを発見したのが、偉大なフランスの数学者アレクサンドル・グロタンディークである。
彼はほとんど単独で、現代の代数幾何学を作ったのみならず、数学に対するわれわれの考え方をすっかり変えてしまった。
ラングランズ・プログラムを幾何学的に再定式化するためにわれわれは、関数と層との間で言葉を翻訳するための辞書を利用したが、
その辞書こそは、グロタンディークの仕事を特徴づける深い洞察の見事な一例なのである。
【177】グロタンディークのアイディアに話を戻そう。
はじめに、ヴェイユのロゼッタストーンの真ん中のコラムに注目しよう。
そして有限体上の曲線と、より一般的な有限体上の多様体について調べる。
省15
22: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)08:32 ID:hz0vD8O+(4/13) AAS
>>21
つづき
【180】だが、関数から層へと戻る自然な方法はない。
それができるのは、ある種の関数だけであって、全ての関数でできるわけではないのだ。
しかし、もしもそれができれば、その層は、関数には持ち得ない付加的な情報をたくさん持っているだろう。
するとその情報を利用することにより、その関数の核心に迫ることができる。
注目すべき事実は、ラングランズ・プログラム（ヴェイユのロゼッタストーンの真ん中のコラムで）に現れる関数のほとんどは、
確かに層に由来するということだ。
【181】関数は数学全体を通じて重要な概念のひとつであり、数学者たちは何世紀も前から関数を研究してきた。
関数という概念は、温度や気圧を考えることで、直感的に捉えることができる。
省15
23(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)10:43 ID:hz0vD8O+(5/13) AAS
” ポアンカレ”
「この生産力と不正確さがポアンカレの特徴である」か
そういう人もいるんだなｗ（＾＾；
外部ﾘﾝｸ:www2.tsuda.ac.jp
数学史シンポジウム報告集
外部ﾘﾝｸ:www2.tsuda.ac.jp
第14回数学史シンポジウム(2003.10.25?26) 所報 25 2004
外部ﾘﾝｸ[pdf]:www2.tsuda.ac.jp
クラインとポアンカレの往復書簡について 保型関数論の源流 関口次郎東京農工大学 工学部2003
(抜粋)
省15
24: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)10:45 ID:hz0vD8O+(6/13) AAS
>>23 つづき
クラインはまずS0(3)がS^2に回転群として作用しているが、 その有限部分群を調べて正多面体の合同群である正多面体群の研究へと議論を進めていく.正確には，SL(2，C )
の有限部分群はn次巡回群，正2面体群および正4面体群，正8面体群，正20面体群のいずれかに群同型になることを示している. (立方体の合同群は正8面体群に同型，正12
面体の合同群は正20面体群に同型である. )次にクラインは2次元球面S^2と複素射影直線P1(C)を同一視させる。正多面体Mのすべての頂点mがS^2にあるようにする.
そして，M の面の中心と稜の中点をS^2に中心から投影する，するとS^2とP1(C)の同一視によって， P1(C)上にM の面の中心に対応する点α1，α2，・・・，αp、稜の中点に対応する点b1,b2,・・・,bq，頂点に対応する点c1,c2,・・・,crを得る。P1(C)の斉次座標をZ1：Z2とすれば，
略
4 ポアンカレ
ポアンカレは1854年4月29日にナンシーに生まれた.彼の父はナンシー大学医学部教授だった.高校の終了時には彼の天才は明らかになって，彼がエコール・ポリテクニックに入学したときはクラスのトップであった.
彼は製図ができないことが理由で，次席でエコール・ポリテクニックを卒業した.そして1875年に鉱山学校に進学した.
1878年に彼は偏微分方程式を主題にした学位論文をパリ大学に提出した.その学位論文
省13
25(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)10:48 ID:hz0vD8O+(7/13) AAS
>>23 関連
外部ﾘﾝｸ:www.maruzen-publishing.co.jp
丸善
正20面体と5次方程式 改訂新版
数学クラシックス 5
正20面体と5次方程式 改訂新版
原書名 Vorlesungen uber das Ikosaeder und die Auflosung der Gleichungen vom funften Grade
著者名 関口 次郎 訳
前田 博信 訳
発行元 丸善出版
省17
26: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)20:52 ID:hz0vD8O+(8/13) AAS
転載
スレ78 2chｽﾚ:math
914 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2019/11/12(火) 07:19:21.12 ID:bgnQJNQo [2/4]
(抜粋)
>>847
>時枝不成立を名言した大学教員
> 該当者無し
まず添削
名言
↓
省25
27: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)20:54 ID:hz0vD8O+(9/13) AAS
下記は、次のスレでは、テンプレに入れる（＾＾
現代数学の系譜 カントル 超限集合論
2chｽﾚ:math
28(1): 2019/11/16(土)21:04 ID:hwxlFl1i(1) AAS
憐れだねえ
29(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)22:06 ID:hz0vD8O+(10/13) AAS
メモ
Inter-universal geometry と ABC予想 42
2chｽﾚ:math
197 名前：１３２人目の素数さん[sage] 投稿日：2019/11/16(土) 05:31:51.44 ID:xkrFqYQ6
星の入門論文、初版より大幅アップデートされてるな！
(引用終り)
これか
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
星裕一の論文
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
省6
30: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)22:07 ID:hz0vD8O+(11/13) AAS
>>28
べつに
静かでいいわ
おサルはいらんぜｗ（＾＾；
31(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)22:12 ID:hz0vD8O+(12/13) AAS
>>29
IUT ：”2012年8月に以下の4つの論文がプリプリントとして、望月氏のホームページで公開された”
当時、３年くらいで決着（正しいと認められる）と思ったけど
7年経っても決着まだとは
数学でこんなことがあるんだねｗ（＾＾；
外部ﾘﾝｸ:ja.yourpedia.org
宇宙際タイヒミュラー理論
宇宙際タイヒミュラー理論 は2012年に望月新一による Inter-universal Teichmuller Theory と題された一連の論文の中で展開された理論である。ABC予想やVojta予想などの未解決問題を解決したとされるが、2014年の段階では検証は終わっていない。
目次
1 論文について
省21
32(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)23:13 ID:hz0vD8O+(13/13) AAS
>>31
>外部ﾘﾝｸ:ja.yourpedia.org
>宇宙際タイヒミュラー理論
>ウィキペディアにも「宇宙際タイヒミュラー理論」の項目が執筆されていましたが、削除されてしまいました。
あれ？
英語ウィキペディアは健在ですね （＾＾；
外部ﾘﾝｸ:en.wikipedia.org
Inter-universal Teichmuller theory
(抜粋)
History
省2
33: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)00:04 ID:ybAPn3Jm(1/16) AAS
STAPだってあるんだから
ダメでも英文みたく歴史的記録として残すべきだろうな
外部ﾘﾝｸ:ja.wikipedia.org
STAP
出典: フリー百科事典『ウィキペディア（Wikipedia）』
ナビゲーションに移動検索に移動
STAP細胞 - 刺激惹起性多能性獲得細胞
STAP(Signal-transducing adapter protein) - アダプタータンパク質の一種で、STAP1やSTAP2がある。
34: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)00:07 ID:ybAPn3Jm(2/16) AAS
>>32
日本村では、IUTに表だってダメ出しする人はいない
なんとか、OKが出ることを祈っている
まあOK出るんじゃないですか？（＾＾
35(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)00:15 ID:ybAPn3Jm(3/16) AAS
”5位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 32 19”か、まあまあですな
”2位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 1001 34”は、もうすぐ消える
”3位 = 0.99999……は１ではない その３ 394 26”は、哀れな素人さんスレだろｗ（＾＾
外部ﾘﾝｸ[html]:49.212.78.147
数学：2ch勢いランキング
11月17日 0:05:28 更新
順位 6H前比 スレッドタイトル レス数 勢い
1位 = フェルマーの最終定理の簡単な証明2 433 41
2位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 1001 34
3位 = 0.99999……は１ではない その３ 394 26
省8
36: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)08:33 ID:ybAPn3Jm(4/16) AAS
>>35 補足
１）
1位 = フェルマーの最終定理の簡単な証明：これはトンデモ
2chｽﾚ:math
２）
2位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78：これは1001で終わったスレ
３）
3位 = 0.99999……は１ではない その３：哀れな素人さんスレ（＾＾；
４）
4位 = プログラミングBASIC言語について：トンデモに近いな
省19
37: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)08:42 ID:ybAPn3Jm(5/16) AAS
メモ
数学ソフトでも
今後、クラウドで大規模・高速計算をやるケース増えるだろうね
科研費とか使って
外部ﾘﾝｸ[html]:www.otsuka-shokai.co.jp
オンプレミス 制作協力：株式会社インプレス [2018年 8月20日 公開] 大塚商会
読み方 ： おんぷれみす
オンプレミスとは
プレミス（premise）は「構内」「店内」の意味。オンプレミスは、サーバーやソフトウェアなどの情報システムを、使用者が管理している施設の構内に機器を設置して運用することを指す。「オンプレ」と略されることもあるほか、「自社運用」とも呼ばれる。
オンプレミスは自社で構築するため、システムを柔軟にカスタマイズしやすく、自社システムと連携しやすいというメリットがある。また、セキュリティ面でも自社のネットワーク内でシステムを動かすため、第三者が入りにくく、安全性が高いこともメリットの1つに数えられる。
省4
38(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)14:33 ID:ybAPn3Jm(6/16) AAS
ブレイド群(braid group)（組みひも群とも呼ぶ）の歴史は、英文と比較すると、むちゃ誤訳やね（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
数学において、n 本の糸のブレイド群(braid group)（組みひも群とも呼ぶ）は、Bnと記し、
直感的には幾何学的に描かれる群であり、ある意味で 対称群 Sn を一般化する。
ここに n は自然数であり、n > 1 であれば、Bn は無限群（英語版）(infinite group)である。
ブレイド群は、結び目をあるブレイド（組みひも）の閉じた形として表現することができるので、結び目理論に応用を持つ。
目次
1 はじめに
1.1 直感的な記述
1.2 数学的な扱い
省12
39: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)14:36 ID:ybAPn3Jm(7/16) AAS
>>38
Braid group
although (as Wilhelm Magnus pointed out in 1974[10]) they were already implicit in Adolf Hurwitz's work on monodromy from 1891.
ってことな
40(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)15:26 ID:ybAPn3Jm(8/16) AAS
メモ
小松彦三郎先生は、東京理科大へ行かれたのか
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
数理解析研究所講究録 1257 巻 2002 年 88-121
リーマンの 「?複素変量の関数一般論のための基礎」
東京理科大学理学部 小松彦三郎 (Hikosaburo Komatsu)
山形県立鶴岡工業高校 井上 鉄也 (Tetsuya Inoue)
東京理科大学大学院理学研究科に 3 年前理数教育専攻という新しい専攻ができた。今度の学習指
導要領で 「総合的な学習の時間」 という従来の学科とは全く異なる教科が新設されるのを先取りし
て、 これに対応できる理系の教師を養或するのが目的である。私は、 はからずも、 この専攻の担当
省14
41: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)15:27 ID:ybAPn3Jm(9/16) AAS
>>40
つづき
ドイツ語のテキストを理解することと、 それを正しく日本語に書き表ゎすことは別のことである。
このような文章を訳すにはなるべく直訳すべきであろうが、必ずしもそうしながった。 日本語は数学
を表現するのに十分な言語であり、 ドイッ語の構文は一部日本語に似てぃる。 しかし、 どぅにもな
らない差もある。 ショーペンハウアが皮肉ってぃるように、 19 世紀のドイッ語では形容詞が残っ
ているときには同じ名詞を極端に省略してしまう。
論文の内容は、 巻末にリーマン自身が書いたという要旨があるのでそれをみればわかるが、 以下
ざっと紹介することにしよう。
初めに実区間上の連続関数につぃて少しばがり論じている。 ウェーバーが付けた注 1 によれぼ
省13
42: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)15:32 ID:ybAPn3Jm(10/16) AAS
関連
アマゾン （URLがNGなので、キーワードでググれ（＾＾ ）
リーマンに学ぶ複素関数論 ―1変数複素解析の源流 2019/6/25
高瀬正仁 (著)
(抜粋)
商品の説明
内容紹介
1変数複素関数論のはじまりの景色を眺めよう. リーマンは学位論文「1個の複素変化量の関数の一般理論の基礎」(1851年)において,複素変数関数論の基礎理論を構築しました.本書のねらいは,この論文に現れたリーマンのアイデアを再現することです
リーマンの言葉に丹念に耳を傾けて,リーマンの心情に寄り添いながら学位論文を読み解いていきましょう. (「はじめに」より抜粋)
内容（「BOOK」データベースより）
省18
43(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)15:44 ID:ybAPn3Jm(11/16) AAS
外部ﾘﾝｸ:www.math.s.chiba-u.ac.jp
Yasuda's Home Page 千葉大
外部ﾘﾝｸ[pdf]:www.math.s.chiba-u.ac.jp
Page 1
denki_math_02 : 2008/4/6(17:48)
第1章複素関数論の基礎
(抜粋)
1814 年にコーシーが複素関数論を始め、複素数を変数に取る解析関数や複素積分が論じられるようになった。
1831 年に、機は熟したとみたガウスが、複素平面を論じ、複素平面はガウス平面として知られるようになった。
ここに、虚数に対する否定的な視点は完全に取り除かれ、複素数が受け入れられていくようになる。
省13
44: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)15:45 ID:ybAPn3Jm(12/16) AAS
>>43
つづき
だが、フェリックスクラインはリーマンの複素解析に関する論文を発表し、
この分野での研究を促していった。1900 年には、ヒルベルトがワイエルシュト
ラスが指摘したディリクレの原理の問題を解決し、その後、ヘルマン・ワイルがリーマン面を厳密に定義したことで、
リーマンの複素解析での業績は再評価されることになった。ポアンカレはリーマンが示した位置解析のアイデアを発展させ、
トポロジーを体系的に研究した。シーゲルはリーマンの遺稿を分析することで、リーマン予想に関するリーマンの研究の中に、
すでにその後の研究を先取りする内容が含まれていることを発見した。
リーマンの複素解析を支持したフェリックスクラインだったが、
エルランゲン・プログラムとの違いからリーマン幾何学に対しては否定的な姿勢をとる。
省7
45: 2019/11/17(日)16:21 ID:4DCOL8y8(1) AAS
スレランキング維持に必死だなｗ
46: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)21:01 ID:ybAPn3Jm(13/16) AAS
別に必死になる必要もない
∵数学板は、いまや、過疎も過疎、おそらく底辺板だ。
おれが普通に投稿するだけで、軽く、ランキング10位、いや、5位以内も不可能じゃなないだろう
47: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)21:10 ID:ybAPn3Jm(14/16) AAS
見よ、この数学板過疎の惨状を
このガロアスレより上、全て、まともな数学スレにあらず
そして、いま、殆ど動いていない
”現代数学の系譜 カントル 超限集合論”スレが、8位
”現代数学の系譜 工学物理雑談 古典ガロア理論も読む58”が、15位
別に必死になる必要もないｗ（＾＾；
外部ﾘﾝｸ[html]:49.212.78.147
数学：2ch勢いランキング
11月17日 21:00:31 更新
順位 6H前比 スレッドタイトル レス数 勢い
省10
48(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)21:48 ID:ybAPn3Jm(15/16) AAS
Inter-universal geometry と ABC予想 42
2chｽﾚ:math
206 投稿日：2019/11/17(日) 17:03:11.84 ID:p1FBlCNS
絶対 Galois 群による数体の復元
星 裕一郎
>単遠アーベル的復元は, “所望の手続きの存在を証明する” ことが目的なのではなく,“所望の手続きを与 える” ことが目的である.
特に, 主張の中にその手続きを書くべきとされる.
下記か
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
絶対 Galois 群による数体の復元
省23
49(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)21:50 ID:ybAPn3Jm(16/16) AAS
>>48
つづき
F°, F・ を NF, G°, G・ をその絶対 Galois 群とすると, この定理によって, 特に, F° と
F・ が体として同型であることと, G° と G・ が位相群として同型であることが同値である
ことがわかる. つまり, NF の絶対 Galois 群の位相群としての同型類によって, その NF
の同型類が完全に決定される. 別の表現を用いれば, 絶対 Galois 群は NF に対する “完
全な不変量” であるということがわかる. この意味において, “その絶対 Galois 群によっ
て NF を復元することができる” と考えることが可能であろう.
一方, 望月新一氏は, [8] の中で, “そもそも復元とは何か?” という問についての考察を
行い, そこで, “双遠アーベル的復元”, “単遠アーベル的復元” という考え方を提唱した.
省19
50: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/18(月)10:37 ID:G5Kc1m4a(1) AAS
コテハン設定のためカキコ
51: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/19(火)10:52 ID:NP7FWnJl(1/4) AAS
メモ
外部ﾘﾝｸ:tech.nikkeibp.co.jp
ソフト開発 プログラミング言語人気ランキング2020 プログラミング言語人気ランキング2020、2位に「大躍進」したあの言語
2019/11/18 05:00
安藤 正芳＝日経 xTECH／日経SYSTEMS
(抜粋)
一気に2位まで順位を上げたPython
画像ﾘﾝｸ[jpg]:cdn-tech.nikkeibp.co.jp
注目すべきは「Python」の飛躍である。機械学習や計算処理などのライブラリーやフレームワークが豊富に用意されているPythonは、最近はやりのAIシステムやデータ分析システムに利用されている。こうしたシステムを開発するITエンジニアは増えており、上位にランクインする結果となった。
では、具体的に順位を見ていこう。普段使用している言語の第1位は前回の調査同様「C/C++」だった。回答者440人中136人が使っている。C/C++は組み込み機器や処理速度が求められるシステムに利用されることが多い。
省6
52: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/19(火)11:32 ID:NP7FWnJl(2/4) AAS
メモ
外部ﾘﾝｸ[html]:special.sankei.com
ノーベル賞への祝意と「黄昏」感 数学者・国立情報学研究所教授・新井紀子 産経 正論 2019.10.28
化学は日本の「お家芸」。特に２０００年の白川英樹氏の受賞に始まる化学分野の「ノーベル賞受賞ラッシュ」には目を見張るものがある。だが、今回のメディアの反応は、これまでのもろ手を挙げて万歳、とはどうも違う。国民の間に流れる空気も熱量が低い。
画像ﾘﾝｸ[jpg]:special.sankei.com
ノーベル化学賞を受賞した吉野彰氏＝１０日、東京都千代田区
≪受賞者からの悲観の声≫
もちろん、ノートパソコンやスマートフォンなど身の回りのあらゆるＩＴ機器に搭載されているリチウムイオン電池実用化の鍵になる技術を日本人が開発したことを、誰もが誇らしく感じている。実用化に至るまでのご苦労に思いを馳（は）せ、感動する人々も多い。
だが、日本人の多くが「風」が変わりつつあることを感じている。そう遠くない将来、日本がノーベル賞を取れる日がこなくなるだろう、という「黄昏（たそがれ）」感だ。
省1
53(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/19(火)13:52 ID:NP7FWnJl(3/4) AAS
>>49 関連
Inter-universal geometry と ABC予想 42
2chｽﾚ:math
より
外部ﾘﾝｸ:repository.kulib.kyoto-u.ac.jp
外部ﾘﾝｸ[pdf]:repository.kulib.kyoto-u.ac.jp
タイトル: Mono-anabelian Reconstruction of Number Fields (On the examination and further development of inter-universal Teichmuller theory)
著者: Hoshi, Yuichiro
発行日: Aug-2019
出版者: Research Institute for Mathematical Sciences, Kyoto University
省14
54: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/19(火)13:53 ID:NP7FWnJl(4/4) AAS
>>53
つづき
One important step of our reconstruction
algorithm consists of the construction of a global cyclotome [i.e., a cyclotome constructed from
a global Galois group] and a local‐global cyclotomic synchronization isomorphism [i.e., a suit‐
able isomorphism between a global cyclotome and a local cyclotome]. We also verify a certain
compatibility between our reconstruction algorithm and the reconstruction algorithm given by
S. Mochizuki concerning the etale fundamental groups of hyperbolic orbicurves of strictly Be‐
lyi type over number fields. Finally, we discuss acertain global mono‐anabelian log‐Frobenius
compatibility property satisfied by the reconstruction algorithm obtained in the present paper.
省10
55: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/19(火)23:55 ID:5iMEimcJ(1) AAS
メモ
外部ﾘﾝｸ:ja.wikipedia.org
パラダイム
(抜粋)
パラダイム (paradigm) とは、科学史家・科学哲学者のトーマス・クーンによって提唱された、科学史及び科学哲学上の概念。
一般には「模範」「範」を意味する語だが、1962年に刊行されたクーンの『科学革命の構造（The structure of scientific revolutions）』で科学史の特別な用語として用いられたことで有名になった。
しかし、同時に多くの誤解釈や誤解に基づく非難に直面したこと、また、概念の曖昧さなどの問題があったために、8年後の1970年に公刊された改訂版では撤回が宣言され、別の用語で問題意識を再定式化することが目指された。
本記事では、撤回の宣言を踏まえつつも、クーン本来の問題関心を明らかにするため、再定式化に用いられた専門図式（disciplinary matrix）の概念も含めて記述する。
外部ﾘﾝｸ:ja.wikipedia.org
パラダイムシフト
省6
56(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/20(水)23:40 ID:Zz2wBuXu(1/3) AAS
2020年はオリンピックとIUTか（＾＾
外部ﾘﾝｸ[html]:www.maths.nottingham.ac.uk
Foundations and Perspectives of Anabelian Geometry,
RIMS workshop, May 18-22 2020
Organisers: Ivan Fesenko (Univ. Nottingham), Arata Minamide (RIMS), Fucheng Tan (RIMS)
This workshop is one of four workshops of special RIMS year "Expanding Horizons of Inter-universal Teichmuller Theory".
Anabelian geometry, together with higher class field theory and the Langlands correspondences, is one of three fundamental generalisations of class field theory.
Invited speakers:
Fedor Bogomolov (Courant Inst., NYU, USA),
Kazumi Higashiyama (RIMS, Kyoto Univ., Japan),
省16
57(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/20(水)23:40 ID:Zz2wBuXu(2/3) AAS
>>56
つづき
Confirmed participants include:
Thomas Bitoun (Univ. Calgary, Canada),
Magnus Carlson (Hebrew Univ., Israel),
David Corwin (Univ. California Berkeley, USA),
Weronika Czerniawska (Univ. Geneve, Switzerland),
Paolo Dolce (Univ. Udine, Italy),
Taylor Dupuy (Univ. Vermont, USA),
Ivan Fesenko (Univ. Nottingham, UK),
省29
58(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/20(水)23:41 ID:Zz2wBuXu(3/3) AAS
>>57
つづき
外部ﾘﾝｸ[html]:www.maths.nottingham.ac.uk
宇宙際タイヒミューラー理論への誘い（いざない）
Invitation to inter-universal Teichmuller Theory (IUT)
RIMS workshop, September 1 - 4 2020
Invited speakers:
Ivan Fesenko (Univ. Nottingham, UK),
Yuichiro Hoshi (RIMS, Kyoto Univ., Japan),
Emmanuel Lepage (IMJ, Paris, France),
省21
59: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)06:44 ID:+nFZ/H2N(1/7) AAS
>>56-58 補足
１．2020年5月から、IUT関連の4本のシンポジュームが打たれる
（間にオリンピックを挟んで）
２．最初の”Foundations and Perspectives of Anabelian Geometry”は、IUTよりも広い話題だな
これは、”Confirmed participants include:”が、発表されているが
他の3本のシンポジュームについては、未発表
３．2本目の「組合せ論的遠アーベル幾何とその周辺」も、最初と同様に、IUTよりも広い話題だ
４．3本目の「宇宙際タイヒミューラー理論への誘い（いざない）」が、IUT入門編ですかね
５．最後の「宇宙際タイヒミューラー理論サミット２０２０」が、本格的なIUTの専門的なシンポジューム
６．最初ので、Jakob Stix (Frankfurt Univ., Germany),
省7
60(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)07:12 ID:+nFZ/H2N(2/7) AAS
>>53 関連
外部ﾘﾝｸ:repository.kulib.kyoto-u.ac.jp
RIMS講究録別冊
B76 On the examination and further development of inter-universal Teichmuller theory
宇宙際Teichmuller理論入門(On the examination and further development of inter-universal Teichmuller theory)
星, 裕一郎 (2019-08)
数理解析研究所講究録別冊 = RIMS Kokyuroku Bessatsu, B76: 79-183
外部ﾘﾝｸ[pdf]:repository.kulib.kyoto-u.ac.jp
これも、英文にした方が良いだろうね
シンポジューム成功の一助として
61(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)07:14 ID:+nFZ/H2N(3/7) AAS
>>60
例えば、Google 翻訳を使うと
序
本稿は, 題目のとおり, 望月新一氏によって創始された宇宙際 Teichm¨uller 理論への入門的解説をその目標として書かれたものです.
特に, “宇宙際 Teichm¨uller 理論において遠アーベル幾何学がどのような形で用いられるか”, “ある Diophantus 幾何学的帰結を得るために宇宙際 Teichm¨uller 理論ではどのような定理を証明するのか”,
“宇宙際 Teichm¨uller理論の主定理を得るために導入された概念である Hodge 劇場とはどのような概念なのか”などといった点が, 本稿の内容の中心となっています.
本稿執筆の際に心掛けたこととして, 以下の 2 点があります.
(a) その段階その段階で直面する問題を明示的に述べて, そして, 宇宙際 Teichm¨uller 理論におけるその問題の解決の方法を説明することで, (たとえ説明に多少の遠回りや重複, 脱線などが生じたとしても) 宇宙際 Teichm¨uller 理論で行われている様々な議論, 及び, そこに登場する様々な概念が, “自然なもの”, “必要なもの” であることを, 可能な限り明らかにするように努めました.
(b) 宇宙際 Teichm¨uller 理論にはたくさんの “新しい考え方” が登場します.
それら (の少なくともいくつか) は決して難しいものではないのですが, その “新奇性” によって, そういった考え方に対する理解への努力が放棄される, という事態が発生しているのかもしれないと思います.
省6
62: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)07:20 ID:+nFZ/H2N(4/7) AAS
There are two points to keep in mind when writing this article.
(a) Explicitly state the problem faced at that stage, and explain how to solve the problem in the cosmic Teichm¨uller theory (even if the explanation is somewhat detour, duplication, derailment)
It is possible that the various discussions in the Teichm¨uller theory on the universe and the various concepts that appear in it are “natural” and “necessary” I tried to clarify as much as possible.
(b) Many “new ideas” appear in the Teichm¨uller theory at the universe.
They (at least some of them) are by no means difficult, but I think that the “novelty” may have led to the abandonment of efforts to understand those ideas .
Therefore, even if it was very elementary, we tried to avoid dropping out of the discussion based only on the novelty of such a new way of thinking by giving several examples.
（翻訳終り）
程度までは、瞬時にできる
コツは、入力日本文の区切り（改行）を、文単位に直してやることです
やっている内に、＜Google 翻訳＞に喰わせるコツが分かってくるだろうが
省4
63(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)08:36 ID:+nFZ/H2N(5/7) AAS
>>61 補足
"遠アーベル幾何学"が、”Far Abelian Geometry”など誤訳されているが、
これは、もとの和文で、置換を使って、専門用語に変換しておくのが良いと思うな
64(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)08:41 ID:+nFZ/H2N(6/7) AAS
下記、良いことを言ってくれるね（＾＾
悪のりしていえば
１．数学科生だって、入学から卒業まで、100点満点＝ノーミス というわけではないだろう
２．というか、100点満点じゃないとダメとなると、だれも卒業できないだろう
３．そうじゃくて、試験で不足だったところは、また勉強すれば良いんだ
４．そして、社会（数学業界も含めて）で、生きていくのに必要な力をつければ良い
あと、IUTについては、うまくABC予想の解決に繋がってほしいですね。こころから祈っています（＾＾
（参考）
Inter-universal geometry と ABC予想 42
2chｽﾚ:math
省12
65: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)10:10 ID:W0+ORYap(1/7) AAS
>>63 補足
検索：AI自動翻訳 専門
で、下記などがヒット
翻訳で、数学専用で、数学用語辞書と、数学独特の表現、言い回しを教え込んで
その上で、AIというやり方で、数学論文の翻訳はかなりやれる気がするな
約 7,190,000 件 （0.53 秒）
広告
NTT ComのAI自動翻訳サービス | 導入前に無料トライアル可能?
広告www.ntt.com/?
ファイルをまるごと翻訳可能。圧倒的なスピードで翻訳負担を削減／導入実績多数！ 日英・英日翻訳・専門用語にも対応・日中・中日翻訳・法人向け・ファイルまるごと翻訳。
省11
66(2): 2019/11/21(木)11:23 ID:m3tHAB11(1) AAS
数学は20世紀初頭に死んだ
現在物理学、工学、経済学などさまざまな分野に応用されている数学の99%は19世紀末までに完成されている
一方、20世紀以降にできた数学のほとんどは何の役にも立っておらず、これから応用される見込みもない
67: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)12:18 ID:W0+ORYap(2/7) AAS
>>66
それ、悪いけど
全く間違っていると思うよ
１．19世紀中に、数学はニュートン力学程度なら完全に扱えるように成長していた
２．20世紀初頭のアインシュタインの特殊相対性理論程度は、確かに、19世紀の数学が準備していたものだし、
一般相対性理論でも、19世紀の数学（リーマンの系譜を継ぐリッチカリキュラス）が用意していたともいえるかもしれない
３．だが、その後の量子力学を扱う数学は、完全に19世紀の数学を超えている。完全に、20世紀以降の数学だろう
４．そして、さらにその後の素粒子論＊）、宇宙論（ブラックホールやビッグバン）を扱う数学は、19世紀の数学を完全に超えている（４次元以上の時空多様体を扱う数学）
５．経済学への応用としては、不動点定理とかゲーム理論は20世紀の数学だし、伊藤先生の確率微分方程式による金融工学も20世紀の数学
６．そして、20世紀数学の基礎論や圏論が、コンピュータサイエンスのバックグラウンドを用意していた
省11
68(1): 2019/11/21(木)12:22 ID:n3dKvWmK(1) AAS
>>66
現代数学が理解できない（したくない）ひとの意見ですな。
スレ主という工学バカトンデモに引かれて同類が寄ってくるのは分かる
事実は逆で、「人間の直感」を超えた数学は20世紀になって始まったばかり
つまり本当の意味での数学はまだ始まったばかり。
69: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)13:36 ID:W0+ORYap(3/7) AAS
>>68
＞スレ主という工学バカトンデモに引かれて同類が寄ってくるのは分かる
おれから見れば、
おまえもその一人（同類）
みんな同じ穴の狢だよ（＾＾
ちょぼちょぼじゃんか〜！ｗ（＾＾；
70: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)13:38 ID:W0+ORYap(4/7) AAS
なお、「人間の直感」は大事だよ
自分の「人間の直感」を大事にできないやつ
これからのAI時代には生き残れないだろうねｗ(゜ロ゜;
71: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)13:49 ID:W0+ORYap(5/7) AAS
まあ、要するに、機械的なしらみつぶしの組み合わせだけに長けただけの人は
そういうのは、コンピューターが機械的にやってくれるさ
対して、AIが出した”擬似正解”に対して、人間的視点でさらに高い見地から判断できる人が求めらると思う
（例えば画像解析で猫と紛らわしい画像の真贋判定とか、・・AI探偵が「こいつが殺人犯だ」とした人の有罪・無罪の判断とかｗ）
72(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)14:05 ID:W0+ORYap(6/7) AAS
Feit-Thompson定理（英語版）は、Coqで2012年9月に証明が完了したという
同じことを、いま人手でやっても、いまや評価されないってことよ（単なる証明屋さん）
Coqよりも、人間に近い証明とか
人間に分かり易く、「Coqのやった証明が説明できる」とか
そういう人が、
評価されるようになるだろうね
外部ﾘﾝｸ:ja.wikipedia.org
Coq
(抜粋)
Coqは証明支援システムの一つ。Coqの核はプログラミング言語Gallinaを用いる。フランス国立情報学自動制御研究所のPI.R2チーム(PPS研究所内にある)が、エコール・ポリテクニーク、フランス国立工芸院、パリ第7大学、パリ第11大学と(かつてリヨン高等師範学校とも)共同して開発している。Hugo Herbelinが事実上の開発代表者である。
省7
73: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)14:09 ID:W0+ORYap(7/7) AAS
>>72
＞Feit-Thompson定理（英語版）は、Coqで2012年9月に証明が完了したという
＞同じことを、いま人手でやっても、いまや評価されないってことよ（単なる証明屋さん）
いや、もちろん、Coqに掛からない証明も沢山あるし
最初からは、Coqには掛からないのかも知れない
そういう場合に、
手作業での場合分け証明は、世界初としては評価されるよ
あるいは、Coqに掛けられるように腑分けして
その後、Coqに掛けて証明を終えるとか
そういうことのできる人は、
省1
74: 2019/11/21(木)21:05 ID:Ng1rwFBl(1) AAS
>３．そうじゃくて、試験で不足だったところは、また勉強すれば良いんだ
おまえは大学一年の四月にεN論法で落ちこぼれて未だに勉強してないじゃんｗ
上下前次1-新書関写板覧索設栞歴
あと 928 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.092s