Inter-universal geom ..
44:１３２人目の素数さん
21/12/21 08:49:25.09 QTlB0by+.net
URLﾘﾝｸ(utge.lakecomoschool.org)
3か月前の研究集会でノッティンガムの人たちは
標準的な数学の講演していますね
この参加者らを前にIUTの講演はできなかった
ということなんでしょうね
だいぶ終わった感があります
45:１３２人目の素数さん
21/12/21 10:31:51.78 ATxzruO4.net
>>43
Fesenkoの動画見たけど、IUTについても話してる
URLﾘﾝｸ(m.youtube.com)
RIMSのIUTサミットでの講演内容とほぼ一緒
46:１３２人目の素数さん
21/12/21 12:17:33.08 vAW+6ssT.net
グロモフも言ってるよね。
「彼はすでに定理を証明した。このうえ解決することなど何もない。彼はあの定理を証明したんだ」
47:１３２人目の素数さん
21/12/21 12:53:44.08 lOxZiLbG.net
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”
48:１３２人目の素数さん
21/12/21 12:54:36.62 lOxZiLbG.net
>>45
全く新しい理論で証明したんだろう
49:１３２人目の素数さん
21/12/21 13:03:25.94 lOxZiLbG.net
>彼はすでに定理を証明した。
このうえ解決することなど何もない。
彼はあの定理を証明したんだ」
違います。
証明の査読中からIUTTの構築より
解決していたんだよ
50:１３２人目の素数さん
21/12/21 18:03:09.84 lOxZiLbG.net
woitのブログ
More Math and Physics Items
Kontsevichの動画もある
URLﾘﾝｸ(www.math.columbia.edu)
51:１３２人目の素数さん
21/12/21 19:14:00.00 V47MvemU.net
難しいなー
52:１３２人目の素数さん
21/12/21 19:27:26.47 QTlB0by+.net
>>44
はい。IUTの位置づけみたいなことを少々話していますが
IUTで何ができるかはおろか何であるかさえ話していませんね
53:１３２人目の素数さん
21/12/21 20:19:36.04 jgXwvj+Q.net
今、普通の集会でIUTがabc予想を解決したという前提で話せるかといったら間違いなくノーだからなあ
一部を除いて国内ですら変な空気になるだろうし、実際誰も公的な建前では口にしない
54:１３２人目の素数さん
21/12/22 00:03:20.03 FmHEAs3+.net
かといって、少なくとも日本では、abc予想を明らかな未解決問題として扱うのも憚られるしなぁ
とにかくメンドイ感じになっちゃった
55:１３２人目の素数さん
21/12/22 00:06:11.74 xKJeiexk.net
査読を通った以上は明確に否定されるまでは証明されたものとして扱わないといけないからな
56:１３２人目の素数さん
21/12/22 00:19:41.62 1oJ8MgPn.net
プレプリントはレフェリーを通っていないので間違っている可能性があるが，専門家なら正しいかどうかは自分で判定できるべきであり，間違った論文を信じてしまったら，その論文がアクセプトされているかどうかにはかかわらず，信じた方がバカだったということである．
河東より
57:１３２人目の素数さん
21/12/22 00:43:15.29 xKJeiexk.net
査読が通ったということはその分野を専門とする複数の研究者が正しいと認めたってことだからな
編集委員が選んだ研究者よりも詳しいと自認しているなら自分の考えの方を正しいと判断してもいいけど
自分の意見が正しいと主張する自称専門家と編集員が客観的に選んだ専門家のどちらが正しいかは一目瞭然だよな
58:１３２人目の素数さん
21/12/22 06:26:55.12 AW/BAT7t.net
IUT論文の場合は査読中から肯定的な
結論が決まっていた。
↓
RIMS 現況調査表 -
p28-3
資料 2. 発表論文数
所員の発表論文数
査読付き論文のみ
p
28-10
事例4「数論幾何の研究」
「望月新一に よる「宇宙際タイヒ
ミューラー理論」の構築とその結果
としての ABC 予想の解決は、
特筆すべき 出来事である。」
「当該論文は現在査読中であるが、 」
「望月新一が同理論の概要を解説した
業績番号1― (2)(2014)が、講究録別冊
(B51)として刊行されている」
59:１３２人目の素数さん
21/12/22 08:51:25.87 DmAnP6vJ.net
RIMS現況調査票の筆責は？
60:１３２人目の素数さん
21/12/22 09:10:05.84 OsvYgrG2.net
京都大学数理解析研究所の名前で
提出だから京都大学数理解析研究所
です。
61:１３２人目の素数さん
21/12/22 09:12:38.74 +pHAiemp.net
当時の所長名は？
62:１３２人目の素数さん
21/12/22 09:17:57.14 h6OCybkn.net
IUTTの肝はなんだ？ ホッジ劇場はシネコンみたいなもので、いろんなサイズのシアター（シアターA,B,C...）が「数学宇宙」としてある、それを一度に見渡せる（監視するカメラ）のがテータ函数だってか。
63:１３２人目の素数さん
21/12/22 12:52:45.89 1QqribVZ.net
まだ現況調査票バカ（スレ主）が暴れとるのお
64:１３２人目の素数さん
21/12/22 12:55:39.63 N+2iQZG4.net
事実を言っているだけです。
公共放送 NHK
放送法
第2章 放送番組の編集などに関する
通則
<第4条> <国内放送等の放送番組
の編集等>
放送事業者は、国内放送及び内外
放送(以下「国内放送等」という。)
の放送番組の編集に当たつては、
次の各号の定めるところによらなけれ
ばならない。
一 公安及び善良な風俗を害しない
こと。
二 政治的に公平であること。
三 報道は事実をまげないでする
こと。
四 意見が対立している問題については、できるだけ多くの角度から論点を明らかにすること。
65:１３２人目の素数さん
21/12/22 13:14:01.80 xKJeiexk.net
IUT認めないのは変な人が多いんですね
66:１３２人目の素数さん
21/12/22 13:16:29.59 N+2iQZG4.net
>>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」
他
67:１３２人目の素数さん
21/12/22 13:47:15.73 chYjDu8w.net
都合の良い空間に都合よく飛ばせばなんでも証明ができる
68:１３２人目の素数さん
21/12/22 14:46:50.12 FmHEAs3+.net
真面目な話、NHKの番組にはショルツェへの取材は含まれるんだろうか。
懐疑派の立場もとりあげるほうが学問的には健全だと思うけど、ショルツェは日本の番組の取材は受けないんじゃないかという気もする。
あるいは肯定派のほうでも「もしショルツェに取材するなら、わたしは取材を受けません」とかモッチーなら言うかな？
69:１３２人目の素数さん
21/12/22 15:06:04.00 LC8mniCy.net
これを立てたのは自分だが、IUT関連というか数学板自体初めて立てたよw 伝統的なスレ主は
例のコピペの人でセタとかいうのとは当然別人なんだよな。スタンス自体逆だし
>>61
しかし、Θとスキーム宇宙（通常のスキームの圏を解析的に分解して構成される）の素材は同じという話
そういう凝った仕組みを実現するには、位相群の同型からそのような無限の異なる宇宙が圏論的普遍性と
整合して作り出せなければならない
その証明が論文に存在しないというのがSSの指摘
70:１３２人目の素数さん
21/12/22 15:57:28.27 Ej4DHbt4.net
>>68
>例のコピペの人
依頼されて事実をまとめている。
過去スレを参照のこと
応援スレは無関係だよ
71:１３２人目の素数さん
21/12/22 16:02:16.68 Ej4DHbt4.net
>>69
p.s
IUT論文受理の玉川.柏原記者会見でも
abc予想は全く新しい理論IUTTより
証明されたとのこと。
IUT論文では遠アーベル幾何学を含め
た前部とHT以後でギャップ断絶があり
HT以後、全く新しい理論IUTTになると
理解しました。
72:１３２人目の素数さん
21/12/23 06:11:49.86 JsBnbBeb.net
>真面な話、NHKの粕ﾔ組にはショルャcェへの取材は滑ﾜまれるんだろｂ､か。
デュピュイのTwitterではインタビューに
woitもフィールズ賞受賞もなくその後削除。
73:１３２人目の素数さん
21/12/23 06:13:47.58 JsBnbBeb.net
>>71
フィールズ賞受賞
→フィールズ賞受賞ショルツェ
74:１３２人目の素数さん
21/12/23 07:19:42.52 irLfbkgW.net
>>68
>位相群の同型からそのような無限の異なる宇宙が圏論的普遍性と
>整合して作り出せなければならない
>その証明が論文に存在しないというのがSSの指摘
その辺が「識別の危機」であり、「かつ」と「または」の混同であり、
そもそも望月さん一派はself-evidentに構成できていると主張しているところなのか。。
何か他の人が別の視点からこの辺をきちんとまとめて概観してくれるといいのだけどね。
75:１３２人目の素数さん
21/12/23 08:29:27.11 8o+sTZ22.net
>>73
もう誰も手出さんよ
1000ページも超える論文キチンとフォローしたら一年以上かかる
それだけやって結局なんの役にも立ちませんでしたになる可能性もある事やるバカいない
それもキチンと読めば意味が通じる文書ならともかく、ショルツの書評では曖昧で読者が意味を“推理”しなければならないような部分があるのではそもそも元々頑張っても“読めない”文書である可能性もある
というかそんな事他人に期待するなよ
自分で読めよ
76:１３２人目の素数さん
21/12/23 11:34:56.36 Ns6ZUoCH.net
ハイコンテクスト文化を持つ日本人なら文脈から理解できるので推理など必要ない
これが日本人研究者にしか理解できない理由であり、日本の中で最もハイコンテクスト文化である京都の研究者に支持者が多い理由である
77:１３２人目の素数さん
21/12/23 11:47:06.17 k1T+O4sl.net
>>75
と思うなら自分で読めよ
78:１３２人目の素数さん
21/12/23 12:37:37.55 5AyYdFdj.net
文脈からの推理、と言えば聞こえはいいな。
普通は、それを忖度と言うんだがな。
79:１３２人目の素数さん
21/12/23 13:21:40.81 E5/Lzheq.net
blurring 、、w
80:１３２人目の素数さん
21/12/23 13:23:15.02 zrIcJbDt.net
>>75
それはもはや数学じゃなくて文学だな
81:１３２人目の素数さん
21/12/23 15:40:26.17 UpoR6LF2.net
>>73
もう少し正確に言ったら一般化された遠アーベル幾何学のデータが宇宙の規則を定めるわけだけども、
具体的な空間自体は垂直に各々別々に再構成される。仮にラベルなりなんなりの区別を考慮しても
それらの空間の整合性がどのみち問題になる
Stixが制御棒、エッシャー云々言っていたのもそういうこと
つまり、あの単純化というのは本質を有意味に抽出したという意味であって、別に歪めましたという話では
ないんだよね。読解力の問題よ
82:１３２人目の素数さん
21/12/23 17:13:34.77 AiEIEgPe.net
世界初、エルサルバドルでビットコインが法定通貨に
中米エルサルバドルで7日、暗号資産（仮想通貨）ビットコイン（Bitcoin）が世界で初めて
法定通貨に採用された。ただ、国内では懐疑的な見方が強く、国際社会からも消費者の
リスクを警告する声が上がっている。
ナジブ・ブケレ・オルテス（Nayib Bukele Ortez）
83:政権は、ビットコインを法定通貨 にすることで、国民の多くが銀行を利用できるようになる上、海外送金手数料を毎年4億ドル （約440億円）ほど節約できるとしている。 政府は、ビットコインATM（現金自動預払機）を200台以上設置するとともに、反対派に よる放火を防ぐため、兵士を一部ATMの警備に当たらせている。ブケレ大統領は、 ビットコインを利用した国民一人当たりに30ドル（約3300円）を支給するとしている。
84:１３２人目の素数さん
21/12/23 17:14:13.74 AiEIEgPe.net
エルサルバドル、ビットコインのための街「Bitcoin City」建設を発表。税制など優遇
ナジブ・ブケレ大統領は、6月にBitcoinを米ドルに並ぶ法定通貨とする法案を通し、
コンチャグア火山近くの地熱発電所を暗号通貨マイニング向けに利用することを
指示していました。そして今回、地熱発電所とラ・ウニオンの街の近隣地域に
「Bitcoin City」と称する新しい街を建設すると発表。
そこには「住宅地、商業地、サービス、博物館、娯楽、バー、レストラン、空港、港、
鉄道などすべてが含まれる」と述べました。Bitcoin Cityの住民には付加価値税
(VAT、消費税のようなもの)はあるものの、所得税は課されないと大統領は説明、税収の
半分は「街を作り上げるため」、残り半分は「街を綺麗に保つため」に使われると
ザックリ述べています。
エルサルバドルはBitcoinを法定通貨とすることを決めて以降、9月には2回に分けて
合計400BTCを購入しています。国民には政府承認のウォレットアプリ「Chivo」を
30ドル相当のビットコインと共に配布し、このアプリでドルまたはBTCでの支払いや送金、
受け取りができるようにしています。また国内に200台以上のBitcoin対応ATMも設置した
と伝えられています。
85:１３２人目の素数さん
21/12/23 18:57:53.16 RfY8/n2t.net
ショルツの指摘の方も実際は blurring なんだからどうしようもない
ハッキリさせるために簡単なモデルを持ち出して望月が逆ギレ
もうどっちに関わるのも不正解という状況
86:38
21/12/23 19:42:33.42 iz9G4jw+.net
Buzzardの原稿が出たヨ！
URLﾘﾝｸ(arxiv.org)
>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.
87:１３２人目の素数さん
21/12/23 19:42:42.06 WvKhVDNa.net
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予想は数学の
証明も解決もしていない。
88:１３２人目の素数さん
21/12/23 20:46:56.21 a0F2ZqKI.net
>>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)
89:１３２人目の素数さん
21/12/23 20:51:32.21 /j9O8+Gr.net
unbeliever
wwwww
まともな数学者が使う言葉じゃねーよwwwwww
90:１３２人目の素数さん
21/12/23 20:53:28.45 sSQbgLmT.net
数学じゃないからね。
91:１３２人目の素数さん
21/12/23 22:06:51.05 Ns6ZUoCH.net
数学の正しさは証明しようがないから最終的には信じるか信じないかしかない
92:１３２人目の素数さん
21/12/23 22:22:13.24 /j9O8+Gr.net
なわけねーよバーカ
93:１３２人目の素数さん
21/12/23 23:03:08.00 iz9G4jw+.net
そうですね
IUTについては理解者などおらずbelieverとunbelieverがいるばかりです
望月氏にとってはfollowerとdenierということなのかもしれませんが
94:１３２人目の素数さん
21/12/23 23:14:21.32 Iwpno+ou.net
そう、つまりはゴッドの存在を証明する
95:１３２人目の素数さん
21/12/23 23:21:17.06 KhgtrTjZ.net
ココにはアホほどbelieverいるけどなwwwwwww
96:１３２人目の素数さん
21/12/24 00:29:25.45 g+lLz7j4.net
ゴッドビリーバー、オアー、ノットwww
97:１３２人目の素数さん
21/12/24 01:00:10.15 r12au/yx.net
数理研総出でズンドコベロンチョやってるの、マジで笑えない。
いつまでやるの、あいつら。
98:１３２人目の素数さん
21/12/24 02:10:35.09 46mFLjBr.net
>>83
RIMSの自業自得だな
NHKスペシャルではRIMS関連
がインタビューで堂々と「abc予想は
全く新しい理論IUTTより査読中から
解決し証明された」と連呼する。
番組中テロップ流しも必要だ
このあとひきつづき
フランケンシュタインの誘惑
科学史 闇の事件簿 IUT
99:１３２人目の素数さん
21/12/24 07:19:51.08 FpJy5/5n.net
>>80
「空間の整合性」というのは空間がいわば解析できる（つまり各々宇宙のズレを具体的に微分係数のように計算できる）
いたるところで微分可能な函数のようなもの（宇宙際）を為すということなのかしら。
望月さんの今回の肝は一種の壮大な構想で、数学そのものが個々の点であるような函数のようなものを考えて、
その理論的な差異を実際に計算することでなんらかの普遍的な性質をあらわにしていくことだと空想してる。
まあ�
100:A宇宙というのは言葉でかすぎで空間というのがいいのだと思うけど。 分類空間とかそのアナロジーで。
101:１３２人目の素数さん
21/12/24 07:50:29.41 NFED+LAA.net
abc is still a conjecture
ICM2022の全体講演で念を押されます
102:１３２人目の素数さん
21/12/24 09:42:12.55 Aes/IiSy.net
レス>21の資料では
ショルツェスティクスレポート.
qunta magazine .
zbmath ショルツェレビュー.
nature
Buzzardが総括かな。
Buzzardとscholzeは
computer-assisted proof の
専門家でもある。
103:１３２人目の素数さん
21/12/24 12:47:14.94 onwYlEjJ.net
ショルツはそっちは別に専門家ではない
104:１３２人目の素数さん
21/12/24 12:54:09.44 Z1IoT3aO.net
nature
105:１３２人目の素数さん
21/12/24 12:57:29.00 ys+K5Owx.net
>>98
IUTを理解できなかった人同士で傷をなめあってるんやね
106:１３２人目の素数さん
21/12/24 13:04:56.75 Z1IoT3aO.net
>>100
URLﾘﾝｸ(xenaproject.wordpress.com)
107:１３２人目の素数さん
21/12/24 13:05:07.83 1zFMDahS.net
そうです
rims以外の人で慰めあってます
108:１３２人目の素数さん
21/12/24 13:09:09.56 g+lLz7j4.net
理解させたら賞もらえるのに
馬鹿だなー
お前が理解出来ないから悪いんだ
って論法飽きた
別の証明や理論もないし変だなー
別分野で発展があるはずだけどなー
ワイルズの場合の楕円曲線とモジュラーだったりさ
ABC予想の解決のみで、
点で終わるのはおかしいよな
独立してるのはおかしいんだよなー
109:１３２人目の素数さん
21/12/24 13:53:04.13 r12au/yx.net
性善説前提のシステムなのに、完全にそこにつけ込んでるよね。
組織だてて過去それなりに活躍していた人を神輿に
アレコレやりたい放題なのを潰す対策は今後本当に必要だ。
予算や人事に限らず、
天才ショルツの一番脂の乗った時期の
時間と労力を搾取したのは大罪。
これは金でも弁済できない。
数学界に完全に汚点と障害を残した。
関係者は万死に値する。
110:１３２人目の素数さん
21/12/24 14:06:48.50 jbgjfQO+.net
ザリガニおばさんのザリガニ作文は専門分野の話が一つもないからすぐバレる
111:１３２人目の素数さん
21/12/24 14:16:44.06 pK+6LkWM.net
>>106
ガロアみたいに決闘で射殺されるよりはマシか
112:１３２人目の素数さん
21/12/24 16:06:28.02 0sxEbEP0.net
>>103
それ読んでショルツが形式化の専門家だと思うならどうかしてる
しかしleanってcoqに比較してもあまり日本の数学者には浸透してないよな。同じようなもんだとは思うが
113:１３２人目の素数さん
21/12/24 16:31:52.29 Z1IoT3aO.net
>>109
形式化は明確な証明からだよ。
114:１３２人目の素数さん
21/12/24 18:09:12.29 ys+K5Owx.net
ショルツと望月先生のやり取りを見てればショルツが理解してないのは自明なわけで
理解できていないショルツに形式かなんて出来るわけなかろうに
115:１３２人目の素数さん
21/12/24 18:20:46.94 Cc3jDn1P.net
>>111
そう、もちろん形式化するのはrims側の責任
116:１３２人目の素数さん
21/12/24 18:23:52.56 sNeIr8z2.net
zbmath ショルツェレビュー
「The category of Hodge theaters has
an extremely complicated definition」
例えば基本シンプルな機械言語で
この定義をプログラミングする
とは可能だろうか？
ふつうはまず極端に複雑な定義を
明確にするためsimplifyが必要で
書き直しからでしょう、
全般にremarkだらけだし。
117:１３２人目の素数さん
21/12/24 18:46:49.
118:09 ID:37X+BPcO.net
119:１３２人目の素数さん
21/12/24 19:01:30.78 g+lLz7j4.net
ABC定理の前提で他の問題を解いていけっての
120:１３２人目の素数さん
21/12/24 19:33:04.02 D+/KSdB4.net
coqやlernならともかく
> 基本シンプルな機械言語でこの定義をプログラミングするとは可能だろうか？
と言い出しているのはどこの底辺大理学部職員だろうか
121:１３２人目の素数さん
21/12/24 19:42:49.19 sNeIr8z2.net
証明ならアセンブリ言語が基本なんだよ
122:１３２人目の素数さん
21/12/24 19:44:09.24 D+/KSdB4.net
どこの底辺大の精神異常者が連投してんだよ
123:１３２人目の素数さん
21/12/24 19:49:44.16 sNeIr8z2.net
>>116
>coqやlernならともかく
単語並べても論理を知らないw
124:１３２人目の素数さん
21/12/24 19:54:34.95 r1v8Lfc/.net
アセンブリで定理証明（しかもABC予想！）とかできるなら、もう向こう５年分のフィールズ賞ソイツにあげたらいいよｗ
人間業じゃないもんｗ
125:１３２人目の素数さん
21/12/24 19:54:55.60 jbgjfQO+.net
数年前底辺大の精神異常者が匿名掲示板で
証明プログラミング的手法を指してニセ科学だ～
と発狂してウザかったので
カリーハワード同型対応や証明プログラミングの話をしてやったのは俺だけど
その精神異常者が数学板に乗り込んで、
証明をアセンブラ言語で書けと喚き立てる珍事が発生しているとは草生えるわ
底辺大はどうしようもないね
126:１３２人目の素数さん
21/12/24 20:00:35.07 sNeIr8z2.net
>カリーハワード同型対応や証明プログラミング
原理が明確だからね。
127:１３２人目の素数さん
21/12/24 20:01:38.58 jbgjfQO+.net
ちなみにその精神異常者は柏大学院に居たことがある事になっていて
同時期にはハギャ先生の所で証明プログラミングに力を入れていたから学内セミナーに顔を出していれば
その話題を多少は知っているはずなんだけどね
精神異常者の人は基本的に学習能力が低くて、指導教官に手取り足取り指示してもらって論文も書いてもらわないと何もできない人だから、他分野の学内セミナーなんて顔も出さなかったんだろうね
草生えまくるわ
128:１３２人目の素数さん
21/12/24 20:07:22.55 D+/KSdB4.net
上の方でわざとらしい女言葉で曖昧模糊としたイメージの話をしているバカタレがその異常者だろ
実生活では性差別云々で性別を捨てて生きているのに
媚び入って丁寧に教えてもらおうとする時だけ女言葉で媚びるから始末が悪い
結局性差を自分の都合よく扱って、無能なのにキャリアを築いたゴミクズ
129:１３２人目の素数さん
21/12/24 20:12:13.77 sNeIr8z2.net
だれと間違えているかしらんけど
カリーハワード同型対応や
証明プログラミングとアセンブリ言語
の関係もしらんだろうw
130:１３２人目の素数さん
21/12/24 20:15:11.28 D+/KSdB4.net
無能なのに職員になってやる事がないから
20年間ひたすら匿名掲示板に張り付いて
毎日毎日他人の揚げ足取りをして
知り合いの他大学教員や見ず知らずの他大学教員を
何年間も誹謗中傷する非生産的作業に従事する
まあ石の下のゲジゲジだね
131:１３２人目の素数さん
21/12/24 20:34:24.73 sNeIr8z2.net
今までRIMSはトリックを使ったからね。
ICM2022が楽しみ
132:１３２人目の素数さん
21/12/24 21:24:28.58 wChfFFp2.net
中島零時みたいな自殺者でも出したい宣言でもしてるかのようにすら思える。
133:１３２人目の素数さん
21/12/24 22:29:38.52 l0bBSojg.net
結局どうなるの？
134:１３２人目の素数さん
21/12/24 22:33:05.37 E8ODjNqQ.net
数学とは実は宇宙人の暗号である
通常の人はそれを数学だと信じて読み書きしているが
ある特殊な方法によるとそれは宇宙人たちの言語であるという
たとえば誰かを解析したデータが数学で記述されている
生体データが数学語になっていてそれは宇宙人にしか読めない
だったら
135:いいな♪
136:１３２人目の素数さん
21/12/24 23:10:23.59 HQOy5jDK.net
モッチーやゴウくんってIUTT除くとここ10年くらい何も業績なくない？
137:１３２人目の素数さん
21/12/24 23:27:27.37 g+lLz7j4.net
これは擁護するけど、
専念してればそういう事になるわな
大きな仕事ともなれば他の業績はないか
あっても微々たるものになって
他の業績がないことは責められないわ
だからこそ、難問に挑戦して何年ものキャリアを
棒に振った数学者の話もあったりするだろ
138:１３２人目の素数さん
21/12/24 23:40:42.61 h36HwU24.net
もっさんのアブストラクトナンセンスが疑わしいのは割と昔からのような気もするんだが
139:１３２人目の素数さん
21/12/24 23:47:35.10 19JXtATD.net
結局数学者に最も求められる能力とは今の我々に手の届く問題を見つけ出す能力なわけだ
「こんな未解決問題あるよ」って数だけ知ってても意味ない
その中で少なくとも自分のキャリアの中でなんとかなりそうなやつを嗅ぎとる力が1番大切なわけだ
140:１３２人目の素数さん
21/12/25 00:20:41.60 zC9/6Dei.net
いや、IUT以前に十分すぎる業績はあるでしょ。
タオも、遠アーベル幾何において第一級と見做されている数学者と評してた。
141:１３２人目の素数さん
21/12/25 07:09:17.83 AJOGh3OI.net
>>132
業績のない人でそういう言い訳する人ってよくいるよね
自分はRiemann予想に挑戦しているからとか
意味ある中間的な結果すら出ないようなら方針を変えるべきなんだよ
>>135
Grothendieck予想を解決したね
それで十分すぎるかどうかは知らんけど
142:１３２人目の素数さん
21/12/25 10:27:00.48 BfYCyqhK.net
>>136
ワイルズの手法みたいになるよな
まあ、本当に解く気なら挑戦していることも
教えないみたいだな
143:１３２人目の素数さん
21/12/25 12:21:42.93 RNgZWjJH.net
>>135
玉川、中村らとの仕事がよく言及されるのは常識
それ以外、それ以降の独自の理論の話
144:１３２人目の素数さん
21/12/25 16:38:41.80 uhvhMNUt.net
どうでもいいが、いろいろと残念なことになってないか？
145:１３２人目の素数さん
21/12/25 18:34:49.50 GZlzHjfV.net
abc is still a conjecture
146:１３２人目の素数さん
21/12/25 20:35:53.39 CvrkKKZn.net
既に査読通ったというのに見苦しいなあ
147:１３２人目の素数さん
21/12/25 20:56:37.95 uhvhMNUt.net
以前の業績も、もう一度洗いなおしたほうがいいんじゃないか？
148:１３２人目の素数さん
21/12/25 21:08:41.52 n3RxAofj.net
幼稚なお人形さんごっこはホムペでヤレ URLﾘﾝｸ(cml-office.org)
149:１３２人目の素数さん
21/12/25 21:47:46.38 hUg+j2Fd.net
RIMSが全く新しい理論IUTTと公言
150:１３２人目の素数さん
21/12/25 21:59:51.02 uhvhMNUt.net
理論ではないし数学でもない
151:１３２人目の素数さん
21/12/25 22:01:42.25 n3RxAofj.net
専攻学位論文未提出の底辺大理学部准教の戯言はホムペでヤレ URLﾘﾝｸ(cml-office.org)
152:１３２人目の素数さん
21/12/26 00:06:28.37 Dzgz4gws.net
>> 143 >>146
隔離スレへおかえりください
153:１３２人目の素数さん
21/12/26 00:59:43.29 0IrSPSkL.net
↑これで身元判明だね
このスレで暴れている無知な人物は
山形大学理学部旧物質生命化学研究室の天羽優子(55歳)
FJネットニュースの時代から、その異常言動でよく知られ、2000年以降毎年のように大きなネットトラブルを起こしてきた鼻つまみ者
IDを毎回変えて言葉足らずな一行レスを繰り返すのは
長文を書いたら自身の愚かさがバレて誰にも相手にされない現実を踏まえた愚者特有の生活の知恵だね
154:１３２人目の素数さん
21/12/26 01:13:29.96 Dzgz4gws.net
>>148
妄想のあらしです。
隔離スレへおかえりなさい
155:１３２人目の素数さん
21/12/26 01:26:57.15 Dzgz4gws.net
レスは責任が伴います
念のため
156:１３２人目の素数さん
21/12/26 06:41:22.60 Pz7hkuhq.net
ID:n3RxAofj
id:0IrSPSkL
157:１３２人目の素数さん
21/12/26 09:35:19.47 yJDh2Uxl.net
数学板長期荒らし 天羽 優子 @apj とは…
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
21年前からネットハラスメント常習者だった証拠がネット上の各所に残っているネット異常者 (※ ソースはインターネットやネットニュースの公開情報で確認可能)
【特徴1】ソース URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com) ※ 上記写真はみなし国家公務員＝国立大学法人職員＝公人の公開イベントで撮影され公開済みの写真でありその「所属機関」と「役職」の目的と使命に鑑みて、これら写真の参照は国民の行政監視の権利を満たしている。
【事例1】天羽 優子 @apjは21年前からネットハラスメント常習犯として有名
[ソース] fj.soc.law 2000/2/17 17:00のスレッド URLﾘﾝｸ(groups.google.com)
【事例2】天羽 優子 @apjは13年前に自身が担当する実験講義学生を係争相手業者と誤認し誤爆ハラスメント問題を起こし、被害者学生が身元を明かして誤爆だと判明した後もネットハラスメントを継続した
[ソース] 山形大学・天羽准教授による鬱への差別 (過去ログ) URLﾘﾝｸ(itest.5ch.net)
【事例3】自称 天羽 優子 は4年前にレコード大賞受賞者に対し誹謗中傷を行なった末に逆ギレし、親告罪スラップ訴訟恫喝をした。法務省担当部署はそれを、匿名の長期誹謗中傷犯が自身の身元を明かす訴訟を起こすと称する無効な恫喝だと説明した
[ソース] J-WAVE 81.3FM (76) [無断転載禁止](過去ログ) ｽﾚﾘﾝｸ(am板:912番) ｽﾚﾘﾝｸ(am板:925番) ｽﾚﾘﾝｸ(am板:948番)
158:１３２人目の素数さん
21/12/26 10:12:20.97 XmVLb3m0.net
「ネット上の各所」を見ましてもこの方が妄想で
粘着し続けてる証拠しか見当たらないんですけど
159:１３２人目の素数さん
21/12/26 10:14:20.62 OBho6WVe.net
ID:yJDh2Uxl
このスレはIU幾何とabc予想のスレ
です。
あらしはおやめください。
隔離スレへ直ちにおかえりください
160:１３２人目の素数さん
21/12/26 10:20:45.77 OBho6WVe.net
>>153
あなたも隔離スレから来ないでください
161:１３２人目の素数さん
21/12/26 10:24:05.99 OBho6WVe.net
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まであります
URLﾘﾝｸ(arxiv.org)
162:１３２人目の素数さん
21/12/26 13:09:55.06 0IrSPSkL.net
冷静な人物であれば荒らしには反応しない
特定のIDを荒らしだと決め付け
「隔離スレ」という特異語を使って書き込みを制限しようとするのは、西村2ちゃんねる時代の運用ボランティア特有の言動
163:１３２人目の素数さん
21/12/26 13:20:48.23 /qCxNsIu.net
>>157
レス>148はデマだからあらしです。
164:１３２人目の素数さん
21/12/26 13:33:10.57 bFG+0CRg.net
ニセ科学批判カルトが多用する特異語
・ニセ科学
・エセ科学
・トンデモ
・ペテン師
・デマ
・自分が本当の被害者
165:１３２人目の素数さん
21/12/26 13:36:56.15 nb0c5N4O.net
このスレはIU幾何とabc予想のスレ
です。
あらしはおやめください。
隔離スレへ直ちにおかえりください
166:１３２人目の素数さん
21/12/26 13:55:16.99 nb0c5N4O.net
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まであります
URLﾘﾝｸ(arxiv.org)
167:１３２人目の素数さん
21/12/26 14:41:37.76 .net
0IrSPSkL
ここにはあなたの愛する天羽優子さんはいらっしゃいませんよ
安心してここから御立ち去り下さい
168:１３２人目の素数さん
21/12/26 14:47:46.64 0IrSPSkL.net
底辺大准教が発狂し始めたね
169:１３２人目の素数さん
21/12/26 14:48:21.76 .net
>カリーハワード同型対応や証明プログラミング
その昔流行した研究テーマですね
数学科で純粋数学に挫折して企業に就職した方が
上記のテーマで研究論文書いて学位を取得して大学に就職し
純粋数学の研究に戻っていきましたが…
URLﾘﾝｸ(www.ritsumei.ac.jp)
なかなか泣かせるヒストリーです
170:１３２人目の素数さん
21/12/26 14:50:20.34 .net
>>163
私は貴方の愛する天羽優子さんではありません
大体男だし 学位ないし 大学の教官じゃないし
171:１３２人目の素数さん
21/12/26 14:54:20.76 0IrSPSkL.net
山形キチガイジおばさんが現在発狂中のスレ一覧
Inter-universal geometry とABC 予想47
ｽﾚﾘﾝｸ(math板)
172:１３２人目の素数さん
21/12/26 15:01:35.27 +H2+F/q6.net
>>152
元国民的美少女だね、懐かしい
173:１３２人目の素数さん
21/12/26 15:06:28.02 FNv0fRH+.net
私もダメという事になっちゃうんだけど
こういう荒らしに反応するやつは同じ穴のムジナ
って知らないの？
174:１３２人目の素数さん
21/12/26 15:07:08.84 0oeXWpAk.net
山形大学で学生実験中に担当女性准教授に股間を擦り付けたために成績Fとなってしまい准教授と揉めて胸を揉んで奇声を発し学校を飛び出したまま帰って来ず退学になり、発狂して長野県の施設に幽閉され一日中この出来事のフラッシュバックを匿名掲示板に書き込んでいるおじさんがここにも現れましたか？
175:１３２人目の素数さん
21/12/26 15:14:39.19 nb0c5N4O.net
以後スルー
176:１３２人目の素数さん
21/12/26 15:38:45.69 79xWLyXQ.net
>>152
あグロ
177:１３２人目の素数さん
21/12/26 15:39:08.85 JIUqoKph.net
>>152
広末涼子がどうしたって？
178:１３２人目の素数さん
21/12/26 15:51:07.87 79xWLyXQ.net
NG推奨優先順に並べましたが
ランダムで2つNGにするだけで十分有効です
【NGWord推奨(荒らし側が対策困難なもの)】
kakyoukyoutiba
day1-post-meridiem
cml-office
IerWI2I7OREJ
1212628738
1503813609
179:１３２人目の素数さん
21/12/26 15:58:14.10 nb0c5N4O.net
>>164
Buzzardを眺めて
scholzeのPerfectoid spaces と
Condensed mathematicsは形式化
の実験まで行うことができたが、
interested in “the kind ofmathematics
which wins Fields Medals”だけでは
ないだろうw
以前、IUT論文4の謝辞にHoTTの
Voevodskyがあるからと権威つけ
していたが単に名があるとしか思えな
かった。論文は全般にRemarkだらけ
だし定義が不明確だ。
180:１３２人目の素数さん
21/12/26 16:59:28.88 9Wf0wiF5.net
コピペ荒らしが荒らしをするなと主張するスレはここですか？
181:１３２人目の素数さん
21/12/26 17:20:33.23 nb0c5N4O.net
ICM2022がたのしみだ
182:１３２人目の素数さん
21/12/26 17:39:30.79 mupGIypn.net
そういうえば、モッチーはVoevodskyが好きだとか言ってたなぁ
形式証明をやったり、厳密さに対して関心を寄せるVoevodskyとモッチーじゃメンタリティ違うと思ってたから意外だと感じたもんだが
183:１３２人目の素数さん
21/12/26 19:02:31.86 QN3ptV3J.net
Coqとleanはやっぱり似てるね
形式化の論文ってプログラムを長々書き連ねると思っていたけど、形式化するために必要な数学的概念の
分析が中心なんだな
ずっとコンピュータがあったのに今になって急速に抽象数学や無限集合の形式化が進みだしたのが謎だわ
184:１３２人目の素数さん
21/12/26 19:37:09.42 +bocgvwv.net
>ずっとコンピュータがあったのに今になって急速に抽象数学や無限集合の形式化が進みだしたのが謎だわ
世界初のコンピュータ（Zuse Z3） 1941年
無限公理 1908年
185:１３２人目の素数さん
21/12/27 12:19:16.84 d1x7LOBI.net
志甫予想を、望月氏が解決する日も近そうですね
186:１３２人目の素数さん
21/12/27 15:03:01.31 waCrtC8W.net
志甫予想はKedlayaが解決じゃないの
187:１３２人目の素数さん
21/12/27 18:12:05.56 d1x7LOBI.net
KedlayaがIUTを使って解決、かな
188:１３２人目の素数さん
21/12/27 18:20:20.51 KCb1eWFB.net
>KedlayaがIUTを使って解決、かな
IUT? 詳しく教えていただきたい
189:１３２人目の素数さん
21/12/27 18:41:22.14 zuxHUBOI.net
これ
志甫予想を望月(拓郎)氏が解決する
日も近そうですね、
とふつうおもうけどね おしまい
190:１３２人目の素数さん
21/12/27 19:55:32.43 EVnnRw6r.net
絶対に正しい事なら命込みで全財産を担保に入れる事を法的公正証書に主張できる｡
できないならばハッタリである。ハッタリもまた、嘘である｡
また、ハッタリが結果的に正しかった場合もマグレ当たりとして嘘を吐いていた扱いと成る｡
さぁ、命込み全財産を公正証書を下に担保に入れて再主張できるかな？
気違いな要請と言うならば、そもそも毎日毎日ハッタリで盲信したりアンチになったりしてる事からして気違い｡
191:１３２人目の素数さん
21/12/27 19:58:11.66 EVnnRw6r.net
毎日毎日、風説の流布を働く愚か者どもに、高額過料を｡
192:１３２人目の素数さん
21/12/28 00:02:55.44 ZBBsorrQ.net
NHKの次は情熱大陸にも出るんかな、望月さん
193:１３２人目の素数さん
21/12/28 01:24:21.44 NlTwzFAm.net
フランケンシュタインの誘惑
科学史 闇の事件簿 IUT
194:１３２人目の素数さん
21/12/28 08:47:48.28 4m3WSGgU.net
>>173
公人の公開顔写真のURLをNG指定するのは
とても痛々しいね
このURLのひとが犯人と判明 URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com) ※ 上記写真はみなし国家公務員＝国立大学法人職員＝公人の公開イベントで撮影され公開済みの写真でありその「所属機関」と「役職」の目的と使命に鑑みて、これら写真の参照は国民の行政監視の権利を満たしている。
195:１３２人目の素数さん
21/12/28 09:55:46.19 jxA4OISS.net
>>189
即あグロ
196:１３２人目の素数さん
21/12/28 10:03:06.03 0s7XwER9.net
kakyoukyoutiba|day1-post-meridiem|cml-office|IerWI2I7OREJ|1212628738|1503813609
197:１３２人目の素数さん
21/12/28 10:10:01.00 4m3WSGgU.net
長期ネットストーキング荒らし 天羽 優子 @apj とは…
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
21年前からネットハラスメント常習者だった証拠がネット上の各所に残っているネット異常者 (※ ソースはインターネットやネットニュースの公開情報で確認可能)
【特徴1】ソース URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com) ※ 上記写真はみなし国家公務員＝国立大学法人職員＝公人の公開イベントで撮影され公開済みの写真でありその「所属機関」と「役職」の目的と使命に鑑みて、これら写真の参照は国民の行政監視の権利を満たしている。
【事例1】天羽 優子 @apjは21年前からネットハラスメント常習犯として有名
[ソース] fj.soc.law 2000/2/17 17:00のスレッド URLﾘﾝｸ(groups.google.com)
【事例2】天羽 優子 @apjは13年前に自身が担当する実験講義学生を係争相手業者と誤認し誤爆ハラスメント問題を起こし、被害者学生が身元を明かして誤爆だと判明した後もネットハラスメントを継続した
[ソース] 山形大学・天羽准教授による鬱への差別 (過去ログ) URLﾘﾝｸ(itest.5ch.net)
【事例3】自称 天羽 優子 は4年前にレコード大賞受賞者に対し誹謗中傷を行なった末に逆ギレし、親告罪スラップ訴訟恫喝をした。法務省担当部署はそれを、匿名の長期誹謗中傷犯が自身の身元を明かす訴訟を起こすと称する無効な恫喝だと説明した
[ソース] J-WAVE 81.3FM (76) [無断転載禁止](過去ログ) ｽﾚﾘﾝｸ(am板:912番) ｽﾚﾘﾝｸ(am板:925番) ｽﾚﾘﾝｸ(am板:948番)
198:１３２人目の素数さん
21/12/28 10:23:49.92 q9PHXXdY.net
なんだかウィルスに感染したみたいだねw
199:１３２人目の素数さん
21/12/28 10:39:40.42 jxA4OISS.net
>>192
あグロ
200:１３２人目の素数さん
21/12/28 10:39:55.64 RxcYTg6c.net
kakyoukyoutiba|day1-post-meridiem|cml-office|IerWI2I7OREJ|1212628738|1503813609
201:１３２人目の素数さん
21/12/28 11:29:36.89 4m3WSGgU.net
天羽優子に対する著名研究者の評価
1. ゴードン・ベル7回受賞の著名物理学者「『科学的真偽は権威が決める』と主張する天羽優子は科学者とはいえない」
2.天羽と接点のあるKEK黒猫氏「あの人(天羽優子)は他人の心を読み取れないから人間としてどうしようもない」(講義学生誤爆ハラスメント事件へのコメント)
3.信号処理研究者「世の中には学位を取るだけで力を使い果たしその後業績の上がらない人も居るが
今回は学位を取る基本能力がないのに不適切な学位を与えられてしまった人が居ることを知った」
4.化学分野研究者「かの女性(天羽優子)は『自分が理解できないことは排除する』『自分が理解できないことはバカにする』」
皆さん天羽優子の本質をよく理解していらっしゃる
202:１３２人目の素数さん
21/12/28 11:30:20.08 jxA4OISS.net
>>198-200
置きあグロ
203:１３２人目の素数さん
21/12/28 11:30:59.17 4m3WSGgU.net
誇大妄想狂 天羽優子の妄想内容変遷 (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:???
> そもそも貴族の出だから生まれた時点で人の上に立っている 下々の方々は納得いかないだろけどね
次ページ最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
565日前に更新/319 KB
担当:undef