25/11/08 17:49:10.35 P9qVEF++.net
>>519
>大学数学でベン図で可視化とか言ってたらそりゃ落第するわなｗ
話は真逆 >>13-14
加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
＜“big picture”＞ Career advice Terence Tao
これを、常に心がけるべし！ ；ｐ）
522:１３２人目の素数さん
25/11/08 17:54:04.90 ZuSEB9pS.net
>>521
誰も可視化するなとは言ってない。したきゃ勝手にすればいい。可視化止まりじゃ不十分だと言っている。
相変わらず言葉が通じんな君は。
523:現代数学の系譜 雑談
25/11/08 18:04:03.37 P9qVEF++.net
>>511
>第一章の１．４に述語論理出てくるけど、
>カラスの世田はこんな基本的なことも
>何ひとつ全然理解できてないよ（バッサリ）
>URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
ご苦労さまです
(引用開始)
1.4 述語論理
これまで命題と論理演算を組み合わせてより複雑な命題を構成したり推論形式の有効性を議論してきた
そこで展開してきた論理体系を命題論理と呼ぶ
しかしながら命題論理では真偽が確定する命題だけを扱うため数学の基礎付けとしては守備範囲が極めて限定的で不十分である
命題論理を拡張して変数を含む命題を扱うことのできる論理体系を述語論理という
現代数学のほとんどの部分は述語論理によってカバーされる
■命題関数変数(扱う対象は数とは限らないので変項ともいう)を含む主張でその変数を特定するごとに真偽の確定する命題になるものを命題関数といいP(x),Q(x,y)のような記号で表す
ここでx,yを自由変数と呼ぶ
(引用終り)
524:１３２人目の素数さん
25/11/08 18:07:50.34 hP1E8Bup.net
>>517
>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
B. Collas (RIMS Kyoto, JP)
R. Cluckers (Lille - Leuven, FR)
B. Fresse (Lille, FR)
Porowski (Notthingam, UK)
P. Debes (Lille, FR)
S. Tsujimura (RIMS Kyoto, JP)
Liu (?)
A. Minamide (RIMS Kyoto, JP)
K. Sawada (Osaka, JP)
S. Mochizuki (RIMS Kyoto, JP)
Y. Hoshi (Lille, FR)
?. Wakabayashi (Tokyo)
12人の気鋭の男たちですか
N. Borne (Lille, FR)
J. Hauseux (Lille, FR)
L. Ramero (Lille, FR)
ポスターには名前が載ってましたが
この3名の方は講演はしなかったんですね？
世界的に否定的な風潮である中
これらの人は現在どういう発言をしてますかね？
525:現代数学の系譜 雑談
25/11/08 18:10:44.30 P9qVEF++.net
>>523
ここは中高一貫校生も来る可能性があるから
補足をば
(参考)
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
数理論理学入門
高崎金久（京都大学）
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
V. 述語論理の意味論
1. 述語論理は何を記号化したものか
1.1 述語論理の特徴
命題論理では「命題」（あるいはその記号化である「命題記号」） が基本的な構成要素であった．命題論理が得意とするのは， 論理回路のように，記述対象が有限個の状態のみをもち， しかもそれらの状態が有限個の命題変数の真理値割り当て（つまりビット列） として表現できる場合である．
命題論理は論理回路などよりも複雑な対象を記述する場合には 力不足である．たとえば，対象が無限に多くの状態をもつか， あるいは，有限個であってもその上限が不定であるような場合を 考えよう．そのような対象を命題論理の枠組で記述しようとすれば， おそらく無限個の命題変数とそれらに関する無限個の論理式を 同時に扱うことが必要になるだろう．これは命題論理の通常の 枠組から逸脱している．さらに，命題論理には対象そのものを 記述する要素が含まれておらず，対象の状態を命題変数でいわば 「間接的に」記述することしかできない（「箱とボール」の パズルを思い出されたい）．
命題の代わりに「述語」を基礎にするのが述語論理である． 述語は変項をもち，変項に代入されるものによって真理値が 決まるもので，対象の性質や対象間の関係を表現している． 変項に代入するものを構成するため「変数」・「定数」・ 「函数」・「演算」など（いずれも実体というよりは 単なる記号である）が用意されるが， これらは記述する対象や対象に関する函数・演算などを 表現している．述語論理の論理式はこのような述語から 構成される．以上のようなものによって命題に内部構造 を持ち込むことができる．
さらに，論理記号として新たに「量化子」（「限量子」 ともいう）が導入されることも大きな特徴である． 量化子は記述対象を指す変数（「対象変数」）を 修飾する記号で，すべての対象に対して主張が 成立することを意味する「全称量化子」と， 少なくとも一つの対象に対して主張が成立する ことを意味する「特称量化子」の二種類がある． 対象変数に関するこの種の論理記号はこの二つ以外にも 考えられているが（たとえば，「様相論理」では「様相記号」 と呼ばれるものが新たに導入される）， 数学の定理などを定式化する際にはこの二種類の量化子で 十分なことが経験上わかっている．
1.2 述語とは何か
526:現代数学の系譜 雑談
25/11/08 18:25:42.13 P9qVEF++.net
>>524
>世界的に否定的な風潮である中
>これらの人は現在どういう発言をしてますかね？
否定の風潮は、どんどん収っています
例えば、下記が、遠アーベルの研究ネットワークで
下記と対比されれば、よろしいかと
URLﾘﾝｸ(ahgt.math.cnrs.fr)
Arithmetic & Homotopic Galois Theory IRN
Members & Partners
ここのメンバーは、別にIUTを否定してはいない
多分、手放しの全面肯定でない人もいるかも
例えば
Germany
Jakob Stix, Goethe University Frankfurt
でも、ここらの数学者は みんな IUTは過去で
次の仕事のネタだと思っているでしょうね
このリストではないが 周忠鵬のように・・
527:現代数学の系譜 雑談
25/11/08 18:37:05.54 P9qVEF++.net
>>526
下記 落合 理 Tadashi Ochiai 先生が
メンバーにいて へー と思いました（数学セミナー誌でよく名前を見たので）
阪大から 東工大の教授へ（いま 東京科学大学）
東工大は、IUT関連の東の拠点だからか・・（＾＾
(参考)
URLﾘﾝｸ(ahgt.math.cnrs.fr)
Japan
・Ochiai Tadashi, Tokyo Institute of Technology
URLﾘﾝｸ(researchmap.jp)
落合 理
Tadashi Ochiai
所属東京科学大学 理学院数学系 教授
学位
博士（数理科学）(東京大学)
MISC 24
代数的整数論とその周辺における問題設定
落合理
数理科学 2020年10月
円分ℤp拡大から保型形式のp進族へ (特集 現象を通して見る岩澤理論)
落合 理
数学セミナー 57(1) 26-31 2018年1月
数の世界の散歩道 : 整数論に導かれて(第12回)ゼータ関数の特殊値(2)
落合 理
数学セミナー 56(3) 80-86 2017年3月
数の世界の散歩道 : 整数論に導かれて(第11回)ゼータ関数の特殊値(1)
落合 理
数学セミナー 56(2) 76-82 2017年2月
528:現代数学の系譜 雑談
25/11/08 18:43:02.34 P9qVEF++.net
>>527 余録
URLﾘﾝｸ(www.math.titech.ac.jp)
落合 理 の ホームページ
URLﾘﾝｸ(www.math.titech.ac.jp)
セミナー準備及び勉強に関する注意
以下の注意は、セミナーに配属されたばかりの4年セミナー又はM1のセミナーを 対象としています。幾つかはそのようなビギナー以外にも該当する 普遍的な項目もありますが、 一方で１年間通してやり続けられたら その後は完璧に守り続ける必要のない項目もあります。また、各人の個性の違い もあるので、人によっては合わない内容もあるかもしれません（そもそも、全員に例外 なく当てはまる勉強法があるならば指導者は必要ないのではないでしょうか...）。
なので、矛盾するようですが、後で「型」を外すことが大事になることもあるか もしれません。ただ、最初からリベラルに進めるだけでは、一定以上の深みに達 することはできないように思います。
また、あくまで私のセミナーにおける「型」 ですので、他の指導者の下では当然考え方は違うかもしれませんが、ビギナーは 何らかの一貫した「型」に当てはめられた訓練 をすることも必要だと思います。
数学の勉強の仕方に関してインターネットや書籍などに様々な文章があります。
例えば、 東大の河東先生のホームページ
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
の文章なども参考になります。精読してみてほしいと思います。 しかしながら、大 学や研究室ごとの細かい事情の違いもあるので 私のところでは(若干それぞれの個性の違いを鑑みての個別に 異なる指導もありますが)このような型で指導するという方針を 以下にまとめておきます (2013年3月記 / 以後ときどき加筆修正）。
529:１３２人目の素数さん
25/11/08 18:56:49.09 hP1E8Bup.net
>>526
>ここのメンバーは、別にIUTを否定してはいない
>多分、手放しの全面肯定でない人もいるかも
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
それをしないのは
結局誰も分かってないのでは？
と疑われても仕方ないでしょうに
530:１３２人目の素数さん
25/11/08 19:10:49.92 ZuSEB9pS.net
>>525
君がコピペしたいのは、理解できてるフリしたいからでしょ？ 残念ながら君がぜんぜん理解できてないの丸分かりだよ。 君のコピペ行為は君の目的を何一つ達成していない。 無駄なことはやめよう。
531:１３２人目の素数さん
25/11/08 19:46:09.96 2oa8cE4b.net
まぁ肯定も否定も何もiutがどういう数学基礎論に基づいているかすら誰にも説明できない。この世界に誕生すらしていないしもう誕生することもない。望月先生のアイデアとしてこのまま消えていくのみ
532:１３２人目の素数さん
25/11/08 20:02:06.42 ZuSEB9pS.net
IUTは望月のポエム
数学と思うから論争になる ポエムだから論争は野暮
533:１３２人目の素数さん
25/11/08 20:04:24.37 3nB+TfKS.net
>>256
池上大輔氏 曰く
「現在知られている集合論の手法（※）では
ZFCのモデルMから、新しいZFCのモデルNを構成して
MとNの間で一階算術の命題の真偽を変えることはできない
もしリーマン予想がZFCの下で証明も反証もできないとして
そのことを現在の集合論の手法で検証することはできない」
望月新一は、
「通常の方法ではABC予想は証明できないから、IUTを考えた」
というが まず、
「通常の方法ではABC予想が証明できない」
（具体的には例えばZFCでABC予想が偽となるモデルの存在）
という主張の証明がなされてない、次に
「IUTによるABC予想の証明」
（具体的にはIUTの公理（？）を満たすモデルが存在し
かつそのような任意のZFCモデルでABC予想が真となること）
もなされていない。
特にIUTの公理を満たすモデルの存在が示せていないことは致命的である
（ここで求められているのは絶対的な存在ではなく
例えばZFCのモデルが存在するなら、ZFC＋IUTのモデルも存在する
という相対的な存在証明）
534:１３２人目の素数さん
25/11/08 20:09:06.27 3nB+TfKS.net
ヒルベルトの第10問題の否定的解決の系として、
ZFCでは解の非存在が証明できないような不定方程式が存在する
ここであえて「解の非存在」と書いたのは
解が存在すれば、具体的にそれを示せば証明となるからである
解の非存在が証明できない、というのは、具体的には
「標準モデルでは解が存在しないが、
解が存在するような超準モデルが存在する」
ということである。
超準モデルによる解は当然超準的自然数であって
標準的自然数（つまりどのモデルにも存在する自然数）ではない
535:１３２人目の素数さん
25/11/08 20:12:37.93 hP1E8Bup.net
>>526
これはIUT理論の研究ネットワークではないのですね
>例えば、下記が、遠アーベルの研究ネットワークで
遠アーベル幾何学はマイナー（学会講演・評）とはいえまともなものなんでしょう
しかしIUT理論の研究ネットワークはありますかね？
ZEN大学設置の際には「IUGC 宇宙際幾何学センター」だったものが
URLﾘﾝｸ(www.youtube.com)
「ZMC（ZEN Mathematics Center; ZEN数学センター）」になったのは
より広い分野（数論幾何なかんずく遠アーベル幾何）を対象にすることにしたと
好意的に捉えることも出来ましょうが
IUT理論の研究者を育てていかねば
たとえまともなものであったとしてもいずれ廃れます
（100年後に復活するか知れませんけど）
536:１３２人目の素数さん
25/11/08 20:15:56.49 3nB+TfKS.net
無限公理のない集合論における無限集合というのは、いわば超準的集合であって
任意のモデルで存在するような標準的集合ではない
無限公理を設定することで、そのような超準的集合が
任意のモデルで存在するような標準的集合になる
公理の設定でモデルが限定されるが、
任意のモデルで存在する標準的集合は増えることになる
しかし、どれだけ公理を設定しても
一階述語論理をベースとし
さらに人間が証明可能な体系とする場合には
モデルを唯一にすることはできない
要するに集合を標準的集合だけに限定することはできない
それがゲーデルの不完全性定理で示されたことである
537:現代数学の系譜 雑談
25/11/08 23:03:48.68 P9qVEF++.net
>>529
(引用開始)
>ここのメンバーは、別にIUTを否定してはいない
>多分、手放しの全面肯定でない人もいるかも
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
それをしないのは
結局誰も分かってないのでは？
と疑われても仕方ないでしょうに
(引用終り)
まあ、難しい理論における証明とは、そういうものだとしかいえない
例えば、下記”O–Takegoshi L2 extension”定理について
Yum-Tong Siu 先生が、最初「この論文間違っているんじゃね？」と 騒いだとか 御大が言われていましたね
要するに、画期的な理論は だれもが瞬時に理解できるとは言えないのです
真に 画期的な理論とは 得てしてそういうものです
例えば、下記”Geometric Langlands correspondence”
1,000 pagesで、"so complex that almost no one can explain it"
"very hard, almost impossible" by Drinfeld.[9]”
とあります
21世紀の数学は
そういう傾向がある ；ｐ）
(参考)
URLﾘﾝｸ(en.wikipedia.org)
O–Takegoshi L2 extension theorem
URLﾘﾝｸ(en.wikipedia.org)
Yum-Tong Siu (Chinese: 蕭蔭堂; born May 6, 1943) is a Chinese mathematician. He is the William Elwood Byerly Professor of Mathematics at Harvard University.
URLﾘﾝｸ(en.wikipedia.org)
Geometric Langlands correspondence
Status
A claimed proof of the categorical unramified geometric Langlands conjecture was announced on May 6, 2024 by a team of mathematicians including Dennis Gaitsgory.[7][8]
The claimed proof is contained in more than 1,000 pages across five papers and has been called "so complex that almost no one can explain it".
Even conveying the significance of the result to other mathematicians was described as "very hard, almost impossible" by Drinfeld.[9]
538:１３２人目の素数さん
25/11/08 23:33:53.84 P62wnBwD.net
まだわからんのかねぇこの無能は
望月論文が理解されないのは決定的な瑕疵があるからにきまってるやん？いつになったら理解できんの？高木レベルやなこの無能
539:現代数学の系譜 雑談
25/11/08 23:36:37.67 P9qVEF++.net
>>533
はずれですよ
>望月新一は、
>「通常の方法ではABC予想は証明できないから、IUTを考えた」
その話は、下記の
”§1.Hodge-Arakelov 理論的動機付け”
”§3.対数・テータ格子”
を、音読してね
ZFCは、出てこないよ
さて
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 出張・講演
[17] 宇宙際タイヒミューラー理論への誘（いざな）い （2015-02） （京都大学数理解析研究所 2015年02月）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(2015-02).pdf
§1.Hodge-Arakelov 理論的動機付け
§3.対数・テータ格子
Ｐ11
Θ-Link:
注:(Hodge theaterに登場するような）
「抽象的なモノイド等」
を扱うようにしないと、log-、Θ-linkのような（通常の環・スキーム論の環構造
に対する）「壁＝障壁」を定義することすらできない！
(引用終り)
ここに、
望月先生の”通常の方法”とは、上記「通常の環・スキーム論の環構造」
のこと
で、”(Hodge theaterに登場するような）
「抽象的なモノイド等」を扱う”が
望月先生創案のIUTのキモです！ （＾＾
540:現代数学の系譜 雑談
25/11/08 23:38:57.89 P9qVEF++.net
>>538
ヒキコモリ数学基礎論くんか
いつも、きみは、キバッテいるねぇ～！ｗｗｗ ；ｐ）
まあ、頑張ってくれｗ
541:１３２人目の素数さん
25/11/08 23:43:38.60 hP1E8Bup.net
>>537
また話をすり替えてますね
>要するに、画期的な理論は だれもが瞬時に理解できるとは言えないのです
>真に 画期的な理論とは 得てしてそういうものです
IUTに関しては
理解できている人達なんでしょう？君の話では>>517
>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
それをしないのは
結局誰も分かってないのでは？
と疑われても仕方ないでしょうに
542:現代数学の系譜 雑談
25/11/08 23:54:33.06 P9qVEF++.net
>>535
(引用開始)
これはIUT理論の研究ネットワークではないのですね
>例えば、下記が、遠アーベルの研究ネットワークで
遠アーベル幾何学はマイナー（学会講演・評）とはいえまともなものなんでしょう
しかしIUT理論の研究ネットワークはありますかね？
ZEN大学設置の際には「IUGC 宇宙際幾何学センター」だったものが
(引用終り)
いやいや、これで良いのですよ
つまり、下記のRIMS
”2019年 次世代幾何学研究センター設置[3]（2022年に次世代幾何学国際センターに拡充[9]）”
の予算で AHGT：URLﾘﾝｸ(ahgt.math.cnrs.fr)
が作られて、ここに フランスの予算も入っている（ENS, FR、それに Lille大, FRも？）
IUTを含む ”次世代幾何学”の研究ですよ
URLﾘﾝｸ(ja.wikipedia.org)
京都大学数理解析研究所（英: Research Institute for Mathematical Sciences）
年表
2019年 次世代幾何学研究センター設置[3]（2022年に次世代幾何学国際センターに拡充[9]）
脚注
3^ a b c d e f 数理解析研究所 2019 - RIMS, Kyoto university
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
9^ 研究所紹介｜京都大学数理解析研究所 2022年8月10日閲覧
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
543:現代数学の系譜 雑談
25/11/09 00:00:34.20 QrKJGO9s.net
>>541
>IUTに関しては
>理解できている人達なんでしょう？君の話では>>517
ふっふ、ほっほ
数学オチコボレのエスパー登場か
君は、他人の理解 うんぬんが すきだねぇ～～ｗｗｗ
どうでもいいじゃん、他人の理解など
要は、自分がどう理解するかだけよ
私？ 私は、まずは「頑張れ 日本！」の範囲で理解できればいいのですｗｗｗ
つぎは、「日本 チャチャチャ」です
まあ、慌てず
じっくり 見てなさいよ ｗｗｗ
544:１３２人目の素数さん
25/11/09 00:11:30.02 P3lbYVWX.net
>>542
つまり
「次世代幾何学」の名前で評判芳しくないIUTを隠蔽しているようなものでしょうか
上手い方法ですね
しかしその中でIUT理論の研究は進んでいるんでしょうか？>>461
>日本人数学者でも大半はabc予想解決を受け入れてないわけ
>証明になってないと判断してるわけ
>嘘だと思うならここ数年の間にarxivに載ったabc関連の論文を見てみな
>abc予想が解決したことになってないだろ
という現状で進めるのではどんどん評判落とすことになりましょう
545:１３２人目の素数さん
25/11/09 00:15:41.35 P3lbYVWX.net
>>543
>私？ 私は、まずは「頑張れ 日本！」の範囲で理解できればいいのですｗｗｗ
それは初めて知りました
数学という国と関係の薄い学問でそう考える人なのですね
>君は、他人の理解 うんぬんが すきだねぇ～～ｗｗｗ
理解して居れば曖昧にはしないからですよ
IUT理論を強力に後押ししないのは理解して居ないからかも知れません
あなたのように理解はしていないが強力に後押ししたい気持を抑えきれない人もいるみたいですけれど
546:１３２人目の素数さん
25/11/09 00:17:40.38 P3lbYVWX.net
>>543
>数学オチコボレのエスパー登場か
といいますかあなたの受け売りですよ？>>517
>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
547:１３２人目の素数さん
25/11/09 00:21:08.34 P3lbYVWX.net
>>543
>まあ、慌てず
>じっくり 見てなさいよ ｗｗｗ
どちらかと言えば
贔屓の引き倒しになりかねないのでは？
兎にも角にもABC予想が予想ではなく定理として認められるのはまだまだ先になりそうですけれど
548:１３２人目の素数さん
25/11/09 02:06:54.64 ajsip/xV.net
島国には島国の良さがある。なぜ大陸でなければならぬのか。ボールペン一本を買うためにデパートの中をウロウロさせるようなOSをなぜ有りがたがるのか。ボールペンは文具店に直行すれば、すぐ買える。まあ、そういうことだよ、坊やたち。
日本は日本の独自性を生かすことで人類への貢献ができる。
足りぬ足りぬは、工夫が足りぬw 戦時中の日本人に学ぼう。
ついでに
トロン万歳！ リニア万歳！ 天皇陛下万歳！
549:１３２人目の素数さん
25/11/09 05:49:07.21 drNebvvD.net
トロンと坂村健の嘘
URLﾘﾝｸ(ikedanobuo.livedoor.biz)
550:１３２人目の素数さん
25/11/09 07:03:54.96 CA6TFgJW.net
>>537
まあ、大学初年級レベルでも
初めて出会う定義・公理に基づく証明とは、
そういうものだな
例えば、「箱入り無数目」定理について
ここの常連素人が、最初
「この記事間違っているんじゃね？」
と 騒いだとか
選択公理が分からなかったんだな
要するに、数学理論の定義・公理は
だれもが瞬時に理解できるとは言えない
真に新しい事柄とは 得てしてそういうもの
大学の数学はそういう傾向がある
551:１３２人目の素数さん
25/11/09 07:11:02.89 CA6TFgJW.net
>>538
＞＞望月論文が理解されないのは
＞＞決定的な瑕疵があるから
＞＞にきまってるやん？
>>539
＞はずれですよ
”悔しさによる脊髄反射”は🐎🦌のすること
感情を制御できないと・・・死ぬよ
＞その話は、下記・・・を、音読してね
＞・・・は、出てこないよ
音読したけど、何ひとつ、理解できなかった、と
実数の定義、収束の定義、コーシー列の定義、関数の連続性の定義・・・
音読したけど、何ひとつ、理解できなかった、と
どの定義も∀と∃が交互に出てきて
AとEがひっくり返ってるのはなんでだ
とそこばかり引っかかって先にすすめなかった、と
この「ド田舎から大学に入ってつまづいた学生」へのアドバイスは２つ
・述語論理の式の読み方を勉強してね
・定義は証明するものではないので、まずそういう前提だと受け入れてね
できない？じゃ、大学はあきらめて、田舎に帰って百姓しながら碁でも打ってね
552:１３２人目の素数さん
25/11/09 07:26:52.18 CA6TFgJW.net
>>539
>望月新一の”通常の方法”とは、
>「通常の環・スキーム論の環構造」
>のことで、
>”(Hodge theaterに登場するような）
>「抽象的なモノイド等」を扱う”
>が望月新一創案のIUTのキモ
（注：上記の「先生」とかいうキモ語はフルネームに変換
いかなる学問でも学界では呼び捨てが当然
これを侮蔑とかいう奴は正真正銘の●違い）
さて、なんかわかったふうなこといってる素人カラス君
環の定義は知ってる？
モノイドの定義は知ってる？
あきらかに環よりモノイドのほうが制約が少ない
そもそも前者は加法と乗法が出てくるが
後者は一つの演算しかでてこないし
その演算における逆元は通常存在しない
あきらかに環構造のうち乗法だけ見るという意図で
モノイドを出してきたと想像されるが
理論の常として一般化すればするほど
（つまり公理を弱めれば弱めるほど）
証明できる定理は少なくなる
まあ、望月新一の”タイヒミューラー理論”の意図は
「環のうち乗法だけを保存し加法は保存されない写像を考える」
ということなのだろうが、言うは易し、行うは難しで
ｘ∈ｘなんてキテレツなアイデアを正当化しようとしてる時点で
うまくいってないんだろう
キテレツだから間違ってるとはいわないが
うまく公理化できてないなら、意味がない
それだけのこと
わかったかい？
大学１年のコーシー列と線形独立の定義が理解できなくて
ものの見事に落第した素人カラス君
553:１３２人目の素数さん
25/11/09 07:30:30.69 CA6TFgJW.net
>>540
大学１年のコーシー列と線形独立の定義が分からず
1>0.999…とか、正方行列は正則行列とか、
初歩レベルの誤りをドヤ顔で語る素人カラス君
まあ、述語論理の∀と∃の読み方から頑張って勉強して、
（一階）述語論理恐怖症を克服してくれたまえ
554:１３２人目の素数さん
25/11/09 07:37:20.32 CA6TFgJW.net
>>535
＞＞IUT理論の研究ネットワークはありますかね？
＞＞IUT理論の研究者を育てていかねば
＞＞たとえまともなものであったとしてもいずれ廃れます
>>542
＞いやいや、これで良いのですよ
＞RIMS”次世代幾何学＊＊センター”の予算で
＞AHGTが作られて、ここに フランスの予算も入っている
＞（ENS, FR、それに Lille大, FRも？）
＞IUTを含む ”次世代幾何学”の研究ですよ
いい加減なこといって、国から研究費をむしる学界詐欺の典型ですな（嘲）
税金毟られて喜ぶとかカラスはどんだけマゾなんだ（笑）
555:１３２人目の素数さん
25/11/09 07:47:13.54 CA6TFgJW.net
>>543
＞君は、他人の理解 うんぬんが すきだねぇ〜〜
＞どうでもいいじゃん、他人の理解など
話し手が、話していることを理解しているかどうかは、最も重要
自分が理解できてないことを話すヤツの話を聞くのは時間の無駄だからね
＞要は、自分がどう理解するかだけよ
自分が理解するために、
理解できている人から話を聞く
理解できてない奴はクソだから焼く
便所の💩の掃除は大事
さて、本題の💩の掃除
＞私？ 私は、まずは
＞「頑張れ 日本！」
＞の範囲で理解できればいいのです
＞つぎは、
＞「日本 チャチャチャ」
＞です
なんでそこでニッポンがでてくるのか分からん
自分が大学１年レベルの数学に負けたから
自分を日本人全体に拡大して、
「オレが負けた現代数学に、日本人の誰かが勝ってくれ」
といいたいのかな？
だったら別に日本人に限定せず、人類全体に拡大しなよ
どうせン万年だかン十万年だか辿ればどこの人も共通祖先にたどり着くよ
３０万年という説があるけど、その場合まさに１万世代前の祖先だな
これがほんとの万世一系、八紘一宇か？（笑）
神武天皇はカメルーンにいた、ってか？（笑）
人類バンザーイ
●違いモッチーも、天才ショルツェも、遠い遠い親類
人類みな一家 仲良くしような（マジ）
556:１３２人目の素数さん
25/11/09 07:52:21.85 CA6TFgJW.net
>>548
トロン → アイデアは良かったが、実現に至らず
リニア → 技術はいいが、トンネル工事でトラブルつづきで、いつ開通できるやら
天皇 → 実質的には承久の乱後、権力喪失 南北朝のせいで完全に「いるだけの存在」になる
557:１３２人目の素数さん
25/11/09 07:56:25.82 CA6TFgJW.net
日本人はもう８割方、半島と大陸の血が入ってる
Y染色体ハプログループでいえば
O1b2は朝鮮半島から来た
O2は中国大陸から朝鮮半島を経て来た
日本の自己愛国粋野郎が中国・朝鮮・韓国を嫌うのはまさに近親憎悪
日本の自己愛国粋野郎は日本を中国や北朝鮮のような完全に全体主義的な国家にしたがってる
要するに中国や北朝鮮のような統制国家が「ぼくのかんがえるさいこうのくに」らしい（笑）
キモチワルイ 実にキモチワルイ
558:１３２人目の素数さん
25/11/09 08:00:47.11 CA6TFgJW.net
アナトリアの住民が昔ギリシャ語、今トルコ語をしゃべってる時点で
言語とか民族としてのアイデンティティとかいうものは
遺伝形質でもなんでもないということがわかる
人が生きるのにアイデンティティは要らない 最低、食料があればいい
559:１３２人目の素数さん
25/11/09 08:21:47.71 drNebvvD.net
十年一日のごとき〇〇〇〇節ですな
560:１３２人目の素数さん
25/11/09 08:26:36.54 KzrJNEj3.net
黒人蔑視のジェームズ・ワトソンと
同世代なのだろう
561:現代数学の系譜 雑談
25/11/09 08:48:41.89 QrKJGO9s.net
>>544
>>abc予想が解決したことになってないだろ
>という現状で進めるのではどんどん評判落とすことになりましょう
いやいや 間違っていますよ
”数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、行き詰るはずはないのである。
岡潔 『一葉舟』角川ソフィア文庫”
多分、数学は 最先端は常に難しいが、先に進めば 難しかった定理の証明に 簡明な別証が見つかったり するものだと
そして、万一 望月IUTのabc予想証明に ギャップが見つかったとしても、それも数学の進歩というものです
そのギャップを、他の人が埋めるか
あるいは、新しい証明を考えるか、それも 数学の進歩というもの
なので、”2019年 次世代幾何学研究センター設置[3]（2022年に次世代幾何学国際センターに拡充[9]）”>>542
は、数学の王道です
(参考)
chrome-extension://efaidnbmnnnibpcajpcglclefindmkaj/URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
九州大学 集中講義 2019.11
解析接続の問題に現れる解析と幾何
大沢健夫
数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、行き詰るはずはないのである。岡潔 『一葉舟』角川ソフィア文庫
（ついで）
URLﾘﾝｸ(www.math.sci.hokudai.ac.jp)
幾何学者石川剛郎
URLﾘﾝｸ(www.math.sci.hokudai.ac.jp)
第２６回 沼津改め 静岡研究会 ２０１９年３月
--- 幾何，数理物理，そして量子論 ---
URLﾘﾝｸ(www.math.sci.hokudai.ac.jp)
解析接続の解析と幾何
大沢健夫 2019
562:現代数学の系譜 雑談
25/11/09 09:04:05.58 QrKJGO9s.net
>>545
>>君は、他人の理解 うんぬんが すきだねぇ～～ｗｗｗ
>理解して居れば曖昧にはしないからですよ
>IUT理論を強力に後押ししないのは理解して居ないからかも知れません
>あなたのように理解はしていないが強力に後押ししたい気持を抑えきれない人もいるみたいですけれど
いやいや 間違っていますよ
>>8より再録
(参考)
URLﾘﾝｸ(hiroyukikojima.)<)
数論幾何入門 森北出版
モジュラー曲線から大定理・大予想へ
東京大学准教授 博士（数理科学） 三枝洋一 (著)
《数論幾何学の世界をめぐるための格好のガイドブック》
整数論の問題を幾何学的手法で解く―それが数論幾何学と呼ばれる代数学の分野です。フェルマー予想をはじめ、志村-谷山予想、ラングランズ予想、佐藤-テイト予想、BSD予想、ヴェイユ予想といった魅力的な大定理・大予想を数多く備えながらも、その理論は非常に抽象的かつ難解であるがゆえに、これまで初学者への門戸は開かれていませんでした。
本書は、そんな数論幾何学の世界に足を踏み入れるための入門書です。抽象的な一般論ではなく、「モジュラー曲線」と呼ばれる具体例を軸に解説されているので、特別な予備知識がなくても数論幾何学の考え方が理解できます。
前半では主にモジュラー曲線について解説し、後半では上記の大定理・大予想の内容の理解を目指します
(引用終り)
別に、加藤文元先生の宇宙本が バカ売れしたという
”宇宙と宇宙をつなぐ数学 IUT理論の衝撃 | 加藤 文元”
さらに、別に 数学者による 市民講演会というがある
要するに、21世紀の現代においては 数学は 社会から孤立した学問ではないのです
今、IUTに欠けているのは >>13-14 "加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」"と
"＜“big picture”＞" Career advice Terence Tao です
三枝洋一 「モジュラー曲線から大定理・大予想へ」レベルの本が存在していない！
”メンタルピクチャー”、“big picture” が 欠けている
それは、いずれ出てくる。IUTが正しければね。それが 数学の進歩です
563:現代数学の系譜 雑談
25/11/09 09:05:49.30 QrKJGO9s.net
>>562 タイポ訂正
さらに、別に 数学者による 市民講演会というがある
↓
さらに、別に 数学者による 市民講演会というのがある
564:１３２人目の素数さん
25/11/09 09:14:00.76 iDJjSeAH.net
ギャップというよりそもそも数学の文章として成立するための基礎論すらない。数学的証明に変換する変換先が定義されてない。どこそこわからないんじゃなくて丸ごと全部変換できない。
565:現代数学の系譜 雑談
25/11/09 09:33:40.90 QrKJGO9s.net
>>546
>>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
>その分野の専門家で理解ができているなら
まず、IUTを数学的に否定した 文献は世界にたった一つ
“Why ABC is still a conjecture” [URLﾘﾝｸ(www.math.uni-bonn.de)
by Peter Scholze のみ。これを認めよう！ （他は woitブログとか 文学系ですｗ）
そして、Scholze氏のは ”radical simplifications”という明白な ストローマン論法なので
これを、公に支持する 数論の数学者も また 皆無（専門違いの圏論屋が一人）
さて、”理解”とは 何か？ 大学入試ならば ある部屋にカンニング無しで 一定時間にある問題を解かせた 点数だろう
院試なら、上記に加えて 口頭試問がある
ところで、専門分野のIUTについては、このような手段は存在しない
”理解”の客観的な指標は存在しない
だが、多分 IUTの専門家同士で話をすれば、「ああ この人は分っている」と感じるものがあるでしょうね
私？ 私は IUTなど ”さっぱり妖精”（下記） （＾＾
三枝洋一 「モジュラー曲線から大定理・大予想へ」を 読むのが 精一杯ｗ
(参考)
URLﾘﾝｸ(dic.pixiv.net)
さっぱり妖精 ピクシブ百科事典
「魔法陣グルグル」に登場するキャラクター
URLﾘﾝｸ(i.pximg.net)
>>476-477より再録
下記 “Why ABC is still a conjecture”中 の
”2.1.Glossary: IUTT-terminologyandhowwemaythinkoftheseobjects.
This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.”
ここで ”radical simplifications”が、ストローマンでアウト！
（政治ディベートでは ストローマンは常套手段だが、数学では許されない！）
(参考)
URLﾘﾝｸ(zbmath.org)
zbMATH Reviewer: Peter Scholze (Bonn)
Inter-universal Teichmüller theory. I: Construction of Hodge theaters(2021).
(抜粋)
“Why ABC is still a conjecture” [URLﾘﾝｸ(www.math.uni-bonn.de) that discusses the issues in slightly more detail.
URLﾘﾝｸ(ja.wikipedia.org)
ストローマン（straw man）は、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと、あるいはその歪められた架空の主張そのものを指す
566:現代数学の系譜 雑談
25/11/09 09:35:48.49 QrKJGO9s.net
>>564
ヒキコモリ数学基礎論くんか
妄想デンパ出まくりですよ
お薬のみましょう
567:１３２人目の素数さん
25/11/09 09:45:41.45 iDJjSeAH.net
ないやん。どこにかいてあるの？
568:１３２人目の素数さん
25/11/09 09:46:50.07 wauc0h2b.net
>>556
>天皇 → 実質的には承久の乱後、権力喪失 南北朝のせいで完全に「いるだけの存在」になる
しかし「いるだけの存在」は続き決して無くなることはなかった。
それどころか歴史の要所要所で存在感を発揮した。勝てば官軍負ければ賊軍、王政復古の大号令、皇軍、等。
先の大戦の敗戦により敗軍の将となり国民主権となったにもかかわらず国家国民の象徴としてなお存続した。
それらは日本人の心の中に常に畏敬崇拝の念があったからだ（時の権力者がそれを利用した）。
そして現在、天皇は世界で唯一の皇帝（Emperor）である。
天皇制が気に入らないなら日本から出ていくことだ。気に入らない国に我慢して居続けることはない。
569:１３２人目の素数さん
25/11/09 10:10:22.35 wauc0h2b.net
>>557
>日本の自己愛国粋野郎が中国・朝鮮・韓国を嫌うのはまさに近親憎悪
中国は人民の不満が中共政府に向かわぬようそのはけ口として国の外に日本という敵を作っている。尖閣領海への侵犯を繰り返している。武漢肺炎パンデミックを起こしたのに謝罪しない。
韓国は日韓請求権協定締結により戦後賠償問題は完全かつ最終的に解決したにも関わらず日本に言いがかりつけゆすり集りしてくる。
朝鮮は拉致被害者を返さない。ミサイル撃ってくる。
これらの国を嫌う合理的理由がちゃんとある。
>日本の自己愛国粋野郎は日本を中国や北朝鮮のような完全に全体主義的な国家にしたがってる
>要するに中国や北朝鮮のような統制国家が「ぼくのかんがえるさいこうのくに」らしい（笑）
>キモチワルイ 実にキモチワルイ
その思い込みこそがキモチワルイ 実にキモチワルイ
570:現代数学の系譜 雑談
25/11/09 10:11:04.73 QrKJGO9s.net
>>550
>例えば、「箱入り無数目」定理について
下記「箱入り無数目」は、定理にはなっていない
実際、時枝氏も 数学セミナーの記事の最後は、”むにゃむにゃ”とお経を唱えてゴマカシたｗ
なお、数学セミナー誌は 査読のある新規論文投稿の雑誌ではない
また、「箱入り無数目」以外の同趣旨の査読論文も皆無だし
さらに、「箱入り無数目」に賛同する 日本の大学の確率論学者も皆無
さらに、大学レベルの確率論を修めた人で 「箱入り無数目」に賛同する人皆無
「箱入り無数目」の大問題は、下記 確率の公理 P(Ω)=1 を 決定番号が満たせないことにある
つまり、決定番号は 全ての自然数を渡るが
Ω＝自然数の集合N とすると、数え上げ測度で 無限大に発散するため P(Ω)=1 は与えられない
よって 例えば、自然数Nで 半分は奇数、”半分は偶数だから P(偶数)=1/2” はダメ！！■
（直感的には 言えそうだが、厳密な数学ではない）
(参考)
ｽﾚﾘﾝｸ(math板)
スレタイ 箱入り無数目を語る部屋29
(参考)時枝記事
URLﾘﾝｸ(imgur.com) (リンク切れてしまったが そのうちにｗ)
数学セミナー201511月号「箱入り無数目」
ｽﾚﾘﾝｸ(math板:401番)-406 純粋・応用数学（含むガロア理論）8 より
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
URLﾘﾝｸ(ja.wikipedia.org)
確率の公理
コルモゴロフによる公理系
Ω は、根元事象と呼ばれる要素の集合、
F は Ω の部分集合から構成される族であり、その要素は事象と呼ばれる。
P は F 上の集合関数とする。
4. P(Ω)=1.
URLﾘﾝｸ(ja.wikipedia.org)
数え上げ測度（英: counting measure; 計数測度）とは、集合の元の個数を数えるという方法でその "大きさ"（あるいは "容積"）を測る
571:１３２人目の素数さん
25/11/09 10:14:06.75 wauc0h2b.net
>>558
>人が生きるのにアイデンティティは要らない
じゃ日本から出てけば？
572:１３２人目の素数さん
25/11/09 10:20:28.07 KzrJNEj3.net
数学と食料さえあれば
宇宙空間で独りぼっちでも
人が生きるのには十分
573:１３２人目の素数さん
25/11/09 10:27:13.46 wauc0h2b.net
>>570
>下記「箱入り無数目」は、定理にはなっていない
なってる。君が勘違いしてるだけ。
>実際、時枝氏も 数学セミナーの記事の最後は、”むにゃむにゃ”とお経を唱えてゴマカシたｗ
ごまかしてるのは君。
>なお、数学セミナー誌は 査読のある新規論文投稿の雑誌ではない
>また、「箱入り無数目」以外の同趣旨の査読論文も皆無だし
「正しい定理は査読を通ったものだけ」が間違い
>さらに、「箱入り無数目」に賛同する 日本の大学の確率論学者も皆無
>さらに、大学レベルの確率論を修めた人で 「箱入り無数目」に賛同する人皆無
箱入り無数目成立を公言した大学教員
Stanford大学教授 時枝正
Kusiel-Vorreuter大学教授 Sergiu Hart
Baylor大学教授 Alexander Pruss
箱入り無数目不成立を公言した大学教員
無し
箱入り無数目は集合論を使った数学パズルだから確率論学者は関係無い。
>「箱入り無数目」の大問題は、下記 確率の公理 P(Ω)=1 を 決定番号が満たせないことにある
>つまり、決定番号は 全ての自然数を渡るが
>Ω＝自然数の集合N とすると、数え上げ測度で 無限大に発散するため P(Ω)=1 は与えられない
正しくは Ω={1,2,・・・,100}。君が誤解してるだけ。
>よって 例えば、自然数Nで 半分は奇数、”半分は偶数だから P(偶数)=1/2” はダメ！！■
>（直感的には 言えそうだが、厳密な数学ではない）
箱入り無数目は厳密に成り立つ。直感頼りで間違ってるのが君。
574:１３２人目の素数さん
25/11/09 10:30:46.25 KzrJNEj3.net
ABCに戻ろう
575:１３２人目の素数さん
25/11/09 10:36:02.05 wauc0h2b.net
>>561
君、相変わらず言葉が通じないね、会話がかみ合ってないよ
576:１３２人目の素数さん
25/11/09 10:38:57.65 KzrJNEj3.net
IUTについては
かみ合う議論が難しい
577:１３２人目の素数さん
25/11/09 10:46:14.53 CA6TFgJW.net
>>561
>>561
＞”数学はやればやるほど簡単になるはずであり、
＞組み合わせの数は無限であっても、
＞行き詰るはずはないのである。”
＞岡潔 『一葉舟』
最初の行は、情報量の定義に反する
二行目三行目は正しいが
そこから最初の行の主張は導けない
（完）
＞多分、数学は 最先端は常に難しいが、
難しいのではなく、分かってない
素人は言葉を知らんね
＞先に進めば 難しかった定理の証明に
＞簡明な別証が見つかったり するものだと
常にそうなるとは言えない
もしそういえるとすると情報量の定義と矛盾する（笑）
578:１３２人目の素数さん
25/11/09 10:50:44.05 CA6TFgJW.net
>>562
＞今、IUTに欠けているのは メンタルピクチャ（加藤文元） big picture（Terence Tao）
ヒルベルトなら「無矛盾性」 タルスキなら「モデルの存在」 というところだね
＞それは、いずれ出てくる。IUTが正しければね。
間違ってたら、永遠に出てこないけどね。
御愁傷様 国粋●違いはギャンブルで大穴に賭けてものの見事に負けました！（笑）
579:１３２人目の素数さん
25/11/09 10:53:14.79 drNebvvD.net
>>572
「孤独は死に至る病じゃ」
独りぼっちで生きていけるなら、なぜひとのいる掲示板に出てくる？
580:１３２人目の素数さん
25/11/09 10:53:32.23 CA6TFgJW.net
>>565
＞私？ 私は IUTなど ”さっぱり妖精”
君はそもそも実数論も線形空間論も”さっぱり妖精”だろ（笑）
コーシー列の定義も理解できん
線形独立の定義も理解できん
それじゃ微積も線形代数も落第だわな
581:１３２人目の素数さん
25/11/09 10:54:49.72 wauc0h2b.net
>>562
望月はショルツェを納得させられなかった。それどころか逆ギレして罵倒した。望月自身がIUTを理解していないことを白状したも同然。理解していたら駄々っ子みたいに逆ギレする必要は無い。
それを見た数学コミュニティは「こりゃダメだ」と相手にするのをやめた。望月のかつての師も「自分の研究に時間を使うことにした」とやんわり突き放したｗ
582:１３２人目の素数さん
25/11/09 10:56:03.07 CA6TFgJW.net
>>566
コピペ国粋●違いの君は
誇大妄想出まくりだけどな
たかが公立高→二流国立大工学部卒の”一般人”が数学者ぶるなよ
コーシー列も線形独立も分からん奴は数学者どころか
大学１年の微積と線形代数の単位もとれねえよ（笑）
583:現代数学の系譜 雑談
25/11/09 10:58:04.76 QrKJGO9s.net
>>548-549
>トロン万歳！ リニア万歳！ 天皇陛下万歳！
>トロンと坂村健の嘘
>URLﾘﾝｸ(ikedanobuo.livedoor.biz)
>>556
トロン → アイデアは良かったが、実現に至らず
(引用終り)
"トロン" みたいな話は、IT業界には山ほどある（敗れ去ったもの話 IT界の時間の流れは速い）
例えば、OSの歴史では いまLinuxが標準になってしまった
また、スマホも Androidは、Linuxカーネル（アップルiOSは BSD系UNIXらしい 下記）
その中で、"トロン" 自身は 戦いに敗れたかもしれないが
日本のIT界に残した 人材と知的財産の遺産は 大きいと思いますよ
池田 信夫さん、下記 1978年（昭和53年）東京大学経済学部卒業、1978年（昭和53年）NHK入局か
まあ、文系さんだね（理系の深いところは 彼は 理解できていないようだ・・）
(参考)
URLﾘﾝｸ(news.yahoo.co.jp)
意外と知らない日本発の世界標準OS『TRON』は何が凄いのか？
5/13(火) スマホライフPLUS
OSと言えば『Windows』『Linux』などを想起する方は多いでしょう。しかし『TRON』はリアルタイム処理とオープンアーキテクチャで組み込みシステムのデファクトスタンダードとなり、世界標準のOSとして無数のデバイスに搭載されています。IoTの先駆けとなり、小惑星探査機『はやぶさ2』にも採用されています。
URLﾘﾝｸ(ja.wikipedia.org)
TRONプロジェクト
電電公社によるCTRONプロジェクトは成功し、1990年頃よりNTT社内において、DEXのOSである「DEX-OS」とDIPSのOSである「DIPS-OS」が、CTRON準拠の「IROS（Interface for Realtime Operating System）」に切り替わった
URLﾘﾝｸ(ja.wikipedia.org)
Linux
2017年のLinux Foundationによる報告書は、99%のスーパーコンピュータ、90%のパブリッククラウド、82%のスマートフォン、62%の組み込みシステムがLinuxで動作していると主張している[13]
つづく
584:現代数学の系譜 雑談
25/11/09 10:58:40.35 QrKJGO9s.net
つづき
URLﾘﾝｸ(ja.wikipedia.org)(%E3%82%AA%E3%83%9A%E3%83%AC%E3%83%BC%E3%83%86%E3%82%A3%E3%83%B3%E3%82%B0%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0)
Android（アンドロイド）は、Googleが開発した汎用モバイルオペレーティングシステムである[3][4][注釈 1]。Linuxカーネルやオープンソースソフトウェアがベースで、主にスマートフォンやタブレットなどのタッチスクリーンモバイルデバイス向けにデザインされている
URLﾘﾝｸ(ja.wikipedia.org)
オペレーティングシステム（英: operating system、略称:OS、オーエス）
歴史
1980年代後半-2000年代初頭 次世代オペレーティングシステムへの流れ
1991年に、Linuxが自由ソフトウェアとして公開された
Linuxは保守的な設計とバザール方式という不特定多数の担い手による開発手法を採用し、迅速な開発が進められ、PC-UNIXのデファクトスタンダードとなった
2000年代中盤 オペレーティングシステムの多様化
オープンソースの流れでは、従来よりGNUがUNIX向けのツール群を開発していたが、これらをLinuxカーネルと組み合わせたGNU/Linuxが、2000年頃よりUnix系オペレーティングシステムの主流となった
組み込みシステム
オープンソースのTOPPERSのITRONを含むTRON系オペレーティングシステム・APIが、2020年現在、組み込みオペレーティングシステムの60%のシェアを持っている[10]。
URLﾘﾝｸ(ja.wikipedia.org)
iOS（アイオーエス）とは、Appleが開発および提供する、iPhoneとiPod touch向けのモバイルオペレーティングシステム（組み込みプラットフォーム）であり、BSD系UNIXから開発されたNeXTのOPENSTEPを起源とするMacintosh専用のmacOSをモバイル機器用途に改変したものである
URLﾘﾝｸ(ja.wikipedia.org)
池田 信夫（いけだ のぶお、1953年〈昭和28年〉10月23日[1] - ）は、日本の経済評論家[3][4][5][6]、ブロガー
学歴
1972年（昭和47年） - 京都府立洛北高等学校[44] 卒業。
1978年（昭和53年） - 東京大学経済学部卒業[7]。
1996年（平成8年） - 慶應義塾大学大学院政策・メディア研究科政策・メディア専攻修士課程修了。同年、同大学院政策・メディア研究科政策・メディア専攻後期博士課程中退[7]。
2005年（平成17年） - 「情報通信産業のアーキテクチャについての研究」により、慶應義塾大学大学院政策・メディア研究科より博士（政策・メディア）を授与[45]される
職歴
1978年（昭和53年） - NHK入局[7]。
1993年（平成5年） - NHKを退職[7]。
1997年（平成9年） - 国際大学グローバルコミュニケーションセンター (GLOCOM) 助教授（-2000年）[7]
(引用終り)
以上
585:１３２人目の素数さん
25/11/09 11:01:10.58 iDJjSeAH.net
これもセタの小学生構文、「駄々をこねる」、重い通りにいかないから話の筋道通ってようがなかろうがお構いなしに言いたいことを相手がい相手にするの嫌になって引いていくまでひたすら「駄々をこねる」。長文コピペもおなじ。思春期時代にそういう「駄々をこねる」という行為が人間としてみっともない、恥ずかしい行為であることを学ぶ機会がなかったんやろ。
そして「駄々をこねる」ことで、他人に白い目で見られることと引き換えに、無理を通す成功体験を通じて理性的に判断して自説の誤りを認めることも時には必要ということを学ぶ機会を失って結果、理性的判断よりも「自分が負けることはゆるされない、どんな場合でも、現実自分がまちがっていたとしても」という感情判断の方を優先する“人格障害”に陥ってしまったんやろ。
もうまともな人間にもどるのは無理やろな
586:１３２人目の素数さん
25/11/09 11:05:29.28 wauc0h2b.net
>>565
>まず、IUTを数学的に否定した 文献は世界にたった一つ
相手にされてないから否定すらしてもらえない
逆に肯定してるのは望月一味だけ
これが現実
587:１３２人目の素数さん
25/11/09 11:10:23.67 CA6TFgJW.net
>>568
（天皇）
＞しかし「いるだけの存在」は続き決して無くなることはなかった。
日本人は骨董マニア（笑）
＞それどころか歴史の要所要所で存在感を発揮した。
＞勝てば官軍負ければ賊軍、王政復古の大号令、皇軍、等。
明治以降の政府が天皇を利用しただけ
天皇自身は基本何もしてない
明治天皇は何した？ 言えないだろ？ だって何もしてないもん（笑）
＞先の大戦の敗戦により敗軍の将となり
＞国民主権となったにもかかわらず
＞国家国民の象徴としてなお存続した。
昭和天皇は戦争の終結にはちょっとは寄与した
ただぶっちゃけかなり遅すぎた
１９４４年のサイパン陥落の時点で降参すべきだった
そうすれば六大都市を中心とした空襲はなかった
沖縄も戦場にならなかった
特攻なんて愚劣なことは起きなかった
大正世代の男性の１割を超える戦死者をだすこともなかった
＞それらは日本人の心の中に常に畏敬崇拝の念があったからだ（時の権力者がそれを利用した）。
ないよそんなもんは
権力によって畏敬崇拝を強制させられた
中国や北朝鮮がやってることと全然変わんないよ（笑）
むしろカルト宗教度では両者より上かもしれん
＞そして現在、天皇は世界で唯一の皇帝（Emperor）である。
中国の皇帝と、ローマのインペラトールは異なる
前者では世襲は重要だが、後者は軍事司令官の意味が強く世襲の意味はない
ヨーロッパで世襲制の意味が強いのはむしろ王（king）である
せめてこの程度の常識を知ったうえで、フカしてくれないと
只の夜郎自大馬鹿野郎と鼻先で笑われるだけ
そこの万年中二病自己愛野郎の相手をするほど、ボクは人類愛には目覚めてない（笑）
＞天皇制が気に入らないなら日本から出ていくことだ。
＞気に入らない国に我慢して居続けることはない。
ここは日本ではない（笑）
ここに日本はないので、「日本人」はここから出ていくことだ
勝手にここを日本だと詐称するのはやめような
大体日本って中国からみて東という蔑称だって知らない馬鹿は失せろよ シッシッ！！
588:１３２人目の素数さん
25/11/09 11:15:36.48 wauc0h2b.net
>>587
>>568を読んで理解してから反論しろ馬鹿
589:１３２人目の素数さん
25/11/09 11:17:39.81 wauc0h2b.net
>ここは日本ではない（笑）
そうなの？ じゃおまえはどこにいるの？
590:１３２人目の素数さん
25/11/09 11:18:29.04 CA6TFgJW.net
>>569
＞中国は人民の不満が中共政府に向かわぬよう
＞そのはけ口として国の外に日本という敵を作っている。
中国は日本なんて敵と思っちゃいない（笑）
朝鮮だろうが日本だろうが
ベトナムだろうがミャンマーだろうが
マレーシアだろうがインドネシアだろうが
全部目下 基本的に侵略対象ではない
中国本土よりいい場所なんて周りにないから
まあ、中国人はどこへでもいくから
華僑とかいってあふれまくってるけどね
日本はかつて朝鮮だけでなく満州そして中国本土まで侵略してきた
しかも一度も謝罪しない
日本は島の土人のくせに自分だけが人間だと思ってる
イスラエルのごとき身の程知らずの自己愛●違い野郎
アジア諸国が日本を憎む理由はある
だれが殺人鬼強姦魔強盗犯を歓迎するのか？
591:１３２人目の素数さん
25/11/09 11:22:35.36 CA6TFgJW.net
>>５８９
>おまえはどこにいるの？
ここ（笑）
592:１３２人目の素数さん
25/11/09 11:24:37.16 wauc0h2b.net
>>591
日本にいて、日本語話して、日本の庇護を受けて日々平和を享受して生きてるのに、ここは日本ではないとか言っちゃう基地外だったか
593:１３２人目の素数さん
25/11/09 11:26:35.51 wauc0h2b.net
>>590
>中国は日本なんて敵と思っちゃいない（笑）
ほんとおまえ話通じねえな 言語障害か？
敵と思ってるなんて一言も言ってない
人民にとっての敵を作ってると言っている
594:現代数学の系譜 雑談
25/11/09 11:27:26.19 QrKJGO9s.net
>>583 タイポ訂正
"トロン" みたいな話は、IT業界には山ほどある（敗れ去ったもの話 IT界の時間の流れは速い）
↓
"トロン" みたいな話は、IT業界には山ほどある（敗れ去ったものの話 IT界の時間の流れは速い）
＜余談＞
下記 ソニーのNEWS-OS（UNIX）、Σプロジェクトとか 商業的には成功しなかった
しかし、ソニー プレステとか ニンテンドーとか 知識と人材がゲーム機で生きている気がする
第五世代コンピュータも、AIの先取りで 商業的には成功しなかったが
知識と人材は、いまの時代に 生きている気がする
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
UNIX
NEWS-OS
ソニー製のNEWSワークステーション専用のUNIX。当初は4.2BSDベースであったが、後に4.3BSDベースとなる。終末期にはSVR4.2ベースとなった(NEWS-OS6.x)。
URLﾘﾝｸ(ja.wikipedia.org)
Σプロジェクト（シグマプロジェクト）とは、1985年（昭和60年）から1990年（平成2年）にかけて進められた日本政府の国家プロジェクトである。Σ計画（シグマけいかく）とも呼ばれる。シグマ（SIGMA）とは「Software Industrialized Generator and Maintenance Aids」の頭字語であり「ソフトウェア生産工業化システム」と別称されていた[1]。通商産業省（現経済産業省）所管の情報処理振興事業協会 (IPA) が民間コンピュータ企業と連携しての推進役になり、総額で250億円（日本経済新聞1992年6月10日朝刊では218億円）の国家予算が投じられている
UNIXの採用は妥当であったが、ポピュラーなBSDではなくSystem Vが選択されるなどしていた。最終的に250億円の国家予算が投入されたと言われているが、有用なソフトウェア生産が得られたなどの評判はほとんど聞かれないままにプロジェクト終了を迎えている
URLﾘﾝｸ(ja.wikipedia.org)
第五世代コンピュータ（だいごせだいコンピュータ）計画とは、1982年から1992年にかけて日本の通商産業省（現経済産業省）所管の新世代コンピュータ技術開発機構（ICOT）が進めた国家プロジェクトで、いわゆる人工知能コンピュータの開発を目的に総額540億円の国家予算が投入された。
プロジェクトの三本柱は、非ノイマン型計算ハードウェア、知識情報処理ソフトウェア、並行論理プログラミング言語とされた。
論理プログラミング研究による学術振興をもたらして情報工学の後進育成に寄与したとする肯定的な見方もあるが
日本が特に研究したPrologのISO規格化の際にもそれほど大きな影響力を持てなかった
595:１３２人目の素数さん
25/11/09 11:28:22.50 wauc0h2b.net
基地外は日本から出てけよ
おまえは日本を要らない
日本はおまえを要らない
win-winじゃんｗ
596:１３２人目の素数さん
25/11/09 11:30:59.75 CA6TFgJW.net
まあ、「日本国」とかいう「反社会的勢力」がこのあたりを縄張りにして
カタギの衆からみかじめ料をとってるけどな ほんと迷惑（笑）
そこの組長は、代々「天皇」とかいう中二病的肩書を襲名してるらしい
２６００年以上とかいってるけどそんなわけない
天皇は７世紀ごろの唐の君主の称号だから（笑）
せいぜい１３００年くらいの歴史しかない
はっきりいって、ここの一番平和な時代は縄文時代だろう
半島とか大陸から金属製の武器持ってやってきたクソ野郎どものせいで
ここはすっかり腐敗堕落した
正直アマゾンのピダハンみたいに字も書かない数も数えない生活で十分だ
小賢しさは人を陥れる悪知恵でしかない
ID:wauc0h2bみたいな自己愛野郎は、いっぺん●んだほうがいい
ほんと迷惑 殺人強姦強盗しかしない凶悪犯罪者なんて
597:１３２人目の素数さん
25/11/09 11:34:09.44 CA6TFgJW.net
＞日本の庇護
ｗｗｗｗｗｗｗ
カタギの衆から散々金毟ってる反社のチンピラがなにいってんだ
いいかげんその真珠の珠いれた●ンポコ見せびらかすのやめろ
キモチワルイんだよ おまえの自慢のいちいちがな
いっぺん●んで生まれ変わってこい 何のとりえもないチンピラ野郎（嘲）
598:１３２人目の素数さん
25/11/09 11:45:55.04 P3lbYVWX.net
>>565
>だが、多分 IUTの専門家同士で話をすれば、「ああ この人は分っている」と感じるものがあるでしょうね
>私？ 私は IUTなど ”さっぱり妖精”（下記） （＾＾
はぁ
査読をした人が理解してないと言いたいのですね？
599:１３２人目の素数さん
25/11/09 11:46:46.44 P3lbYVWX.net
>>562
無い物ねだりはお得意ですか
600:１３２人目の素数さん
25/11/09 11:48:43.31 P3lbYVWX.net
>>561
間違っているかも知れないと言われていることを
間違いを修正しようとはせずに更に進めることで
折角のRIMSの評判はがた落ちになります
残念ですね
601:１３２人目の素数さん
25/11/09 11:49:33.78 wauc0h2b.net
>>596
>まあ、「日本国」とかいう「反社会的勢力」がこのあたりを縄張りにして
>カタギの衆からみかじめ料をとってるけどな ほんと迷惑（笑）
じゃあおまえの大好きな中国様にでも帰化しろよｗ
>そこの組長は、代々「天皇」とかいう中二病的肩書を襲名してるらしい
>２６００年以上とかいってるけどそんなわけない
>天皇は７世紀ごろの唐の君主の称号だから（笑）
>せいぜい１３００年くらいの歴史しかない
ほとんどの日本人は神話と史実を混同してないだろ
古事記、日本書記に天皇の記述があることからせいぜいじゃなく少なくとも１３００年な
>はっきりいって、ここの一番平和な時代は縄文時代だろう
証拠は？ 妄想？
時代が古ければ古いほど平和から遠い これが現実
実際、ホモサピエンスはホモサピエンス以外の人類をすべて絶滅させた 生物学的に近い種ほど競合するからな これが人類史において最も平和から遠い時代
>自己愛野郎
おまえレッテル貼り大好きだなｗ
日本を愛さないおまえを日本は愛さない さっさと帰化しろ基地外
602:１３２人目の素数さん
25/11/09 11:54:29.54 wauc0h2b.net
>>597
平和維持にコストがかかるのは当然だろ 平和は空気みたいにただだと思ってるのか？ これだから頭お花畑の左翼は
コスト負担するのが嫌なら日本から出ていけばよい その自由は保障されている 自由を行使せずに日本にしがみついてるのがおまえ
603:１３２人目の素数さん
25/11/09 11:55:07.00 P3lbYVWX.net
>>565
>そして、Scholze氏のは ”radical simplifications”という明白な ストローマン論法なので
>これを、公に支持する 数論の数学者も また 皆無（専門違いの圏論屋が一人）
内容も分からずにそう断定するのは誹謗中傷の類いですね
どっちかというと
世界的にはscholzeという人の指摘の方が妥当性が高いと思われているようです
ですので証明は認められていないわけです
これは証明が間違っていると断定されているのとは違いますよ
まあ正直なところでは早く結着して欲しいと思ってましょうけど
604:１３２人目の素数さん
25/11/09 11:58:06.32 P3lbYVWX.net
>>565
>私？ 私は IUTなど ”さっぱり妖精”（下記） （＾＾
つまり
あなたが引用することはサッパリ本質を表してないのでしょう
結局答えてはくれないんですね>>472,481,484
それから>>458に
ストローマンさん
605:１３２人目の素数さん
25/11/09 12:00:47.28 wauc0h2b.net
縄文時代は平和だった だから縄文時代に戻るべきだ
↑
おまえはポルポトか？ｗ
606:１３２人目の素数さん
25/11/09 12:05:00.36 wauc0h2b.net
ポルポトは真面目で質素な生活をしていたそうだ
彼は豪遊がしたかったのではない、心の底から国民を幸福にしたかった
その結果が全国民1/4以上の虐殺ｗ
607:１３２人目の素数さん
25/11/09 12:06:17.18 wauc0h2b.net
だから基地外に権力持たせちゃダメなんだ
反日基地外は日本から出てけ
608:１３２人目の素数さん
25/11/09 12:09:43.47 iDJjSeAH.net
こういう「駄々こね人間」はグループになんの利益ももたらさないし、いるだけ邪魔。なので一般社会からは自動的に物理的に排除される。それが「こういう行為を繰り返すと人間は社会の中で生きていけない」と学べる。ところがこういう匿名掲示板では物理的に排除されるメカニズムがないのでそういう学びのチャンスがないので小学生は小学生のまま。結果大量の引きこもりとかニートが発生する事態を引き起こしてるんやろな。
609:１３２人目の素数さん
25/11/09 12:11:37.23 drNebvvD.net
>縄文時代の暴力による死亡率は？
>（1）約1万年におよぶ縄文時代の受傷人骨データを網羅的・体系的に収集し、
>暴力による死亡率を初めて数量的に算出した。 データ総数は2,582点
>（人骨出土遺跡数は242箇所）、うち受傷例は23点、暴力による死亡率は1.8％である。
結論：現代の日本が史上最も平和
610:１３２人目の素数さん
25/11/09 12:16:25.28 P3lbYVWX.net
>>581
>それを見た数学コミュニティは「こりゃダメだ」と相手にするのをやめた。
現状そんな感じですね
でもまだ希望はあります
理解して居る人が>>524
12～15人はいるはずですから
これらの方々が誹謗中傷に陥らず根気強く説得しようとしてくれることが期待できるのではないでしょうか
>望月のかつての師も「自分の研究に時間を使うことにした」とやんわり突き放した
G. Faltingsの言葉でしょうか？
百年河清を俟つ姿勢は賢明かもしれませんね
611:１３２人目の素数さん
25/11/09 12:24:50.07 /zC1GuSg.net
パンドラの箱の底に残る希望にだけはなりたくない
612:１３２人目の素数さん
25/11/09 12:27:56.30 wauc0h2b.net
こうやって５ちゃんで呑気に馬鹿話してられるのも自由で平和だから。
その自由と平和はどこから来ている？
どこぞの国には自由が無い。どこぞの国には平和が無い。日本だから自由で平和なのだ。
反日基地外は日本から出て行って自由と平和の有難さを肌で感じてこい。
613:１３２人目の素数さん
25/11/09 13:06:59.24 /zC1GuSg.net
自由と平和の意味が国によって異なるのが現実ではなかろうか
614:現代数学の系譜 雑談
25/11/09 13:56:22.21 QrKJGO9s.net
>>576
>IUTについては
>かみ合う議論が難しい
巡回ご苦労さまです
全くです
下記の 2020 by woit での Peter Scholzeと Taylor Dupuyとの論争も
結局は、かみ合わなかった
(参考)
URLﾘﾝｸ(www.math.columbia.edu)
Latest on abc Posted on April 3, 2020 by woit
Davide Castelvecchi at Nature has the story this morning of a press conference held earlier today at Kyoto University to announce the publication by Publications of the Research Institute for Mathematical Sciences (RIMS) of Mochizuki’s purported proof of the abc conjecture.
This is very odd. As the Nature subheadline explains, “some experts say author Shinichi Mochizuki failed to fix fatal flaw”.
Peter Scholze says:
April 6, 2020 at 9:28 am
I have been weighing back and forth commenting again on this matter. However, the news in that last comment by David J. Littleboy convinced me that it might be good, even if futile, to say something again.
I may have not expressed this clearly enough in my manuscript with Stix, but there is just no way that anything like what Mochizuki does can work. (I would not make this claim as strong as I am making it if I had not discussed this for with Mochizuki in Kyoto for a whole week; the following point is extremely basic, and Mochizuki could not convince me that one dot of it is misguided, during that whole week.) It strikes deep into my heart to think that in the name of pure mathematics, an institute could be founded for research on such questions, and I sincerely hope that this will not come back to haunt pure mathematics.
The reason it cannot work is a theorem of Mochizuki himself.
略
I’m really frustrated with the current situation. What EricB reports from the Asahi Shinbun also sounds deeply troubling, effectively arguing along national lines; again, this strikes deep into my heart. I’m really quite surprised by the strong backing that Mochizuki gets from the many eminent people (who I highly respect) at RIMS.
If I can in any way help to mitigate the situation, I’d be most happy to.
Taylor Dupuy says:
April 6, 2020 at 1:00 pm
Hi Peter!
First, hope your pandemic is going well. Mine is going ok. Hard to get things done without daycare.
Second, let me say that for hyperbolic curves over a p-adic field K (with no extra hypotheses like strictly Belyi type or Belyi type or canonical lift) that pi_1(Z) “determines” Z is open. Also, I personally would advocate against using words like “determines”, “reconstructs”, etc that have been causing sooo many problems in discussing all of these things.
615:１３２人目の素数さん
25/11/09 13:59:31.85 wauc0h2b.net
>>613
屁理屈爺がなんか言っとる
616:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/09 14:21:58.19 3sh1bNra.net
武器に対する興味を失わず社会はよくない。
617:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/09 14:22:31.83 3sh1bNra.net
失わす。
618:現代数学の系譜 雑談
25/11/09 14:24:55.46 QrKJGO9s.net
>>614 補足
>下記の 2020 by woit での Peter Scholzeと Taylor Dupuyとの論争も
>結局は、かみ合わなかった
1）Scholzeちゃんも、若い
「”radical simplifications”という明白な ストローマン論法」>>565
が、彼は 若いから 数学外道だと 分っていない
正しいと 信じ込んでいる。だから、Taylor Dupuyとの論争が かみ合わない
2）例えば O–Takegoshi L2 extension theorem URLﾘﾝｸ(en.wikipedia.org)
”・・・ Kensho Takegoshi in 1987,[1] using what have been described as ad hoc methods involving twisted Laplace–Beltrami operators, but simpler proofs have since been discovered.[2] ( Siu (2011))
Many generalizations and similar results exist, and are known as theorems of Ohsawa–Takegoshi type.”
3）このように、”simpler proofs have since been discovered”は、良いのです
だが、「証明をsimplificationしたら 証明にギャップが出来ました」というN大の学生が居たら？
O先生も「あ然、ぼう然、がく然」ｗ でしょう。O先生「おまえ 本当にN大 数学科生か？」とｗ
つまり、”simpler proofs”は是なれど、”simplification→ギャップ出来た”は 原理的に不可なのです
この簡単な理屈が、若いScholze氏は 理解できていない！
彼は「証明をsimplificationしたら 証明にギャップが出来ました」という 非数学のディベート論法を
公式の数学主張として 持ち込んで 使った 史上初の数学者かも知れない
619:現代数学の系譜 雑談
25/11/09 14:29:39.38 QrKJGO9s.net
>>616-617
死狂幻調教大師S.A.D.@月と六ベンツさん
ありがとうございます
いつも お世話になっています （＾＾
620:１３２人目の素数さん
25/11/09 15:04:09.06 wauc0h2b.net
>>618
証明とは論理式の有限列であり、
条件：初項は前提、末項は結論、その他の項は前提または直前の項に推論規則を適用することで得られるもの
を満たすもののこと。
IUTが依拠する論理が示されていないのは証明のギャップどうこう以前の不備。理論の要件を満たしていない。
無教養なおまえは何が問題かすら分かっていない。
621:１３２人目の素数さん
25/11/09 15:13:55.44 wauc0h2b.net
直前は嘘だな。前であればよい。
622:１３２人目の素数さん
25/11/09 15:55:57.06 CA6TFgJW.net
>>601
＞おまえの大好きな中国様にでも帰化しろよ
東アジアの中心である中国への嫉妬丸出し
中国の皇帝支配にあこがれる島の土人が
日本の天皇支配でマネをしたがる
＞時代が古ければ古いほど平和から遠い これが現実
それって文明のペニスにレイプされた土人君の勝手な妄想ですよね（笑）
＞ホモサピエンスはホモサピエンス以外の人類をすべて絶滅させた
おまえ生命絶滅が好きなの？さすが強盗強姦殺人大好きな脅迫犯
おまえみたいなヤツがいるから人類の平和が実現しねぇんだよ（笑）
＞＞自己愛野郎
＞おまえレッテル貼り大好きだな
「ホモサピエンスはホモサピエンス以外の人類をすべて絶滅させた」
と嬉々として語る貴様は、自ら強盗強姦殺人大好きな自己愛凶悪犯罪者と白状してるも同じ
自分以外誰も愛さない貴様を他人は愛さない さっさと●ね 人非人
623:１３２人目の素数さん
25/11/09 16:01:19.91 CA6TFgJW.net
>>602
＞平和維持にコストがかかるのは当然だろ
＞平和は空気みたいにただだと思ってるのか？
＞これだから頭お花畑の左翼は
＞コスト負担するのが嫌なら日本から出ていけばよい
＞その自由は保障されている
＞自由を行使せずに日本にしがみついてるのがおまえ
ここは日本ではない
ここが日本だとウソをつくのが反社勢力
中国から見て東、という意味にすぎない日本とかいう他称を
「太陽の元」と誤解して嬉々として称する馬鹿っぷりがその証拠（笑）
自らを右翼と誇るが実際は発達障害の上に自己的人格障害
この地球から出て行ってくれ いかなる生物も生きる権利があるが自己愛野郎だけは別だ
おまえらみたいな凶悪犯に生きる資格も価値もない この地球上のどこでもだ
624:現代数学の系譜 雑談
25/11/09 16:02:17.60 QrKJGO9s.net
>>537より 追加
URLﾘﾝｸ(en.wikipedia.org)
Geometric Langlands correspondence
Status
A claimed proof of the categorical unramified geometric Langlands conjecture was announced on May 6, 2024 by a team of mathematicians including Dennis Gaitsgory.[7][8]
The claimed proof is contained in more than 1,000 pages across five papers and has been called "so complex that almost no one can explain it".
Even conveying the significance of the result to other mathematicians was described as "very hard, almost impossible" by Drinfeld.[9]
Breakthrough Prize なんだね（下記）
URLﾘﾝｸ(en.wikipedia.org)
Dennis Gaitsgory (born 17 November 1973) is an Israeli-American mathematician. He is a mathematician at Max Planck Institute for Mathematics (MPIM) at Bonn and is known for his research on the geometric Langlands program.
Honors and awards
In 2025, he received the Breakthrough Prize in Mathematics.[3]
（Scholzeさん）
URLﾘﾝｸ(www.quantamagazine.org)
Quanta magazine
Monumental Proof Settles Geometric Langlands Conjecture
Erica Klarreich July 19, 2024
The proof represents the culmination of three decades of effort, said Peter Scholze(opens a new tab), a prominent mathematician at the Max Planck Institute for Mathematics who was not involved in the proof. “It’s wonderful to see it resolved.”
Dennis Gaitsgory (left) and Sam Raskin led the nine-person team that proved the geometric Langlands conjecture.
URLﾘﾝｸ(breakthroughprize.org)
Breakthrough Prize 2025 April 5, 2025 – Los Angeles
Mathematics
Dennis Gaitsgory wins the Breakthrough Prize in Mathematics for his central role in the proof of the geometric Langlands conjecture. The Langlands program is a broad research program spanning several fields of mathematics. It grew out of a series of conjectures proposing precise connections between seemingly disparate mathematical concepts. Such connections are powerful tools; for example, the proof of Fermat’s Last Theorem reduces to a particular instance of the Langlands conjecture. These Langlands program equivalences can be thought of as generalizations of the Fourier transform, a tool that relates waves to frequency spectrums and has widespread uses from seismology to sound engineering.
つづく
625:現代数学の系譜 雑談
25/11/09 16:02:39.89 QrKJGO9s.net
つづき
In the case of the geometric Langlands conjecture, the proposed one-to-one correspondence is between two very different sets of objects, analogous to these spectrums and waves: on the spectrum side are abstract algebraic objects called representations of the fundamental group, which capture information about the kinds of loop that can wrap around certain complex surfaces; on the “wave” side are sheaves, which, loosely speaking, are rules assigning vector spaces to points on a surface. Gaitsgory has dedicated much of the last 30 years to the geometric Langlands conjecture. In 2013 he wrote an outline of the steps required for a proof, and after more than a decade of intensive research in 2024 he and his colleagues published the full proof, comprising over 800 pages spread over 5 papers. This is a monumental advance, expected to have deep implications in other areas of mathematics too, including number theory, algebraic geometry and mathematical physics.
2025 New Horizons in Mathematics Prize
Sam Raskin, Yale University
For contributions to the geometric Langlands program, including the theory of the Whittaker model and the proof of the geometric Langlands conjecture in characteristic 0.
URLﾘﾝｸ(people.mpim-bonn.mpg.de)
Proof of the geometric Langlands conjecture
This page contains five papers, the combined content of which constitutes the proof of the (categorical, unramified) geometric Langlands conjecture.
This is a collaborative project of D. Arinkin, D. Beraldo, J. Campbell, L. Chen, J. Faergeman, D. Gaitsgory, K. Lin, S. Raskin and N. Rozenblyum.
Papers:
GLC I: Construction of the functor
GLC II: Kac-Moody localization and the FLE
GLC III: Compatibility with parabolic induction
GLC IV: Ambidexterity
GLC V: The multiplicity one theorem
(引用終り)
以上
626:１３２人目の素数さん
25/11/09 16:02:52.85 CA6TFgJW.net
>>605
＞＞縄文時代は平和だった だから縄文時代に戻るべきだ
＞おまえはポルポトか？
アマゾンのピダハンにはポルポトはいないよ（笑）
627:１３２人目の素数さん
25/11/09 16:04:11.79 CA6TFgJW.net
>>606
ポルポトはやり方がまずかっただけで
目標設定がまずかったわけではない（笑）
628:１３２人目の素数さん
25/11/09 16:07:31.20 CA6TFgJW.net
>>607
何であれ権力で強制するのは失敗する
ロベスピエール然り レーニンまた然り
マルクスも焦ってたんだろうが
前衛党独裁なんて馬鹿なこといったもんだ
バクーニンじゃなくてもそんなのだめだろとツッコむわ
＞反●●●外は●●から出てけ
おまえが出てけ ただの●●外（笑）
629:１３２人目の素数さん
25/11/09 16:12:17.01 CA6TFgJW.net
>>609
＞縄文時代の暴力による死亡率は1.8％
＞結論：現代の日本が史上最も平和
こんなこという奴に限って
中国との戦争が起きて
「おまえ、今日、特攻な」
と命令されるとこういって発●する
「なんでおれが！なんで散々左翼を●してきた優良右翼の俺様が」
これに対する回答はこれ
「知らん これは命令だ 逆らうなら今ここで●刑な
もちろん貴様は左翼として永遠にさらし物
どうする、優良右翼とかドヤってる君」
国家に忠誠つくすとかいって犯罪行為をやらかしつづけた変質者の末路である・・・
630:１３２人目の素数さん
25/11/09 16:16:24.47 CA6TFgJW.net
>>612
ん？
どこぞの国でも特権階級様は自由で平和だよ
君たちはどこぞの国のように自分たちだけ特権階級として
自由で平和なフリーセックス社会を堪能したいだけでしょ
腰振る以外能がないエテ公♂そのものだな（笑）
そんな特権階級の社会は革命で倒されて一人民として、
特権なければちっともモテない現実を
肌で感じてセンズリしてろ（嘲笑）
631:１３２人目の素数さん
25/11/09 16:24:27.97 CA6TFgJW.net
>>614
Latest on abc Posted on April 3, 2020 by woit
Davide Castelvecchi at Nature has the story this morning of a press conference held earlier today at Kyoto University
to announce the publication by Publications of the Research Institute for Mathematical Sciences (RIMS) of Mochizuki’s purported proof of the abc conjecture.
This is very odd. As the Nature subheadline explains, “some experts say author Shinichi Mochizuki failed to fix fatal flaw”.
abc予想の最新情報 2020年4月3日 woit 投稿
Nature誌のDavide Castelvecchi氏が今朝、京都大学で本日行われた記者会見について報じています。
この会見では、望月氏によるabc予想の証明とされる論文が、数理解析研究所（RIMS）出版部から出版されることが発表されました。
これは非常に奇妙なことです。Nature誌の小見出しにあるように、「一部の専門家は、著者の望月新一氏が致命的な欠陥を修正できなかったと指摘している」とのことです。
632:１３２人目の素数さん
25/11/09 16:28:22.96 CA6TFgJW.net
>>631の続き
Peter Scholze says:
April 6, 2020 at 9:28 am
I have been weighing back and forth commenting again on this matter.
However, the news in that last comment by David J. Littleboy convinced me that it might be good, even if futile, to say something again.
Peter Scholze氏は次のように述べています。
2020年4月6日午前9時28分
この件について再度コメントするかどうか、ずっと迷っていました。
しかし、David J. Littleboy氏の前回のコメントで分かったことで、たとえ無駄だとしても、もう一度発言してみるのが良いかもしれないと確信しました。
I may have not expressed this clearly enough in my manuscript with Stix, but there is just no way that anything like what Mochizuki does can work.
(I would not make this claim as strong as I am making it if I had not discussed this for with Mochizuki in Kyoto for a whole week;
the following point is extremely basic, and Mochizuki could not convince me that one dot of it is misguided, during that whole week.)
It strikes deep into my heart to think that in the name of pure mathematics, an institute could be founded for research on such questions,
and I sincerely hope that this will not come back to haunt pure mathematics.
スティックスとの原稿では十分に明確に表現できなかったかもしれませんが、望月氏のようなことは到底不可能です。
（もし京都で望月氏と丸一週間議論していなかったら、私はこれほど強く主張することはなかったでしょう。
以下の点は非常に基本的なもので、望月氏は丸一週間の間、その一つたりとも誤りだと私を納得させることはできませんでした。）
純粋数学の名の下に、このような問題を研究するための研究所が設立されるなどということは、私の心の奥底に深く突き刺さります。
そして、このことが純粋数学に再び悪影響を及ぼすことがないように心から願っています。
The reason it cannot work is a theorem of Mochizuki himself.
それがうまくいかない理由は望月氏自身の定理です。
633:１３２人目の素数さん
25/11/09 16:28:54.82 CA6TFgJW.net
>>632の続き
I’m really frustrated with the current situation.
What EricB reports from the Asahi Shinbun also sounds deeply troubling, effectively arguing along national lines; again, this strikes deep into my heart.
I’m really quite surprised by the strong backing that Mochizuki gets from the many eminent people (who I highly respect) at RIMS.
If I can in any way help to mitigate the situation, I’d be most happy to.
現状には本当に苛立ちを感じています。
EricBさんが朝日新聞で報じた内容も、非常に懸念すべき点であり、事実上、国家的な論点を軸に議論を展開しています。これもまた、私の心の奥底に突き刺さります。
望月氏がRIMSの多くの著名な方々（私が深く尊敬する方々です）から強力な支援を受けていることに、本当に驚いています。
もし私が少しでもこの状況の改善に協力できるのであれば、喜んでそうさせていただきます。
634:１３２人目の素数さん
25/11/09 16:31:45.97 CA6TFgJW.net
>>633の続き
Taylor Dupuy says:
April 6, 2020 at 1:00 pm
Hi Peter!
First, hope your pandemic is going well. Mine is going ok. Hard to get things done without daycare.
Second, let me say that for hyperbolic curves over a p-adic field K (with no extra hypotheses like strictly Belyi type or Belyi type or canonical lift) that pi_1(Z) “determines” Z is open.
Also, I personally would advocate against using words like “determines”, “reconstructs”, etc that have been causing sooo many problems in discussing all of these things.
Taylor Dupuy より:
2020年4月6日午後1時
こんにちは、ピーター！
まず、パンデミックがうまくいっていることを願っています。私の場合は順調です。保育園がないと、なかなか物事が進みません。
次に、p進体 K 上の双曲曲線（厳密にBelyi型、Belyi型、正準リフトなどの追加の仮定がない場合）について、pi_1(Z) が Z を「決定する」という表現は開関数であることを述べておきます。
また、個人的には、「決定する」「再構築する」といった言葉は、これらの議論において非常に多くの問題を引き起こしているため、使用しないよう強く勧めます。
635:１３２人目の素数さん
25/11/09 16:33:57.24 CA6TFgJW.net
Dupuyも2020年頃は、望月新一のいうことにちょっとは可能性があるとおもってただろうが
その後、望月新一から「おまえは何もわかってない」とかいう●違いな言葉を頂いて
今では、考えを変えたかもしれない（笑）
望月新一はどうも他人は皆、敵か自分の成果を横取りする泥棒と考えてるらしく
誰でも彼でもお構いなしに罵倒する 完全に●違いそのものである
636:現代数学の系譜 雑談
25/11/09 16:35:31.41 QrKJGO9s.net
>>624-625
さて
Geometric Langlands correspondence
The claimed proof is contained in more than 1,000 pages across five papers and has been called "so complex that almost no one can explain it".
Even conveying the significance of the result to other mathematicians was described as "very hard, almost impossible" by Drinfeld.[9]
Breakthrough Prize
（Scholzeさん）
The proof represents the culmination of three decades of effort, said Peter Scholze(opens a new tab), a prominent mathematician at the Max Planck Institute for Mathematics who was not involved in the proof. “It’s wonderful to see it resolved.”
(引用終り)
1）これが、査読され雑誌掲載されたかどうかを 追跡したが
不明だった
2）July 19, 2024のQuanta magazine から Breakthrough Prize 2025 April 5
たったの10ヶ月間。まあ、どこかの雑誌掲載が決まっているのかもしれないが
3）にしても、Scholzeさんが ホルホルしたから Geometric Langlandsは OKで
Scholzeさんが プッツンしたから IUTは アウトかな？
4）Scholzeさん 基準は、分かり易いよね。だが、それは 属人的だ
数学的ではない
Geometric Langlands 1,000ページ論文を ホルホルして
IUTをアウトにする ”Scholze基準”以外の何かが あるのか？
それが なければ
ダブスタだよ （＾＾
637:１３２人目の素数さん
25/11/09 16:45:13.98 CA6TFgJW.net
>>618
>Scholzeちゃんも、若い
>「”radical simplifications”という明白な ストローマン論法」が、
>彼は 若いから 数学外道だと 分っていない
>正しいと 信じ込んでいる。
>だから、Taylor Dupuyとの論争が かみ合わない
一番の数学外道は、意味の分からん文章を書き流す望月新一だがな
数学だけではなくいかなる世界でも外道（笑）
Taylor Dupuyは2020年頃は可能性を感じたかもしれんが
もう5年経っても何も出ないから諦めただろう
>”simpler proofs have since been discovered”は、良いのです
>だが、「証明をsimplificationしたら 証明にギャップが出来ました」という学生が居たら？
>先生も「あ然、ぼう然、がく然」でしょう。先生「おまえ 本当に数学科生か？」と
>つまり、”simpler proofs”は是なれど、”simplification→ギャップ出来た”は 原理的に不可なのです
この掲示板ではそんなことは残念ながら日常茶飯事
尊大な工学部卒素人 ホッブス世田
「正方行列の全体は群を為す。
つまり正方行列は必ず逆行列を為す。
余因子行列を行列式で割れば逆行列が求まる！」
お節介な数学科卒 ウォリス某
「え？行列式が零のときどうすんだよ
おまえ、大学１年の線形代数受けたんだろ？
まさか落第したのか さすがアホ工学部卒」
ホッブス世田
（内心しまったと思いつつ悔しさを押し殺し）
「零因子だろ？知っているよ」
このあと
「零因子が本質じゃねぇだろ このカス」
とか言ったウォリス某との間で
不毛な言い争いが続いたことは
いうまでもない（笑）