探検


Inter-universal geometryとABC予想(シン応援スレ) 87

■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
垢版 |
2026/03/01(日) 08:38:29.95ID:3dmumsBe
前スレ:Inter-universal geometryとABC予想(シン応援スレ) 86
https://rio2016.5ch.net/test/read.cgi/math/1771501702/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13

(2030 ICM 日本開催に向け 力をためようということか)
https://www.mathunion.org/icm/icm-2026
ICM 2026
https://www.icm2026.org/event/ac193975-5d24-4628-8c30-ddb23de19a8b/catalog
Titles & Abstracts

https://ahgt.math.cnrs.fr/news/index.html
News of the AHGT project [Special year]2027-2028
Special year ``Arithmetic Homotopy Geometry'' at RIMS Kyoto, April 2027-March 2028.
Three Seasons: with main conferences, introductory lectures, and workshops

<2026年は 数学でもAIの時代になるかもです。そういう兆候が2025年から顕著になっていますですw (^^; >
<IUT最新文書>
・News – Ivan Fesenko 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
アーベル圏 abelian category Grokipedia https://grokipedia.com/page/Abelian_category

https://zen.ac.jp/lp/icp
IUT Challenger Prizeの紹介 2023年7月
審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたもの

://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
つづく
313132人目の素数さん
垢版 |
2026/03/04(水) 00:47:26.31ID:+L2Ciq8w
>>310
γは超越数だろうと思う
それ以外に合理性が見いだせないからという以外の判断基準が思い浮かばないね
314132人目の素数さん
垢版 |
2026/03/04(水) 00:47:47.56ID:lCH2E4Kg
>>311
だから、お前のオリジナルの考えを述べろ。
それだけ自信満々ならあるんだろ?
早く言え。
315132人目の素数さん
垢版 |
2026/03/04(水) 00:47:56.99ID:+L2Ciq8w
>>312
お見事では無い?
316132人目の素数さん
垢版 |
2026/03/04(水) 00:49:27.90ID:+L2Ciq8w
>>314
確定していない
まだ誰も証明していないことをうだうだ言うのに
優劣を競うのは愚
317132人目の素数さん
垢版 |
2026/03/04(水) 00:50:03.30ID:lCH2E4Kg
>>313
これしか言えないのに、なんで自信満々なんだよ?
自信と根拠を比例させろ。
318132人目の素数さん
垢版 |
2026/03/04(水) 00:50:22.08ID:+L2Ciq8w
>>314
他人に何かを強要するのが好きな人ね
319132人目の素数さん
垢版 |
2026/03/04(水) 00:50:53.89ID:+L2Ciq8w
>>317
根拠ってw
誰も何も証明してないんですよ?
320132人目の素数さん
垢版 |
2026/03/04(水) 00:51:31.25ID:lCH2E4Kg
>>316
んじゃ、ハナから黙ってなさい。
何かを隠しもってる感じで言うんじゃない。
321132人目の素数さん
垢版 |
2026/03/04(水) 00:52:19.93ID:+L2Ciq8w
>>320
イヤ
ホント人に強要するのが好きな人ね君
322132人目の素数さん
垢版 |
2026/03/04(水) 00:53:03.54ID:+L2Ciq8w
>>320
>何かを隠しもってる感じで言うんじゃない。
噴飯
>>1に通じるかも
323132人目の素数さん
垢版 |
2026/03/04(水) 00:53:25.89ID:lCH2E4Kg
>>318
無限小の人ではないか…?
無限小のピクチャーの人なら、お言葉をお返しします。
324132人目の素数さん
垢版 |
2026/03/04(水) 00:54:46.05ID:+L2Ciq8w
>>323
何だか自分が無い人なのかもね
他人の意識の中にしか自分の価値を見いだせない?
325132人目の素数さん
垢版 |
2026/03/04(水) 00:55:49.51ID:lCH2E4Kg
>>322
濃度がおかしいってんなら、他にあると思うだろ?
まさか何もないとはね。
何を噴き出そうかなぁw
326132人目の素数さん
垢版 |
2026/03/04(水) 00:57:06.82ID:+L2Ciq8w
>>325
判断基準としてはそうとしか思えないと言う以外はないと思うね
さすがに濃度は噴飯
327132人目の素数さん
垢版 |
2026/03/04(水) 00:57:56.96ID:+L2Ciq8w
もちろん
この判断基準に何の合理性も無い
328132人目の素数さん
垢版 |
2026/03/04(水) 00:58:27.99ID:+L2Ciq8w
証明するに何も役立たないからね
329132人目の素数さん
垢版 |
2026/03/04(水) 00:58:35.46ID:lCH2E4Kg
>>324
自分の目で判断するために、数学を勉強した部分がある。
ただ、このスレはAIありきなところがある。
だから、何かに頼っているように見えるのさ。
330132人目の素数さん
垢版 |
2026/03/04(水) 00:59:09.25ID:+L2Ciq8w
γに関してはそうとしか言えないのが現状
331132人目の素数さん
垢版 |
2026/03/04(水) 00:59:33.08ID:+L2Ciq8w
>>329
勝手にそう思ってれば?
332132人目の素数さん
垢版 |
2026/03/04(水) 01:01:02.18ID:+L2Ciq8w
>>329
とにかくあの証明はお見事ではない?
それはさすがに判断できるでしょ
333132人目の素数さん
垢版 |
2026/03/04(水) 01:01:03.57ID:lCH2E4Kg
>>328
セタさんと乙さんに関わりすぎたから、こうやって関わっていない人に腹を割るのは良いかもね。
私は結局、ミロクって人がよく分かっていないからね。
334132人目の素数さん
垢版 |
2026/03/04(水) 01:02:02.61ID:+L2Ciq8w
>>333
どうでもいいことに逃げますね
335132人目の素数さん
垢版 |
2026/03/04(水) 01:02:56.36ID:+L2Ciq8w
>>333
君が何をどう思っているかは他人は興味ない
それは分かってるんじゃ無い?
336132人目の素数さん
垢版 |
2026/03/04(水) 01:03:19.06ID:lCH2E4Kg
>>332
どれのことをいってるの?
ファイバーのはきちんと見ていないよ。
イライラしていて、数学の内容なんて見ちゃいないw
337132人目の素数さん
垢版 |
2026/03/04(水) 01:04:35.49ID:+L2Ciq8w
>>336
はぁ
じゃあ何をお見事と言っているかも分かって無くて
適当に書き込んでるだけだったか
クダラン
338132人目の素数さん
垢版 |
2026/03/04(水) 01:04:40.38ID:lCH2E4Kg
>>334
律儀に人を覚えることを、軽く言うなよ。
大切なことだろう。
339132人目の素数さん
垢版 |
2026/03/04(水) 01:05:48.62ID:+L2Ciq8w
>>336
ていうか
適当にしか書いていないのが君だって分かって
まあそれはよかったかも
340132人目の素数さん
垢版 |
2026/03/04(水) 01:06:04.63ID:+L2Ciq8w
>>338
いいえ
341132人目の素数さん
垢版 |
2026/03/04(水) 01:06:49.56ID:+L2Ciq8w
付和雷同
権威主義
アホラシ
342132人目の素数さん
垢版 |
2026/03/04(水) 01:07:24.62ID:lCH2E4Kg
>>337
私はお見事について何も言っていないし、そんな余裕を与えないのが悪いよ。
頭を冷やすことに時間を割いていたのだから。
そこまで言われたら、院試については分かる所まで見といてやるよ。
せっかくみんなが解いてくれたんだからな…。
343132人目の素数さん
垢版 |
2026/03/04(水) 01:08:25.21ID:+L2Ciq8w
>>342
やはり他人の評価の中にしか自分が無い人みたいね
344132人目の素数さん
垢版 |
2026/03/04(水) 01:09:55.96ID:lCH2E4Kg
>>341
私はどちらかと言うと、権威に歯向かいたいタイプだからね。
良い年になって従順になっているだけ。
345132人目の素数さん
垢版 |
2026/03/04(水) 01:10:47.02ID:+L2Ciq8w
>>312
>お前は解答無しで解けたのか?
>解答が出てから偉そうに言うなよ。
これは何のことを言っていたんだろ
証明は見て無くて反例だけ見ていたのか
それはそれとして噴飯
346132人目の素数さん
垢版 |
2026/03/04(水) 01:11:10.16ID:+L2Ciq8w
>>344
それすらしょーも無い
347132人目の素数さん
垢版 |
2026/03/04(水) 01:12:50.32ID:+L2Ciq8w
>>342
>せっかくみんなが解いてくれたんだからな…。
みんなとかせっかくとかどうでもいいことよね
348132人目の素数さん
垢版 |
2026/03/04(水) 01:13:09.56ID:lCH2E4Kg
>>343
それは上手く反論できないが、そんなことはない。
ただ、このスレは難解なコピペが氾濫しすぎて、自信なんか持てないだろう?
誤解しているよ。
349132人目の素数さん
垢版 |
2026/03/04(水) 01:15:16.94ID:+L2Ciq8w
>>336
>イライラしていて、数学の内容なんて見ちゃいないw
ここに自分を守ろうという意識を感じた
350132人目の素数さん
垢版 |
2026/03/04(水) 01:16:07.25ID:lCH2E4Kg
>>347
セタさん・乙さんが書かなくなったら面白くなくなるよ?
ただでもセタさんは年が・・・、おっと、今日は慰めてもらったからやめておこうw
351132人目の素数さん
垢版 |
2026/03/04(水) 01:16:59.61ID:+L2Ciq8w
>>350
別にいいけど?
352132人目の素数さん
垢版 |
2026/03/04(水) 01:17:58.39ID:+L2Ciq8w
君がいても居なくてもどうでもいいのと同じ
353132人目の素数さん
垢版 |
2026/03/04(水) 01:18:23.39ID:lCH2E4Kg
>>349
まず、東北大の院試を見ている時点で、意欲を評価してほしい。
やる気のない人なんか、あんなのやらないよ。
ずっと敬遠していたから、気合いを入れてやったのさ。
354132人目の素数さん
垢版 |
2026/03/04(水) 01:19:46.25ID:lCH2E4Kg
>>352
居なくなったら真面目な議論をするのかい?
自然とお開きになる気がするが。
355132人目の素数さん
垢版 |
2026/03/04(水) 01:21:39.53ID:+L2Ciq8w
>>354
なぜ何かを前提にどうなるか予め分かってないとイケナイと思うんだろ
自然ならそれでいいんジャね?
356132人目の素数さん
垢版 |
2026/03/04(水) 01:23:26.32ID:+L2Ciq8w
>>353
>意欲を評価してほしい
しません
357132人目の素数さん
垢版 |
2026/03/04(水) 01:23:47.58ID:lCH2E4Kg
まあしかしね、セタ・乙・トイレさん以外の生態が謎すぎたから、話が出来て良かったよ。
私は追及しないから、話しかけてくれる人以外とは接点ができないからね。
過去スレで歴史を紐解こうかと思ったが、その必要はなさそうだけど。
358132人目の素数さん
垢版 |
2026/03/04(水) 01:26:29.30ID:lCH2E4Kg
>>355
後先考えてないとダメなこともあるんじゃないの?
ただ、こんなプライベートの趣味にそんなことは必要ないか。
仕事とプライベートを分けない考え方ということだ。
359132人目の素数さん
垢版 |
2026/03/04(水) 01:30:24.19ID:lCH2E4Kg
ま、正直私の行動が極端だったことは認めよう。
私のことなんか気にせず、自由にやってくれ。
トイレさんとセタさんには、窮屈な思いをさせてしまって申し訳なかった。
私が特に言っておきたいことはこれだけです。
360132人目の素数さん
垢版 |
2026/03/04(水) 01:32:02.42ID:+L2Ciq8w
基本君がどう行動しようが興味ない人が多いんじゃ無いかな
誰も彼も居ても居なくても別に
361132人目の素数さん
垢版 |
2026/03/04(水) 01:35:10.86ID:lCH2E4Kg
>>360
ある意味それは助かるのかもしれない。
まあ権利を侵されない限りは、互いに干渉はしないということで。
362132人目の素数さん
垢版 |
2026/03/04(水) 01:37:10.21ID:+L2Ciq8w
>>361
心の安定を得ましたね
おめでとう
363132人目の素数さん
垢版 |
2026/03/04(水) 01:43:47.08ID:lCH2E4Kg
>>362
せっかく時間をかけて仲良くなったんだよ。
私は数学なんかどうでも良いんだ。
私は勉強に力をいれすぎたせいで、昨年双子の兄を若くして亡くした。
色々彷徨った挙句、ここに辿り着いたんだよ。
これだけは、心に留めておいてほしい。
364132人目の素数さん
垢版 |
2026/03/04(水) 03:18:31.13ID:lt1ZLx02
嫌だ
おまえの個人的事情なんてどうでもいい
ていうかとっとと消えて欲しい うざくてかなわん
365132人目の素数さん
垢版 |
2026/03/04(水) 03:24:21.99ID:cAJA/gAa
>>364
上の人に呼び出された形になったから出たまでだよ。
何度も言ってるが、私はもうどちらでも良いと言っている。
私に出てきて欲しくないのなら、他の住民に私を刺激しないように伝えなさい。
366132人目の素数さん
垢版 |
2026/03/04(水) 03:28:50.74ID:cAJA/gAa
>>364
私を嫌っている人がいるのなら即刻辞めるから。
住民の意見がバラバラだから、総意をきちんとまとめてくれよ。
私は本当に疲れたから、もうどうだって良いからね。
367132人目の素数さん
垢版 |
2026/03/04(水) 03:39:52.67ID:cAJA/gAa
>>364
っていうか、それくらい嫌なのならきちんと出てきて、さっと話し合って結論を出せば良いだろ。
自分で決めたらとか言ってる人がいたら、きちんとそこで阻止しなさいよ。
普段バラバラだからこういうときに困るんだよ、チームワークの良さを見せなさいよ。
こんなバラバラのスレは、こちらから願い下げだよ。
368132人目の素数さん
垢版 |
2026/03/04(水) 04:29:55.08ID:TOayLxv2
>>339
あとこのコメントに関してだが、>>266の発言が怪しいのなら、きちんと処理した方が良いんじゃないの?
適当な数学のコメントであれば、最後に訂正すべきだと思います。
369132人目の素数さん
垢版 |
2026/03/04(水) 05:52:07.43ID:xYuMk59J
>>302
>AIを使う人と AIに使われる人とが出てくる気がする
AIを使う奴隷とAIを使わない自由人ができるよ

プログラミングとか数学とか囲碁将棋とかいうのは
AIでもできるくだらん仕事ってことさ

人間はAIにはできんというか
AIにやらせても意味ないことを
やったらいいんじゃね?
370132人目の素数さん
垢版 |
2026/03/04(水) 06:02:52.56ID:xYuMk59J
>>303
>Rの原点0の近傍において ハウスドルフで無くなるのかな?
「のかな?」は要らない

(0,1)のいかなる近傍P、(0,-1)のいかなる近傍M、をとってもP∩M={}にできない
つまりハウスドルフの定義を満たさないからハウスドルフではない

もしR\{0}ではなくR\(-a、a)ならばハウスドルフ
なぜなら0<b<aなる任意の(b,1)と(b,-1)について
それぞれの近傍PとMで、P∩M={}となるものがとれるから

つまり{0}がRの開集合でなく閉集合であることが大事

でもこんなことはAIにもわかるんだから
数学諦めた奴がいまさら必死になって理解することじゃない
ほかのことやりな 人間はこんなことではAIには勝てないよ
371132人目の素数さん
垢版 |
2026/03/04(水) 07:39:28.92ID:IXHJxH31
>>370
パチパチ
おお、さすがだね
もっとも >>173の "ヘタレなので、真っ先にAIに訊いてみた"
の直後に Grok AIの補足として述べることができていたなら もっと良かった

そして、院試答案という点で不足しているのは
院試答案で必要なことは 「私はちゃんと学部で勉強しました」が分る答案なのよ
数学的に正しいだけでなく 出題の題意をくんで
出題の重要キーワードを織り交ぜて答案を書くべしだ

その視点から、
キーワード 標準的射影、商位相 を使って
 >>370の近傍P、近傍Mの説明を 先に入れておくことだね

(参考)
 >>198 より再録
http://www.math.tohoku.ac.jp/exam/questions/2026_R8_kyotsu.pdf
令和8年度東北大学大学院理学研究科数学専攻入学試験問題
数学 共通問題
2 以下の問いに答えよ.
(1) OR をRのユークリッド位相の開集合系とする.X =R×{1,−1}とする.Xの
位相OXを
OX ={(U ×{1})∪(U′×{−1}) | U,U′ ∈ OR}
と定める.X上の同値関係∼を,p,q∈R,s,t∈{1,−1}に対し
(p, s) ∼ (q,t) ⇔ (p,s) = (q,t) または p =q ∈R\{0}
と定める.Y = X/∼とおき,標準的射影をπ:X → Y とおく.πの定めるY
上の商位相をOY とおく.位相空間(Y,OY)はハウスドルフ空間であるかどうか,
理由とともに答えよ.
(引用終り)
372現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2026/03/04(水) 07:49:12.31ID:IXHJxH31
>>370
>人間はこんなことではAIには勝てないよ

不完全性定理
チューリングマシンの停止問題

AIの限界は、これで説明できるだろう
神とは無限の能力を持つと定義しよう
だが、人間の作るAIは、神の領域に到達できるのか?
できない
それが 不完全性定理と チューリングマシンの停止問題

次に
AIは、未来を的中できるか?
量子力学の示すところ 未来を的中できない
それは、神の能力であって 人間の作るAIは、神の領域に到達できない

やっぱ、人間が 人間の作ったAIを補う必要は 常にある

具体例を挙げよう
米トランプおじさんのイラン攻撃
彼は 側近AIに聞いた:
イラン攻撃どう思う
側近AIの答え:イエス、イエス イエス!です 偉大なる大統領さま!!
おそらくは AIハルシネーションだろうね
未来は不確定だ
側近AIには イラン攻撃は解けていない!w (^^
373132人目の素数さん
垢版 |
2026/03/04(水) 08:50:27.33ID:gN7ohhlV
>>371
>院試答案という点で不足しているのは
なしね はい 完璧

>院試答案で必要なことは 「私はちゃんと学部で勉強しました」が分る答案なのよ
完璧に答えれば、それが示せる

つまり完璧

>数学的に正しいだけでなく 出題の題意をくんで出題の重要キーワードを織り交ぜて答案を書くべし

数学的に正しいことが出題の題意
出題の重要キーワード(この場合”ハウスドルフ空間”)の定義から証明すべし
定義から分かってないなら、「私は学部で女子と●●Xばっかりしてました」って事で不合格
別に●●Xしてもいいが、定義を知らん言い訳にはならん

標準的射影、商位相とかいう前にまずハウスドルフな

以上
374132人目の素数さん
垢版 |
2026/03/04(水) 08:51:56.55ID:gN7ohhlV
>不完全性定理
>チューリングマシンの停止問題
>AIの限界は、これで説明できるだろう

人類の限界も、これで説明できるので、同じ

人類は神ではない

以上
375132人目の素数さん
垢版 |
2026/03/04(水) 08:57:16.07ID:fSWje8XO
そもそも大学1年の実数論と線形代数の理論を
つまらんといって全部スルーした人が
今更、現代数学の最先端を理解しようとか無理だし無駄だから
全部諦めて、囲碁将棋に全力投入したほうが有意義

悪いことは言わないから、ぜひそうしなさい
376132人目の素数さん
垢版 |
2026/03/04(水) 09:45:58.54ID:lt1ZLx02
>>372
>神とは無限の能力を持つと定義しよう
>だが、人間の作るAIは、神の領域に到達できるのか?
>できない
>それが 不完全性定理と チューリングマシンの停止問題
つまり不完全性や停止性問題の決定不能性は人間なりAIなりの能力不足が原因と?
分かってないことを分かってる風に語らない方が良いよ みっともないから
377132人目の素数さん
垢版 |
2026/03/04(水) 10:29:58.64ID:umgoyr5c
>>376
>>それが 不完全性定理と チューリングマシンの停止問題
>つまり不完全性や停止性問題の決定不能性は人間なりAIなりの能力不足が原因と?
>分かってないことを分かってる風に語らない方が良いよ みっともないから

それキミ いいか、量子コンピューター 量子チューリングマシン
普通のコンピューターが 宇宙が終わるまでに解けない問題を解く
神は さらに それを超える
https://ja.wikipedia.org/wiki/%E5%88%B0%E9%81%94%E4%B8%8D%E8%83%BD%E5%9F%BA%E6%95%B0
数学には「到達不能基数」がある
神の能力ならば「到達不能基数に到達可能!」、神の能力に不可能の文字は無い! (^^

(参考)
https://www.nikkei.com/article/DGXZQOSG243EH0U5A920C2000000/
「君たちは間違った物理を使っている」量子計算機を生んだひらめき
量子情報創世記C 日経サイエンス 20250928(編集部・古田彩)

1982年12月、テキサス大学の物理学者ジョン・ホイーラーは小さな研究会を開いた
英オックスフォード大学のデイヴィッド・ドイチュもいた(文中敬称略)

ドイチュは思わずつぶやいた。「そもそも計算量を見積もることに、何か意味があるのだろうか」

隣にいたベネットは、ドイチュになぜそう思うのかを尋ねた。ドイチュは、問題を解くのに必要な計算量は計算の基本操作によって変わるから、と答えた。人為的に設定する基本操作に基づいて計算量を調べても、自然への本質的な理解が得られるとは思えないと。するとベネットは言った。「でも、計算の基本操作は物理ですよ」

すべてを量子で語れ
ドイチュは「衝撃でのけぞった」という。彼はベネットが言った意味を瞬時に理解した。そして思わず「ならば君たちは間違った物理を使っている!」と返した

後にドイチュはこう語った。「私はそれまで、計算というのは物理とは関係ない数学の一部だと思っていた。だがそうではない。物理的な実体のない情報は存在しない。計算は物理的な過程で、どんな計算ができるかは物理法則によって決まる。ベネットらがずっと前から主張していたことに、自分はこのとき初めて気づいた」

だが、ベネットらが計算の物理過程の解析に用いたのは古典物理学だ。エヴェレット解釈を取るドイチュにとって、計算が物理過程ならば、それは量子力学過程以外にはありえない。ドイチュは直ちに、計算のモデルであるチューリングマシンを量子力学に基づいて書き直す仕事に着手した

量子チューリングマシンは膨大な数のデータを量子的な重ね合わせ状態にし、それらを同時に操作する。量子ビットが50個もあれば、1000兆個以上のデータを同時並行で処理できる。エヴェレット流に言えば1000兆個の宇宙で計算を分担するのだ

ドイチュは、量子力学的なプロセスはすべて量子コンピューターの基本操作の組み合わせで表せることを証明した。「量子計算は、量子力学を記述する新しい言語だ」とドイチュは言う。そしてこのマシンを「ユニバーサル量子コンピューター」と名付け、1985年に発表した。量子コンピューターの研究はここから始まり、現在に至っている
378132人目の素数さん
垢版 |
2026/03/04(水) 10:51:47.40ID:lt1ZLx02
>>377
ああやっぱり何も分かってないね
問題にしてるのは有限時間か否かであって宇宙が終わるまでか否かじゃない

>1000兆個以上のデータを同時並行で処理できる
だからなに? 1000兆なんて小さな数は自然数全体の中で「0に毛が生えた数」ですけど?
379132人目の素数さん
垢版 |
2026/03/04(水) 11:05:03.84ID:umgoyr5c
>>374
(引用開始)
>不完全性定理
>チューリングマシンの停止問題
>AIの限界は、これで説明できるだろう
人類の限界も、これで説明できるので、同じ
人類は神ではない
(引用終り)

うんうん
だから AIの限界は、いろいろあるんだよ
人間にも限界はあるけどね

例えば ある富山県の人が 数学者になりたいと思ったしますよね
でも 数学者で幸せになれるかどうか 神のみぞ知る AIに聞いても正解は出ない
これからも 同じ

で、東大に入学して 「京大に入りなおした方が 良くね?」 と思った
でも 京大で幸せになれるかどうか 神のみぞ知る AIに聞いても正解は出ない
これからも 同じ

要するに、未来のことは 神のみぞ知る AIに聞いても正解は出ない
これからも 同じ

人生は 自分が切り開いていくもの
これからも 同じ

AIは道具であって 使い倒すもの
これからも 同じ
380132人目の素数さん
垢版 |
2026/03/04(水) 11:12:57.33ID:lt1ZLx02
存在しない神を持ち出しても無意味
381132人目の素数さん
垢版 |
2026/03/04(水) 11:14:04.08ID:lt1ZLx02
「神が存在するなら○○○」はトートロジー
なぜなら神は存在しないから
382現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2026/03/04(水) 11:22:18.92ID:umgoyr5c
>>375
>今更、現代数学の最先端を理解しようとか無理だし無駄だから
>全部諦めて、囲碁将棋に全力投入したほうが有意義

ふっふ、ほっほ
1)おれからすれば 囲碁・将棋・数学 似たようなものよ
 御大なら 囲碁>数学>卓球 だろう(表の看板は 囲碁<数学かもね)
2)さらに 下記小沢 登高流 「数学道具箱」よ
 ”自分の手持ちの道具でアッサリ解決できることに空の上で気が付いた”
 ”手持ちの道具でtrivialな評価をnon-trivialなものに改良できたので知らせた”
 ”主な道具は修士学生時代に勉強したMイデアル理論だが、ちゃんと道具箱に入っているものはいつか使う機会が来るものだと思った”
3)おれの場合、>>33
  "おサル「正則行列を知らない線形代数落ちこぼれ」"に対して
 道具箱の中の 環論の零因子を取出し 零因子行列に丸めて投げ返したら
 相手が頓死したのには びつくり しましたw
 道具箱=ドラえもんポケット 便利だな(^^

(参考)
https://www.kurims.kyoto-u.ac.jp/~narutaka/
小沢 登高
https://www.kurims.kyoto-u.ac.jp/~narutaka/lists.html
コメント付き論文リスト

[24] An example of a solid von Neumann algebra.
Hokkaido Math. J., 38 (2009), 557--561. doi:10.14492/hokmj/1258553976 arXiv:0804.0288
論文[15]で群のクラスSを定義したとき、このクラスに無限可換正規部分群を持つ群があるか否かがすぐに気になった。そのような例は後に環積で見つかったが([17])、当初から気に掛けていたSL(2,Z)×Z2もクラスSに入ることを確認した。08年3月末のBanffでの研究集会で機会を得たので再び考えてみたら、組み合わせ論的に難しいと思っていた箇所が、自分の手持ちの道具でアッサリ解決できることに空の上で気が付いた。教科書を書いたおかげで頭が整理されたのだと思う。論文は1日で書いた。

[35] (With W. B. Johnson and G. Schechtman) A quantitative version of the commutator theorem for zero trace matrices.
Proc. Nat. Acad. Sci., 110 (2013), 19251--19255. doi:10.1073/pnas.1202411109 arXiv:1202.0986
2010年の夏に、数学研究の専門的な話題を扱うウェブサイトmathoverflowを覘いていたところ、TAMU大学院生時代の恩師Johnsonが行列に関する興味深い問題を提示していたのを発見。手持ちの道具でtrivialな評価をnon-trivialなものに改良できたので知らせたところ、更に発展させてくれた。共著者たちのコネでPNASの定量的幾何学特集号に載ることになった。

[44] (With D. Blecher) Real positivity and approximate identities in Banach algebras.
Pacific J. Math., 277 (2015), 1--59. doi:10.2140/pjm.2015.277.1 arXiv:1405.5551
14年春のFields研究所滞在中に、BlecherとReadの講演を聞き、彼らの基本定理の証明を簡略化・一般化できることを話したら、一方と共著論文を書くことになった。自分は短いものを書くつもりでいたが、Blecherがどんどん新しい内容を詰め込んだのでずいぶんと長くなった。主な道具は修士学生時代に勉強したMイデアル理論だが、ちゃんと道具箱に入っているものはいつか使う機会が来るものだと思った。
2026/03/04(水) 11:26:33.31ID:nFuoTT63
院試レベルで手も足も出てないやん>>303
384現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2026/03/04(水) 11:31:02.35ID:umgoyr5c
>>380-382
>存在しない神を持ち出しても無意味

ま、あれだな
カントールの無限とか
超準の無限大みたいな

要するに ωを仮定することで
自然数Nをコンパクト化する
そうすると 議論がシンプルになるよ
385現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2026/03/04(水) 11:41:52.82ID:umgoyr5c
>>383
>院試レベルで手も足も出てないやん>>303

ふっふ、ほっほ
半分正しい

もし 東北大の試験場なら 当たり
しかし、5ch便所板は PC・スマホ使い放題 カンニング&相談し放題なのよ

その上で指摘すれば
>>299 東北大の出題意図・講評
 「結論が誤っている答案が多数ありました.また,ハウスドルフ性の定義の理解に誤りがある答案も散見されました」
 「結論が誤っている答案が多数ありました.(i)は(1)がヒントになっていることに気づくと比較的容易なのですが,気づいていない答案が散見されました.」

>>299 合格体験記 L^2さん
 「大問2 位相の問題です。過去問の傾向から、何か具体的に位相が与えられていて、それが位相空間であることやハウスドルフを示す系の問題が出るんだろ?と高を括ってたら、一番出てこないでくれと祈っていた商位相にまつわる問題が出て絶望しました
(1)商位相絡みの話に手を付けなかったツケがここで回ってきました。当然、全く分からないので捨てました」

>>174 「ヘタレなので、真っ先にAIに訊いてみた 正しいかどうかは、読んで確認してな(笑)」

なので、多くの 数学科学部4年と変わらない(^^
386132人目の素数さん
垢版 |
2026/03/04(水) 11:44:09.63ID:fSWje8XO
>>377
>量子コンピューター
>量子チューリングマシン
>普通のコンピューターが
>宇宙が終わるまでに解けない問題を解く

普通のコンピュータが解けない問題を
量子コンピュータが解けるという証明はない

>神は さらに それを超える

人は神ではない
君は神ではない
387132人目の素数さん
垢版 |
2026/03/04(水) 11:46:59.31ID:fSWje8XO
>>379
AIと勝負する馬鹿な真似はやめて
AIにできないことをやりな

プログラミングも数学も、
今更、君がやっても全く無駄だから

AIができないことをやりな
388132人目の素数さん
垢版 |
2026/03/04(水) 11:49:51.79ID:f4+gV/q/
>>382
>おれからすれば 囲碁・将棋・数学 似たようなものよ
どれ一つものにならなかったという意味で、ね

>「正則行列を知らない線形代数落ちこぼれ」"に対して
>道具箱の中の 環論の零因子を取出し 零因子行列に丸めて投げ返したら

オウンゴールで自爆死したと
だから、君にはもう数学は無理 諦めなさいって
意味も理解できない言葉だけ集めても無駄
389132人目の素数さん
垢版 |
2026/03/04(水) 11:50:57.95ID:f4+gV/q/
>>384
>ωを仮定することで自然数Nをコンパクト化すると 議論がシンプルになるよ

ワードサラダ

もう無駄だから諦めなさい
390132人目の素数さん
垢版 |
2026/03/04(水) 11:52:04.48ID:lt1ZLx02
>>385
>しかし、5ch便所板は PC・スマホ使い放題 カンニング&相談し放題なのよ
カンニングしてもその内容を理解できないから無意味
391132人目の素数さん
垢版 |
2026/03/04(水) 11:52:59.55ID:f4+gV/q/
>>385
誤 半分正しい
正 全部正しい

実数の定義も正則行列の定義もハウスドルフ空間の定義も
なんもしらん大学1年数学の落伍者に院試合格は無理

諦めなさい
392132人目の素数さん
垢版 |
2026/03/04(水) 11:56:40.70ID:f4+gV/q/
クラメールの公式だけ暗記した1が
任意の正方行列に逆行列が存在するわけではないといわれ
脊髄反射で「零因子は例外ね」と逃げて自爆

残念ながらクラメールの公式だけでは、
行列式0の正方行列が零因子になると証明できない

n×n行列でランクがn−2以下の場合には
余因子行列が零行列となるから

数学の理解とは公式丸暗記のことだと思うアサハカなヤツって哀しいね
そんなのAIにもかなわんからもうあきらめて別のことやりなって
393132人目の素数さん
垢版 |
2026/03/04(水) 12:00:18.78ID:lt1ZLx02
>>384
>>存在しない神を持ち出しても無意味
>カントールの無限とか
>超準の無限大みたいな
>要するに ωを仮定することで
数学では無限基数も無限大元もωも存在しますけど
394132人目の素数さん
垢版 |
2026/03/04(水) 12:31:18.79ID:f4+gV/q/
1のアサハカ発言

1.正方行列は積で閉じてるから群 
→ 逆行列の存在条件を見落とし、ワンアウト

2.行列式0の場合、余因子行列が必ず零因子になると思い込み「零因子は例外」と発言
→ ランクが2つ以上落ちる場合は余因子行列が零行列になるのを見落とし、ツーアウト

3.行列式0で、ランクが2つ以上落ちる場合も零因子になるが、全く証明できずスリーアウト

以上、大学1年の線型代数の理論が分からないヤツの典型例でした
395132人目の素数さん
垢版 |
2026/03/04(水) 12:38:24.80ID:f4+gV/q/
>院試は「あくまで 学部でちゃんと勉強してますか?」を見る試験ということ
>院試答案で必要なことは 「私はちゃんと学部で勉強しました」が分る答案なのよ

学問を理解する気が全くないヤツの発言
理屈抜きでただ記憶するのは頭の悪い奴
2026/03/04(水) 13:08:53.91ID:nFuoTT63
>>385
そのなんでもありの状態からうまれたのが >>303 ならもう救いようないやん
397132人目の素数さん
垢版 |
2026/03/04(水) 13:28:37.96ID:Y9BHepzb
>>396
そもそも1はハウスドルフ空間の定義が分かってないから
なぜ(0,1)と(0,-1)だけ別だとハウスドルフ空間じゃないかもわからない
言葉で考えず、絵だけ見てわかろうとすう小中高的理解に固執するから
大学の数学が全く理解できない 当然院試も全然解けない

言葉が分からない者に数学は無理
398132人目の素数さん
垢版 |
2026/03/04(水) 13:44:01.56ID:bLniqTkJ
AIがない頃に大学1年レベルの理論すら理解できなかった1が
AIを使っても大学1年レベルの理論を理解できる可能性は…0
399132人目の素数さん
垢版 |
2026/03/04(水) 13:45:51.59ID:bLniqTkJ
1にとって最も賢い選択は
1が不得意な論理的思考を必要とする数学を諦め
1が得意な非論理的直感を存分に発揮できる対象に集中すること
400132人目の素数さん
垢版 |
2026/03/04(水) 13:47:39.36ID:lt1ZLx02
AI回答をコピペすれば分かってるフリはできるけど分ることはできない
401132人目の素数さん
垢版 |
2026/03/04(水) 13:48:53.94ID:lt1ZLx02
論理が分からないので直観頼りだけど直観に優れている訳でもない
402現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2026/03/04(水) 15:21:22.01ID:umgoyr5c
ふっふ、ほっほ
悔しがって必死にあばれる おサルさん 哀れ>>34

1)小学校で遠山「数学入門」を読んで微積に触れる
 舞い上がって w大内部進学で数学科に
 そこで冷や水を浴びせられて 詰むw
2)ああ、勘違い
 「数学は厳密が命ぞ!」
 どっこい 数学成熟度 MM テレンス・タオ(下記)
 ”中間段階で学生が行き詰まってしまうことがあります。
 これは、学生が優れた直感をあまりにも多く捨て去り、
 より直感的な非形式的なレベルではなく、
 形式的なレベルでしか数学を処理できなくなってしまった場合に起こります”
