Inter-universal geometry とABC 予想47

**１３２人目の素数さん** · 2021/10/27(水) 19:54:16.90

未だにcontroversialなIU幾何やABC予想に関する会話の  
サロンとして使って下さい。   

荒らしはご遠慮願います
応援スレとの棲み分けにより、懐疑的な意見も歓迎です
関係者の匿名的な論理的擁護も歓迎です

前スレ
Inter-universal geometry とABC 予想46
https://rio2016.5ch.net/test/read.cgi/math/1630336403

**１３２人目の素数さん** · 2021/10/27(水) 23:25:02.42

本スレ
Inter-universal geometry とABC予想
47

https://itest.5ch.net/rio2016/test/read.cgi/math/1634466824

応援スレと無関係です

**１３２人目の素数さん** · 2021/10/27(水) 23:36:12.60

>>2
上がってないから無いと間違えて立てたわ
じゃあここは廃棄だな。残ってたら実質48に

**１３２人目の素数さん** · 2021/10/28(木) 00:13:40.99

>>3
乙 w
48にしましょう

**１３２人目の素数さん** · 2021/12/18(土) 18:28:29.72

開いた以上はレスしようか

**１３２人目の素数さん** · 2021/12/18(土) 19:21:26.12

Inter-universal geometry とABC
予想48 (47)

**１３２人目の素数さん** · 2021/12/18(土) 19:22:39.23

前スレ

Inter-universal geometry とABC予想
47

https://itest.5ch.net/rio2016/test/read.cgi/math/1634466824

Inter-universal geometry とABC予想
46

https://itest.5ch.net/rio2016/test/read.cgi/math/1630336403

Inter-universal geometry とABC予想
45

https://itest.5ch.net/rio2016/test/read.cgi/math/1628417612

 Inter-universal geometry とABC予想
44

https://itest.5ch.net/rio2016/test/read.cgi/math/1579341382

Inter-universal geometry とABC予想
43

https://itest.5ch.net/rio2016/test/read.cgi/math/1577448802

Inter-universal geometry とABC予想42

https://itest.5ch.net/rio2016/test/read.cgi/math/1572150086

Inter-universal geometry と
ABC予想 41

https://itest.5ch.net/rio2016/test/read.cgi/math/1566465253

スレ41以前の過去スレの検索は
「Inter-universal geometry と
ABC予想41」から願います

**１３２人目の素数さん** · 2021/12/18(土) 19:24:12.23

・2012年8月30日  望月新一RIMS
教授がIUT論文を  PRIMSへ提出

・平成25年度(2013年度)
日本学術振興会
グローバルCOEプログラム
京大G08 平成20年度採択
数学のトップリーダーの育成
事後評価結果

・IUTは報告も評価もされていない

https://www.jsps.go.jp/j-globalcoe/data/h20/G08.pdf

**１３２人目の素数さん** · 2021/12/18(土) 19:26:08.58

平成27年(2015年) 5月13日
中央教育審議会大学分科会大学院部会

・議事録
【岡本委員】
グローバルCOE不採択校と比較して
の資料はあるのか，これ。
それからもう1点，改善定着化指標と
いうようなもの，すなわちこれ改善
を試みているわけで，5年間やって，
その後，これをどう定着，あと5年後に
例えば同じことをやって，ちゃんと
それがどの程度定着しているのかと
いったような，この計画はあるのか
という，この2点をお願いします。
【藤田日本学術振興会課長】
申し訳ございません。
不採択校との比較の方はできて
おらないという状況でございます。
また，経過後のフォローということ
につきましても，今のところは予定はないという状況です。　

https://warp.ndl.go.jp/info:ndljp/pid/11293659/www.mext.go.jp/b_menu/shingi/chukyo/chukyo4/004/gijiroku/1365902.htm

**１３２人目の素数さん** · 2021/12/18(土) 19:29:44.84

平成27年(2015年)5月13日
中央教育審議会大学分科会大学院部会
 ・資料5  独立行政法人日本学術振興会  グローバルCOEプログラム委員会
事務局
 研究成果例  G08 京都大学数学のトップリーダーの育成

宇宙際タイヒミュラー理論
-数論におけるブレークスルー

宇宙際タイヒミュラー理論を用いる
ことによってabc予想と呼ばれる
数論の難問が解決することが2012年
に発表された。
日本の主な全国紙は言うに及ばず、New York Times などでも報道され、
非専門家の間にも大きな話題を提供
している。
宇宙際タイヒミュラー理論は数理解析
研究所の望月新一教授(GCOE事業推進者)の独創によるものであるが、その解説
や応用には多くの若手研究者が関与している。
掲載論文等Shinichi Mochizuki, INTER‐UNIVERSAL TEICHMULLER THEORY I

・(コメント)
日本学術振興会課長はGCOEの
経過後をフォローしないと言明した
が、京大G08について事後評価結果に
なかったIUTを持ち出しG08事後評価
結果を改変した

https://warp.ndl.go.jp/info:ndljp/pid/11293659/www.mext.go.jp/b_menu/shingi/chukyo/chukyo4/004/gijiroku/__icsFiles/afieldfile/2015/07/28/1360382_05.pdf

**１３２人目の素数さん** · 2021/12/18(土) 19:32:15.00

・平成28年(2016年)6月

文科省所管の独立行政法人  
大学改革支援・学位授与機構
  京都大学数理解析研究所  
第2期中期目標期間(平成22年～  平成27
事業年度)  

-現況調査表 -  

p28-3  資料 2. 発表論文数  
所員の発表論文数  査読付き論文のみ   p

28-10  事例4「数論幾何の研究」  
「望月新一による「宇宙際タイヒ
ミューラー理論」の構築とその結果
としての ABC 予想の解決は、
特筆すべき出来事である。」 
「当該論文は現在査読中であるが、」  「望月新一が同理論の概要を解説した
業績番号1― (2)(2014)が、講究録別冊
 (B51)として刊行されている」

 ・コメント  講究録別冊B51査読責任者は志甫淳氏  

https://www.niad.ac.jp/sub_hyouka/kokudai2016/no6_3_55_kyoto_2016_5_3.pdf

**１３２人目の素数さん** · 2021/12/18(土) 19:34:42.17

平成29年(2017年)6月

大学改革支援・学位授与機構　
-現況分析結果-
 京都大学

 注目すべき質の向上　
p28-4
 ○「数論幾何の研究」の「宇宙際  タイヒミューラー理論」の構築と  その結果としての ABC 予想に  関する論文は、
国内外の主要メディアで取り上げ
られている  
・コメント
RIMS提出の現況調査表で「IUT理論の
構築とその結果abc予想が解決した」
が削除された

https://www.niad.ac.jp/sub_hyouka/kokudai2016/no6_3_55_kyoto_2016_1.pdf

**１３２人目の素数さん** · 2021/12/18(土) 19:39:30.63

2017年(H29)11月
自己点検　評価報告書
京大数理解析研究所

・第2期中期目標期間(平成22年～
平成27事業年度)

p6 注目すべき質の向上
○ 「数論幾何の研究」の「宇宙際
タイヒミューラー理論」の構築と
その結果としての ABC 予想に関する
論文は，国内外の主要メディアで
取り上げられている

・8-4 次世代幾何学研究準備センター
p104
数論幾何学，特に宇宙際タイヒ
ミューラー理論を中心に広く次世代
の幾何学の研究を推進するため，
研究および研究プロジェクトの
方向性や内容を検討・準備する
目的で，数理解析研究所教授 3 名を
併任教員として平成 29 年 12 月 1 日
に設置した.
今後，研究プロジェクトの進展と
共に，研究センターとして特任
教員も含めての運用を予定している.

https://www.kurims.kyoto-u.ac.jp/~kenkyubu/gaiyou/jikotenken2017.pdf

**１３２人目の素数さん** · 2021/12/18(土) 19:45:12.31

京都大学
数理解析研究所要覧  
令和元年(2019年)8 月1日発行

 P18  ・次世代幾何学研究センター  
数論幾何学，特に宇宙際タイヒミューラー理論を中心に広く次世代の幾何学
の研究を推進するため，
平成31年(2019年)4月1日に設置された。
(量子幾何学研究センターは統合
された)  

