TOP カテ一覧 スレ一覧 100～終まで 2ch元 削除依頼
中1の弟が数学好きなようだから先取りさせたい
【グラフ理論】離散数学／情報数学 2【組合せ論】
整数論を勉強するためのスレッド
\section{TeX の時間} %%% 第 XI 節 %%% Part.2
数学が楽しすぎるんだがいつまで続くんだろうか
分からない問題はここに書いてね456
「安倍がRば、日本は幸せになる」という命題があるとき、安倍が死んでないならこの命題は必ず真
数学博士中退後就職できません。ご意見ください。
0.99999……は１ではない その１０
現代数学の系譜 工学物理雑談 古典ガロア理論も読む73
現代数学の系譜 工学物理雑談 古典ガロア理論も読む79
- 1 ：2019/11/15 ～ 最終レス ：2019/12/21
- この伝統あるガロアすれは、皆さまのご尽力で、
過去、数学板での勢いランキングで、常に上位です。
このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな～（＾＾
最近、AIと数学の関係が気になって、その関係の記事を集めています～（＾＾
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。
スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。
スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
興味のある方は、過去ログを（＾＾
なお、
小学レベルとバカプロ固定お断り
例：サイコパスのピエロ＝数学おサル（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」。知能が低下してサルになっています）
（参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
（なお、サイコの発言集「実際に人を真っ二つに斬れたら 爽快極まりないだろう」、「狂犬」、「イヌコロ」、「君子豹変」については後述（＾＾； ）
High level people （知能の低い者が、サルと呼ばれるようになり、残りました。ｗ（＾＾； ）
低脳幼稚園児のAAお絵かき
上記は、お断り！！
小学生がいますので、18金（禁）よろしくね！（＾＾
（旧スレが1000オーバー（又は間近）で、新スレを立てた）
- 2 ：
- （このスレの常連カキコさん説明）
1)
粘着の一人は、キチガイサイコパス（別名ピエロ >>1)。知能が低下してサルになっています
まあ、皆さんには、サイバー空間でのサイコパスの反応とそれへの対応例（反面教師かもしらんが）を見て貰えたらと思う
（このスレは暫く、キチガイサイコパスの隔離スレとして機能させますｗ（＾＾； ）
（なお、彼は複数ID（4まで確認済み）を使うやつ（＾＾ ）
（スレ69 https://rio2016.2ch.sc/test/read.cgi/math/1560510589/551 ID4つ ）
なお、火病を発症すると狂気の連投をする
（スレ70 https://rio2016.2ch.sc/test/read.cgi/math/1560684578/46 ）
殺人願望旺盛（＾＾ スレ69 https://rio2016.2ch.sc/test/read.cgi/math/1560510589/69-74
人を“丸焼き”にして食するという人食趣味あり スレ69 https://rio2016.2ch.sc/test/read.cgi/math/1560510589/77
どこかの（某大学） 数学科卒 修士課程修了らしい
東京大学出身などと、すぐわかる軽薄なウソをいう
ロジックの破たんした見え見え、デタラメの屁理屈をこねる
それじゃ、数学は落ちこぼれで当たり前だ
こいつの発言は、全く信用できないので、基本スルーだ
（参考）
https://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e
サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む グレーより薔薇色 2007年04月06日
スレ32 https://rio2016.2ch.sc/test/read.cgi/math/1495369406/351
(抜粋)
私？某大学の数学科卒 修士課程修了ですが何か？
ま、この程度でHigh Level Personなんていうほど自惚れちゃいませんよ
やっぱ博士号くらいとらないと数学の世界では人間とは認められませんから
(引用終り)
つづく
- 3 ：
- つづき
2)
あと、特徴的なのが、High level peopleと名付けた人が二人。これもスルーだ
（但し、最近、内一人は時枝不成立が理解できたらしい（スレ67～68辺り
知能の低い者が、サルと呼ばれるようになり、残りました。ｗ（＾＾；）
スレ28 http://rio2016.2ch.sc/test/read.cgi/math/1483314290/ (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
High level peopleの一人が、時枝記事（数学セミナー2015年11月号の記事『箱入り無数目』）を紹介してくれたなのだが（下記見るとこの人が、スレ28を立てたみたい。この人は、昔Tさんと私が呼んでいた人だと思う）
High level peopleのもう一人が、「俺は測度論的確率論で正当化できて、パラドクスも説明できる」と言い出して、二人で、スレ28で議論した
が、「非可測集合Sに対し、(Sの内測度)＜(Sの外測度) の条件下でSを扱いつつ確率を考える」などと迷走
確率変数の定義（>>517）も無理解で、”変数”と勘違いして”固定”なるトンデモを思いついたらしい
3)
あと、”High level people”を言い出した、英語おじさん（このスレで英語でのみカキコした人）がいたんだ
この人が、”High level people”を連発したので、借用させてもらったのだ（＾＾
4)
あと、”これは酷い”おじさん。これしか言わない、一言居士。英語おじさんと同一かも
さらに、キチガイサイコパスと同じ趣旨を書くのが一人いる。サイコパスピエロに、チョウチンをつけることが多い。サイコパスの成りすましの可能性もありかも
あるいは、(文系)High level peopleさんが、”これは酷い”を使うのかもなー
5)最近、時枝記事不成立派の人が数人と、キチガイサイコパス取締りパトロール隊の方がいる（＾＾
6) 哀れな素人さん：古代ギリシャの数理哲学を語る人
7)時枝解法関連で例の問題提出をした方：不成立の観点から、（下記）の問題提出をした方。この人は、ちょっとレベルが高そう（＾＾
スレ64 https://rio2016.2ch.sc/test/read.cgi/math/1556253966/211
つづく
- 4 ：
- つづき
8) てへぺろ☆(・ω<)さん 70 https://rio2016.2ch.sc/test/read.cgi/math/1560684578/842
この人、ほんとはレベル高いみたい（＾＾
（以下参考）“T大卒じゃなくN大卒、という設定で（設定かよ！）”
“私もその昔、数学科というところで学んでたんですが どうしても興味が向かない分野ってのがあって その一つがガロア理論だったんですね（をひ
ああ、こりゃ俺、数学無理だなと思って 計算機関係に方向転換しましたけどね”
ですが、記憶が5分しか持たず、時枝問題でトンチンカンなので、撤退頂きました。まことに、残念でしたが（：ｐ
9) Ω星人の数学者さん、たまに現れます（＾＾
10)おっちゃん（別格）
自称、某R大卒。関数論に詳しい。「オイラーの定数γが有理数であることの証明を得た！！」という（＾＾
スレ68 https://rio2016.2ch.sc/test/read.cgi/math/1560374890/18
「数学雑談&ガロア理論 ～おっちゃんとボクと、時々、（時枝 ＆ ￥さん）～」かな（＾＾
まあ、常連さんは、全員数学の非専門家でしょう（プロ（職業）ではない人）
∵数学のプロが、こんなところに“粘着”するわけがない（＾＾
常連カキコさんは、こんなところだ
まあ、解説が漏れていたら、ご容赦
以上、このスレのROMさんたちのための、常連カキコさんとおっちゃん（別格）の解説でした（＾＾；
- 5 ：
- ＜過去スレ＞
（そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
（数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。
High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 http://rio2016.2ch.sc/test/read.cgi/math/1506152332/
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。）
（が、最近関数論の芽茎層の理論との親和性に気付いたので、後でテンプレに入れます。（＾＾ ）
過去スレリンク集
（下記以外で抜けている分は、スレ68のテンプレ https://rio2016.2ch.sc/test/read.cgi/math/1560374890/4-6 ご参照 ）
78 https://rio2016.2ch.sc/test/read.cgi/math/1571400076/
77 https://rio2016.2ch.sc/test/read.cgi/math/1568026331/
76 https://rio2016.2ch.sc/test/read.cgi/math/1566715025/
75 https://rio2016.2ch.sc/test/read.cgi/math/1565872684/
74 https://rio2016.2ch.sc/test/read.cgi/math/1564659345/
73 https://rio2016.2ch.sc/test/read.cgi/math/1563282025/
72 https://rio2016.2ch.sc/test/read.cgi/math/1562292879/
71 https://rio2016.2ch.sc/test/read.cgi/math/1561208978/
70 https://rio2016.2ch.sc/test/read.cgi/math/1560684578/ （842- てへぺろ☆(・ω<)さん来訪
69 https://rio2016.2ch.sc/test/read.cgi/math/1560510589/
68 https://rio2016.2ch.sc/test/read.cgi/math/1560374890/ 前スレ
64 https://rio2016.2ch.sc/test/read.cgi/math/1556253966/ （868- 時枝記事否定派のAlexander Pruss先生が、意外に大物で数学のプロであること判明。勝負あり～！（＾＾
つづく
- 6 ：
- つづき
47 https://rio2016.2ch.sc/test/read.cgi/math/1512046472/ 時枝記事関連資料豊富
46 https://rio2016.2ch.sc/test/read.cgi/math/1510442940/ ＜スレ46の422に書いた定理“系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない”＞
45 https://rio2016.2ch.sc/test/read.cgi/math/1508931882/ 哀れな素人さん 79-92
43 http://rio2016.2ch.sc/test/read.cgi/math/1506152332/ （だれかが立ててスレ。私は行きません。このスレに不満な人は、そちらへ）
（40以降現代数学の系譜 工学物理雑談 古典ガロア理論も読む)
（39以前 現代数学の系譜 古典ガロア理論を読む)
39 http://rio2016.2ch.sc/test/read.cgi/math/1503063850/ （別名 数学セミナー時枝記事の墓）
(35以降 現代数学の系譜 古典ガロア理論を読む)
(34以前 現代数学の系譜11 ガロア理論を読む)
32 http://rio2016.2ch.sc/test/read.cgi/math/1495369406/ (251 サイコパスのピエロ登場 ID:1maZ/hoI )
28 http://rio2016.2ch.sc/test/read.cgi/math/1483314290/ (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
20 http://wc2014.2ch.sc/test/read.cgi/math/1466279209/ （512 2016/07/03 確率論の専門家さん来訪 ID:f9oaWn8A と ID:1JE/S25W ）
17 http://wc2014.2ch.sc/test/read.cgi/math/1448673805/ （314 2015/12/20 数学セミナー2015年11月号の記事『箱入り無数目』の最初）
4 http://uni.2ch.sc/test/read.cgi/math/1335598642/ スレタイに4が抜けてますが(4)です
1 http://uni.2ch.sc/test/read.cgi/math/1328016756/ 初代スレ
その他のテンプレは
スレ71 https://rio2016.2ch.sc/test/read.cgi/math/1561208978/7-32
をご参照ください
以上
- 7 ：
- （参考）
http://mathmathmath.dotera.net/
数学＠2ch掲示板用 掲示板での数学記号の書き方例と一般的な記号
追加（良く使うが出しにくい記号）
＼ ≦≧⇒⇔∈∋⊂⊃⊆⊇∀∃ （アレフ＝これ文字化けするね。あと二重矢印の←も文字化け）買ﾐΠπζ∴∵≠
微分・偏微分：dy/dx=y', ∂y/∂x=y,x ∇（← "∂"は「きごう」で変換可．）
（wikipedia などでは、マイナス記号－や、特殊不等号>=、=< アレフなどが文字化けするので要注意）
- 8 ：
- 大学新入生もいると思うが、間違っても２ＣＨ（旧２ＣＨ）で数学の勉強なんて思わないことだ
このスレは、半分趣味と遊びのスレと思ってくれ（＾＾；
もう半分は、ここはおれのメモ帳だ （ここには、自分が面白いと思った情報を集めてあるんだ。過去ログ見ると、いろいろ面白い情報（リンクやPDF があるよ（＾＾ ）
（ もしサイト移動などでリンク切れのときは、引用してある文章のキーワードによる検索をお願いします ）
以下過去スレより再掲
http://rio2016.2ch.sc/test/read.cgi/math/1492606081/7
7 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/19(水) 22:07:49.66 ID:gLi5Ebjw
まあ、過去何年かにわたって、猫さん、別名、￥ ◆2VB8wsVUooさんが、数学板を焼いていたからね
ガロアスレは別として、数学板は焼け跡かな
再生は無理だろう
そもそも、２ＣＨ（旧２ＣＨ）は、数学に向かない
アスキー字に制限され、本格的な数学記号が使えない
複数行に渡る記法ができない
複数行に渡る矢印や、図が描けない（ＡＡ（アスキーアート）で数学はできない）
大学数学用の掲示板を、大学数学科が主体となって、英語圏のような数学掲示板を作った方がいいだろうな、実名かせめてハンドルネーム必須でね、プロないしセミプロ用のを
- 9 ：
- スレ56より （なお、「イメージ」～「ビジョン」～「哲学」かも（＾＾ ）
https://rio2016.2ch.sc/test/read.cgi/math/1544924705/178-
渕野先生は、”厳密性を数学と取りちがえるという勘違い”を書いている(下記)（＾＾
「イメージ」がお気に召さなければ、「ビジョン」といっても良い
”アイデアの飛翔をうながす(可能性を持つ)数学的直観”が無いピエロは
数学では落ちこぼれの劣等生ということだ
ただ単に、厳密性のみを追い求めるのはピエロだ
だから、だからおまえは数学で落ちこぼれるんだよ（＾＾
ニュートン、ライプニッツ、オイラー、ガウス、コーシー、アーベル、ガロア、リーマン、デデキント・・・
みんな各人、数学に対する明確なビジョンがあって、彼らの数学的業績がある
（しばしば、厳密性な証明は後から与えられることも多くあった）
つづく
- 10 ：
- つづき
＜渕野語録＞
(引用開始)
スレ24 https://rio2016.2ch.sc/test/read.cgi/math/1475822875/654-
（抜粋）
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
https://www.アマゾン
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
P314
(抜粋)
数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
思考のプロセスとしての脳髄の生理現象そのものであろう
したがって，数学はその意味での実存として数学者の生の隣り合わせにあるもの，と意識されることになるだろう
そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，
これは， ときには，意識的に厳密には間違っている議論すら含んでいたり，
寓話的であったりすることですらあるような，
かなり得体の知れないものである
(引用終り)
さらに
スレ56より
https://rio2016.2ch.sc/test/read.cgi/math/1544924705/180
別に厳密性を犠牲にしろとは言っていない
厳密性のみを追い求めて、”記号列として記述された「死んだ」数学”で終わらずに
自分なりのイメージやビジョンを持つこと
佐藤幹夫先生はそんな人だと思うよ
- 11 ：
- 個人的には、下記類似” 先生>周りの人>知恵袋の人(固定ID)>>> 2ch（旧2CH）(固定IDなし)”と思う
http://rio2016.2ch.sc/test/read.cgi/math/1484442695/494
494 現代数学の系譜11 ガロア理論を読む 2017/04/17
前にも紹介したが、新入生もいるだろうから、下記再掲しておく。なお、信用できないに、私スレ主も含めること。定義から当然の帰結だが
https://note.chiebukuro.yahoo.co.jp/detail/n98014 （注：リンク切れているが、取り敢ずそのままです）
Yahoo 知恵袋
数学の勉強法 学部～修士
ライター：amane_ruriさん 最終:2012/8/6
(抜粋)
私は修士1年生ですので、正直に言いますとこの部分はあまり書いているのが正しいとは思えません。趣味で書いているものだと認識していただければ良いのではないかと思っております。
大学3、4年に入ってまず怖いのが数学の本の氾濫でしょう。まず何を読んで何をすればいいのか分からなくなります。
そして、自分のやっていることがいかにちっぽけな存在なのかというのを実感させられます。（多分皆がそうでしょう。）そして、結果が問われてきます。
ここで、数学科は「入るのは易しいけどプロになるのは難しい」ということが実感させられてきます。
2012年8月3日現在、書泉グランデで有名数学者の薦める本がありました。森重文先生を初めとして本の多さに圧倒されました。（足立恒雄先生は信頼と安心のブレなさ）
2. 2ｃｈの内容は信用できるか？
基本的に信用できません。先生>周りの人>>> 2ｃｈ*)や知恵袋の人です。何故かというといつも同じことしか言っていないから。多分きちんと検証していないで想像で議論しているだけではないのかと私は思っています。
（まあ、自分もあんまり信用できないけど）
数学をする場合は、問題が解けることも重要なのですが問題設定を作ることが大切です。そういう時に、どういう風に学んできたのかとか、正確な知識がどういう部分でどれだけ持っているのか、調和性や、生まれて来た環境っていうのが重要になってきます。
ただ、それがどうも2ｃｈ*)の人は見られない（し、そもそも偉そうなことを言っている人が本当にできるかどうか分からない。）。こういう類のものは勉強不足ですとか、分かっていませんでしたで済まされるものではないと個人的には思うのですが。
(引用終り)
- 12 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1484442695/338
338 現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/09(日) 23:46:26.46 ID:Rh9CzQs6
スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします
大体、私は、自分では、数学的な内容は、筆を起こさない主義です
じゃ、どうするかと言えば、出典明示とそこからの(抜粋)コピペです
まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます
が、それも基本、信用しないように
数学という学問は特に、自分以外は信用しないというのが基本ですし
”証明”とかいうらしいですね、数学では
その”証明”がしばしば、間違っていることがあるとか、うんぬんとか
有名な話で、有限単純群の分類
”出来た！”と宣言した大先生が居て、みんな信用していたら、何年も後になって、”実は証明に大穴が空いていた”とか
おいおい、競馬じゃないんだよ（＾＾；
https://ja.wikipedia.org/wiki/%E5%8D%98%E7%B4%94%E7%BE%A4
単純群
1981年にモンスター群が構成されてからすぐに、群論の研究者たちがすべての有限単純群を分類したという、合計10,000ページにも及ぶ証明が作られ、1983年にダニエル・ゴレンスタインが勝利を宣言した。
これは時期尚早だった、というのはいくつかのギャップが、特に準薄群（英語版）の分類野中で発見されたからである。このギャップは2004年に1300ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。
- 13 ：
- 補足
http://rio2016.2ch.sc/test/read.cgi/math/1492606081/352
352 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/29(土)
みんな、何に価値をおいているか、それぞれだろうが・・
個人的には、数学板で一番価値を置いているのは、確かな情報 つまり 根拠の明確な情報 つまり コピペ
わけのわからん名無しさん（素数さん）のカキコを真に受けるとか、価値をおく人は少ないだろう
きちんと、大学教員レベルの証明があればともかく、匿名板でそれはない（名無しカキコは基本価値なし）
テンプレは以上です
（テンプレ改善は、今後の課題です（＾＾； ）
- 14 ：
- メモ
https://ja.wikipedia.org/wiki/%E3%83%A4%E3%83%B3%E2%80%93%E3%83%9F%E3%83%AB%E3%82%BA%E6%96%B9%E7%A8%8B%E5%BC%8F%E3%81%A8%E8%B3%AA%E9%87%8F%E3%82%AE%E3%83%A3%E3%83%83%E3%83%97%E5%95%8F%E9%A1%8C
ヤン?ミルズ方程式と質量ギャップ問題
(抜粋)
量子色力学および数学上の未解決問題である。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次元ユークリッド空間であり、質量ギャップ（英語版） Δ はこの理論によって予言される最小質量を持つ粒子の質量である。
従って、受賞者となるには以下を証明する必要がある。
ヤン・ミルズ理論が存在し、現代の数理物理学、なかんづく構成的場の理論を特徴付けている厳密さの基準を満たすこと[2][3]。
その理論が予言する力場における最小質量を有する粒子の質量が厳密に正であること。
たとえば、G=SU(3) （強い力の相互作用）である場合は、グルーボールの質量に下限が存在し、それより軽くはできないことを証明する必要がある。
つづく
- 15 ：
- >>14
つづき
ヤン・ミルズ理論の重要性
4次元で最も有名かつ非自明な（つまり相互作用を持つ）場の量子論は、カットオフ（英語版）スケールを持つ有効場の理論である。
ほとんどのモデルに対しベータ関数は正であるから、そのようなモデルの殆どはランダウ極（英語版）(Landau pole)を持つと思われる。
何故ならそれらが非自明なUV固定点（英語版）を持つか否かは全く明らかでないからである。
このことから、もしそのような場の量子論がすべてのスケールでwell-definedならば（公理的場の量子論（英語版）の公理を満たすなら当然その筈だが）、その理論は自明（つまり自由場の理論）でなければならないことが分る。
しかし、非可換なゲージ群を持ちクォークを持たない量子ヤン＝ミルズ理論（英語版）はこの例外である。
なぜなら、そのような理論は漸近的自由性を持つので、自明なUV固定点が存在するからである。
従って、これが 4次元で最も単純かつ非自明で構成的な量子場理論となる。因みに量子色力学(QCD)はクォークを持つので、より複雑な理論である。
https://en.wikipedia.org/wiki/Yang%E2%80%93Mills_existence_and_mass_gap
Yang?Mills existence and mass gap
(抜粋)
Importance of Yang?Mills theory
Most known and nontrivial (i.e. interacting) quantum field theories in 4 dimensions are effective field theories with a cutoff scale.
Since the beta-function is positive for most models, it appears that most such models have a Landau pole as it is not at all clear whether or not they have nontrivial UV fixed points.
This means that if such a QFT is well-defined at all scales, as it has to be to satisfy the axioms of axiomatic quantum field theory, it would have to be trivial (i.e. a free field theory).
Quantum Yang-Mills theory with a non-abelian gauge group and no quarks is an exception, because asymptotic freedom characterizes this theory, meaning that it has a trivial UV fixed point.
Hence it is the simplest nontrivial constructive QFT in 4 dimensions. (QCD is a more complicated theory because it involves quarks.)
(引用終り)
以上
- 16 ：
- メモ
下記、三輪 哲二先生の博士論文要旨だが論文本体が出てこない。おそらく手書きかもｗ（＾＾
代わりに、数理解析研究所講究録 (1981) クリフォード演算子とリーマンの問題を、引用しておく
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/222993/1/yrigr00723.pdf
三輪 哲二
博 第 723号
昭 和 56年 3 月 23 日CliぽordoperatorsandRiemann'smonodromyproblem
(クリフォード演算子 とリーマンのモノドロミー問題)
(主 査)
論 文 調 査 委 員
教 授 佐藤 幹夫
教 授 松浦 重武
教 授 一松 信
1976年前後に,それまでまったく無関係と思われたいくつかの概念(ある種の量子場のオペレーター,
クリフォード群,線型倣分方程式の変形理論)の間に,新しい重要な関連の存在することが明らかになっ
た｡その理論は,申請者の参考論文(〔7〕～〔24〕)において,申請者と佐藤幹夫･神保道夫を中心とする共
同研究として展開されて来た0本論文は,この発展を踏まえた上で,線型常微分方程式系のモノドロミー
に関する,拡張された意味での リーマンの問題を記述するホロノーム量子場 (クリフォード演算子)を,
任意数の確定および不確定型特異点の分布をもつ場合に構成し,その性質を解明した｡ これは, これまで
に参考論文において,特別な場合または個々の物理的問題に必要な場合について個別に解決されて来たと
ころの基本問題を,最も一般的な場合に一挙に解決した画期的な論文である｡
この一連の論文の背景にあるのは次の諸問題である｡
(1) モノドロミーに関するリーマンの問題 とパンルヴェの超越函数｡
前世紀すでに リーマンはモノドロミ一群の重要性に注目し, これによって微分方程式および解析函数を
とらえるべきことを強調した一方,今世紀初めパンルヴェは, 楕円函数が動 く分岐点をもたぬ 1階
非線型常微分方程式によって特徴づけられることに着目して,同様な2階の方程式の研究に挑戦し,最終
点に 6種塀の全く新しい函数 (パンルヴェ超越函数, Ⅰ型～Ⅵ型)に帰着することを発見した。
つづく
- 17 ：
- >>16
つづき
その直後,
ガルニエ,シュレジンガーらは, リーマンの思想を実行に移して,モノドロミー保存的変形を研究し,そ
のような変形が非線型微分方程式によって記述できること, とくに 2階単独方程式の変形の場合にはそれ
がパンルヴェの発見した 6種類の方程式に帰着できることを明らかにし,パンルヴェ超越函数の背景に
リーマンの問題が横たわっていることを示 したのであった。
これらは今世紀初期の解析学における重要な達成であったが,難解な深い理論として敬遠され,半世紀
に及ぶ長い間,半ば忘れられていた。
(2) 統計力学における2次元イジング模型｡
強磁性の最も簡単なモデルである2次元イジング模型は,オンサーガー によってその自由エネルギ
-の厳摩解がつとに与えられていたが,その相関函数の厳密解は1970年代車ごろに T.T.ウー, B.マッコイ
らのグループによって初めて成し遂げられた｡彼らは 2点相関函数の厳密解を,多重債分の無限級数
の形で正しく求め,さらにそれがオンサーガ-理論で与えられている臨界温度の近傍でのいもゆるスケー
ル極限において,上記に述べたパンルヴェ超越函数の一つ (Ⅲ型)によって閉じた形に表わされることを
見出した.これは 2次元イジング模型について,オンサーガ-以後30年ぶりに得られた決定的な結果であ
って,申請者らの研究の出発点となったものである｡
申請者は,共同研究者佐藤および神保とともに, ウーらの結果にパンルヴェ函数が現われた著しい事実
の根拠を省察し,結局その事実の背後には場の量子論とモノドロミー理論の間の予期されなかった一般的
関係の存在することを見出すに至って,これをホロノーム量子場の理論として体系づけたものである｡そ
の応用として, ウーらの結果を拡張して 2次元イジング模型のn点相関函数を厳密に求めたほか,場の量
子論における2次元のフェダープッシュ模型のn点グリーン函数, 1次元不透過ボーズガスのn粒子密度
行列,等がいずれもモノドロミー保存変形理論にもとづき拡張された意味のパンルヴェ型多変数超越函数
として厳密にかつ閉じた形で求められた｡(参考論文〔7〕～〔15〕,〔18〕)
つづく
- 18 ：
- >>17
つづき
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/102450/1/0414-12.pdf
クリフォード演算子とリーマンの問題 (Non-Linear Waves : Classical Theory and Quantum Theory)
Author(s) 三輪, 哲二
Citation 数理解析研究所講究録 (1981), 414: 212-223
Issue Date 1981-01
(引用終り)
以上
- 19 ：
- メモ
”層は、関数の圏論化である”か
そうかｗ
そうだったんだ（＾＾；
https://abductionri.jimdo.com/%E7%A0%94%E7%A9%B6%E4%BC%9A%E5%90%88-1/
(抜粋)
第118回アブダクション研究会開催のご案内 18.02.17 福永 征夫
118th180217.pdf PDFファイル 3.1 MB ダウンロード
https://abductionri.jimdo.com/app/download/11180429091/118th180217.pdf?t=1571098599
（以下PDFのキャッシュから）
https://webcache.googleusercontent.com/search?q=cache:rsf6cigo_sQJ:https://abductionri.jimdo.com/app/download/11180429091/118th180217.pdf%3Ft%3D1535840720+&cd=2&hl=ja&ct=clnk&gl=jp
(抜粋)
（１）第１１７回アブダクション研究会のご報告をします。
■２０１７年１１月２６日（日）に開催しました第１１７回アブダクション研究会は、
『「数学の大統一に挑む」／エドワード・フレンケル著＝201５文藝春秋／を輪読研究して壮大な数学プロジェクトの意義を学ぶ』という重要なテーマで、
大河原敏男氏と世話人の福永征夫が解説発表を分担し合うとともに、
北村晃男氏の積極的な参画を得て、異なる数学の領域に架け橋をかける「ラングランズ・プログラム」の概要とその本質に関する基本的な理解につながる貴重な研鑽の機会を得ることができました。
「数学の大統一に挑む」の章立ては次の通りです。
第十四章「層」という考え方（PDFのP95）
数からベクトルへ
【163】層とは何かを説明するために、数について話をしよう
【169】集合から圏へのパラダイム・シフトは、現代数学の駆動力のひとつになっている。
その動きのことを「圏論化」と言う。
それはいわば、新しい世界を作ろうとしているようなものだ。
その世界においては、慣れ親しんだ概念が、より高いレベルのものに高められる。
例えば、数はベクトル空間に置き換えられる。
すると当然ながら、次なる疑問が浮かび上がる。
その新しい世界では、関数は何になるのだろうか？
つづく
- 20 ：
- >>19
つづき
【172】さて、多様体Sの各点に割り当てるものを、数からベクトル空間に変えてみよう。
そうすると、多様体S内の各点sに数を割り当てるルール（関数）の代わりに、ベクトル空間を割り当てるルールが必要になる。
そのような規則のことを、「層」と呼ぶ。層をFで表すと、点sに割り振られたベクトル空間は、F(s)となる。
【173】つまり、関数と層との違いは、多様体Sの各点に割り当てるものの違いなのだ。
関数の場合には、数を割り当てるのに対し、層の場合には、ベクトル空間を割り当てる。
与えられた層に対して、各点sごとに割り当てられるベクトル空間の次元は、それぞれ異なっていてもよい。
例えば、次の図（図14?１）では、ほとんどのベクトル空間は平面（二次元ベクトル空間）だが、
ひとつは直線（一次元ベクトル空間）になっている。
ベクトル空間が、数の圏論化であるように、層は、関数の圏論化である。
つづく
- 21 ：
- >>20
つづき
【175】当面われわれにとって重要なのは、関数と層の間に、深いアナロジーがあるということだ。
それを発見したのが、偉大なフランスの数学者アレクサンドル・グロタンディークである。
彼はほとんど単独で、現代の代数幾何学を作ったのみならず、数学に対するわれわれの考え方をすっかり変えてしまった。
ラングランズ・プログラムを幾何学的に再定式化するためにわれわれは、関数と層との間で言葉を翻訳するための辞書を利用したが、
その辞書こそは、グロタンディークの仕事を特徴づける深い洞察の見事な一例なのである。
【177】グロタンディークのアイディアに話を戻そう。
はじめに、ヴェイユのロゼッタストーンの真ん中のコラムに注目しよう。
そして有限体上の曲線と、より一般的な有限体上の多様体について調べる。
これらの多様体は、多項方程式の系によって定義される。
例えば、第９章で扱った、y^２＋y＝x^３?x^２もそのひとつである。
そのような多様体上に、ひとつの層があると仮定しよう。
層は多様体上の各点に、ベクトル空間を割り当てるルールだが、
実はさらに構造を持っている。
層の概念は、今考えている多様体が定義されている数の体系（この場合は有限体）の任意の対称変換から、
そのベクトル空間の対称変換が生じるように定義されているのである。
特に、有限体のガロア群の元であるフロベニウス写像からは、
このベクトル空間の対称変換（例えば回転や伸張など）が必然的に生じる。
【178】さて、ベクトル空間に何らかの対称変換があれば、そこからひとつの数を作り出すことができる。
そのための標準的なテクニックがある。
例えば、今考えているベクトル空間が直線なら、
フロベニウス写像から得られるこの空間の対称変換は伸張である
??つまり、各元zが、ある数Aにより、Ａzに変滑ｷされる。この荘ﾎ称変換から作ｂ轤黷髏狽ﾍ、Ａｂﾉ他ならない。
つづく
- 22 ：
- >>21
つづき
【180】だが、関数から層へと戻る自然な方法はない。
それができるのは、ある種の関数だけであって、全ての関数でできるわけではないのだ。
しかし、もしもそれができれば、その層は、関数には持ち得ない付加的な情報をたくさん持っているだろう。
するとその情報を利用することにより、その関数の核心に迫ることができる。
注目すべき事実は、ラングランズ・プログラム（ヴェイユのロゼッタストーンの真ん中のコラムで）に現れる関数のほとんどは、
確かに層に由来するということだ。
【181】関数は数学全体を通じて重要な概念のひとつであり、数学者たちは何世紀も前から関数を研究してきた。
関数という概念は、温度や気圧を考えることで、直感的に捉えることができる。
しかし、グロタンディーク以前は誰ひとりとして気づかなかったことがある。
それは、有限体上の多様体（例えば有限体上の曲線など）という文脈に身をおくなら、
われわれは関数を超えて、層を相手にできるということだ。
あるいはこうも言えるかもしれない。
関数は古い数学の概念であり、層は現代数学の概念である、と。
グロタンディークは、色々な意味において、
層の方がより基本的だということを示した。
古き良き関数たちは、層の影に過ぎないのである。
【182】この発見が刺激となって、20世紀の後半に数学は大きく発展することになった。
なぜなら層は、関数よりもはるかに重要で、幅広い状況に適用できる数学的対象であり、ずっと多くの構造を持つからだ。
例えば、ひとつの層がいくつもの対称変換を持つこともある。
関数を層に格上げすれば、それらの対称変換を利用して、
関数を扱った場合よりも、はるかに多くの情報を得ることができるのだ。
(引用終り)
以上
- 23 ：
- ” ポアンカレ”
「この生産力と不正確さがポアンカレの特徴である」か
そういう人もいるんだなｗ（＾＾；
https://www2.tsuda.ac.jp/suukeiken/math/suugakushi/
数学史シンポジウム報告集
https://www2.tsuda.ac.jp/suukeiken/math/suugakushi/sympo14/
第14回数学史シンポジウム(2003.10.25?26) 所報 25 2004
https://www2.tsuda.ac.jp/suukeiken/math/suugakushi/sympo14/14_4sekiguchi.pdf
クラインとポアンカレの往復書簡について 保型関数論の源流 関口次郎東京農工大学 工学部2003
(抜粋)
2.2 クラインの「正20面体と5次方程式」
クラインが，正20面体，より正確には正20面体群というべきかもしれないが，
に関心をもったひとつの理由は2 正20面体群はアーベル群でないもっとも位数の小さい
有限単純群だからである.また，クラインはまだ確率されてからそれほどの時期のたって
いないリーマンの関数論とガロアの群論とを統合することを試みていたことも理由の一
つである.さらには， 5次代数方程式が代数的に解けないとはいってもそれではどういう
関数を使って解を記述できるか，という問題も当時はきわめて熱をおびていた話題だった
ことも理由にあげていいのかもしれない.
クラインは1874年頃にその頃まだ一般的でなかったリーマン流の関数論と難解だった
ガロアの群論とを結びつけることを自的として研究を開始した。
2次元球面S^2を複素射影直線P1(C)と同一視する.これはリーマンの考え方である。
P1(C)の1次分数変換から生成される有限群を考える.これはガロアのアイデアである。
このような有限群は巡回群，正2面体群，あるいは正多面体群のいずれかになる。
このようにして自然に正多面体が登場する。
つづく
- 24 ：
- >>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年に彼は偏微分方程式を主題にした学位論文をパリ大学に提出した.その学位論文
は多くのいい論題について十分なアイデアを含んでいるが，いくつかの点で訂正したり
より厳密にする必要があるとダルブー(J.G. Darboux，1842-1917)は述べているそうである.
この生産力と不正確さがポアンカレの特徴である.すなわち，アイデアはまさしく
ガウスのように素早くほとばしるが，自らの発見を見直して洗練させて仕上げるために
時間を費やすことはしなかったようである. 1879年12月1日にカーンの鉱山学校に就職し，
理学部の解析教程の講義を担当した.
いかなる理由でポアンカレは鉱山学校に進学したのだろうか.また，カーンというのは
フランスのどこに位置するかは、地図を見ればわかることだが，カーンの鉱山学校とは偉大
な数学者ポアンカレにふさわしい職場だったのかどうか.こういうことについてはすでに
定説があると思われるので深入りしない.
1881年の時点で27歳である。まだ新進気鋭の数学者という段階だった。
(引用終り)
以上
- 25 ：
- >>23 関連
https://www.maruzen-publishing.co.jp/item/?book_no=294335
丸善
正20面体と5次方程式 改訂新版
数学クラシックス 5
正20面体と5次方程式 改訂新版
原書名 Vorlesungen uber das Ikosaeder und die Auflosung der Gleichungen vom funften Grade
著者名 関口 次郎 訳
前田 博信 訳
発行元 丸善出版
発行年月日 2005年01月
内容紹介
19世紀を代表する数学者の一人クラインが、正20面体に内在する数学的構造を体系的に解説する名著。この改訂版では、これまで英訳も存在せずドイツ語でしか読めなかった数学者スロードウィー（1948～2002）による解説・注釈も収録。
目次
第Ⅰ部 正20面体の理論
第１章 正多面体と群論
第２章 ( x + iy ) の導入
第３章 基本問題の定式化と関数論的考察
第４章 基本課題の代数的性質について
第５章 一般的な定理と観点
第Ⅱ部 ５次方程式の理論
第１章 ５次方程式の理論の史的展開
第２章 幾何学的手段の導入
第３章 ５次主方程式
第４章 Ａの問題と６次ヤコビ方程式
第５章 一般５次方程式
付録Ａ 本文への注釈
- 26 ：
- 転載
スレ78 https://rio2016.2ch.sc/test/read.cgi/math/1571400076/914
914 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2019/11/12(火) 07:19:21.12 ID:bgnQJNQo [2/4]
(抜粋)
>>847
>時枝不成立を名言した大学教員
> 該当者無し
まず添削
名言
↓
明言
な（＾＾
で、数学では、査読のある専門誌に載った定理のみが、成立するとして信頼して良いってこと
査読雑誌に載らないのはだめだよ
（あと、古典で標準教科書に載る定理も可だ）
例えば、IUTはいまだ査読のある専門誌に掲載されない
ペレルマンの三次元ポアンカレ予想解決は、arXivに投稿された（後述）
これを、皆で勝手査読して正しいとして、フィールズ賞を出した。受取らなかったが
時枝問題は、皆無
お遊びホームページと査読のない数学セミナー誌のみ
時枝は、数学セミナーの記事後半で、前段を否定している
１）計量ができないのに、99/100を導きました
２）確率変数の独立と、99/100とは矛盾しています
という
おサルは、前段のみを採用し、
後段は時枝の間違いか無関係とのたまう
（参考）
https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AA%E3%82%B4%E3%83%AA%E3%83%BC%E3%83%BB%E3%83%9A%E3%83%AC%E3%83%AB%E3%83%9E%E3%83%B3
グリゴリー・ペレルマン
(抜粋)
ペレルマンとポアンカレ予想
arXiv で以下の3つのプレプリント (Preprint) を発表し、ポアンカレ予想を解決したと宣言した。
The entropy formula for the Ricci flow and its geometric applications, 2002年11月11日
Ricci flow with surgery on three-manifolds, 2003年3月10日
Finite extinction time for the solutions to the Ricci flow on certain three-manifolds, 2003年7月17日
- 27 ：
- 下記は、次のスレでは、テンプレに入れる（＾＾
現代数学の系譜 カントル 超限集合論
https://rio2016.2ch.sc/test/read.cgi/math/1570237031/472-
- 28 ：
- 憐れだねえ
- 29 ：
- メモ
Inter-universal geometry と ABC予想 42
https://rio2016.2ch.sc/test/read.cgi/math/1572150086/197-
197 名前：１３２人目の素数さん[sage] 投稿日：2019/11/16(土) 05:31:51.44 ID:xkrFqYQ6
星の入門論文、初版より大幅アップデートされてるな！
(引用終り)
これか
http://www.kurims.kyoto-u.ac.jp/~yuichiro/papers.html
星裕一の論文
http://www.kurims.kyoto-u.ac.jp/~yuichiro/introduction_to_inter-universal_teichmuller_theory.pdf
宇宙際 Teichmuller 理論入門 (PDF)
RIMS Kokyuroku Bessatsu B76 (2019), 79-183.
（関連）
http://www.kurims.kyoto-u.ac.jp/~yuichiro/introduction_to_inter-universal_teichmuller_theory_continued.pdf
続 ? 宇宙際 Teichmuller 理論入門 (PDF)
RIMS Kokyuroku Bessatsu B72 (2018), 209-307.
- 30 ：
- >>28
べつに
静かでいいわ
おサルはいらんぜｗ（＾＾；
- 31 ：
- >>29
IUT ：”2012年8月に以下の4つの論文がプリプリントとして、望月氏のホームページで公開された”
当時、３年くらいで決着（正しいと認められる）と思ったけど
7年経っても決着まだとは
数学でこんなことがあるんだねｗ（＾＾；
https://ja.yourpedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
宇宙際タイヒミュラー理論 は2012年に望月新一による Inter-universal Teichmuller Theory と題された一連の論文の中で展開された理論である。ABC予想やVojta予想などの未解決問題を解決したとされるが、2014年の段階では検証は終わっていない。
目次
1 論文について
2 宇宙際について
3 楕円曲線と高さの理論
4 ディオファントス幾何
5 ホッジ＝アラケロフ幾何
6 フロベニオイド
7 遠アーベル幾何
8 ホッジ舞台
9 対数殻
10 核性
11 多輻的復元アルゴリズム
12 テート＝セミツイスト
13 数学基礎論による厳密な定式化
14 関連
15 参考文献
16 外部リンク
論文について
2012年8月に以下の4つの論文がプリプリントとして、望月氏のホームページで公開された。 公開目的は専門家による学問的検証であり、一般社会へ向けたものではないとしている。
Inter-universal Teichmuller Theory I: Construction of Hodge Theaters.
Inter-universal Teichmuller Theory II: Hodge-Arakelov-theoretic Evaluation.
Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice.
Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations.
- 32 ：
- >>31
>https://ja.yourpedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
>宇宙際タイヒミュラー理論
>ウィキペディアにも「宇宙際タイヒミュラー理論」の項目が執筆されていましたが、削除されてしまいました。
あれ？
英語ウィキペディアは健在ですね （＾＾；
https://en.wikipedia.org/wiki/Inter-universal_Teichm%C3%BCller_theory
Inter-universal Teichmuller theory
(抜粋)
History
In March 2018, Peter Scholze and Jakob Stix visited Kyoto University for five days of discussions with Mochizuki and Yuichiro Hoshi; while this did not resolve the differences, it brought into focus where the difficulties lay.[8][10]
It also resulted in the publication of reports of the discussion by both sides:
- 33 ：
- STAPだってあるんだから
ダメでも英文みたく歴史的記録として残すべきだろうな
https://ja.wikipedia.org/wiki/STAP
STAP
出典: フリー百科事典『ウィキペディア（Wikipedia）』
ナビゲーションに移動検索に移動
STAP細胞 - 刺激惹起性多能性獲得細胞
STAP(Signal-transducing adapter protein) - アダプタータンパク質の一種で、STAP1やSTAP2がある。
- 34 ：
- >>32
日本村では、IUTに表だってダメ出しする人はいない
なんとか、OKが出ることを祈っている
まあOK出るんじゃないですか？（＾＾
- 35 ：
- ”5位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 32 19”か、まあまあですな
”2位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 1001 34”は、もうすぐ消える
”3位 = 0.99999……は１ではない その３ 394 26”は、哀れな素人さんスレだろｗ（＾＾
http://49.212.78.147/index.html?board=math
数学：2ch勢いランキング
11月17日 0:05:28 更新
順位 6H前比 スレッドタイトル レス数 勢い
1位 = フェルマーの最終定理の簡単な証明2 433 41
2位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 1001 34
3位 = 0.99999……は１ではない その３ 394 26
4位 = プログラミングBASIC言語について。 66 21
5位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 32 19
6位 = 数学の本 第87巻 44 17
7位 = 【未解決問題】奇数の完全数が存在しないことの証明5 972 15
8位 = 高校数学の質問スレPart402 326 14
9位 = 現代数学の系譜 カントル 超限集合論 475 11
10位 = Inter-universal geometry と ABC予想 42 203 10
18位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む58 903 3
- 36 ：
- >>35 補足
１）
1位 = フェルマーの最終定理の簡単な証明：これはトンデモ
https://rio2016.2ch.sc/test/read.cgi/math/1572998533/1-
２）
2位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78：これは1001で終わったスレ
３）
3位 = 0.99999……は１ではない その３：哀れな素人さんスレ（＾＾；
４）
4位 = プログラミングBASIC言語について：トンデモに近いな
https://rio2016.2ch.sc/test/read.cgi/math/1573635692/
５）
5位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79：このスレです。まともな数学スレとして、1位だろｗ（＾＾
蛇足
9位 = 現代数学の系譜 カントル 超限集合論 475 11
18位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む58 903 3
この2つがランキング上位に出てくること自体が
2ch数学板の寂れと惨状を示しているんじゃないかな？（＾＾；
（まあ、ガロアスレの初代のころは、まだましだったように思う。
その後、SNS（含むLINE）の勃興で、
2chはSNSと競合していると思う。
災害時の情報では、2chよりツイッターの方が使える場合が多いと思うよ。
そんなこんなで、2ch数学板もまともな人が少なくなったように思う
2chには2chの良さがあるとは思うのだが）
蛇足の蛇足
・おれ一人でも、ガロアスレは勢いで10くらいは出せる。トップテンには常時入るだろう
・そもそも、ここはおれの数学ブログみたなものと思ってくれ
で、自分で、数学ブログなんか立ち上げてもさ、人っ子一人来ないだろう
ここの方がましってことさ（＾＾
- 37 ：
- メモ
数学ソフトでも
今後、クラウドで大規模・高速計算をやるケース増えるだろうね
科研費とか使って
https://www.otsuka-shokai.co.jp/words/on-premises.html
オンプレミス 制作協力：株式会社インプレス [2018年 8月20日 公開] 大塚商会
読み方 ： おんぷれみす
オンプレミスとは
プレミス（premise）は「構内」「店内」の意味。オンプレミスは、サーバーやソフトウェアなどの情報システムを、使用者が管理している施設の構内に機器を設置して運用することを指す。「オンプレ」と略されることもあるほか、「自社運用」とも呼ばれる。
オンプレミスは自社で構築するため、システムを柔軟にカスタマイズしやすく、自社システムと連携しやすいというメリットがある。また、セキュリティ面でも自社のネットワーク内でシステムを動かすため、第三者が入りにくく、安全性が高いこともメリットの1つに数えられる。
その反面、すべてを自社で用意するため初期コストがかかる上、構築にも時間がかかるというデメリットもある。またネットワークの障害など、トラブルが起きたときも自社で対応しなければならないところにも留意すべきだろう。
2000年代半ば以降、クラウドサービスが浸透するにつれ、オンプレミスからクラウドへ移行する傾向が強くなった。そもそもクラウドとは、サーバーやシステムを自社に置かず、ネットワーク経由でサービスを使う形態のことである。
サーバーなどのインフラ環境があらかじめ拡張可能な仮想環境で提供されるため、利用者は必要な分だけ利用料金を支払うだけとなり、コストを抑えられることが、クラウドに移行する傾向を強めた大きな理由であった。
しかし、最近ではカスタム性の高さなどからオンプレミスの良さも見直されて、クラウドとオンプレミスのいいところを相互に取り入れる「ハイブリッドクラウド」が注目されるようになっている。
- 38 ：
- ブレイド群(braid group)（組みひも群とも呼ぶ）の歴史は、英文と比較すると、むちゃ誤訳やね（＾＾
https://ja.wikipedia.org/wiki/%E3%83%96%E3%83%AC%E3%82%A4%E3%83%89%E7%BE%A4
数学において、n 本の糸のブレイド群(braid group)（組みひも群とも呼ぶ）は、Bnと記し、
直感的には幾何学的に描かれる群であり、ある意味で 対称群 Sn を一般化する。
ここに n は自然数であり、n > 1 であれば、Bn は無限群（英語版）(infinite group)である。
ブレイド群は、結び目をあるブレイド（組みひも）の閉じた形として表現することができるので、結び目理論に応用を持つ。
目次
1 はじめに
1.1 直感的な記述
1.2 数学的な扱い
1.3 歴史
歴史
ブレイド群は1925年にエミール・アルティン(Emil Artin)により明示的に導入された。、しかし、（1974年にウィルヘルム・マグナス（英語版）(Wilhelm Magnus)が指摘しているように[1]、)すでに暗には、ブレイドは、1981年のアドルフ・フルヴィッツ(Adolf Hurwitz)のモノドロミーの仕事の中に現れていた。
実際、マグナスは、フルヴィッツはブレイド群を配置空間の基本群として解釈していて（組みひも理論を参照）、
1962年にラルフ・フォックス（英語版）(Ralph Fox)とレー・ノイヴィルス（英語版）(Lee Neuwirth)により再発見されるまで、
この見方をもたらす解釈は失われていた。
https://en.wikipedia.org/wiki/Braid_group
Braid group
History
Braid groups were introduced explicitly by Emil Artin in 1925, although (as Wilhelm Magnus pointed out in 1974[10]) they were already implicit in Adolf Hurwitz's work on monodromy from 1891.
Braid groups may be described by explicit presentations, as was shown by Emil Artin in 1947.[11] Braid groups are also understood by a deeper mathematical interpretation: as the fundamental group of certain configuration spaces.[11]
As Magnus says, Hurwitz gave the interpretation of a braid group as the fundamental group of a configuration space (cf. braid theory), an interpretation that was lost from view until it was rediscovered by Ralph Fox and Lee Neuwirth in 1962.[12]
- 39 ：
- >>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 ：
- メモ
小松彦三郎先生は、東京理科大へ行かれたのか
http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1257-9.pdf
数理解析研究所講究録 1257 巻 2002 年 88-121
リーマンの 「?複素変量の関数一般論のための基礎」
東京理科大学理学部 小松彦三郎 (Hikosaburo Komatsu)
山形県立鶴岡工業高校 井上 鉄也 (Tetsuya Inoue)
東京理科大学大学院理学研究科に 3 年前理数教育専攻という新しい専攻ができた。今度の学習指
導要領で 「総合的な学習の時間」 という従来の学科とは全く異なる教科が新設されるのを先取りし
て、 これに対応できる理系の教師を養或するのが目的である。私は、 はからずも、 この専攻の担当
となり、 数学史を研究する学生を受け入れることにした。数学史の研究は必然的に総合的な学習と
なるからである。私は、 まず、 学生に原典を 1 っ選ひ、 それを始めから終ゎりまで完全に読むよう
に指導している。私が見た数学史の本の多くは他の数学史家が書いたものを論拠として議論を進め
ており、 数学を作った人たちの真意を正 $\circ$しくとらえてぃるかどぅかよくゎからない。その上、 人が
本を読んで知ることができることは、読む前からその人が知ってぃたことにごくゎずかをっけ加え
るに過ぎない。重要な文献は、 人をかえ、 時代をかえて繰り返し読まれるべきものである。
この論文は平或 12 年 3 月に修士課程を修了した井上鉄也君の修士論文『原論文にみるリーマンの関
数論「?複素変量の関数一般論のための基礎」 につぃて』 の第 3 章である Bernhard Riemann
の博士論文 Grundlagen fiir eine allgemeine Theorie der Hhnctionen einer ver\"anderlichen
complexen Gr\"osse の全訳を多少手直ししたものである。 テキストとしては H. Weber が編集し
た全集の Dover 社版を用いた。最近 Springer 社から新しい全集が出版されたが、 第 15 節の後の
3 つの星印を除いてテキストに異同はないようである。私の知るかぎり、 これまで日本語に訳され
たものはない。
つづく
- 41 ：
- >>40
つづき
ドイツ語のテキストを理解することと、 それを正しく日本語に書き表ゎすことは別のことである。
このような文章を訳すにはなるべく直訳すべきであろうが、必ずしもそうしながった。 日本語は数学
を表現するのに十分な言語であり、 ドイッ語の構文は一部日本語に似てぃる。 しかし、 どぅにもな
らない差もある。 ショーペンハウアが皮肉ってぃるように、 19 世紀のドイッ語では形容詞が残っ
ているときには同じ名詞を極端に省略してしまう。
論文の内容は、 巻末にリーマン自身が書いたという要旨があるのでそれをみればわかるが、 以下
ざっと紹介することにしよう。
初めに実区間上の連続関数につぃて少しばがり論じている。 ウェーバーが付けた注 1 によれぼ
リーマンは既に ε－δ 式定義を知っていたというが、 この論文の立場は明らかに違う。連続関数が微
分できるのは当然だとしている。 これにつぃては、 アンペールの 『証明』 まであるそうである。注
1 の baet\"andige Endlichkeit が何を意味するのかよく分がらないが、 あるいは後にハイネやボル
ツァーノが導入したコンパクトを意味したのかもしれない。第 16 節のディリクレ原理の証明は、 も
し無限次元の試料関数の空間でも有界閉集合上の連続汎関数に常に最小値があるのであれば、 ほぼ
正しく書かれている。 この場合、 試料関数全体は有界でないため、 遠くに行けば汎関数も大きくな
ることをいっておかなければならない。
ー複素変量の関数一般論のための基礎
(ゲッティンゲン大学学位論文 1851 年 ; 無修正の第 2 刷ゲッティンゲン、 1867 年)
ベルンハルト・リーマン 井上鉄也、小松彦三郎訳
(引用終り)
以上
注：これ(抜粋)な（＾＾
- 42 ：
- 関連
アマゾン （URLがNGなので、キーワードでググれ（＾＾ ）
リーマンに学ぶ複素関数論 ―1変数複素解析の源流 2019/6/25
高瀬正仁 (著)
(抜粋)
商品の説明
内容紹介
1変数複素関数論のはじまりの景色を眺めよう. リーマンは学位論文「1個の複素変化量の関数の一般理論の基礎」(1851年)において,複素変数関数論の基礎理論を構築しました.本書のねらいは,この論文に現れたリーマンのアイデアを再現することです
リーマンの言葉に丹念に耳を傾けて,リーマンの心情に寄り添いながら学位論文を読み解いていきましょう. (「はじめに」より抜粋)
内容（「BOOK」データベースより）
数学を創ろう!リーマンの学位論文を読もう!
著者略歴 (「BOOK著者紹介情報」より)
高瀬/正仁
昭和26年(1951年)、群馬県勢多郡東村(現在みどり市)に生れる。数学者・数学史家。専門は多変数関数論と近代数学史。2009年度日本数学会賞出版賞受賞。
単行本: 181ページ
出版社: 現代数学社
1件のカスタマーレビュー
トップレビュー
susumukuni
VINEメンバー
5つ星のうち5.0愛好家ならばぜひ読みたいリーマンの学位論文を解読する素敵な書
2019年7月1日
Amazonで購入
リーマンの有名な学位論文「1複素変数関数の一般論の基礎」（1851年11月）を解読する面白い書が刊行された。
「1変数複素解析の源流」という副題が添えられているが、この学位論文では1変数複素解析の基礎とされるコーシーの積分定理・積分公式、留数定理、有理型関数の特異点での挙動、などには触れられていない。
何故なら、本質的に多価関数である1変数の代数関数を自在に扱える基盤を確立し、その上で代数関数とその積分（アーベル積分）の理論を展開することがリーマンの真意であったからである。
複素解析の歴史に詳しい方は、1851年の学位論文が前半部の基盤の構築に相当し、1857年の有名な論文「アーベル関数の理論」が後半部の代数関数とアーベル積分論の展開に相当することをご存知であろう
（『リーマン論文集』（朝倉書店、2004年）の第1章と第3章にこれらの邦訳と解説があるので、興味がある方はぜひ精読されることをお薦めしたい）。
- 43 ：
- http://www.math.s.chiba-u.ac.jp/~yasuda/
Yasuda's Home Page 千葉大
http://www.math.s.chiba-u.ac.jp/~yasuda/toku05/denki_math_02.pdf
Page 1
denki_math_02 : 2008/4/6(17:48)
第1章複素関数論の基礎
(抜粋)
1814 年にコーシーが複素関数論を始め、複素数を変数に取る解析関数や複素積分が論じられるようになった。
1831 年に、機は熟したとみたガウスが、複素平面を論じ、複素平面はガウス平面として知られるようになった。
ここに、虚数に対する否定的な視点は完全に取り除かれ、複素数が受け入れられていくようになる。
実は、ガウスはベッセルより前の 1796 年には、ガウス平面の考えに到達していた。
1799 年に提出されたガウスの学位論文は、今日、代数学の基本定理と呼ばれる定理の証明であり、
複素数の重要な特徴付けを行うものだが、複素数の概念を表に出さずに巧妙に隠して論じている
リーマン自身は自分の数学理論を物理学に応用したいと考えていたが、
彼は準備していた研究を十分に公表するには至らなかった。
リーマンの主要な後継者はリーマンロッホの定理で知られるグスタフ・ロッホと代数曲線論を発展させた
アルフレッド・クレプシュのだったが、この二人は若くしてなくなってしまった。
ゴルタンもリーマンとの交流があったが、不変式論で独自の研究へと進んでいった。
現在では、リーマンの数学的業績の多くがさまざまな分野に浸透しているが、
19 世紀には、複素解析の基礎づけもリーマン幾何学も正当な評価を得ていなかった。
複素解析の分野では、ワイエルシュトラスがリーマンの複素解析の基礎づけにギャップがあることを指摘したため、
多くの数学者が疑念を共有するようになった。
つづく
- 44 ：
- >>43
つづき
だが、フェリックスクラインはリーマンの複素解析に関する論文を発表し、
この分野での研究を促していった。1900 年には、ヒルベルトがワイエルシュト
ラスが指摘したディリクレの原理の問題を解決し、その後、ヘルマン・ワイルがリーマン面を厳密に定義したことで、
リーマンの複素解析での業績は再評価されることになった。ポアンカレはリーマンが示した位置解析のアイデアを発展させ、
トポロジーを体系的に研究した。シーゲルはリーマンの遺稿を分析することで、リーマン予想に関するリーマンの研究の中に、
すでにその後の研究を先取りする内容が含まれていることを発見した。
リーマンの複素解析を支持したフェリックスクラインだったが、
エルランゲン・プログラムとの違いからリーマン幾何学に対しては否定的な姿勢をとる。
リーマン幾何学の研究はリーマンが晩年に滞在していたイタリアで発展していった。
リーマン自身はリーマン幾何学の計算技法を十分に与えなかったが、
それを補うテンソル解析がベルトラミ、レヴィ＝チヴィタによって発展させられた。
この分野はアインシュタインの相対性理論の登場によって注目されることになる。
三角級数に関する論文は、ルベーグ積分とカントールの集合論の発展に影響を与えた。
(引用終り)
以上
- 45 ：
- スレランキング維持に必死だなｗ
- 46 ：
- 別に必死になる必要もない
∵数学板は、いまや、過疎も過疎、おそらく底辺板だ。
おれが普通に投稿するだけで、軽く、ランキング10位、いや、5位以内も不可能じゃなないだろう
- 47 ：
- 見よ、この数学板過疎の惨状を
このガロアスレより上、全て、まともな数学スレにあらず
そして、いま、殆ど動いていない
”現代数学の系譜 カントル 超限集合論”スレが、8位
”現代数学の系譜 工学物理雑談 古典ガロア理論も読む58”が、15位
別に必死になる必要もないｗ（＾＾；
http://49.212.78.147/index.html?board=math
数学：2ch勢いランキング
11月17日 21:00:31 更新
順位 6H前比 スレッドタイトル レス数 勢い
1位 = フェルマーの最終定理の簡単な証明2 483 42
2位 ↑1 0.99999……は１ではない その３ 394 24
3位 ↑1 プログラミングBASIC言語について。 86 21
4位 ↑1 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 45 18
5位 ↑1 【未解決問題】奇数の完全数が存在しないことの証明5 979 15
6位 ↑2 高校数学の質問スレPart402 338 14
7位 = 数学の本 第87巻 46 13
8位 ↑1 現代数学の系譜 カントル 超限集合論 475 11
9位 ↑1 Inter-universal geometry と ABC予想 42 206 10
15位 ↑1 現代数学の系譜 工学物理雑談 古典ガロア理論も読む58 941 3
- 48 ：
- Inter-universal geometry と ABC予想 42
https://rio2016.2ch.sc/test/read.cgi/math/1572150086/206-
206 投稿日：2019/11/17(日) 17:03:11.84 ID:p1FBlCNS
絶対 Galois 群による数体の復元
星 裕一郎
>単遠アーベル的復元は, “所望の手続きの存在を証明する” ことが目的なのではなく,“所望の手続きを与 える” ことが目的である.
特に, 主張の中にその手続きを書くべきとされる.
下記か
http://www.kurims.kyoto-u.ac.jp/~yuichiro/talk20140311_report.pdf
絶対 Galois 群による数体の復元
星 裕一郎 (京都大学 数理解析研究所)
2014 年 5 月
(抜粋)
本稿は, 早稲田大学で開催された “第 18 回早稲田整数論研究集会” において 2014 年 3 月 11 日
に星が行った講演 “Reconstruction of a Number Field from the Absolute Galois Group” の報
告原稿である. 基本的には講演の内容をただ纏めたものであるが, 一方, ここでは, 全体を通じて, 講
演での説明よりも丁寧なそれを与えたつもりである.
・ K を体とする. K が Q のある有限次拡大と同型であるとき, K は NF (= Number Field)
であると言うことにする. ある素数 p が存在して K が Qp のある有限次拡大と同型であるとき, K
は MLF (= Mixed-characteristic Local Field) であると言うことにする.
1 Neukirch ・ 内田の定理と単遠アーベル的復元
本稿の主題は, 以下の問に対する考察である.
問: 与えられた NF をその絶対 Galois 群から復元することはできるか?
この問の 1 つの古典的な肯定的解答として, 次の Neukirch ・ 内田の定理を挙げること
ができる ([12], Theorem; [13], Theorem を参照*1).
Neukirch ・ 内田の定理. □ ∈ {°, ・} に対して, F□ を大域体 (つまり, NF か, ある
いは, 有限体上の 1 変数代数関数体), F □ を F□ の分離閉包, G□
def = Gal(F □/F□) を
F □ を基点とする F□ の絶対 Galois 群とする. また, Isom(F°/F°, F・/F・) を体の同型
射 F°?→ F・ であって全単射 F°?→ F・ を誘導するもの全体のなす集合, Isom(G・, G°) を
位相群の同型射 G・?→ G° 全体のなす集合とする. このとき, 共役による写像
Isom(F°/F°, F・/F・) ?→ Isom(G・, G°)は全単射である.
つづく
- 49 ：
- >>48
つづき
F°, F・ を NF, G°, G・ をその絶対 Galois 群とすると, この定理によって, 特に, F° と
F・ が体として同型であることと, G° と G・ が位相群として同型であることが同値である
ことがわかる. つまり, NF の絶対 Galois 群の位相群としての同型類によって, その NF
の同型類が完全に決定される. 別の表現を用いれば, 絶対 Galois 群は NF に対する “完
全な不変量” であるということがわかる. この意味において, “その絶対 Galois 群によっ
て NF を復元することができる” と考えることが可能であろう.
一方, 望月新一氏は, [8] の中で, “そもそも復元とは何か?” という問についての考察を
行い, そこで, “双遠アーベル的復元”, “単遠アーベル的復元” という考え方を提唱した.
この考え方のある側面を簡単に述べてしまうと, これは, “何を遂行すれば所望の復元が完
了したと考えるか” という “復元という行為の完了の基準” の設定の問題であると言える
であろう. 本稿の主題である問の場合に, “双的な復元, 双遠アーベル的復元” の復元完了
基準を具体的に述べれば, 例えば以下のようになる.
今回の講演の内容は, 2013 年 7 月 12 日に “早稲田整数論セミナー” で星が行った
講演 “数体の乗法的情報による加法構造の復元” に直接的な関連のあるものとなっております. (こ
の講演では, この原稿の 3.1 で説明した内田の補題の数体版の “双版” ? つまり, [3] の内容 ? に
ついてお話をしました.)
(引用終り)
2013 年 7 月 12 日に “早稲田整数論セミナー”ではないが
“数体の乗法的情報による加法構造の復元”関連
http://www.kurims.kyoto-u.ac.jp/~yuichiro/talks.html
http://www.kurims.kyoto-u.ac.jp/~yuichiro/talk20140804.pdf
乗法的情報による加法構造の復元
(全4回; 計5時間; 乗法的情報による加法構造の復元),
京都大学数理解析研究所 数学入門公開講座,
京都大学数理解析研究所,
2014.8.4-2014.8.8.
以上
- 50 ：
- コテハン設定のためカキコ
- 51 ：
- メモ
https://tech.nikkeibp.co.jp/atcl/nxt/column/18/01068/111100001/
ソフト開発 プログラミング言語人気ランキング2020 プログラミング言語人気ランキング2020、2位に「大躍進」したあの言語
2019/11/18 05:00
安藤 正芳＝日経 xTECH／日経SYSTEMS
(抜粋)
一気に2位まで順位を上げたPython
https://cdn-tech.nikkeibp.co.jp/atcl/nxt/column/18/01068/111100001/01.jpg
注目すべきは「Python」の飛躍である。機械学習や計算処理などのライブラリーやフレームワークが豊富に用意されているPythonは、最近はやりのAIシステムやデータ分析システムに利用されている。こうしたシステムを開発するITエンジニアは増えており、上位にランクインする結果となった。
では、具体的に順位を見ていこう。普段使用している言語の第1位は前回の調査同様「C/C++」だった。回答者440人中136人が使っている。C/C++は組み込み機器や処理速度が求められるシステムに利用されることが多い。
第2位は127人が使っていると回答した「Python」だ。回答者の3割弱が使用している。前回の調査では5位だったが一気に2位まで順位を上げた。もはや現在のシステム開発に欠かせない言語の1つと言えるだろう。
使用言語の第3位は「JavaScript」（110人）だった。前回の調査では2位だったので1つ順位を落とす結果となった。一般にJavaScriptはWebシステムやWebアプリのクライアント側（Webフロントエンド）の開発に使われるプログラミング言語である。
第8位にWebサイトのレイアウトやデザインを定義する「HTML/CSS」がランクインしていることから、ITエンジニアが開発するシステムの多くに何らかのWeb技術が用いられているのだろう。
第4位はデータベースの定義や操作に利用する「SQL」（106人）、第5位には「C#」（96人）、第6位には「Java」（94人）がそれぞれランクインした。基幹システム開発などによく使われるこれらの言語も依然根強い人気がある。
この先は有料会員の登録が必要です。
今なら有料会員（月額プラン）が12月末まで無料！
- 52 ：
- メモ
https://special.sankei.com/f/seiron/article/20191028/0001.html
ノーベル賞への祝意と「黄昏」感 数学者・国立情報学研究所教授・新井紀子 産経 正論 2019.10.28
化学は日本の「お家芸」。特に２０００年の白川英樹氏の受賞に始まる化学分野の「ノーベル賞受賞ラッシュ」には目を見張るものがある。だが、今回のメディアの反応は、これまでのもろ手を挙げて万歳、とはどうも違う。国民の間に流れる空気も熱量が低い。
https://special.sankei.com/f/seiron/images/20191028/0001p1.jpg
ノーベル化学賞を受賞した吉野彰氏＝１０日、東京都千代田区
≪受賞者からの悲観の声≫
もちろん、ノートパソコンやスマートフォンなど身の回りのあらゆるＩＴ機器に搭載されているリチウムイオン電池実用化の鍵になる技術を日本人が開発したことを、誰もが誇らしく感じている。実用化に至るまでのご苦労に思いを馳（は）せ、感動する人々も多い。
だが、日本人の多くが「風」が変わりつつあることを感じている。そう遠くない将来、日本がノーベル賞を取れる日がこなくなるだろう、という「黄昏（たそがれ）」感だ。
こちらは会員記事（無料）です (会員サービスについて)
- 53 ：
- >>49 関連
Inter-universal geometry と ABC予想 42
https://rio2016.2ch.sc/test/read.cgi/math/1572150086/253-
より
https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/244782
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/244782/1/B76-01.pdf
タイトル: 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
誌名: 数理解析研究所講究録別冊 = RIMS Kokyuroku Bessatsu
Abstract
The Neukirch‐Uchida theorem asserts that every outer isomorphism between the absolute
Galois groups of number fields arises from a uniquely determined isomorphism between the
given number fields. In particular, the isomorphism class of a number field is completely deter‐
mined by the isomorphism class of the absolute Galois group of the number field. On the other
hand, neither the Neukirch‐Uchida theorem nor the proof of this theorem yields an “explicit
reconstruction of the given number field”. In other words, the Neukirch‐Uchida theorem only
yields a bi‐anabelian reconstruction of the given number field. In the present paper, we discuss
a mono‐anabelian reconstruction of the given number field. In particular, we give afunctorial
“group‐theoretic” algorithm for reconstructing, from the absolute Galois group of a number
field, the algebraic closure of the given number field [equipped with its natural Galois action]
that gave rise to the given absolute Galois group.
つづく
- 54 ：
- >>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.
Contents
§0. Notations and Conventions
§1. Review of the Local Theory
§2. Reconstruction of the Additive Structure on an NF‐monoid
§3. Local‐global Cyclotomic Synchronization
§4. Reconstruction of the Additive Structure on a GSC‐Galois Pair
§5. Mono‐anabelian Reconstruction of Number Fields
§6. Global Mono‐anabelian {\rm Log}‐Frobenius Compatibility
(引用終り)
以上
- 55 ：
- メモ
https://ja.wikipedia.org/wiki/%E3%83%91%E3%83%A9%E3%83%80%E3%82%A4%E3%83%A0
パラダイム
(抜粋)
パラダイム (paradigm) とは、科学史家・科学哲学者のトーマス・クーンによって提唱された、科学史及び科学哲学上の概念。
一般には「模範」「範」を意味する語だが、1962年に刊行されたクーンの『科学革命の構造（The structure of scientific revolutions）』で科学史の特別な用語として用いられたことで有名になった。
しかし、同時に多くの誤解釈や誤解に基づく非難に直面したこと、また、概念の曖昧さなどの問題があったために、8年後の1970年に公刊された改訂版では撤回が宣言され、別の用語で問題意識を再定式化することが目指された。
本記事では、撤回の宣言を踏まえつつも、クーン本来の問題関心を明らかにするため、再定式化に用いられた専門図式（disciplinary matrix）の概念も含めて記述する。
https://ja.wikipedia.org/wiki/%E3%83%91%E3%83%A9%E3%83%80%E3%82%A4%E3%83%A0%E3%82%B7%E3%83%95%E3%83%88
パラダイムシフト
(抜粋)
パラダイムシフト（英: paradigm shift）とは、その時代や分野において当然のことと考えられていた認識や思想、社会全体の価値観などが革命的にもしくは劇的に変化することをいう。パラダイムチェンジともいう。
科学史家トーマス・クーンが科学革命で提唱したパラダイム概念の説明で用いられたものが拡大解釈されて一般化したものである。
概要
一般用語としてのパラダイムは「規範」や「範例」を意味する単語であるが、科学史家トーマス・クーンの科学革命で提唱したパラダイム概念が、その意図からは誤解となるほどに拡大解釈されて一般化されて用いられ始めた。
拡大解釈された「パラダイム」は「認識のしかた」や「考え方」、「常識」、「支配的な解釈」、「旧態依然とした考え方」などの意味合いで使われている。
- 56 ：
- 2020年はオリンピックとIUTか（＾＾
https://www.maths.nottingham.ac.uk/plp/pmzibf/files/May2020.html
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),
Yuichiro Hoshi (RIMS, Kyoto Univ., Japan),
Emmanuel Lepage (Sorbonne Univ, Paris, France),
Arata Minamide (RIMS, Kyoto Univ., Japan),
Shinichi Mochizuki (RIMS, Kyoto Univ., Japan),
Takahiro Murotani (RIMS, Kyoto Univ., Japan),
Hiroaki Nakamura (Osaka Univ., Japan),
Florian Pop (Univ. Pennsylvania, USA),
Koichiro Sawada (RIMS, Kyoto Univ., Japan),
Georgy Shabat (Moscow Univ., Russia),
Jakob Stix (Frankfurt Univ., Germany),
Akio Tamagawa (RIMS, Kyoto Univ., Japan),
Adam Topaz (Univ. Alberta, Canada),
Yuri Tschinkel (Simons Found., USA),
Shota Tsujimura (RIMS, Kyoto Univ., Japan),
Yu Yang (RIMS, Kyoto Univ., Japan)
つづく
- 57 ：
- >>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),
Machiel van Frankenhuijsen (Utah Valley Univ., USA),
Sylvain Gaulhiac (Sorbonne Univ., France),
Thomas Geisser (Rikkyo Univ., Japan),
Nadav Gropper (Univ. Oxford, UK),
Tim Holzschuh (RIMS, Japan),
Ilia Itenberg (Sorbonne Univ., France),
Kirti Joshi (Univ. Arizona, USA),
Mikhail Kapranov (IPMU, Japan),
Fumiharu Kato (Tokyo Inst. Technology, Japan),
Kiran Kedlaya (UCSD, USA),
Yakov Kremnitzer (Univ. Oxford, UK),
Qing Liu (Univ. Bordeaux, France),
Wojciech Porowski (Univ. Nottingham, UK),
Yuichiro Taguchi (Tokyo Inst. Technology, Japan),
Fucheng Tan (RIMS, Japan),
Dajano Tossici (Univ. Bordeaux, France)
https://www.maths.nottingham.ac.uk/plp/pmzibf/files/June2020.html
組合せ論的遠アーベル幾何とその周辺
Combinatorial Anabelian Geometry and Related Topics,
RIMS workshop, June 29 - July 3, 2020
Invited speakers:
Kazumi Higashiyama (RIMS, Kyoto Univ., Japan),
Yuichiro Hoshi (RIMS, Kyoto Univ., Japan),
Emmanuel Lepage (IMJ, Paris, France),
Arata Minamide (RIMS, Kyoto Univ., Japan),
Shinichi Mochizuki (RIMS, Kyoto Univ., Japan),
Shota Tsujimura (RIMS, Kyoto Univ., Japan),
Yu Yang (RIMS, Kyoto Univ., Japan)
つづく
- 58 ：
- >>57
つづき
https://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut1.html
宇宙際タイヒミューラー理論への誘い（いざない）
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),
Arata Minamide (RIMS, Kyoto Univ., Japan),
Shinichi Mochizuki (RIMS, Kyoto Univ., Japan),
Wojciech Porowski (Univ. Nottingham, UK),
Fucheng Tan (RIMS, Kyoto Univ., Japan),
Shota Tsujimura (RIMS, Kyoto Univ., Japan),
Go Yamashita (RIMS, Kyoto Univ., Japan)
https://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut2.html
宇宙際タイヒミューラー理論サミット２０２０
Inter-universal Teichmuller Theory (IUT) Summit 2020
RIMS workshop, September 8 - 11 2020
Invited speakers:
Ivan Fesenko (Univ. Nottingham, UK),
Yuichiro Hoshi (RIMS, Kyoto Univ., Japan),
Emmanuel Lepage (IMJ, Paris, France),
Arata Minamide (RIMS, Kyoto Univ., Japan),
Shinichi Mochizuki (RIMS, Kyoto Univ., Japan),
Wojciech Porowski (Univ. Nottingham, UK),
Fucheng Tan (RIMS, Kyoto Univ., Japan),
Shota Tsujimura (RIMS, Kyoto Univ., Japan),
Go Yamashita (RIMS, Kyoto Univ., Japan)
以上
- 59 ：
- >>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),
Kiran Kedlaya (UCSD, USA),
など、有名どころが来るわけですな、なるほど
７．Stix先生は、IUTには反対しているけど、
”Foundations and Perspectives of Anabelian Geometry”には、
反対している訳では無い
私ら、オリンピックと同じで、見物客です（＾＾
シンポジュームが、成功裏に終わるように、期待し又注目しています
- 60 ：
- >>53 関連
https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/244678
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
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/244783/1/B76-02.pdf
これも、英文にした方が良いだろうね
シンポジューム成功の一助として
- 61 ：
- >>60
例えば、Google 翻訳を使うと
序
本稿は, 題目のとおり, 望月新一氏によって創始された宇宙際 Teichm¨uller 理論への入門的解説をその目標として書かれたものです.
特に, “宇宙際 Teichm¨uller 理論において遠アーベル幾何学がどのような形で用いられるか”, “ある Diophantus 幾何学的帰結を得るために宇宙際 Teichm¨uller 理論ではどのような定理を証明するのか”,
“宇宙際 Teichm¨uller理論の主定理を得るために導入された概念である Hodge 劇場とはどのような概念なのか”などといった点が, 本稿の内容の中心となっています.
本稿執筆の際に心掛けたこととして, 以下の 2 点があります.
(a) その段階その段階で直面する問題を明示的に述べて, そして, 宇宙際 Teichm¨uller 理論におけるその問題の解決の方法を説明することで, (たとえ説明に多少の遠回りや重複, 脱線などが生じたとしても) 宇宙際 Teichm¨uller 理論で行われている様々な議論, 及び, そこに登場する様々な概念が, “自然なもの”, “必要なもの” であることを, 可能な限り明らかにするように努めました.
(b) 宇宙際 Teichm¨uller 理論にはたくさんの “新しい考え方” が登場します.
それら (の少なくともいくつか) は決して難しいものではないのですが, その “新奇性” によって, そういった考え方に対する理解への努力が放棄される, という事態が発生しているのかもしれないと思います.
そこで, たとえ非常に初等的なものであっても, いくつもの例を挙げることで, そのような新しい考え方の新奇性のみによる議論からの脱落を生じさせないように努めました.
＜Google 翻訳＞
Introduction
As the title of this article, this article was written with an introductory commentary on the inter-cosmic Teichm¨uller theory created by Shinichi Mochizuki as its goal.
In particular, “How Far Abelian Geometry is Used in Intercosmic Teichm¨uller Theory”, “What Theorem Prove In Cosmic Teichm¨uller Theory To Get Some Diophantus Geometric Results "
The main content of this paper is such as “What is the concept of Hodge Theater, a concept introduced to obtain the main theorem of Teichm ¨ nuller theory in the universe”.
- 62 ：
- 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 翻訳＞に喰わせるコツが分かってくるだろうが
＜Google 翻訳＞を初稿として、それを人が手直して、正規の英文に仕上げる
何人かで手分けすれば、１週間くらいで、人の初稿が出来上がる
それを、読み合わせすれば、まあ２週間もあれば、翻訳終わるでしょう
シンポジュームの成功に向けて
- 63 ：
- >>61 補足
"遠アーベル幾何学"が、”Far Abelian Geometry”など誤訳されているが、
これは、もとの和文で、置換を使って、専門用語に変換しておくのが良いと思うな
- 64 ：
- 下記、良いことを言ってくれるね（＾＾
悪のりしていえば
１．数学科生だって、入学から卒業まで、100点満点＝ノーミス というわけではないだろう
２．というか、100点満点じゃないとダメとなると、だれも卒業できないだろう
３．そうじゃくて、試験で不足だったところは、また勉強すれば良いんだ
４．そして、社会（数学業界も含めて）で、生きていくのに必要な力をつければ良い
あと、IUTについては、うまくABC予想の解決に繋がってほしいですね。こころから祈っています（＾＾
（参考）
Inter-universal geometry と ABC予想 42
https://rio2016.2ch.sc/test/read.cgi/math/1572150086/282-
282 名前：１３２人目の素数さん[sage] 投稿日：2019/11/21(木) 00:29:32.85 ID:UvxIAzhO
別にガロア理論が完全にわからなくても数学に興味を持つのはいいことだよ
体と群と写像が何となくわかってればそんなに間違ってるわけでもないし
専門家だって代数体のガロア表現が十分にわかってないわけだし
それとは関係なく、IUTが全く新しいパラダイムという表現は2019年には相応しくないなw
「代数体のホッジーアラケロフ理論的観点での微分の一般化」というお題目としては
15年後には十分もっと洗練された理論がはっきり君臨するだろうし、それでABC予想も解けるだろうし
更に言えばVojta予想も必然的に（自然に）射程に入る
そもそもホッジ理論とアラケロフ理論ってのは元々解析的な観点では離れた理論ではないんであって、
望月さんは遠アーベル幾何学的な代数寄りのアプローチをしたのが当時新しかったわけで
最早そういう所に最先端の数学は洗練して近づける域にあるからね
(引用終り)
- 65 ：
- >>63 補足
検索：AI自動翻訳 専門
で、下記などがヒット
翻訳で、数学専用で、数学用語辞書と、数学独特の表現、言い回しを教え込んで
その上で、AIというやり方で、数学論文の翻訳はかなりやれる気がするな
約 7,190,000 件 （0.53 秒）
広告
NTT ComのAI自動翻訳サービス | 導入前に無料トライアル可能?
広告www.ntt.com/?
ファイルをまるごと翻訳可能。圧倒的なスピードで翻訳負担を削減／導入実績多数！ 日英・英日翻訳・専門用語にも対応・日中・中日翻訳・法人向け・ファイルまるごと翻訳。
高精度のAI自動翻訳エンジン | 最大精度95％／無料デモ実施可能?
広告www.jukkou.com/?0120-105-891
PDF・Word・Excel・PowerPointファイルに対応。原文のレイアウトを保ったまま翻訳が可能！ 導入実績2,000社以上。各専門分野ごとにAIを使用、プロ翻訳者レベルの正確さを実現。 導入実績2,000社以上・AI自動翻訳・多言語自動翻訳・企業別表現学習機能。
無料デモ料金プランT-400の特徴各種事例多様な機能
自動翻訳 T-4OO｜AIによる超高精度の翻訳
https://www.jukkou.com
自動翻訳T-4OOは、医薬、技術、法務、金融、特許等の専門分野を最大精度95%=翻訳者並みの正確さで翻訳するAIを活用した自動翻訳です。導入企業3000社、英語・中国語に対応、PDF等のファイル翻訳機能があります。
【進化する人工知能】AI翻訳は従来と比べて何が変わったのか ...
https://www.jukkou.com ? contents ? content_aitranslation
専門用語に対応 に移動 - 医療業界や建設業界、食品業界など様々な専門業種がありますが、従来の翻訳機では専門用語の訳文を行うことに限界があり、見慣れない単語はそのまま意味の分からない文章に翻訳されていました。しかし、最新の自動翻訳 ...
?1980年代から急速に普及した ... ・ ?ディープラーニングをベースに ... ・ ?文章の自然さの向上
- 66 ：
- 数学は20世紀初頭に死んだ
現在物理学、工学、経済学などさまざまな分野に応用されている数学の99%は19世紀末までに完成されている
一方、20世紀以降にできた数学のほとんどは何の役にも立っておらず、これから応用される見込みもない
- 67 ：
- >>66
それ、悪いけど
全く間違っていると思うよ
１．19世紀中に、数学はニュートン力学程度なら完全に扱えるように成長していた
２．20世紀初頭のアインシュタインの特殊相対性理論程度は、確かに、19世紀の数学が準備していたものだし、
一般相対性理論でも、19世紀の数学（リーマンの系譜を継ぐリッチカリキュラス）が用意していたともいえるかもしれない
３．だが、その後の量子力学を扱う数学は、完全に19世紀の数学を超えている。完全に、20世紀以降の数学だろう
４．そして、さらにその後の素粒子論＊）、宇宙論（ブラックホールやビッグバン）を扱う数学は、19世紀の数学を完全に超えている（４次元以上の時空多様体を扱う数学）
５．経済学への応用としては、不動点定理とかゲーム理論は20世紀の数学だし、伊藤先生の確率微分方程式による金融工学も20世紀の数学
６．そして、20世紀数学の基礎論や圏論が、コンピュータサイエンスのバックグラウンドを用意していた
７．では、21世紀の数学は？ まだ始まったばかりだが、素人のどて勘では、数学ソフトや数学AIと融合した数学になっていくのでは？
つまり、20世紀初頭（～第二次世界大戦前）の数学が、計算尺と手回し計算機とソロバンしか持たない人類の数学として
第二次世界大戦後の20世紀数学が、大型コンピューターからPCが使える数学として
いまからの数学は、数学ソフトや数学AI、それにSNSなどを利用した複数の人たちの協力の上に、従来以上に巨大サイエンスなっていく気がする（ちょうと以前から物理学がそうなったように）
８．そして、21世紀の人類が直面している地球的な課題が沢山ある
例えば、環境問題とかいろいろね
数学も、そういう人類の課題を解決の助けになるように、まだまだは発展が求められていると思うよ
注＊）これ解けたら100万ドルだよ
https://ja.wikipedia.org/wiki/%E3%83%A4%E3%83%B3%E2%80%93%E3%83%9F%E3%83%AB%E3%82%BA%E6%96%B9%E7%A8%8B%E5%BC%8F%E3%81%A8%E8%B3%AA%E9%87%8F%E3%82%AE%E3%83%A3%E3%83%83%E3%83%97%E5%95%8F%E9%A1%8C
(抜粋)
ヤン?ミルズ方程式の存在と質量ギャップ問題とは、量子色力学および数学上の未解決問題である。クレイ数学研究所はミレニアム懸賞問題の一つとしてこの問題に100万ドルの懸賞金をかけた。
- 68 ：
- >>66
現代数学が理解できない（したくない）ひとの意見ですな。
スレ主という工学バカトンデモに引かれて同類が寄ってくるのは分かる
事実は逆で、「人間の直感」を超えた数学は20世紀になって始まったばかり
つまり本当の意味での数学はまだ始まったばかり。
- 69 ：
- >>68
＞スレ主という工学バカトンデモに引かれて同類が寄ってくるのは分かる
おれから見れば、
おまえもその一人（同類）
みんな同じ穴の狢だよ（＾＾
ちょぼちょぼじゃんか～！ｗ（＾＾；
- 70 ：
- なお、「人間の直感」は大事だよ
自分の「人間の直感」を大事にできないやつ
これからのAI時代には生き残れないだろうねｗ(゜ロ゜;
- 71 ：
- まあ、要するに、機械的なしらみつぶしの組み合わせだけに長けただけの人は
そういうのは、コンピューターが機械的にやってくれるさ
対して、AIが出した”擬似正解”に対して、人間的視点でさらに高い見地から判断できる人が求めらると思う
（例えば画像解析で猫と紛らわしい画像の真贋判定とか、・・AI探偵が「こいつが殺人犯だ」とした人の有罪・無罪の判断とかｗ）
- 72 ：
- Feit-Thompson定理（英語版）は、Coqで2012年9月に証明が完了したという
同じことを、いま人手でやっても、いまや評価されないってことよ（単なる証明屋さん）
Coqよりも、人間に近い証明とか
人間に分かり易く、「Coqのやった証明が説明できる」とか
そういう人が、
評価されるようになるだろうね
https://ja.wikipedia.org/wiki/Coq
Coq
(抜粋)
Coqは証明支援システムの一つ。Coqの核はプログラミング言語Gallinaを用いる。フランス国立情報学自動制御研究所のPI.R2チーム(PPS研究所内にある)が、エコール・ポリテクニーク、フランス国立工芸院、パリ第7大学、パリ第11大学と(かつてリヨン高等師範学校とも)共同して開発している。Hugo Herbelinが事実上の開発代表者である。
Coqには証明の自動化機能が増えている。中にはomegaタクティクというものがあり、プレスバーガー算術の大部分を決定できる。
Coqの最大の達成の中には、
・四色定理: Georges GonthierとBenjamin Wernerによって、完全に機械化された証明が2004年に完了した。[2]
・CompCert: C言語のコンパイラで、Coqによって開発され証明がつき、2006年にリリースされた。[3]
・Feit-Thompson定理（英語版）: Georges Gonthierと彼のグループによって、2012年9月に証明が完了した。[4]
がある。
CoqはGNU LGPLライセンスで配布されているフリーソフトウェアである。
- 73 ：
- >>72
＞Feit-Thompson定理（英語版）は、Coqで2012年9月に証明が完了したという
＞同じことを、いま人手でやっても、いまや評価されないってことよ（単なる証明屋さん）
いや、もちろん、Coqに掛からない証明も沢山あるし
最初からは、Coqには掛からないのかも知れない
そういう場合に、
手作業での場合分け証明は、世界初としては評価されるよ
あるいは、Coqに掛けられるように腑分けして
その後、Coqに掛けて証明を終えるとか
そういうことのできる人は、
評価されるだろうね
- 74 ：
- >３．そうじゃくて、試験で不足だったところは、また勉強すれば良いんだ
おまえは大学一年の四月にεN論法で落ちこぼれて未だに勉強してないじゃんｗ
- 75 ：
- 過去スレに書いたが
高校２のときに、数学科出身の教師がいてね
本当はε-δとかいうから、高校図書館にある数学書で独学した
大学では使わなかったし
その後も別に使わなかったし
それだけのことよ（＾＾；
- 76 ：
- https://rio2016.2ch.sc/test/read.cgi/math/1573769803/75
>本当はε-δとかいうから、高校図書館にある数学書で独学した
でも、いきなり∀とか∃とか文字がひっくり返った記号が出てきたんで
慌てて数学書をそっ閉じした、だろｗ
俺は小学生のときに遠山啓の「数学入門」読んで知ったけどな
ま、あの本には「ε-δ」なんてことは書いてないが
>大学では使わなかったし
「使えなかった」だろ
>その後も別に使わなかったし
よかったな だから馬鹿の貴様は数学に興味持つな
む・り・だ・か・ら
- 77 ：
- >>76
＞でも、いきなり∀とか∃とか文字がひっくり返った記号が出てきたんで
＞慌てて数学書をそっ閉じした、だろｗ
１．意味わからん
下記の高校数学の美しい物語「イプシロンデルタ論法とイプシロンエヌ論法」
を見て見な
∀とか∃とか使ってないよｗ（＾＾；
２．最近の”ゆとり”はしらんけど、∀とか∃とか、中学でやった気がする
もう記憶が定かでないが
つまり、中学で、対偶、逆、裏などをやったときに
なんか、全ての否定があるになり、あるの否定が全てだとか
そういう説明で
余談で、∀がAllの上下逆、∃がExistのEの左右逆とか
まあ、中学数学教師の趣味だったかもしらんけど（細かいことは忘れたが）
そういう話をされたのは覚えているよ
３．繰り返すが、イプシロンデルタ論法程度は
∀とか∃とか必死でもない
かつ、おれにして見れば、
∀とか∃とかは中学、
イプシロンデルタ論法は高校、
それだけのことですよｗ（＾＾；
（参考）
https://mathtrain.jp/epsilondelta
高校数学の美しい物語
最終更新:2018/02/07
イプシロンデルタ論法とイプシロンエヌ論法
- 78 ：
- >>77 タイポ訂正
∀とか∃とか必死でもない
↓
∀とか∃とか必須でもない
分かると思うが
- 79 ：
- そんな必死に言い訳しなくていいよ
おまえが全然分かってないのもうバレてるからｗ
- 80 ：
- おっちゃんです。
何れにしろ、実数直線Rの連結性と ε-N は必須。
微積分に限らず、量化子∀、∃の記号を用いている本はある。
- 81 ：
- >>80
おっちゃん、どうも、スレ主です。
＞何れにしろ、実数直線Rの連結性と ε-N は必須。
必須・・
ではないでしょ
つーか、
イプシロンデルタ論法というよりも
イプシロンデルタ論争と言った方がいいかもね
https://ja.wikipedia.org/wiki/%E3%82%A4%E3%83%97%E3%82%B7%E3%83%AD%E3%83%B3-%E3%83%87%E3%83%AB%E3%82%BF%E8%AB%96%E6%B3%95
ε-δ 論法（イプシロンデルタろんぽう、(ε, δ)－definition of limit）は、
解析学において、（有限な）実数値のみを用いて極限を議論する方法である。
(抜粋)
数学教育における取り扱い
微積分学の定理の内、特に関数の極限に関する定理の多くは、このε-δ 論法によって証明される。
言葉を換えれば、ε-δ 論法を用いない微分積分学は厳密性に欠ける部分が多くなるため、数学界などでは高校数学の段階でε-δ 論法を教えるべきである、という意見もある。
一方で、所謂理系分野の学問であっても数学、物理学以外の分野では、ε-δ 論法が必要となるほどの厳密性を考慮しなくても、大抵の議論は結果だけ見れば正しい結論に行き着くことが可能であるため、大学の工学・経済学・医学・社会学課程においてはε-δ 論法を不要と見なす意見もあり、
ε-δ 論法を教える事の必要性については、数学教育における古くて新しい論争といえる。
- 82 ：
- >>79
別に
事実を事実として述べただけ
”ゆとり”とは時代が違うということ
ユークリッド幾何の公理的扱いは、小学校で叩き込まれた
（中学受験受ける人のための補習やってくたりで、「補助線引きます」的なのはさんざん出て来た）
中学では、３元連立までは必修でね。中学教師が、行列式のクラメールの公式を教えてくれた。もちろん、3ｘ3行列も課外でやった
二次方程式の解の公式と、ｙ＝ax^2+bx+cのグラフの標準形は、中学の範囲だった
”ゆとり”とは時代が違うということ
イプシロンデルタ論法は、高校で自分でやったということ
事実を事実として述べただけ
- 83 ：
- >>81
>＞何れにしろ、実数直線Rの連結性と ε-N は必須。
>
>必須・・
>ではないでしょ
必須。そうしないと、バナッハ空間においてノルムを用いる微分も出来ない。
まあ、よくここまで手際よくウマくムダを省いた微積分も含む解析の本があるとは思った。
- 84 ：
- >>82
＞ユークリッド幾何の公理的扱いは、小学校で叩き込まれた
第五公準の平行線の話と
非ユークリッド幾何の話は
小6で、教師が話をしていたのを覚えている
そういや
このまえ書店で
いまどきの高校数学は？
とチャートをみたら
円周角が高校なんやね
これ中学でやったよ
三角比も中学だったな多分
ゆとりで、大学に入ってきたら
ε-δ 論法のみならず
大学数学とのギャップが大きすぎ
つまづく人結構出そうに思うな
（それを補っているのが、トップ大学に入る中高一貫生たちかも）
- 85 ：
- それじゃ、おっちゃんもう寝る。
- 86 ：
- >>83
>必須。そうしないと、バナッハ空間においてノルムを用いる微分も出来ない。
そうなんかね？ はてな？
>まあ、よくここまで手際よくウマくムダを省いた微積分も含む解析の本があるとは思った。
そちらが正解では？
- 87 ：
- >>86
＞>必須。そうしないと、バナッハ空間においてノルムを用いる微分も出来ない。
＞
＞そうなんかね？ はてな？
実数直線Rはユークリッドノルム ||a||＝|a|＝√(|a|)^2 ∀a∈R が入った実バナッハ空間で、
大学1年ではじめにしている関数の微分は、バナッハ空間Rにおける微分の一例になる。
- 88 ：
- それじゃ、おっちゃんもう寝る。
- 89 ：
- >>82
イプシロンデルタ論法は、高校で自分でやったということ
おまえの「やった」は「本を眺めた」に過ぎない
実際おまえはまったく分かってない
- 90 ：
- まあ、そうかもね
否定も肯定もしない
ただ事実を述べた
- 91 ：
- >>87 参考
https://ja.wikipedia.org/wiki/%E3%83%90%E3%83%8A%E3%83%83%E3%83%8F%E7%A9%BA%E9%96%93
(抜粋)
バナッハ空間（バナッハくうかん、英: Banach space; バナハ空間）は、完備なノルム空間、即ちノルム付けられた線型空間であって、そのノルムが定める距離構造が完備であるものを言う。
7 バナッハ空間上の微分法
バナッハ空間上でいくつかの微分の概念を考えることができる。詳細はフレシェ微分やガトー微分の項などを参照せよ。
https://ja.wikipedia.org/wiki/%E3%83%95%E3%83%AC%E3%82%B7%E3%82%A7%E5%BE%AE%E5%88%86
(抜粋)
フレシェ微分（フレシェびぶん、英: Frechet derivative）は、モーリス・ルネ・フレシェの名にちなむ、バナッハ空間上で定義される微分法の一種である。
フレシェ微分は、実一変数の実数値函数の導函数を、実多変数のベクトル値函数の場合へ一般化するのに広く用いられ、また変分法で広範に用いられる汎函数微分を定義するのにもつかわれる。
https://ja.wikipedia.org/wiki/%E3%82%AC%E3%83%88%E3%83%BC%E5%BE%AE%E5%88%86
(抜粋)
ガトー微分（ガトーびぶん、英: Gateaux differential, Gateaux derivative）は、第一次世界大戦において夭折したフランス人数学者ルネ・ガトー（英語版）に名を因む、微分学における方向微分の概念の一般化で、バナハ空間などの局所凸位相線型空間の間の函数に対して定義される。
バナハ空間上のフレシェ微分同様に、ガトー微分は変分法や物理学で広く用いられる汎函数微分の定式化にしばしば用いられる。
関連項目
微分の一般化（英語版）
つづく
- 92 ：
- >>91
つづき
https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E5%BE%AE%E5%88%86
(抜粋)
抽象代数学における形式微分（けいしきびぶん、英: formal derivative）は、微分法における通常の微分を形の上で真似た、多項式環または形式冪級数環上で定義される演算である。
結果だけ見れば通常の微分と同じと言えるけれども、形式微分は極限の概念に基づくものではない（そもそも一般の環では極限の概念が意味を持つとは限らないのであった）という点において、代数的操作であることは有意である。
形式微分は通常の微分が満たす多くの性質を満足するけれども、一部、特に数値的な性質については満たさないことに留意しなければならない。
初等代数学において、形式微分を重根の判定に用いることができる。
つづく
- 93 ：
- >>92
つづき
https://ja.wikipedia.org/wiki/%E5%BE%AE%E5%88%86#%E4%B8%80%E8%88%AC%E5%8C%96
微分
(抜粋)
5 一般化
詳細は「微分の一般化（英語版）」を参照
微分の概念を多くの他の状況設定の下でも拡張して定義することができる。共通することは、一つの点における函数の導函数がその点における函数の線型近似として働くことである。
・実函数の微分の重要な一般化は、ガウス平面上の領域からガウス平面 C への函数のような複素変数の複素函数の微分である。複素函数の微分の概念は、実函数の微分の定義において実変数であるところを複素変数に置き換えることで得られる。
二つの実数 x, y を用いて複素数 z = x + i y と書くことによりガウス平面 C を座標平面 R2 と同一視するとき、
C から C への複素可微分函数は R2 から R2 へのある種の（その偏導函数が全て存在するという意味での）実可微分函数とみなすことができるが、
逆は一般には成り立たない（複素微分が存在するのは実導函数が「複素線型」であるときに限り、
これは二つの偏導函数がコーシー?リーマン方程式と呼ばれる関係式を満足することを課すものである）。正則函数の項を参照。
・別の一般化として可微分多様体（滑らかな多様体）の間の写像の微分を考えることができる。
直観的に言えば、可微分多様体 M とはその各点 x の近くで接空間と呼ばれるベクトル空間によって近似することのできる空間である（原型的な例は R3 内の滑らかな曲面（英語版）である）。
そのような多様体間の可微分写像 f: M → N の点 x ∈ M における微分係数あるいは微分は、x における M の接空間から f(x) における N の接空間への線型写像であり、導函数は M の接束から N の接束への写像となる。
この定義は微分幾何学において基本的であり、多くの応用がある。微分写像（押し出し）および引き戻し (微分幾何学)（英語版）の項を参照。
・バナッハ空間やフレシェ空間のような無限次元線型空間の間の写像に対する微分法も定義できる。方向微分の一般化であるガトー微分や函数の微分の一般化であるフレシェ微分などがある。
つづく
- 94 ：
- >>93
つづき
・古典的な微分の欠点は微分可能な函数がそれほどまでには多くないことである。それにも関わらず、微分の概念を拡張して任意の連続函数やほかの多くの函数を微分可能とするものに、弱微分がある。
これは連続函数をより大きな分布の空間に埋め込んで、「平均の上で」のみ微分可能性を課すというものである。
・微分の性質に着想を得て代数学や位相空間論における同様の対象がたくさん導入され研究されている。例えば導分（英語版）、微分環などを参照。
・微分の離散的対応物は差分である。微分法の研究は時間尺度微分積分学において差分法と統一される。
・算術微分（英語版）（数論的微分）
つづく
- 95 ：
- >>93
つづき
https://en.wikipedia.org/wiki/Generalizations_of_the_derivative
Generalizations of the derivative
(抜粋)
In mathematics, the derivative is a fundamental construction of differential calculus and admits many possible generalizations within the fields of mathematical analysis, combinatorics, algebra, and geometry.
Contents
1 Derivatives in analysis
1.1 Multivariable calculus
1.2 Convex analysis
1.3 Higher-order derivatives and differential operators
1.4 Analysis on fractals
1.5 Fractional derivatives
1.6 Complex analysis
1.7 Quaternionic analysis
1.8 Functional analysis
1.9 Analogues of derivatives in fields of positive characteristic
2 Difference operator, q-analogues and time scales
3 Derivatives in algebra
3.1 Derivations
3.2 Commutative algebra
3.3 Number theory
3.4 Type theory
4 Derivatives in geometry
4.1 Differential topology
4.2 Differential geometry
4.3 Geometric calculus
5 Other generalizations
6 See also
つづく
- 96 ：
- >>93
つづき
https://ja.wikipedia.org/wiki/%E5%BE%AE%E5%88%86%E5%BD%A2%E5%BC%8F
微分形式
(抜粋)
数学における微分形式（びぶんけいしき、英: differential form）とは、微分可能多様体上に定義される共変テンソル場である。
微分形式によって多様体上の局所的な座標の取り方によらない関数の微分が表現され、また多様体の内在的な構造のみによる積分は微分形式に対して定義される。
微分多様体上の微分形式は共変テンソルとしての座標変換性によって、あるいは接ベクトル空間上の線型形式の連続的な分布として定式化される。
また、代数幾何学・数論幾何学や非可換幾何学などさまざまな幾何学の分野でそれぞれ、この類推として得られる微分形式の概念が定式化されている。
概要
エリ・カルタンによって微分方程式を幾何学的に捕らえようとする試みから生まれた微分形式は、解析学や幾何学のいろいろな概念や公式を統一的な視点からまとめ、形式的な計算により多くの結果を得、多様体などの図形を調べるのにも非常に強力な道具になっていった。
n 次元ユークリッド空間において、座標が (x1,x2,…,xn) で与えられているとき、n 変数関数 f(x1,x2,…,xn) を微分 0 形式といい、 余接ベクトル場 f1 dx1 + f2 dx2 + … + fn dxn の事を 微分 1 形式という。
係数となっている fk は変数を省略してあるが関数である。これは関数の全微分で現れる式と同じである。2 次以上の微分形式は微分形式同士をテンソル積でかけ合わせることにより得られる。
(引用終り)
以上
- 97 ：
- このエロガッパがーーー！！
- 98 ：
- >>64 関連
https://www3.nhk.or.jp/news/html/20191122/k10012187901000.html
NHKニュース
“ことしの本” 大賞に異例の数学解説書
2019年11月22日 22時32分
(抜粋)
https://www3.nhk.or.jp/news/html/20191122/K10012187901_1911222130_1911222232_01_03.jpg
大手書店が選ぶことしの本の大賞に、数学の難問を解く理論について一般向けに解説した数学者の本が選ばれ、異例となる数学の解説書の受賞が話題になっています。
https://www3.nhk.or.jp/news/html/20191122/K10012187901_1911222208_1911222232_01_04.jpg
書店が選ぶ賞には小説やノンフィクションなどの作品が多いということで、数学の解説書が大賞を取るのは異例のことです。
内容は、数学の最大の難問の一つとされる「ＡＢＣ予想」という問題をめぐって、京都大学の教授がみずから構築した新しい理論によって解決したと７年前に公表する一方で、専門家の中でも正しいか結論が出ない状況が続いていることを受けて、この理論のポイントや経緯について解説しています。
発行部数は２万部で、このジャンルとしては多く、異例となる数学の解説書の受賞が話題になっています。
著者の東京工業大学の加藤文元教授は「数学の奥深さや数学者のふだんの姿を感じてほしい」と話しています。
- 99 ：
- >>91 追加
おっちゃんな
>>83
>＞何れにしろ、実数直線Rの連結性と ε-N は必須。
>
>必須・・
>ではないでしょ
必須。そうしないと、バナッハ空間においてノルムを用いる微分も出来ない。
(引用終り)
？ イプシロンデルタ論法は、確かに証明の手法としての優秀さは認めるとしても
微分の概念は、イプシロンデルタ論法とは、別でしょ？ｗ（＾＾
現実に、いままで見た文献（上記および下記）では、バナッハ空間の微分でイプシロンデルタ論法使ってないぞｗ（＾＾；
http://nalab.mind.meiji.ac.jp/~mk/labo/text/fundamental.pdf
Banach 空間における微積分の基本定理
桂田 祐史
2004 年 4 月 28 日
(抜粋)
4.2 Banach 空間に値を持つ関数の場合
次の命題とその証明は Temam [6] にある2。
https://www.seijo.ac.jp/pdf/faeco/kenkyu/086/086-sekimoto.pdf
Banach空間における微分 関本年彦 著 成城大学
https://www.math.nagoya-u.ac.jp/~yamagami/teaching/functional/hilbert2012.pdf
関数解析入門
山上 滋
2015 年 5 月 31 日
(抜粋)
目次
1 道の糧など 2
2 バナッハ空間 7
- 100 ：
- >>99 追加
https://ja.wikipedia.org/wiki/%E3%83%90%E3%83%8A%E3%83%83%E3%83%8F%E7%A9%BA%E9%96%93
バナッハ空間
(抜粋)
バナッハ空間（バナッハくうかん、英: Banach space; バナハ空間）は、完備なノルム空間、即ちノルム付けられた線型空間であって、そのノルムが定める距離構造が完備であるものを言う。
解析学に現れる多くの無限次元函数空間、例えば連続函数の空間（コンパクトハウスドルフ空間上の連続写像の空間）、 Lp-空間と呼ばれるルベーグ可積分函数の空間、ハーディ空間と呼ばれる正則函数の空間などはバナッハ空間を成す。これらはもっとも広く用いられる位相線型空間であり、これらの位相はノルムから規定されるものになっている。
バナッハ空間の名称は、この概念をハーンとヘリーらと共に1920-1922年に導入したポーランドの数学者ステファン・バナフに因む[1]。
定義
バナッハ空間の厳密な定義[2]は、
ノルム空間 V がバナッハ空間であるとは、V 内の各コーシー列 vn}∞
n=1 に対して V の適当な元 v を選べば
lim _n→∞ v_n = v
とすることができるときに言う。
バナッハ空間のうち一般によく知られる二種類は、その台となる線型空間の係数体（基礎体）K が実数体 R または複素数体 C であるもので、それぞれ実バナッハ空間および複素バナッハ空間と呼ばれる。
https://ja.wikipedia.org/wiki/%E3%83%90%E3%83%8A%E3%83%83%E3%83%8F%E7%A9%BA%E9%96%93%E3%81%AE%E4%B8%80%E8%A6%A7
バナッハ空間の一覧
(抜粋)
数学の函数解析学の分野において、バナッハ空間（バナッハくうかん、英: Banach spaces）は最も重要な研究対象の一つである。その他の解析学の分野においても、実際に現れる空間の多くはバナッハ空間である。
目次
1 古典バナッハ空間
2 その他の解析の分野におけるバナッハ空間
3 反例を与えるバナッハ空間
つづく
100～のスレッドの続きを読む
現代数学の系譜11 ガロア理論を読む25
馬鹿「大学の数学は哲学みたいなもの」
『解析概論』について5
現代数学の系譜 工学物理雑談 古典ガロア理論も読む82
≪★☆★天才能力判定数学基礎テスト★☆★≫
統計学の分かりやすい本教えろください
京大生以外は数学語るな
マイケル・スピヴァック著『多変数解析学』を読む。【Michael Spivak】
【数学者】大類昌俊【総合】 Part4
なぜ右翼と左翼は争っているのか
--------------------
【カーリング】ロコ・ソラーレ85【シーズンオフ】
日本は核武装して核攻撃するべき
【失格紋の最強賢者】進行諸島総合スレ【転生賢者の異世界ライフ】賢者1人目
【UNIQLO】ユニクログッズ part9
【テレビ】 古市憲寿氏 「新型コロナ検査を受けても特効薬もない。なんでみんな検査を受けたがるんだろう、すごい不思議」★3
京都造形芸術大学通信教育部3©2ch.net
【極音】立川の映画館シネマシティcinema12【極爆】
ノーパソを駅やデパートのコンセントでｺｿｰﾘ充電
おまじない？【フェロモン香水】効果ｱﾘ？
乞食速報☆ 雑談スレ 470食目★彡 ※社会不適合者のゴミ屑底辺無職男(;ﾟ;ж;ﾟ;)出入り禁止!!
＠性格が悪い人ほど宝くじは当たる！＠
【ラブライブ！】高坂穂乃果ちゃんはぷちぐるかわいい65
【愚痴垢】同人界隈中心愚痴垢ヲチスレ17【出禁】
☆【画像】8137
アースウィンド＆ファイアースレッド Ⅱ
やってないと嘘つきネット工作やる新井ニーニャ
ツイ企画ヲチスレ10
【ATP】テニス総合実況スレ2019 Part353【WTA】
また騙されてファミレス板まで飛ばされたわけだが
プロ・クリエイターのMac離れ 2
TOP カテ一覧 スレ一覧 100～終まで 2ch元 削除依頼
