lean でOKと判定されたらもうそれで終わり
そのレベルで問題理解できてないなら口出す資格ない
Interuniversal geometry とABC 予想60
237132人目の素数さん
2026/04/22(水) 15:43:29.12ID:Os6WEszz238132人目の素数さん
2026/04/22(水) 16:20:23.46ID:XbkLiqeX239132人目の素数さん
2026/04/22(水) 18:00:06.60ID:MEimFxIT >>237
>lean でOKと判定されたらもうそれで終わり
そうじゃ無いと思う
確か今回「ブラックボックス」というものは解析してないはず
そこから先しか見てないのでは?
また
leanでOKを出した理由が重要で
もともとあったGAPを「埋めて」OKが出たんならそれはIUT論文にOKが出たとは言えまい
>lean でOKと判定されたらもうそれで終わり
そうじゃ無いと思う
確か今回「ブラックボックス」というものは解析してないはず
そこから先しか見てないのでは?
また
leanでOKを出した理由が重要で
もともとあったGAPを「埋めて」OKが出たんならそれはIUT論文にOKが出たとは言えまい
240132人目の素数さん
2026/04/22(水) 18:05:10.75ID:Ss8labAA ブラックボックスはあくまで予想なので
ブラックボックス自体を証明せねば無意味
ブラックボックス自体を証明せねば無意味
241132人目の素数さん
2026/04/22(水) 19:29:41.62ID:QkP5NW8u242132人目の素数さん
2026/04/22(水) 19:30:32.48ID:QkP5NW8u243132人目の素数さん
2026/04/22(水) 19:31:39.80ID:QkP5NW8u244132人目の素数さん
2026/04/22(水) 19:41:51.61ID:laJRPgUz もっちーはIUT理論のSPOF
そんなの数学でも自然科学でもない
そんなの数学でも自然科学でもない
245132人目の素数さん
2026/04/22(水) 19:51:58.00ID:FiUIv+Zl246132人目の素数さん
2026/04/23(木) 08:49:07.08ID:75ys71KY >でも、逆もまた芯なりってゆうじゃん
いつもそれをアルキメデスの定理と言いながら
碁を打っていた人がいた
いつもそれをアルキメデスの定理と言いながら
碁を打っていた人がいた
247132人目の素数さん
2026/04/23(木) 09:33:08.13ID:0Fgv5+Lm >>233
>・OK判定が出ても
>LANAプロジェクトの誰かがギャップを埋めてOKになった場合は
>ABCは解決だけど当初論文はGAPあり認定で
>LANAプロジェクトが正式なIUT+ABC証明者に?
「フェルマーの定理」も「フェルマー」は証明してないし証明ができていたとも思えないが何百年か経って証明はされた
それと似たような扱いになるかな?
>・OK判定が出ても
>LANAプロジェクトの誰かがギャップを埋めてOKになった場合は
>ABCは解決だけど当初論文はGAPあり認定で
>LANAプロジェクトが正式なIUT+ABC証明者に?
「フェルマーの定理」も「フェルマー」は証明してないし証明ができていたとも思えないが何百年か経って証明はされた
それと似たような扱いになるかな?
248132人目の素数さん
2026/04/23(木) 13:23:53.35ID:xXf9FIuB OK判定が出ると思う専門家は何割くらいいるのか
249132人目の素数さん
2026/04/23(木) 13:30:56.05ID:rdRqClGW MSがブラックボックスでOKとか言いそうな悪寒
250132人目の素数さん
2026/04/24(金) 07:45:14.05ID:f1JEy8xS MSが数学者として有能であることはもちろん否定しないが
だからといってIUTによるABC予想の証明が正しい
ということにはならない
加藤文元がなぜLANAプロジェクトを推進するのかその理由は明確でない
形式化によってIUTの正当性が示されると本気で信じてるのかもしれない
もちろんそれは笑われるようなことではない
ただ、当人が「論文を読めば分かる」としか言わず
肝心な点については一切説明もしない態度をとり続けるのに
その証明の形式化がうまくいくと考えるのは
やはりお目出たいのではないだろうか
だからといってIUTによるABC予想の証明が正しい
ということにはならない
加藤文元がなぜLANAプロジェクトを推進するのかその理由は明確でない
形式化によってIUTの正当性が示されると本気で信じてるのかもしれない
もちろんそれは笑われるようなことではない
ただ、当人が「論文を読めば分かる」としか言わず
肝心な点については一切説明もしない態度をとり続けるのに
その証明の形式化がうまくいくと考えるのは
やはりお目出たいのではないだろうか
251132人目の素数さん
2026/04/24(金) 13:57:18.05ID:hya58jnQ252132人目の素数さん
2026/04/24(金) 16:10:33.88ID:5tHdFtoE253132人目の素数さん
2026/04/24(金) 16:29:27.06ID:f1JEy8xS 加藤文元はMSの友達っていうだけだし
川上に至ってはただの投機家だから
どうふるまおうが知ったこっちゃない
川上に至ってはただの投機家だから
どうふるまおうが知ったこっちゃない
254132人目の素数さん
2026/04/24(金) 17:25:21.54ID:aakqG+UH255132人目の素数さん
2026/04/24(金) 18:22:19.32ID:f1JEy8xS256132人目の素数さん
2026/04/24(金) 20:09:29.61ID:H9IotnuX >>246
ワイよりアホや・・でもワイは碁を打てないけどな www
ワイよりアホや・・でもワイは碁を打てないけどな www
257132人目の素数さん
2026/04/24(金) 20:31:25.84ID:9CJk7Pye258132人目の素数さん
2026/04/24(金) 20:39:44.19ID:f1JEy8xS 加藤文元自身、IUTを理解したいと思ってるから
LANAプロジェクトの推進はその意味では渡りに船だよな
川上はどうころんでも儲かるようにもってけばいいんで
彼自身は別にやりたいとかそういうのはないと思うが
当人じゃないから、ホントのところはわからん(笑)
LANAプロジェクトの推進はその意味では渡りに船だよな
川上はどうころんでも儲かるようにもってけばいいんで
彼自身は別にやりたいとかそういうのはないと思うが
当人じゃないから、ホントのところはわからん(笑)
259132人目の素数さん
2026/04/24(金) 20:42:32.73ID:f1JEy8xS 望月新一がLANAプロジェクトに好意的だったのは正直意外だったが
彼は彼で自分の正当性がこれで示されるとおもったのかな?
ただ実際は、望月新一が当然だとおもっていたことと
形式化のレベルで当然とされることの間に
甚だしいギャップがあったことが露わになると思うね
そしてPSはこういう 「な?俺の言った通りだっただろ?」
彼は彼で自分の正当性がこれで示されるとおもったのかな?
ただ実際は、望月新一が当然だとおもっていたことと
形式化のレベルで当然とされることの間に
甚だしいギャップがあったことが露わになると思うね
そしてPSはこういう 「な?俺の言った通りだっただろ?」
260132人目の素数さん
2026/04/24(金) 20:46:01.50ID:f1JEy8xS 望月新一にとって最悪の事態は、
彼にとって当然だと思ってたことを
そのまま形式化することで
パラドックスが生じると示されること
そしてそのパラドックスに自分の名前が付けられること
「もっちーのパラドックス」
フレーゲですらそんな不名誉にはあずからなかった
(フレーゲの体系に対するパラドックスはラッセルのパラドックスと呼ばれてる)
彼にとって当然だと思ってたことを
そのまま形式化することで
パラドックスが生じると示されること
そしてそのパラドックスに自分の名前が付けられること
「もっちーのパラドックス」
フレーゲですらそんな不名誉にはあずからなかった
(フレーゲの体系に対するパラドックスはラッセルのパラドックスと呼ばれてる)
261132人目の素数さん
2026/04/24(金) 20:47:03.38ID:9CJk7Pye262132人目の素数さん
2026/04/24(金) 20:57:30.64ID:YQdMdgbh それなのに解説本出版していいの?
263132人目の素数さん
2026/04/24(金) 22:02:33.08ID:9CJk7Pye >それなのに解説本出版していいの?
売れてるからいいんじゃねえの? ブンゲン氏的には
LANA記者会見の質疑応答部分で本人が
友人としてIUT理論の内容(お気持ち?)については御大と長年議論してきたけど
技術的な側面については議論してこなかった
って言ってるよ
売れてるからいいんじゃねえの? ブンゲン氏的には
LANA記者会見の質疑応答部分で本人が
友人としてIUT理論の内容(お気持ち?)については御大と長年議論してきたけど
技術的な側面については議論してこなかった
って言ってるよ
264132人目の素数さん
2026/04/25(土) 07:49:49.64ID:hibhSN9C >>250
>加藤文元がなぜLANAプロジェクトを推進するのかその理由は明確でない
それよりKKの方が謎
IUTに明確なアイディアも応用も見えない中で
肯定的なものが少しでも出るなんて考えてるとは思えん
ABC予想の魔力ってやつ?
それに比べればLEAN勢の方の動機は分かりやすい
何かしら一定の結論さえ出せれば手柄に出来るんだから
てゆーか既に注目を集めた時点でもうポイントを稼いでる
>加藤文元がなぜLANAプロジェクトを推進するのかその理由は明確でない
それよりKKの方が謎
IUTに明確なアイディアも応用も見えない中で
肯定的なものが少しでも出るなんて考えてるとは思えん
ABC予想の魔力ってやつ?
それに比べればLEAN勢の方の動機は分かりやすい
何かしら一定の結論さえ出せれば手柄に出来るんだから
てゆーか既に注目を集めた時点でもうポイントを稼いでる
265132人目の素数さん
2026/04/25(土) 08:32:21.69ID:vzWmuHNB KKってキラン・ケドレヤ.Kiran Kedlayaって人?
LEAN界隈がチャレンジする価値は絶大だよね
合否いずれでもちゃんと判断できれば
LEANの有用性を喧伝できるからね
翻ってその人がLANAに参画したのは
・純粋に面白そうだから
・IUTを理解したい理解すれば応用もあるかも
・OK判定できたら物凄い成果になる
・NG判定でもそれはそれで成果になる
からなのでは
LEAN界隈がチャレンジする価値は絶大だよね
合否いずれでもちゃんと判断できれば
LEANの有用性を喧伝できるからね
翻ってその人がLANAに参画したのは
・純粋に面白そうだから
・IUTを理解したい理解すれば応用もあるかも
・OK判定できたら物凄い成果になる
・NG判定でもそれはそれで成果になる
からなのでは
266132人目の素数さん
2026/04/25(土) 11:36:19.79ID:hibhSN9C NG判定ってゆーか
OK決着以外じゃ数学者的には何の成果にもならん
S-Sで決着済みでしたって言われるだけ
そしてOK決着の可能性は限りなく低い
OK決着以外じゃ数学者的には何の成果にもならん
S-Sで決着済みでしたって言われるだけ
そしてOK決着の可能性は限りなく低い
267132人目の素数さん
2026/04/25(土) 12:05:34.79ID:JRuGCYfA268132人目の素数さん
2026/04/25(土) 12:55:15.15ID:tHE5qgse269132人目の素数さん
2026/04/25(土) 13:58:46.66ID:t9LTaJJB >>268
年齢から見ていずれZEN大学学長になると思うね
年齢から見ていずれZEN大学学長になると思うね
270132人目の素数さん
2026/04/25(土) 14:09:55.21ID:tHE5qgse >>269
そんなもんなりたいの?
そんなもんなりたいの?
271132人目の素数さん
2026/04/27(月) 03:41:23.67ID:9Y28SIq1 すぐまた仲違いして
リーン勢を罵倒しながら逃げていくよw
存在しないものに形式化もクソもない
リーン勢を罵倒しながら逃げていくよw
存在しないものに形式化もクソもない
272132人目の素数さん
2026/04/27(月) 03:42:45.80ID:9Y28SIq1 ブンゲンは数学者の肩書を金に変えたんだよ
まあ数学者としてはもう悪魔に魂を売った以上の評価になることはないけど
高値で売れたからビジネスマンとしてのセンスはあったんじゃね 笑
まあ数学者としてはもう悪魔に魂を売った以上の評価になることはないけど
高値で売れたからビジネスマンとしてのセンスはあったんじゃね 笑
273132人目の素数さん
2026/04/27(月) 07:14:54.21ID:OUf36Nzs 現在の話題に関係なくマジで知らないから
知ってたら教えて欲しいんだけど
↓って誰のこと?
「デタラメなこと」は例えばどこで読める?
https://fuchino.ddo.jp/obanoyama.html#20.04.18
>ただ,ひとつ気がかりなのは, 望月氏の結果をしきりに日本の
>メディアでもちあげているらしい人が, かつて,数理論理学について
>間違った,というかまったくデタラメなことを沢山書いていて,
>その訂正を今もって全く何もしていない,ということである.
>この人が「正しい証明はありまぁす」と言っている,ということの
>うさんくささが僕の嫌疑をかきたて,心の平静を乱している.
知ってたら教えて欲しいんだけど
↓って誰のこと?
「デタラメなこと」は例えばどこで読める?
https://fuchino.ddo.jp/obanoyama.html#20.04.18
>ただ,ひとつ気がかりなのは, 望月氏の結果をしきりに日本の
>メディアでもちあげているらしい人が, かつて,数理論理学について
>間違った,というかまったくデタラメなことを沢山書いていて,
>その訂正を今もって全く何もしていない,ということである.
>この人が「正しい証明はありまぁす」と言っている,ということの
>うさんくささが僕の嫌疑をかきたて,心の平静を乱している.
274132人目の素数さん
2026/04/27(月) 07:34:33.07ID:+P/zo5Bq >>273
単純に考えると加藤文元のことかと思うが、彼が
「数理論理学について間違った,というか
まったくデタラメなことを沢山書いた」
事例を一つも知らないので、
実際のところよくわからない
そもそも加藤文元の本など一冊も読んだことないが
単純に考えると加藤文元のことかと思うが、彼が
「数理論理学について間違った,というか
まったくデタラメなことを沢山書いた」
事例を一つも知らないので、
実際のところよくわからない
そもそも加藤文元の本など一冊も読んだことないが
275132人目の素数さん
2026/04/27(月) 10:14:44.58ID:6A+q5Fsd 数学基礎論の人ってなんでこういう人ばかりなんですか?
276132人目の素数さん
2026/04/27(月) 10:22:29.06ID:AfBTtOC6 >>272
バカのドワンゴカドカワと組めると思ってるあたりがやばいw
バカのドワンゴカドカワと組めると思ってるあたりがやばいw
277132人目の素数さん
2026/04/27(月) 10:44:55.25ID:YQmeH4Lf278132人目の素数さん
2026/04/27(月) 12:36:55.08ID:CigjDwSI 山下ゴーのことじゃないの?
あいつの「Q&A」が噴飯物なのは有名
あいつの「Q&A」が噴飯物なのは有名
279132人目の素数さん
2026/04/27(月) 12:52:14.17ID:CigjDwSI 山下ゴーが自称理解者としてカウントされていた
レベルの低さを見る結局IUTを本当に理解してる人は尊師本人も含めて1人もいないんだろう
まあ存在しないものに理解もクソもないが
レベルの低さを見る結局IUTを本当に理解してる人は尊師本人も含めて1人もいないんだろう
まあ存在しないものに理解もクソもないが
280132人目の素数さん
2026/04/27(月) 13:02:55.76ID:+P/zo5Bq やっぱり加藤文元じゃないかと思う
山下剛なんて数学者とみなされてないだろう
山下剛なんて数学者とみなされてないだろう
281132人目の素数さん
2026/04/27(月) 15:22:38.24ID:AfBTtOC6 偽右翼
顔面見たら
朝鮮人
顔面見たら
朝鮮人
282132人目の素数さん
2026/04/27(月) 16:42:33.42ID:6A+q5Fsd ZEN大学はなんで曖昧な言い方しかしないの?
白黒はっきりしろといいたい。
白黒はっきりしろといいたい。
283132人目の素数さん
2026/04/27(月) 18:09:38.43ID:2ZUzS9IW >>273
>メディアでもちあげているらしい人が, かつて,数理論理学について
> かつて,数理論理学について
>間違った,というかまったくデタラメなことを沢山書いていて,
>その訂正を今もって全く何もしていない
・すぐ浮かぶのは、下記の 木村俊一著 『無限のスーパーレッスン』講談社 (2007) のことですが
・だが、木村俊一先生が、望月先生を”もちあげている”は、知らない
・望月先生を”もちあげている”で、浮かぶのは 加藤文元先生だけど
かれは 数理論理学で何か書いていたかな・・?
https://fuchino.ddo.jp/index-j.html
渕野 昌
(抜粋)
『無限のスーパーレッスン』の hyper-critique https://fuchino.ddo.jp/misc/superlesson.pdf
ネットに公開している文書のうちでは,とりあえず,すぐ下でも言及した, 『無限のスーパーレッスン』の hyper-critique のファイルを hyperref 化しました. これは,まあ,タイトルも hyper だから,という冗談でもあるのですが. ちなみに,hyperref 化するにあたって,alphanumeric な文字以外の文字記号を, emacs 上で URL coding するやりかたも勉強したので,日本語まじりの URL についても, ちゃんとリンクができています. たとえば,伯母野山日記 では, 記事のラベルに曜日の漢字が含まれているので,これまで,hyperref 化できていた pdf ファイルでは,うまく hyper-link がはれないでいたのですが,今回 update した, 『無限のスーパーレッスン』の hyper-critique のファイルでは, 伯母野山日記 より前, 一時バルセロナにん住んでいたときに書いていた バルセロナ日記に書いたバナッハ=タルスキーの定理に関する記事 (ここでもラベルに曜日の漢字が含まれています) へのリンクもちゃんと辿れるものになっています.
◆ 伯母野山日記 に数学者の書く数学論が陥ることの多い誤謬に関連したことを書いていみました. この種の議論は 『無限のスーパーレッスン』の hyper-critique でももう散々書いたとも言えるのですが, 一向に改善の余地が見られないので, 当事者が全員これを理解するか地球を去るかするまで, 手をかえ品をかえ説明し続けなければならないのかと思うとちょっと憂鬱な気分になってきます.
◆ 木村俊一著 『無限のスーパーレッスン』講談社 (2007) を精読しています. どうやったらこの本に書いてはるような, 壮大な誤解に至 (ってさらにそれを出版までしてしまう) ことができるのかを分析してみたいと思って始めたのですが, これは,ちょっとのめり込みすぎてまったきらいもあります. これまでの分析とその解説を含めたものを ここ にリンクしておきます. まだ半分くらいしか書きあげてなくて, 最終版は40ページを越えるものになると思います (15.02.23(月03:29(CET)) の時点では40ページを越えていますが, 関連の話題を更にいくつか盛り込むことを考えだしたため, 最終版は60ページを越えることになりそうです). いずれにしても近いうちに直接ご本人にお話を伺えればと思っています.
>メディアでもちあげているらしい人が, かつて,数理論理学について
> かつて,数理論理学について
>間違った,というかまったくデタラメなことを沢山書いていて,
>その訂正を今もって全く何もしていない
・すぐ浮かぶのは、下記の 木村俊一著 『無限のスーパーレッスン』講談社 (2007) のことですが
・だが、木村俊一先生が、望月先生を”もちあげている”は、知らない
・望月先生を”もちあげている”で、浮かぶのは 加藤文元先生だけど
かれは 数理論理学で何か書いていたかな・・?
https://fuchino.ddo.jp/index-j.html
渕野 昌
(抜粋)
『無限のスーパーレッスン』の hyper-critique https://fuchino.ddo.jp/misc/superlesson.pdf
ネットに公開している文書のうちでは,とりあえず,すぐ下でも言及した, 『無限のスーパーレッスン』の hyper-critique のファイルを hyperref 化しました. これは,まあ,タイトルも hyper だから,という冗談でもあるのですが. ちなみに,hyperref 化するにあたって,alphanumeric な文字以外の文字記号を, emacs 上で URL coding するやりかたも勉強したので,日本語まじりの URL についても, ちゃんとリンクができています. たとえば,伯母野山日記 では, 記事のラベルに曜日の漢字が含まれているので,これまで,hyperref 化できていた pdf ファイルでは,うまく hyper-link がはれないでいたのですが,今回 update した, 『無限のスーパーレッスン』の hyper-critique のファイルでは, 伯母野山日記 より前, 一時バルセロナにん住んでいたときに書いていた バルセロナ日記に書いたバナッハ=タルスキーの定理に関する記事 (ここでもラベルに曜日の漢字が含まれています) へのリンクもちゃんと辿れるものになっています.
◆ 伯母野山日記 に数学者の書く数学論が陥ることの多い誤謬に関連したことを書いていみました. この種の議論は 『無限のスーパーレッスン』の hyper-critique でももう散々書いたとも言えるのですが, 一向に改善の余地が見られないので, 当事者が全員これを理解するか地球を去るかするまで, 手をかえ品をかえ説明し続けなければならないのかと思うとちょっと憂鬱な気分になってきます.
◆ 木村俊一著 『無限のスーパーレッスン』講談社 (2007) を精読しています. どうやったらこの本に書いてはるような, 壮大な誤解に至 (ってさらにそれを出版までしてしまう) ことができるのかを分析してみたいと思って始めたのですが, これは,ちょっとのめり込みすぎてまったきらいもあります. これまでの分析とその解説を含めたものを ここ にリンクしておきます. まだ半分くらいしか書きあげてなくて, 最終版は40ページを越えるものになると思います (15.02.23(月03:29(CET)) の時点では40ページを越えていますが, 関連の話題を更にいくつか盛り込むことを考えだしたため, 最終版は60ページを越えることになりそうです). いずれにしても近いうちに直接ご本人にお話を伺えればと思っています.
284132人目の素数さん
2026/04/28(火) 10:16:16.16ID:nCY52sYX >>283 追加
結論からいうと
渕野先生が主張するのは
メディアでもちあげているらしい人
↓
メディアでもちあげているらしい人たち(多くの基礎論の勉強の足りない日本の数学者たち)
と読める
<根拠>
関連する(かもしれない)他のエントリーが二つ
渕野先生先生が言っている
”「平均」がおそろしく低い”
”それで,数理論理学や集合論をどこでも勉強したことのない数学者が, 彼らの言うところの 「数学基礎論」に関連する話題で, 自分の分野では感じることの少なくなっている大きな直感からの乖離に直面して, それを,論理学や集合論の体系が矛盾している,と誤認してしまうことが多いのだろう”
とあるから、おそらくは特定の個人ということではないだろう
下記「矛盾まみれの数学」の最後の
『しかし,これは,上で述べたような経験や数多くの似たような体験を思い出すと, なかなか難しいことかもしれない.... と考えると,かなり絶望的な気分になってくる』
と同じ趣旨でしょうね
では お後が宜しいようで
(参考)
<関連する(かもしれない)他のエントリー二つ>
https://fuchino.ddo.jp/obanoyama.html
渕野 昌
” abc 予想の証明はありまぁす。”
https://fuchino.ddo.jp/obanoyama.html#19.04.27
ここでヒルベルトが, たとえ矛盾まみれであっても, 集合論という「楽園」の存在を固く信じていたことが思い起こされる,
https://fuchino.ddo.jp/obanoyama.html#19.04.10
矛盾まみれの数学
読むと
『一つ前の記事でも書いたように, この表明は,数理論理学の正しい知識を持っている人が見たときには,ナンセンスとしか言いようがないのだが, そのような表明が,現在でも絶版にならず (つまり版木を割ることなしに) 流通している出版物に書かれている,ということは, そのナンセンスさや「痛さ」を理解できるためには,平均以上の知性や予備知識が必要となる, ということなのかもしれない.つまり,そうだとすると,この「平均」がおそろしく低いということだろう.』
『論理学で,ある体系が 「矛盾する」と言ったときには, その体系から, ある命題 φ とその命題の否定 ¬ φ の両方が (論理的に) 導けてしまうことを言う.しかし, 多くの人は,ある体系から,その人の直感的理解に反する結論が導けてしまうことと, その体系が矛盾していることを混同してしまうようである.
数学者は論理的な推論から自分の直感と異なる結論が導けてしまう, という体験をたくさん積んでいるはずなのだが, 自分の専門分野では, そのような体験を段階的に積みながら自分の数学的直感の方も少しずつ修正していっているので, 逆にプロの数学者は,それを体系の矛盾と混同してしまうような,自己の 「数学的直感」と数学の間の乖離を経験することがほとんどなくなってしまっているのかもしれない.
それで,数理論理学や集合論をどこでも勉強したことのない数学者が, 彼らの言うところの 「数学基礎論」に関連する話題で, 自分の分野では感じることの少なくなっている大きな直感からの乖離に直面して, それを,論理学や集合論の体系が矛盾している,と誤認してしまうことが多いのだろう』
結論からいうと
渕野先生が主張するのは
メディアでもちあげているらしい人
↓
メディアでもちあげているらしい人たち(多くの基礎論の勉強の足りない日本の数学者たち)
と読める
<根拠>
関連する(かもしれない)他のエントリーが二つ
渕野先生先生が言っている
”「平均」がおそろしく低い”
”それで,数理論理学や集合論をどこでも勉強したことのない数学者が, 彼らの言うところの 「数学基礎論」に関連する話題で, 自分の分野では感じることの少なくなっている大きな直感からの乖離に直面して, それを,論理学や集合論の体系が矛盾している,と誤認してしまうことが多いのだろう”
とあるから、おそらくは特定の個人ということではないだろう
下記「矛盾まみれの数学」の最後の
『しかし,これは,上で述べたような経験や数多くの似たような体験を思い出すと, なかなか難しいことかもしれない.... と考えると,かなり絶望的な気分になってくる』
と同じ趣旨でしょうね
では お後が宜しいようで
(参考)
<関連する(かもしれない)他のエントリー二つ>
https://fuchino.ddo.jp/obanoyama.html
渕野 昌
” abc 予想の証明はありまぁす。”
https://fuchino.ddo.jp/obanoyama.html#19.04.27
ここでヒルベルトが, たとえ矛盾まみれであっても, 集合論という「楽園」の存在を固く信じていたことが思い起こされる,
https://fuchino.ddo.jp/obanoyama.html#19.04.10
矛盾まみれの数学
読むと
『一つ前の記事でも書いたように, この表明は,数理論理学の正しい知識を持っている人が見たときには,ナンセンスとしか言いようがないのだが, そのような表明が,現在でも絶版にならず (つまり版木を割ることなしに) 流通している出版物に書かれている,ということは, そのナンセンスさや「痛さ」を理解できるためには,平均以上の知性や予備知識が必要となる, ということなのかもしれない.つまり,そうだとすると,この「平均」がおそろしく低いということだろう.』
『論理学で,ある体系が 「矛盾する」と言ったときには, その体系から, ある命題 φ とその命題の否定 ¬ φ の両方が (論理的に) 導けてしまうことを言う.しかし, 多くの人は,ある体系から,その人の直感的理解に反する結論が導けてしまうことと, その体系が矛盾していることを混同してしまうようである.
数学者は論理的な推論から自分の直感と異なる結論が導けてしまう, という体験をたくさん積んでいるはずなのだが, 自分の専門分野では, そのような体験を段階的に積みながら自分の数学的直感の方も少しずつ修正していっているので, 逆にプロの数学者は,それを体系の矛盾と混同してしまうような,自己の 「数学的直感」と数学の間の乖離を経験することがほとんどなくなってしまっているのかもしれない.
それで,数理論理学や集合論をどこでも勉強したことのない数学者が, 彼らの言うところの 「数学基礎論」に関連する話題で, 自分の分野では感じることの少なくなっている大きな直感からの乖離に直面して, それを,論理学や集合論の体系が矛盾している,と誤認してしまうことが多いのだろう』
285132人目の素数さん
2026/04/28(火) 10:24:56.89ID:uC72Gl1k 渕野さんの研究業績は何ですか?
286132人目の素数さん
2026/04/28(火) 15:48:28.33ID:Xdv09Z74 >>285
そいつ叩いてもくそIUTの現実は変わらないw
そいつ叩いてもくそIUTの現実は変わらないw
287132人目の素数さん
2026/04/28(火) 16:16:07.92ID:FL05yH0R 望月の取り巻き人事を許しつづけた数理研の人事も死に恥では?
ゴーなんてコジキみたいな格好で太々しくウロウロしてるだけで何もしてねえぞ
ゴーなんてコジキみたいな格好で太々しくウロウロしてるだけで何もしてねえぞ
288132人目の素数さん
2026/04/28(火) 20:10:31.24ID:gv7s5IGd289132人目の素数さん
2026/04/28(火) 22:08:31.41ID:LQ7jRAix >>288
>明らかに特定の個人を念頭に置いています
>>273より
https://fuchino.ddo.jp/obanoyama.html#20.04.18
>ただ,ひとつ気がかりなのは, 望月氏の結果をしきりに日本の
>メディアでもちあげているらしい人が, かつて,数理論理学について
>間違った,というかまったくデタラメなことを沢山書いていて,
>その訂正を今もって全く何もしていない,ということである.
>この人が「正しい証明はありまぁす」と言っている,ということの
>うさんくささが僕の嫌疑をかきたて,心の平静を乱している.
集合A:={望月氏の結果をしきりに日本のメディアでもちあげているらしい人}
集合B:={かつて,数理論理学について間違った,というかまったくデタラメなことを沢山書いていて,その訂正を今もって全く何もしていない人}
集合C:={「正しい証明はありまぁす」と言っている人}
日本人に限定して
”その特定の個人 ∈ A∩B∩C ”
もし
・加藤文元氏 集合Aと集合Cには含まれるが、集合Bが疑問
・黒川先生も 集合Bが疑問(なお 「正しい証明はありまぁす」までは、断定していない)
じゃないか?
なので
IUTヨイショの先生たちは、集合Bが疑問だと思うよ
一方
集合Bを満たす人は、集合Aと集合Cを満たさない
>明らかに特定の個人を念頭に置いています
>>273より
https://fuchino.ddo.jp/obanoyama.html#20.04.18
>ただ,ひとつ気がかりなのは, 望月氏の結果をしきりに日本の
>メディアでもちあげているらしい人が, かつて,数理論理学について
>間違った,というかまったくデタラメなことを沢山書いていて,
>その訂正を今もって全く何もしていない,ということである.
>この人が「正しい証明はありまぁす」と言っている,ということの
>うさんくささが僕の嫌疑をかきたて,心の平静を乱している.
集合A:={望月氏の結果をしきりに日本のメディアでもちあげているらしい人}
集合B:={かつて,数理論理学について間違った,というかまったくデタラメなことを沢山書いていて,その訂正を今もって全く何もしていない人}
集合C:={「正しい証明はありまぁす」と言っている人}
日本人に限定して
”その特定の個人 ∈ A∩B∩C ”
もし
・加藤文元氏 集合Aと集合Cには含まれるが、集合Bが疑問
・黒川先生も 集合Bが疑問(なお 「正しい証明はありまぁす」までは、断定していない)
じゃないか?
なので
IUTヨイショの先生たちは、集合Bが疑問だと思うよ
一方
集合Bを満たす人は、集合Aと集合Cを満たさない
290132人目の素数さん
2026/04/28(火) 22:39:37.66ID:FL05yH0R ごちゃごちゃ考えず本人にメールで聞いてみろよ w
291132人目の素数さん
2026/04/28(火) 23:47:38.82ID:j1IQjq9G292132人目の素数さん
2026/04/29(水) 12:05:59.24ID:sHbss7Yu 加藤文元がクズであることは事実だけど
明確に自分が理解してないって表明してるのもあの一味ではこいつくらいではある。
まあ単なる逃げ道の確保なんだろうけれど。
明確に自分が理解してないって表明してるのもあの一味ではこいつくらいではある。
まあ単なる逃げ道の確保なんだろうけれど。
293132人目の素数さん
2026/04/29(水) 12:31:55.37ID:kB0LXaYH アカデミックな家系を自慢してたけど
そんな家からもあんな下品で下劣で下賤な金の亡者が出てくるのは笑えるな w
そんな家からもあんな下品で下劣で下賤な金の亡者が出てくるのは笑えるな w
294132人目の素数さん
2026/04/29(水) 12:40:57.65ID:5JC2oKtA 加藤さんをこき下ろす人が居ますが
邪推に過ぎませんかね
IUT自体が正しい可能性もあるわけですし
その啓蒙書を書きちゃんと検証しようと
プロジェクトも動かしているんですから
IUTに対する態度は真摯だと思いますけどね
啓蒙書を書いたのはずいぶん前ですから
今はOKNGどっちサイドにも付いてないのでは?
邪推に過ぎませんかね
IUT自体が正しい可能性もあるわけですし
その啓蒙書を書きちゃんと検証しようと
プロジェクトも動かしているんですから
IUTに対する態度は真摯だと思いますけどね
啓蒙書を書いたのはずいぶん前ですから
今はOKNGどっちサイドにも付いてないのでは?
295132人目の素数さん
2026/04/29(水) 12:42:36.39ID:KoE9+K4T 加藤さんは圏論の入門書で見直しました。
296132人目の素数さん
2026/04/29(水) 13:03:08.59ID:RSo64XJc297132人目の素数さん
2026/04/29(水) 14:00:54.15ID:Vg3z6fO5298132人目の素数さん
2026/04/29(水) 14:02:05.17ID:Vg3z6fO5 ドワンゴ学園補助金利害関係者じゃんしかもw
299132人目の素数さん
2026/04/29(水) 17:09:44.76ID:n3oCVqg6 >>294
同意
>IUT自体が正しい可能性もあるわけですし
加藤さんは、IUTは正しい可能性が高いと思っていることだろう
>ちゃんと検証しようと
>プロジェクトも動かしているんですから
>IUTに対する態度は真摯だと思いますけどね
まあ、数学者として 真っ当な姿勢だよね
当たり前だが
>今はOKNGどっちサイドにも付いてないのでは?
多分彼の心の重心は OKの方に残っていると思う
(対外的には 公平性に疑いが係らないように発言に気をつけているみたり)
仮に、軽微なギャップなら 埋めることができるだろう
例えば、望月氏自身 過去2012年10月、ヴェッセリン・ディミトロフ[11]とアクシェイ・ヴェンカテシュの指摘で
一旦 非明示公式に後退したけど、2022年の5人論文で 明示公式に復帰
今回も もしギャップあっても そうなる確率が高いと思う
そもそも、ギャップなしで通る可能性も高い
同意
>IUT自体が正しい可能性もあるわけですし
加藤さんは、IUTは正しい可能性が高いと思っていることだろう
>ちゃんと検証しようと
>プロジェクトも動かしているんですから
>IUTに対する態度は真摯だと思いますけどね
まあ、数学者として 真っ当な姿勢だよね
当たり前だが
>今はOKNGどっちサイドにも付いてないのでは?
多分彼の心の重心は OKの方に残っていると思う
(対外的には 公平性に疑いが係らないように発言に気をつけているみたり)
仮に、軽微なギャップなら 埋めることができるだろう
例えば、望月氏自身 過去2012年10月、ヴェッセリン・ディミトロフ[11]とアクシェイ・ヴェンカテシュの指摘で
一旦 非明示公式に後退したけど、2022年の5人論文で 明示公式に復帰
今回も もしギャップあっても そうなる確率が高いと思う
そもそも、ギャップなしで通る可能性も高い
300132人目の素数さん
2026/04/29(水) 17:11:27.86ID:n3oCVqg6 >>299
(対外的には 公平性に疑いが係らないように発言に気をつけているみたり)
↓
(対外的には 公平性に疑いがかからないように発言に気をつけているみたい)
(対外的には 公平性に疑いが係らないように発言に気をつけているみたり)
↓
(対外的には 公平性に疑いがかからないように発言に気をつけているみたい)
301132人目の素数さん
2026/04/29(水) 18:04:30.93ID:b03b4AVZ >>299
加藤文元がLANAプロジェクトを立ち上げたことの
彼の数学者としての良心を感じると言っておこう
ただ結果は彼の思惑とは逆になるだろうけど
おそらく、MSが集合論で出来ると思ってることと
実際に集合論で出来ることの間におもいっきり
クレバスがあるんだとおもうね
そこでフッチーノ氏がこういうわけだ
「いわんこっちゃない 集合論研究者以外の数学者は集合論を舐めてる」
加藤文元がLANAプロジェクトを立ち上げたことの
彼の数学者としての良心を感じると言っておこう
ただ結果は彼の思惑とは逆になるだろうけど
おそらく、MSが集合論で出来ると思ってることと
実際に集合論で出来ることの間におもいっきり
クレバスがあるんだとおもうね
そこでフッチーノ氏がこういうわけだ
「いわんこっちゃない 集合論研究者以外の数学者は集合論を舐めてる」
302132人目の素数さん
2026/04/29(水) 18:07:24.54ID:b03b4AVZ MSはブラックボックスができたことで成功と考えてるみたい
あとは集合論でブラックボックスが作れるといえばいいだけだ、と
まあ、そこが大いなる勘違いだったと分かるのに時間はかからないだろう
MSは自分の勘違いを認めないだろうけどね
世田(仮称)君がそうであるように
自己愛を肥大させちゃった残念な人の末路はいつも哀しい
あとは集合論でブラックボックスが作れるといえばいいだけだ、と
まあ、そこが大いなる勘違いだったと分かるのに時間はかからないだろう
MSは自分の勘違いを認めないだろうけどね
世田(仮称)君がそうであるように
自己愛を肥大させちゃった残念な人の末路はいつも哀しい
303132人目の素数さん
2026/04/29(水) 18:09:41.28ID:b03b4AVZ 今後ありそうな展開
MSが集合論について
いかにおめでたい勘違いをしていたかについて
フッチーノ氏が長文を書きまくる
それでもMSの論文に比べたら全然短いだろうけど(笑)
MSが集合論について
いかにおめでたい勘違いをしていたかについて
フッチーノ氏が長文を書きまくる
それでもMSの論文に比べたら全然短いだろうけど(笑)
304132人目の素数さん
2026/04/29(水) 18:15:07.85ID:bpskCBOF305132人目の素数さん
2026/04/29(水) 18:18:35.94ID:KoE9+K4T 渕野さんの研究業績について教えてください。
306132人目の素数さん
2026/04/29(水) 18:35:04.86ID:OIpzDAnQ アマチュアぬき部外者が好き勝手に批判しといて、論文をまともに読んでいなかったら呆れるわ。
307132人目の素数さん
2026/04/29(水) 18:35:26.51ID:OIpzDAnQ アマチュアの部外者ね
308132人目の素数さん
2026/04/29(水) 18:44:40.08ID:bpskCBOF そうかな
論文内容について理解はできない人が数学者でもほとんどだと思うけど
数学界に受け入れられていないことは分かっている人がほとんどでは?
批判というのは受け入れられるようにするための行動に対するものかと思うけどね
論文内容について理解はできない人が数学者でもほとんどだと思うけど
数学界に受け入れられていないことは分かっている人がほとんどでは?
批判というのは受け入れられるようにするための行動に対するものかと思うけどね
309132人目の素数さん
2026/04/29(水) 18:56:47.77ID:PQJYY4ka 学術論文って著者に説明責任があるもんだと思い込んでたわ
310132人目の素数さん
2026/04/29(水) 19:53:54.57ID:Y43SwHHT 2019年4月25日査読中。
川上量生企画.望月新一監修.加藤文元著 「宇宙と宇宙をつなぐ数学IUT理論の 衝撃」=(文元IUT本)。
scholz stixレポートへ回答書で、
IUT論文を受理した2020年2月後の2021年 訪問滞在型研究 「宇宙際タイヒミュー ラー理論の拡がり」でも公式本。
フェセンコによればベストセラーの
文元IUT本を早く英訳して欲しい 。
・望月新一監修について 。
「おわりにかえて.川上量生p294
>日本で出したことのメリットとしては、望月先生と個人的にも親交の深い文元 先生に書いていただけたこと、 望月先生自身にも内容を監修して いただけたことがあります。」
・望月新一加藤文元のセミナー。
望月新一.加藤文元両氏は開発
途中の段階にあったIUT理論を
議論するために2005年7月から
2011年2月15日までセミナーを
行った。
最後のセミナーでIUT理論の
「主定理」を議論した。
川上量生企画.望月新一監修.加藤文元著 「宇宙と宇宙をつなぐ数学IUT理論の 衝撃」=(文元IUT本)。
scholz stixレポートへ回答書で、
IUT論文を受理した2020年2月後の2021年 訪問滞在型研究 「宇宙際タイヒミュー ラー理論の拡がり」でも公式本。
フェセンコによればベストセラーの
文元IUT本を早く英訳して欲しい 。
・望月新一監修について 。
「おわりにかえて.川上量生p294
>日本で出したことのメリットとしては、望月先生と個人的にも親交の深い文元 先生に書いていただけたこと、 望月先生自身にも内容を監修して いただけたことがあります。」
・望月新一加藤文元のセミナー。
望月新一.加藤文元両氏は開発
途中の段階にあったIUT理論を
議論するために2005年7月から
2011年2月15日までセミナーを
行った。
最後のセミナーでIUT理論の
「主定理」を議論した。
311132人目の素数さん
2026/04/29(水) 19:58:33.25ID:kB0LXaYH 結局望月真理教の言ってたことは嘘ばかりだったわけだな
312132人目の素数さん
2026/04/29(水) 20:02:25.19ID:Y43SwHHT >>310
続き
1刊行によせて p7-p11
IUT理論提唱者望月新一(京大教授)
「より詳細な解説は本文に譲ります」p7
>IUTTでは、この足し算と掛け算の間にある「底なしに固いはの関係」を解体して変形を施すだけでなく、様々な 「緩み」=「不定性」が必然的に付随 してしまう、 「ゆるゆる」な状態で復元するのです。
言い換えれば、復元後の、足し算
と掛け算の関係というのは、
本来の固い関係そのものでなく、
本来の固い関係に対する「一種類の 近似」でしかありません。
>「底なしに固い」とされていた
概念的な構造の中に、
実は何らかの「不可避の内在的な緩み =「不定性」が存在するという発見 =発想の転換を軸に考えると、 次のような事例が頭に浮かびます。
>量子力学の場合、素粒子の力学
は、一つの固定された数学的
な仕組み(=古典力学に出てくる
ような微分方程式等)によって完全に決定されるものでなく、いわゆる「不確定性原理」に代表されるように、 様々な可能性に対する確率論的な分布という形でしか計算することができない、必然的かつ内在的な「不定性」を抱えている性質のものであることが、
理論の中心的な主張となっている
続き
1刊行によせて p7-p11
IUT理論提唱者望月新一(京大教授)
「より詳細な解説は本文に譲ります」p7
>IUTTでは、この足し算と掛け算の間にある「底なしに固いはの関係」を解体して変形を施すだけでなく、様々な 「緩み」=「不定性」が必然的に付随 してしまう、 「ゆるゆる」な状態で復元するのです。
言い換えれば、復元後の、足し算
と掛け算の関係というのは、
本来の固い関係そのものでなく、
本来の固い関係に対する「一種類の 近似」でしかありません。
>「底なしに固い」とされていた
概念的な構造の中に、
実は何らかの「不可避の内在的な緩み =「不定性」が存在するという発見 =発想の転換を軸に考えると、 次のような事例が頭に浮かびます。
>量子力学の場合、素粒子の力学
は、一つの固定された数学的
な仕組み(=古典力学に出てくる
ような微分方程式等)によって完全に決定されるものでなく、いわゆる「不確定性原理」に代表されるように、 様々な可能性に対する確率論的な分布という形でしか計算することができない、必然的かつ内在的な「不定性」を抱えている性質のものであることが、
理論の中心的な主張となっている
313132人目の素数さん
2026/04/29(水) 20:05:18.61ID:Vg3z6fO5314132人目の素数さん
2026/04/29(水) 20:09:57.44ID:Vg3z6fO5 >>310
ほんとダラダラ中身ねー知的障害ジジイだなてめえは
ほんとダラダラ中身ねー知的障害ジジイだなてめえは
315132人目の素数さん
2026/04/29(水) 20:11:21.37ID:Vg3z6fO5 やっぱ凡人が考える天才の真似
天才のハッタリって言ったら
形から入るよなあ
コジキのコスプレとか
天才のハッタリって言ったら
形から入るよなあ
コジキのコスプレとか
316132人目の素数さん
2026/04/29(水) 22:30:20.94ID:Y43SwHHT >>312
続き
本文 P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。
・本文 P40
>IUT理論のように、あまりにも
新奇で斬新なものだったりすると
、通常の言葉に翻訳するには
多くの言葉や概念を巧みな比喩を
用いて説明するしかありません。
「宇宙間航行」や「異なる宇宙の間の通信」などという、ちょっと奇想天外なSF用語にも聞こえる言葉を大真面目に 使用するしかなくなります。
・本文 P45
「テータリンクは、かけ算系のモノイドと、抽象的な群としての局所的なガロア群だけで構成し、その「モノイド+群」というデータから「たし算」を<復元>すること、つまり、復元しようとしたとき、どれくらいのひずみが発生するかを計算することが理論のポイントです」
こういう感じの説明は望月教授本人も様々な機会におこなってきま
した。
この説明自体は、例えば遠アーベル幾何学などの既存の数学の枠内で解釈できる話ですから、 ただの比喩でなく十分に
数学的な言説であるといえます。
・本文 IUT語 p51
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている」
続き
本文 P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。
・本文 P40
>IUT理論のように、あまりにも
新奇で斬新なものだったりすると
、通常の言葉に翻訳するには
多くの言葉や概念を巧みな比喩を
用いて説明するしかありません。
「宇宙間航行」や「異なる宇宙の間の通信」などという、ちょっと奇想天外なSF用語にも聞こえる言葉を大真面目に 使用するしかなくなります。
・本文 P45
「テータリンクは、かけ算系のモノイドと、抽象的な群としての局所的なガロア群だけで構成し、その「モノイド+群」というデータから「たし算」を<復元>すること、つまり、復元しようとしたとき、どれくらいのひずみが発生するかを計算することが理論のポイントです」
こういう感じの説明は望月教授本人も様々な機会におこなってきま
した。
この説明自体は、例えば遠アーベル幾何学などの既存の数学の枠内で解釈できる話ですから、 ただの比喩でなく十分に
数学的な言説であるといえます。
・本文 IUT語 p51
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている」
317132人目の素数さん
2026/04/29(水) 22:39:21.88ID:Vg3z6fO5318132人目の素数さん
2026/04/29(水) 22:53:06.44ID:Y43SwHHT >望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。
話したことがない、新しい言語を
用いて理論を組み立てました。
319132人目の素数さん
2026/04/30(木) 10:42:12.87ID:Vf35akF/ >>309
それで正しいよ。普通の数学研究者が同じような態度してたら普通にリジェクト食らうだけだから。
それで正しいよ。普通の数学研究者が同じような態度してたら普通にリジェクト食らうだけだから。
320132人目の素数さん
2026/04/30(木) 10:58:57.94ID:X8ilCd65 投稿からアクセプトまで数年かかった途中のやりとりも公開して欲しいね
最初は普通にリジェクトしたんじゃないだろうか
最初は普通にリジェクトしたんじゃないだろうか
321132人目の素数さん
2026/04/30(木) 10:59:15.48ID:4/EeZ5K7322132人目の素数さん
2026/04/30(木) 11:51:30.50ID:EBK3K76g これさあ
みんな黙ってるけど
「IUTで他のやり方」したら別の不等式出てきちゃうだろw
みんな黙ってるけど
「IUTで他のやり方」したら別の不等式出てきちゃうだろw
323132人目の素数さん
2026/04/30(木) 12:41:34.08ID:4/EeZ5K7 >>322
IUTで任意の結果が出せるパラドックスの悪寒
IUTで任意の結果が出せるパラドックスの悪寒
324132人目の素数さん
2026/04/30(木) 14:18:03.19ID:S99WZmyg え?そうなん?じゃあ矛盾が出るってこと??
325132人目の素数さん
2026/04/30(木) 15:45:34.90ID:LJEqKXkp 残りの人生嘘つき続けるしかないってどんな気分?取り巻きどもよw
326132人目の素数さん
2026/04/30(木) 17:16:27.20ID:9m1CyGZY 慌てる乞食は貰いが少ない 2026年7月17日を待て
https://zen.ac.jp/news/zmcpostevent0331
2026/03/31 プレスリリース ZEN大学
IUT(宇宙際タイヒミューラー)理論のコンピューターによる検証を目指すZEN数学センターの新プロジェクト「LANA」を発表 世界3大学による国際共同研究として始動
2026年7月17日 LANAプロジェクトに関して、活動の中間報告記者発表を予定しています。IUT理論の検証について、その時点での検証結果を詳しく公表する計画です
https://youtu.be/2jgBBw6XjQ4?t=218
ZEN数学センター IUT理論の計算機検証に関する新プロジェクト「LANA」発表 ニコニコニュース 2026/03/31
【概要】
日時:2026年3月31日 若山正人(ZEN大学長)、加藤文元(ZEN大学教授)他
コメント
@saburousaitoh
3 週間前
素晴らしい研究計画ですね。 真相が明かにされるのは 時間の問題と期待されますが、是非に及ばず、方法が 今後の数学のあり様に 甚大な貢献がなされると期待されますね。これを機会に 日本の数学界が 新しい時代に後れを取らないように期待したい
https://www.kurims.kyoto-u.ac.jp/~motizuki/news-japanese.html
望月新一
https://www.kurims.kyoto-u.ac.jp/~motizuki/Formalization%20of%20IUT%20(2026-04).pdf
ON THE FORMALIZATION OF IUT: A PRELIMINARY PROGRESS REPORT [JOINT WORK IN PROGRESS WITH Y. HOSHI, G. YAMASHITA, Y. YANG, ] Shinichi Mochizuki (RIMS, Kyoto University) April 2026
P2
§1. Lean formalization ( LeanForm) as a communication tool
P4
§2.First steps toward the LeanForm of IUT
The main strategy for the LeanForm of IUT:
Stage 1: [IUTchIII] Theorem 3.11 => Corollary 3.12 (since this has received the most public attention!)
Stage 2: Proof of [IUTchIII] Theorem 3.11 modulo [IUTchI-II]
Stage 3: [IUTchI-II] modulo earlier results (1995- 2015) on anabelian geometry/Frobenioids/theta functions, etc.
Stage 4: Earlier results (1995- 2015): [pGC], [GeoAn], [AbsAnb], [NCBel], [AbSc], [SemiAn], [QuCnf], [CbGC], [Con g], [FrdI-II], [EtTh], [GenEll], [NodNon], [AbsTopI-III]
Stage 5: Numerical aspects ([IUTchIV], [ExpEst])
(We are currently in the early skeletal portion of Stage 1.)
P6
§3.Brief review of inter-universal Teichmuller theory (IUT)
P9
§4.Skeletal Lean code for 3.11.5 => 3.12
P11
We chose to concentrate on this aspect of the theory rst since this aspect of the theory i.e., Stage 1: [IUTchIII] Theorem 3.11 => Corollary 3.12 (cf. the discussion at the beginning of 2) hasreceived the most public attention. Indeed, this aspect corresponds to the essential nontrivial content of the theory, i.e., that the height of the elliptic curve under consideration is equal to N times the height of the elliptic curve (where N is a large positive number), up to a small discrepancy (arising from (Ind1,2,3) + hull), thus implying a bound on the height.
https://zen.ac.jp/news/zmcpostevent0331
2026/03/31 プレスリリース ZEN大学
IUT(宇宙際タイヒミューラー)理論のコンピューターによる検証を目指すZEN数学センターの新プロジェクト「LANA」を発表 世界3大学による国際共同研究として始動
2026年7月17日 LANAプロジェクトに関して、活動の中間報告記者発表を予定しています。IUT理論の検証について、その時点での検証結果を詳しく公表する計画です
https://youtu.be/2jgBBw6XjQ4?t=218
ZEN数学センター IUT理論の計算機検証に関する新プロジェクト「LANA」発表 ニコニコニュース 2026/03/31
【概要】
日時:2026年3月31日 若山正人(ZEN大学長)、加藤文元(ZEN大学教授)他
コメント
@saburousaitoh
3 週間前
素晴らしい研究計画ですね。 真相が明かにされるのは 時間の問題と期待されますが、是非に及ばず、方法が 今後の数学のあり様に 甚大な貢献がなされると期待されますね。これを機会に 日本の数学界が 新しい時代に後れを取らないように期待したい
https://www.kurims.kyoto-u.ac.jp/~motizuki/news-japanese.html
望月新一
https://www.kurims.kyoto-u.ac.jp/~motizuki/Formalization%20of%20IUT%20(2026-04).pdf
ON THE FORMALIZATION OF IUT: A PRELIMINARY PROGRESS REPORT [JOINT WORK IN PROGRESS WITH Y. HOSHI, G. YAMASHITA, Y. YANG, ] Shinichi Mochizuki (RIMS, Kyoto University) April 2026
P2
§1. Lean formalization ( LeanForm) as a communication tool
P4
§2.First steps toward the LeanForm of IUT
The main strategy for the LeanForm of IUT:
Stage 1: [IUTchIII] Theorem 3.11 => Corollary 3.12 (since this has received the most public attention!)
Stage 2: Proof of [IUTchIII] Theorem 3.11 modulo [IUTchI-II]
Stage 3: [IUTchI-II] modulo earlier results (1995- 2015) on anabelian geometry/Frobenioids/theta functions, etc.
Stage 4: Earlier results (1995- 2015): [pGC], [GeoAn], [AbsAnb], [NCBel], [AbSc], [SemiAn], [QuCnf], [CbGC], [Con g], [FrdI-II], [EtTh], [GenEll], [NodNon], [AbsTopI-III]
Stage 5: Numerical aspects ([IUTchIV], [ExpEst])
(We are currently in the early skeletal portion of Stage 1.)
P6
§3.Brief review of inter-universal Teichmuller theory (IUT)
P9
§4.Skeletal Lean code for 3.11.5 => 3.12
P11
We chose to concentrate on this aspect of the theory rst since this aspect of the theory i.e., Stage 1: [IUTchIII] Theorem 3.11 => Corollary 3.12 (cf. the discussion at the beginning of 2) hasreceived the most public attention. Indeed, this aspect corresponds to the essential nontrivial content of the theory, i.e., that the height of the elliptic curve under consideration is equal to N times the height of the elliptic curve (where N is a large positive number), up to a small discrepancy (arising from (Ind1,2,3) + hull), thus implying a bound on the height.
327132人目の素数さん
2026/04/30(木) 18:39:31.30ID:o8MjSE3u328132人目の素数さん
2026/04/30(木) 18:44:32.20ID:o8MjSE3u329132人目の素数さん
2026/04/30(木) 18:48:47.80ID:pSVCLixR 斎藤三郎氏はゼロ除算について長年研究しているそうだ
これでどういう人物か分かるだろう
さすがトンデモ高卒素人 同類相憐れむ
これでどういう人物か分かるだろう
さすがトンデモ高卒素人 同類相憐れむ
330132人目の素数さん
2026/04/30(木) 19:31:42.90ID:LJEqKXkp >>326 もうとっくに餓死してんぞw
331132人目の素数さん
2026/04/30(木) 19:47:04.77ID:GQEXSWAb 世の中の理解が追いつくまで待てと言われて14年
革命的理論が受け容れまでに要した年月という観点から観測するに
宇宙の際を目指して旅立ったIUT号は
既にガロア軌道を脱し
来年にはヘーグナー点を越えると予想されます
はたして特異点に到達しモノドロミー問題を解消して
無事に帰還をはたすことはできるのでしょうか
革命的理論が受け容れまでに要した年月という観点から観測するに
宇宙の際を目指して旅立ったIUT号は
既にガロア軌道を脱し
来年にはヘーグナー点を越えると予想されます
はたして特異点に到達しモノドロミー問題を解消して
無事に帰還をはたすことはできるのでしょうか
332132人目の素数さん
2026/05/01(金) 05:01:25.89ID:QTi9AFQB 元々 望月教授の行き先は
「だれも話したことがない、新しい言語を用いて理論を組み立てたトンデモの
世界」だった、、
「だれも話したことがない、新しい言語を用いて理論を組み立てたトンデモの
世界」だった、、
333132人目の素数さん
2026/05/01(金) 05:22:30.47ID:QTi9AFQB >>316
続き
・本文p59
パラダイム
「数学はどのようにして「進歩」するのでしょうか?
そこにはトマスクーンが言うように 「通常科学」の中で連続的・累積的に 積み重なる新しさと、「パラダイム シフト」によって生じる新しさの 二種類があります」
「通常科学とは、トマスクーン
「科学革命の構造」(中山茂訳みすず
書房1971年)における用語で、
一つのパラダイム(時代や科学の各分野における支配的な研究上の規範、視点、 枠組みなどの意味)や様式に基づいた 科学活動のことであり、 パラダイムから与えられる問題や 解き方などの指針に基づいて研究を 進める状態のことをいいます。
これに対する状態は、「科学革命」期あるいは「パラダイムシフト」と
呼ばれている時期であり、
この時期には既存のパラダイムが破壊されたり劇的に変化することで新しい科学の枠組みが形成されます。
続き
・本文p59
パラダイム
「数学はどのようにして「進歩」するのでしょうか?
そこにはトマスクーンが言うように 「通常科学」の中で連続的・累積的に 積み重なる新しさと、「パラダイム シフト」によって生じる新しさの 二種類があります」
「通常科学とは、トマスクーン
「科学革命の構造」(中山茂訳みすず
書房1971年)における用語で、
一つのパラダイム(時代や科学の各分野における支配的な研究上の規範、視点、 枠組みなどの意味)や様式に基づいた 科学活動のことであり、 パラダイムから与えられる問題や 解き方などの指針に基づいて研究を 進める状態のことをいいます。
これに対する状態は、「科学革命」期あるいは「パラダイムシフト」と
呼ばれている時期であり、
この時期には既存のパラダイムが破壊されたり劇的に変化することで新しい科学の枠組みが形成されます。
334132人目の素数さん
2026/05/01(金) 05:23:51.87ID:QTi9AFQB >>316
続き
・本文p59
パラダイム
「数学はどのようにして「進歩」するのでしょうか?
そこにはトマスクーンが言うように 「通常科学」の中で連続的・累積的に 積み重なる新しさと、「パラダイム シフト」によって生じる新しさの 二種類があります」
「通常科学とは、トマスクーン
「科学革命の構造」(中山茂訳みすず
書房1971年)における用語で、
一つのパラダイム(時代や科学の各分野における支配的な研究上の規範、視点、 枠組みなどの意味)や様式に基づいた 科学活動のことであり、 パラダイムから与えられる問題や 解き方などの指針に基づいて研究を 進める状態のことをいいます。
これに対する状態は、「科学革命」期あるいは「パラダイムシフト」と
呼ばれている時期であり、
この時期には既存のパラダイムが破壊されたり劇的に変化することで新しい科学の枠組みが形成されます。
続き
・本文p59
パラダイム
「数学はどのようにして「進歩」するのでしょうか?
そこにはトマスクーンが言うように 「通常科学」の中で連続的・累積的に 積み重なる新しさと、「パラダイム シフト」によって生じる新しさの 二種類があります」
「通常科学とは、トマスクーン
「科学革命の構造」(中山茂訳みすず
書房1971年)における用語で、
一つのパラダイム(時代や科学の各分野における支配的な研究上の規範、視点、 枠組みなどの意味)や様式に基づいた 科学活動のことであり、 パラダイムから与えられる問題や 解き方などの指針に基づいて研究を 進める状態のことをいいます。
これに対する状態は、「科学革命」期あるいは「パラダイムシフト」と
呼ばれている時期であり、
この時期には既存のパラダイムが破壊されたり劇的に変化することで新しい科学の枠組みが形成されます。
335132人目の素数さん
2026/05/01(金) 05:28:18.56ID:QTi9AFQB >>334
続き
・ 本文 p66.
論文の価値は何で決まるのか
>何をもって「新しい」と判断できるのか、「正しい」という基準は何か、という点は非常に専門的なポイントです。
>通常の発展時においては当面の題材やその時代における支配的な
問題に対する部分的なあるいは最終的な解決であったりしますが、
>「パラダイムシフト」期においては、当分野に革命を起こすような大論文であることもあるでしょう
・ 本文p69
「興味深い」ということ
>私は以前、望月教授に「望月さんの理論が発表されたら、数論の専門家より数理論理学や数学基礎論 の人たちの方が興味をもつでしょうね」と話したことがある。
実際、IUT理論はABC予想やその
ディオファントス問題の研究におけるそれまでの発展の文脈からは
一線を画しています。略
>それはこの分野における最先端に 位置する研究であるというより、 数学の非常に基本的なレベルでの イノベーションを企画したものだからです。
続き
・ 本文 p66.
論文の価値は何で決まるのか
>何をもって「新しい」と判断できるのか、「正しい」という基準は何か、という点は非常に専門的なポイントです。
>通常の発展時においては当面の題材やその時代における支配的な
問題に対する部分的なあるいは最終的な解決であったりしますが、
>「パラダイムシフト」期においては、当分野に革命を起こすような大論文であることもあるでしょう
・ 本文p69
「興味深い」ということ
>私は以前、望月教授に「望月さんの理論が発表されたら、数論の専門家より数理論理学や数学基礎論 の人たちの方が興味をもつでしょうね」と話したことがある。
実際、IUT理論はABC予想やその
ディオファントス問題の研究におけるそれまでの発展の文脈からは
一線を画しています。略
>それはこの分野における最先端に 位置する研究であるというより、 数学の非常に基本的なレベルでの イノベーションを企画したものだからです。
336132人目の素数さん
2026/05/01(金) 06:15:13.83ID:AAI4Ds5l なんだか
彼の下らない人がこっちに逃げて来るようになりましたね
彼の下らない人がこっちに逃げて来るようになりましたね
337132人目の素数さん
2026/05/01(金) 09:09:59.27ID:C2QYTnEv338132人目の素数さん
2026/05/01(金) 16:39:41.33ID:wkMQ3KYF 結局望月理論に対する数学界の偏見、誤解、不勉強原因でなく
望月新一とその取り巻きたちの集合論、基礎論、証明論に対する誤解、不勉強が原因だよね
他責老害w
望月新一とその取り巻きたちの集合論、基礎論、証明論に対する誤解、不勉強が原因だよね
他責老害w
339132人目の素数さん
2026/05/01(金) 16:43:17.52ID:YA4vvOsl 結局望月理論に対する数学界の偏見、誤解、不勉強原因でなく
望月新一とその取り巻きたちの集合論、基礎論、証明論に対する誤解、不勉強が原因だよね
他責老害w
望月新一とその取り巻きたちの集合論、基礎論、証明論に対する誤解、不勉強が原因だよね
他責老害w
340132人目の素数さん
2026/05/01(金) 17:32:56.53ID:U2vx9/u7341132人目の素数さん
2026/05/01(金) 17:33:28.57ID:U2vx9/u7 朝鮮JINって何で同じ書き込み連打してんの?w
精神分裂やねーぞお前w
精神分裂やねーぞお前w
342132人目の素数さん
2026/05/01(金) 17:45:15.20ID:RJsyP7uR まあ結局は単純な問題で、かなりの実績の人が権威でゴリ押ししようとしたのを止められなかったってだけだな
343132人目の素数さん
2026/05/01(金) 18:26:34.14ID:YA4vvOsl そうなんだよね 数理研、数論幾何の連中はかなり情けないし名を落としたな
344132人目の素数さん
2026/05/01(金) 18:28:05.91ID:YA4vvOsl そもそも望月はいわゆる神童ではあったが
たいした数学者ではなかった
晩年のグロタンディークの残飯漁ってただけ
たいした数学者ではなかった
晩年のグロタンディークの残飯漁ってただけ
345132人目の素数さん
2026/05/02(土) 05:26:26.47ID:8VCQQSKK と、望月憎しRIMS憎しのみで生きながらえている崩れが申しております
346132人目の素数さん
2026/05/02(土) 14:20:33.68ID:Mx9/XEyR 尊師も取り巻きも恥ずかしいよね
集合論も基礎論も勉強せず尊師のお気持ちでなんとなく使ってた結果破綻してるのに
言うに事欠いてショルツ相手に学部レベルも理解してない!ww
これでもうこいつらはダメだなって確信した人らも多いだろうね ショルツレポートの成否はともかくとして
集合論も基礎論も勉強せず尊師のお気持ちでなんとなく使ってた結果破綻してるのに
言うに事欠いてショルツ相手に学部レベルも理解してない!ww
これでもうこいつらはダメだなって確信した人らも多いだろうね ショルツレポートの成否はともかくとして
347132人目の素数さん
2026/05/02(土) 14:24:58.06ID:EDvay7/w348132人目の素数さん
2026/05/02(土) 14:40:45.62ID:Mx9/XEyR 口汚い年中張り付きの基地外
349132人目の素数さん
2026/05/02(土) 18:54:43.22ID:Xfy3w8f4 結局Leanで確かめようとしてるのもショルツが指摘した箇所だもんな。
とりあえず頭下げろよとは思うわ
とりあえず頭下げろよとは思うわ
350132人目の素数さん
2026/05/02(土) 18:58:23.75ID:Mx9/XEyR 星は1年かけても何も説明できなかったんだから
何をもって理解していたと主張していたのか、説明すべきだよね
何をもって理解していたと主張していたのか、説明すべきだよね
351132人目の素数さん
2026/05/02(土) 19:01:02.29ID:Mx9/XEyR 結局シンちゃんが正しいって言ってるから正しいんだもん!うわぁああん!!
以上のものは何もないIUTカルトであった w
以上のものは何もないIUTカルトであった w
352132人目の素数さん
2026/05/02(土) 19:03:23.75ID:Mx9/XEyR 理解者どんどん増えてます!(具体名一つもなし)
一年くらいかけて丁寧に勉強すれば誰でも理解できます(星が1年かけて説明しても誰1人納得させられず)
結局全部ご都合主義の大嘘だったのね
嘘つき望月新一は恥を知れ
一年くらいかけて丁寧に勉強すれば誰でも理解できます(星が1年かけて説明しても誰1人納得させられず)
結局全部ご都合主義の大嘘だったのね
嘘つき望月新一は恥を知れ
353132人目の素数さん
2026/05/02(土) 20:05:26.02ID:ZQVChVf0 理解者どんどん増えてるのにLANAのコード化要員誰も理解できないの草
354132人目の素数さん
2026/05/02(土) 22:10:18.33ID:EDvay7/w355132人目の素数さん
2026/05/02(土) 22:11:17.30ID:EDvay7/w >>350
あとは査読通した奴らなw
あとは査読通した奴らなw
356132人目の素数さん
2026/05/03(日) 00:08:34.12ID:enplduMo とりあえず造語がきつい
357132人目の素数さん
2026/05/03(日) 00:54:28.97ID:EVhhM+ZU 別にそれはいいだろ
概念をどう呼ぶか
決められているわけではないから
自分が適当と思う用語で呼べばいい
概念をどう呼ぶか
決められているわけではないから
自分が適当と思う用語で呼べばいい
358132人目の素数さん
2026/05/03(日) 01:04:28.72ID:+3630VeH 天才エピソード切り貼りがかなりきつい
359132人目の素数さん
2026/05/03(日) 01:52:00.65ID:2gpwAc1b 単なる早熟でしかなかった望月なのに
周囲も含めて天才と勘違いしてしまった結果の珍劇
河東はしきりに推してるけどやっぱり飛び級制度なんて害しかないな
周囲も含めて天才と勘違いしてしまった結果の珍劇
河東はしきりに推してるけどやっぱり飛び級制度なんて害しかないな
360132人目の素数さん
2026/05/03(日) 04:41:16.66ID:IYXIsela 害しかないって、どういった例から言ってるんだろ。
まさか一つの例だけから決めつけているのなら、言い過ぎではないのか。
まさか一つの例だけから決めつけているのなら、言い過ぎではないのか。
361132人目の素数さん
2026/05/03(日) 04:42:01.78ID:IYXIsela どれくらい制度が利用されているのかは知らないが。
362132人目の素数さん
2026/05/03(日) 06:49:14.43ID:HBbN9oN0 近年の茶番劇はともかく
grothendieck予想解決は立派な業績ですね
icm招待や学会賞を受けたのも当然だと思います
grothendieck予想解決は立派な業績ですね
icm招待や学会賞を受けたのも当然だと思います
363132人目の素数さん
2026/05/03(日) 14:45:43.66ID:+3630VeH 笹川朝鮮財団の方から来た偽学者w
364132人目の素数さん
2026/05/03(日) 15:22:51.63ID:56C7jZCi 望月新一氏の自己流の集合論理解から
どんな集合論のパラドックスがひねくりだせるか
wktk
どんな集合論のパラドックスがひねくりだせるか
wktk
365132人目の素数さん
2026/05/03(日) 16:26:57.38ID:EVhhM+ZU >>364
たしか∃a(a∈a)が成り立つのではなかったかな
たしか∃a(a∈a)が成り立つのではなかったかな
366132人目の素数さん
2026/05/04(月) 14:06:25.62ID:/qFKf7iA ポエムみたいだね
367132人目の素数さん
2026/05/04(月) 21:33:41.32ID:y0Ee7hje まあ途中がZFじゃなくても別の集合論でもいいけど
論理繋がってないのはアウトだな
論理繋がってないのはアウトだな
368132人目の素数さん
2026/05/05(火) 01:53:24.62ID:FvHtd6Hz 他スレで、公開されている数理研公式文書のリンクがあって、山下真由子が実は女子枠採用だったことが書かれていた。しかも、そもそも博士号取得前の大学院生を誰かしら採用するというプロジェクト(大学院生を採用する話が最初にありき)だったことも書かれていた
山下真由子は「女子なのにすごい!」とか「博士課程の途中で採用されるなんてすごい!」とか世間を賑わせたけど、オレは薄々、山下真由子は「作られた」話題なんだろうなって思ってた。数理研では、他大に移った中島啓とか荒川とか、今後も何かやってくれると思われている人は移った後も特任として名前だけでも在籍させ続けるけど、山下の場合はそれがなかったもんな
山下真由子は「女子なのにすごい!」とか「博士課程の途中で採用されるなんてすごい!」とか世間を賑わせたけど、オレは薄々、山下真由子は「作られた」話題なんだろうなって思ってた。数理研では、他大に移った中島啓とか荒川とか、今後も何かやってくれると思われている人は移った後も特任として名前だけでも在籍させ続けるけど、山下の場合はそれがなかったもんな
369132人目の素数さん
2026/05/05(火) 04:31:07.06ID:+QgkLcPp ?
山下の若い頃の経歴がバズったんじゃないの?
あと在籍後の実績もしっかりあることが話題にも繋がってるし、女子枠云々は関係ないような
山下の若い頃の経歴がバズったんじゃないの?
あと在籍後の実績もしっかりあることが話題にも繋がってるし、女子枠云々は関係ないような
370132人目の素数さん
2026/05/05(火) 08:48:06.55ID:FvHtd6Hz >>369
「女子なのにすごい!」とか「博士課程の途中で採用されるなんてすごい!」とか言われてたわけで、関係ないことはないだろ。「優秀だから博士号取得前に採用された」のではなく、もともと博士号取得前の大学院生を誰かしら採用する話ありきだった」上に「女子枠」採用(男性は対象外だった)わけ。それで得られたステータスもその後の経歴に影響してると思うしな。信用もそうだし、他のポスドク研究員とかと違って安定した雇用で研究に集中できる環境だしな。少なくとも公平性はないよな。
369の言ってることって、結果オーライなんだから過程には目をつぶれ、と言ってるようなもの。それと、その後の経歴も、頑張っている女性にあげる賞の受賞だったりする。本当に他の若手研究者(ポスドク・助教レベル)よりも抜きん出ているかというと、やはり微妙。中身が見抜かれているから数理研で特任で在籍を続けることがなかったんじゃないのか
「女子なのにすごい!」とか「博士課程の途中で採用されるなんてすごい!」とか言われてたわけで、関係ないことはないだろ。「優秀だから博士号取得前に採用された」のではなく、もともと博士号取得前の大学院生を誰かしら採用する話ありきだった」上に「女子枠」採用(男性は対象外だった)わけ。それで得られたステータスもその後の経歴に影響してると思うしな。信用もそうだし、他のポスドク研究員とかと違って安定した雇用で研究に集中できる環境だしな。少なくとも公平性はないよな。
369の言ってることって、結果オーライなんだから過程には目をつぶれ、と言ってるようなもの。それと、その後の経歴も、頑張っている女性にあげる賞の受賞だったりする。本当に他の若手研究者(ポスドク・助教レベル)よりも抜きん出ているかというと、やはり微妙。中身が見抜かれているから数理研で特任で在籍を続けることがなかったんじゃないのか
371132人目の素数さん
2026/05/05(火) 09:04:00.27ID:Jz3E3eGY372132人目の素数さん
2026/05/05(火) 09:37:31.99ID:VVKCLYYD >>370
>「優秀だから博士号取得前に採用された」のではなく
ヨコだが
採用基準は、本当は 未来予測基準であるべきで
「この人を採用したら、優秀でバリバリ成果を出してくれる」が、本来の評価値としてある話だが
神なら 未来が見えるが、神ならぬ人では 未来は分らない
だから、人は 採用基準を過去からの単純延長と期待値に取る(判断者の属人的な(面接がまさにそれ))
別に、米国では採用基準を できるだけ客観的に数値化しようとする(論文の数とか掲載誌の重み付けなど)
しかし、当然客観的に数値化にも限界があって 予想はずれも多いだろう
なので「結果オーライなんだから過程には目をつぶれ」は、正しい意見だと思うよ
採用は、本質的に 未来予測であって 当たり外れがあるのだから
>「優秀だから博士号取得前に採用された」のではなく
ヨコだが
採用基準は、本当は 未来予測基準であるべきで
「この人を採用したら、優秀でバリバリ成果を出してくれる」が、本来の評価値としてある話だが
神なら 未来が見えるが、神ならぬ人では 未来は分らない
だから、人は 採用基準を過去からの単純延長と期待値に取る(判断者の属人的な(面接がまさにそれ))
別に、米国では採用基準を できるだけ客観的に数値化しようとする(論文の数とか掲載誌の重み付けなど)
しかし、当然客観的に数値化にも限界があって 予想はずれも多いだろう
なので「結果オーライなんだから過程には目をつぶれ」は、正しい意見だと思うよ
採用は、本質的に 未来予測であって 当たり外れがあるのだから
373132人目の素数さん
2026/05/05(火) 09:42:56.52ID:k5oovXVc 371の冒頭で
> 私自身が数学者でないため,山下さんの業績がこれまでの数学の流れの中でどう位置づけされ,どのような発展をもたらしたのか,ということについては申し訳ないながら解説することが出来ない.
と書いてあるね。数学社会の方で決めた受賞に部外者の方からお祝いの言葉を述べる、という形式
あと>>370のメインの話である「博士課程在学中の学生を採用するプロジェクト(男性は対象外)での採用だった」ことやそこから得られる(不公平な)恩恵を受けていたこと、それと「その後の話」をいくらしても
> 結果オーライなんだから過程には目をつぶれ、と言ってるようなもの。
に対しては反論なしということね。370話のメインはそっち(最後の部分は「それと、」と書いてあるように蛇足的付け足し)だから、「その後の話」にフォーカスすることで論点をズラすのはやめてね
> 私自身が数学者でないため,山下さんの業績がこれまでの数学の流れの中でどう位置づけされ,どのような発展をもたらしたのか,ということについては申し訳ないながら解説することが出来ない.
と書いてあるね。数学社会の方で決めた受賞に部外者の方からお祝いの言葉を述べる、という形式
あと>>370のメインの話である「博士課程在学中の学生を採用するプロジェクト(男性は対象外)での採用だった」ことやそこから得られる(不公平な)恩恵を受けていたこと、それと「その後の話」をいくらしても
> 結果オーライなんだから過程には目をつぶれ、と言ってるようなもの。
に対しては反論なしということね。370話のメインはそっち(最後の部分は「それと、」と書いてあるように蛇足的付け足し)だから、「その後の話」にフォーカスすることで論点をズラすのはやめてね
374132人目の素数さん
2026/05/05(火) 09:44:05.35ID:k5oovXVc あ、投稿が前後した
375132人目の素数さん
2026/05/05(火) 09:54:40.20ID:k5oovXVc >>373
少なくとも「女子なのにすごい!」とか「博士課程の途中で採用されるなんてすごい!」と世間が騒いでいたのは事実誤認に基づくものだったことは認めるってことね。博士課程在学中の女性ってものすごく限られてるわけで、それで採用されてすごいって言われてもなあ、って感じ
> なので「結果オーライなんだから過程には目をつぶれ」は、正しい意見だと思うよ
> 採用は、本質的に 未来予測であって 当たり外れがあるのだから
少なくとも「女性限定」は他の若手男性研究者から見て不公平。貴方が言っている「未来予測」の対象にも入れてもらえていない
また、そのような「未来予測だから〜」「採用には当たり外れがあるから〜」による正当化が通用するのなら、あらゆる不公平な採用基準が通用してしまう。採用基準を問題にするな、結果オーライを受け入れろ、当たり外れがあるものだから外れでも採用基準を問題にするな、というのは健全な考え方ではないと思うな
少なくとも「女子なのにすごい!」とか「博士課程の途中で採用されるなんてすごい!」と世間が騒いでいたのは事実誤認に基づくものだったことは認めるってことね。博士課程在学中の女性ってものすごく限られてるわけで、それで採用されてすごいって言われてもなあ、って感じ
> なので「結果オーライなんだから過程には目をつぶれ」は、正しい意見だと思うよ
> 採用は、本質的に 未来予測であって 当たり外れがあるのだから
少なくとも「女性限定」は他の若手男性研究者から見て不公平。貴方が言っている「未来予測」の対象にも入れてもらえていない
また、そのような「未来予測だから〜」「採用には当たり外れがあるから〜」による正当化が通用するのなら、あらゆる不公平な採用基準が通用してしまう。採用基準を問題にするな、結果オーライを受け入れろ、当たり外れがあるものだから外れでも採用基準を問題にするな、というのは健全な考え方ではないと思うな
376132人目の素数さん
2026/05/05(火) 10:08:47.55ID:FvHtd6Hz そういえば、京大理学部の特色入試が廃止になるアナウンスが出ていたね。理由の詳細は分からないが、入学者のその後がイマイチだったと言われている。「所詮限界のある未来予測だし、当たり外れがあるから基準を問題にするな」ではなく、常に基準を審議する態度(完全な未来予測は人間には不可能だけど、だからなんでも受け入れろではなく、可能な限り良くしていこうとする態度)が健全だと思うね
377132人目の素数さん
2026/05/05(火) 11:43:18.62ID:VVKCLYYD >>375
>少なくとも「女性限定」は他の若手男性研究者から見て不公平。貴方が言っている「未来予測」の対象にも入れてもらえていない
面白いから 続けて良い?
二つの視点がある
1)制度設計として、「女性枠がどうか?」
2)全体的な合理性と、一部での不合理
1)の視点では、下記”森喜朗の女性蔑視発言”が代表例だね
(森氏)”女性理事を選ぶというのは、日本は文科省がうるさくいうんですよ”
2)の視点では、「女性がたくさん入っている・・、理事会の会議は時間がかかります」
その一方女性の視点からの意見も重要だと。そのバランスでしょ?
(男性理事の枠が減らされることもあるが)
https://ja.wikipedia.org/wiki/%E6%A3%AE%E5%96%9C%E6%9C%97%E3%81%AE%E5%A5%B3%E6%80%A7%E8%94%91%E8%A6%96%E7%99%BA%E8%A8%80
森喜朗の女性蔑視発言
2021年2月3日
女性理事を選ぶというのは、日本は文科省がうるさくいうんですよね。
だけど、女性がたくさん入っている理事会は、理事会の会議は時間がかかります。
>少なくとも「女性限定」は他の若手男性研究者から見て不公平。貴方が言っている「未来予測」の対象にも入れてもらえていない
面白いから 続けて良い?
二つの視点がある
1)制度設計として、「女性枠がどうか?」
2)全体的な合理性と、一部での不合理
1)の視点では、下記”森喜朗の女性蔑視発言”が代表例だね
(森氏)”女性理事を選ぶというのは、日本は文科省がうるさくいうんですよ”
2)の視点では、「女性がたくさん入っている・・、理事会の会議は時間がかかります」
その一方女性の視点からの意見も重要だと。そのバランスでしょ?
(男性理事の枠が減らされることもあるが)
https://ja.wikipedia.org/wiki/%E6%A3%AE%E5%96%9C%E6%9C%97%E3%81%AE%E5%A5%B3%E6%80%A7%E8%94%91%E8%A6%96%E7%99%BA%E8%A8%80
森喜朗の女性蔑視発言
2021年2月3日
女性理事を選ぶというのは、日本は文科省がうるさくいうんですよね。
だけど、女性がたくさん入っている理事会は、理事会の会議は時間がかかります。
378132人目の素数さん
2026/05/05(火) 12:02:08.38ID:FvHtd6Hz 女性限定については賛否あると思うが、不公平だという意見は当然あって然るべきであって、そういう意見を出してはいけないというのは良くないと思う
> 採用基準を問題にするな、結果オーライを受け入れろ、
> 当たり外れがあるものだから外れでも採用基準を問題にするな、
> というのは健全な考え方ではないと思うな
については同意ということでOK?
「問題にするな」は良くないと思う、ということ
> 採用基準を問題にするな、結果オーライを受け入れろ、
> 当たり外れがあるものだから外れでも採用基準を問題にするな、
> というのは健全な考え方ではないと思うな
については同意ということでOK?
「問題にするな」は良くないと思う、ということ
379132人目の素数さん
2026/05/05(火) 12:07:42.19ID:XS0BH/sj IUTとなんの関係が?
380132人目の素数さん
2026/05/05(火) 12:08:08.58ID:FvHtd6Hz >>372 が言っていたことって、未来予測も数値化も限界があるから文句言わずに受け入れろ、ってことで、375と376が言っていることは、限界があるからといって最善を目指す努力を放棄してはいけない、基準を問題にするのを拒否はできない、という話だから、377はちょっと論点をズラしてるね
381132人目の素数さん
2026/05/05(火) 12:09:51.16ID:FvHtd6Hz382132人目の素数さん
2026/05/05(火) 12:17:35.99ID:kcfPwpMU >>379
その関係者の採用に関した話題なのでない?
その関係者の採用に関した話題なのでない?
383132人目の素数さん
2026/05/05(火) 12:18:11.71ID:FvHtd6Hz メインの論点から外れた話だが、もう2つ指摘するなら、
1、政治家の不用意な"女性蔑視発言"を持ち出してきて女性限定の不公平性の意見を牽制するのは印象操作だと思う
2、世界的にも、これまでのマイノリティへの配慮は行き過ぎた配慮だと見直す方向にある
以上はメインの論点から外れた話なので、続けるなら380の論点でお願いします
1、政治家の不用意な"女性蔑視発言"を持ち出してきて女性限定の不公平性の意見を牽制するのは印象操作だと思う
2、世界的にも、これまでのマイノリティへの配慮は行き過ぎた配慮だと見直す方向にある
以上はメインの論点から外れた話なので、続けるなら380の論点でお願いします
384132人目の素数さん
2026/05/05(火) 12:18:32.76ID:kcfPwpMU >>381
それは無理じゃね?
それは無理じゃね?
385132人目の素数さん
2026/05/05(火) 12:27:11.00ID:k5oovXVc 反論するなら論点をズラさないで380の論点でね、ってこと
380に対して反論がないのであれば、それで決着ということでいいよ
380に対して反論がないのであれば、それで決着ということでいいよ
386132人目の素数さん
2026/05/05(火) 12:48:00.07ID:k5oovXVc 要約すると、
山下真由子は「女子なのにすごい!」とか「博士課程の途中で採用されるなんてすごい!」とか世間を賑わせたけど、
「優秀だから博士号取得前に採用された」のではなく、
もともと博士号取得前の大学院生を誰かしら採用する話ありきだった」上に「女子枠」採用
(男性は対象外、数学で博士課程の女性という非常に数の少ないなかから選ばれた採用)だった、ということ
それに対して369から始まった反論
> 女子枠云々は関係ないような
に対する結論は、「女子枠であることは関係ある」
山下真由子は「女子なのにすごい!」とか「博士課程の途中で採用されるなんてすごい!」とか世間を賑わせたけど、
「優秀だから博士号取得前に採用された」のではなく、
もともと博士号取得前の大学院生を誰かしら採用する話ありきだった」上に「女子枠」採用
(男性は対象外、数学で博士課程の女性という非常に数の少ないなかから選ばれた採用)だった、ということ
それに対して369から始まった反論
> 女子枠云々は関係ないような
に対する結論は、「女子枠であることは関係ある」
387132人目の素数さん
2026/05/05(火) 16:10:42.94ID:Jz3E3eGY388132人目の素数さん
2026/05/05(火) 18:24:29.63ID:Ibat6JQp 美人なのにすごい!
389132人目の素数さん
2026/05/05(火) 18:28:05.77ID:kcfPwpMU 昔は博士取らずに助手採用は一般的だったがな
390132人目の素数さん
2026/05/05(火) 21:20:11.25ID:r2PkOQ3+ >>368が嘘だからどーでもいい
だいたい「女子枠」って何だよw
だいたい「女子枠」って何だよw
391132人目の素数さん
2026/05/05(火) 21:32:40.39ID:0K1uqGlZ どれとは言わないがひやっしー枠みたいなもん
特定政治宗教団体&広告代理店&S朝鮮財団
iutと同じじゃね
特定政治宗教団体&広告代理店&S朝鮮財団
iutと同じじゃね
392132人目の素数さん
2026/05/06(水) 12:58:30.54ID:w7t66xcd RIMSが分野問わずタコツボ激キショ人事繰り返してることはみんな知ってるだろ
393132人目の素数さん
2026/05/06(水) 13:12:51.36ID:dfYErJAA でもそれは研究機関なら当然かも?
近い研究者を集めて研究集団を作るのだから
近い研究者を集めて研究集団を作るのだから
394132人目の素数さん
2026/05/06(水) 13:13:11.81ID:nfXQxcBO >>392 iut界隈以外に何かあった?
繰り返してるって言うからにはいくつも出せるんよな
繰り返してるって言うからにはいくつも出せるんよな
395132人目の素数さん
2026/05/06(水) 16:37:30.60ID:q+Crj8rC 尾高さんが数理研の教授になったんだね
基地外たちの処理相手に無駄な労力費やされることがありませんように
基地外たちの処理相手に無駄な労力費やされることがありませんように
396132人目の素数さん
2026/05/07(木) 15:19:35.78ID:I0FiaNFf >>390
公開されている公式文書で、女性限定であること、博士課程在学中の学生を採用するプロジェクトがまずありきだったことがちゃんと書かれている
> だいたい「女子枠」って何だよw
女性限定の採用人事という意味
公開されている公式文書で、女性限定であること、博士課程在学中の学生を採用するプロジェクトがまずありきだったことがちゃんと書かれている
> だいたい「女子枠」って何だよw
女性限定の採用人事という意味
397132人目の素数さん
2026/05/07(木) 15:24:24.29ID:I0FiaNFf >>383
女性限定に対して意見を言う人を差別主義者のレッテルを貼る人って世の中たくさんいるよね
印象操作とレッテル貼りしかしないからまともな議論ができない
多様性を認めろと言いながら人の言論封鎖をするという矛盾にも気付いてない
女性限定に対して意見を言う人を差別主義者のレッテルを貼る人って世の中たくさんいるよね
印象操作とレッテル貼りしかしないからまともな議論ができない
多様性を認めろと言いながら人の言論封鎖をするという矛盾にも気付いてない
398132人目の素数さん
2026/05/07(木) 19:21:42.78ID:vJvl4KcU399132人目の素数さん
2026/05/07(木) 19:25:11.86ID:56AHsuec >>371
日本数学会賞建部賢弘賞
・2023年特別賞.
京大数理研助教.越川皓永
数論幾何学におけるコホモロジ- の研究
・2021年. 奨励賞
京大数理研助教.山下真由子
.指数定理と非可換幾何学
・2012年 特別賞
東大大学院准教授 緒方芳子
非平行量子統計力学と作用環
日本数学会賞建部賢弘賞
・2023年特別賞.
京大数理研助教.越川皓永
数論幾何学におけるコホモロジ- の研究
・2021年. 奨励賞
京大数理研助教.山下真由子
.指数定理と非可換幾何学
・2012年 特別賞
東大大学院准教授 緒方芳子
非平行量子統計力学と作用環
400132人目の素数さん
2026/05/07(木) 19:36:11.67ID:56AHsuec 山下真由子氏は、数理研の緒方芳子氏と越川皓永氏と同様に日本数学会賞建部賢弘賞受賞者。
401132人目の素数さん
2026/05/07(木) 19:36:22.09ID:vJvl4KcU402132人目の素数さん
2026/05/07(木) 20:01:59.68ID:dUoqUxyh 越川さんは4月から慶應か
期待されてた割には鳴かず飛ばずだったな
期待されてた割には鳴かず飛ばずだったな
403132人目の素数さん
2026/05/07(木) 21:03:53.45ID:56AHsuec 京大数理研のabcは数理数学でなく 望月新一語の妄想忠誠で成り立つからね。
IUTへ信心がなければ逃亡だな
➖
>>312
望月新一監修
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
>望月教授は、言うなれば、だれも 話したことがない、新しい言語を 用いて理論を組み立てました
IUTへ信心がなければ逃亡だな
➖
>>312
望月新一監修
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
>望月教授は、言うなれば、だれも 話したことがない、新しい言語を 用いて理論を組み立てました
405132人目の素数さん
2026/05/08(金) 00:23:02.56ID:jEHnDQ8n >>398
> どこに書かれていますか?
> 引用をお願いします
https://www.kyoto-u.ac.jp/sites/default/files/inline-files/jaaboutevaluationhoujin3rd_mediumdocumentssurvey_r_4thyear28-adcbe25f931e939343dc1092d49dde1a.pdf
>>390
こういう、きちんと確認しないで人を嘘つき呼ばわりするのってどうなんだろうね
自分が気に入らない事実は確認すらせず嘘扱いするんだろうか
議論ってのは事実をもとにするもので、自分の欲しい結論を先に固定して事実を捻じ曲げるのは議論とは言わないよ
>>401
> 「女性枠」でなく採用された人物に対して
ちゃんと事実確認してね。さらに言うと、「女性枠採用であること」を根拠に話しているわけだから言いがかりもいいところ
> どこに書かれていますか?
> 引用をお願いします
https://www.kyoto-u.ac.jp/sites/default/files/inline-files/jaaboutevaluationhoujin3rd_mediumdocumentssurvey_r_4thyear28-adcbe25f931e939343dc1092d49dde1a.pdf
>>390
こういう、きちんと確認しないで人を嘘つき呼ばわりするのってどうなんだろうね
自分が気に入らない事実は確認すらせず嘘扱いするんだろうか
議論ってのは事実をもとにするもので、自分の欲しい結論を先に固定して事実を捻じ曲げるのは議論とは言わないよ
>>401
> 「女性枠」でなく採用された人物に対して
ちゃんと事実確認してね。さらに言うと、「女性枠採用であること」を根拠に話しているわけだから言いがかりもいいところ
406132人目の素数さん
2026/05/08(金) 00:32:41.49ID:jEHnDQ8n >>400
少なくとも「女子なのにすごい!」とか「博士課程の途中で採用されるなんてすごい!」と世間が騒いでいたのは事実誤認に基づくものだった
もともと女性枠だったし、博士課程在学中の学生を誰かしら採用するプロジェクト(栴檀プロジェクト)がまずありきのことだった
事実誤認を訂正して正しい認識を広めている、それだけのこと
(結果オーライ的なその後の活躍は別の話。ごちゃ混ぜにしないで)
むしろ、なぜ山下真由子が女性限定枠であることや学生限定枠だった事実をそこまで強く否定したがるのか理解に苦しむ
事実がまず先にあり、解釈だとか評価だとかはそれをもとに考えるものであって、
先に解釈だとか評価だとか欲しい結論を固定してからそれに合う事実を選択したり無視したり否定したりするのはおかしい
少なくとも「女子なのにすごい!」とか「博士課程の途中で採用されるなんてすごい!」と世間が騒いでいたのは事実誤認に基づくものだった
もともと女性枠だったし、博士課程在学中の学生を誰かしら採用するプロジェクト(栴檀プロジェクト)がまずありきのことだった
事実誤認を訂正して正しい認識を広めている、それだけのこと
(結果オーライ的なその後の活躍は別の話。ごちゃ混ぜにしないで)
むしろ、なぜ山下真由子が女性限定枠であることや学生限定枠だった事実をそこまで強く否定したがるのか理解に苦しむ
事実がまず先にあり、解釈だとか評価だとかはそれをもとに考えるものであって、
先に解釈だとか評価だとか欲しい結論を固定してからそれに合う事実を選択したり無視したり否定したりするのはおかしい
407132人目の素数さん
2026/05/08(金) 00:44:23.82ID:jEHnDQ8n イデオロギー持ちとは議論が成立しないな
問題に対して正しい理解を深めることを目的としているのではなく、
相手を卑劣な差別主義者に仕立て上げて自分の主張・固定した結論(イデオロギー)を通すことを
目的としているわけだから議論が成立しないのは当たり前といえば当たり前
もう書き込まないことにしようかと思う。無意味だから
問題に対して正しい理解を深めることを目的としているのではなく、
相手を卑劣な差別主義者に仕立て上げて自分の主張・固定した結論(イデオロギー)を通すことを
目的としているわけだから議論が成立しないのは当たり前といえば当たり前
もう書き込まないことにしようかと思う。無意味だから
408132人目の素数さん
2026/05/08(金) 06:58:13.07ID:cZsdQWXK 女性枠で応募した知り合いは
不採用だったが
選考会議で「こんな人を落とすのはもったいない」という声が出て
別枠で講師に採用された。
しかし政治的な状況が絡む可能性が残っているらしい。
不採用だったが
選考会議で「こんな人を落とすのはもったいない」という声が出て
別枠で講師に採用された。
しかし政治的な状況が絡む可能性が残っているらしい。
409132人目の素数さん
2026/05/08(金) 07:37:49.51ID:ftXypZMz >>405
「引用をお願いします」に引用で答えられなかったのは
やはりあなたが嘘吐きだからですね
私が下にその文書から引用します(28-5)
書いてあることは、女性限定公募を行い1名採用した、
それとは別に若手(大学院生)向けの栴檀プロジェクトで
女性を1名採用したということであり、
山下氏が採用された栴檀プロジェクトは女性限定ではありません
(それでも女性限定だと主張するのなら証拠を提示お願いします)
なお栴檀プロジェクトでは当該機関に2名採用されています
>女性教員や若手教員のポストの確保と育成に取り組んでおり、
>京都大学初の女性限定公募の実施を決定し(2017 年6月)、
>公募により女性助教1名を採用した。また、数学分野の特性を
>生かし、博士学位取得前の極めて優秀な大学院生を、任期7年の
>助教ポストに採用し、安定した身分を保証することで研究の
>飛躍的発展を企図した「数理解析研究所栴檀プロジェクト」を
>設置し、女性(23 才)の助教1名を採用した(2019 年9月)。
https://www.kurims.kyoto-u.ac.jp/~kenkyubu/RIMSreport2021-j.pdf
>「栴檀プロジェクト」の枠組みにおいて2人の大学院生を助教として雇用した。
「引用をお願いします」に引用で答えられなかったのは
やはりあなたが嘘吐きだからですね
私が下にその文書から引用します(28-5)
書いてあることは、女性限定公募を行い1名採用した、
それとは別に若手(大学院生)向けの栴檀プロジェクトで
女性を1名採用したということであり、
山下氏が採用された栴檀プロジェクトは女性限定ではありません
(それでも女性限定だと主張するのなら証拠を提示お願いします)
なお栴檀プロジェクトでは当該機関に2名採用されています
>女性教員や若手教員のポストの確保と育成に取り組んでおり、
>京都大学初の女性限定公募の実施を決定し(2017 年6月)、
>公募により女性助教1名を採用した。また、数学分野の特性を
>生かし、博士学位取得前の極めて優秀な大学院生を、任期7年の
>助教ポストに採用し、安定した身分を保証することで研究の
>飛躍的発展を企図した「数理解析研究所栴檀プロジェクト」を
>設置し、女性(23 才)の助教1名を採用した(2019 年9月)。
https://www.kurims.kyoto-u.ac.jp/~kenkyubu/RIMSreport2021-j.pdf
>「栴檀プロジェクト」の枠組みにおいて2人の大学院生を助教として雇用した。
410132人目の素数さん
2026/05/08(金) 08:09:08.48ID:ftXypZMz411132人目の素数さん
2026/05/08(金) 08:32:57.80ID:NSS9KM0N ソースがきちんとある話をしよう。
412132人目の素数さん
2026/05/08(金) 08:42:22.79ID:cZsdQWXK 出せなくても
413132人目の素数さん
2026/05/08(金) 19:10:04.15ID:L66yhSHt 女性枠は嫌いだけど
女性の身体は大好き
女性の身体は大好き
414132人目の素数さん
2026/05/09(土) 00:07:20.55ID:01B1obh6 ヨコからだけど、AIに聞いてみた↓ 世界的にみると、差別主義者なのは女子枠肯定派なのかもしれない
日本の大学が導入を進めている「女子枠」について、ユネスコ(UNESCO)などの国際機関から懸念が示されているのは事実です。
特に2024年に公開されたユネスコの報告書(GEM Report 2024/5)などにおいて、日本の女子枠が「公平性の観点」から議論の対象となっています。
国際機関からの主な指摘
ユネスコ等の報告書や専門家の分析で挙げられている懸念点は以下の通りです。
* 属性のみへの着目: 性別という一つの属性だけで優遇を決める手法は、経済状況や地域格差、男性側の過少代表といった「複合的な不利」を無視していると指摘されています。
* 文脈の欠如: 高等教育の公平性には「包括的で文脈に敏感なアプローチ」が必要ですが、女子枠はそれに逆行する可能性があるとされています。
* 実力主義との乖離: 機会の平等ではなく「結果の平等(クォータ制)」を重視しすぎることで、本来合格すべき男性が排除される「逆差別」への懸念が表明されています。
欧米先進国での状況
「女子枠」のようなクォータ制は、欧米では非常に厳しい法的制限があります。
* アメリカ: 2023年の最高裁判決により、人種を考慮した入学選考(アファーマティブ・アクション)が違憲とされました。性別についても同様に、属性のみで合格を決定することは「違法な性差別」とみなされる傾向が強まっています。
* イギリス: 出身地域の経済背景などを考慮する「コンテクスチュアル・アドミッション(文脈を考慮した入試)」が主流であり、性別のみで枠を区切る手法は一般的ではありません。
* 新興国との対比: ユネスコ報告書でも、クォータ制が肯定的に評価されているのはブラジルやタンザニアなどの発展途上国・新興国の事例が中心で、日本のような先進国での導入は異例とみられています。
日本国内の現状
日本では、理系分野での女性比率を上げるため、2026年度には国立大学の約半数にあたる35校で導入・拡大される見通しです。
* 憲法上の疑義: 多くの憲法学者が「法の下の平等」に反する違憲の疑いを指摘しています。
* 目的と手段のズレ: 「女子が少ないのは大学入試の問題ではなく、社会全体の構造的問題だ」という批判もあり、入試制度だけで解決を図ることへの疑問も根強く残っています。
日本の大学が導入を進めている「女子枠」について、ユネスコ(UNESCO)などの国際機関から懸念が示されているのは事実です。
特に2024年に公開されたユネスコの報告書(GEM Report 2024/5)などにおいて、日本の女子枠が「公平性の観点」から議論の対象となっています。
国際機関からの主な指摘
ユネスコ等の報告書や専門家の分析で挙げられている懸念点は以下の通りです。
* 属性のみへの着目: 性別という一つの属性だけで優遇を決める手法は、経済状況や地域格差、男性側の過少代表といった「複合的な不利」を無視していると指摘されています。
* 文脈の欠如: 高等教育の公平性には「包括的で文脈に敏感なアプローチ」が必要ですが、女子枠はそれに逆行する可能性があるとされています。
* 実力主義との乖離: 機会の平等ではなく「結果の平等(クォータ制)」を重視しすぎることで、本来合格すべき男性が排除される「逆差別」への懸念が表明されています。
欧米先進国での状況
「女子枠」のようなクォータ制は、欧米では非常に厳しい法的制限があります。
* アメリカ: 2023年の最高裁判決により、人種を考慮した入学選考(アファーマティブ・アクション)が違憲とされました。性別についても同様に、属性のみで合格を決定することは「違法な性差別」とみなされる傾向が強まっています。
* イギリス: 出身地域の経済背景などを考慮する「コンテクスチュアル・アドミッション(文脈を考慮した入試)」が主流であり、性別のみで枠を区切る手法は一般的ではありません。
* 新興国との対比: ユネスコ報告書でも、クォータ制が肯定的に評価されているのはブラジルやタンザニアなどの発展途上国・新興国の事例が中心で、日本のような先進国での導入は異例とみられています。
日本国内の現状
日本では、理系分野での女性比率を上げるため、2026年度には国立大学の約半数にあたる35校で導入・拡大される見通しです。
* 憲法上の疑義: 多くの憲法学者が「法の下の平等」に反する違憲の疑いを指摘しています。
* 目的と手段のズレ: 「女子が少ないのは大学入試の問題ではなく、社会全体の構造的問題だ」という批判もあり、入試制度だけで解決を図ることへの疑問も根強く残っています。
415132人目の素数さん
2026/05/09(土) 07:02:57.01ID:JS9grnEr 女性枠への賛否はあってもフツーだけど
関係ない人に対してまで事実を曲げて女性枠だと言い募ったらアウトだろ
関係ない人に対してまで事実を曲げて女性枠だと言い募ったらアウトだろ
416132人目の素数さん
2026/05/09(土) 08:32:38.62ID:L7fenQaa 女性枠ではないのだが内部では女性を取ることに決まっていると言って
募るということは
公にできないことだが
あるのではないかと思われる
募るということは
公にできないことだが
あるのではないかと思われる
417132人目の素数さん
2026/05/09(土) 13:43:09.16ID:JS9grnEr そりゃ実はデキ・コネだとか分野限定とかいろいろあるだろ
(女性限定なのにそれ隠したら応募ゼロで困ったりするんじゃねえか)
現状、女性が優遇されるってのもそうだろう
(公募要項に明記されてることもあるな)
だけど採用されたのが女性ってだけで女性枠だと勘繰るのはゲスってもん
(女性限定なのにそれ隠したら応募ゼロで困ったりするんじゃねえか)
現状、女性が優遇されるってのもそうだろう
(公募要項に明記されてることもあるな)
だけど採用されたのが女性ってだけで女性枠だと勘繰るのはゲスってもん
418132人目の素数さん
2026/05/09(土) 18:04:28.24ID:9iCIP+rK 山下が女性枠採用なのは有名な事実だろ
学位取る前の女性を助教で取り上げようってやったんだよ
もう1人計算機だかでいたはず
学位取る前の女性を助教で取り上げようってやったんだよ
もう1人計算機だかでいたはず
419132人目の素数さん
2026/05/09(土) 19:47:04.36ID:JS9grnEr420132人目の素数さん
2026/05/09(土) 20:03:35.69ID:9iCIP+rK 世の中人伝に伝わる公然の事実ってものがあるんだよ 雑魚w
421132人目の素数さん
2026/05/09(土) 20:09:30.79ID:JS9grnEr はいはい
妄想であることを認めたわけね
妄想であることを認めたわけね
422132人目の素数さん
2026/05/09(土) 20:13:49.24ID:JS9grnEr >>392で「みんな知ってるだろ」とか嘘こいてたのもお前だろ
パターンが同じなんだよ
パターンが同じなんだよ
423132人目の素数さん
2026/05/09(土) 21:27:07.43ID:9wZYTTCI424132人目の素数さん
2026/05/10(日) 09:06:30.51ID:7yRGGxRP ウソは天気の話で無視
425132人目の素数さん
2026/05/10(日) 16:24:39.29ID:+IqwRGDN 山下が女性公募なのは事実でしょ
もう1人計算機系の同じような条件で取ってたよね
賞はたくさんもらってるけど彼女が何した人なのかはいまだ誰も理解してないだろうw
もう1人計算機系の同じような条件で取ってたよね
賞はたくさんもらってるけど彼女が何した人なのかはいまだ誰も理解してないだろうw
426132人目の素数さん
2026/05/10(日) 17:22:08.31ID:PyRrZDw3 どこにその事実が書いてありますか?
いい加減妄想を垂れ流すのをやめなさい
本当に女性公募であったのならinternet archive等に
証拠が残ってるはずですね
いい加減妄想を垂れ流すのをやめなさい
本当に女性公募であったのならinternet archive等に
証拠が残ってるはずですね
427132人目の素数さん
2026/05/10(日) 17:59:28.56ID:+IqwRGDN 公募ではない、女性採用
Oが談話会で呼んだのが実質的な面接って聞いたな
Oが談話会で呼んだのが実質的な面接って聞いたな
428132人目の素数さん
2026/05/10(日) 18:45:31.38ID:PyRrZDw3429132人目の素数さん
2026/05/14(木) 06:01:47.55ID:4ybWutCb 京都大学、論文改ざんを内部告発した男を解雇
https://i.imgu;r.com/qHXhOhC.jpeg
https://i.imgu;r.com/SnwdgcD.jpeg
https://i.imgu;r.com/Rjk3ziB.jpeg
https://i.imgu;r.com/S6D1FHO.jpeg
https://i.imgu;r.com/qHXhOhC.jpeg
https://i.imgu;r.com/SnwdgcD.jpeg
https://i.imgu;r.com/Rjk3ziB.jpeg
https://i.imgu;r.com/S6D1FHO.jpeg
430132人目の素数さん
2026/05/14(木) 06:24:17.76ID:dU0Q4QcY こういう人に
731部隊について
どう思うか聞いてみたい
731部隊について
どう思うか聞いてみたい
431132人目の素数さん
2026/05/14(木) 08:40:33.71ID:cOgxvxkJ432132人目の素数さん
2026/05/14(木) 15:42:23.42ID:Cz7cBDn+ >>431
>Therefore I am surprised (and deeply troubled) that my work (both in highlighting some of the issuses with his papers
> and also providing necessary precision wherever needed) does not get credited in your formal verification endeavor.
> I believe it would be professional on the part of the verification team to at least acknowledge my work.
自分の解釈でIUTを補強したつもりなのに無視されてて辛い?
>Therefore I am surprised (and deeply troubled) that my work (both in highlighting some of the issuses with his papers
> and also providing necessary precision wherever needed) does not get credited in your formal verification endeavor.
> I believe it would be professional on the part of the verification team to at least acknowledge my work.
自分の解釈でIUTを補強したつもりなのに無視されてて辛い?
433132人目の素数さん
2026/05/14(木) 15:47:58.95ID:Cz7cBDn+ でも
LANAプロジェクトは4つの論文の妥当性について検証するのが目的なのだから
そのGAPが別の論文で埋めらレた(とこの方は主張している?)としても
そのこと自体は別物なのではないですかね?
LANAプロジェクトで円アーベル幾何がLeanに載せられるようになったなら
この方の論文も検証可能になるんじゃないですかね
LANAプロジェクトは4つの論文の妥当性について検証するのが目的なのだから
そのGAPが別の論文で埋めらレた(とこの方は主張している?)としても
そのこと自体は別物なのではないですかね?
LANAプロジェクトで円アーベル幾何がLeanに載せられるようになったなら
この方の論文も検証可能になるんじゃないですかね
434132人目の素数さん
2026/05/14(木) 17:28:40.25ID:o/pIMjax Joshiもバカだよね
重要な問題について長い論文出して一度間違えたらもう相手されないのは当然
望月仕草が通用すると勘違いする馬鹿が増えて
つくづくIUTカルトは害悪でしかないね
重要な問題について長い論文出して一度間違えたらもう相手されないのは当然
望月仕草が通用すると勘違いする馬鹿が増えて
つくづくIUTカルトは害悪でしかないね
435132人目の素数さん
2026/05/14(木) 17:46:26.85ID:o/pIMjax まあ尊師もそうだけど赤の他人に一方的にこんな長文送りつけておいて
相手が懇切丁寧にソレを読み込んで真摯に返信してくれるのが当然なんて勝手に期待してる時点で
どこか精神状態が破綻してると思うゾw
相手が懇切丁寧にソレを読み込んで真摯に返信してくれるのが当然なんて勝手に期待してる時点で
どこか精神状態が破綻してると思うゾw
436132人目の素数さん
2026/05/14(木) 18:49:10.68ID:KD2O3g3V 何度間違っても、最終論文を適切に評価しないと数学が発展しない。
437132人目の素数さん
2026/05/14(木) 19:35:09.40ID:cOgxvxkJ ご心配なく
そこにアイディアがあれば必ず誰かが見つけて使います
iutが拡がらないのは見るべきものが誰にも見つけられなかったからです
そこにアイディアがあれば必ず誰かが見つけて使います
iutが拡がらないのは見るべきものが誰にも見つけられなかったからです
438132人目の素数さん
2026/05/14(木) 19:51:59.04ID:KD2O3g3V 使わなくていいんです、未解決問題が解決したと公式に承認してもらえば。
439132人目の素数さん
2026/05/14(木) 20:01:45.77ID:TVtgerL7440132人目の素数さん
2026/05/14(木) 21:27:24.79ID:Q/kZ5tzM 望月も同僚も手下の学生も十分天才だけど
そいつらが20年の時間を無駄にするのは気の毒だなー
どっかで区切りつけないと若手が討ち死するだけじゃないか
そいつらが20年の時間を無駄にするのは気の毒だなー
どっかで区切りつけないと若手が討ち死するだけじゃないか
441132人目の素数さん
2026/05/14(木) 21:42:38.39ID:/Ojbz0Dg どんなに頭が良くてもモラルがなければ無価値もしくは有害ってことだな
442132人目の素数さん
2026/05/14(木) 21:55:25.90ID:TVtgerL7 まだ断ずるのは時期尚早
443132人目の素数さん
2026/05/14(木) 21:56:48.36ID:NPcljMzS わざわざ書く価値があることかね。
俺は別にiut否定派では無いがw
分からないことは沈黙するのが俺の主義。
俺は別にiut否定派では無いがw
分からないことは沈黙するのが俺の主義。
444132人目の素数さん
2026/05/14(木) 21:57:12.87ID:NPcljMzS445132人目の素数さん
2026/05/14(木) 22:40:12.94ID:oTEacugq ・遠アーベル幾何学と宇宙際タイヒミュラー理論IUTは異なりその応用だ。
➖ ➖
数学の遠アーベル幾何学
▫︎ 岩波数学74巻1号 2022年1月
論説.遠アーベル幾何学の進展。
星裕一郎
1 序文
>ここ十数年の間にいくつかの進展のあった"セクション予想"や双有理 遠アーベル幾何学 といった遠アーベル幾何学のテーマ、そして、遠アーベル幾何学の大きな応用で ある"宇宙際タイヒミュラー理論"に ついて 本稿ではまったくふれることが できなかった。
➖ ➖
数学の遠アーベル幾何学
▫︎ 岩波数学74巻1号 2022年1月
論説.遠アーベル幾何学の進展。
星裕一郎
1 序文
>ここ十数年の間にいくつかの進展のあった"セクション予想"や双有理 遠アーベル幾何学 といった遠アーベル幾何学のテーマ、そして、遠アーベル幾何学の大きな応用で ある"宇宙際タイヒミュラー理論"に ついて 本稿ではまったくふれることが できなかった。
446132人目の素数さん
2026/05/14(木) 22:41:38.47ID:TVtgerL7447132人目の素数さん
2026/05/14(木) 22:44:17.68ID:oTEacugq >>445
続き
zen数学設置認可の申請時に世界で2番目のIUT理論研究拠点「IUGC 宇宙際幾何学センター」を設立したが、
認可後2024年11月に遠アーベル幾何学と 形式化の研究目的とするzen数学センターへ改称された。
(IUGCもIUTもzen大学設置認可はったり宣伝にすぎなかった)
続き
zen数学設置認可の申請時に世界で2番目のIUT理論研究拠点「IUGC 宇宙際幾何学センター」を設立したが、
認可後2024年11月に遠アーベル幾何学と 形式化の研究目的とするzen数学センターへ改称された。
(IUGCもIUTもzen大学設置認可はったり宣伝にすぎなかった)
448132人目の素数さん
2026/05/14(木) 22:44:53.60ID:TVtgerL7449132人目の素数さん
2026/05/14(木) 22:49:57.98ID:oTEacugq450132人目の素数さん
2026/05/14(木) 22:51:19.57ID:NPcljMzS451132人目の素数さん
2026/05/14(木) 22:55:12.13ID:NPcljMzS 次の報告の予定もあるんでしょ。
それまで大人しく待ったらどう?
どうせ論文の内容を知らないのだろうから。
知っていたら何か書いてくれよw
それまで大人しく待ったらどう?
どうせ論文の内容を知らないのだろうから。
知っていたら何か書いてくれよw
452132人目の素数さん
2026/05/14(木) 23:06:26.12ID:cOgxvxkJ 大勢が血道をあげている(予想が従う)大予想を解決したって主張してるんだから
正否についていつまでも不可知ってわけにはいかんでしょ
様子見の時期ならずいぶん前に過ぎてます
望月氏が証明責任を果たしてない、
the mathematical community's standardにあう証明がない
ということに関して数学界のコンセンサスがあると思います
(従ってiut論文を肯定的に引用する人ももういない)
ネット論争じゃないんだから負けを認めない限り
いつまでも引っ張れるなんてもんではないです
反例とか言ってる人は全く見当違いですね
not even wrongで証明がないのです
正否についていつまでも不可知ってわけにはいかんでしょ
様子見の時期ならずいぶん前に過ぎてます
望月氏が証明責任を果たしてない、
the mathematical community's standardにあう証明がない
ということに関して数学界のコンセンサスがあると思います
(従ってiut論文を肯定的に引用する人ももういない)
ネット論争じゃないんだから負けを認めない限り
いつまでも引っ張れるなんてもんではないです
反例とか言ってる人は全く見当違いですね
not even wrongで証明がないのです
453132人目の素数さん
2026/05/14(木) 23:11:57.68ID:oTEacugq 望月新一教授監修の文元IUT本によれば、
望月新一教授の頭なかでだれも話したことがない、新しい言語を用いて組み立てた理論がIUT。
本人しか理解できない
望月新一教授の頭なかでだれも話したことがない、新しい言語を用いて組み立てた理論がIUT。
本人しか理解できない
454132人目の素数さん
2026/05/14(木) 23:19:58.35ID:NPcljMzS >>452
論文があるのに証明が無いとはどういうことか。
証明文のここが誤りで、こういう例が実際に当てはまらないとか言えないの?
貴方は本当に状況が分かっているのか。
理解していないことは言わない方が良いと思うけど…。
論文があるのに証明が無いとはどういうことか。
証明文のここが誤りで、こういう例が実際に当てはまらないとか言えないの?
貴方は本当に状況が分かっているのか。
理解していないことは言わない方が良いと思うけど…。
455132人目の素数さん
2026/05/14(木) 23:35:52.87ID:J/FDW8Ur456132人目の素数さん
2026/05/14(木) 23:39:26.15ID:cOgxvxkJ >>454
論文のここが証明になっていないという指摘なら既に幾らでも出ています
論文のここが証明になっていないという指摘なら既に幾らでも出ています
457132人目の素数さん
2026/05/14(木) 23:48:15.88ID:NPcljMzS なら、修正作業中な訳かね。
leanで上手くいっていないというのは見たが、誤りの指摘の修正に関する書き込みをあまり見ないような気がするからね。
時間が掛かりすぎだからダメみたいな書き込みばかりで、混乱してしまうよ。
leanで上手くいっていないというのは見たが、誤りの指摘の修正に関する書き込みをあまり見ないような気がするからね。
時間が掛かりすぎだからダメみたいな書き込みばかりで、混乱してしまうよ。
458132人目の素数さん
2026/05/14(木) 23:55:24.41ID:cOgxvxkJ >論文があるのに証明が無いとはどういうことか。
>証明文のここが誤りで、こういう例が実際に当てはまらないとか言えないの?
数学論文についての一般的な理解もなければ
>なら、修正作業中な訳かね。
現状がどうなってるかの理解もないわけね
無駄だと思うけどとりあえずこのスレ全部読んでみたら?
>証明文のここが誤りで、こういう例が実際に当てはまらないとか言えないの?
数学論文についての一般的な理解もなければ
>なら、修正作業中な訳かね。
現状がどうなってるかの理解もないわけね
無駄だと思うけどとりあえずこのスレ全部読んでみたら?
459132人目の素数さん
2026/05/15(金) 00:04:45.21ID:qLDrfaLk 無根拠に否定してるのかと思ってね。
まあ、俺も分からんのだから黙っていよう。
こういうスレには立ち入らないようにするよ。
難解過ぎる話には首を突っ込まない主義だから。
まあ、俺も分からんのだから黙っていよう。
こういうスレには立ち入らないようにするよ。
難解過ぎる話には首を突っ込まない主義だから。
460132人目の素数さん
2026/05/15(金) 04:33:16.62ID:/Pta06fW 大半がやっかみなのだろう
461132人目の素数さん
2026/05/15(金) 05:58:49.89ID:g2Gm/kf0 ニュースがあったときは問題が定理〇〇から系〇〇に移り変わったみたいな有益なことが書かれていたが、音沙汰がなくなると意味の薄い批判になりがちな気がするから嫌なんよね。
462132人目の素数さん
2026/05/15(金) 06:13:17.14ID:Q+1OpMUT こういう音沙汰が無いときに、少しは論文を最初のページあたりでも読んでみようかみたいな、前向きな感じがあっても良さそう。
定理やleanみたいなニュースの外枠をなぞるだけでなく、肝心の論文の内容について触れている書き込みは果たしてあるのだろうか。
定理やleanみたいなニュースの外枠をなぞるだけでなく、肝心の論文の内容について触れている書き込みは果たしてあるのだろうか。
463132人目の素数さん
2026/05/15(金) 07:40:43.61ID:xLOJQ2cL 月の裏側が分からないから
じゃあ自分でロケット作ってみるか
とは普通ならないんじゃない?
じゃあ自分でロケット作ってみるか
とは普通ならないんじゃない?
464132人目の素数さん
2026/05/15(金) 07:59:40.40ID:EshrEHQe 途中までは合ってるんでしょ。
465132人目の素数さん
2026/05/15(金) 14:51:28.44ID:Lfrn45sp 根本で破綻してる望月の虚構が受け入れられることは今後ないよ
Joshiが誰にも相手にされてないのと同じこと
Joshiが誰にも相手にされてないのと同じこと
466132人目の素数さん
2026/05/16(土) 13:29:53.82ID:QKBsyV7h467132人目の素数さん
2026/05/16(土) 16:10:32.89ID:hKfyi8kd 星が1年以上補完を試みても結局リーンは通らなかった
虚構であったことはお天道様にもバレつつある
望月はまたスピリチュアル論で逃げるんだろうけどね
虚構であったことはお天道様にもバレつつある
望月はまたスピリチュアル論で逃げるんだろうけどね
468132人目の素数さん
2026/05/16(土) 16:20:22.64ID:QKBsyV7h >>120で
> Koshikawa had a similar problem(3.11→3.12)、and when he asked Mochizuki about it, the latter responded that the deduction is self.evident.
・3.11 →3.12はself.evident
明らか自明だ。
3.11→3.11.5→3.12 、
中間に定理3.11.5を挟むことは
自明でなく後付けの誤魔化しだ
> Koshikawa had a similar problem(3.11→3.12)、and when he asked Mochizuki about it, the latter responded that the deduction is self.evident.
・3.11 →3.12はself.evident
明らか自明だ。
3.11→3.11.5→3.12 、
中間に定理3.11.5を挟むことは
自明でなく後付けの誤魔化しだ
469132人目の素数さん
2026/05/17(日) 10:55:54.64ID:NykPgajE >>467
でもLeanのおかげで明確にこいつら間違ってたってのが分かったのは良かったと思うわ
でもLeanのおかげで明確にこいつら間違ってたってのが分かったのは良かったと思うわ
470132人目の素数さん
2026/05/17(日) 11:07:30.42ID:RpbSuRZd471132人目の素数さん
2026/05/17(日) 11:11:07.85ID:RpbSuRZd ダメな理由が反例しか思いつかない人も居るようだが(たぶん某スレの彼の人?)
leanに乗ってダメだとなるのは反例構成するということじゃなくて
論旨展開がダメだってことだよ
iut論文がダメダメだって言われてるのはそこ(らしい)
leanに乗ってダメだとなるのは反例構成するということじゃなくて
論旨展開がダメだってことだよ
iut論文がダメダメだって言われてるのはそこ(らしい)
472132人目の素数さん
2026/05/17(日) 12:12:32.69ID:CqmbJ2zK 批判したければ、section1の少しくらい読めば良いのに。
473132人目の素数さん
2026/05/17(日) 12:18:23.47ID:CqmbJ2zK どんな論旨か知っているのなら、批判はアリなんじゃないの。
474132人目の素数さん
2026/05/17(日) 16:28:08.14ID:d9VmhJwU475132人目の素数さん
2026/05/17(日) 20:15:43.52ID:LbqI0DUa そもそも反例が挙げられなければ正しいって数学として破綻してる態度だな
476132人目の素数さん
2026/05/17(日) 20:19:59.54ID:P0kLTsDl 論文読まずに批判するのって数学的な態度なん?
477132人目の素数さん
2026/05/17(日) 20:26:38.78ID:P0kLTsDl アマチュアはアマチュアらしいスレで活動したら良いんじゃないかというのが俺の考え。
一数学徒の意見です。
一数学徒の意見です。
478132人目の素数さん
2026/05/17(日) 20:39:29.51ID:RpbSuRZd479132人目の素数さん
2026/05/17(日) 20:59:38.76ID:P0kLTsDl 俺は批判はしとらんから。
たしなめてるだけのこと。
たしなめてるだけのこと。
480132人目の素数さん
2026/05/17(日) 21:00:52.53ID:P0kLTsDl 活動イコール批判のつもりで書いた訳。
481132人目の素数さん
2026/05/17(日) 21:25:47.34ID:wjSg7WNr482132人目の素数さん
2026/05/17(日) 21:28:57.21ID:V/3/pPF6 結局ショルツって誠実だったんだな
483132人目の素数さん
2026/05/17(日) 21:56:26.06ID:d9VmhJwU >>477
ゲラゲラそれがテメエだろ朝鮮人
ゲラゲラそれがテメエだろ朝鮮人
484132人目の素数さん
2026/05/17(日) 22:12:47.14ID:LbqI0DUa 望月は不誠実極まりないよね
ショルツスティックスへの自分のこと棚に上げての誹謗中傷は論外だし
Joshiに対するあの態度もないわな
自分が散々被害者ぶってた「自分のことを頑なに認めようとしない人たち」
と全く同じことしてるよね
結局自分の人格がああだからああいう荒唐無稽な被害妄想に陥るんだろうね
自分の論文の欠落を棚に上げて w
ショルツスティックスへの自分のこと棚に上げての誹謗中傷は論外だし
Joshiに対するあの態度もないわな
自分が散々被害者ぶってた「自分のことを頑なに認めようとしない人たち」
と全く同じことしてるよね
結局自分の人格がああだからああいう荒唐無稽な被害妄想に陥るんだろうね
自分の論文の欠落を棚に上げて w
485132人目の素数さん
2026/05/17(日) 23:15:17.02ID:NykPgajE >>470
少なくとも連中が言うように自明なことではないことは明らかになっただろ
少なくとも連中が言うように自明なことではないことは明らかになっただろ
486132人目の素数さん
2026/05/17(日) 23:45:17.00ID:lKJ9J+1L そうだね、自明なら3.11.5なんて無いはずだからね
487132人目の素数さん
2026/05/18(月) 01:23:30.76ID:uQyYme4a 自明だけど一応補題挟むよ(`・ω・´)
488132人目の素数さん
2026/05/18(月) 01:59:41.29ID:4UPodirV ・3.11→3.12はIUTが全く新しい理論とすれば自明でIUT論文は完全かつabc予想を証明したことは正しい。
2020年4月3日
IUT論文受理の記者会見 のPRIMS編集委員長の発言は、
IUT論文は全く新しい理論かつ
完全な論文で正しいと判断した。
「全く新しい理論」とは
望月新一監修加藤文元著のIUT本
でいうパラダイムシフトされた
理論では自明なのだろう。
>>455
➖
・2020年4月3日 IUT論文受理の記者会見 では
玉川安騎男教授
「完全な論文ができた」
「全く新しい理論で、さらなるインパクトを生み出す可能性がある」毎日
・柏原正樹特任教授
「ABC予想を証明した望月氏の論文が正しいものであると判断した」産経
2020年4月3日
IUT論文受理の記者会見 のPRIMS編集委員長の発言は、
IUT論文は全く新しい理論かつ
完全な論文で正しいと判断した。
「全く新しい理論」とは
望月新一監修加藤文元著のIUT本
でいうパラダイムシフトされた
理論では自明なのだろう。
>>455
➖
・2020年4月3日 IUT論文受理の記者会見 では
玉川安騎男教授
「完全な論文ができた」
「全く新しい理論で、さらなるインパクトを生み出す可能性がある」毎日
・柏原正樹特任教授
「ABC予想を証明した望月氏の論文が正しいものであると判断した」産経
489132人目の素数さん
2026/05/18(月) 02:05:34.21ID:ZSGDAThh 補題が要るなら自明じゃないだろ
490132人目の素数さん
2026/05/18(月) 02:50:56.99ID:BheH5Rdz 全て虚偽の証言だったわけだね
491132人目の素数さん
2026/05/18(月) 06:12:52.96ID:5lIfprUa 7月17日まで待てないわけだね
492132人目の素数さん
2026/05/18(月) 08:43:58.73ID:UWx8Yai/ 茶番劇にはこの十数年もう散々つき合わされて飽き飽きしてっから
493132人目の素数さん
2026/05/18(月) 09:18:11.15ID:KClgArgi 付き合わされる、か…。
関係者か。
関係者か。
494132人目の素数さん
2026/05/18(月) 12:30:14.51ID:vMeJyynC 同分野でポエム吟じずに堅実にやってた人たちは冷飯食わされてるの?
495132人目の素数さん
2026/05/18(月) 18:19:09.46ID:WFEtv/AJ 数学はどこへ行くのか?
kevin Buzzard
>過去2500年間、数学のやり方は驚くほど変化していません。
ユークリッドの『原論』には補題.定理. 証明が記されており、その内容は過去の研究を基盤としつつ現代の数学の教科書と基本的に同じスタイルで提示されています。
こうした惰性(慣性)の結果として、人類は今や驚異的な数学的知識の集積を誇っています。
> This knowledge is mostly correct, sometimes poorly presented and poorly referenced, is sometimes only “known to
the experts,” contains plenty of errors (some serious), and gives rise to farcical situations such as the ABC conjecture,
an important conjecture with a published proof in a reputabl
e journal that many do not believe is correct.
>この知識は大部分は正しいものの、 時には提示が不十分で参考文献も乏しく「専門家だけが知っている」という場合もあり、多くの誤り(中には深刻なものも)を含み、ABC予想のような茶番劇的な状況を生み出しています。
ABC予想は、著名な学術誌に証明が掲載されたものの、多くの人が正しいとは信じていない重要な予想です。
注意.
・kevin Buzzard.
2022ICM ではPlenary and Invited Speakers.
専門は数論幾何とleanによる形式化
・farcical situations such as
the ABC conjecture,
ABC予想のような茶番劇的な状況
・著名な学術誌a reputabl evident journal 京大数理研の数学誌PRIMS (望月新一編集委員長)
kevin Buzzard
>過去2500年間、数学のやり方は驚くほど変化していません。
ユークリッドの『原論』には補題.定理. 証明が記されており、その内容は過去の研究を基盤としつつ現代の数学の教科書と基本的に同じスタイルで提示されています。
こうした惰性(慣性)の結果として、人類は今や驚異的な数学的知識の集積を誇っています。
> This knowledge is mostly correct, sometimes poorly presented and poorly referenced, is sometimes only “known to
the experts,” contains plenty of errors (some serious), and gives rise to farcical situations such as the ABC conjecture,
an important conjecture with a published proof in a reputabl
e journal that many do not believe is correct.
>この知識は大部分は正しいものの、 時には提示が不十分で参考文献も乏しく「専門家だけが知っている」という場合もあり、多くの誤り(中には深刻なものも)を含み、ABC予想のような茶番劇的な状況を生み出しています。
ABC予想は、著名な学術誌に証明が掲載されたものの、多くの人が正しいとは信じていない重要な予想です。
注意.
・kevin Buzzard.
2022ICM ではPlenary and Invited Speakers.
専門は数論幾何とleanによる形式化
・farcical situations such as
the ABC conjecture,
ABC予想のような茶番劇的な状況
・著名な学術誌a reputabl evident journal 京大数理研の数学誌PRIMS (望月新一編集委員長)
496132人目の素数さん
2026/05/18(月) 20:16:46.85ID:xg40t5UC >>491
何年経ってこのザマか理解できないのか朝鮮JIN
何年経ってこのザマか理解できないのか朝鮮JIN
497132人目の素数さん
2026/05/19(火) 09:27:54.33ID:0PxwlavD カドカワ金無くなってきたんか?
朝鮮麻生笹川ザマw
朝鮮麻生笹川ザマw
498132人目の素数さん
2026/05/19(火) 09:42:45.69ID:+L+uLvac ABC茶番劇
さすが論文撤回大国
さすが論文撤回大国
499132人目の素数さん
2026/05/19(火) 11:28:30.91ID:NAC5JR1f その問題に関しては7月17日まで何もコメントする気になれない
500132人目の素数さん
2026/05/19(火) 11:35:16.36ID:OzvSG8FI ニュースが無ければ、自分で論文を見た感想を書くぐらいで良いんじゃないか。
501132人目の素数さん
2026/05/19(火) 11:37:04.05ID:NAC5JR1f 7月17日にすべてが覆される可能性もある
502132人目の素数さん
2026/05/19(火) 11:42:44.71ID:aQ0Q/fjo 7/17にIUTが正しかったと判定されるかも知れないが
その場合7/17以前にすぐに発表するんじゃないかな
7/17まで何もアナウンス無ければ
IUTが正しかったと判定はできていないことなのだろうから
「今後も頑張ります」とのお気持ち表明だけになるのかも
知らんけど
その場合7/17以前にすぐに発表するんじゃないかな
7/17まで何もアナウンス無ければ
IUTが正しかったと判定はできていないことなのだろうから
「今後も頑張ります」とのお気持ち表明だけになるのかも
知らんけど
503132人目の素数さん
2026/05/19(火) 11:47:55.66ID:NAC5JR1f >7/17まで何もアナウンス無ければ
>IUTが正しかったと判定はできていないことなのだろう
ごもっとも。
しかし正しいと判定され場合でも
もったいをつけることは考えられる。
>IUTが正しかったと判定はできていないことなのだろう
ごもっとも。
しかし正しいと判定され場合でも
もったいをつけることは考えられる。
504132人目の素数さん
2026/05/19(火) 11:50:40.70ID:aQ0Q/fjo なるほど
LANAプロジェクト大成功だってことでね
LANAプロジェクト大成功だってことでね
505132人目の素数さん
2026/05/19(火) 11:59:52.08ID:NAC5JR1f 訂正
判定され場合ーー>判定された場合
判定され場合ーー>判定された場合
506132人目の素数さん
2026/05/19(火) 12:55:28.58ID:Mp5GkibC >「今後も頑張ります」とのお気持ち表明だけになるのかも
まあこれだろうな。もうずっとこれだもの
まあこれだろうな。もうずっとこれだもの
507132人目の素数さん
2026/05/19(火) 13:16:40.22ID:NAC5JR1f 今度そうだったら完全に見放されるだろう
508132人目の素数さん
2026/05/19(火) 13:32:27.87ID:0PxwlavD キチガイ&全角英数字www
IUT擁護派ww
ID:aQ0Q/fjo
IUT擁護派ww
ID:aQ0Q/fjo
509132人目の素数さん
2026/05/19(火) 13:41:28.24ID:0PxwlavD510132人目の素数さん
2026/05/19(火) 13:42:41.34ID:0PxwlavD ブラックボックスで捻り出した言い訳がコミュニケーションツールwだからな
511132人目の素数さん
2026/05/19(火) 22:15:16.36ID:NrhLCZVf 22℃
512132人目の素数さん
2026/05/20(水) 08:03:59.37ID:9sCCqveo ICM2030には東京早稲田大学日本.
香港大学中国.グラスゴー大学英国が立候補してる。
2026年7月!の国際数学連合(IMU中島啓総裁)総会にて投票より決定する。
香港大学中国.グラスゴー大学英国が立候補してる。
2026年7月!の国際数学連合(IMU中島啓総裁)総会にて投票より決定する。
513132人目の素数さん
2026/05/20(水) 08:14:15.04ID:9sCCqveo IMU総裁及びICM2030招致委員会の名誉委員長.委員長.委員とIUT論文受理の茶番劇
・中島啓IMU総裁。
全く新しい理論IUTTよりabc予想を証明したとする論文を受理した京大数理研PRIMSの(特別)編委員会の委員。
全く新しい理論は言語体系から未完で「望月新一教授は、言うなれば、だれも 話したことがない、新しい言語を 用いて理論を組み立てました。」
by 望月新一監修加藤文元著IUT本
ICM2030日本招致委員会
(日本数学会)
・森重文名誉委員長(元IMU総裁)。
IUT論文の査読中にscholzeへcor.3.12他について望月新一とミーティングを提案したにも関わらずscholzestixレポートへ
ノーコメントで、
IUT論文の査読中に次世代幾何学センター(望月新一センター長)の特任教授になる。
多分ミーティングの提案目的は
IUT論文受理の環境整備だったのだろう。
・河東泰之委員長。
京大数学誌PRIMS(特別)編集委員会の 委員。
・小谷元子委員長。
サイディは望月新一と2人セミナーでIUT論文を協議修正したにもかかわらず、 2018外部評価委員とレビュアーを行ったマッチポンプ型政治屋。
サイディと共に2018年京大RIMS外部評価委員。
「望月教授の研究は型破りなものであるが、広範囲にわたる、想像力豊かな研究プログラム」と高く評価。
・熊谷隆委員
京大数学誌PRIMS(特別)編集委員会の委員。現在早稲田大学在籍
・望月拓郎委員。
京大数学誌PRIMS(特別)編集委員会の委員。
・中島啓IMU総裁。
全く新しい理論IUTTよりabc予想を証明したとする論文を受理した京大数理研PRIMSの(特別)編委員会の委員。
全く新しい理論は言語体系から未完で「望月新一教授は、言うなれば、だれも 話したことがない、新しい言語を 用いて理論を組み立てました。」
by 望月新一監修加藤文元著IUT本
ICM2030日本招致委員会
(日本数学会)
・森重文名誉委員長(元IMU総裁)。
IUT論文の査読中にscholzeへcor.3.12他について望月新一とミーティングを提案したにも関わらずscholzestixレポートへ
ノーコメントで、
IUT論文の査読中に次世代幾何学センター(望月新一センター長)の特任教授になる。
多分ミーティングの提案目的は
IUT論文受理の環境整備だったのだろう。
・河東泰之委員長。
京大数学誌PRIMS(特別)編集委員会の 委員。
・小谷元子委員長。
サイディは望月新一と2人セミナーでIUT論文を協議修正したにもかかわらず、 2018外部評価委員とレビュアーを行ったマッチポンプ型政治屋。
サイディと共に2018年京大RIMS外部評価委員。
「望月教授の研究は型破りなものであるが、広範囲にわたる、想像力豊かな研究プログラム」と高く評価。
・熊谷隆委員
京大数学誌PRIMS(特別)編集委員会の委員。現在早稲田大学在籍
・望月拓郎委員。
京大数学誌PRIMS(特別)編集委員会の委員。
514132人目の素数さん
2026/05/20(水) 08:16:50.52ID:fOIiubmR 大本営みたいだな
515132人目の素数さん
2026/05/20(水) 08:37:16.37ID:R7Zho1H5 >河東泰之委員長。
>京大数学誌PRIMS(特別)編集委員会の 委員。
んなわけあるか
そんなことも分からんドシロウト
>京大数学誌PRIMS(特別)編集委員会の 委員。
んなわけあるか
そんなことも分からんドシロウト
516132人目の素数さん
2026/05/20(水) 08:59:36.58ID:W2gWhsta 東大教授はPRIMS編集委員会に入っていないのか
517132人目の素数さん
2026/05/20(水) 09:38:42.49ID:9sCCqveo >>513
訂正
×河東泰之委員長。
京大数学誌PRIMS(特別)編集委員会の
委員
⚪︎ 削除
京大数理研数学誌PRIMSの(特別編集
委員会は京大数理研教授で構成された。
河東泰之氏は数理研専門委員で教授
でないから委員ではありません
訂正
×河東泰之委員長。
京大数学誌PRIMS(特別)編集委員会の
委員
⚪︎ 削除
京大数理研数学誌PRIMSの(特別編集
委員会は京大数理研教授で構成された。
河東泰之氏は数理研専門委員で教授
でないから委員ではありません
518132人目の素数さん
2026/05/20(水) 09:54:59.42ID:9sCCqveo519132人目の素数さん
2026/05/20(水) 10:37:28.85ID:3DegEOjF ID:9sCCqveo
このクソ漏らしゴミJIN?
このクソ漏らしゴミJIN?
520132人目の素数さん
2026/05/20(水) 10:45:56.10ID:9sCCqveo521132人目の素数さん
2026/05/20(水) 11:27:07.87ID:8085lwzN 早稲田でなんてやってもつまらんし
香港がいいなぁ
ジジイどもは自分のトロフィー欲しさにICMなんか呼ぶのに必死すぎだろ
香港がいいなぁ
ジジイどもは自分のトロフィー欲しさにICMなんか呼ぶのに必死すぎだろ
522132人目の素数さん
2026/05/20(水) 11:36:44.98ID:fNi5ljyA ICM90のときは
「京都でなんて」
なんて不満は
きかなかった
3万円の寄付はちょっと痛かったが
「京都でなんて」
なんて不満は
きかなかった
3万円の寄付はちょっと痛かったが
523132人目の素数さん
2026/05/20(水) 11:58:01.64ID:fNi5ljyA 早稲田になったらサテライトがいっぱいできそう
524132人目の素数さん
2026/05/20(水) 14:03:18.87ID:ptcoqGs6 さてさて次はどんな言い訳をするんだろうな
525132人目の素数さん
2026/05/20(水) 14:23:08.87ID:fNi5ljyA 7月17日まで待たねば
526132人目の素数さん
2026/05/20(水) 15:40:05.25ID:jyzuN0Sp LANAの結果でIUT撤回ってありうるの?
527132人目の素数さん
2026/05/20(水) 17:00:29.55ID:3DegEOjF528132人目の素数さん
2026/05/20(水) 17:37:20.88ID:8085lwzN LEANが通るわけないなんてわかりきったことだが
どうせまた精神論で権威振り翳して逃げるだけだろ 最後は逆ギレで決別だなw
どうせまた精神論で権威振り翳して逃げるだけだろ 最後は逆ギレで決別だなw
529132人目の素数さん
2026/05/20(水) 21:01:51.74ID:R7Zho1H5 ID:9sCCqveoは東大教授がPRIMS編集に関わるわきゃないって
常識すらないドシロウト
当然専門委員が何であるかも分かってない
日本で一定以上の業績があればRIMS拠点事業に
何らかの関りがあって当たり前ということも分かってない
ドシロウトの癖になぜiutに粘着してるのかすら不明
(これはsetaとかにも当てはまるなw)
どうせ自分を認めなかったアカデミアはみなiutに
連なるような不純な奴らということにしたいだけ
常識すらないドシロウト
当然専門委員が何であるかも分かってない
日本で一定以上の業績があればRIMS拠点事業に
何らかの関りがあって当たり前ということも分かってない
ドシロウトの癖になぜiutに粘着してるのかすら不明
(これはsetaとかにも当てはまるなw)
どうせ自分を認めなかったアカデミアはみなiutに
連なるような不純な奴らということにしたいだけ
530132人目の素数さん
2026/05/21(木) 00:26:15.77ID:pORnWomD531132人目の素数さん
2026/05/21(木) 00:40:22.87ID:pORnWomD (>>21)
> 関わっている 数名の研究者(サイディ.山下剛.星)を除けば、世界の 全ての数論幾何の研究者(=連続論文が公開された時点.2012年8月での山下剛氏も含めて)はIUTの周辺にある数学に関しては「全くの素人」であり、での山下剛氏も含めて)はIUTの周辺にある数学に関しては「全くの素人」であり、これまでの研究業績の上に成り立っている「深い理解」を活用してIUTの成否に関する決定的な(=数学的に意味がある」)判定を下す資格が本質的にありません
> 関わっている 数名の研究者(サイディ.山下剛.星)を除けば、世界の 全ての数論幾何の研究者(=連続論文が公開された時点.2012年8月での山下剛氏も含めて)はIUTの周辺にある数学に関しては「全くの素人」であり、での山下剛氏も含めて)はIUTの周辺にある数学に関しては「全くの素人」であり、これまでの研究業績の上に成り立っている「深い理解」を活用してIUTの成否に関する決定的な(=数学的に意味がある」)判定を下す資格が本質的にありません
532132人目の素数さん
2026/05/21(木) 00:46:48.23ID:pORnWomD >>531
こちら
> 「既にIUTの検証活動に関わっている
数名の研究者(サイディ.山下剛.星)を除けば、世界の 全ての数論幾何の研究者(=連続論文が公開された時点.2012年8月での山下剛氏も含めて)はIUTの周辺にある数学に関しては「全くの素人」であり、これまでの研究業績の上に成り立っている「深い理解」を活用してIUTの成否に関する決定的な(=数学的に意味がある」)判定を下す資格が本質的にありません
こちら
> 「既にIUTの検証活動に関わっている
数名の研究者(サイディ.山下剛.星)を除けば、世界の 全ての数論幾何の研究者(=連続論文が公開された時点.2012年8月での山下剛氏も含めて)はIUTの周辺にある数学に関しては「全くの素人」であり、これまでの研究業績の上に成り立っている「深い理解」を活用してIUTの成否に関する決定的な(=数学的に意味がある」)判定を下す資格が本質的にありません
533132人目の素数さん
2026/05/21(木) 02:10:59.48ID:FndmyL5y 部外者のショルツの質疑に応えられなかったくせに
この言い訳は苦しすぎるwww
この言い訳は苦しすぎるwww
534132人目の素数さん
2026/05/21(木) 07:14:35.56ID:ZMHBFBvC535132人目の素数さん
2026/05/21(木) 08:24:24.67ID:Kf34YR/k 雷注意報
発令中
発令中
537132人目の素数さん
2026/05/21(木) 12:18:33.47ID:MpLOtlFP 24℃
くもり
雨が近づいています
くもり
雨が近づいています
538132人目の素数さん
2026/05/21(木) 20:11:10.60ID:ZMHBFBvC539132人目の素数さん
2026/05/21(木) 21:45:41.69ID:/aWQORhi ブログでも数学的厳密性を強調してるんだからリーンが通らなかったら潔く負けを認めるんやないの
本当に正しいと思ってるだけで別に狂人やないやろ
本当に正しいと思ってるだけで別に狂人やないやろ
540132人目の素数さん
2026/05/21(木) 21:54:11.25ID:FndmyL5y PDFの容量は有限なのに
証明を書き切ることは不可能ではないか?
みたいな言い訳してただろ
精神論の望月オカルトで逃げるだけだね w
証明を書き切ることは不可能ではないか?
みたいな言い訳してただろ
精神論の望月オカルトで逃げるだけだね w
541132人目の素数さん
2026/05/21(木) 22:20:32.32ID:BgEckPtT542132人目の素数さん
2026/05/21(木) 22:38:06.31ID:BgEckPtT (>>455) これがIUT
543132人目の素数さん
2026/05/22(金) 14:29:03.39ID:dar3AAKy 京大とRIMSにはIUTが成立しているかどうか早々に決定する意思と動機ってきちんと持ってる?
科学的にも商業的にも動機のある川上と加藤はLANAでがんばってるけど、
成立してない、もしくは、成立しているか分からない、というところまで持ってかないと
RIMSはIUTを研究し続けないといけなくなるんでしょう?
実質の唯一の査読者の星がLANAで失敗を認めさせられるのを契機に
RIMSの編集委員に論文の掲載撤回を求められたらそれに同意して全て終わにならないか
科学的にも商業的にも動機のある川上と加藤はLANAでがんばってるけど、
成立してない、もしくは、成立しているか分からない、というところまで持ってかないと
RIMSはIUTを研究し続けないといけなくなるんでしょう?
実質の唯一の査読者の星がLANAで失敗を認めさせられるのを契機に
RIMSの編集委員に論文の掲載撤回を求められたらそれに同意して全て終わにならないか
544132人目の素数さん
2026/05/22(金) 17:55:33.27ID:tDdkFksC545132人目の素数さん
2026/05/23(土) 06:06:51.04ID:LkKTTo3Z >RIMSはIUTを研究し続けないといけなくなるんでしょう?
意味不明
意味不明
546132人目の素数さん
2026/05/23(土) 14:15:16.47ID:lM4g9QOt ゲラゲラ
IUTのバック死にそうじゃんw
KADOKAWAのCEO・夏野剛さん、筆頭株主に133ページに及ぶ資料の中でボロカスに批判され、解任要求されてしまう [594040874]
https://greta.5ch.io/test/read.cgi/poverty/1779497010/
IUTのバック死にそうじゃんw
KADOKAWAのCEO・夏野剛さん、筆頭株主に133ページに及ぶ資料の中でボロカスに批判され、解任要求されてしまう [594040874]
https://greta.5ch.io/test/read.cgi/poverty/1779497010/
547132人目の素数さん
2026/05/24(日) 06:38:33.95ID:fwq1NGv3 京都大学は研究不正を平気で隠蔽する組織なんで
548132人目の素数さん
2026/05/24(日) 14:13:50.90ID:JMxkKJvD 数学において、グロタンディーク・タイヒミュラー群 GTは、有理数の絶対ガロア群と密接に関連し(場合によっては等しい)群です。これは、ウラジミール・ドリンフェルド ( 1990 年) によって導入され、アレクサンダー・グロタンディークとオズワルド・タイヒミュラーにちなんで名付けられました。これは、グロタンディークが 1984 年の論文Esquisse d'un Programmeで、有理数の絶対ガロア群を、種数gの曲線のモジュライスタックからn点を取り除いた基本群であるタイヒミュラー群状体T g , nのタイヒミュラータワーへの作用と関連付けて研究することを提案したことに基づいています。
このグループにはいくつかのバリエーションがあります。
動機的なプロ-lバージョン[ 1 ]
k-プロ単能性バージョン、そして
非可換なプロ有限バージョン[ 2 ]、[ 3 ]。
これらのバージョンは、V. DrinfeldとY. Iharaによって共同で定義された。
このグループにはいくつかのバリエーションがあります。
動機的なプロ-lバージョン[ 1 ]
k-プロ単能性バージョン、そして
非可換なプロ有限バージョン[ 2 ]、[ 3 ]。
これらのバージョンは、V. DrinfeldとY. Iharaによって共同で定義された。
549132人目の素数さん
2026/05/24(日) 19:46:50.56ID:b1VxV4As レス543
>実質の唯一の査読者の星
・望月新一教授が指導教授の星をIUT
の理解者と望月新一教授が指定しただけだ。
星は星入門サーベイでも詳しくはIUT論文を読めと丸投げした。
・数学から見た実質の査読者は特にscholze。
森重文京大教授の提案より2018年3月scholze.stix.望月星のミーティングが行われ、主にミーティングに基づくレポートを提出した。
・レポートへ望月新一氏の回答が
望月新一監修加藤文元著
宇宙と宇宙を繋ぐ数学。
レス>310 >312 >316>333
>334など
望月新一教授が監修済みで、
IUT論文の評価は確定済み。
例えば (>>316)
望月新一監修 本文 P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。
>実質の唯一の査読者の星
・望月新一教授が指導教授の星をIUT
の理解者と望月新一教授が指定しただけだ。
星は星入門サーベイでも詳しくはIUT論文を読めと丸投げした。
・数学から見た実質の査読者は特にscholze。
森重文京大教授の提案より2018年3月scholze.stix.望月星のミーティングが行われ、主にミーティングに基づくレポートを提出した。
・レポートへ望月新一氏の回答が
望月新一監修加藤文元著
宇宙と宇宙を繋ぐ数学。
レス>310 >312 >316>333
>334など
望月新一教授が監修済みで、
IUT論文の評価は確定済み。
例えば (>>316)
望月新一監修 本文 P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。
550132人目の素数さん
2026/05/27(水) 10:40:47.40ID:ohZrsTmm ・woit blog 2026.5.1
> Kirti Joshi has made available here his concerns and comments concerning the project to formalize the Mochizuki proof.
キルティ・ジョシ氏は、望月証明を形式化するプロジェクトに関する懸念事項と意見をここに公開している。Google 翻訳
・
なお joshiは2021年IUT論文に
基づいているが、望月新一監修加藤文元著IUT本は2021年9月までのカンファレンス「IUTTの拡がり」で公式本だ。
> Kirti Joshi has made available here his concerns and comments concerning the project to formalize the Mochizuki proof.
キルティ・ジョシ氏は、望月証明を形式化するプロジェクトに関する懸念事項と意見をここに公開している。Google 翻訳
・
なお joshiは2021年IUT論文に
基づいているが、望月新一監修加藤文元著IUT本は2021年9月までのカンファレンス「IUTTの拡がり」で公式本だ。
551132人目の素数さん
2026/05/27(水) 10:43:43.34ID:ohZrsTmm552132人目の素数さん
2026/05/28(木) 16:54:02.11ID:Wj86FOC3 Interview with MPIM Director Peter Scholze
マックスプランク数学研究所 所長Peter Scholzeへインタビュー。
・数論と幾何学の関係を理解する事
・14分頃から
leanによる形式化と数学の証明。
定義や小さな構文がトリックの可能性があるかどうか自ら確認
していない
マックスプランク数学研究所 所長Peter Scholzeへインタビュー。
・数論と幾何学の関係を理解する事
・14分頃から
leanによる形式化と数学の証明。
定義や小さな構文がトリックの可能性があるかどうか自ら確認
していない
553132人目の素数さん
2026/05/28(木) 16:56:46.89ID:Wj86FOC3554132人目の素数さん
2026/05/28(木) 18:21:43.53ID:GUZiy/Mx あっw
同じ手口だw
33 名無しさん@実況は禁止ですよ 警備員[Lv.3] (ワッチョイ 1347-h4v0) 2026/05/27(水) 15:02:09.76 ID:KVhGBc830
今日Xのタイムラインでやたらとニコニコ動画を褒めまくってる(よいしょ)ポストが流れてるんだけど、ニコニコを褒め称えるバイトでもあるのかな
今までの運営を全然しらない人がポストしてるようなのばっかり
https://egg.5ch.io/test/read.cgi/streaming/1779421814/33
40 名無しさん@実況は禁止ですよ 警備員[Lv.0][新芽] (ワッチョイ ab0c-S3fo) 2026/05/28(木) 14:05:00.35 ID:w+lIvLur0
>>33
まじなんなんだろうなあれ、最近流れてきてきっしょいわ
だれか言ってやれよ、糞運営は相変わらずだと
https://egg.5ch.io/test/read.cgi/streaming/1779421814/40
同じ手口だw
33 名無しさん@実況は禁止ですよ 警備員[Lv.3] (ワッチョイ 1347-h4v0) 2026/05/27(水) 15:02:09.76 ID:KVhGBc830
今日Xのタイムラインでやたらとニコニコ動画を褒めまくってる(よいしょ)ポストが流れてるんだけど、ニコニコを褒め称えるバイトでもあるのかな
今までの運営を全然しらない人がポストしてるようなのばっかり
https://egg.5ch.io/test/read.cgi/streaming/1779421814/33
40 名無しさん@実況は禁止ですよ 警備員[Lv.0][新芽] (ワッチョイ ab0c-S3fo) 2026/05/28(木) 14:05:00.35 ID:w+lIvLur0
>>33
まじなんなんだろうなあれ、最近流れてきてきっしょいわ
だれか言ってやれよ、糞運営は相変わらずだと
https://egg.5ch.io/test/read.cgi/streaming/1779421814/40
555132人目の素数さん
2026/05/29(金) 06:58:12.73ID:V6ITruI4 火曜日に話した人は
望月理論をたいへん高く評価していたが
検証の話を知らなかった。
望月理論をたいへん高く評価していたが
検証の話を知らなかった。
556132人目の素数さん
2026/05/29(金) 08:57:38.77ID:V6ITruI4 40年前から同じ問題に取り組んでいる人で
それについて論文を書いているところだと言っていた。
「論文にしないと誰も信用してくれませんからね」
と言っていたが
700ページの論文を書いても危ないとは
あまり思っていないようだった。
それについて論文を書いているところだと言っていた。
「論文にしないと誰も信用してくれませんからね」
と言っていたが
700ページの論文を書いても危ないとは
あまり思っていないようだった。
557132人目の素数さん
2026/05/29(金) 10:23:36.76ID:/CxzB/+J 川上とかいうクソゴミどこに逃げてんの?
558132人目の素数さん
2026/05/29(金) 10:56:24.87ID:XlDWbW9z 逃げるって?只のスポンサーでしょう
zen大学設立できたんだから満足してるのでは
zen大学設立できたんだから満足してるのでは
559132人目の素数さん
2026/05/29(金) 12:54:43.37ID:/CxzB/+J バカチョン「た、、ただのスポンサーだからあ責任なーい」
まあ税金抜きゃ井だけだもんなw
ゲラゲラ
ザコの遠吠えw
まあ税金抜きゃ井だけだもんなw
ゲラゲラ
ザコの遠吠えw
560132人目の素数さん
2026/05/29(金) 14:04:56.03ID:xzFpGX5Z >>553
数学の先生ってみんなこのシャツを着てるイメージなんだが同じブランドなんだろうか
数学の先生ってみんなこのシャツを着てるイメージなんだが同じブランドなんだろうか
561132人目の素数さん
2026/05/30(土) 22:05:21.85ID:bSiKlz/A562132人目の素数さん
2026/05/31(日) 06:31:22.69ID:0jQjC6CC 7月17日はzen大学にとっても
意味のある日になるだろう
意味のある日になるだろう
563132人目の素数さん
2026/05/31(日) 14:18:06.65ID:L4PfG3Ly 同じ系統のドワンゴ国産LLMのオッサンもいい感じに仕上がってきたなw
訴訟がどうの喚き始めたw
訴訟がどうの喚き始めたw
564132人目の素数さん
2026/05/31(日) 15:05:25.19ID:ARXMxDns >>563
気色悪い懸念国人は死ねよ恥知らずが。
気色悪い懸念国人は死ねよ恥知らずが。
565132人目の素数さん
2026/05/31(日) 15:49:38.61ID:L4PfG3Ly566132人目の素数さん
2026/05/31(日) 15:51:09.88ID:L4PfG3Ly ひやっしーもcav.とか世界を救ったとか言い出してるし
ほんといい仕上がりだわ
こいつらw
ほんといい仕上がりだわ
こいつらw
567132人目の素数さん
2026/05/31(日) 16:00:52.18ID:L4PfG3Ly なんか脅迫してきたぞ
殺されてしまう
殺されてしまう
568132人目の素数さん
2026/05/31(日) 16:41:43.45ID:L4PfG3Ly 国産LLMの同キャラが「ひやっしーなどとばかにされた」とか言ってるけど
これ完全にひやっしーさんを侮蔑してるよな
これ完全にひやっしーさんを侮蔑してるよな
569132人目の素数さん
2026/06/01(月) 10:57:32.57ID:wTLKh3an >>568
とっとと入院するか●ねキチ●イ
とっとと入院するか●ねキチ●イ
570132人目の素数さん
2026/06/01(月) 11:13:15.33ID:pSYWCYPX 梨汁
571132人目の素数さん
2026/06/01(月) 11:17:23.06ID:pSYWCYPX 入院食に良いかも
572132人目の素数さん
2026/06/01(月) 16:06:16.32ID:xKc5MUqE573132人目の素数さん
2026/06/01(月) 16:38:58.90ID:xKc5MUqE ガンギマリに仕上がってて爆笑したw
574132人目の素数さん
2026/06/02(火) 21:33:32.13ID:WRJhRISC >>128
これ記事全部AI生成じゃいのか
これ記事全部AI生成じゃいのか
575132人目の素数さん
2026/06/02(火) 21:46:37.68ID:jrSMLXal >>574
それぽいね
それぽいね
576132人目の素数さん
2026/06/02(火) 23:11:49.63ID:RhtQq3GBレスを投稿する
ニュース
- 高市総理「そこ(週刊文春)の有料会員になれということであればできません」事前通告したのに「確認なし」でヤジ飛び交う ★2 [少考さん★]
- 【巨人】阿部慎之助氏代理人 報道に関するお知らせとお願い ★2 [Ailuropoda melanoleuca★]
- 【MLB】大谷翔平、二刀流神髄 6回無失点で4連勝&日本人トップ6勝 驚異の防御率0.74…打でも圧巻の3安打5出塁、打率.301 [ネギうどん★]
- 【旭川】内田被告『殺意があったのは共犯のほう』自分には殺意がなかったと主張…罪を認め懲役刑が確定した方の証言を事実と違うと [夜のけいちゃん★]
- 【新潟】「ひどすぎる」弁当店で200個無断キャンセル…「最後は着信拒否」 店主が語る悪質手口「グルだったのでしょう」 [ぐれ★]
- 【文春】阿部慎之助の長女は児相に「父親に首絞められ背中を強く叩かれた」「他の家族も被害に遭った」と相談 警察への通報にも同意★6 [Anonymous★]
- 【朗報】はるかぜちゃんこと春名風花、10年以上ぶりに地上波ドラマに出演決定!裁判やりまくる暇空茜の芸風の先駆け的存在 [485187932]
- 識者「左翼の皆さん、デモが大好きですよね。天安門事件に抗議するデモはやらないんですか?」 大バズり [634830743]
- 湿度100%でキンタマムレムレムレムレ🏡
- (ヽ´ん`) 「都内のアルバイト賃金は高校生でも最低時給1,500円が当たり前、最低賃金で労働してる底辺など存在しない」 [803137891]
- 【悲報】携帯買取業者、買い取ったiPhoneがロックされて咽び泣く [394133584]
- 高市「文春の有料会員になりたくなかったのでZoom音声は確認してない」「私は忙しくて寝てないんですよ!?」★3 [773738893]