P19  16　予算概要  支出状況  
(.単位：千円）  区分/平成28年度.平成29年度.平成 30 年度. 
運営費交金/695,477.671,194.716,594  
（内訳）  人件費/419,552.399,307.412,545  物件費 /275,925 271,887 304,049  
科学研究費. 補助金/142,138.115,602.108,934  受託研究・受託事業 /
8,190.9,515.10,176  共同研究/ 2
,032. 2,648. 3,846  
寄附金/ 1,000. 553. 27,913  
合計/ 848,837.799,512.867,463  
※ 外部資金は間接経費を含めた
受入額を計上している。   

P21  次世代幾何学センター
センター長 (併任）望月新一  
特任教授　京大理博柏原正樹  
特任教授　京大理博森重文  
特任助教　東大博（数理科学）
清水達郎  
教授(併任）玉川安騎男  
教授(併任）望月拓郎

https://www.kurims.kyoto-u.ac.jp/~kenkyubu/youran2019.pdf

**１３２人目の素数さん** · 2021/12/18(土) 19:48:30.64

2019年4月25日
加藤文元「宇宙と宇宙をつなぐ数学
IUT理論の衝撃」

望月新一と加藤文元両氏はIUT理論の
主な考え方や関連する数学を議論する
ため2005年7月から2011年2月15日まで
セミナーを行った。
最後のセミナーでIUT理論の
「主定理」を議論した。p106

１刊行によせてp7-11
IUT理論提唱者望月新一京大教授

「より詳細な解説は本文に譲ります」p7 (望月新一は加藤文元の解説に同意)

「不定性」「近似」「緩み」
例
天動説　地動説　相対性理論　
量子力学　素粒子の力学　
不確定性原理

**１３２人目の素数さん** · 2021/12/18(土) 19:50:46.18

>>15

続き
２　パラダイム　p59
「数学はどのようにして「進歩」する
のでしょうか？
そこにはトマスクーンが言うように
「通常科学」の中で連続的・累積的に
積み重なる新しさと、
「パラダイムシフト」によって生じる
新しさの二種類があります」

「通常科学とは、トマスクーン
「科学革命の構造」
(中山茂訳みすず書房1971年)における
用語で、一つのパラダイム(時代や科学の各分野における支配的な研究上の規範、視点、枠組みなどの意味)や様式に基づいた科学活動のことであり、パラダイム
から与えられる問題や解き方などの
指針に基づいて研究を進める状態の
ことをいいます。
これに対する状態は、「科学革命」
期あるいは「パラダイムシフト」と
呼ばれている時期であり、この時期
には既存のパラダイムが破壊されたり
劇的に変化することで新しい科学の
枠組みが形成されます。」

**１３２人目の素数さん** · 2021/12/18(土) 19:53:28.36

>>16

続き

3 IUT語　p51
「IUT理論は、一般的な数学のパラダイムの枠内では語れない、全く新しい
フレームワークと言語・概念体系を基盤として構築されている」

4 RIMS主催訪問滞在型研究
2020年IUTカンファレンス
「IUT理論の拡がり」
　望月新一組織委員長

・コロナ禍より2021年へ延期

加藤文元は組織委員であり
加藤文元「宇宙と宇宙をつなぐ数学
IUT理論の衝撃」は「IUTTの拡がり」
の公式本である。

IUT「理解者」組織委員フェセンコ
によればベストセラーの文元本を早く
英訳して欲しい

http://www.kurims.kyoto-u.ac.jp/~motizuki/project-2020-japanese.html

**１３２人目の素数さん** · 2021/12/18(土) 19:55:52.45

2020年4月3日
PRIMS特別編集委員会委員長.記者会見

玉川安騎男教授
「全く新しい理論で、さらなるインパクトを生み出す可能性がある」毎日

柏原正樹特任教授
「ＡＢＣ予想を証明した望月氏の論文
が正しいものであると判断した」産経

つまり全く新しい理論のIUTTより
abc予想は「証明」されたと宣言
した。

「科学的な観点から審査している」
「査読の過程はお墓に持っていく」
と発言した

産経

https://www.sankei.com/article/20200403-EWYJ3VHDZFJ5JIDWRK46ACZ5Z4/2/

毎日

https://mainichi.jp/articles/20200403/k00/00m/040/295000c

**１３２人目の素数さん** · 2021/12/18(土) 20:01:56.50

UTTおよびIUT論文の評価と変遷
まとめ 

IUT及びIUT論文の評価　A B C D E   
A  
望月新一による「宇宙際タイヒミューラー理論」の構築とその結果としてのABC予想の解決は、特筆すべき  出来事である。」 「当該論文は現在査読中であるが、」  「望月新一が同理論の概要を解説した  業績番号1― (2)(2014)が、講究録別冊  として刊行されている」
一方、全体の発表論文数は 所員の発表論文数は査読付き論文のみ
 B
宇宙際タイヒミュラー理論を用いる  ことによってabc予想と呼ばれる  数論の難問が解決することが2012年  に発表された。  日本の主な全国紙は言うに及ばず、New York Times などでも報道され、非専門家の間にも大きな話題を提供  している。  宇宙際タイヒミュラー理論は数理解析研究所の望月新一教授(GCOE事業推進者)の独創によるものであるが、
その解説や応用には多くの若手研究者が関与している。
C
注目すべき質の向上 「数論幾何の研究」の「宇宙際タイヒミューラー理論」
の構築とその結果としての ABC
予想に関する論文は、国内外の主要
メディアで取り上げられている  
D  
全く評価されていない、または  abc予想の証明がされていない  
E
IUT語。IUT理論は、一般的な数学の  パラダイムの枠内では語れない、  全く新しいフレームワークと言語・  概念体系を基盤として構築されて  いる

**１３２人目の素数さん** · 2021/12/18(土) 20:05:23.74

>>19
続き

年表
 ・2012年8月30日  　　
望月新一RIMS教授がIUT論文を  PRIMSへ提出　  
・2013年度　日本学術振興会  京大G08 数学のトップリーダーの
育成事後評価結果　D  
・2015年5月13日  
中央教育審議会大学分科会大学院部会  日本学術振興会  グローバルCOEプログラム委員会 研究成果例京大G08  宇宙際タイヒミュラー理論  「数論におけるブレークスルー」B  
・2016年6月  　
RIMSの現況調査表。
　RIMSが大学改革支援学位授与機構  　へ提出する。A  
・ 2017年6月現況分析結果。  　大学改革支援学位授与機構が  　RIMSの現況調査表を評価　C 
・2017年12月1日  IUTを中心とする次世代幾何学研究  準備センターを設置。C 望月新一センター長  
・2018年3月  
森重文京大特別教授の提案より
望月星ショルツェスティクスが 京大RIMSにてミーティング。  ショルツェステイクスレポートD  
・2019年4月 
望月推薦加藤文元  「宇宙と宇宙をつなぐ数学」E  
・2019年4月1日 
IUTTを中心の次世代幾何学研究
センター設置。 センター長　望月新一  教授　玉川安騎男  特任教授　柏原正樹　森重文　 C 
・RIMS主催2020「IUTTの拡がり」  　→ 2021へ延期　BかつD  　望月推薦加藤文元本は公式本  
・2020年2月5日付け
IUT論文を受理　
PRIMS特別編集委員長
玉川安騎男および柏原正樹

**１３２人目の素数さん** · 2021/12/18(土) 20:06:47.23

ショルツェ.スティクスレポート

https://www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf

zb math ショルツェレビュー

・Unfortunately, the argument given for Corollary 3.12 is not a proof, and the theory built in these papers is clearly insufficient to prove the ABC conjecture.

https://zbmath.org/pdf/07317908.pdf

qunta magazine

https://www.quantamagazine.org/titans-of-mathematics-clash-over-epic-proof-of-abc-conjecture-20180920/

nature

Mathematicians welcome computer-assisted proof in
'grand unification’ theory

https://www.nature.com/articles/d41586-021-01627-2

**１３２人目の素数さん** · 2021/12/18(土) 20:37:35.15

CM 2022

PLENARY, INVITED, PRIZE AND
SPECIAL LECTURES

・コメント
IUTT関連のLECTURESはありません

・The plenary speakers comprise  21 of the world's leading mathematicians, representing
8 countries and all areas  of mathematics.  

https://icm2022.org/plenary-and-special-lectures

**１３２人目の素数さん** · 2021/12/18(土) 20:41:33.32

IUT論文を取り下げ査読過程を明らか
にすること。

「Some instructive mathematical errors」
Richard P. Brent
September 23, 2021

・2.6 Mochizuki’s claimed proof
　of the abc conjecture。

「At the present time, all that we can
say with certainty is that the status
of Mochizuki’s proof is unclear.」
「we have given one example of a proof
that is disputed, in that the author
maintains that it is correct,
but a significant number of experts
disagree, see §2.6. In such cases,
time will tell – eventually the proof will
be accepted as correct,
( Possibly after being rewritten to
fill in gaps and make it more readily
comprehensible)、or the author and
his supporters will die and the proof
will be relegated to “the dustbin of history”.」

https://arxiv.org/pdf/2106.07269.pdf

**１３２人目の素数さん** · 2021/12/18(土) 20:43:21.67

- 現役数学者が教える大学数学-  　
アメリカ大学准教授   

望月新一氏のabc予想以前の功績。  
グロタンディーク予想の証明。
 遠アーベル幾何

https://m.youtube.com/watch?v=2-sGPq-GG68%E2%80%A8%E2%80%A8

abc予想は証明はされてない！？  
日本人数学者の国際的な評価。

https://m.youtube.com/watch?v=uJPenpkJH10&;feature=youtu.be
 

**１３２人目の素数さん** · 2021/12/18(土) 20:47:45.89

朝日新聞　2021.7.27　石倉徹也記者   
「ABC予想」証明出版でまた物議  
懐疑的見方消えず/
興味を失う数学者も   

海外の発言  
・仏紙「謎に包まれた数学の論争は  　
ネットフリックスのドラマを  　
ほうふつとさせる展開だ」
 ・英BBC「不可解な証明を巡る論争」  と題した記事では  「ほとんどの数学者は証明が失敗したと考え理解することを
あきらめた」  
・英科学誌ネイチャー　論評
「不可解な論文が公式に出版される  ことに衝撃を受けた。
ABC予想の「証明」は物議を醸したままだ」  
・ABC予想を提唱した  ジョゼフ.
オステルレ仏ソルボンヌ  大学名誉教授  「重要な論文が望月氏に近い雑誌で  　
審査されたのは驚きだ」
 ・フィールズ賞受賞者  　
ピーターショルツ独ボン大学教授  
「証明の疑問点は明らかなのに  
解消できていない。納得できる説明　  　をしてほしい」  
・望月氏の米プリンストン大時代の  
指導教授.フィールズ賞受賞者  　
ゲルト.ファルティングス氏  　
「論文は理解できなかった。  
自分の研究に時間を割くことにした」
と朝日新聞の取材に答えた。

**１３２人目の素数さん** · 2021/12/18(土) 20:49:50.10

公共放送　NHK
放送法

第2章放送番組の編集などに関する通則
<第4条> <国内放送等の放送番組
の編集等>
放送事業者は、国内放送及び内外
放送(以下「国内放送等」という。)
の放送番組の編集に当たつては、
次の各号の定めるところによらなければならない。
一　公安及び善良な風俗を害しない
　　こと。
二　政治的に公平であること。
三　報道は事実をまげないでする
　　こと。
四　意見が対立している問題については、できるだけ多くの角度から論点を明らかにすること。

https://www.nhk.or.jp/info/about/broadcast-law.html

**１３２人目の素数さん** · 2021/12/18(土) 20:54:09.35

>1さんより

未だにcontroversialなIU幾何やABC予想に関する会話のサロンとして使って下さい。   

荒らしはご遠慮願います
応援スレとの棲み分けにより、
懐疑的な意見も歓迎です
関係者の匿名的な論理的擁護も歓迎です

**１３２人目の素数さん** · 2021/12/20(月) 09:42:00.73

age

**１３２人目の素数さん** · 2021/12/20(月) 13:03:53.73

48スレにするか

拓郎さんはガラパゴスではあるがD加群の混合ホッジ理論がベースだから、訳のわからんラベルとかリンクとか
導入してるIUTとは大分違うと思うよ

**１３２人目の素数さん** · 2021/12/20(月) 13:45:46.57

48でおねがいします

海外ではガラパゴスでないから
ブレイクスルー賞を受賞したん
でしょ。
佐藤数学のD加群から混合ホッジ理論が
ベースならIUTTとは全く違うと思います。日本発の佐藤超関数も可積分.
ソリトン解も日本では古い数学なのかな、ソリトンは超弦理論でも使われ研究
される時代なのにとも思います

**１３２人目の素数さん** · 2021/12/20(月) 16:59:44.14

>>拓郎さんはガラパゴスではあるが

????

**１３２人目の素数さん** · 2021/12/20(月) 17:43:48.01

>「論文は理解できなかった。  
>自分の研究に時間を割くことにした」
この恩師と思えぬような塩対応が全てを物語っている気がする

**１３２人目の素数さん** · 2021/12/20(月) 17:48:50.80

コピペ荒らしが「荒らしはご遠慮願います」って書き込んでるのはギャグなんかな

**１３２人目の素数さん** · 2021/12/20(月) 17:57:52.81

>>32
準備論文ではレビューを書いている。

**１３２人目の素数さん** · 2021/12/20(月) 17:59:02.00

ブレイクスルー賞は単純にリーマンーヒルベルト対応への理論的貢献からじゃないの？
最近本人によるモノグラフが出たから大分敷居は下がったとは思うけど

**１３２人目の素数さん** · 2021/12/20(月) 18:15:32.12

>単純にリーマンーヒルベルト対応への
理論的貢献

リーマンヒルベルト対応は
正則ホロノミーD加群と解空間ですよね。
以前表現論の堀田本を読んだ

**１３２人目の素数さん** · 2021/12/20(月) 18:27:15.51

ガラパゴスかどうかはともかく、例えば物理学を考えるのであれば非正則な幾何学を考えたほうが
有意義だと俺は思うけどね。「ツイスター」繋がりだけど、ペンローズなんかも実解析関数の幾何学のほうが
重要な未踏領域だと考えている
無論、例えば幾何学的ラングランズ対応のようなものを拓郎理論で解明できるならそれも素晴らしいだろうけど
自分にはよくわからない

**１３２人目の素数さん** · 2021/12/20(月) 20:23:55.00

>>22 plenaryのBuzzardが取り上げてくれるから心配するなYO！

**１３２人目の素数さん** · 2021/12/21(火) 00:06:37.50

ICM2022でplenary.invited.prize.
special lecturersにIUTTの単語すらない、The plenary speakers comprise  all areas of mathematics. とあるからIUTTはICM
の数学の範囲外だろうと。

RIMSとIUT関係者が「IUTTは全く新しい理論」と公言した。
Xenaのk.BuzzardがIUTTへコメントするなら興味深いね。
なにしろIUTTは全く新しい理論だし

**１３２人目の素数さん** · 2021/12/21(火) 07:04:40.68

IUTTは根本の概念のところで未だ実現しているとは言えないという認識になっているのではないの？
「いいたいことはわからんでもないが、いろいろ無理があるしうまくいっているとはいえない」というのが業界一般の反応だったりしないの？

**１３２人目の素数さん** · 2021/12/21(火) 07:55:14.70

現実は、RIMSとIUT関係者が「IUTTは
全く新しい理論」と公言し、UTTはICMの数学の範囲外だ。

**１３２人目の素数さん** · 2021/12/21(火) 08:10:33.52

現実は、RIMSとIUT関係者が「IUTTは
全く新しい理論」と公言しIUTTはICMの数学の範囲外だ。

**１３２人目の素数さん** · 2021/12/21(火) 08:49:25.09

https://utge.lakecomoschool.org/
3か月前の研究集会でノッティンガムの人たちは
標準的な数学の講演していますね
この参加者らを前にIUTの講演はできなかった
ということなんでしょうね
だいぶ終わった感があります

**１３２人目の素数さん** · 2021/12/21(火) 10:31:51.78

>>43
Fesenkoの動画見たけど、IUTについても話してる
https://m.youtube.com/watch?v=thNMwD4E6sA
RIMSのIUTサミットでの講演内容とほぼ一緒

**１３２人目の素数さん** · 2021/12/21(火) 12:17:33.08

グロモフも言ってるよね。
「彼はすでに定理を証明した。このうえ解決することなど何もない。彼はあの定理を証明したんだ」

**１３２人目の素数さん** · 2021/12/21(火) 12:53:44.08

I.FesenkoはOrganizerでも
ConnesとKontsevichは無視できない
みたい

Alain Connes: “From noncommutative
geometry to the tropical geometry of
the scaling site”

Maxim Kontsevich:
“Geometry from the perspective
of quantum mechanics and string theory”

**１３２人目の素数さん** · 2021/12/21(火) 12:54:36.62

>>45
全く新しい理論で証明したんだろう

**１３２人目の素数さん** · 2021/12/21(火) 13:03:25.94

>彼はすでに定理を証明した。
このうえ解決することなど何もない。
彼はあの定理を証明したんだ」

違います。
証明の査読中からIUTTの構築より
解決していたんだよ

**１３２人目の素数さん** · 2021/12/21(火) 18:03:09.84

woitのブログ
More Math and Physics Items

Kontsevichの動画もある

https://www.math.columbia.edu/~woit/wordpress/?p=12584

**１３２人目の素数さん** · 2021/12/21(火) 19:14:00.00

難しいなー

**１３２人目の素数さん** · 2021/12/21(火) 19:27:26.47

>>44
はい。IUTの位置づけみたいなことを少々話していますが
IUTで何ができるかはおろか何であるかさえ話していませんね

**１３２人目の素数さん** · 2021/12/21(火) 20:19:36.04

今、普通の集会でIUTがabc予想を解決したという前提で話せるかといったら間違いなくノーだからなあ
一部を除いて国内ですら変な空気になるだろうし、実際誰も公的な建前では口にしない

**１３２人目の素数さん** · 2021/12/22(水) 00:03:20.03

かといって、少なくとも日本では、abc予想を明らかな未解決問題として扱うのも憚られるしなぁ
とにかくメンドイ感じになっちゃった

**１３２人目の素数さん** · 2021/12/22(水) 00:06:11.74

査読を通った以上は明確に否定されるまでは証明されたものとして扱わないといけないからな

**１３２人目の素数さん** · 2021/12/22(水) 00:19:41.62

プレプリントはレフェリーを通っていないので間違っている可能性があるが，専門家なら正しいかどうかは自分で判定できるべきであり，間違った論文を信じてしまったら，その論文がアクセプトされているかどうかにはかかわらず，信じた方がバカだったということである．

河東より

**１３２人目の素数さん** · 2021/12/22(水) 00:43:15.29

査読が通ったということはその分野を専門とする複数の研究者が正しいと認めたってことだからな
編集委員が選んだ研究者よりも詳しいと自認しているなら自分の考えの方を正しいと判断してもいいけど
自分の意見が正しいと主張する自称専門家と編集員が客観的に選んだ専門家のどちらが正しいかは一目瞭然だよな

**１３２人目の素数さん** · 2021/12/22(水) 06:26:55.12

IUT論文の場合は査読中から肯定的な
結論が決まっていた。

↓

RIMS 現況調査表 -  

p28-3  資料 2. 発表論文数  
所員の発表論文数  査読付き論文のみ   p

28-10  事例4「数論幾何の研究」  
「望月新一による「宇宙際タイヒ
ミューラー理論」の構築とその結果
としての ABC 予想の解決は、
特筆すべき出来事である。」 
「当該論文は現在査読中であるが、」  「望月新一が同理論の概要を解説した
業績番号1― (2)(2014)が、講究録別冊
 (B51)として刊行されている」

**１３２人目の素数さん** · 2021/12/22(水) 08:51:25.87

RIMS現況調査票の筆責は？

**１３２人目の素数さん** · 2021/12/22(水) 09:10:05.84

  京都大学数理解析研究所の名前で
提出だから京都大学数理解析研究所
です。

**１３２人目の素数さん** · 2021/12/22(水) 09:12:38.74

当時の所長名は？

**１３２人目の素数さん** · 2021/12/22(水) 09:17:57.14

IUTTの肝はなんだ？　ホッジ劇場はシネコンみたいなもので、いろんなサイズのシアター（シアターA,B,C...）が「数学宇宙」としてある、それを一度に見渡せる（監視するカメラ）のがテータ函数だってか。

**１３２人目の素数さん** · 2021/12/22(水) 12:52:45.89

まだ現況調査票バカ（スレ主）が暴れとるのお

**１３２人目の素数さん** · 2021/12/22(水) 12:55:39.63

事実を言っているだけです。

公共放送　NHK
放送法

第2章放送番組の編集などに関する
通則
<第4条> <国内放送等の放送番組
の編集等>

放送事業者は、国内放送及び内外
放送(以下「国内放送等」という。)
の放送番組の編集に当たつては、
次の各号の定めるところによらなけれ
ばならない。
一　公安及び善良な風俗を害しない
　　こと。
二　政治的に公平であること。
三　報道は事実をまげないでする
　　こと。
四　意見が対立している問題については、できるだけ多くの角度から論点を明らかにすること。

**１３２人目の素数さん** · 2021/12/22(水) 13:14:01.80

IUT認めないのは変な人が多いんですね

**１３２人目の素数さん** · 2021/12/22(水) 13:16:29.59

>>62

0967 １３２人目の素数さん
2021/12/19 05:48:36

abc予想とIUTTについてNHK
スペシャルの番組取材が京大RIMS
関連やDupuyを対象に行われたとの
情報が流れていた。  
しかしなぜかDupuyのTwitterでNHKの
取材情報が削除された。   

望月新一著「Inter-universal Teichmuller
Theory 1-4」(以下IUT論文)について、
 このスレや過去スレにあるように  
矛盾した事実.疑義は存在する。  
特に公共放送NHKの数学番組として  
編集において放送法を遵守し  事実と
対立意見を尊重.解明し公正な番組を
編集することは当然の義務である。   
放送法とIUT論文　   
放送法2章4条三  
報道は事実をまげないですること。
 ・査読過程の疑義  
・メディアとIUT論文の評価   
放送法2章4条四  
意見が対立している問題については  
できるだけ多くの角度から論点を  
明らかにすること。
 IUT論文の位置づけと疑義  
・ICM2022  
・ショルツェスティクスレポート.  
ショルツェレビュークァンタマガジン  
・石倉朝日記者記事. 海外の発言  
・海外の日本人数学者  
・Some instructive mathematical errors」

他

**１３２人目の素数さん** · 2021/12/22(水) 13:47:15.73

都合の良い空間に都合よく飛ばせばなんでも証明ができる

**１３２人目の素数さん** · 2021/12/22(水) 14:46:50.12

真面目な話、NHKの番組にはショルツェへの取材は含まれるんだろうか。
懐疑派の立場もとりあげるほうが学問的には健全だと思うけど、ショルツェは日本の番組の取材は受けないんじゃないかという気もする。
あるいは肯定派のほうでも「もしショルツェに取材するなら、わたしは取材を受けません」とかモッチーなら言うかな？

**１３２人目の素数さん** · 2021/12/22(水) 15:06:04.00

これを立てたのは自分だが、IUT関連というか数学板自体初めて立てたよw　伝統的なスレ主は
例のコピペの人でセタとかいうのとは当然別人なんだよな。スタンス自体逆だし

>>61
しかし、Θとスキーム宇宙（通常のスキームの圏を解析的に分解して構成される）の素材は同じという話
そういう凝った仕組みを実現するには、位相群の同型からそのような無限の異なる宇宙が圏論的普遍性と
整合して作り出せなければならない
その証明が論文に存在しないというのがSSの指摘

**１３２人目の素数さん** · 2021/12/22(水) 15:57:28.27

>>68
>例のコピペの人
依頼されて事実をまとめている。
過去スレを参照のこと
応援スレは無関係だよ

**１３２人目の素数さん** · 2021/12/22(水) 16:02:16.68

>>69
p.s

IUT論文受理の玉川.柏原記者会見でも
abc予想は全く新しい理論IUTTより
証明されたとのこと。
IUT論文では遠アーベル幾何学を含め
た前部とHT以後でギャップ断絶があり
HT以後、全く新しい理論IUTTになると
理解しました。

**１３２人目の素数さん** · 2021/12/23(木) 06:11:49.86

>真面な話、NHKの粕ﾔ組にはショルャcェへの取材は滑ﾜまれるんだろｂ､か。

デュピュイのTwitterではインタビューに
woitもフィールズ賞受賞もなくその後削除。　

**１３２人目の素数さん** · 2021/12/23(木) 06:13:47.58

>>71
フィールズ賞受賞
→フィールズ賞受賞ショルツェ

**１３２人目の素数さん** · 2021/12/23(木) 07:19:42.52

>>68
>位相群の同型からそのような無限の異なる宇宙が圏論的普遍性と
>整合して作り出せなければならない
>その証明が論文に存在しないというのがSSの指摘

その辺が「識別の危機」であり、「かつ」と「または」の混同であり、
そもそも望月さん一派はself-evidentに構成できていると主張しているところなのか。。
何か他の人が別の視点からこの辺をきちんとまとめて概観してくれるといいのだけどね。

**１３２人目の素数さん** · 2021/12/23(木) 08:29:27.11

>>73
もう誰も手出さんよ
1000ページも超える論文キチンとフォローしたら一年以上かかる
それだけやって結局なんの役にも立ちませんでしたになる可能性もある事やるバカいない
それもキチンと読めば意味が通じる文書ならともかく、ショルツの書評では曖昧で読者が意味を“推理”しなければならないような部分があるのではそもそも元々頑張っても“読めない”文書である可能性もある
というかそんな事他人に期待するなよ
自分で読めよ

**１３２人目の素数さん** · 2021/12/23(木) 11:34:56.36

ハイコンテクスト文化を持つ日本人なら文脈から理解できるので推理など必要ない
これが日本人研究者にしか理解できない理由であり、日本の中で最もハイコンテクスト文化である京都の研究者に支持者が多い理由である

**１３２人目の素数さん** · 2021/12/23(木) 11:47:06.17

>>75
と思うなら自分で読めよ

**１３２人目の素数さん** · 2021/12/23(木) 12:37:37.55

文脈からの推理、と言えば聞こえはいいな。
普通は、それを忖度と言うんだがな。

**１３２人目の素数さん** · 2021/12/23(木) 13:21:40.81

blurring 、、w

**１３２人目の素数さん** · 2021/12/23(木) 13:23:15.02

>>75
それはもはや数学じゃなくて文学だな

**１３２人目の素数さん** · 2021/12/23(木) 15:40:26.17

>>73
もう少し正確に言ったら一般化された遠アーベル幾何学のデータが宇宙の規則を定めるわけだけども、
具体的な空間自体は垂直に各々別々に再構成される。仮にラベルなりなんなりの区別を考慮しても
それらの空間の整合性がどのみち問題になる
Stixが制御棒、エッシャー云々言っていたのもそういうこと

つまり、あの単純化というのは本質を有意味に抽出したという意味であって、別に歪めましたという話では
ないんだよね。読解力の問題よ

**１３２人目の素数さん** · 2021/12/23(木) 17:13:34.77

世界初、エルサルバドルでビットコインが法定通貨に

中米エルサルバドルで7日、暗号資産（仮想通貨）ビットコイン（Bitcoin）が世界で初めて
法定通貨に採用された。ただ、国内では懐疑的な見方が強く、国際社会からも消費者の
リスクを警告する声が上がっている。
ナジブ・ブケレ・オルテス（Nayib Bukele Ortez）政権は、ビットコインを法定通貨
にすることで、国民の多くが銀行を利用できるようになる上、海外送金手数料を毎年4億ドル
（約440億円）ほど節約できるとしている。
政府は、ビットコインATM（現金自動預払機）を200台以上設置するとともに、反対派に
よる放火を防ぐため、兵士を一部ATMの警備に当たらせている。ブケレ大統領は、
ビットコインを利用した国民一人当たりに30ドル（約3300円）を支給するとしている。

**１３２人目の素数さん** · 2021/12/23(木) 17:14:13.74

エルサルバドル、ビットコインのための街「Bitcoin City」建設を発表。税制など優遇

ナジブ・ブケレ大統領は、6月にBitcoinを米ドルに並ぶ法定通貨とする法案を通し、
コンチャグア火山近くの地熱発電所を暗号通貨マイニング向けに利用することを
指示していました。そして今回、地熱発電所とラ・ウニオンの街の近隣地域に
「Bitcoin City」と称する新しい街を建設すると発表。
そこには「住宅地、商業地、サービス、博物館、娯楽、バー、レストラン、空港、港、
鉄道などすべてが含まれる」と述べました。Bitcoin Cityの住民には付加価値税
(VAT、消費税のようなもの)はあるものの、所得税は課されないと大統領は説明、税収の
半分は「街を作り上げるため」、残り半分は「街を綺麗に保つため」に使われると
ザックリ述べています。
エルサルバドルはBitcoinを法定通貨とすることを決めて以降、9月には2回に分けて
合計400BTCを購入しています。国民には政府承認のウォレットアプリ「Chivo」を
30ドル相当のビットコインと共に配布し、このアプリでドルまたはBTCでの支払いや送金、
受け取りができるようにしています。また国内に200台以上のBitcoin対応ATMも設置した
と伝えられています。

**１３２人目の素数さん** · 2021/12/23(木) 18:57:53.16

ショルツの指摘の方も実際は blurring なんだからどうしようもない
ハッキリさせるために簡単なモデルを持ち出して望月が逆ギレ
もうどっちに関わるのも不正解という状況

38 · 2021/12/23(木) 19:42:33.42

Buzzardの原稿が出たヨ！
https://arxiv.org/abs/2112.11598
>A great example is Mochizuki’s claimed proof of the ABC conjecture [Moc21].
>This proof has now been published in a serious research journal, however
>it is clear that it is not accepted by the mathematical community in general.

**１３２人目の素数さん** · 2021/12/23(木) 19:42:42.06

Alien Copiesを読んだ眺めたら

・素粒子モデルの場合
実験結果は１つなのにもっともらしい
予測モデルは複数あるが、
理論(作業仮説)は過去の実験結果を
再現し単純明快で仮定は自然さが
必要だ。
望む結果を導くために不自然で根拠
がない仮定した人工的なモデルが
ある。
当然指摘された後で精密化巧妙化しても論のための論でこの素粒子
モデルはふつうに無視される。
・推測
巧妙な素粒子モデルに比べ粗雑な
証明装置の寄せ集めIUTTでも
このパターンと類似し複雑な装置全体のつながり骨格の圏論に無理がある、
数学の証明でギャップに表れると
推測できる。
ショルツェスティクスレポートで
望月.星グループが回答したblurringに注目した。
・ショルツェレビューでは
「at some point in the proof of Corollary
3.12, things are so obfuscated that it is
completely unclear whether some
object refers to the q-values or the
Θ-values, as it is somehow claimed
to be definitionally equal to both of them, up to some blurring of course, and hence you get the desired result.」
つまり
definitionally +blurring
→you get the desired result。
パターン類似の推測は当たっていた。
・結局
UTTは不自然かつ不明確な人工的装置
だから更に精密化しても意味ないし
別の解釈ならIUTTではないし解釈の
根拠は何なのだろうか。
IUTTを構築してもabc予想は数学の
証明も解決もしていない。

**１３２人目の素数さん** · 2021/12/23(木) 20:46:56.21

>>84
ホントに出ていたね。その引用部分の少し後に次のことが書かれている。
Furthermore, the key sticking point right now is that the unbelievers argue that more details are needed in the proof of Corollary 3.12 in the main paper,
and the state of the art right now is simply that one cannot begin to formalise this corollary without access to these details in some form
(for example a paper proof containing far more information about the argument)

**１３２人目の素数さん** · 2021/12/23(木) 20:51:32.21

unbeliever
wwwww
まともな数学者が使う言葉じゃねーよwwwwww

**１３２人目の素数さん** · 2021/12/23(木) 20:53:28.45

数学じゃないからね。

**１３２人目の素数さん** · 2021/12/23(木) 22:06:51.05

数学の正しさは証明しようがないから最終的には信じるか信じないかしかない

**１３２人目の素数さん** · 2021/12/23(木) 22:22:13.24

なわけねーよバーカ

**１３２人目の素数さん** · 2021/12/23(木) 23:03:08.00

そうですね
IUTについては理解者などおらずbelieverとunbelieverがいるばかりです
望月氏にとってはfollowerとdenierということなのかもしれませんが

**１３２人目の素数さん** · 2021/12/23(木) 23:14:21.32

そう、つまりはゴッドの存在を証明する

**１３２人目の素数さん** · 2021/12/23(木) 23:21:17.06

ココにはアホほどbelieverいるけどなwwwwwww

**１３２人目の素数さん** · 2021/12/24(金) 00:29:25.45

ゴッドビリーバー、オアー、ノットwww

**１３２人目の素数さん** · 2021/12/24(金) 01:00:10.15

数理研総出でズンドコベロンチョやってるの、マジで笑えない。
いつまでやるの、あいつら。

**１３２人目の素数さん** · 2021/12/24(金) 02:10:35.09

>>83
RIMSの自業自得だな

NHKスペシャルではRIMS関連
がインタビューで堂々と「abc予想は
全く新しい理論IUTTより査読中から
解決し証明された」と連呼する。
番組中テロップ流しも必要だ　
このあとひきつづき
フランケンシュタインの誘惑
科学史　闇の事件簿　IUT

**１３２人目の素数さん** · 2021/12/24(金) 07:19:51.08

>>80
「空間の整合性」というのは空間がいわば解析できる（つまり各々宇宙のズレを具体的に微分係数のように計算できる）
いたるところで微分可能な函数のようなもの（宇宙際）を為すということなのかしら。
望月さんの今回の肝は一種の壮大な構想で、数学そのものが個々の点であるような函数のようなものを考えて、
その理論的な差異を実際に計算することでなんらかの普遍的な性質をあらわにしていくことだと空想してる。
まあ、宇宙というのは言葉でかすぎで空間というのがいいのだと思うけど。
分類空間とかそのアナロジーで。

**１３２人目の素数さん** · 2021/12/24(金) 07:50:29.41

abc is still a conjecture
ICM2022の全体講演で念を押されます

**１３２人目の素数さん** · 2021/12/24(金) 09:42:12.55

レス>21の資料では
ショルツェスティクスレポート.
qunta magazine .
zbmath ショルツェレビュー.
nature

Buzzardが総括かな。
Buzzardとscholzeは
computer-assisted proof の
専門家でもある。

**１３２人目の素数さん** · 2021/12/24(金) 12:47:14.94

ショルツはそっちは別に専門家ではない

**１３２人目の素数さん** · 2021/12/24(金) 12:54:09.44

nature

**１３２人目の素数さん** · 2021/12/24(金) 12:57:29.00

>>98
IUTを理解できなかった人同士で傷をなめあってるんやね

**１３２人目の素数さん** · 2021/12/24(金) 13:04:56.75

>>100
https://xenaproject.wordpress.com/2021/06/05/half-a-year-of-the-liquid-tensor-experiment-amazing-developments/

**１３２人目の素数さん** · 2021/12/24(金) 13:05:07.83

そうです
rims以外の人で慰めあってます

**１３２人目の素数さん** · 2021/12/24(金) 13:09:09.56

理解させたら賞もらえるのに
馬鹿だなー

お前が理解出来ないから悪いんだ
って論法飽きた

別の証明や理論もないし変だなー
別分野で発展があるはずだけどなー
ワイルズの場合の楕円曲線とモジュラーだったりさ

ABC予想の解決のみで、
点で終わるのはおかしいよな
独立してるのはおかしいんだよなー

**１３２人目の素数さん** · 2021/12/24(金) 13:53:04.13

性善説前提のシステムなのに、完全にそこにつけ込んでるよね。
組織だてて過去それなりに活躍していた人を神輿に
アレコレやりたい放題なのを潰す対策は今後本当に必要だ。
予算や人事に限らず、
天才ショルツの一番脂の乗った時期の
時間と労力を搾取したのは大罪。
これは金でも弁済できない。
数学界に完全に汚点と障害を残した。
関係者は万死に値する。

**１３２人目の素数さん** · 2021/12/24(金) 14:06:48.50

ザリガニおばさんのザリガニ作文は専門分野の話が一つもないからすぐバレる

**１３２人目の素数さん** · 2021/12/24(金) 14:16:44.06

>>106
ガロアみたいに決闘で射殺されるよりはマシか

**１３２人目の素数さん** · 2021/12/24(金) 16:06:28.02

>>103
それ読んでショルツが形式化の専門家だと思うならどうかしてる
しかしleanってcoqに比較してもあまり日本の数学者には浸透してないよな。同じようなもんだとは思うが

**１３２人目の素数さん** · 2021/12/24(金) 16:31:52.29

>>109
形式化は明確な証明からだよ。

**１３２人目の素数さん** · 2021/12/24(金) 18:09:12.29

ショルツと望月先生のやり取りを見てればショルツが理解してないのは自明なわけで
理解できていないショルツに形式かなんて出来るわけなかろうに

**１３２人目の素数さん** · 2021/12/24(金) 18:20:46.94

>>111
そう、もちろん形式化するのはrims側の責任

**１３２人目の素数さん** · 2021/12/24(金) 18:23:52.56

zbmath ショルツェレビュー
「The category of Hodge theaters has
an extremely complicated definition」
例えば基本シンプルな機械言語で
この定義をプログラミングする
とは可能だろうか？

ふつうはまず極端に複雑な定義を
明確にするためsimplifyが必要で
書き直しからでしょう、
全般にremarkだらけだし。

**１３２人目の素数さん** · 2021/12/24(金) 18:46:49.09

>>111
何が問題かちゃっちゃと書けないあんたに何故それが明らかだと判断できるのか

で終わり

**１３２人目の素数さん** · 2021/12/24(金) 19:01:30.78

ABC定理の前提で他の問題を解いていけっての

**１３２人目の素数さん** · 2021/12/24(金) 19:33:04.02

coqやlernならともかく

> 基本シンプルな機械言語でこの定義をプログラミングするとは可能だろうか？

と言い出しているのはどこの底辺大理学部職員だろうか

**１３２人目の素数さん** · 2021/12/24(金) 19:42:49.19

証明ならアセンブリ言語が基本なんだよ

**１３２人目の素数さん** · 2021/12/24(金) 19:44:09.24

どこの底辺大の精神異常者が連投してんだよ

**１３２人目の素数さん** · 2021/12/24(金) 19:49:44.16

>>116
>coqやlernならともかく

単語並べても論理を知らないw

**１３２人目の素数さん** · 2021/12/24(金) 19:54:34.95

アセンブリで定理証明（しかもABC予想！）とかできるなら、もう向こう５年分のフィールズ賞ソイツにあげたらいいよｗ
人間業じゃないもんｗ

**１３２人目の素数さん** · 2021/12/24(金) 19:54:55.60

数年前底辺大の精神異常者が匿名掲示板で
証明プログラミング的手法を指してニセ科学だ～
と発狂してウザかったので
カリーハワード同型対応や証明プログラミングの話をしてやったのは俺だけど

その精神異常者が数学板に乗り込んで、
証明をアセンブラ言語で書けと喚き立てる珍事が発生しているとは草生えるわ

底辺大はどうしようもないね

**１３２人目の素数さん** · 2021/12/24(金) 20:00:35.07

>カリーハワード同型対応や証明プログラミング

原理が明確だからね。

**１３２人目の素数さん** · 2021/12/24(金) 20:01:38.58

ちなみにその精神異常者は柏大学院に居たことがある事になっていて
同時期にはハギャ先生の所で証明プログラミングに力を入れていたから学内セミナーに顔を出していれば
その話題を多少は知っているはずなんだけどね

精神異常者の人は基本的に学習能力が低くて、指導教官に手取り足取り指示してもらって論文も書いてもらわないと何もできない人だから、他分野の学内セミナーなんて顔も出さなかったんだろうね

草生えまくるわ

**１３２人目の素数さん** · 2021/12/24(金) 20:07:22.55

上の方でわざとらしい女言葉で曖昧模糊としたイメージの話をしているバカタレがその異常者だろ
実生活では性差別云々で性別を捨てて生きているのに
媚び入って丁寧に教えてもらおうとする時だけ女言葉で媚びるから始末が悪い

結局性差を自分の都合よく扱って、無能なのにキャリアを築いたゴミクズ

**１３２人目の素数さん** · 2021/12/24(金) 20:12:13.77

だれと間違えているかしらんけど

カリーハワード同型対応や
証明プログラミングとアセンブリ言語
の関係もしらんだろうw

**１３２人目の素数さん** · 2021/12/24(金) 20:15:11.28

無能なのに職員になってやる事がないから
20年間ひたすら匿名掲示板に張り付いて
毎日毎日他人の揚げ足取りをして
知り合いの他大学教員や見ず知らずの他大学教員を
何年間も誹謗中傷する非生産的作業に従事する
まあ石の下のゲジゲジだね

**１３２人目の素数さん** · 2021/12/24(金) 20:34:24.73

今までRIMSはトリックを使ったからね。
ICM2022が楽しみ

**１３２人目の素数さん** · 2021/12/24(金) 21:24:28.58

中島零時みたいな自殺者でも出したい宣言でもしてるかのようにすら思える。

**１３２人目の素数さん** · 2021/12/24(金) 22:29:38.52

結局どうなるの？

**１３２人目の素数さん** · 2021/12/24(金) 22:33:05.37

数学とは実は宇宙人の暗号である
通常の人はそれを数学だと信じて読み書きしているが
ある特殊な方法によるとそれは宇宙人たちの言語であるという
たとえば誰かを解析したデータが数学で記述されている
生体データが数学語になっていてそれは宇宙人にしか読めない

だったらいいな♪

**１３２人目の素数さん** · 2021/12/24(金) 23:10:23.59

モッチーやゴウくんってIUTT除くとここ10年くらい何も業績なくない？

**１３２人目の素数さん** · 2021/12/24(金) 23:27:27.37

これは擁護するけど、
専念してればそういう事になるわな

大きな仕事ともなれば他の業績はないか
あっても微々たるものになって
他の業績がないことは責められないわ

だからこそ、難問に挑戦して何年ものキャリアを
棒に振った数学者の話もあったりするだろ

**１３２人目の素数さん** · 2021/12/24(金) 23:40:42.61

もっさんのアブストラクトナンセンスが疑わしいのは割と昔からのような気もするんだが

**１３２人目の素数さん** · 2021/12/24(金) 23:47:35.10

結局数学者に最も求められる能力とは今の我々に手の届く問題を見つけ出す能力なわけだ
「こんな未解決問題あるよ」って数だけ知ってても意味ない
その中で少なくとも自分のキャリアの中でなんとかなりそうなやつを嗅ぎとる力が1番大切なわけだ

**１３２人目の素数さん** · 2021/12/25(土) 00:20:41.60

いや、IUT以前に十分すぎる業績はあるでしょ。
タオも、遠アーベル幾何において第一級と見做されている数学者と評してた。

**１３２人目の素数さん** · 2021/12/25(土) 07:09:17.83

>>132
業績のない人でそういう言い訳する人ってよくいるよね
自分はRiemann予想に挑戦しているからとか
意味ある中間的な結果すら出ないようなら方針を変えるべきなんだよ
>>135
Grothendieck予想を解決したね
それで十分すぎるかどうかは知らんけど

**１３２人目の素数さん** · 2021/12/25(土) 10:27:00.48

>>136
ワイルズの手法みたいになるよな
まあ、本当に解く気なら挑戦していることも
教えないみたいだな

**１３２人目の素数さん** · 2021/12/25(土) 12:21:42.93

>>135
玉川、中村らとの仕事がよく言及されるのは常識
それ以外、それ以降の独自の理論の話

**１３２人目の素数さん** · 2021/12/25(土) 16:38:41.80

どうでもいいが、いろいろと残念なことになってないか？

**１３２人目の素数さん** · 2021/12/25(土) 18:34:49.50

abc is still a conjecture

**１３２人目の素数さん** · 2021/12/25(土) 20:35:53.39

既に査読通ったというのに見苦しいなあ

**１３２人目の素数さん** · 2021/12/25(土) 20:56:37.95

以前の業績も、もう一度洗いなおしたほうがいいんじゃないか？

**１３２人目の素数さん** · 2021/12/25(土) 21:08:41.52

幼稚なお人形さんごっこはホムペでヤレ http://cml-office.org/

**１３２人目の素数さん** · 2021/12/25(土) 21:47:46.38

RIMSが全く新しい理論IUTTと公言

**１３２人目の素数さん** · 2021/12/25(土) 21:59:51.02

理論ではないし数学でもない

**１３２人目の素数さん** · 2021/12/25(土) 22:01:42.25

専攻学位論文未提出の底辺大理学部准教の戯言はホムペでヤレ https://cml-office.org

**１３２人目の素数さん** · 2021/12/26(日) 00:06:28.37

>> 143 >>146
隔離スレへおかえりください

**１３２人目の素数さん** · 2021/12/26(日) 00:59:43.29

↑これで身元判明だね

このスレで暴れている無知な人物は
山形大学理学部旧物質生命化学研究室の天羽優子(55歳)
FJネットニュースの時代から、その異常言動でよく知られ、2000年以降毎年のように大きなネットトラブルを起こしてきた鼻つまみ者

IDを毎回変えて言葉足らずな一行レスを繰り返すのは
長文を書いたら自身の愚かさがバレて誰にも相手にされない現実を踏まえた愚者特有の生活の知恵だね

**１３２人目の素数さん** · 2021/12/26(日) 01:13:29.96

>>148
妄想のあらしです。
隔離スレへおかえりなさい

**１３２人目の素数さん** · 2021/12/26(日) 01:26:57.15

レスは責任が伴います
念のため

**１３２人目の素数さん** · 2021/12/26(日) 06:41:22.60

ID:n3RxAofj
id:0IrSPSkL

**１３２人目の素数さん** · 2021/12/26(日) 09:35:19.47

数学板長期荒らし天羽優子 @apj とは…
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
21年前からネットハラスメント常習者だった証拠がネット上の各所に残っているネット異常者 (※ ソースはインターネットやネットニュースの公開情報で確認可能)

【特徴1】ソース http://blog-imgs-17.fc2.com/k/a/k/kakyoukyoutiba/CIMG8681.jpg https://b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com/site/researchfrontierofwater/photo-gallery/day1-post-meridiem/DSC_0021.JPG ※ 上記写真はみなし国家公務員＝国立大学法人職員＝公人の公開イベントで撮影され公開済みの写真でありその「所属機関」と「役職」の目的と使命に鑑みて、これら写真の参照は国民の行政監視の権利を満たしている。

【事例1】天羽優子 @apjは21年前からネットハラスメント常習犯として有名
[ソース] fj.soc.law 2000/2/17 17:00のスレッド https://groups.google.com/g/fj.soc.law/c/oEr_UCdvnTg/m/IerWI2I7OREJ

【事例2】天羽優子 @apjは13年前に自身が担当する実験講義学生を係争相手業者と誤認し誤爆ハラスメント問題を起こし、被害者学生が身元を明かして誤爆だと判明した後もネットハラスメントを継続した
[ソース] 山形大学・天羽准教授による鬱への差別 (過去ログ) http://itest.5ch.net/life9/test/read.cgi/mental/1212628738/

【事例3】自称天羽優子は4年前にレコード大賞受賞者に対し誹謗中傷を行なった末に逆ギレし、親告罪スラップ訴訟恫喝をした。法務省担当部署はそれを、匿名の長期誹謗中傷犯が自身の身元を明かす訴訟を起こすと称する無効な恫喝だと説明した
[ソース] J-WAVE 81.3FM (76) [無断転載禁止](過去ログ) https://itest.5ch.net/test/read.cgi/am/1503813609/912 https://itest.5ch.net/test/read.cgi/am/1503813609/925 https://itest.5ch.net/test/read.cgi/am/1503813609/948

**１３２人目の素数さん** · 2021/12/26(日) 10:12:20.97

「ネット上の各所」を見ましてもこの方が妄想で
粘着し続けてる証拠しか見当たらないんですけど

**１３２人目の素数さん** · 2021/12/26(日) 10:14:20.62

ID:yJDh2Uxl
このスレはIU幾何とabc予想のスレ
です。
あらしはおやめください。
隔離スレへ直ちにおかえりください

**１３２人目の素数さん** · 2021/12/26(日) 10:20:45.77

>>153
あなたも隔離スレから来ないでください

**１３２人目の素数さん** · 2021/12/26(日) 10:24:05.99

K,Buzzard
What is the point of computers?
A question for pure mathematicians

>A great example is Mochizuki’s claimed proof of the ABCconjecture [Moc21].
This proof has now been published in a
serious research journal, however it is
clear that it is not accepted by the
mathematical community in general.
抜粋
paperは1 から4まであります

https://arxiv.org/abs/2112.11598

**１３２人目の素数さん** · 2021/12/26(日) 13:09:55.06

冷静な人物であれば荒らしには反応しない

特定のIDを荒らしだと決め付け
「隔離スレ」という特異語を使って書き込みを制限しようとするのは、西村2ちゃんねる時代の運用ボランティア特有の言動

**１３２人目の素数さん** · 2021/12/26(日) 13:20:48.23

>>157
レス>148はデマだからあらしです。

**１３２人目の素数さん** · 2021/12/26(日) 13:33:10.57

ニセ科学批判カルトが多用する特異語
・ニセ科学
・エセ科学
・トンデモ
・ペテン師
・デマ
・自分が本当の被害者

**１３２人目の素数さん** · 2021/12/26(日) 13:36:56.15

このスレはIU幾何とabc予想のスレ
です。
あらしはおやめください。
隔離スレへ直ちにおかえりください

**１３２人目の素数さん** · 2021/12/26(日) 13:55:16.99

K,Buzzard
What is the point of computers?
A question for pure mathematicians

>A great example is Mochizuki’s
claimed proof of the ABCconjecture
[Moc21].
This proof has now been published
in a serious research journal, however
it is clear that it is not accepted by the
mathematical community in general.
抜粋
paperは1 から4まであります

https://arxiv.org/abs/2112.11598

**１３２人目の素数さん** · 2021/12/26(日) 14:41:37.76

0IrSPSkL

ここにはあなたの愛する天羽優子さんはいらっしゃいませんよ
安心してここから御立ち去り下さい

**１３２人目の素数さん** · 2021/12/26(日) 14:47:46.64

底辺大准教が発狂し始めたね

**１３２人目の素数さん** · 2021/12/26(日) 14:48:21.76

>カリーハワード同型対応や証明プログラミング
その昔流行した研究テーマですね

数学科で純粋数学に挫折して企業に就職した方が
上記のテーマで研究論文書いて学位を取得して大学に就職し
純粋数学の研究に戻っていきましたが…
http://www.ritsumei.ac.jp/se/~takayama/reHist.html

なかなか泣かせるヒストリーです

**１３２人目の素数さん** · 2021/12/26(日) 14:50:20.34

>>163
私は貴方の愛する天羽優子さんではありません
大体男だし　学位ないし　大学の教官じゃないし

**１３２人目の素数さん** · 2021/12/26(日) 14:54:20.76

山形キチガイジおばさんが現在発狂中のスレ一覧　　　　　　　　　

Inter-universal geometry とABC 予想47
https://rio2016.5ch.net/test/read.cgi/math/1635332056/

**１３２人目の素数さん** · 2021/12/26(日) 15:01:35.27

>>152
元国民的美少女だね、懐かしい

**１３２人目の素数さん** · 2021/12/26(日) 15:06:28.02

私もダメという事になっちゃうんだけど
こういう荒らしに反応するやつは同じ穴のムジナ
って知らないの？

**１３２人目の素数さん** · 2021/12/26(日) 15:07:08.84

山形大学で学生実験中に担当女性准教授に股間を擦り付けたために成績Fとなってしまい准教授と揉めて胸を揉んで奇声を発し学校を飛び出したまま帰って来ず退学になり、発狂して長野県の施設に幽閉され一日中この出来事のフラッシュバックを匿名掲示板に書き込んでいるおじさんがここにも現れましたか？

**１３２人目の素数さん** · 2021/12/26(日) 15:14:39.19

以後スルー　

**１３２人目の素数さん** · 2021/12/26(日) 15:38:45.69

>>152
あグロ

**１３２人目の素数さん** · 2021/12/26(日) 15:39:08.85

>>152
広末涼子がどうしたって？

**１３２人目の素数さん** · 2021/12/26(日) 15:51:07.87

NG推奨優先順に並べましたが
ランダムで2つNGにするだけで十分有効です

【NGWord推奨(荒らし側が対策困難なもの)】
kakyoukyoutiba
day1-post-meridiem
cml-office
IerWI2I7OREJ
1212628738
1503813609

**１３２人目の素数さん** · 2021/12/26(日) 15:58:14.10

>>164
Buzzardを眺めて
scholzeのPerfectoid spaces と
Condensed mathematicsは形式化
の実験まで行うことができたが、
interested in “the kind ofmathematics
which wins Fields Medals”だけでは
ないだろうw
以前、IUT論文4の謝辞にHoTTの
Voevodskyがあるからと権威つけ
していたが単に名があるとしか思えな
かった。論文は全般にRemarkだらけ
だし定義が不明確だ。

**１３２人目の素数さん** · 2021/12/26(日) 16:59:28.88

コピペ荒らしが荒らしをするなと主張するスレはここですか？

**１３２人目の素数さん** · 2021/12/26(日) 17:20:33.23

ICM2022がたのしみだ

**１３２人目の素数さん** · 2021/12/26(日) 17:39:30.79

そういうえば、モッチーはVoevodskyが好きだとか言ってたなぁ
形式証明をやったり、厳密さに対して関心を寄せるVoevodskyとモッチーじゃメンタリティ違うと思ってたから意外だと感じたもんだが

**１３２人目の素数さん** · 2021/12/26(日) 19:02:31.86

Coqとleanはやっぱり似てるね
形式化の論文ってプログラムを長々書き連ねると思っていたけど、形式化するために必要な数学的概念の
分析が中心なんだな
ずっとコンピュータがあったのに今になって急速に抽象数学や無限集合の形式化が進みだしたのが謎だわ

**１３２人目の素数さん** · 2021/12/26(日) 19:37:09.42

>ずっとコンピュータがあったのに今になって急速に抽象数学や無限集合の形式化が進みだしたのが謎だわ

世界初のコンピュータ（Zuse Z3） 1941年
無限公理　1908年

**１３２人目の素数さん** · 2021/12/27(月) 12:19:16.84

志甫予想を、望月氏が解決する日も近そうですね

**１３２人目の素数さん** · 2021/12/27(月) 15:03:01.31

志甫予想はKedlayaが解決じゃないの

**１３２人目の素数さん** · 2021/12/27(月) 18:12:05.56

KedlayaがIUTを使って解決、かな

**１３２人目の素数さん** · 2021/12/27(月) 18:20:20.51

>KedlayaがIUTを使って解決、かな

IUT? 詳しく教えていただきたい

**１３２人目の素数さん** · 2021/12/27(月) 18:41:22.14

これ
志甫予想を望月(拓郎)氏が解決する　
日も近そうですね、
とふつうおもうけどね　おしまい

**１３２人目の素数さん** · 2021/12/27(月) 19:55:32.43

絶対に正しい事なら命込みで全財産を担保に入れる事を法的公正証書に主張できる｡
できないならばハッタリである。ハッタリもまた、嘘である｡
また、ハッタリが結果的に正しかった場合もマグレ当たりとして嘘を吐いていた扱いと成る｡

さぁ、命込み全財産を公正証書を下に担保に入れて再主張できるかな？

気違いな要請と言うならば、そもそも毎日毎日ハッタリで盲信したりアンチになったりしてる事からして気違い｡

**１３２人目の素数さん** · 2021/12/27(月) 19:58:11.66

毎日毎日、風説の流布を働く愚か者どもに、高額過料を｡

**１３２人目の素数さん** · 2021/12/28(火) 00:02:55.44

NHKの次は情熱大陸にも出るんかな、望月さん

**１３２人目の素数さん** · 2021/12/28(火) 01:24:21.44

フランケンシュタインの誘惑
科学史　闇の事件簿　IUT

**１３２人目の素数さん** · 2021/12/28(火) 08:47:48.28

>>173
公人の公開顔写真のURLをNG指定するのは
とても痛々しいね

このURLのひとが犯人と判明 http://blog-imgs-17.fc2.com/k/a/k/kakyoukyoutiba/CIMG8681.jpg https://b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com/site/researchfrontierofwater/photo-gallery/day1-post-meridiem/DSC_0021.JPG ※ 上記写真はみなし国家公務員＝国立大学法人職員＝公人の公開イベントで撮影され公開済みの写真でありその「所属機関」と「役職」の目的と使命に鑑みて、これら写真の参照は国民の行政監視の権利を満たしている。

**１３２人目の素数さん** · 2021/12/28(火) 09:55:46.19

>>189
即あグロ

**１３２人目の素数さん** · 2021/12/28(火) 10:03:06.03

**１３２人目の素数さん** · 2021/12/28(火) 10:10:01.00

長期ネットストーキング荒らし天羽優子 @apj とは…
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
21年前からネットハラスメント常習者だった証拠がネット上の各所に残っているネット異常者 (※ ソースはインターネットやネットニュースの公開情報で確認可能)

【特徴1】ソース http://blog-imgs-17.fc2.com/k/a/k/kakyoukyoutiba/CIMG8681.jpg https://b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com/site/researchfrontierofwater/photo-gallery/day1-post-meridiem/DSC_0021.JPG ※ 上記写真はみなし国家公務員＝国立大学法人職員＝公人の公開イベントで撮影され公開済みの写真でありその「所属機関」と「役職」の目的と使命に鑑みて、これら写真の参照は国民の行政監視の権利を満たしている。

【事例1】天羽優子 @apjは21年前からネットハラスメント常習犯として有名
[ソース] fj.soc.law 2000/2/17 17:00のスレッド https://groups.google.com/g/fj.soc.law/c/oEr_UCdvnTg/m/IerWI2I7OREJ

【事例2】天羽優子 @apjは13年前に自身が担当する実験講義学生を係争相手業者と誤認し誤爆ハラスメント問題を起こし、被害者学生が身元を明かして誤爆だと判明した後もネットハラスメントを継続した
[ソース] 山形大学・天羽准教授による鬱への差別 (過去ログ) http://itest.5ch.net/life9/test/read.cgi/mental/1212628738/

【事例3】自称天羽優子は4年前にレコード大賞受賞者に対し誹謗中傷を行なった末に逆ギレし、親告罪スラップ訴訟恫喝をした。法務省担当部署はそれを、匿名の長期誹謗中傷犯が自身の身元を明かす訴訟を起こすと称する無効な恫喝だと説明した
[ソース] J-WAVE 81.3FM (76) [無断転載禁止](過去ログ) https://itest.5ch.net/test/read.cgi/am/1503813609/912 https://itest.5ch.net/test/read.cgi/am/1503813609/925 https://itest.5ch.net/test/read.cgi/am/1503813609/948

**１３２人目の素数さん** · 2021/12/28(火) 10:23:49.92

なんだかウィルスに感染したみたいだねw

**１３２人目の素数さん** · 2021/12/28(火) 10:39:40.42

>>192
あグロ

**１３２人目の素数さん** · 2021/12/28(火) 10:39:55.64

**１３２人目の素数さん** · 2021/12/28(火) 11:29:36.89

天羽優子に対する著名研究者の評価

1. ゴードン・ベル7回受賞の著名物理学者「『科学的真偽は権威が決める』と主張する天羽優子は科学者とはいえない」

2.天羽と接点のあるKEK黒猫氏「あの人(天羽優子)は他人の心を読み取れないから人間としてどうしようもない」(講義学生誤爆ハラスメント事件へのコメント)

3.信号処理研究者「世の中には学位を取るだけで力を使い果たしその後業績の上がらない人も居るが
今回は学位を取る基本能力がないのに不適切な学位を与えられてしまった人が居ることを知った」

4.化学分野研究者「かの女性(天羽優子)は『自分が理解できないことは排除する』『自分が理解できないことはバカにする』」

皆さん天羽優子の本質をよく理解していらっしゃる

**１３２人目の素数さん** · 2021/12/28(火) 11:30:20.08

>>198-200
置きあグロ

**１３２人目の素数さん** · 2021/12/28(火) 11:30:59.17

誇大妄想狂天羽優子の妄想内容変遷 (2021年12月26日更新)　
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
10月には総理大臣になりノーベル賞をとり学長になり衆院選で当選した(現在完了形)と言っていた人間が
2週間後には資産家と結婚して県議会議員になりたい
と妄想バブル大崩壊
妄想設定が毎日変わる誇大妄想末期状態

■2021/10/07(木) 11:38:58.78 ID:a47+vyZ4
>　いつの時代も総理大臣が批判されるようなもんだ
■2021/10/08(金) 19:53:26.26 ID:3GIXAUpq0
>　山形の大島優子は次の総選挙に立候補すれば
>　あれよあれよと女性初の総理大臣になるだろう
■2021/10/24(日) 17:50:54.16 ID:tdeJTnjr
>　天才だと思うノーベル賞も夢じゃないね
■2021/10/30(土) 18:29:54.51 ID:???
>　学長になるらしい
■2021/10/30(土) 18:35:23.99 ID:???
>　人望がある

■2021/10/31(日) 23:37:25.95 ID:???
>　・ノーベル賞を受賞する→来年をお楽しみに
>　・総理大臣になる→5年後をお楽しみに
>　・衆院選に出馬する→国民民主から立候補している
>　・天羽が当選した→選挙速報見ろ

■2021/11/01(月) 11:33:08.67 ID:???
>　今回の衆議院選挙とは言っていない
>　次の衆議院選挙に立候補している

■2021/11/13(土) 23:04:52.53 ID:???
> 　某女史は地元の資産家と結婚して
> 　県議会議員になろうかとしている
■2021/11/18(木) 20:08:00.04 ID:???
> 　旦那さんは代議士になったしあげまん
> 　だよなあ
■2021/11/19(金) 11:46:38.05 ID:???
> 　旦那さん弁護士たから訴えられるぞ
■2021/11/20(土) 18:53:45.95 ID:???
> 　立民の代表選に唯一女性候補として出たね
> 　勝ったらこのコピペ主は社会から抹殺されるだろう
■2021/11/21(日) 21:25:18.84 ID:???
> 　地元の有力者がパトロンだから笑いごとではなくなるぞ
■2021/12/14(火) 18:36:08.64 ID:???
> 　まあ歴史の教科書に載るくらいの功績は残すだろうね
■2021/12/26(日) 15:22:38.13 ID:???
> 　そもそも貴族の出だから生まれた時点で人の上に立っている下々の方々は納得いかないだろけどね

**１３２人目の素数さん** · 2021/12/28(火) 11:43:47.19

>>189
この人のパンティーなら100万円出す

**１３２人目の素数さん** · 2021/12/28(火) 13:16:46.24

>>193
過去スレでもIUT一派(世界的な数学界で公認された用語w)に動きがある時と
核心部の話になる時にはスレが場違いの話か理解不足の罵倒でスレがあれて
きたからスルーしながら、。
さて、
computer利用の証明の形式化より
IUT論文でIUTTの位置づけ問題点の
核心部が明確になり>>84さんが
貼ったBuzzardのpaperは重要で
しょう。加えて
・Formalising perfectoid spaces
　arxiv 1910.12320
>Perfectoid spaces are sophisticated objects in arithmetic geometry introduced by Peter Scholze in 2012. We formalised enough definitions and theorems in topology, algebra and geometry to define perfectoid spaces in the Lean theorem prover.
Scholzeのperfect spaceは元々
数学の論文が洗練され明確だから
形式化の中で更に洗練されLeanに
対応できたでしょう

・Schemes in Lean
　arxiv 2101.02602
> story of how schemes were formalised in three different ways
in the Lean theorem prover.
定義は3あり当然伝統的な層圏アフィンスキーム.ハーツホーン本もベース
にある。
またThe Stacks Projectが専門家に
高く評価されている。
IU幾何の構想はSchemeの拡張だけど
過去スレにあるようにここから
不明確と思う。