前スレ:Inter-universal geometry と ABC予想 (応援スレ) 79
https://rio2016.5ch.net/test/read.cgi/math/1764578260/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13
<IUT最新文書>
About the study of IUT by Ivan Fesenko http://ivanfesenko.org/wp-content/uploads/rapg.pdf https://ivanfesenko.org/?page_id=80
望月新一@数理研 https://www.kurims.kyoto-u.ac.jp/~motizuki/
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論 <新展開> 2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
<Grokipedia>
Inter-universal Teichmüller theory https://grokipedia.com/page/Inter-universal_Teichm%C3%BCller_theory
遠アーベル幾何学 https://grokipedia.com/page/Anabelian_geometry
https://zen.ac.jp/lp/icp
IUT Challenger Prizeの紹介 2023年7月
審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたもの
://www.sankei.com/article/20240402-WNUUSYIAO5PRVNCBQSEEUETGMU/
産経 2024/4/2
宇宙際タイヒミューラー理論を提唱、望月新一氏らに賞金10万ドル
同理論の発展に重要な貢献を果たした論文の執筆者に贈られる「IUTinnovator賞」の最初の受賞者として望月氏ら5人が選ばれ
://ahgt.math.cnrs.fr/activities/
Anabelian Geometry and Representations of Fundamental Groups. Oberwolfach workshop MFO-RIMS Sep. 29-Oct. 4, 2024
Org.: A. Cadoret, F. Pop, J. Stix, A.. Topaz
(J. Stixさん、IUT支持側へ)
://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
“ANABELIAN ARITHMETIC GEOMETRY - A NEW GEOMETRY OF FORMS AND NUMBERS: Inter-universal Teichmüller theory or “beyond Grothendieck’s vision” Benjamin Collas Version 11/15/2023”
このスレの番号は前スレ43を継いでNo.44からの連番としています
(なお、このスレは本体IUTスレの43からの分裂スレですが、分裂したNo43スレの中では このスレ立ては最初だったのです!)
(余談)
Langlands program Geometric conjectures https://en.wikipedia.org/wiki/Langlands_program
In 2024, a 9-person collaborative project led by Dennis Gaitsgory announced a proof of the (categorical, unramified) geometric Langlands conjecture leveraging Hecke eigensheaves as part of the proof.[3][4][5][6]
つづく
Inter-universal geometry と ABC予想 (応援スレ) 80
■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
2025/12/17(水) 20:59:24.41ID:4K0rh2sH199132人目の素数さん
2025/12/21(日) 10:48:15.17ID:ChrQHRiI 国語が壊滅してるセタは意味不明なことを口走る
数学どころか日常生活に支障きたすレベル
数学どころか日常生活に支障きたすレベル
200132人目の素数さん
2025/12/21(日) 12:36:54.38ID:IMnp+6Hg math_jin さん、情報早いな
https://x.com/math_jin/
2025年12月21日
Xポスト
math_jin
数理解析研究所も解体?
国際卓越研究大学認定で京大がデパートメント制度を導入、研究組織を再構築。
理学の数学系とくっついちゃうとか?
ひっそりととんでもないことが起こっている?
国際卓越研究大学
https://pbs.twimg.com/media/G8pZQvSaAAEAzFo?format=jpg&name=large
https://x.com/math_jin/
2025年12月21日
Xポスト
math_jin
数理解析研究所も解体?
国際卓越研究大学認定で京大がデパートメント制度を導入、研究組織を再構築。
理学の数学系とくっついちゃうとか?
ひっそりととんでもないことが起こっている?
国際卓越研究大学
https://pbs.twimg.com/media/G8pZQvSaAAEAzFo?format=jpg&name=large
201132人目の素数さん
2025/12/21(日) 12:57:20.36ID:IMnp+6Hg >>196-199
>結局
>理解せず非難しているということを白状しただけ
>あなたは卑怯な人です
意味分らん
(再録)
むかし、2ch時代に ある人が
「相手が大人だと思って会話していたら 小学生だった」と
書いてあるのを読んだ
まず (再録)
https://ja.wikipedia.org/wiki/%E6%84%8F%E5%91%B3%E8%AB%96_(%E8%AB%96%E7%90%86%E5%AD%A6)
意味論 (論理学)
証明論では対象を単なる記号として扱い、その記号の操作のみによるものとして証明をおこなう
たとえば「点A」というものがあっても、それが図形的な点である必然性などといったことは扱わず
与えられる公理に現れる単なる記号として扱われる
それに対し、もっぱらモデル理論と呼ばれる分野であるが
たとえば幾何学にあっては実際の図形といったような具体を扱うのが意味論である
(引用終り)
さて
コンピューターによる 数学の証明検証が まさにこれだね
『証明論では対象を単なる記号として扱い、その記号の操作のみによるものとして証明をおこなう
たとえば「点A」というものがあっても、それが図形的な点である必然性などといったことは扱わず
与えられる公理に現れる単なる記号として扱われる』
コンピューターによる 数学の証明検証とは
コンピューターがその数学証明を ”理解”して行うのではなく
コンピューターのロジックとして 証明を
『単なる記号として扱い、その記号の操作のみによるものとして検証をおこなう』
ということだね
私も、こちらに力点がある
つまり、私のショルツェ氏の文書の理解とか
あるいは望月IUTの理解とか
はたまた Kirty Joshiに対する理解とか それとは別に
単純な コンピューターのロジックの視点で ショルツェ氏の文書のsimplificationを見ると
望月IUTプログラムの一部を simplificationしておいて「プログラムがうまく動かない」という
それを見た Kirty Joshi氏は
「望月IUTプログラムのその部分は、分りにくいので、私はこう書き直してすっきりさせましたよ」という
そして、少し冷静に考えると
ショルツェ氏の望月IUTプログラムを simplificationしたら「プログラムがうまく動かない」
は、数学的には ちょっと頭がおかしい主張になっている
つまり、プログラムを simplificationしたら「プログラムがうまく動かない」は、あたりまえであって
プログラム=証明の検証として これは無意味ですよね
ショルツェ氏は、この単純な事実に気付いてない
若いからw
>結局
>理解せず非難しているということを白状しただけ
>あなたは卑怯な人です
意味分らん
(再録)
むかし、2ch時代に ある人が
「相手が大人だと思って会話していたら 小学生だった」と
書いてあるのを読んだ
まず (再録)
https://ja.wikipedia.org/wiki/%E6%84%8F%E5%91%B3%E8%AB%96_(%E8%AB%96%E7%90%86%E5%AD%A6)
意味論 (論理学)
証明論では対象を単なる記号として扱い、その記号の操作のみによるものとして証明をおこなう
たとえば「点A」というものがあっても、それが図形的な点である必然性などといったことは扱わず
与えられる公理に現れる単なる記号として扱われる
それに対し、もっぱらモデル理論と呼ばれる分野であるが
たとえば幾何学にあっては実際の図形といったような具体を扱うのが意味論である
(引用終り)
さて
コンピューターによる 数学の証明検証が まさにこれだね
『証明論では対象を単なる記号として扱い、その記号の操作のみによるものとして証明をおこなう
たとえば「点A」というものがあっても、それが図形的な点である必然性などといったことは扱わず
与えられる公理に現れる単なる記号として扱われる』
コンピューターによる 数学の証明検証とは
コンピューターがその数学証明を ”理解”して行うのではなく
コンピューターのロジックとして 証明を
『単なる記号として扱い、その記号の操作のみによるものとして検証をおこなう』
ということだね
私も、こちらに力点がある
つまり、私のショルツェ氏の文書の理解とか
あるいは望月IUTの理解とか
はたまた Kirty Joshiに対する理解とか それとは別に
単純な コンピューターのロジックの視点で ショルツェ氏の文書のsimplificationを見ると
望月IUTプログラムの一部を simplificationしておいて「プログラムがうまく動かない」という
それを見た Kirty Joshi氏は
「望月IUTプログラムのその部分は、分りにくいので、私はこう書き直してすっきりさせましたよ」という
そして、少し冷静に考えると
ショルツェ氏の望月IUTプログラムを simplificationしたら「プログラムがうまく動かない」
は、数学的には ちょっと頭がおかしい主張になっている
つまり、プログラムを simplificationしたら「プログラムがうまく動かない」は、あたりまえであって
プログラム=証明の検証として これは無意味ですよね
ショルツェ氏は、この単純な事実に気付いてない
若いからw
202132人目の素数さん
2025/12/21(日) 14:52:16.51ID:IMnp+6Hg >>200 追加
https://www.mext.go.jp/content/20251219-mxt_gakkikan-000046272_5.pdf
文科省サイトより
<2025 年5 月16 日提出資料>
国際卓越研究大学研究等体制強化計画 第一次案(概要) 京都大学
https://www.mext.go.jp/content/20251219-mxt_gakkikan-000046272_5.pdf
文科省サイトより
<2025 年5 月16 日提出資料>
国際卓越研究大学研究等体制強化計画 第一次案(概要) 京都大学
203132人目の素数さん
2025/12/21(日) 16:07:38.02ID:DWuz4T4P IUT派はさあ
理解者(失笑wにも
年初のキチガイ日記書く許可くらい出してやれよw
理解者(失笑wにも
年初のキチガイ日記書く許可くらい出してやれよw
204132人目の素数さん
2025/12/21(日) 16:16:49.67ID:QjcNA50a205132人目の素数さん
2025/12/21(日) 16:19:04.54ID:QjcNA50a >>201
そこに書かれていることが実際にどういうことかを理解するには
IUTへの理解とscholzeさんの指摘への理解の両方が必要です
あなたはある人が否定しているということだけでその否定されている人を否定しているという
卑怯なことをしているのです
そこに書かれていることが実際にどういうことかを理解するには
IUTへの理解とscholzeさんの指摘への理解の両方が必要です
あなたはある人が否定しているということだけでその否定されている人を否定しているという
卑怯なことをしているのです
206132人目の素数さん
2025/12/21(日) 16:20:47.08ID:QjcNA50a207132人目の素数さん
2025/12/21(日) 16:29:01.53ID:szQIoY5Q IUT論文を読んだことも無ければ数論幾何学の基本的な知識も無い人が「誰々が正しくて誰々が間違っている」と言う意味が分からない
己の数学的信念からそう言っているのではなく、愛国心、数学者への英雄視、己の立場への固執から言っているだけではないか
己の数学的信念からそう言っているのではなく、愛国心、数学者への英雄視、己の立場への固執から言っているだけではないか
208132人目の素数さん
2025/12/21(日) 16:47:15.14ID:IMnp+6Hg >>194 追加
http://pantodon.jp/index.rb?body=Grothendieck
Algebraic Topology: A guide to literature 信州大学
Grothendieck のアイデアから発展した分野
代数幾何を近代化したのは, もちろん Grothendieck の業績である。代数幾何にとどまらず, 1970年に IHES を辞めてからも, Grothendieck の数学は様々な分野に影響を与え続けている。
Grothendieck については, 山下純一氏による伝記 [山下純03] を読むのがよいだろう。独自の調査により, 非常に詳しい情報が書いてある。Cartier による Bulletin of A.M.S. の記事 [Car01] もある。やはり Grothendieck の数学のファンは多いようで, Grothendieck Circle という website もある。 未出版のものも含めた Grothendieck の著作などのPDFファイルを download できる。 Mateo Carmona による site もある。
Grothendieck に関する website は, 他にも色々あり, この nLab のページからリンクが張られている。
略す
Riemann 面の moduli などに関係したこととして, dessins d’enfant という概念がある。曲面上に描かれた (埋め込まれた) quiver のことであるが。
dessins d’enfant
これは, 素朴な概念なので, 様々な分野で独立に登場し使われている。
http://pantodon.jp/index.rb?body=Grothendieck
Algebraic Topology: A guide to literature 信州大学
Grothendieck のアイデアから発展した分野
代数幾何を近代化したのは, もちろん Grothendieck の業績である。代数幾何にとどまらず, 1970年に IHES を辞めてからも, Grothendieck の数学は様々な分野に影響を与え続けている。
Grothendieck については, 山下純一氏による伝記 [山下純03] を読むのがよいだろう。独自の調査により, 非常に詳しい情報が書いてある。Cartier による Bulletin of A.M.S. の記事 [Car01] もある。やはり Grothendieck の数学のファンは多いようで, Grothendieck Circle という website もある。 未出版のものも含めた Grothendieck の著作などのPDFファイルを download できる。 Mateo Carmona による site もある。
Grothendieck に関する website は, 他にも色々あり, この nLab のページからリンクが張られている。
略す
Riemann 面の moduli などに関係したこととして, dessins d’enfant という概念がある。曲面上に描かれた (埋め込まれた) quiver のことであるが。
dessins d’enfant
これは, 素朴な概念なので, 様々な分野で独立に登場し使われている。
209132人目の素数さん
2025/12/21(日) 17:03:06.50ID:QKKEOyaG >>201
コンピュータの視点で望月新一のIUによる証明をみると
プログラムのステートメントになってない(笑)
Scholzeはまさにコンピュータになった結果
「IU?ただのコメント文か 無視(ignore)しとこ」
何も間違ってない IU言語の処理系がないから
Kirty JoshiはIUから
「これがプログラムじゃね?知らんけど」
というものを抽出してみた
でもScholzeからは
「いやぁ、まだまだそれじゃダメじゃね?」
といわれてる
処理系が存在しないプログラム言語を書く望月新一こそ、数学的にマジで頭オカシイ
意味論ゼロのプログラム言語なんて無意味
望月新一は、この単純な事実を認めたがらない
自分の失敗を認めることになるから
やれやれ・・・
コンピュータの視点で望月新一のIUによる証明をみると
プログラムのステートメントになってない(笑)
Scholzeはまさにコンピュータになった結果
「IU?ただのコメント文か 無視(ignore)しとこ」
何も間違ってない IU言語の処理系がないから
Kirty JoshiはIUから
「これがプログラムじゃね?知らんけど」
というものを抽出してみた
でもScholzeからは
「いやぁ、まだまだそれじゃダメじゃね?」
といわれてる
処理系が存在しないプログラム言語を書く望月新一こそ、数学的にマジで頭オカシイ
意味論ゼロのプログラム言語なんて無意味
望月新一は、この単純な事実を認めたがらない
自分の失敗を認めることになるから
やれやれ・・・
210132人目の素数さん
2025/12/21(日) 17:07:55.35ID:IMnp+6Hg >>203-207
>IUT論文を読んだことも無ければ数論幾何学の基本的な知識も無い人が「誰々が正しくて誰々が間違っている」と言う意味が分からない
>己の数学的信念からそう言っているのではなく、愛国心、数学者への英雄視、己の立場への固執から言っているだけではないか
ご苦労さまです
1)まず、こことは別に IUTアンチのスレがありますよね (下記)
https://rio2016.5ch.net/test/read.cgi/math/1762886294/l50
2)で、このスレは 比較的公平に 望月IUTを応援しようというスレでして
これから IUT論文を読む人もいるだろうから その助けになるかもです
3)ところで、今年 日本ノーベル賞が二人
坂口さんと 北川さん
4)あなた 坂口さん 北川さんの ノーベル賞論文読んでますか? ないでしょw
それと同じです。ところで IUT論文も きっと何かの賞を取るでしょうね。正しければね
5)私? 坂口さん 北川さんの論文は読んでないが 解説は見ました
IUT論文? 斜め読みしましたよ。ほとんど お経ですね
(加藤本は みたが 赤い燻製ニシン(red herring)>>14-15 ですね)
6)ところで、あきらかに間違っている議論があります
ショルツェ氏のSS文書の simplification 論です
”simplification”手法は、ディベート論法です
あきらかに ストローマン(藁人形論法)です
(参考)
https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%88%E3%83%AD%E3%83%BC%E3%83%9E%E3%83%B3
ストローマンは、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと
>IUT論文を読んだことも無ければ数論幾何学の基本的な知識も無い人が「誰々が正しくて誰々が間違っている」と言う意味が分からない
>己の数学的信念からそう言っているのではなく、愛国心、数学者への英雄視、己の立場への固執から言っているだけではないか
ご苦労さまです
1)まず、こことは別に IUTアンチのスレがありますよね (下記)
https://rio2016.5ch.net/test/read.cgi/math/1762886294/l50
2)で、このスレは 比較的公平に 望月IUTを応援しようというスレでして
これから IUT論文を読む人もいるだろうから その助けになるかもです
3)ところで、今年 日本ノーベル賞が二人
坂口さんと 北川さん
4)あなた 坂口さん 北川さんの ノーベル賞論文読んでますか? ないでしょw
それと同じです。ところで IUT論文も きっと何かの賞を取るでしょうね。正しければね
5)私? 坂口さん 北川さんの論文は読んでないが 解説は見ました
IUT論文? 斜め読みしましたよ。ほとんど お経ですね
(加藤本は みたが 赤い燻製ニシン(red herring)>>14-15 ですね)
6)ところで、あきらかに間違っている議論があります
ショルツェ氏のSS文書の simplification 論です
”simplification”手法は、ディベート論法です
あきらかに ストローマン(藁人形論法)です
(参考)
https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%88%E3%83%AD%E3%83%BC%E3%83%9E%E3%83%B3
ストローマンは、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと
211132人目の素数さん
2025/12/21(日) 17:08:57.80ID:QKKEOyaG プログラム検証になぞらえて考えると、
系3.12はあくまで要求仕様でしかない
で、系3.12を満たすプログラムはまだ書けてない
これが現状
ちなみに選択公理も実は要求仕様
「こういう選択関数が存在しますよ」というだけ
で、公理だから別に選択関数を実現する必要はない
系3.12も公理だというなら、別にプログラムはなくてもいい
ただし、系3.12から矛盾が導かれないなら、という但し書きつき
系3.12から矛盾が導かれたら、The END
これまた現状
選択公理に関しては
「選択公理ありの集合論で矛盾するなら、なしでも矛盾する」
ということまでは分かってる
系3.12で同様の証明は・・・いまのところできそうもない
強制法で扱えるレベルを超えてるらしいので
系3.12はあくまで要求仕様でしかない
で、系3.12を満たすプログラムはまだ書けてない
これが現状
ちなみに選択公理も実は要求仕様
「こういう選択関数が存在しますよ」というだけ
で、公理だから別に選択関数を実現する必要はない
系3.12も公理だというなら、別にプログラムはなくてもいい
ただし、系3.12から矛盾が導かれないなら、という但し書きつき
系3.12から矛盾が導かれたら、The END
これまた現状
選択公理に関しては
「選択公理ありの集合論で矛盾するなら、なしでも矛盾する」
ということまでは分かってる
系3.12で同様の証明は・・・いまのところできそうもない
強制法で扱えるレベルを超えてるらしいので
212132人目の素数さん
2025/12/21(日) 17:13:49.16ID:QjcNA50a213132人目の素数さん
2025/12/21(日) 17:14:26.95ID:QjcNA50a214132人目の素数さん
2025/12/21(日) 17:17:45.25ID:QKKEOyaG >比較的公平に 望月IUTを応援しよう
そもそも「IUを応援する」という態度が公平性を欠いてる(笑)
>今年 日本ノーベル賞が二人
そもそも日本人が賞をとったとかそんなことで喜ぶのがマジ狂ってる
自分と全然関係ない他人のことじゃん(笑)
>あきらかに間違っている議論があります
>ショルツェ氏のSS文書・・・
誤 あきらかに間違っている議論
正 間違いであってほしい議論
SS文書を読めば
「定理3.11から系3.12を導く証明 マジでわけわかんね
わけわかんない場所を無視すると 自明な不等式しか出てこねえ
系3.12を導ける、今の数学で正当化できる証明あんの?ないんじゃね?」
という否定的な問いかけと分かる
これに対して望月新一は
系3.12を導ける、今の数学で正当化できる証明を示せたか?
答えはNO
この時点で、IUは終わった
いまだに「まだだ、まだ終わらんよ」とかいってるのは
自己愛的自国愛に狂う人だけ
精神科で診てもらったほうがいいよ
マジ病んでるから みんなもそう思うだろ?
そもそも「IUを応援する」という態度が公平性を欠いてる(笑)
>今年 日本ノーベル賞が二人
そもそも日本人が賞をとったとかそんなことで喜ぶのがマジ狂ってる
自分と全然関係ない他人のことじゃん(笑)
>あきらかに間違っている議論があります
>ショルツェ氏のSS文書・・・
誤 あきらかに間違っている議論
正 間違いであってほしい議論
SS文書を読めば
「定理3.11から系3.12を導く証明 マジでわけわかんね
わけわかんない場所を無視すると 自明な不等式しか出てこねえ
系3.12を導ける、今の数学で正当化できる証明あんの?ないんじゃね?」
という否定的な問いかけと分かる
これに対して望月新一は
系3.12を導ける、今の数学で正当化できる証明を示せたか?
答えはNO
この時点で、IUは終わった
いまだに「まだだ、まだ終わらんよ」とかいってるのは
自己愛的自国愛に狂う人だけ
精神科で診てもらったほうがいいよ
マジ病んでるから みんなもそう思うだろ?
215132人目の素数さん
2025/12/21(日) 17:21:41.60ID:QKKEOyaG 望月新一は系3.12という「予想」を提案しただけで
その予想については有用性を認める人が多々いるが
予想自体が数学的に正当化できると認められたわけではない
IUは残念ながら完全に失敗
別に失敗自体は構わんが
失敗を失敗と認めないのは残念
IU論文をPRIMSで無理矢理アクセプトしたのは日本数学界の黒歴史
こんなことを素晴らしいと誇るのは狂人だけ
その予想については有用性を認める人が多々いるが
予想自体が数学的に正当化できると認められたわけではない
IUは残念ながら完全に失敗
別に失敗自体は構わんが
失敗を失敗と認めないのは残念
IU論文をPRIMSで無理矢理アクセプトしたのは日本数学界の黒歴史
こんなことを素晴らしいと誇るのは狂人だけ
216132人目の素数さん
2025/12/21(日) 17:24:12.30ID:QKKEOyaG IUを誇るのは特攻を誇るのと同じくらい狂ってる
特攻を自慢する人は、特攻が完全な自発的行為だと言い張るが、全くのウソ
完全に強制であり、軍によるパワーハラスメント
パワハラを賞賛するとかマジやべぇ そういう話よ
特攻を自慢する人は、特攻が完全な自発的行為だと言い張るが、全くのウソ
完全に強制であり、軍によるパワーハラスメント
パワハラを賞賛するとかマジやべぇ そういう話よ
217132人目の素数さん
2025/12/21(日) 17:38:54.27ID:ChrQHRiI >>210
>”simplification”手法は、ディベート論法です
>あきらかに ストローマン(藁人形論法)です
問題は系3.12の証明が証明になってないことであって、simplificationはどうでもよい。それをあげつらってるセタこそがストローマン。
>”simplification”手法は、ディベート論法です
>あきらかに ストローマン(藁人形論法)です
問題は系3.12の証明が証明になってないことであって、simplificationはどうでもよい。それをあげつらってるセタこそがストローマン。
218132人目の素数さん
2025/12/21(日) 17:40:00.32ID:QjcNA50a >>69
>>3)つまりは、命題:leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆IUT論文が読める筈
>> の反例が Dennis Gaitsgoryの論文であって この論文に対してドリンフェルドが ギブアップ宣言だよと
ドリンフェルドが読めないと言ったことがこの命題の反例だと言いたいようです
>>72
> 命題:leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める筈
> と言い換えてみようね
> この命題で すぐ気づく二つの瑕疵がある
> 一つは、”数学者は皆”の部分だ。皆=∀ の意味なら 当然この部分に反例が出るだろう(数学者だって皆人間だもの)
> もう一つは、時間について 触れていない。つまり、ある時点で読めない数学者がいるからと言って
> さらに十分時間を掛けたときに、それまで読めない数学者が IUT論文が読めるようになるかもね
> そうすると、時間の点でも この命題は成り立たないよね
いずれ理解できる数学者が出たとしてそれはその命題の反例にもなりません
p→qの形式の命題の反例とは何かを理解していないから
>>69,72のような呆れる他ないことを真顔で書いてしまうのです
>>3)つまりは、命題:leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆IUT論文が読める筈
>> の反例が Dennis Gaitsgoryの論文であって この論文に対してドリンフェルドが ギブアップ宣言だよと
ドリンフェルドが読めないと言ったことがこの命題の反例だと言いたいようです
>>72
> 命題:leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める筈
> と言い換えてみようね
> この命題で すぐ気づく二つの瑕疵がある
> 一つは、”数学者は皆”の部分だ。皆=∀ の意味なら 当然この部分に反例が出るだろう(数学者だって皆人間だもの)
> もう一つは、時間について 触れていない。つまり、ある時点で読めない数学者がいるからと言って
> さらに十分時間を掛けたときに、それまで読めない数学者が IUT論文が読めるようになるかもね
> そうすると、時間の点でも この命題は成り立たないよね
いずれ理解できる数学者が出たとしてそれはその命題の反例にもなりません
p→qの形式の命題の反例とは何かを理解していないから
>>69,72のような呆れる他ないことを真顔で書いてしまうのです
219132人目の素数さん
2025/12/21(日) 17:55:00.86ID:QKKEOyaG >>217
自己愛的自国愛者は「自国民を誇りたい」という(●った)欲求が先にあって
その欲求を妨げるものをとにかく否定するという発想でしか思考できないので
まあ、●ってますね
まず、自国民を誇っても意味ないと気付く必要がある
さらに、(ウソをついてまで)自分を誇るという行為は
自分に何の利益をもたらさないどころか
損害を与えると気づく必要がある
これは病気であって正常な行動ではない
自己愛的自国愛者は「自国民を誇りたい」という(●った)欲求が先にあって
その欲求を妨げるものをとにかく否定するという発想でしか思考できないので
まあ、●ってますね
まず、自国民を誇っても意味ないと気付く必要がある
さらに、(ウソをついてまで)自分を誇るという行為は
自分に何の利益をもたらさないどころか
損害を与えると気づく必要がある
これは病気であって正常な行動ではない
220132人目の素数さん
2025/12/21(日) 18:42:03.42ID:ChrQHRiI >>218
含意も分からない高卒ど素人ですから
含意も分からない高卒ど素人ですから
221132人目の素数さん
2025/12/21(日) 18:51:52.79ID:IMnp+6Hg >>211-219
面白いやつらだ (^^
>そもそも日本人が賞をとったとかそんなことで喜ぶのがマジ狂ってる
>自分と全然関係ない他人のことじゃん(笑)
しかし
今年のノーベル賞 ダブル受賞を喜ぶ日本人は多いだろう
今年の10大ニュースに入ると思うぞ
>> 命題:leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める筈
>> と言い換えてみようね
命題:leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める筈
↓
命題:コンピューター証明で形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める筈
と言い換えてみよう
そもそも 「数学者」の数学的定義がないw (^^
もし「コンピューター証明で形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める」
が成立するならば、コンピューター証明なぞ 必要性は薄いな
が 話は真逆で、現代数学の論文は 長大化していて
かつ IUT論文など 本体だけで700ページで
準備論文を入れると 数千ページだという
こんなものを 数学者といえど だれでも かれでも 「読め!」と言われても 実行できなよね
例えば 下記のフェイト・トンプソンの定理が有名で、1960年代初頭に出されて後 2012年9月に
完全に形式化された証明は、Rocq証明支援システムによって検証されという (^^
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%82%A4%E3%83%88%E3%83%BB%E3%83%88%E3%83%B3%E3%83%97%E3%82%BD%E3%83%B3%E3%81%AE%E5%AE%9A%E7%90%86
フェイト・トンプソンの定理(奇数位数定理とも呼ばれる)は、奇数位数の有限群はすべて可解群であることを述べている。この定理は1960年代初頭にウォルター・フェイト(英語版)とジョン・グリッグス・トンプソンによって証明された[1]。
証明はCA定理やCN定理と同じ概要に従っているが、詳細ははるかに複雑である。最終的な論文は255ページで、パシフィック・ジャーナル・オブ・マスマティクスの第13巻第3号全体を占めた[7][8]。
証明の重要性
この証明の最も革新的な側面はその長さであった。フェイト・トンプソンの論文以前は、群論における議論は数ページを超えるものはほとんどなく、ほとんどが1日で読むことができた。群論の研究者たちがそのような長い議論が可能であることを認識すると、数百ページに及ぶ一連の論文が発表されるようになった。
証明の改訂
完全に形式化された証明は、Rocq証明支援システムによって検証され、2012年9月にジョルジュ・ゴンティエ(英語版)とマイクロソフトリサーチおよびINRIAの研究者によって発表された
面白いやつらだ (^^
>そもそも日本人が賞をとったとかそんなことで喜ぶのがマジ狂ってる
>自分と全然関係ない他人のことじゃん(笑)
しかし
今年のノーベル賞 ダブル受賞を喜ぶ日本人は多いだろう
今年の10大ニュースに入ると思うぞ
>> 命題:leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める筈
>> と言い換えてみようね
命題:leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める筈
↓
命題:コンピューター証明で形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める筈
と言い換えてみよう
そもそも 「数学者」の数学的定義がないw (^^
もし「コンピューター証明で形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める」
が成立するならば、コンピューター証明なぞ 必要性は薄いな
が 話は真逆で、現代数学の論文は 長大化していて
かつ IUT論文など 本体だけで700ページで
準備論文を入れると 数千ページだという
こんなものを 数学者といえど だれでも かれでも 「読め!」と言われても 実行できなよね
例えば 下記のフェイト・トンプソンの定理が有名で、1960年代初頭に出されて後 2012年9月に
完全に形式化された証明は、Rocq証明支援システムによって検証されという (^^
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%82%A4%E3%83%88%E3%83%BB%E3%83%88%E3%83%B3%E3%83%97%E3%82%BD%E3%83%B3%E3%81%AE%E5%AE%9A%E7%90%86
フェイト・トンプソンの定理(奇数位数定理とも呼ばれる)は、奇数位数の有限群はすべて可解群であることを述べている。この定理は1960年代初頭にウォルター・フェイト(英語版)とジョン・グリッグス・トンプソンによって証明された[1]。
証明はCA定理やCN定理と同じ概要に従っているが、詳細ははるかに複雑である。最終的な論文は255ページで、パシフィック・ジャーナル・オブ・マスマティクスの第13巻第3号全体を占めた[7][8]。
証明の重要性
この証明の最も革新的な側面はその長さであった。フェイト・トンプソンの論文以前は、群論における議論は数ページを超えるものはほとんどなく、ほとんどが1日で読むことができた。群論の研究者たちがそのような長い議論が可能であることを認識すると、数百ページに及ぶ一連の論文が発表されるようになった。
証明の改訂
完全に形式化された証明は、Rocq証明支援システムによって検証され、2012年9月にジョルジュ・ゴンティエ(英語版)とマイクロソフトリサーチおよびINRIAの研究者によって発表された
222132人目の素数さん
2025/12/21(日) 18:59:51.10ID:QjcNA50a >>221
あなたは恥の上塗りが得意ですね
あなたは恥の上塗りが得意ですね
223132人目の素数さん
2025/12/21(日) 19:01:16.74ID:QjcNA50a >>220
彼の人には論理的な思考とりわけ数学の理解は無理のようです
彼の人には論理的な思考とりわけ数学の理解は無理のようです
224132人目の素数さん
2025/12/21(日) 19:44:46.23ID:QjcNA50a >>210
>IUT論文? 斜め読みしましたよ。ほとんど お経ですね
おそらくそれは単に眺めただけでは?
もし斜め読みしているなら
https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
>[9]
の冒頭の論理積と論理和(XOR?)の所の
A∧B=A∧(B1∀B2∀…)
=>A∧(B1∀B2∀…∀B'1∀B'2∀…)
=>A∧(B1∀B2∀…∀B'1∀B'2∀…∀B''1∀B''2∀…)
(∀はホントは∨に・でXORの記号らしい)
てのがとても重要なように書かれてるけれど
意味分かります?
>IUT論文? 斜め読みしましたよ。ほとんど お経ですね
おそらくそれは単に眺めただけでは?
もし斜め読みしているなら
https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
>[9]
の冒頭の論理積と論理和(XOR?)の所の
A∧B=A∧(B1∀B2∀…)
=>A∧(B1∀B2∀…∀B'1∀B'2∀…)
=>A∧(B1∀B2∀…∀B'1∀B'2∀…∀B''1∀B''2∀…)
(∀はホントは∨に・でXORの記号らしい)
てのがとても重要なように書かれてるけれど
意味分かります?
225132人目の素数さん
2025/12/21(日) 20:01:33.04ID:QKKEOyaG >>221
>今年のノーベル賞 ダブル受賞を喜ぶ日本人は多いだろう
●違いの妄想
>「コンピューター証明で形式化できるほど曖昧さなく記述されているなら、
> 数学者は皆その論文が読める」
>が成立するならば、コンピューター証明なぞ 必要性は薄いな
逆は真ではないので、コンピュータ証明があっても悪くない
>今年のノーベル賞 ダブル受賞を喜ぶ日本人は多いだろう
●違いの妄想
>「コンピューター証明で形式化できるほど曖昧さなく記述されているなら、
> 数学者は皆その論文が読める」
>が成立するならば、コンピューター証明なぞ 必要性は薄いな
逆は真ではないので、コンピュータ証明があっても悪くない
226132人目の素数さん
2025/12/21(日) 20:04:45.66ID:QKKEOyaG >>224
元数学者でも今は●違いのいうことなど誰にもわからんね
元数学者でも今は●違いのいうことなど誰にもわからんね
227132人目の素数さん
2025/12/21(日) 22:53:27.06ID:IMnp+6Hg >>224
>もし斜め読みしているなら
>https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
>>[9]
>の冒頭の論理積と論理和(XOR?)の所の
>意味分かります?
斜め読みしているが、正確な意味は分らない
が 下記”ブログ読者向け解説”が、参考になるでしょう
(参考)
https://plaza.rakuten.co.jp/shinichi0329/diary/202001050000/
新一 心の一票 2020.01.05
宇宙際タイヒミューラー理論(IUTeich)の論文を巡る現状報告: 「数学界に出現している悲惨なブラックホールの物語」
以下では、この大元誤解の内容について詳しく解説してみたいと思います。より詳細な技術的な説明は私が書いたIUTeichの解説原稿[Alien] §3.11 (iv) に書いてあります。
http://www.kurims.kyoto-u.ac.jp/~motizuki/Alien%20Copies,%20Gaussians,%20and%20Inter-universal%20Teichmuller%20Theory.pdf
以下の説明は、まさにこの[Alien]のExample 3.11.4の内容の、ブログ読者向け解説ということになります。
一言で言ってしまいますと、「大元誤解」の本質は、よく知られている論理演算子
「∧」(=「AND」=「かつ」)と
「∨」(=「OR」=「または」)
の混乱によるものです。
IUTeichでは、以前のブログ記事(=2017.01.06, 2017.05.06, 2017.11.14付けの記事を参照)でも解説した通り、「Θ(テータ)リンク」という数学的対象は中心的な役割を果たします。実際のΘリンクの定義は非常に高度な数学の知識を必要とするものですが、ここでは上述の「大元誤解」の本質的な論理構造を解説するため、先ほどの4つの整数しか出てこない、高校数学レベルの議論で説明することにしたいと思います。そのようにしますと、Θリンクの定義に対応するものは
(N=-2B) ∧ (N=-A)
理論では、Θリンクから出発して様々な操作を行ない、(Θパイロットと呼ばれる数学的対象の)「マルチラディアル表示」というものを構成します。その「マルチラディアル表示」に対応する内容をこちらの議論の整数で表現しますと、
(N=-2A+ε) ∧ (N=-A)
という式になります。つまり、「ε」という、比較的小さい「誤差」を認めてあげますと、本来一致するかどうか分からない整数 A と B を、まるで一致するものかのように扱うことができるということです。
元々のΘリンクの定義における「∧」は、一致するとは限らない整数 A と B を用いたからこそ、整合性(=「無矛盾性」)をもって定義することができました。
>もし斜め読みしているなら
>https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
>>[9]
>の冒頭の論理積と論理和(XOR?)の所の
>意味分かります?
斜め読みしているが、正確な意味は分らない
が 下記”ブログ読者向け解説”が、参考になるでしょう
(参考)
https://plaza.rakuten.co.jp/shinichi0329/diary/202001050000/
新一 心の一票 2020.01.05
宇宙際タイヒミューラー理論(IUTeich)の論文を巡る現状報告: 「数学界に出現している悲惨なブラックホールの物語」
以下では、この大元誤解の内容について詳しく解説してみたいと思います。より詳細な技術的な説明は私が書いたIUTeichの解説原稿[Alien] §3.11 (iv) に書いてあります。
http://www.kurims.kyoto-u.ac.jp/~motizuki/Alien%20Copies,%20Gaussians,%20and%20Inter-universal%20Teichmuller%20Theory.pdf
以下の説明は、まさにこの[Alien]のExample 3.11.4の内容の、ブログ読者向け解説ということになります。
一言で言ってしまいますと、「大元誤解」の本質は、よく知られている論理演算子
「∧」(=「AND」=「かつ」)と
「∨」(=「OR」=「または」)
の混乱によるものです。
IUTeichでは、以前のブログ記事(=2017.01.06, 2017.05.06, 2017.11.14付けの記事を参照)でも解説した通り、「Θ(テータ)リンク」という数学的対象は中心的な役割を果たします。実際のΘリンクの定義は非常に高度な数学の知識を必要とするものですが、ここでは上述の「大元誤解」の本質的な論理構造を解説するため、先ほどの4つの整数しか出てこない、高校数学レベルの議論で説明することにしたいと思います。そのようにしますと、Θリンクの定義に対応するものは
(N=-2B) ∧ (N=-A)
理論では、Θリンクから出発して様々な操作を行ない、(Θパイロットと呼ばれる数学的対象の)「マルチラディアル表示」というものを構成します。その「マルチラディアル表示」に対応する内容をこちらの議論の整数で表現しますと、
(N=-2A+ε) ∧ (N=-A)
という式になります。つまり、「ε」という、比較的小さい「誤差」を認めてあげますと、本来一致するかどうか分からない整数 A と B を、まるで一致するものかのように扱うことができるということです。
元々のΘリンクの定義における「∧」は、一致するとは限らない整数 A と B を用いたからこそ、整合性(=「無矛盾性」)をもって定義することができました。
228132人目の素数さん
2025/12/21(日) 23:03:38.61ID:IMnp+6Hg >>227
>https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
蛇足だが
P7 the “redundant copies school” (RCS) は、「大元誤解」の人で ショルツェ氏です
多分、「∧」「∨」は望月IUTのラベルに関することです
IUTのラベルは、「∧」と解するべきところを
ショルツェ氏は、勘違いして 「∨」と思って 例のSS文書を書いていると
望月氏は 主張しているようです
>https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
蛇足だが
P7 the “redundant copies school” (RCS) は、「大元誤解」の人で ショルツェ氏です
多分、「∧」「∨」は望月IUTのラベルに関することです
IUTのラベルは、「∧」と解するべきところを
ショルツェ氏は、勘違いして 「∨」と思って 例のSS文書を書いていると
望月氏は 主張しているようです
229132人目の素数さん
2025/12/21(日) 23:11:40.87ID:jRwEGu9r 斜め読みしているが、正確な意味は分らない
が 下記”ブログ読者向け解説”が、参考になるでしょう
この一文なんか完全に知能がこわれてしまってる査証
知性の部分が「わからない」と判断したなら、なんかの判断はふつうの精神をもってれば下さないのに
感情の部分が「ここでは引き下がれない」とネットで単語単位でヒットした文章を「参考になるでしょう」と意味もわからず貼り付ける
もちろん全然関係ない文章を張ったことも、それで赤っ恥かいたことも数え切れず、それでも「知性」よりも「感情」を優先してふつうの人間がおこなえる「知性に基づく判断」ができていない
完全に壊れてる
が 下記”ブログ読者向け解説”が、参考になるでしょう
この一文なんか完全に知能がこわれてしまってる査証
知性の部分が「わからない」と判断したなら、なんかの判断はふつうの精神をもってれば下さないのに
感情の部分が「ここでは引き下がれない」とネットで単語単位でヒットした文章を「参考になるでしょう」と意味もわからず貼り付ける
もちろん全然関係ない文章を張ったことも、それで赤っ恥かいたことも数え切れず、それでも「知性」よりも「感情」を優先してふつうの人間がおこなえる「知性に基づく判断」ができていない
完全に壊れてる
230132人目の素数さん
2025/12/21(日) 23:28:07.70ID:IMnp+6Hg231132人目の素数さん
2025/12/21(日) 23:30:09.30ID:IMnp+6Hg232132人目の素数さん
2025/12/21(日) 23:42:35.12ID:jRwEGu9r 完全に知能の障害持ってる人間と議論するほど意味ないことはない
もうお前に人間らしい判断ができる能力はのこっていない
もうお前に人間らしい判断ができる能力はのこっていない
233132人目の素数さん
2025/12/21(日) 23:44:12.85ID:IMnp+6Hg >>229
余談ですが
(引用開始)
斜め読みしているが、正確な意味は分らない
が 下記”ブログ読者向け解説”が、参考になるでしょう
この一文なんか完全に知能がこわれてしまってる査証
知性の部分が「わからない」と判断したなら、なんかの判断はふつうの精神をもってれば下さないのに
感情の部分が「ここでは引き下がれない」とネットで単語単位でヒットした文章を「参考になるでしょう」と意味もわからず貼り付ける
もちろん全然関係ない文章を張ったことも、それで赤っ恥かいたことも数え切れず、それでも「知性」よりも「感情」を優先してふつうの人間がおこなえる「知性に基づく判断」ができていない
完全に壊れてる
(引用終り)
1)一文でなく 文は二つ
2)”正確な意味は分らない”→全く意味が分らない とねじ曲げている
3)”感情の部分が「ここでは引き下がれない」”→ 必死のエスパーさんか? 超能力きどりw
4)”ネットで単語単位でヒットした文章”→ 望月氏がブログに書いていた 有名な文でそれを覚えていたから紹介しただけ
5)”全然関係ない文章を張ったことも、それで赤っ恥かいたことも数え切れず”→ 赤っ恥かいたことはあるが、全然関係ない文章を張ったことは 殆ど無いね
6)”「知性に基づく判断」ができていない”→ それあなた
7)”完全に壊れてる”→それあなた
5chの”名無しさん”に なんか人違いの決め付けされてもね
おっさん だれ? 5chは ”名無しさん”が書く場所だから
玉石混交で 玉と石との見分けが付かない人は向かないよ
”完全に壊れてる”→それあなた
余談ですが
(引用開始)
斜め読みしているが、正確な意味は分らない
が 下記”ブログ読者向け解説”が、参考になるでしょう
この一文なんか完全に知能がこわれてしまってる査証
知性の部分が「わからない」と判断したなら、なんかの判断はふつうの精神をもってれば下さないのに
感情の部分が「ここでは引き下がれない」とネットで単語単位でヒットした文章を「参考になるでしょう」と意味もわからず貼り付ける
もちろん全然関係ない文章を張ったことも、それで赤っ恥かいたことも数え切れず、それでも「知性」よりも「感情」を優先してふつうの人間がおこなえる「知性に基づく判断」ができていない
完全に壊れてる
(引用終り)
1)一文でなく 文は二つ
2)”正確な意味は分らない”→全く意味が分らない とねじ曲げている
3)”感情の部分が「ここでは引き下がれない」”→ 必死のエスパーさんか? 超能力きどりw
4)”ネットで単語単位でヒットした文章”→ 望月氏がブログに書いていた 有名な文でそれを覚えていたから紹介しただけ
5)”全然関係ない文章を張ったことも、それで赤っ恥かいたことも数え切れず”→ 赤っ恥かいたことはあるが、全然関係ない文章を張ったことは 殆ど無いね
6)”「知性に基づく判断」ができていない”→ それあなた
7)”完全に壊れてる”→それあなた
5chの”名無しさん”に なんか人違いの決め付けされてもね
おっさん だれ? 5chは ”名無しさん”が書く場所だから
玉石混交で 玉と石との見分けが付かない人は向かないよ
”完全に壊れてる”→それあなた
234132人目の素数さん
2025/12/21(日) 23:46:45.87ID:jRwEGu9r エスパーなどしない
お前の書いてる文章から理詰めでかいてる
もうお前が失ってしまった理性による判断だよ
お前は書きたい単語が最優先、文章全体がメチャクチャになっててももう自分でそうとわからない状態
完全にこわれてるよ
お前の書いてる文章から理詰めでかいてる
もうお前が失ってしまった理性による判断だよ
お前は書きたい単語が最優先、文章全体がメチャクチャになっててももう自分でそうとわからない状態
完全にこわれてるよ
235132人目の素数さん
2025/12/21(日) 23:49:30.27ID:IMnp+6Hg >>232
>完全に知能の障害持ってる人間と議論するほど意味ないことはない
>もうお前に人間らしい判断ができる能力はのこっていない
ああ、おっさんの正体がわかったよ
”ヒキコモリ数学基礎論くん”か
ご苦労さまですw (^^
>完全に知能の障害持ってる人間と議論するほど意味ないことはない
>もうお前に人間らしい判断ができる能力はのこっていない
ああ、おっさんの正体がわかったよ
”ヒキコモリ数学基礎論くん”か
ご苦労さまですw (^^
236132人目の素数さん
2025/12/21(日) 23:53:50.81ID:jRwEGu9r お前自分の書いた文章読み返してみろや
さっき俺が引用した部分だけじゃない
もう支離滅裂で全然理屈が通ってないやろ?
まぁそれも自分では分からなくなってるんやろけどな
その不自由になった知性で誰からも認められず、他人に迷惑掛け続けてそれで承認欲求満足させるだけのボロボロの余生を送れポンコツ
さっき俺が引用した部分だけじゃない
もう支離滅裂で全然理屈が通ってないやろ?
まぁそれも自分では分からなくなってるんやろけどな
その不自由になった知性で誰からも認められず、他人に迷惑掛け続けてそれで承認欲求満足させるだけのボロボロの余生を送れポンコツ
237132人目の素数さん
2025/12/22(月) 07:13:34.39ID:kJFONjBh >>236
(引用開始)
お前自分の書いた文章読み返してみろや
さっき俺が引用した部分だけじゃない
もう支離滅裂で全然理屈が通ってないやろ?
まぁそれも自分では分からなくなってるんやろけどな
その不自由になった知性で誰からも認められず、他人に迷惑掛け続けてそれで承認欲求満足させるだけのボロボロの余生を送れポンコツ
(引用終り)
ふっ
”ヒキコモリ数学基礎論くん”か
1)”お前自分の書いた文章読み返してみろや
さっき俺が引用した部分だけじゃない”
↓(反論)
君の書いた>>229からすると 私の >>227だね
それで これを引用すると
”>もし斜め読みしているなら
>https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
>>[9]
>の冒頭の論理積と論理和(XOR?)の所の
>意味分かります?
斜め読みしているが、正確な意味は分らない
が 下記”ブログ読者向け解説”が、参考になるでしょう
(参考)”
だ
私の文章はたった2行
”斜め読みしているが、正確な意味は分らない
が 下記”ブログ読者向け解説”が、参考になるでしょう”
だね。君が 229で引用しているとおりさ
で、「斜め読みしているが」は 彼の人の「もし斜め読みしているなら」を受けたもの
そして 望月氏の”ブログ読者向け解説”を 彼の人の参考に提供した
2)君の 229への反論は 233で細かく反論している
3)要するに、”ヒキコモリ数学基礎論くん”は
アンチIUTで、望月氏のIUTは基礎論から見て支離滅裂だと
それを擁護する私も”支離滅裂”だと 言いたいだけなんだ
ご苦労さまですw (^^
(引用開始)
お前自分の書いた文章読み返してみろや
さっき俺が引用した部分だけじゃない
もう支離滅裂で全然理屈が通ってないやろ?
まぁそれも自分では分からなくなってるんやろけどな
その不自由になった知性で誰からも認められず、他人に迷惑掛け続けてそれで承認欲求満足させるだけのボロボロの余生を送れポンコツ
(引用終り)
ふっ
”ヒキコモリ数学基礎論くん”か
1)”お前自分の書いた文章読み返してみろや
さっき俺が引用した部分だけじゃない”
↓(反論)
君の書いた>>229からすると 私の >>227だね
それで これを引用すると
”>もし斜め読みしているなら
>https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
>>[9]
>の冒頭の論理積と論理和(XOR?)の所の
>意味分かります?
斜め読みしているが、正確な意味は分らない
が 下記”ブログ読者向け解説”が、参考になるでしょう
(参考)”
だ
私の文章はたった2行
”斜め読みしているが、正確な意味は分らない
が 下記”ブログ読者向け解説”が、参考になるでしょう”
だね。君が 229で引用しているとおりさ
で、「斜め読みしているが」は 彼の人の「もし斜め読みしているなら」を受けたもの
そして 望月氏の”ブログ読者向け解説”を 彼の人の参考に提供した
2)君の 229への反論は 233で細かく反論している
3)要するに、”ヒキコモリ数学基礎論くん”は
アンチIUTで、望月氏のIUTは基礎論から見て支離滅裂だと
それを擁護する私も”支離滅裂”だと 言いたいだけなんだ
ご苦労さまですw (^^
238132人目の素数さん
2025/12/22(月) 07:15:57.09ID:kJFONjBh >>237 タイポ訂正
2)君の 229への反論は 233で細かく反論している
↓
2)君の 229への反論は 233で細かく記載している
かな
2)君の 229への反論は 233で細かく反論している
↓
2)君の 229への反論は 233で細かく記載している
かな
239132人目の素数さん
2025/12/22(月) 08:02:48.67ID:mEoGcjB8 数学者でもないお前が数学の世界のことなどわかるはずもない
この掲示板には数学の世界で身を立ててる人間も何人かはいる
お前がゴミなのはそんな人間の判断より自分の判断の方が上だと思ってる事だよ能無し
お前の口からでてくるのは「アホっていうやつがアホ」とかいう小学生レベルのセリフだけ、数学の議論ができる最低限の知能もない。学部の1回生はおろか高校生レベルの知能すらないポンコツ
自分がそのレベルのポンコツである事すらわからないゴミ
この掲示板には数学の世界で身を立ててる人間も何人かはいる
お前がゴミなのはそんな人間の判断より自分の判断の方が上だと思ってる事だよ能無し
お前の口からでてくるのは「アホっていうやつがアホ」とかいう小学生レベルのセリフだけ、数学の議論ができる最低限の知能もない。学部の1回生はおろか高校生レベルの知能すらないポンコツ
自分がそのレベルのポンコツである事すらわからないゴミ
240132人目の素数さん
2025/12/22(月) 08:40:05.29ID:RJkDyjC5 >斜め読みしているが、正確な意味は分らない
>が 下記”ブログ読者向け解説”が、参考になるでしょう
政治家や営業職などのように
君が有するその種の詭弁の技能が役立つ職種が現実にあるから
実際にストローマン君が知能の障害を持っているかどうかは分からないが、
ストローマン君、ここはね、理詰めでは
>斜め読みしているが、正確な意味は分らない
>下記”ブログ読者向け解説”が、参考になるかどうかも分からない
のように書くのがよいんだよ
そうすれば、国語として文章の意味が通っているだろ?
理詰めでは
>(ストローマン君)斜め読みしているが、正確な意味は分らない
>(>>229)何故、お前に下記”ブログ読者向け解説”が参考になるのが分かるんや?
のように会話は進んで行くだろ?
>が 下記”ブログ読者向け解説”が、参考になるでしょう
政治家や営業職などのように
君が有するその種の詭弁の技能が役立つ職種が現実にあるから
実際にストローマン君が知能の障害を持っているかどうかは分からないが、
ストローマン君、ここはね、理詰めでは
>斜め読みしているが、正確な意味は分らない
>下記”ブログ読者向け解説”が、参考になるかどうかも分からない
のように書くのがよいんだよ
そうすれば、国語として文章の意味が通っているだろ?
理詰めでは
>(ストローマン君)斜め読みしているが、正確な意味は分らない
>(>>229)何故、お前に下記”ブログ読者向け解説”が参考になるのが分かるんや?
のように会話は進んで行くだろ?
241132人目の素数さん
2025/12/22(月) 09:05:41.97ID:mEoGcjB8 お前の文章は文法的に読めなくはないだけで意味がとおらない
そのレベルのことがわからない
もうそのレベルの機能がなくなってる
自分は病気じゃないといってる高木と一緒
お前の知能レベルはそのレベルに落ち込んでる
もうまともな人間の知能にはもどれないんやろ
数学以前に自分の書いてる文章の支離滅裂さすら理解できないレベルで壊れてる
そのレベルのことがわからない
もうそのレベルの機能がなくなってる
自分は病気じゃないといってる高木と一緒
お前の知能レベルはそのレベルに落ち込んでる
もうまともな人間の知能にはもどれないんやろ
数学以前に自分の書いてる文章の支離滅裂さすら理解できないレベルで壊れてる
242132人目の素数さん
2025/12/22(月) 09:16:33.90ID:2d+lRjDC どうも数学における成果の承認を
企業間の契約もしくは国家間の条約の締結と
全く同様の「戦争」だと考える野蛮人がいるようだが・・・
一遍、●んでくれ
数学は戦争じゃねえ
企業間の契約もしくは国家間の条約の締結と
全く同様の「戦争」だと考える野蛮人がいるようだが・・・
一遍、●んでくれ
数学は戦争じゃねえ
243132人目の素数さん
2025/12/22(月) 09:16:57.66ID:2d+lRjDC 数学に国家はねえ
国家とか持ち込むな ●違い
国家とか持ち込むな ●違い
244132人目の素数さん
2025/12/22(月) 09:21:53.60ID:VkAvhrtd そもそも自分が理解できないことに
口を出したがるのは●ってる
分かりもせんことは自分に関係がない
0.999…と1が等しいことが分からない奴に微分積分なんて関係ない
逆行列が存在しない正方行列の存在が分からない奴に線形代数なんて関係ない
計算方法の暗記しかできない奴に数学の理論なんて関係ない
数学と無関係の一般人が数学板に書き込む必要はない
囲碁将棋の話は専用の板で書いてくれ
数学は囲碁将棋のような勝負を競う遊戯ではない
口を出したがるのは●ってる
分かりもせんことは自分に関係がない
0.999…と1が等しいことが分からない奴に微分積分なんて関係ない
逆行列が存在しない正方行列の存在が分からない奴に線形代数なんて関係ない
計算方法の暗記しかできない奴に数学の理論なんて関係ない
数学と無関係の一般人が数学板に書き込む必要はない
囲碁将棋の話は専用の板で書いてくれ
数学は囲碁将棋のような勝負を競う遊戯ではない
245132人目の素数さん
2025/12/22(月) 09:28:16.69ID:Vlu4+111 >数学と無関係の一般人が数学板に書き込む必要はない
出張旅費を使って観光をするのとは違う
出張旅費を使って観光をするのとは違う
246132人目の素数さん
2025/12/22(月) 09:38:52.84ID:RJkDyjC5247132人目の素数さん
2025/12/22(月) 09:48:13.46ID:Vlu4+111 記者の質問はほとんどがくだらない
248132人目の素数さん
2025/12/22(月) 09:49:21.90ID:ABkSlUgB >>246
数学者は政治家ではない
論文の公表は商品のセールスではない
とにかく相手を納得させさえすればいいとかいう
「暴力行為」を容赦すべきでない
すべては暴力だと思ってる野蛮人は
数学板に一切書き込まないでいただきたい
と思うばかりである
数学者は政治家ではない
論文の公表は商品のセールスではない
とにかく相手を納得させさえすればいいとかいう
「暴力行為」を容赦すべきでない
すべては暴力だと思ってる野蛮人は
数学板に一切書き込まないでいただきたい
と思うばかりである
249132人目の素数さん
2025/12/22(月) 09:59:47.72ID:RJkDyjC5250132人目の素数さん
2025/12/22(月) 10:00:14.86ID:RJkDyjC5251132人目の素数さん
2025/12/22(月) 10:04:22.49ID:GEuUYACX /i/|ii!//|!/!i/´i/ .|i |/ノ i\i!゙、:iヽ|:::| ヽ 'i ! ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" _! | │ 川 ヾ:ii ゙'∨ | ゙ヾiヽヽ;||:::::i':::::::::::::::::::::::::
ノ ノ/リ,,,,,,二三テ=''" ヽノ ル |ノノヽヾ ノ 、,,,ノ,、 iヽ:::||:::::i'::::::::::::::::::::::::::::
/  ̄ ´~~゙'''' ゙''‐- ..,, ,, ‐' `゙ヾミッ、,, ヽ::|::::/::::::::::::::::::::::::::::
,,イ| i' i" `'‐=' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ゙、 l 〃::::: i//::::ハ::::::::::::::::::i:::
i i \\\\\ヽ ) ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ィノ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;、 \ /:::::/:::::/::::::::::::/:::::
゙i! | i /⌒' 、 Y:::::::::''::;;;;'.;.Y'⌒゙i /::::::/::::::/::::::::::::/::::/i
i i ゙! ん、,,__ヽノ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
゙、ii! ゙| i ノ ゝ;;;:::::::::::::::::::;ノ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!トl ゙i¦ i 。l '゛.. ‐ー:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ゙、 //::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ゙、! , ' |::: ::::ヽ ..} |゙ヽ......,.,.,.,,,///://::://::::/::::://::::i::::リ::
!ヽヾi i゙、 ___,,,/ }:: : ;;;::: ::::::::} レWノ'レi/、//::/:://:/:::/::/:::ハ:i |::
i i 川i!ハ/" _! | │ 川 ヾ:ii ゙'∨ | ゙ヾiヽヽ;||:::::i':::::::::::::::::::::::::
ノ ノ/リ,,,,,,二三テ=''" ヽノ ル |ノノヽヾ ノ 、,,,ノ,、 iヽ:::||:::::i'::::::::::::::::::::::::::::
/  ̄ ´~~゙'''' ゙''‐- ..,, ,, ‐' `゙ヾミッ、,, ヽ::|::::/::::::::::::::::::::::::::::
,,イ| i' i" `'‐=' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ゙、 l 〃::::: i//::::ハ::::::::::::::::::i:::
i i \\\\\ヽ ) ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ィノ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;、 \ /:::::/:::::/::::::::::::/:::::
゙i! | i /⌒' 、 Y:::::::::''::;;;;'.;.Y'⌒゙i /::::::/::::::/::::::::::::/::::/i
i i ゙! ん、,,__ヽノ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
゙、ii! ゙| i ノ ゝ;;;:::::::::::::::::::;ノ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!トl ゙i¦ i 。l '゛.. ‐ー:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ゙、 //::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ゙、! , ' |::: ::::ヽ ..} |゙ヽ......,.,.,.,,,///://::://::::/::::://::::i::::リ::
!ヽヾi i゙、 ___,,,/ }:: : ;;;::: ::::::::} レWノ'レi/、//::/:://:/:::/::/:::ハ:i |::
252132人目の素数さん
2025/12/22(月) 10:04:30.86ID:GEuUYACX /i/|ii!//|!/!i/´i/ .|i |/ノ i\i!゙、:iヽ|:::| ヽ 'i ! ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" _! | │ 川 ヾ:ii ゙'∨ | ゙ヾiヽヽ;||:::::i':::::::::::::::::::::::::
ノ ノ/リ,,,,,,二三テ=''" ヽノ ル |ノノヽヾ ノ 、,,,ノ,、 iヽ:::||:::::i'::::::::::::::::::::::::::::
/  ̄ ´~~゙'''' ゙''‐- ..,, ,, ‐' `゙ヾミッ、,, ヽ::|::::/::::::::::::::::::::::::::::
,,イ| i' i" `'‐=' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ゙、 l 〃::::: i//::::ハ::::::::::::::::::i:::
i i \\\\\ヽ ) ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ィノ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;、 \ /:::::/:::::/::::::::::::/:::::
゙i! | i /⌒' 、 Y:::::::::''::;;;;'.;.Y'⌒゙i /::::::/::::::/::::::::::::/::::/i
i i ゙! ん、,,__ヽノ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
゙、ii! ゙| i ノ ゝ;;;:::::::::::::::::::;ノ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!トl ゙i¦ i 。l '゛.. ‐ー:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ゙、 //::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ゙、! , ' |::: ::::ヽ ..} |゙ヽ......,.,.,.,,,///://::://::::/::::://::::i::::リ::
!ヽヾi i゙、 ___,,,/ }:: : ;;;::: ::::::::} レWノ'レi/、//::/:://:/:::/::/:::ハ:i |::
i i 川i!ハ/" _! | │ 川 ヾ:ii ゙'∨ | ゙ヾiヽヽ;||:::::i':::::::::::::::::::::::::
ノ ノ/リ,,,,,,二三テ=''" ヽノ ル |ノノヽヾ ノ 、,,,ノ,、 iヽ:::||:::::i'::::::::::::::::::::::::::::
/  ̄ ´~~゙'''' ゙''‐- ..,, ,, ‐' `゙ヾミッ、,, ヽ::|::::/::::::::::::::::::::::::::::
,,イ| i' i" `'‐=' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ゙、 l 〃::::: i//::::ハ::::::::::::::::::i:::
i i \\\\\ヽ ) ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ィノ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;、 \ /:::::/:::::/::::::::::::/:::::
゙i! | i /⌒' 、 Y:::::::::''::;;;;'.;.Y'⌒゙i /::::::/::::::/::::::::::::/::::/i
i i ゙! ん、,,__ヽノ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
゙、ii! ゙| i ノ ゝ;;;:::::::::::::::::::;ノ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!トl ゙i¦ i 。l '゛.. ‐ー:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ゙、 //::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ゙、! , ' |::: ::::ヽ ..} |゙ヽ......,.,.,.,,,///://::://::::/::::://::::i::::リ::
!ヽヾi i゙、 ___,,,/ }:: : ;;;::: ::::::::} レWノ'レi/、//::/:://:/:::/::/:::ハ:i |::
253132人目の素数さん
2025/12/22(月) 10:04:39.97ID:GEuUYACX /i/|ii!//|!/!i/´i/ .|i |/ノ i\i!゙、:iヽ|:::| ヽ 'i ! ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" _! | │ 川 ヾ:ii ゙'∨ | ゙ヾiヽヽ;||:::::i':::::::::::::::::::::::::
ノ ノ/リ,,,,,,二三テ=''" ヽノ ル |ノノヽヾ ノ 、,,,ノ,、 iヽ:::||:::::i'::::::::::::::::::::::::::::
/  ̄ ´~~゙'''' ゙''‐- ..,, ,, ‐' `゙ヾミッ、,, ヽ::|::::/::::::::::::::::::::::::::::
,,イ| i' i" `'‐=' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ゙、 l 〃::::: i//::::ハ::::::::::::::::::i:::
i i \\\\\ヽ ) ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ィノ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;、 \ /:::::/:::::/::::::::::::/:::::
゙i! | i /⌒' 、 Y:::::::::''::;;;;'.;.Y'⌒゙i /::::::/::::::/::::::::::::/::::/i
i i ゙! ん、,,__ヽノ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
゙、ii! ゙| i ノ ゝ;;;:::::::::::::::::::;ノ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!トl ゙i¦ i 。l '゛.. ‐ー:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ゙、 //::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ゙、! , ' |::: ::::ヽ ..} |゙ヽ......,.,.,.,,,///://::://::::/::::://::::i::::リ::
!ヽヾi i゙、 ___,,,/ }:: : ;;;::: ::::::::} レWノ'レi/、//::/:://:/:::/::/:::ハ:i |::
i i 川i!ハ/" _! | │ 川 ヾ:ii ゙'∨ | ゙ヾiヽヽ;||:::::i':::::::::::::::::::::::::
ノ ノ/リ,,,,,,二三テ=''" ヽノ ル |ノノヽヾ ノ 、,,,ノ,、 iヽ:::||:::::i'::::::::::::::::::::::::::::
/  ̄ ´~~゙'''' ゙''‐- ..,, ,, ‐' `゙ヾミッ、,, ヽ::|::::/::::::::::::::::::::::::::::
,,イ| i' i" `'‐=' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ゙、 l 〃::::: i//::::ハ::::::::::::::::::i:::
i i \\\\\ヽ ) ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ィノ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;、 \ /:::::/:::::/::::::::::::/:::::
゙i! | i /⌒' 、 Y:::::::::''::;;;;'.;.Y'⌒゙i /::::::/::::::/::::::::::::/::::/i
i i ゙! ん、,,__ヽノ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
゙、ii! ゙| i ノ ゝ;;;:::::::::::::::::::;ノ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!トl ゙i¦ i 。l '゛.. ‐ー:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ゙、 //::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ゙、! , ' |::: ::::ヽ ..} |゙ヽ......,.,.,.,,,///://::://::::/::::://::::i::::リ::
!ヽヾi i゙、 ___,,,/ }:: : ;;;::: ::::::::} レWノ'レi/、//::/:://:/:::/::/:::ハ:i |::
254132人目の素数さん
2025/12/22(月) 10:44:58.52ID:Vlu4+111 納得しない者を
無理やり排除するのは
暴力によってではないか
無理やり排除するのは
暴力によってではないか
255132人目の素数さん
2025/12/22(月) 11:23:00.05ID:9F0h1duP >>239-250
>記者の質問はほとんどがくだらない
ID:Vlu4+111 は、御大か
巡回ご苦労様です
ご多忙ですね。ご健勝なによりです
普通は、記者さんは 文系ですからね
ホ・ジュニさん、サイエンスのライターを目指していたとか
実現していたら、良い質問してくれたかもです (^^
https://ja.wikipedia.org/wiki/%E8%A8%B1%E5%9F%88%E7%8F%A5
許 吭焉iホ・ジュニ、韓国語: 허 준이, 英語: June Huh, 1983年6月9日 - )は韓国出身のアメリカの数学者。プリンストン大学教授、プリンストン高等研究所Fernholz冠特別招聘教授。元スタンフォード大学教授。
フィールズ賞受賞 受賞年: 2022年
受賞理由: 『ホッジ理論の枠組みを組合せ論へ導入し、幾何格子に対するダウリング–ウィルソン予想の証明、マトロイドに関するヘロン–ロタ–ウェルシュ予想の証明、ローレンツ多項式理論の構築、および強形式メイソン予想の証明を通じた、離散構造に対する深い幾何的・代数的理解の促進。』
許の研究対象は、ある種の離散構造と連続構造の関係に関するものであり、代数幾何学と組み合わせ論の接点における第一人者として知られる。
https://dept.tus.ac.jp/st-ma/2025/10/07/2025-10-22-%E8%AB%87%E8%A9%B1%E4%BC%9A/
数理科学科 東京理科大学 創域理工学部
2025.10.22 談話会
講演者 大沢 健夫氏(名古屋大学)
題目 関数論の妙所と最近の展開について
日時 2025年10月22日(水)16:30–17:30
場所 東京理科大学野田キャンパス4号館3階数理科学科セミナー室
概要 複素数の導入によって数学の世界は大きく広がり、19世紀には数と図形の間に成立する対称性の関係が複素数を用いることによって明確に記述できるようになった。コーシーが拓いた複素関数論の中で、アーベルは楕円関数を発見した。リーマンにより1851年に導入されたリーマン面の概念により複素一変数代数関数論が基礎付けられ、整数論の大問題であったフェルマー予想の解決もその延長上にある。リーマン面の概念を一般化した高次元の図形が複素多様体である。その理論の重要性は20世紀初頭には認識され、基本的な問題が岡潔によって解決されたあと、20世紀後半には小平邦彦たちによって完成度の高い理論へとまとめられた。その展開の中で、岡潔が著書「紫の火花」の中で「解けなかった二題」と記した問題がある。それに関連する今世紀に入ってからの展開について述べたい。
https://www.gensu.jp/product/%E7%AD%89%E8%A7%92%E4%B8%8D%E5%A4%89%E9%87%8F%E3%80%80%E5%B9%BE%E4%BD%95%E5%AD%A6%E7%9A%84%E9%96%A2%E6%95%B0%E8%AB%96%E3%81%AE%E8%A9%B1%E9%A1%8C/
等角不変量 幾何学的関数論の話題
\3,190 (税込)
L.V. アールフォルス 著 訳
A5判(並製)/200ページ 2020/7/22
>記者の質問はほとんどがくだらない
ID:Vlu4+111 は、御大か
巡回ご苦労様です
ご多忙ですね。ご健勝なによりです
普通は、記者さんは 文系ですからね
ホ・ジュニさん、サイエンスのライターを目指していたとか
実現していたら、良い質問してくれたかもです (^^
https://ja.wikipedia.org/wiki/%E8%A8%B1%E5%9F%88%E7%8F%A5
許 吭焉iホ・ジュニ、韓国語: 허 준이, 英語: June Huh, 1983年6月9日 - )は韓国出身のアメリカの数学者。プリンストン大学教授、プリンストン高等研究所Fernholz冠特別招聘教授。元スタンフォード大学教授。
フィールズ賞受賞 受賞年: 2022年
受賞理由: 『ホッジ理論の枠組みを組合せ論へ導入し、幾何格子に対するダウリング–ウィルソン予想の証明、マトロイドに関するヘロン–ロタ–ウェルシュ予想の証明、ローレンツ多項式理論の構築、および強形式メイソン予想の証明を通じた、離散構造に対する深い幾何的・代数的理解の促進。』
許の研究対象は、ある種の離散構造と連続構造の関係に関するものであり、代数幾何学と組み合わせ論の接点における第一人者として知られる。
https://dept.tus.ac.jp/st-ma/2025/10/07/2025-10-22-%E8%AB%87%E8%A9%B1%E4%BC%9A/
数理科学科 東京理科大学 創域理工学部
2025.10.22 談話会
講演者 大沢 健夫氏(名古屋大学)
題目 関数論の妙所と最近の展開について
日時 2025年10月22日(水)16:30–17:30
場所 東京理科大学野田キャンパス4号館3階数理科学科セミナー室
概要 複素数の導入によって数学の世界は大きく広がり、19世紀には数と図形の間に成立する対称性の関係が複素数を用いることによって明確に記述できるようになった。コーシーが拓いた複素関数論の中で、アーベルは楕円関数を発見した。リーマンにより1851年に導入されたリーマン面の概念により複素一変数代数関数論が基礎付けられ、整数論の大問題であったフェルマー予想の解決もその延長上にある。リーマン面の概念を一般化した高次元の図形が複素多様体である。その理論の重要性は20世紀初頭には認識され、基本的な問題が岡潔によって解決されたあと、20世紀後半には小平邦彦たちによって完成度の高い理論へとまとめられた。その展開の中で、岡潔が著書「紫の火花」の中で「解けなかった二題」と記した問題がある。それに関連する今世紀に入ってからの展開について述べたい。
https://www.gensu.jp/product/%E7%AD%89%E8%A7%92%E4%B8%8D%E5%A4%89%E9%87%8F%E3%80%80%E5%B9%BE%E4%BD%95%E5%AD%A6%E7%9A%84%E9%96%A2%E6%95%B0%E8%AB%96%E3%81%AE%E8%A9%B1%E9%A1%8C/
等角不変量 幾何学的関数論の話題
\3,190 (税込)
L.V. アールフォルス 著 訳
A5判(並製)/200ページ 2020/7/22
257132人目の素数さん
2025/12/22(月) 11:36:56.84ID:9F0h1duP >>255 余談
>リーマンにより1851年に導入されたリーマン面の概念により複素一変数代数関数論が基礎付けられ、整数論の大問題であったフェルマー予想の解決もその延長上にある
なるほど
あと5年経つと
『整数論の大問題であったフェルマー予想と”abc予想”の解決もその延長上にある』となりますので
準備を よろしくお願いいたします (^^
>リーマンにより1851年に導入されたリーマン面の概念により複素一変数代数関数論が基礎付けられ、整数論の大問題であったフェルマー予想の解決もその延長上にある
なるほど
あと5年経つと
『整数論の大問題であったフェルマー予想と”abc予想”の解決もその延長上にある』となりますので
準備を よろしくお願いいたします (^^
258132人目の素数さん
2025/12/22(月) 11:39:43.15ID:dZOKqce9259132人目の素数さん
2025/12/22(月) 11:42:25.46ID:uJ/GV8fI260132人目の素数さん
2025/12/22(月) 11:43:30.53ID:uJ/GV8fI261132人目の素数さん
2025/12/22(月) 11:46:03.35ID:pnwDcKu/ /i/|ii!//|!/!i/´i/ .|i |/ノ i\i!゙、:iヽ|:::| ヽ 'i ! ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" _! | │ 川 ヾ:ii ゙'∨ | ゙ヾiヽヽ;||:::::i':::::::::::::::::::::::::
ノ ノ/リ,,,,,,二三テ=''" ヽノ ル |ノノヽヾ ノ 、,,,ノ,、 iヽ:::||:::::i'::::::::::::::::::::::::::::
/  ̄ ´~~゙'''' ゙''‐- ..,, ,, ‐' `゙ヾミッ、,, ヽ::|::::/::::::::::::::::::::::::::::
,,イ| i' i" `'‐=' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ゙、 l 〃::::: i//::::ハ::::::::::::::::::i:::
i i \\\\\ヽ ) ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ィノ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;、 \ /:::::/:::::/::::::::::::/:::::
゙i! | i /⌒' 、 Y:::::::::''::;;;;'.;.Y'⌒゙i /::::::/::::::/::::::::::::/::::/i
i i ゙! ん、,,__ヽノ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
゙、ii! ゙| i ノ ゝ;;;:::::::::::::::::::;ノ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!トl ゙i¦ i 。l '゛.. ‐ー:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ゙、 //::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ゙、! , ' |::: ::::ヽ ..} |゙ヽ......,.,.,.,,,///://::://::::/::::://::::i::::リ::
!ヽヾi i゙、 ___,,,/ }:: : ;;;::: ::::::::} レWノ'レi/、//::/:://:/:::/::/:::ハ:i |::
i i 川i!ハ/" _! | │ 川 ヾ:ii ゙'∨ | ゙ヾiヽヽ;||:::::i':::::::::::::::::::::::::
ノ ノ/リ,,,,,,二三テ=''" ヽノ ル |ノノヽヾ ノ 、,,,ノ,、 iヽ:::||:::::i'::::::::::::::::::::::::::::
/  ̄ ´~~゙'''' ゙''‐- ..,, ,, ‐' `゙ヾミッ、,, ヽ::|::::/::::::::::::::::::::::::::::
,,イ| i' i" `'‐=' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ゙、 l 〃::::: i//::::ハ::::::::::::::::::i:::
i i \\\\\ヽ ) ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ィノ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;、 \ /:::::/:::::/::::::::::::/:::::
゙i! | i /⌒' 、 Y:::::::::''::;;;;'.;.Y'⌒゙i /::::::/::::::/::::::::::::/::::/i
i i ゙! ん、,,__ヽノ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
゙、ii! ゙| i ノ ゝ;;;:::::::::::::::::::;ノ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!トl ゙i¦ i 。l '゛.. ‐ー:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ゙、 //::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ゙、! , ' |::: ::::ヽ ..} |゙ヽ......,.,.,.,,,///://::://::::/::::://::::i::::リ::
!ヽヾi i゙、 ___,,,/ }:: : ;;;::: ::::::::} レWノ'レi/、//::/:://:/:::/::/:::ハ:i |::
262132人目の素数さん
2025/12/22(月) 11:46:15.13ID:pnwDcKu/ /i/|ii!//|!/!i/´i/ .|i |/ノ i\i!゙、:iヽ|:::| ヽ 'i ! ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" _! | │ 川 ヾ:ii ゙'∨ | ゙ヾiヽヽ;||:::::i':::::::::::::::::::::::::
ノ ノ/リ,,,,,,二三テ=''" ヽノ ル |ノノヽヾ ノ 、,,,ノ,、 iヽ:::||:::::i'::::::::::::::::::::::::::::
/  ̄ ´~~゙'''' ゙''‐- ..,, ,, ‐' `゙ヾミッ、,, ヽ::|::::/::::::::::::::::::::::::::::
,,イ| i' i" `'‐=' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ゙、 l 〃::::: i//::::ハ::::::::::::::::::i:::
i i \\\\\ヽ ) ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ィノ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;、 \ /:::::/:::::/::::::::::::/:::::
゙i! | i /⌒' 、 Y:::::::::''::;;;;'.;.Y'⌒゙i /::::::/::::::/::::::::::::/::::/i
i i ゙! ん、,,__ヽノ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
゙、ii! ゙| i ノ ゝ;;;:::::::::::::::::::;ノ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!トl ゙i¦ i 。l '゛.. ‐ー:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ゙、 //::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ゙、! , ' |::: ::::ヽ ..} |゙ヽ......,.,.,.,,,///://::://::::/::::://::::i::::リ::
!ヽヾi i゙、 ___,,,/ }:: : ;;;::: ::::::::} レWノ'レi/、//::/:://:/:::/::/:::ハ:i |::
i i 川i!ハ/" _! | │ 川 ヾ:ii ゙'∨ | ゙ヾiヽヽ;||:::::i':::::::::::::::::::::::::
ノ ノ/リ,,,,,,二三テ=''" ヽノ ル |ノノヽヾ ノ 、,,,ノ,、 iヽ:::||:::::i'::::::::::::::::::::::::::::
/  ̄ ´~~゙'''' ゙''‐- ..,, ,, ‐' `゙ヾミッ、,, ヽ::|::::/::::::::::::::::::::::::::::
,,イ| i' i" `'‐=' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ゙、 l 〃::::: i//::::ハ::::::::::::::::::i:::
i i \\\\\ヽ ) ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ィノ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;、 \ /:::::/:::::/::::::::::::/:::::
゙i! | i /⌒' 、 Y:::::::::''::;;;;'.;.Y'⌒゙i /::::::/::::::/::::::::::::/::::/i
i i ゙! ん、,,__ヽノ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
゙、ii! ゙| i ノ ゝ;;;:::::::::::::::::::;ノ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!トl ゙i¦ i 。l '゛.. ‐ー:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ゙、 //::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ゙、! , ' |::: ::::ヽ ..} |゙ヽ......,.,.,.,,,///://::://::::/::::://::::i::::リ::
!ヽヾi i゙、 ___,,,/ }:: : ;;;::: ::::::::} レWノ'レi/、//::/:://:/:::/::/:::ハ:i |::
263132人目の素数さん
2025/12/22(月) 11:46:22.68ID:pnwDcKu/ /i/|ii!//|!/!i/´i/ .|i |/ノ i\i!゙、:iヽ|:::| ヽ 'i ! ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" _! | │ 川 ヾ:ii ゙'∨ | ゙ヾiヽヽ;||:::::i':::::::::::::::::::::::::
ノ ノ/リ,,,,,,二三テ=''" ヽノ ル |ノノヽヾ ノ 、,,,ノ,、 iヽ:::||:::::i'::::::::::::::::::::::::::::
/  ̄ ´~~゙'''' ゙''‐- ..,, ,, ‐' `゙ヾミッ、,, ヽ::|::::/::::::::::::::::::::::::::::
,,イ| i' i" `'‐=' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ゙、 l 〃::::: i//::::ハ::::::::::::::::::i:::
i i \\\\\ヽ ) ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ィノ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;、 \ /:::::/:::::/::::::::::::/:::::
゙i! | i /⌒' 、 Y:::::::::''::;;;;'.;.Y'⌒゙i /::::::/::::::/::::::::::::/::::/i
i i ゙! ん、,,__ヽノ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
゙、ii! ゙| i ノ ゝ;;;:::::::::::::::::::;ノ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!トl ゙i¦ i 。l '゛.. ‐ー:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ゙、 //::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ゙、! , ' |::: ::::ヽ ..} |゙ヽ......,.,.,.,,,///://::://::::/::::://::::i::::リ::
!ヽヾi i゙、 ___,,,/ }:: : ;;;::: ::::::::} レWノ'レi/、//::/:://:/:::/::/:::ハ:i |::
i i 川i!ハ/" _! | │ 川 ヾ:ii ゙'∨ | ゙ヾiヽヽ;||:::::i':::::::::::::::::::::::::
ノ ノ/リ,,,,,,二三テ=''" ヽノ ル |ノノヽヾ ノ 、,,,ノ,、 iヽ:::||:::::i'::::::::::::::::::::::::::::
/  ̄ ´~~゙'''' ゙''‐- ..,, ,, ‐' `゙ヾミッ、,, ヽ::|::::/::::::::::::::::::::::::::::
,,イ| i' i" `'‐=' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ゙、 l 〃::::: i//::::ハ::::::::::::::::::i:::
i i \\\\\ヽ ) ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ィノ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;、 \ /:::::/:::::/::::::::::::/:::::
゙i! | i /⌒' 、 Y:::::::::''::;;;;'.;.Y'⌒゙i /::::::/::::::/::::::::::::/::::/i
i i ゙! ん、,,__ヽノ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
゙、ii! ゙| i ノ ゝ;;;:::::::::::::::::::;ノ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!トl ゙i¦ i 。l '゛.. ‐ー:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ゙、 //::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ゙、! , ' |::: ::::ヽ ..} |゙ヽ......,.,.,.,,,///://::://::::/::::://::::i::::リ::
!ヽヾi i゙、 ___,,,/ }:: : ;;;::: ::::::::} レWノ'レi/、//::/:://:/:::/::/:::ハ:i |::
264132人目の素数さん
2025/12/22(月) 12:23:15.97ID:9F0h1duP >>255 補足
>数理科学科 東京理科大学 創域理工学部
理学部第一部 数学科
理学部第二部 数学科
創域理工学部 数理科学科
の3系統あるのか・・・
https://ja.wikipedia.org/wiki/%E6%9D%B1%E4%BA%AC%E7%90%86%E7%A7%91%E5%A4%A7%E5%AD%A6
東京理科大学
学部
理学部第一部
数学科[注釈 3](S科)
応用数学科(OS科)
理学部第二部
数学科[注釈 8] (US科)
創域理工学部
数理科学科[注釈 22](MA科)
>数理科学科 東京理科大学 創域理工学部
理学部第一部 数学科
理学部第二部 数学科
創域理工学部 数理科学科
の3系統あるのか・・・
https://ja.wikipedia.org/wiki/%E6%9D%B1%E4%BA%AC%E7%90%86%E7%A7%91%E5%A4%A7%E5%AD%A6
東京理科大学
学部
理学部第一部
数学科[注釈 3](S科)
応用数学科(OS科)
理学部第二部
数学科[注釈 8] (US科)
創域理工学部
数理科学科[注釈 22](MA科)
265132人目の素数さん
2025/12/22(月) 12:35:50.14ID:sAbAF49q コピペで誤魔化すな
266132人目の素数さん
2025/12/22(月) 12:40:32.56ID:xPA+NYDH 神楽坂出身の東北大の院生が
九大での研究集会に出ていた
九大での研究集会に出ていた
267132人目の素数さん
2025/12/22(月) 13:12:41.89ID:VkAvhrtd >>266
どうでもええ
どうでもええ
268132人目の素数さん
2025/12/22(月) 13:32:39.37ID:9F0h1duP >>266
>神楽坂出身の東北大の院生が
>九大での研究集会に出ていた
ご苦労様です
下記の 12月17–18日と12月19–21日か (^^
https://masataka123.github.io/blog3/
岩井雅崇
専門: 複素幾何学, 代数幾何学, 多変数複素解析
所属: 大阪大学大学院理学研究科数学専攻
出張予定
2025年12月17–18日: 九州大学で岡多様体の勉強会を開催します.
https://masataka123.github.io/Oka_manifold_2025/
2025年12月19–21日: 九州大学で開催される2025年度 多変数函数論冬セミナーに参加する予定です.
https://kusakabe.github.io/2025scvwinter/
(ついでに)
2026年1月26–30日: 大阪大学でWorkshop on Algebraic Geometry and Complex Geometry in Osakaを開催します.
https://masataka123.github.io/AGCG_Osaka_2026/
<余禄>
https://www2.math.kyushu-u.ac.jp/~joe/math/prog12fscv.pdf
第12回福岡複素解析シンポジウム期日 2025年3月15日(土)
会場 九州大学伊都キャンパス IMIオーディトリアム(ウエスト1号館D棟4階413号室)
14:00–14:20 内本 諒 (九州大学 新M1)秋月・小平・中野の消滅定理
16:15–17:25 西原 賢(福岡工業大学)Bergman 核関数列の一様収束について
>神楽坂出身の東北大の院生が
>九大での研究集会に出ていた
ご苦労様です
下記の 12月17–18日と12月19–21日か (^^
https://masataka123.github.io/blog3/
岩井雅崇
専門: 複素幾何学, 代数幾何学, 多変数複素解析
所属: 大阪大学大学院理学研究科数学専攻
出張予定
2025年12月17–18日: 九州大学で岡多様体の勉強会を開催します.
https://masataka123.github.io/Oka_manifold_2025/
2025年12月19–21日: 九州大学で開催される2025年度 多変数函数論冬セミナーに参加する予定です.
https://kusakabe.github.io/2025scvwinter/
(ついでに)
2026年1月26–30日: 大阪大学でWorkshop on Algebraic Geometry and Complex Geometry in Osakaを開催します.
https://masataka123.github.io/AGCG_Osaka_2026/
<余禄>
https://www2.math.kyushu-u.ac.jp/~joe/math/prog12fscv.pdf
第12回福岡複素解析シンポジウム期日 2025年3月15日(土)
会場 九州大学伊都キャンパス IMIオーディトリアム(ウエスト1号館D棟4階413号室)
14:00–14:20 内本 諒 (九州大学 新M1)秋月・小平・中野の消滅定理
16:15–17:25 西原 賢(福岡工業大学)Bergman 核関数列の一様収束について
269132人目の素数さん
2025/12/22(月) 13:56:20.71ID:uJ/GV8fI >>268
書き込み無用 高卒
書き込み無用 高卒
270132人目の素数さん
2025/12/22(月) 13:59:23.95ID:9F0h1duP ホイヨ
https://www.asahi.com/reporter-bio/98ccaec47b4239f9882e38d48cc6ecf263d9b721c6ac7cb372df02e5c543423c
朝日新聞
石倉徹也
コンテンツ編成本部次長
https://www.asahi.com/articles/ASTD333PNTD3DIFI004M.html?iref=reporter-bio_timeline
AIは数学者になれるか 数学界に衝撃、証明検証ソフトLean登場
■《前編》AIは数学者になれるか AIが数学の定理を理解し、証明し、自分で正しさをチェックする――。そんな時代が近づいている。これまで人間が担っていたひらめきや証明、検証にAIなどのコンピューター...
12月14日
https://www.asahi.com/articles/ASTD3342PTD3DIFI008M.html?iref=reporter-bio_timeline
AIがひらめき、証明し、検証する時代 数学者の役割はどう変わるか
■《後編》AIは数学者になれるか 「AIもついにここまで来たか」と数学者も驚くほどだった。 米グーグル・ディープマインドが開発したAI「アルファ幾何学」は2024年、国際数学オリンピックの幾何...
12月14日
https://www.asahi.com/articles/ASTCY1BZVTCYDIFI00XM.html?iref=reporter-bio_timeline
ABC予想証明の正否、コンピューターで決着か 望月氏が打開策示す
数学の超難問「ABC予想」をめぐる論争に、決着がつくかもしれない。コンピューターの力を借りて、証明の正否を検証する動きが出てきた。京都大の望月新一教授(56)も、この試みに肯定的だ。証明が正しいかど...
ABC予想証明の正否、コンピューターで決着か 望月氏が打開策示す
12月6日
https://www.asahi.com/reporter-bio/98ccaec47b4239f9882e38d48cc6ecf263d9b721c6ac7cb372df02e5c543423c
朝日新聞
石倉徹也
コンテンツ編成本部次長
https://www.asahi.com/articles/ASTD333PNTD3DIFI004M.html?iref=reporter-bio_timeline
AIは数学者になれるか 数学界に衝撃、証明検証ソフトLean登場
■《前編》AIは数学者になれるか AIが数学の定理を理解し、証明し、自分で正しさをチェックする――。そんな時代が近づいている。これまで人間が担っていたひらめきや証明、検証にAIなどのコンピューター...
12月14日
https://www.asahi.com/articles/ASTD3342PTD3DIFI008M.html?iref=reporter-bio_timeline
AIがひらめき、証明し、検証する時代 数学者の役割はどう変わるか
■《後編》AIは数学者になれるか 「AIもついにここまで来たか」と数学者も驚くほどだった。 米グーグル・ディープマインドが開発したAI「アルファ幾何学」は2024年、国際数学オリンピックの幾何...
12月14日
https://www.asahi.com/articles/ASTCY1BZVTCYDIFI00XM.html?iref=reporter-bio_timeline
ABC予想証明の正否、コンピューターで決着か 望月氏が打開策示す
数学の超難問「ABC予想」をめぐる論争に、決着がつくかもしれない。コンピューターの力を借りて、証明の正否を検証する動きが出てきた。京都大の望月新一教授(56)も、この試みに肯定的だ。証明が正しいかど...
ABC予想証明の正否、コンピューターで決着か 望月氏が打開策示す
12月6日
271132人目の素数さん
2025/12/22(月) 14:00:52.58ID:uJ/GV8fI >>270
黙って●ね 小卒
黙って●ね 小卒
272132人目の素数さん
2025/12/22(月) 14:01:04.79ID:9F0h1duP273132人目の素数さん
2025/12/22(月) 14:02:47.26ID:VkAvhrtd >>272
無能は頑張るな 園児
無能は頑張るな 園児
274132人目の素数さん
2025/12/22(月) 14:08:31.15ID:uJ/GV8fI 無能が囲碁将棋でもやってな
275132人目の素数さん
2025/12/22(月) 14:08:51.43ID:uJ/GV8fI 無能は囲碁将棋でもやってな
276132人目の素数さん
2025/12/22(月) 15:32:17.43ID:0luPxL7k このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。
アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。
京都大学霊長類研究所
言語訓練のために立てたものです。
アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。
京都大学霊長類研究所
277132人目の素数さん
2025/12/22(月) 15:57:59.63ID:jDWUIyzV 「アイちゃん」=9F0h1duP=kJFONjBh
キモHNがやめられないチンパンジー
キモHNがやめられないチンパンジー
278132人目の素数さん
2025/12/22(月) 20:10:26.50ID:3wWC8Rwz 今、Xで面白いネタ拾ってきたので、早速ここで試す
「3の次に大きい自然数は何?」
「3の次に大きい自然数は何?」
279132人目の素数さん
2025/12/22(月) 20:11:14.80ID:3wWC8Rwz ちなみにAIは正解できなかったことを付記しておきます
280132人目の素数さん
2025/12/22(月) 20:31:26.70ID:5bpEMQ3w >>254
納得までの材料出せねえオッサンが科学ヅラすんなゴミ
納得までの材料出せねえオッサンが科学ヅラすんなゴミ
281132人目の素数さん
2025/12/22(月) 20:32:58.36ID:5bpEMQ3w282132人目の素数さん
2025/12/22(月) 20:58:16.83ID:kJFONjBh まあ
もう
勝負は
ついている
望月新一氏の圧勝
もう
勝負は
ついている
望月新一氏の圧勝
283132人目の素数さん
2025/12/22(月) 21:06:05.57ID:3wWC8Rwz >>282
「勝ち組」の方ですか
勝ち組
https://ja.wikipedia.org/wiki/%E5%8B%9D%E3%81%A1%E7%B5%84
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
勝ち組(かちぐみ)とは、第二次世界大戦の日本の降伏後も、日本の敗北を信じず、
「日本は戦争に勝った」と信じていた在外日本人のグループのこと。
1945年8月に日本がポツダム宣言を受諾して太平洋戦争が終結した後も、
ブラジルを主とした南米諸国や米国ハワイ州などの日系人社会および
外国で抑留されていた日本人の中には、敗戦という現実を受け入れられずに、
「日本が連合国に勝った」と信じていた人々がいた。
こうした人々は「勝ち組」、戦勝派などと呼ばれた。
一方で、敗戦の事実を認識し、戦勝派を納得させようとした人たちは、
認識派、負け組などと呼ばれた。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
「勝ち組」の方ですか
勝ち組
https://ja.wikipedia.org/wiki/%E5%8B%9D%E3%81%A1%E7%B5%84
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
勝ち組(かちぐみ)とは、第二次世界大戦の日本の降伏後も、日本の敗北を信じず、
「日本は戦争に勝った」と信じていた在外日本人のグループのこと。
1945年8月に日本がポツダム宣言を受諾して太平洋戦争が終結した後も、
ブラジルを主とした南米諸国や米国ハワイ州などの日系人社会および
外国で抑留されていた日本人の中には、敗戦という現実を受け入れられずに、
「日本が連合国に勝った」と信じていた人々がいた。
こうした人々は「勝ち組」、戦勝派などと呼ばれた。
一方で、敗戦の事実を認識し、戦勝派を納得させようとした人たちは、
認識派、負け組などと呼ばれた。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
284132人目の素数さん
2025/12/22(月) 21:10:54.68ID:3wWC8Rwz 勝ち組の人々の基本思想には、
異郷に孤立し、戦争時は迫害された移民の心の支えとして存在していた、
大和民族を最も優秀な民族とする考えや信念があった。
勝ち組の中には、実際には敗戦により値打ちを失った
日本の旧円紙幣を騙して売りつけることを狙った者もいて、
そういった者が認識派への殺害・テロに及んだ。
勝ち組が生まれた原因として、
終戦の頃、上海方面から、主としてユダヤ人が日本紙幣の売込みに来て、
日本紙幣を買わせるために当時の大本営発表を誇張して日本が勝利するかのように伝え、
日本の軍艦が日系人を迎えにやって来るなど吹聴したことを挙げている。
勝ち組の人々は、紀元節を祝い教育勅語を読むなど
戦前のままの思想・教育を続けており、
外国政府から懸念されていたという。
異郷に孤立し、戦争時は迫害された移民の心の支えとして存在していた、
大和民族を最も優秀な民族とする考えや信念があった。
勝ち組の中には、実際には敗戦により値打ちを失った
日本の旧円紙幣を騙して売りつけることを狙った者もいて、
そういった者が認識派への殺害・テロに及んだ。
勝ち組が生まれた原因として、
終戦の頃、上海方面から、主としてユダヤ人が日本紙幣の売込みに来て、
日本紙幣を買わせるために当時の大本営発表を誇張して日本が勝利するかのように伝え、
日本の軍艦が日系人を迎えにやって来るなど吹聴したことを挙げている。
勝ち組の人々は、紀元節を祝い教育勅語を読むなど
戦前のままの思想・教育を続けており、
外国政府から懸念されていたという。
285132人目の素数さん
2025/12/22(月) 22:49:28.62ID:kJFONjBh Nobushige Kurokawa 先生も IUTを認めて応援している
”express their expectations about the possibility of applying inter-universal Teichm¨uller theory to other unsolved problems in number theory”
か
なるほど・・・
https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
ON THE ESSENTIAL LOGICAL STRUCTURE OF INTER-UNIVERSAL TEICHM¨ ULLER THEORY IN TERMS OF LOGICAL AND “∧”/LOGICAL OR “∨” RELATIONS: REPORT ON THE OCCASION OF THE PUBLICATION OF THE FOUR MAIN PAPERS ON INTER-UNIVERSAL TEICHM¨ ULLER THEORY
Shinichi Mochizuki March 2024
Section 1: Summary of non-mathematical aspects for non-specialists
§1.1. Publication of [IUTchI-IV]
P7
In another article in the Asahi Shimbun [also published shortly after the announcement of April 3, 2020], Professors Shigefumi Mori, a professor emeritus at RIMS, Kyoto University, and Nobushige Kurokawa, a professor emeritus at the Tokyo Institute of Technology, express their expectations about the possibility of applying inter-universal Teichm¨uller theory to other unsolved problems in number theory.
”express their expectations about the possibility of applying inter-universal Teichm¨uller theory to other unsolved problems in number theory”
か
なるほど・・・
https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
ON THE ESSENTIAL LOGICAL STRUCTURE OF INTER-UNIVERSAL TEICHM¨ ULLER THEORY IN TERMS OF LOGICAL AND “∧”/LOGICAL OR “∨” RELATIONS: REPORT ON THE OCCASION OF THE PUBLICATION OF THE FOUR MAIN PAPERS ON INTER-UNIVERSAL TEICHM¨ ULLER THEORY
Shinichi Mochizuki March 2024
Section 1: Summary of non-mathematical aspects for non-specialists
§1.1. Publication of [IUTchI-IV]
P7
In another article in the Asahi Shimbun [also published shortly after the announcement of April 3, 2020], Professors Shigefumi Mori, a professor emeritus at RIMS, Kyoto University, and Nobushige Kurokawa, a professor emeritus at the Tokyo Institute of Technology, express their expectations about the possibility of applying inter-universal Teichm¨uller theory to other unsolved problems in number theory.
286132人目の素数さん
2025/12/22(月) 22:50:11.00ID:kJFONjBh 勝った
287132人目の素数さん
2025/12/22(月) 22:55:34.93ID:kJFONjBh >>285-286
>Nobushige Kurokawa 先生も IUTを認めて応援している
>”express their expectations about the possibility of applying inter-universal Teichm¨uller theory to other unsolved problems in number theory”
事実、2025年5月、中国の若手数学者の周忠鵬の論文が出た(下記)
勝ったな
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した[79][80][81]。
>Nobushige Kurokawa 先生も IUTを認めて応援している
>”express their expectations about the possibility of applying inter-universal Teichm¨uller theory to other unsolved problems in number theory”
事実、2025年5月、中国の若手数学者の周忠鵬の論文が出た(下記)
勝ったな
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した[79][80][81]。
288132人目の素数さん
2025/12/22(月) 22:58:35.75ID:cFa81PIQ 矛盾した理論からは何でも出るよ
289132人目の素数さん
2025/12/22(月) 23:16:13.57ID:kJFONjBh 矛盾した理論からは何でも出るよ
↓
ショルツェ氏のことだな
↓
ショルツェ氏のことだな
290132人目の素数さん
2025/12/22(月) 23:43:49.18ID:Hzon9YZR 高校数学レベルすら理解できてない
291132人目の素数さん
2025/12/23(火) 06:00:41.31ID:8V3gI1w/292132人目の素数さん
2025/12/23(火) 06:22:25.87ID:nqJwJd4Q どーもー、ウンコ製造機でございます。
ご無沙汰しております。
さあ、賽の目を振って出た数だけウンコをさせて頂きます。それでは参ります。
💩💩💩💩💩💩💩 召し上がれ♩
ご無沙汰しております。
さあ、賽の目を振って出た数だけウンコをさせて頂きます。それでは参ります。
💩💩💩💩💩💩💩 召し上がれ♩
293132人目の素数さん
2025/12/23(火) 06:23:07.66ID:nqJwJd4Q294132人目の素数さん
2025/12/23(火) 06:34:00.18ID:uqvKp/xo “'Alien's language' problem that stumped mathematicians for decades may finally be close to a solution By Joanna Thompson published June 4, 2025 livescience.com” (2025年6月4日).
295132人目の素数さん
2025/12/23(火) 07:40:30.73ID:YKW7PlXk >>294
ありがとう
URL:
https://www.livescience.com/physics-mathematics/mathematics/aliens-language-problem-that-stumped-mathematicians-for-decades-may-finally-be-close-to-a-solution
(google訳)
ジョアンナ・トンプソン
ライブサイエンス寄稿者
ジョアンナ・トンプソンは、ニューヨークを拠点とする科学ジャーナリスト兼ランナーです。ノースカロライナ州立大学で動物学の学士号とクリエイティブライティングの学士号を取得し、ニューヨーク大学科学・健康・環境報道プログラムで科学ジャーナリズムの修士号も取得しています。彼女の作品は、Scientific American、The Daily Beast、Atlas Obscura、Audubon Magazineなどでご覧いただけます。
ありがとう
URL:
https://www.livescience.com/physics-mathematics/mathematics/aliens-language-problem-that-stumped-mathematicians-for-decades-may-finally-be-close-to-a-solution
(google訳)
ジョアンナ・トンプソン
ライブサイエンス寄稿者
ジョアンナ・トンプソンは、ニューヨークを拠点とする科学ジャーナリスト兼ランナーです。ノースカロライナ州立大学で動物学の学士号とクリエイティブライティングの学士号を取得し、ニューヨーク大学科学・健康・環境報道プログラムで科学ジャーナリズムの修士号も取得しています。彼女の作品は、Scientific American、The Daily Beast、Atlas Obscura、Audubon Magazineなどでご覧いただけます。
296132人目の素数さん
2025/12/23(火) 09:36:40.21ID:JZobF322 数学の博士号を放棄し、元教授まで招き入れた少女の珍しい旅。
https://www.vietnam.vn/ja/hanh-trinh-khac-la-cua-co-gai-bo-tien-si-toan-chieu-mo-ca-giao-su-tung-day-minh
米国 - カリーナ・ホンはスタンフォード大学の数学博士課程を中退した後、
かつての教授さえも採用できるほどの地位を急速に確立し、多くの人を驚かせた。
https://www.vietnam.vn/ja/hanh-trinh-khac-la-cua-co-gai-bo-tien-si-toan-chieu-mo-ca-giao-su-tung-day-minh
米国 - カリーナ・ホンはスタンフォード大学の数学博士課程を中退した後、
かつての教授さえも採用できるほどの地位を急速に確立し、多くの人を驚かせた。
297132人目の素数さん
2025/12/23(火) 11:30:12.67ID:PnEsXQRJ298132人目の素数さん
2025/12/23(火) 15:52:30.17ID:n7MgDd44 >>296
>数学の博士号を放棄し、元教授まで招き入れた少女の珍しい旅。
>https://www.vietnam.vn/ja/hanh-trinh-khac-la-cua-co-gai-bo-tien-si-toan-chieu-mo-ca-giao-su-tung-day-minh
ありがとう
数学者 ケン・オノ教授は、数学者小野孝の次男だね
”Ph.D. in 1958 at Nagoya University”となっている
(参考)
https://www.vietnam.vn/ja/hanh-trinh-khac-la-cua-co-gai-bo-tien-si-toan-chieu-mo-ca-giao-su-tung-day-minh
数学の博士号を放棄し、元教授まで招き入れた少女の珍しい旅。
米国 - カリーナ・ホンはスタンフォード大学の数学博士課程を中退した後、かつての教授さえも採用できるほどの地位を急速に確立し、多くの人を驚かせた。
VietNamNet
20/12/2025
アメリカ数学会(AMS)によると、カリーナ・ホンの旅は中国の広州から始まり、そこで彼女は省のオリンピック数学チームで正式なトレーニングを受け、ロスプログラムやスタンフォード数学キャンプなど数多くの国際数学プログラムに参加した。
創業当初、アクシオムには折りたたみテーブルと借り物のソファしかありませんでしたが、その使命と長期的なビジョンのおかげで、ホン氏はかつての指導者であるケン・オノ教授をはじめ、学界と産業界の両方から研究者を採用することができました。
https://ja.wikipedia.org/wiki/%E3%82%B1%E3%83%B3%E3%83%BB%E3%82%AA%E3%83%8E
ケン・オノ(Ken Ono、1968年3月20日 - )は日系アメリカ人の数学者。数論、特に自然数の分割、モジュラー形式が専門。また、インドの数学者シュリニヴァーサ・ラマヌジャンの研究を行う。現在エモリー大学教授。
略歴
第二次大戦後アメリカ合衆国へ移民した数学者小野孝の次男としてフィラデルフィアに生まれる
https://en.wikipedia.org/wiki/Ken_Ono
Ken Ono (born March 20, 1968) is an American mathematician with fields of study in number theory.
https://en.wikipedia.org/wiki/Takashi_Ono_(mathematician)
Takashi Ono (小野 孝, Ono Takashi; born 18 December 1928) is a retired Japanese-born American mathematician, specializing in number theory and algebraic groups.
Early life and education
Ono was born in Nishinomiya, Japan. He received his Ph.D. in 1958 at Nagoya University.[1]
>数学の博士号を放棄し、元教授まで招き入れた少女の珍しい旅。
>https://www.vietnam.vn/ja/hanh-trinh-khac-la-cua-co-gai-bo-tien-si-toan-chieu-mo-ca-giao-su-tung-day-minh
ありがとう
数学者 ケン・オノ教授は、数学者小野孝の次男だね
”Ph.D. in 1958 at Nagoya University”となっている
(参考)
https://www.vietnam.vn/ja/hanh-trinh-khac-la-cua-co-gai-bo-tien-si-toan-chieu-mo-ca-giao-su-tung-day-minh
数学の博士号を放棄し、元教授まで招き入れた少女の珍しい旅。
米国 - カリーナ・ホンはスタンフォード大学の数学博士課程を中退した後、かつての教授さえも採用できるほどの地位を急速に確立し、多くの人を驚かせた。
VietNamNet
20/12/2025
アメリカ数学会(AMS)によると、カリーナ・ホンの旅は中国の広州から始まり、そこで彼女は省のオリンピック数学チームで正式なトレーニングを受け、ロスプログラムやスタンフォード数学キャンプなど数多くの国際数学プログラムに参加した。
創業当初、アクシオムには折りたたみテーブルと借り物のソファしかありませんでしたが、その使命と長期的なビジョンのおかげで、ホン氏はかつての指導者であるケン・オノ教授をはじめ、学界と産業界の両方から研究者を採用することができました。
https://ja.wikipedia.org/wiki/%E3%82%B1%E3%83%B3%E3%83%BB%E3%82%AA%E3%83%8E
ケン・オノ(Ken Ono、1968年3月20日 - )は日系アメリカ人の数学者。数論、特に自然数の分割、モジュラー形式が専門。また、インドの数学者シュリニヴァーサ・ラマヌジャンの研究を行う。現在エモリー大学教授。
略歴
第二次大戦後アメリカ合衆国へ移民した数学者小野孝の次男としてフィラデルフィアに生まれる
https://en.wikipedia.org/wiki/Ken_Ono
Ken Ono (born March 20, 1968) is an American mathematician with fields of study in number theory.
https://en.wikipedia.org/wiki/Takashi_Ono_(mathematician)
Takashi Ono (小野 孝, Ono Takashi; born 18 December 1928) is a retired Japanese-born American mathematician, specializing in number theory and algebraic groups.
Early life and education
Ono was born in Nishinomiya, Japan. He received his Ph.D. in 1958 at Nagoya University.[1]
299132人目の素数さん
2025/12/23(火) 16:05:59.54ID:n7MgDd44■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 中道改革連合の綱領発表 ★3 [少考さん★]
- 長期金利が上昇、一時2・230%と27年ぶり高水準…「各党が衆院選公約に食料品の消費税減税を検討」反応 [煮卵★]
- 【芸能】歌舞伎役者の中村鶴松容疑者 酒酔いでケバブ店ドアをキックで蹴り壊し逮捕 トイレ無断使用注意で逆ギレか 容疑を否認 [Ailuropoda melanoleuca★]
- 【2025年「苦手な」CMベスト5】2社ランクインの高畑充希、伊藤沙莉のたまちゃん、健康被害が続出したあのちゃんCMを抑えた1位は? [Ailuropoda melanoleuca★]
- 立民議員「アンコじゃなくてウンコが入っているかも」新党参加判断を保留「綱領読まなければ…」 [尺アジ★]
- 中道改革連合が高市早苗政権に対抗できる勢力になると思うか「ならない」69%、「なる」20% 朝日世論調査 [尺アジ★]
- 高市「食料品消費税ゼロを検討する」木原「選択肢としてはある」 [931948549]
- 【高市悲報】専門家「長期金利、年内2.7%まで上昇。高市政権の財政拡張と減税で」 [663382246]
- 山里亮太さん、中道改革連合に苦言。「"中道"って自分で言うことなのかな?」 [176025189]
- Z世代「すまん...俺等って、最も賢くて不幸な世代じゃね?」2万いいね [237216734]
- 【山上裁判】検察「無期懲役イイイ!」弁護士「20年以下あああ!」あさって判決【高市悲報】 [947332727]
- 最近のオタクのガキ「こんなかわいい声してるなんて声優は美人に違いない!」