3)タオは次のようにアドバイスしています
 ”したがって、厳密な数学的思考に十分慣れたら、その主題に関する直感を再検討し、新しい思考スキルを使用して、直感を捨てるのではなくテストし、改良する必要があります。
 厳密さと理論の確固たるスキルを身につけた数学の学生は、視点が数学に対するより包括的なパノラマ的見方へと移り、最終段階へと移行します”

囲碁将棋 よくある話 田舎で小学生で 大人に勝って 天才と持ち上げられて
奨励会や院生になるも そこでは みんな そういう天才たちの集まりだ
宮岡礼子氏が 書いていたが ランドセルに高木「解析概論」が入っていた人がいたという
高木「解析概論」vs 遠山「数学入門」ね
1980年代のw大 数学冷や水 獅子の谷落とし が効き過ぎて詰んだ
でも テレンス・タオを知っていれば 良かったんだよ(^^;

(参考)
>>26 より
数学成熟度 Mathematical maturity https://en.wikipedia.org/wiki/Mathematical_maturity
(google訳)
数学者テレンス・タオ
2 中級 厳格な 上級学部から大学院初期まで
学生はこの段階で数学的形式主義を学びますが、これには通常、形式論理といくらかの数学的論理が含まれます。これは、数学的証明とさまざまな証明技法を学ぶための基礎となります。
しかし、この中間段階で学生が行き詰まってしまうことがあります。
これは、学生が優れた直感をあまりにも多く捨て去り、
より直感的な非形式的なレベルではなく、
形式的なレベルでしか数学を処理できなくなってしまった場合に起こります。
このように行き詰まると、学生の数学論文を読む能力に影響を与える可能性があります。

3 高度な 厳格化後 大学院後期以降
この段階では、学生はより直感的な考え方に戻ります。これは、厳密さを重視する以前の初期の段階に似ていますが、誤解を招くような直感は排除されているため、学生はより非公式なレベルで確実に推論できるようになります。

タオは次のようにアドバイスしています。
したがって、厳密な数学的思考に十分慣れたら、その主題に関する直感を再検討し、新しい思考スキルを使用して、直感を捨てるのではなくテストし、改良する必要があります。
厳密さと理論の確固たるスキルを身につけた数学の学生は、視点が数学に対するより包括的なパノラマ的見方へと移り、最終段階へと移行します。
403132人目の素数さん
垢版 |
2026/03/04(水) 15:37:55.20ID:2VZKNomK
>>402
>>402
>テレンス・タオを知っていれば 良かったんだよ

1は正真正銘の馬鹿

”厳密な数学的思考に十分慣れたら、”
”厳密さと理論の確固たるスキルを身につけた数学の学生は、”
上記の条件を満たさない
”厳密な数学的思考が全然できない”
”厳密さと理論の確固たるスキルを全く身に着けてない”
1は最終段階にいけませーん(笑)
404132人目の素数さん
垢版 |
2026/03/04(水) 15:44:53.87ID:lt1ZLx02
>>402
>3)タオは次のようにアドバイスしています
> ”したがって、厳密な数学的思考に十分慣れたら
タオによれば、君はこの最初の段階にも到達できないオチコボレってことやね
405132人目の素数さん
垢版 |
2026/03/04(水) 15:46:34.85ID:jimZfGvG
>>368
最後にオミゴトって言った人は、ファイバーの人の書き込みが一体何の証明で、何がどうオミゴトなのかきちんと説明してね。
これが聞けたら私は潔く消えます。
(この質問にしばらく応答がなければ、テキトー発言として処理します。)
406132人目の素数さん
垢版 |
2026/03/04(水) 15:57:23.70ID:jimZfGvG
>>405
早く消えたいから、早めの回答よろしくね〜。
407132人目の素数さん
垢版 |
2026/03/04(水) 16:06:51.55ID:jimZfGvG
>>243
他の人にも言ったけど、自分に他の意見が無いのなら、偉そうなことは言うなよ。
そんなこと言うのなら、別に違った有力な意見があると普通思うだろ?
408132人目の素数さん
垢版 |
2026/03/04(水) 16:09:47.92ID:9OiShKOs
>>405
面倒くさい人だね
ホントに分からないのか
証明すべきことは2点が開集合で分離できること
つまりw1∈U1,w2∈U2でU1∩U2=φであるものを見いだす
それを補集合にしたらどんな閉集合を見いだせば良いか分かるだろ
その作り方はお見事な解答通り
ただ最初の部分は飛ばしてるが直ぐ補えるだろ?
そこができない?
409132人目の素数さん
垢版 |
2026/03/04(水) 16:10:19.11ID:9OiShKOs
>>407
カッテに思ってればイイと思うよ
410132人目の素数さん
垢版 |
2026/03/04(水) 16:11:35.78ID:9OiShKOs
そして次はそこを説明できないと駄々をこねる
そしてその次はそれはお見事ではないと言い張る
クダラン
411132人目の素数さん
垢版 |
2026/03/04(水) 16:12:18.68ID:lt1ZLx02
教えろ〜教えろ〜と駄々っ子みたい
412132人目の素数さん
垢版 |
2026/03/04(水) 16:14:15.76ID:9OiShKOs
自分の思い通りの回答がないことを他人の所為にする人みたいね
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況