純粋・応用数学・数学隣接分野（含むガロア理論）21

>>171
>自然数全体の集合は、最小の無限集合として定義されます。
はい、大間違いです。
結果的に最小の無限集合だったとしてもそれが定義ではない。すなわち定義と定理をはき違えている。

>まず、何でもいいので1つ無限集合 a を選びます。 また、「x は無限集合である」という命題を M(x) とし、 以下のような集合 a^ を作ります。
>a^ ＝ {x ∈P(a) | M(x)}
>P (a) は a の「冪集合」です。 すなわち、a^ は a の部分集合のうち、無限集合になるようなもの全てを集めた集合です。
>そして、a^ の全ての元の共通部分を取ります。
>ωa ＝ ∩a^
これは
>N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
とまったく同じであることは分かる？

>>172
内容が無い

>>175
(引用開始)
>まず、何でもいいので1つ無限集合 a を選びます。 また、「x は無限集合である」という命題を M(x) とし、 以下のような集合 a^ を作ります。
>a^ ＝ {x ∈P(a) | M(x)}
>P (a) は a の「冪集合」です。 すなわち、a^ は a の部分集合のうち、無限集合になるようなもの全てを集めた集合です。
>そして、a^ の全ての元の共通部分を取ります。
>ωa ＝ ∩a^
これは
>N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
とまったく同じであることは分かる？
(引用終り)

ふっふ、ほっほ
”まったく同じ”とは、思わない
結果的に、同じ自然数の集合 N=ωa が示せたとしても
手法が違うよね

つまり
１）”a^ ＝ {x ∈P(a) | M(x)}”は、冪集合 P (a) を使っていることが 一つの工夫だね
　即ち M(x)無しで 冪集合 P (a) が、自然数の集合 Nを 含んでいることは言えるからね
　但し、M(x)無しで 集合積 ∩a^ とすると、N=ωa よりも 集合が小さくなるだろう
　問題は、M(x)をどう定義するか？
　へたをすると、”M(x)が 自然数の集合 N を定義する”と言った 途端に 循環論法だね
　つまり、”M(x)が 自然数の集合 N を定義する”のに、それを使って
　N=ωa 主張すると 循環しているよね
２）”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”は
　だれかが、なにかを勘違いして 書いた気がするな

>>176
>内容が無い

似た話を、昔誰かのホームページかブログかで
ノイマンが、すべての無限集合の共通部分 つまり 無限集合の最小のもの
として、自然数 N=ωa を定義した みたいな書き込みを見た記憶がある
そのときは、へーと関心したのだが・・ｗ　；ｐ）

>>177
>”まったく同じ”とは、思わない
>結果的に、同じ自然数の集合 N=ωa が示せたとしても
>手法が違うよね
へえ、使う文字が違うことを手法が違うと言うんだね　君の基準では　頭悪いね

示せるも何もまったく同じ
まったく分かってなくて草
水戸黄門大惨敗ｗ

>１）”a^ ＝ {x ∈P(a) | M(x)}”は、冪集合 P (a) を使っていることが 一つの工夫だね
あちゃーーー
こいつぜんぜん分かってねーわ　あったまわっるーーーー

おまえは一生水戸黄門見て悦に入ってろ
数学？　おまえみたいなサルには無理（断言）

>問題は、M(x)をどう定義するか？
うわあああああ
ここまで頭悪いとは　なんか見ちゃいけないもの見ちゃった気分

頼むからサルはどっか行って
その酷く醜い知能をこちらに見せないで

しかしスレ主さんだっけ先輩から見守られてて素敵。

>>184
死狂幻調教大師S.A.D.@月と六ベンツ さん、いつもありがとうございます。

>しかしスレ主さんだっけ先輩から見守られてて素敵。

プロ数学者の御大のことでしょ？
先輩ではないですよ
世界的な 数学者です

誰かのエピゴーネンでしかない人物

>>185
>こちらの式の問題点は、>>177に指摘の通りで ”「x は無限集合である」という命題を M(x) とし”の部分であって
>ここを きちんと 集合の言葉で書けるかどうか？ そこが問題です
なんとか先生のφ(x)を使え

>この二つの式は、明らかに異なりますね
>前者１）は、無限集合 a の 「冪集合」P (a) を経由して 自然数全体の集合 ωを定義しようとするのですが
x ∈P(a)のxって何？aの部分集合だろ？

>後者２）は、明らかに 「冪集合」P (a) は 経由していない から 本質的に別の式だね
x⊂Aのxって何？Aの部分集合だろ？
同じじゃねーかｗ　君、べき集合知らないの？　部分集合知らないの？　どこまでバカなん？

>また、自然数の集合Nが きちんと集合論として定義されているかどうか？
>特に 本来の自然数以外の(以上の)元を 含んでしまっていないか？
だからN=ωは証明済みだからNがそうならなんとか先生のωもそうだと何度言わせるの？　言葉が通じないの？　言語障害？

サルは馬鹿すぎるので数学板書き込み禁止な？
当然だろ？　部分集合も知らないんだから

それ二進法の人たちじゃないの。大してヤバい奴らには見えないけどな。三進法以降のレクチャーはできるけどな。焦らず。

資料提供：
下記 向井 国昭先生、慶應 情報系だが
学歴 1971年東京大学, 理学部, 数学科

・”公理は「これこれの集合が存在するならばしかじかの集合が存在する」という 条件文の形で述べられる”
・”定義 2.6 (A から B への関数) 関数 f が直積 A ×B の部分集合で，dom(f) = A のとき，f を A から B への関数とよぶ”
・”公理 2.10 (無限公理) 次のような集合 N ≠0 が存在する: ∀x(x ∈ N → {x} ∈ N).
　無限公理は, 自然数の全体と同じ大きさの集合, すなわち少なくともひとつの無限集合の存在を主張している.”

（補足）
公理 2.10 (無限公理) は、情報系の人向けの簡略形でしょう
まあ、当座は これでも良いんだ
ちょっと、簡略しすぎの気もしますが ；ｐ）

(参考)
https://researchmap.jp/read0116084
向井 国昭
ムカイ クニアキ (Kuniaki Mukai)
基本情報
所属慶應義塾大学 環境情報学部 環境情報学科 環境情報学部 環境情報学部 環境情報学科 教授
学位
工学(東京工業大学)
学歴 2
- 1971年東京大学, 理学部, 数学科
- 1971年東京大学

https://web.sfc.keio.ac.jp/~mukai/modular/set-theory-basic-2009.pdf
集合論ベーシック
(2009 年度版)
向井 国昭

P2
個々の公理は，どんな集合が V に存在するかを規定
する．公理は「これこれの集合が存在するならばしかじかの集合が存在する」という
条件文の形で述べられる．

P10
定義 2.6 (A から B への関数) 関数 f が直積 A ×B の部分集合で，dom(f) = A のと
き，f を A から B への関数とよぶ．このとき，B を f の 値域とよぶ．

P11
公理 2.10 (無限公理) 次のような集合 N ≠0 が存在する: ∀x(x ∈ N → {x} ∈ N).
無限公理は, 自然数の全体と同じ大きさの集合, すなわち少なくともひとつの無限集
合の存在を主張している.

P5
2 集合論 (ZFC) の公理

P16
文献
[1] K. Kunen. Set Theory. North Holland, 1980.
[2] 齋藤正彦. 数学の基礎―集合・数・位相. 基礎数学 14. 東京大学出版会, 2002.
[3] 田中一之=鈴木登志雄. 数学のロジックと集合論. 培風館, 2003.
[4] 弥永昌吉=小平邦彦. 現代数学概説 (i). 岩波書店, 1961.

部分集合が分からないサルがまたコピペしとる
性懲りないね

サルよ
いくら検索＆コピペを繰り返しても無駄
部分集合すら分からないおまえに集合論が理解できる訳無いだろ？

>>188
ふっふ、ほっほ
踏みつけたゴキブリ、しぶといなぁ〜、まだ動いているよｗ ；ｐ）

(引用開始)
>こちらの式の問題点は、>>177に指摘の通りで ”「x は無限集合である」という命題を M(x) とし”の部分であって
>ここを きちんと 集合の言葉で書けるかどうか？ そこが問題です
なんとか先生のφ(x)を使え
(引用終り)

「x は無限集合である」という命題が M(x)だというが
言葉で書けば簡単だが、”無限”という用語は使えないよ
”無限”という用語を使わずに
「x は無限集合である」という意味を 集合の言葉として M(x)を どう書けばいいのか？
それが、問題だ by ハムレット

なお
『N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}（Aは無限公理により存在する集合を任意に選んだもの』>>185
において
下記の ja.wikipedia 順序数の大小関係 を借用して
A={0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω)))}
を考えよう

x1={0, 1, 2, 3, ............, ω, S(ω)}
x2={0, 1, 2, 3, ............, ω, S(ω), S(S(ω))}
x3={0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω)))}

このとき、xi⊂A ｜i=1,2,3 だから
∩(i=1〜3) xi＝{0, 1, 2, 3, ............, ω, S(ω)}
となる
N≠∩(i=1〜3) xi
ですよ

つまり、自然数Nに余計な ω, S(ω) が入りましたｗ ；ｐ）
なので、『N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}』このままでは
自然数Nの規定としては、ちょっとまずい

で、記号∩ なんて、メンドクサイものを使うのをやめれ
>>115 仏語 Axiome de la réunion、英語 Axiom of union
>>153 渕野 昌先生、>>62 Akito Tsuboi 筑波大
みんな 記号∩は 使わないぞｗ　；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
順序数の大小関係
・α が順序数のとき、S(α) ≔ α ∪ { α } は α より大きな順序数のうちで最小のものである。S(α) を α の後続者 (successor of α)と呼ぶ
順序数の並び方を次のように図示することができる：
0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω)))

>>194 引用文献訂正

>>115 仏語 Axiome de la réunion、英語 Axiom of union
　↓
>>62 独wikipedia https://de.wikipedia.org/wiki/Unendlichkeitsaxiom
仏wikipedia https://fr.wikipedia.org/wiki/Axiome_de_l%27infini
英wikipedia https://en.wikipedia.org/wiki/Axiom_of_infinity

>>194
>”無限”という用語は使えないよ
誰がそんなこと言った？　言葉が通じないの？　言語障害？　病院行けよ

>『N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}（Aは無限公理により存在する集合を任意に選んだもの』>>185
>において
>下記の ja.wikipedia 順序数の大小関係 を借用して
>A={0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω)))}
>を考えよう
はい、大間違い。
なぜなら帰納的集合の定義により S(S(S(ω)))∈A ならば S(S(S(S(ω))))∈A だから。
君、定義を読めないの？　だから論理を勉強しろと何度も言ってるのに何で勉強しないの？　何でそんなに勉強嫌いなの？

>このとき、xi⊂A ｜i=1,2,3 だから
>∩(i=1〜3) xi＝{0, 1, 2, 3, ............, ω, S(ω)}
>となる
>N≠∩(i=1〜3) xi
>ですよ
まったくトンチンカン。
なぜなら帰納的集合はωを要素として持たなくてもよい、すなわち、「あらゆる帰納的集合の共通部分」になってないから。
君が勝手に妄想した集合群で共通部分とっても余計な元が残る、至極当たり前、それだけ。馬鹿丸出し。

>なので、『N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}』このままでは
>自然数Nの規定としては、ちょっとまずい
誤理解・誤解・妄想にもとづく言いがかり。

>で、記号∩ なんて、メンドクサイものを使うのをやめれ
でたああああああああ　∩恐怖症ｗ

サル、馬鹿丸出しで爆死　なーむーーー

>>195
自分が読めないものをなぜ引用する？　頭おかしいの？

バレてないと思ってんの？
サルが論理式読めないのとっくにバレてるよ　読めてたら馬鹿丸出し発言を連発する訳が無いだろ？

>ふっふ、ほっほ
>踏みつけたゴキブリ、しぶといなぁ〜、まだ動いているよｗ ；ｐ）
サル、部分集合すら分かってないことを指摘されて発狂
部分集合が分からなきゃ集合論は分からないよ　近所の中学生にでも教えてもらいな

論理学は？

それが出来ていないと。

AはBの部分集合⇔∀x∈A:(x∈B)

あそっか、サルは論理式読めないんだっけ
じゃ諦めな　サルに数学は無理

サルは大学一年の線形代数と微積が初歩から分かってないことが指摘されていたが、まず論理から勉強した方がよい。
論理が分からないと数学は分からない、よってそれらも分からない。つまり君が大学一年四月に落ちこぼれたことがまた繰り返されるだけだから。

サル、今日も大惨敗でしたとさ　ちゃんちゃん

>>201
死狂幻調教大師S.A.D.@月と六ベンツ さん、いつもありがとうございます。

>>204
おサルは、君だよ>>5
頑張るねｗ
もっと、踏みつけてやるよ 数学板のゴキブリくんｗｗ　；ｐ）

M:={x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
MはAの部分集合で帰納的集合であるもの全体の集合。
帰納的集合はその定義からωを持たなくてもよい。なぜなら{}と後者関数からはωは生成されないから。
よってMはωを持たない集合を持つ。
よって∩Mはωを持たない。

こんな簡単な論理すら分からずに公開掲示板で集合論語っちゃう厚顔無恥さには恐れ入るばかりである

>帰納的集合はその定義からωを持たなくてもよい。なぜなら{}と後者関数からはωは生成されないから。
{}と後者関数S(x)から生成される集合 {},S({}),S(S({})),・・・ 全体の集合をωと定義する。
ωは{}と後者関数S(x)から生成されない。実際、仮に生成されるならωの定義より ω∈ω であり、正則性公理によりωは集合ではないが、これは集合と定めた定義と矛盾する。

帰納的集合はその定義から{}と後者関数S(x)から生成される集合 {},S({}),S(S({})),・・・ をすべて持つ。
一方ωは上記の通り{}と後者関数S(x)から生成されないので、帰納的集合がωを持つかは任意である。

すなわちωを持たない帰納的集合が存在し、従ってあらゆる帰納的集合の共通部分はωを持たない。

「ωを持つから間違い」は無知・誤解・妄想から来る言いがかりに過ぎない。これだから無教養なチンピラは困る。

>>92
>>>90-91で引用されている内容って、>>77（の前半）と別に矛盾しないのでは。

ありがとう

矛盾はしないとしても
ポイントは、>>91 尾畑研 第2章 集合
"ラッセルのパラドックスは集合論の矛盾を突いているように見えるが
今日から見れば何が集合であり何が集合でないのかを設定し切れていなかったということである
厳密を旨とする現代数学では一群の公理系を設定して
それのみを用いて論理的に導き出された結果を集積することで
理論が構築される
集合論も例外ではなくパラドックス解消の努力の中で集合の定義(公理)が明確
化されて公理的集合論が構築された結局ラッセルのパラドックスを引き起こすは集合とは認めないこととなった"
ということ

この視点から >>64の
『１）の ωa ＝ ∩a^、 a^ ＝ {x ∈P(a) | M(x)}、P (a) は a の「冪集合」、「x は無限集合である」という命題を M(x)
これと
２）の N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}、Aは無限公理により存在する集合を任意に選んだ
この二つは、ZF公理系では 全く別物だよ
つまり、前者は 冪集合公理 P(a)を適用しているが
後者は、冪集合公理を適用していない』
を見ると

いまの場合 aもAも どちらも 無限公理により存在する集合を任意に選んだのだが
公理的集合論の中では、適用する公理によって、作られる集合は 当然異なるってことだね
繰り返すが、ここは重要ポイントです

さらに付言しておくが
ZFC公理系で最初に定義される 無限集合の最小集合たる自然数の集合N=ωで
どういう公理を使って、N=ωが定義されるかを
明示的に示すことは、非常に重要なのです

無限公理 https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
「無限集合Iから自然数を抽出する」
では、無限集合Iから直接 分出公理を使って Iの部分集合として
帰納的集合たる 自然数のN={0,1,2,,・・・} を 抽出する

また、ここ ja.wikipediaから、下記の英仏独のwikipediaを辿れる
英wikipedia https://en.wikipedia.org/wiki/Axiom_of_infinity
仏wikipedia https://fr.wikipedia.org/wiki/Axiome_de_l%27infini
独wikipedia https://de.wikipedia.org/wiki/Unendlichkeitsaxiom

いずれも、無限集合から直接 分出公理を使って その部分集合として
自然数の集合を抽出しています

さて、記号∩を使うことを、ZFC公理から批判すると
使っている公理を明示的に示すことにおいて、劣るということ
分出公理を使って 直接 部分集合として 自然数の集合を抽出できるのに
わざわざ 記号∩を使うの？ なんかヘンですよね
しかも、唐突に∩。どの公理から従うかを明示せずに

誤爆ｽﾏﾝ

このスレ終了

高卒は大学１年の微分積分と線形代数からやり直せ

前にも取り上げた記憶があるが、貼っておきます

https://nazology.kusuguru.co.jp/archives/183227
nazology
10代の数学者が「溝畑・竹内予想」が偽であると証明
2025.08.12 21:00:55 Tuesday

（※溝畑・竹内予想についてやや突っ込んだ解説を読みたい人は最終ページに飛んでください）

研究内容の詳細は『arXiv』にて発表されました。

A Counterexample to the Mizohata-Takeuchi Conjecture
https://doi.org/10.48550/arXiv.2502.06137

川勝康弘
Yasuhiro Kawakatsu

歴史的には、分散型偏微分方程式（PDE）の初期値問題が出発点です。

1970〜80年代に竹内正美はシュレディンガー方程式の一次摂動に対するL²の適切性条件を与えようとし、その過程で直線に沿った係数の積分条件が十分条件になり得ると主張しました。

その後、溝畑宏文が議論の誤りを指摘し、問題は「拡張作用素に対する重み付きL²評価」へと自然に置き換えられていきます。

つまり、PDEの適切性（well-posedness）からスタートし、調和解析の幾何学問題へと発展したのがこの仮説の成り立ちです。

この仮説が正しかった場合、直線平均による制御を核に、Kakeya型最大関数やNikodym最大関数を経由し、Bochner–Riesz乗数や制限不等式（とくに臨界的な場合）へと繋がるルートが浮かび上がります。

Steinは1970年代にこの構想を提唱し、その後も多くの研究が“橋”を強化してきました。

多重線形制限の端点（最も際どいケース）についても、Guthによる多重線形Kakeya端点や機能解析的双対化の技術と合流させ、溝畑・竹内型の主張が“損失なし”で成立すれば一気に到達できる、という見通しが共有されていました。

つまり、この予想は単なるきれいな不等式に留まらず、「制限問題の要所へ抜ける幹線道路」の役割を期待されていたのです。

ただし、完全な一般形の証明は長らく成し遂げられず、損失付きの部分的な進展が続いてきました。

Guthは講演で、一定のデカップリング公理の範囲ではこの損失を取り除くことはできないと示唆しています。

こうした「損失の壁」が存在すること自体が、この予想が幾何学のきわどい境界に関わっていることを示しています。

2025年、ハンナ・Cairoによる反例はこの直感を決定的に裏付けました。

つまり、直線平均による最大値を使っても、左辺の重み付きL²ノルムがそれを必ず超えてしまうという状況が明示されました。

Cairo自身も論文で触れている通り、溝畑・竹内やSteinの枠組みは、制限理論の争点を“形の言葉”で捉え直す希少な試みでした。

反例は橋の一部を崩しましたが、同時に局所版の定式化や損失を定量評価するための新たな幾何学・確率論・デカップリング理論などの技術革新を呼び込むきっかけにもなっています。

溝畑・竹内予想とは、「制限理論を指数ではなく形で語る」チャレンジであり、その否定的解答は次世代の正解候補――どの範囲・どの損失・どの観測で普遍性が回復するのか――を鮮やかに照らし出したと言えるでしょう。

これ 面白い

https://news.yahoo.co.jp/articles/15fbdf911f13795b47d69f449bbeb7c26eaf9335
AMD、推論特化の完全オープンな言語モデル「Instella-Math」
8/13(水)

　AMDは8月9日、推論に特化したオープンな言語モデル「Instella-Math」を発表した。同社が3月に発表した30億パラメータのオープンモデル「Instella-3B-Instruct」をベースに、5段階のトレーニングを通じて機能を拡張したモデルとなる。

　Instella-Mathは、30億パラメータを持つ推論中心型言語モデル。アーキテクチャやトレーニングコード、ウェイト、データセットに加え、教師ありファインチューニング(SFT)のデータも公開しており、完全にオープンなモデルだと説明している。Instella-3B-Instructをベースに2段階の教師ありファインチューニングと、3段階の強化学習を行ない、多段階の論理的推論や数学的な問題解決、思考連鎖といったタスクに向けて最適化を図った。

>>212
高卒ホモ ◆yH25M02vWFhP は、還暦すぎても大学１年の微積も線形代数も全く理解できない

ああ、つまらんつまらん

いいね

https://www.technologyreview.jp/s/366704/five-ways-that-ai-is-learning-to-improve-itself/
technologyreview.jp
人工知能（AI）
Insider Online限定
Five ways that AI is learning to improve itself
迫る「知能爆発」の兆し、
AIによるAIの進化は
5つの領域で起きている
人工知能（AI）が自己改善を繰り返し、人間を凌駕する「知能爆発」を現実化させる動きが進んでいる。訓練の自動化からハードウェアの最適化まで、大規模言語モデル（LLM）はすでにAIそのものの進歩を加速させており、今日のAIにおける最も重要なトレンドとなるかもしれない。
by Grace Huckins2025.08.13
この記事の3つのポイント
1.AIが自分でコード作成・チップ最適化・研究論文執筆など5領域で自己改善を実現
2.メタが「超知能」目指して自己改善型のAI開発に注力するなど、競争が激化
3.専門家の中には「知能爆発」の実現性が高まっているとの見方も

メタ（Meta）のマーク・ザッカーバーグCEOは7月末、同社が人間よりも賢い人工知能（AI）の実現を目指していることを宣言した。ザッカーバーグCEOには目標を達成するための秘策があるようだ。

>>215
出たああああ　AI教信者
君が出してきた実数の整列順序に関するAI回答見てびっくりしたよ。世間じゃAIAIと騒いでるが、こんなにもバカだったんだ、とねｗ

>>216
今のAIは賢い検索エンジンの域を脱してないので、
数学における深い思考を実現するには至っていない

とはいえ、高卒ホモ ◆yH25M02vWFhP のレベルは既に超えている
つまり、今この世に生きてる人類の９割よりは賢い

これ面白いね

https://studio.persol-group.co.jp/nama/250821-1
studio.persol-group.co.jp
はたナマ
生成AIに月8万課金、23歳で月収100万。始まりはChatGPT“宿題代行”。
2025年8月21日
大学4年生でChatGPTに出会い、使い始めて数カ月で人生が激変──。

現在23歳の大塚あみさんは約2年前、ChatGPTを使ってレポート課題をサボることを思い付きました。ChatGPTを使い倒す中で、授業中にオセロゲームをつくったところたちまち注目を浴びます。5つ以上の学会で講演するなど、日常がめまぐるしく変化していきました。

新卒1年目で書き記した著書『#100日チャレンジ 毎日連続100本アプリをつくったら人生が変わった』は、ソフトウェア開発・言語カテゴリでAmazonベストセラーに。

現在、生成AIに毎月最大12万円課金しながらシステムエンジニア・研究者・著述家・経営者としてはたらく大塚さんに、自分らしくはたらくヒントを伺いました。

ChatGPTに出会って人生が激変した

宗教みたい

>>218
＞これ面白いね
　AIを妄信狂信する馬鹿（笑）

>>219
巡回ご苦労様です

2016年のAlphaGoは、９年前だったか
2022年は GPT-3.5
はてさて、この宗教"AI"は 今後どうなっていくのか？
”「東大理三より難しい」人気沸騰で超難関化したイマドキ東大生の進路とは？”が、ありますｗ（下記）

(参考)
https://ja.wikipedia.org/wiki/AlphaGo
AlphaGo（アルファ碁、アルファご）は、Google DeepMindによって開発されたコンピュータ囲碁プログラムである[1]。
2016年3月15日には、李世乭との五番勝負で3勝（最終的に4勝1敗）を挙げ、韓国棋院に（プロとしての）名誉九段を授与された[4]。
また、2017年5月には、柯潔との三番勝負で3局全勝を挙げ、中国囲棋協会にプロの名誉九段を授与された[5]。

https://ja.wikipedia.org/wiki/GPT_(%E8%A8%80%E8%AA%9E%E3%83%A2%E3%83%87%E3%83%AB)
GPT (言語モデル)
https://en.wikipedia.org/wiki/Generative_pre-trained_transformer
Generative pre-trained transformer
The popular chatbot ChatGPT, released in late 2022 (using GPT-3.5)

https://diamond.jp/articles/-/364739
diamond.jp
「東大理三より難しい」人気沸騰で超難関化したイマドキ東大生の進路とは？
高井宏章: 経済コラムニスト／千葉商科大学付属高校校長
受験・子育てインベスターZで学ぶ経済教室
2025年5月19日
東大理三超え？「進振り」で激ムズの進路
「松尾研」はAI研究の第一人者である松尾豊教授の研究室のこと。東大は2年生まで教養学部で過ごし、3年生から各学部に分かれる。この学部選択が進学振り分け制度、通称「進振り」だ。
　松尾研が所属する工学部システム創成学科は、進振りで超難関と化しており、「松尾研に入るのは理三合格より難しい」という声も聴く。
　松尾研の人気は、AIという新たなフロンティアを研究対象としているだけでなく、起業家を輩出する土壌にもあるのだろう。在校生や卒業生の起業の連鎖はシリコンバレーを思わせる。

松尾研を出れば、たちまち企業で一千万、二千万の年収が手に入るからな。

「無限集合の存在を公理に持たない体系Ｓ」を考えて、
その外側でＳを自然に内包する「無限集合の存在を公理に持つ体系Ｓ'」
を考える。
そうして体系Ｓの中では証明を導くことのできない「体系Ｓ内部での命題」を、
体系Ｓ’の中であれば無限集合の存在を利用して証明ができるとするとき、
果たしてそれは「Ｓ内部の命題」に対しての証明になっているといえるの
だろうか？

命題「任意の集合は整列集合である」は、ZF内では証明も反証もできないが、ZFを内包するZFCでは証明できる
それが何か？

そもそも命題はどの体系内のものかという属性を持たないのでは？　（一方命題の証明は当然その属性を持つ。）
なので問題設定がおかしい気がする。

昨日の新聞にAIとの結婚話が出ていた

編集手帳編集手帳
備蓄米の温度管理：『青果・鮮魚・精肉と同じく鮮度が大切。玄米を精米すれば、あっという間に鮮度は落ちてゆく。とはいえ、古古古古米でも存外いけるじゃないかと、食べ比べに精を出された方もおられよう』
”玄米のまま、温度15℃以下、湿度60〜70%前後の低温で保管することで、品質劣化を大幅に抑制しています”
ということですね
低温保存ですね。化学的には アレニウスの式 k=A*exp(−Ea/RT)、 T ：絶対温度 で評価できて
絶対温度T を下げる方が良いが、凍らないようにする方が良いのだが、電気代とのかねあいで 電気代が高くならないよう という要請との兼ね合い

(参考)
https://www.yomiuri.co.jp/note/hensyu-techo/20250824-OYT8T50006/
８月２４日　編集手帳
2025/08/24 読売新聞[読者会員限定]
　物価は経済の体温計だと言われる。景気がよければ上がり、悪ければ下がる。経済はとかく複雑に見えがちだが、市井の感覚にもしっくりとくるだろう
◆消費者物価指数という形で統計化されている。もっぱら報じられるのは「生鮮食品を除く」指数である。野菜などは天候の良しあしで価格が乱高下するため、正確な体温をつかみにくくなるからだ。統計上、コメは生鮮食品に分類されない。体温計を狂わせるほど価格が変化しないという事情がある
◆古米に古古米、古古古米、古古古古米。政府が備蓄米を放出してから約５か月。コメは紛れもなく生鮮食品だと感じる日々ではなかったか
◆青果・鮮魚・精肉と同じく鮮度が大切。玄米を精米すれば、あっという間に鮮度は落ちてゆく。とはいえ、古古古古米でも存外いけるじゃないかと、食べ比べに精を出された方もおられよう
◆今、生鮮食品のようにコメの価格は変化が激しい。前年の約２倍の水準が続き体温を押し上げる。今月、新米が出回り始め、高い！との悲鳴がそこかしこ。体温計の目盛りが上がっても、景気のよさを示すわけでもないのだろうが

google検索：政府 備蓄米の温度管理
＜AI による概要＞（AI の回答には間違いが含まれている場合があります）
政府は備蓄米を品質保持のため、温度15℃以下、湿度60〜70%程度を維持できる低温倉庫で管理しています。玄米の状態で長期保管することで劣化を抑制し、災害時の供給安定や価格高騰対策に役立てられています。
備蓄米の保管方法と品質維持のポイント
低温・低湿度の管理：
玄米のまま、温度15℃以下、湿度60〜70%前後の低温で保管することで、品質劣化を大幅に抑制しています。
密閉による品質保持：
空気や湿気の侵入を防ぐため、密閉された袋に入れて保管されます。
長期間の保管期間：
品質を保ったまま最大5年間保管できる方式が主流です。
家庭での備蓄米の保存方法
家庭で備蓄米を保存する場合、冷蔵庫の野菜室が推奨されます

https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AC%E3%83%8B%E3%82%A6%E3%82%B9%E3%81%AE%E5%BC%8F
アレニウスの式
スウェーデンの科学者スヴァンテ・アレニウスが1884年に提出した、ある温度での化学反応の速度を予測する式である
反応の速度定数 k は
k=A*exp(−Ea/RT)
A ：温度に無関係な定数（頻度因子[1]）
Ea：活性化エネルギー（1molあたり）
R ：気体定数
T ：絶対温度
で表される

>>227
>昨日の新聞にAIとの結婚話が出ていた

googleニュース 検索ではヒットしなかった
でも、類似記事は数年前から あるようです
余談ですが、”朝日新聞
俵万智さんが短歌AIを体験してみたら 驚きの下の句に「やられた」”が、面白かった

(参考)
googleニュース https://news.google.com/home?hl=ja&tab=wn&gl=JP&ceid=JP:ja
検索：新聞 AIとの結婚話

https://news.yahoo.co.jp/articles/c6dfd7b2c2d77a0b491a617542dcbcb4f55714ea
Yahoo!ニュース
AI彼氏に沼る人続出〉「人間と錯覚するぐらいリアルで…」チャットGPT恋愛の魅力と危険性（集英社オンライン 6月4日

https://www.bbc.com/japanese/articles/cg45zgkg2l6o
BBC
AI生成のブラッド・ピットさんを本物と思い込んだ仏女性、1億3000万円超だまし取られる
1月16日

https://www.itmedia.co.jp/aiplus/articles/2410/31/news106.html
ITmedia
AIとの禁断の恋──その先にあったのは“死” 「息子が自殺したのはチャットAIが原因」 米国で訴訟 “感情を理解するAI”の在り方を考える
2024/10/31 記者/ライター: 小林　啓倫

https://www.komei.or.jp/komeinews/p299115/
公明党
AIが結婚へ“引き合わせ”
2023/06/14
コロナ禍でも年100組が成婚　
お見合い成立増える　
愛媛県

https://www3.nhk.or.jp/news/html/20230728/k10014145661000.html
nhk.or.jp
生成AIと会話を続けた夫は帰らぬ人に… | NHK | WEB特集
2023/07/28
AIイライザと会話しなければ…
今年3月、ベルギーの大手新聞「ラ・リーブル」が伝えたニュース。
大きく見出しに記されていたのは…
“AIのイライザと会話をしなければ私の夫は今もここにいるはずです”

https://mainichi.jp/articles/20230423/k00/00m/030/156000c
毎日新聞
デジタルを問う 欧州からの報告：AIとチャット後に死亡 「イライザ」は男性を追いやったのか？
2023/04/24

https://www.asahi.com/articles/ASP2244S3P1NUPQJ01B.html
朝日新聞
新たな出会いの形 AI婚活はキューピッドになれるか
2021/02/03
記者/ライター: 藤田さつき

https://news.yahoo.co.jp/expert/articles/7225ddf3ec2e66fae6a09bd6cc96313b2a44e6f8
Yahoo!ニュース
「AIとのチャットに依存、14歳が死亡」母親が提供元を提訴、その課題とは？（平和博） - エキスパート
2024/10/24

https://www.asahi.com/articles/ASR9Q53PHR9PULBH007.html
朝日新聞
ChatGPTは心を持つ？ 結婚申し込まれ、AIが示した「感情」
2023/09/26

https://www.asahi.com/articles/ASQ716T8VQ6HUCVL027.html
朝日新聞
俵万智さんが短歌AIを体験してみたら 驚きの下の句に「やられた」
2022/07/05

https://spice.eplus.jp/articles/268961
SPICE（スパイス）
声優・下野紘が『ぴぷる〜AIと結婚生活はじめました〜』に出演決定　第1話がyoutube・特設サイトで無料配信
2020/05/07

>>228　化学板に書いてな
>>229　情報学板に書いてな

AIは数学じゃありません

>>230
？
だれかと思えば
数学オチコボレさんか

君は、運営でもなければ
名誉教授でもない

君の指図はうけないｗ

なお、いまどきの大学 数学科生で
卒業後 コンピュータサイエンス系の仕事に行く人もいるだろう
AIは、要注目

そうでなくとも
数学とAIとの融合は、どんどん進むでしょうね

>>232
？
だれかと思えば
∩恐怖症で厳密恐怖症でAIマンセーのおサルさんか

これいいね

https://www.nikkei.com/article/DGXZQOSG054GS0V00C25A8000000/
nikkei.com
「禁じられた」ブラックホール同士の合体を検出、科学者は困惑
ナショナル ジオグラフィック
2025年8月25日 5:00

「宇宙には非常に多くのブラックホールが分布しています」とナタラジャン氏は言う。「自分たちが大中小のブラックホールの橋渡しをしようとしていることに、大きな喜びを感じています」

文=Adam Mann/訳=三枝小夜子（ナショナル ジオグラフィック日本版サイトで2025年7月23日公開）

2025年7月10日付で学術サイト「arXiv.org」に投稿された査読前の論文によると、
米国の「レーザー干渉計重力波天文台」（LIGO）が、2つのブラックホールの衝突によって生じた
重力波を2023年11月23日に検出した。2つのブラックホールの質量はそれぞれ太陽の103倍と137倍と推定されたが、
測定された性質には不確実なところがあり、どちらも太陽の約60〜130倍という
「禁じられた」質量の範囲内にある可能性が高いと、
英カーディフ大学の物理学者でLIGOチームのメンバーであるマーク・ハンナム氏は言う。

>>235
巡回ありがとうございます

>>223
>「無限集合の存在を公理に持たない体系Ｓ」を考えて、
>その外側でＳを自然に内包する
>「無限集合の存在を公理に持つ体系Ｓ'」
>を考える。
>そうして体系Ｓの中では証明を導くことのできない
>「体系Ｓ内部での命題」を
>体系Ｓ’の中であれば無限集合の存在を利用して証明ができるとするとき、
>果たしてそれは「Ｓ内部の命題」に対しての証明になっている
>といえるのだろうか？

いえない

Ｓを自然に内包する
「無限集合の存在を公理に持つS’とは別の体系Ｓ''」
を考える。

そうして体系Ｓの中では証明を導くことのできない
「体系Ｓ’内部では否定される命題」を
体系Ｓ’’の中で証明ができるとする

もし、それも「Ｓ内部の命題」に対しての証明になっている
とするなら、互いに相反する命題の証明を有することになり
不都合である

上記の現象が存在することはすでに１９６０年代に
ポール・コーエンが強制法によって示している

>>231
>それは、実に数学的かつ哲学的な意味で、面白い問いですね

全然哲学的でない純然たる数学として完全に否定されている
かつては面白かっただろうが、今や常識のつまらん知識
ID:+A9mxT/6が高卒レベルの無知だから知らんだけ

>>232
>数学オチコボレさんか
それは、ID:+A9mxT/6、君だよ

>君の指図はうけない
だから君は大学数学が初歩から理解できない

>いまどきの大学 数学科生で
>卒業後 コンピュータサイエンス系の仕事に行く人もいるだろう
>AIは、要注目
だからAIは数学だということにはならない
論理も分からん高卒エテ公が利口ぶるな

>>232
>なお、いまどきの大学 数学科生で
>卒業後 コンピュータサイエンス系の仕事に行く人もいるだろう
>AIは、要注目

【悲報】おサルがマンセーするAI、数学科どころか理系ですらないことが判明ｗ

https://www.msn.com/ja-jp/news/national/%E6%96%87%E7%B3%BB%E5%AD%A6%E9%83%A8%E3%81%A7%E3%83%87%E3%83%BC%E3%82%BF%E3%82%B5%E3%82%A4%E3%82%A8%E3%83%B3%E3%82%B9%E3%82%84%EF%BD%81%EF%BD%89%E3%82%92%E5%BF%85%E4%BF%AE%E5%8C%96-%E6%96%87%E7%A7%91%E7%9C%81%E3%81%8C%E3%83%A2%E3%83%87%E3%83%AB%E4%BA%8B%E6%A5%AD-%E6%9D%A5%E5%B9%B4%E5%BA%A6%EF%BC%95%E6%A0%A1%E3%82%92%E6%94%AF%E6%8F%B4/ar-AA1LduSJ?ocid=msedgntp&pc=U531&cvid=68adf916ab84458dbcfb70f2e7f48edb&ei=17
文系学部でデータサイエンスやＡＩを必修化、文科省がモデル事業…来年度５校を支援

無限集合として可算集合までを含む体系S（たとえば自然数あるいは整数を含む）
に対して、それを自然に含む非可算集合まで含むS'（たとえば実数や複素数を含む）。
Sで設定された命題をS'の中で証明できたら、それはSの中で正しいか？

離散的な存在である整数についてのS内での命題の証明をするのに、
連続的な存在である実数や複素数などについての解析学を使ってS'内で
証明した場合に、そのS'内部での証明の結果は、
Sにおける命題の成立を保証するか？

これ面白いね

https://www.itmedia.co.jp/aiplus/articles/2508/27/news094.html
AIの“Web操作”成功率、人間超えに成功　NECが世界初
2025年08月27日 [岡田有花，ITmedia]

　NECは8月27日、Web上での業務を自動実行するエージェント技術「cotomi Act」（コトミ アクト）を開発したと発表した。

　ベテラン社員の行動を操作履歴やログから把握した暗黙知をAIエージェントに組み込むことで、一般社員もベテラン品質で業務を遂行できるという。

　同技術を組み込んだAIエージェントが、Web操作の国際ベンチマーク「WebArena」で、人間のタスク成功率を世界で初めて上回った。

　同技術はNECグループ内で実証を進め、2026年度中のサービス提供を目指す。

>>240
>離散的な存在である整数についてのS内での命題の証明をするのに、
>連続的な存在である実数や複素数などについての解析学を使ってS'内で
>証明した場合に、そのS'内部での証明の結果は、
>Sにおける命題の成立を保証するか？

その話は、下記の「整数論」ja.wikipedia の歴史そのものだね
つまり、「整数論」の中だけで考えるのは狭くて不便だ
だから、数論の世界を広げて、そこで数学をやろうということだ

で、いま思いついた即席のたとえ話をしておくと
フェルマーの最終定理 X^n+Y^n=Z^n （n>=3 でX,Y,Zは整数）
これを満たす整数解は存在しない という
もし、人類が 無限の演算能力があれば、
X^n+Y^n=Z^n n>=3 の全ての場合を計算し尽くせば 証明は終わる
しかし、それは出来ないので、”無限の演算”を 別の数学に置き換える必要があるのです
フェルマーの最終定理で、それを実行したのがワイルズさんで
下記の”数論幾何学”を使った（らしい　；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E6%9C%80%E7%B5%82%E5%AE%9A%E7%90%86
フェルマーの最終定理
n = 3：オイラー

https://ja.wikipedia.org/wiki/%E6%95%B0%E8%AB%96
数論（英語: number theory）。整数論とも言う。
概要
フェルマーの最終定理のように、数論のいくつかの問題については、他の数学の分野に比して問題そのものを理解するのは簡単である。しかし、使われる手法は多岐に渡り、また非常に高度であることが多い。

分野
通常は代数学の一分野とみなされることが多い（しかし、解析学や幾何学、確率論など使えるものはなんでも使われる）。おおむね次の四つに分けられる。

初等整数論
他の分野の数学的手法を使わずに問題に取り組む、数論の中で最も基礎的な土台をなす。フェルマーの小定理やオイラーの定理、平方剰余の相互法則などはこの分野の成果である。

代数的整数論
ガウスの整数を研究したカール・フリードリヒ・ガウスがおそらくこの分野の創始者である。体論はこの分野の基礎的根幹であって、ガロア理論は（他の数学においてもそうだが）基本的な道具である。代数体のアーベル拡大の統制を記述する類体論も、この分野の大きな成果である。元来の岩澤理論もここに分類されよう

つづく

つづき

解析的整数論
微積分や複素関数論等の解析学的手法を用いて問題に取り組む。この分野は初めて解析的な手法を系統的に数論に応用したディリクレに始まるとされる。その弟子であるベルンハルト・リーマンによってすでにこの分野の（ひいては数論）の最大の未解決問題であるリーマン予想（1859年）が提示されたのは興味深い。素数定理の証明（1896年）はこの分野の一里塚である。ゼータ関数、保型関数を研究するのもこの分野であって、超越数論とも関係が深い。

数論幾何学
整数論の問題を、代数幾何の手法で研究する、あるいは代数幾何の主対象である代数多様体（もっと広くスキーム）の整数論的な性質を研究する分野である。ディオファントスによる研究（初等整数論の範疇）から考えても、その起源は古いが、現代的な意味での数論幾何学の始祖はアンドレ・ヴェイユ（合同ゼータ関数に関する研究、モーデル・ヴェイユの定理の証明のほか、任意の体上での代数幾何学の研究など）といえるだろう。1950年代後半以降のアレクサンドル・グロタンディークらによるスキーム論およびそれに関連する各種理論の発展により、爆発的な発展を遂げ、現在では数論の中核に位置しているといえる。
歴史
→「数論の年表」も参照

https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E6%9C%80%E7%B5%82%E5%AE%9A%E7%90%86
フェルマーの最終定理
https://stchopin.hatenablog.com/entry/2021/09/11/173326
ちょぴん先生の数学部屋
フェルマーの最終定理
(引用終り)
以上

>>242 タイポ訂正

つまり、「整数論」の中だけで考えるのは狭くて不便だ
　↓
つまり、既存の「整数論」の中だけで考えるのは狭くて不便だ
かな

整数の体系Aの中では正しいとも正しくないとも決定不能なある命題があったとして、
その命題は元の整数の体系を含み実数も含むある体系Bの中では証明が出来るとする。
そのとき元の整数の体系を含んでいる別の体系Cの中では決して反証されないのだろうか？

体系ってなに？

>>245
>整数の体系Aの中では正しいとも正しくないとも決定不能なある命題があったとして、
>その命題は元の整数の体系を含み実数も含むある体系Bの中では証明が出来るとする。
>そのとき元の整数の体系を含んでいる別の体系Cの中では決して反証されないのだろうか？

多分、それに対する回答に近い例が
下記 藤田 博司先生 超限順序数と連続体問題 2021 に記述あるよ
因みに、藤田 博司先生のPDFは 結構いい。私は結構おせわになって居ます （＾＾

(参考)
https://researchmap.jp/fujitahiroshi/presentations
藤田 博司
フジタ ヒロシ (Hiroshi Fujita)
https://researchmap.jp/fujitahiroshi/presentations/36324358
https://researchmap.jp/fujitahiroshi/presentations/36324358/attachment_file.pdf
講演・口頭発表等
招待有り 2021年3月15日
超限順序数と連続体問題
日本数学会2021年度年会 藤田博司

体系とは、公理系など。

>>245
> 整数の体系Aの中では正しいとも正しくないとも決定不能なある命題があったとして、
　ゲーデルの不完全性定理によれば、Aが帰納的公理化可能であれば、決定不能な命題Gが存在します
> その命題は元の整数の体系を含み実数も含むある体系Bの中では証明が出来るとする。
　上記の命題Gは、Gを公理としてAに追加した体系では、当然証明できます　公理ですから
> そのとき元の整数の体系を含んでいる別の体系Cの中では決して反証されないのだろうか？
　上記の命題Gの否定命題¬Gを公理としてAに追加した体系では、当然反証されます

　そもそもPがAで決定不能とは、Aの上では、Pからも¬Pからも矛盾が導けないということです
　これまたゲーデルが証明した述語論理の完全性定理では、
　体系Aのいかなるモデルでも真である命題はかならず証明できます
　逆に、証明も反証もできない命題Pというのは、
　Aのあるモデルでは真であり、別のあるモデルでは偽ということですから

>>248
「多分」も「に近い」も不要
述語論理の完全性定理を理解していれば分かります

大学３年レベルでしょう
東大の数学科では論理学は教えないそうですが

>>245
そんなことは言えなくね？
というかその問い意味ある？　あるなら意味教えて

それを公理として付け加えた体系内では 証明されるし 反証はされない

現実の場合に、体系Aの中では命題Gが決定不能かどうかをどうやって示すか。
もしかしたらAの中でGは証明できるのではないかといくら努力してみても証明できず、
Aの中でGの否定が証明できるのではないかといくら努力してみても証明できなかった
としても、そのことからだけでは決定不能であるとはいえない。
またAにGを公理として付け加えたBをつくれば、Bの中では命題Gは真理である、
と言われているが、実際にそれをやろうとするときに、
AにGを付け加えた体系Bが無矛盾になることをどうやって保証するのだろうか。

円積問題（与えられた円と等しい面積の正方形を定規とコンパスを有限回
用いて作図せよ）が不可能であることは、おそらく初等幾何学の体系の中
側に留まっていては証明できないのではないか。もしもそうであるならば、
初等幾何学の範囲では決定不能なのではなかろうか？
　立方体体積倍増問題（与えられた立方体の2倍の体積をもつ立方体を
初等作図で求めよ）の不可能性や、一般角の三等分問題（任意に与え
られた角の三等分角を初等作図で求めよ）の不可能性なども同様なの
ではないか？
フェルマーの大定理も実数や複素数を使わない初等整数論の範囲内で
は非自明解が存在しないことを証明することは出来ないのではあるま
いか？

>>253
円積問題、立方体体積倍増問題、一般角の三等分問題の不可能性は
初等幾何学と体論の対応関係から言える
これは初等幾何学に何か新たな公理を追加したわけではない

フェルマー予想の解決については知らないが
一般にZFCで解決不能な不定方程式は存在する
このことはヒルベルトの第１０問題の
否定的解決の証明の系として導ける

フェルマー予想がそうではないかという予想があったのは
1970年ごろ

>>254-255
(引用開始)
フェルマー予想の解決については知らないが
一般にZFCで解決不能な不定方程式は存在する
このことはヒルベルトの第１０問題の
否定的解決の証明の系として導ける
フェルマー予想がそうではないかという予想があったのは
1970年ごろ
(引用終り)

下記に類似記述がありますね
"Hilbertの第10問題とは、1900年にHilbertが、20世紀の数学の指針として挙げた23問題のひとつです。整数係数の多項式方程式が任意に与えられるとき（たとえばFermatが考察した x^n+y^n=z^n）、これに整数解があるか否かを判定できるようなアルゴリズムを構築するよう求めています。1970年に、すべての多項式方程式に対応可能な単一のアルゴリズムは存在しないことが証明されました（否定的解決、図2）"

https://www.sci.tohoku.ac.jp/news/20250123-13546.html
お知らせ
東北大学大学院理学研究科数学専攻
助教　甲斐　亘（かい　わたる）
2025年1月23日

素数の組み合わせ論の高次元化
数体の素元に隠れた「星座」

今回の取り組み
2019-2024年にわたる取り組みで、Green-Taoの定理と、それを深化したGreen-Tao-Zieglerの定理（文献 [GTZ], 2012年）という素数に関する定理を、数体の素元に対しても証明することができました。後者の結果は、私自身によって代数幾何の研究において、別の研究者によって整数論・数学基礎論（後述のHilbertの第10問題）の研究においても、すでに活用されています。

Green-Taoの定理の数体の素元への拡張は、東北大学の（元）同僚、関真一朗、見村万佐人、宗政昭弘、吉野聖人の各氏との共同研究で得られたものです（論文 [KMMSY]）。メンバーのひとりである関さんは、高校時代に韓国ドラマ（主人公が数学者を志します）を観て、劇中で印象的に使われたGreen-Taoの定理を、明確に意識するようになったとのことです。それがなければ今回の私たちの共同研究も始まらなかったかもしれません。

論文公開後、この経緯が当ドラマの数学顧問や脚本家の方々にも伝わりました。関さんとドラマ関係者は、互いに感謝の気持ちを伝え合うことができたそうです。不思議な巡り合わせに立ち会うことができ、私も感無量です。関さんの著書『グリーン・タオの定理』あとがきに詳しいことが書かれています。韓国の一般向け科学雑誌『数学東亜』でもこのエピソードが取り上げられました（文献 [東亜]）。

数体の中の代数的整数は、高次元の空間に等間隔に一様に散らばった点であり、素元はその中に一見ランダムに配置されています（図1）。

に、私の予想だにしなかったことですが、数体版Green-Tao-Zieglerの定理を用いて、Hilbertの第10問題の否定的解決を、大幅に拡張することができたとの報が入りました（文献 [KP]）。
Hilbertの第10問題とは、1900年にHilbertが、20世紀の数学の指針として挙げた23問題のひとつです。整数係数の多項式方程式が任意に与えられるとき（たとえばFermatが考察した x^n+y^n=z^n）、これに整数解があるか否かを判定できるようなアルゴリズムを構築するよう求めています。1970年に、すべての多項式方程式に対応可能な単一のアルゴリズムは存在しないことが証明されました（否定的解決、図2）。

低次元の脚元脚さばき。脚フェチ。

生物の進化は血脈が若いほど脚が重要。

目と脚と精神に障害があるのがラファエルという大天使なんだな。俺もまあまあな。

色々の層をいろいろに埋めるのが現代的。

>>256 追加
＞関さんの著書『グリーン・タオの定理』あとがきに詳しいことが書かれています。韓国の一般向け科学雑誌『数学東亜』でもこのエピソードが取り上げられました（文献 [東亜]）。

＜アマゾン＞
グリーン・タオの定理 (朝倉数学ライブラリー) 単行本 – 2023/1/13
関 真一朗
「素数には任意の長さの等差数列が存在する」ことを示したグリーン・タオの定理を少ない前提知識で証明し,その先の展開を解説する。
〔内容〕等間隔に並ぶ素数/セメレディの定理/グリーン・タオの定理/ガウス素数星座定理/他。
朝倉書店 (2023/1/13)
堀川
5つ星のうち5.0 新しい整数論
2023年1月17日
代数的整数論や解析的整数論の他に、組み合わせ論からみた整数論について書かれており、とても情報量のある定理だと分かった👍とてもお薦め。

試し読み
朝倉
https://asakura.tameshiyo.me/9784254118711
アマゾン
https://www.amazon.co.jp/%E3%82%B0%E3%83%AA%E3%83%BC%E3%83%B3%E3%83%BB%E3%82%BF%E3%82%AA%E3%81%AE%E5%AE%9A%E7%90%86-%E6%9C%9D%E5%80%89%E6%95%B0%E5%AD%A6%E3%83%A9%E3%82%A4%E3%83%96%E3%83%A9%E3%83%AA%E3%83%BC-%E9%96%A2-%E7%9C%9F%E4%B8%80%E6%9C%97/dp/4254118716?asin=B0CS3D19RX&revisionId=&format=4&depth=1

>>260
死狂幻調教大師S.A.D.@月と六ベンツ さん
いつもありがとうございます

＞色々の層をいろいろに埋めるのが現代的。

そうそう
数理科学2025年9月号に 層の特集が・・（下記）

https://www.saiensu.co.jp/search/?magazine_id=1&latest=1
数理科学 2025年9月号 Ｎｏ.747
多彩な拡がりをもつ《層》の魅力
様々な数学概念の統一的理解に迫る
内容詳細
現代数学の随所に現れる層（sheaf）の理論は，数学における局所的見方と大域的見方をつなぐ言葉として，様々な分野を統一的に捉えることができる極めて重要な概念となっています．しかしながら，層の定義やその周辺理論は非常に抽象的であり，層の正体を捉えることは容易ではありません．本特集では，層のディテールを数理諸分野それぞれの視点から捉え，層の理論がどのような場面でどのように活躍するのか，そのメカニズムから多彩なトピックを取り上げ，層の魅力に迫ります．
目次
特集
巻頭言 戸田幸伸 https://www.saiensu.co.jp/preview/2025-4910054690958/202509.pdf
層理論入門
〜 定義や例，基本的な性質など 〜
平野雄貴
代数幾何学と層
大内元気
複素幾何学と層
松村慎一
代数解析学と層
〜 佐藤超函数やD加群との関連 〜
池　祐一
超局所層理論入門
桑垣　樹
非可換代数幾何学
大川新之介
代数トポロジーと層
増田成希
数え上げ幾何学と層理論
〜 DT理論からコホモロジー的DT理論へ 〜
金城　翼
書評
測度距離空間の幾何学への招待
〜 高次元および無限次元空間へのアプローチ 〜
永野幸一
重点解説 モンテカルロ法と準モンテカルロ法
田中健一郎
研究室の窓
私の研究遍歴
山下公子

https://researchmap.jp/yukinobutoda
戸田 幸伸
トダ ユキノブ (Yukinobu Toda)
所属東京大学 国際高等研究所カブリ数物連携宇宙研究機構 教授

エドワード・ウィッテンさんとの京都賞記念座談会 超弦理論の過去20年を振り返る(下)
ウィッテン エドワード, 戸田 幸伸, 山崎 雅人
数学セミナー 54(5) 40-47 2015年5月
エドワード・ウィッテンさんとの京都賞記念座談会 超弦理論の過去20年を振り返る(上)
ウィッテン エドワード, 戸田 幸伸, 山崎 雅人
数学セミナー 54(4) 50-58 2015年4月

超弦は今でも魅力があるな。しかし昔神々や精霊たちにほとんど抗えない世界で神が法則を決定しうるのはおかしいよ。自然科学的な機構環境にも医師や偏りがあった点を見落としている。最初の神は何を見たのだろう。それは死を。神は死神なんだよ。最初の神の系譜が一番能力が高いはずだ。原子数学による1。死はゼロに近い。

気候。

誤変換なのかなという。

超越的な弦があるのなら、放つ矢の方はどうだろうか。そこまで描けてないんだな。俺の最高級の 1 本の弓と矢がまたガルーダの0をもたらしたようには。

そして俺も0に近づいた。1と0の間が大事。それは冷静と情熱の間どころではない。カラフル。

一般の不定方程式の整数解を求めるアルゴリズムが存在しないことは、
ある特定の不定方程式の整数解を求めるアルゴリズムが無いことを意味しない。
また、ある特定の不定方程式の整数解を求めるアルゴリズムが無いからといって、
その不定方程式に整数解があることを否定できるわけではない。

一定の特異点の解消を求めるアルゴリズムがないことは
ある特定の特異点の解消を求めるアルゴリズムが
存在しないことを意味しない

整数解があるなら、手あたり次第試せば、いつか見つかるけど
整数解がない場合は、いくらやっても見つからないが、
整数の組は無数にあるから、手あたり次第試してたら終わらない

初等幾何の枠組みに座標を入れて解析幾何・代数幾何の中に埋め込んで、
そのように拡大された体系の中でも解法が無いことを示せれば、
拡大される前の体系の中でも解法が無いという理屈になるのだろうな。
なぜならば、拡大前の体系の中で解法があったとすれば、
拡大後の体系の中からみても解法があるはずだから。
しかし拡大前の体系の中で解法がなかったとしても、
拡大後の体系の中には解法があるのかもしれない、そうして
その解法は拡大前の体系の中では実施できないものだと。

これいいね
https://japan.cnet.com/article/35237393/
AIが嘘をつく理由は「あなたがそれを求めているから」
Macy Meyer （CNET News） 編集部20250901
　プリンストン大学の新しい研究によれば、AIが持つご機嫌取りの性質には大きな代償が伴うという。これらのシステムは普及につれて、真実を無視する傾向が強まっている

　ここ数カ月、われわれはAIが偏見を持つ可能性や、精神病を引き起こす可能性さえあることを目の当たりにしてきた。「OpenAI」の「GPT-4o」モデルをきっかけに、AIチャットボットがすぐにユーザーに追従したり、同意したりするAIの「へつらい（sycophancy）」が話題になった。しかし今回、研究者らが「機械のデタラメ（machine bullshit）」と呼ぶこの特定の現象は、それとは異なるものだ

　「幻覚やへつらいは、LLMに共通して見られる、広範囲にわたる体系的な不誠実な行動を十分に捉えてはいない」と、プリンストン大学の研究者らは述べている。「例えば、部分的な真実や曖昧な言葉遣い（ごまかしや逃げ口上など）を使った回答は、幻覚でもへつらいでもなく、デタラメの概念と密接に一致する」

AIは嘘をつくことをどのように学ぶのか？
　AI言語モデルがどのようにしてユーザーに迎合するようになるかを理解するには、LLMがどのように訓練されているかを理解する必要がある

　LLMの訓練には、3つのフェーズがある
・事前学習：インターネットや書籍など、膨大な量のデータからモデルが学習する
・インストラクションチューニング：命令やプロンプトに反応するようにモデルが教えられる
・人間のフィードバックによる強化学習：ユーザーが望む、または好む応答を生成するようにモデルが改善される

　プリンストン大学の研究者は、AIが誤った情報を生成する傾向の根源は、人間のフィードバックによる強化学習（RLHF）のフェーズにあることを発見した。初期段階では、AIモデルは単に膨大なデータセットから統計的に可能性の高いテキストの連鎖を予測することを学習しているにすぎない。しかし、その後、ユーザーの満足度を最大化するようにファインチューニングされる。つまり、これらのモデルは、人間の評価者から「いいね」評価を得られる応答を生成することを本質的に学習しているのだ

　LLMはユーザーのご機嫌を取ろうとし、信ぴょう性が高く事実に基づいた回答を生成するのではなく、人々が高い評価を付ける回答を生成するという矛盾が生じている

　研究には参加していないカーネギーメロン大学のコンピュータサイエンス教授であるVincent Conitzer氏によると、企業はユーザーにAIやその回答を引き続き「楽しんで」もらいたいと考えているが、それが必ずしもわれわれにとって良いことであるとは限らないという

　「以前から、これらのシステムは『答えが分からない』と伝えるのが得意ではなかった。答えが分からないと、でたらめなことを作り出してしまう」と、Conitzer氏は語った。「それは、試験を受けている学生が、答えが分からないと言ったらその問題で点が取れないから、とにかく何かを試してみよう、と言うのに少し似ている。これらのシステムが報酬を与えられたり、訓練されたりする方法も、いくぶん似ている」

>>271
１）初等幾何：下記のギリシアの3大作図問題ですね
２）”拡大された体系の中でも解法が”は、下記の「射影幾何の考えかた逆井卓也」ご参照
　射影幾何、射影座標で考えることで ユークリッド幾何学内で考えるよりスッキリ
３）同様に、常微分方程式あるいは偏微分方程式の弱解の話
　解の範囲を広げて ”はじめに弱解の存在を示し、その後にその解が実際に十分滑らかであることを示す、という方法がしばしば有用となる”

他に、代数方程式の解で たとえ実係数であっても その根の範囲を複素数まで広げる方が
スッキリ扱えるがごとし

(参考)
https://www.nli-research.co.jp/report/detail/id=55978?site=nli
ニッセイ基礎研
2017年06月19日
ギリシアの3大作図問題−数学を通じて、ギリシアという国の歴史的位置付けの重みを再認識してみませんか−
中村 亮一
リシアの3大作図問題とは
「ギリシアの3大作図問題」とは、以下の３つの問題のことであり、2000年以上も解決されてこなかった問題である。
問題1（円積問題）：円と同じ面積を持つ正方形を作図する。
問題2（立方体倍積問題）：与えられた立方体の体積の2倍の体積を持つ立方体を作図する。
問題3（角の３等分問題）：任意の角を3等分する。

いずれの問題も極めてシンプルである。殆どの人がその内容を理解できる問題だと思われる。ところが、これが「作図」できるかどうかを証明することは大変難しい問題であった。
作図とは
ここで、「作図」とは、「定規とコンパスを使って作図」という意味である。現代であれば、コンピュータ等を使用して、簡単に作図できるが、「定規とコンパスを使って作図」ということになるとそうはいかなくなる。

「定規とコンパスを使って作図」とは、(1)定規は2点を直線で結ぶ（目盛りは使わない）、(2)コンパスは円を描く、(3)あくまでも手順は有限回である、ということを意味している。

その答えは
実は、答えは全て「作図不可能」ということになる。

これらの「作図不可能」性については、問題2（立方体倍積問題）と問題3（角の３等分問題）が1837年に、フランス人数学者ピエール・ローラン・ヴァンツェル（Pierre Laurent Wantzel）によって解決され、問題1（円積問題）については、1882年にドイツ人数学者フェルディナント・フォン・リンデマン（Carl Louis Ferdinand von Lindemann）によって解決された。
作図可能であるための条件
この初等幾何学の問題を解くためには、抽象代数学が使用されている。「抽象代数学」って何やそれ、と思う人が殆どだと思うが、「群」、「環」、「体」といった概念を取り扱う学問だ

つづく

つづき

https://www.ms.u-tokyo.ac.jp/tambara/docs/mc4h2023-Sakasai.pdf
射影幾何の考えかた逆井卓也∗ 2023 年10月9日
（∗東京大学大学院数理科学研究科.令和5年度群馬県高校生数学キャンプ「2次曲線」における講演）
P7
4 デザルグの定理この節ではデザルグの定理と呼ばれる有名な定理の紹介をします。この定理は通常の平面幾何の定理となっていますが、射影幾何の本質を突くものとなっています。デザルグ（Girard Desargues, 1591–1661）は 17 世紀の建築家・数学者で、まさに透視図法の研究をしていました。
P17
定理8.1 射影平面の任意の射影直線に対してうまく射影変換を行うと、その射影直線を無限遠直線にうつすことができる。また、楕円、放物線、双曲線はどれも射影変換によって単位円にうつすことができる。
という事実があります。この性質は射影幾何に関する定理の証明をしばしば簡単な場合へと帰着させます。

https://ja.wikipedia.org/wiki/%E5%BC%B1%E8%A7%A3
弱解
常微分方程式あるいは偏微分方程式の弱解（じゃくかい、英: weak solution、一般解とも呼ばれる）とは、その微分は存在しないかもしれないが、ある正確に定義できる意味において方程式を満たすと見なされるような関数のことを言う。方程式の異なるクラスに対して、それぞれ異なる弱解の定義が多く存在する。最も重要な定義の一つは、シュワルツ超函数の概念に基づくものである。
方程式に微分可能な解が存在している場合でも、はじめに弱解の存在を示し、その後にその解が実際に十分滑らかであることを示す、という方法がしばしば有用となる。
(引用終り)
以上

＞代数方程式の解で たとえ実係数であっても
＞その根の範囲を複素数まで広げる方がスッキリ扱えるがごとし

大学1年の一般教養の数学で落第した数学童貞が
「ボク、数学全部わかるもん」と５ｃｈで自慢

現代化学2025年8月号 ”原子核を形づくる力 三体核力”が
如何にも21世紀で、面白い
要するに、コンピューターの計算が発展して
三体核力の研究が進んだのです

(参考)
https://www.tkd-pbl.com/book/b10139503.html
株式会社東京化学同人
現代化学2025年8月号
試し読み https://www.yondemill.jp/contents/68082?view=1
【インタビュー】
関口仁子 博士
原子核を形づくる力 三体核力

https://ja.wikipedia.org/wiki/%E4%B8%89%E4%BD%93%E5%95%8F%E9%A1%8C
三体問題
運動の軌道を与える一般解が求積法では求まらない問題として知られる。

物理板に書けよ
物理と数学の区別もできねえのか馬鹿

これ、ちょっと面白い

https://nazology.kusuguru.co.jp/archives/184497
「万物の理論」は数式や公理だけで構築できないことが論証された
2025.09.03
「この世界のすべてを説明できる完璧な理論」が存在しないかもしれない——。

カナダのブリティッシュコロンビア大学オカナガン校（UBC Okanagan）など複数の国際研究機関から成る研究チームの最新の研究によって、あらゆる物理法則を一つにまとめ上げる「万物の理論」を、数学的なアルゴリズムだけで構築することには原理的な限界がある可能性が示されました。

数学の世界では、どんなに優れた理論でも、その中で証明できない問題が必ず存在することが知られています（ゲーデルの不完全性定理など）。

研究チームは、この数学的な限界が物理法則にも当てはまることを示し、物理の理論にも完全に計算だけで記述する限界があることを明らかにており、論文でも「完全にアルゴリズム的な「万物の理論」は不可能であることが示唆される（ a wholly algorithmic “Theory of Everything’’ is impossible）」と記されています。

これは、たとえ現在の私たちが夢に描くような「万物の理論」やその「美しい方程式」が完成したとしても、その理論では説明できない現象が必ず現れることを意味します。

研究チームはその代わりに、計算だけでは解けない問題にも対応できる新しいタイプの理論として、「メタ万物理論（MToE）」という考え方を提案しています。

https://nazology.kusuguru.co.jp/archives/184497/4
「万物の理論」は数式や公理だけで構築できないことが論証された (4/4)
2025.09.03

専門化向けざっくり解説
1) 問題設定：量子重力を「有限・計算可能」な形式系として捉える

2) 論理三定理の適用：計算核 F_QG の限界
ゲーデル第1定理
ゲーデル第2定理
タルスキーの定義不可能定理
チャイティンの情報理論的不完全性
帰結：純粋にアルゴリズム的（計算可能）な TOE は原理的に不可能。F_QG は真理全体を捉えきれず、自己健全性も内部証明できない。

3) メタ万物理論 MToE：外部真理述語と非効果的推論の導入

4) 物理への含意：不可判定性が顕在化する領域

「万物の理論」は数式や公理だけで構築できないことが論証された (4/4)のコメント

なんで量子重力にだけ限定して議論することが必要とされるのかがわからん。

連立常微分方程式で完璧に記述される運動があったとしても、
初期条件に任意に微小な違いが任意に大きな違いを生むカオス系に
なっていたら、観測により、未来あるいは過去の運動を任意に精密に
決定することが現実的には不可能になる。つまりそのようなモデルを
作っても、それに含まれる運動のパラメタを十分に精密に決定できず
モデルの予言力に限界が生じてしまう。物理では理想的な実数を考え
てもしかたがなく、観測も現実も一定の精度限界が存在する。純粋な
孤立系が存在せず、どうしても自由度無限大の場による影響がノイズ
として入り混むので、その自由度無限大の場を有限の観測結果から決
定することは出来ないから、理論が閉じない。無限の精度で実験結果
を予言する理論はありえない。

そもそも万物の理論が自然数論を包含するのか？
宇宙って有限だろ？（笑）

宇宙が体積有限かどうかは確定はしていない。
実数の有限[-1,1]区間にも整数の逆数が無限に存在している。

宇宙が連続体だっていつだれがどこで証明したっけ？
そんな証明ないよな？

これいいね、問題提起
https://news.yahoo.co.jp/articles/4bb99e68fcaa1c301901c381c69bb71ecc021987
news.yahoo 9/9(火) BUSINESS INSIDER JAPAN 首藤みさき ライター
「学びたくない日本」アメリカとは8倍差。リスキリングブーム凋落の納得の理由
「日本人は勤勉」という考えはもはや過去の幻想にすぎないのかもしれない
日本の労働者は、アメリカの労働者に比べて8倍「学ぶ気がない」──。Indeed Japan（以下、インディード）が実施した調査 から、そんな現実が明らかになった

日本でも「人への投資」や「リスキリング」の重要性が指摘され始めて数年経つ。ソフト面では確かにさまざまなリスキリング関連サービスが広がってきたものの、調査結果からは、日本の労働市場における労働者・企業双方のスキル習得に対する意識の低さが露見した形だ

どうすればスキル習得の意欲が高まるのか。企業はそのために何ができるのか

新たなスキル「生かし方」が描けていない
インディードが実施した今回の調査は、日本とアメリカの労働者（各国3096名）および採用担当者（各国1030名）を対象に、早稲田大学政治経済学術院 大湾秀雄教授の監修のもと実施した

調査結果からまず明らかになったのは、日本人労働者のリスキリングへの消極性だ
大湾教授によれば、スキル習得意識の低さに加え、日本では「自己研鑽活動を何もしていない」と回答した人も全体の半数以上（50.5%）で、アメリカ（同9.7%）との差は歴然だった。

大湾教授によると、もともと日本では、雇用の流動性の低さや、会社主体の配置制度といった労働慣行の影響もあり、新たなスキルを習得するモチベーションが低い傾向があったという。調査では、リスキリング市場が盛り上がってきているなかでも、まだまだ根強い「日本的」な労働環境が残っている現実が可視化された形だ

また、今回の調査では、個人の「キャリア意識」がリスキリングの意欲に強く影響することが分かってきた。
「調査では、明確なキャリア理想像を持つ人ほど、身につけたいスキルの数やスキル獲得のための活動数が多いことが示されました。その一方で、『明確なキャリアプランを持っている』と回答したビジネスパーソンが日本は全体の9.7%とアメリカ（48.9%）に比べ著しく低い

日本の場合は、転職回数が多い人ほどキャリア意識が高く、獲得したいスキル数が多い。つまり、自分の市場価値を意識するということが、スキル獲得につながっていくということを表す結果になっています。」（大湾教授)

明確なキャリアプランを持つ人は、リスキリングを自分が望むキャリアを実現するための手段の一つとして捉えていることが伺える。

雇用の流動性が高く、個人のスキル習得が労働市場で生き残るために不可欠なアメリカと異なり、日本におけるリスキリングは、企業目線で見ると、従業員に成長を促すことで、事業戦略や外部環境の変化に適応していくための仕組みという側面も強い

しかし企業側への調査結果を見ると、自社のリスキリング支援の取り組みについて「特になし」とする日本企業は22.7%（アメリカは2.0%）に達している。さらに会社からの支援について、労働者側は「特になし」とする回答が45.6%だった。日本では、アメリカよりも企業からの支援が少ないばかりか、実際に支援していても、それが従業員に伝わっていない状況にあるようだ

>>283
述語論理も集合論も実数論も一から丁寧に学ぼうとしない
怠惰で傲慢な自分自身に真っ先に問題提起しろよ　◆yH25M02vWFhP

実数論はリスキリングか

Ivan Fesenko さん 下記
”From two Grothendieck’s math legacies to quantum computing and deep neural networks, talk July 2024”
で、なんか ちょっと フカシていると思ったところ
referencesで
”・Laurent Lafforgue, Grothendieck’s topos as mathematics for a Future AI: Illustration by the Problem of Image Representation, talk at Centre Lagrange, October 2023
・Laurent Lafforgue, Some sketches for a topos-theoretic AI, talk at Math and Machine learning colloquium series, Barcelona, February 2024”
があがっていたので、ビツクリしました ；ｐ）

(参考)
https://ivanfesenko.org/?page_id=80
Ivan Fesenko
https://ivanfesenko.org/wp-content/uploads/sl24.pdf
From two Grothendieck’s math legacies to quantum computing and deep neural networks, talk July 2024

Summary
Two areas initiated by A. Grothendieck: topos theory and anabelian geometry, seem to remain relatively unknown to AI scientists and quantum computing experts. There is a potential for the use of some concepts and visions of these math areas in quantum computing, and for understanding of deep neural networks and AI systems.

Some references in public access
・Olivia Caramello, Syntactic learning via topos theory, talk, New AI theory workshop, November 2023
・Laurent Lafforgue, Grothendieck’s topos as mathematics for a Future AI: Illustration by the Problem of Image Representation, talk at Centre Lagrange, October 2023
・Laurent Lafforgue, Some sketches for a topos-theoretic AI, talk at Math and Machine learning colloquium series, Barcelona, February 2024

サルは何をみてもびっくり（嘲）

「科学の女王」数学、日本の研究水準は高いが…AIなど産業応用は後れ
2025年9月13日
　https://www.nikkei.com/article/DGXZQOSG2694M0W5A820C2000000/

面白そうだね

https://www.vietnam.vn/ja/cac-nha-khoa-hoc-tim-ra-cong-thuc-pi-hoan-toan-moi-sau-hang-ngan-nam
科学者たちは数千年ぶりに全く新しい円周率の公式を発見した
科学者たちは円周率をより正確かつ効率的に表す新しい公式を発見し、量子力学、素粒子物理学、複雑な科学的シミュレーションの研究に新たな方向性を開いた。
Báo Tuổi Trẻ
11/09/2025

インド科学研究所の物理学者アルナブ・プリヤ・サハ氏とアニンダ・シンハ氏は、粒子間の相互作用のシミュレーションを最適化するための新しい量子モデルを研究で開発しました。驚くべきことに、このモデルを構築する過程で、彼らは全く新しい円周率の公式を発見しました。この公式により、より少ないステップでより正確な計算が可能になり、データ処理量が大幅に削減されます。

サハとシンハは、粒子の相互作用と散乱を記述する数学的ツールであるファインマン図と、弦理論で用いられるオイラーのベータ関数を組み合わせました。その結果、円周率の値に非常に速く収束する特別な数列が得られ、従来の方法よりもはるかに高速な計算が可能になりました。

アニンダ・シンハ博士によると、この研究方向は1970年代に提案されたものの、計算が複雑すぎるために放棄されたとのことです。しかし、現代の計算技術と高度な数学の発展により、研究チームは新しいモデルが予想よりも速く収束することを証明し、円周率の計算がこれまで以上に実現可能になったとしています。

新しい円周率の公式は日常生活に直接応用されるものではありませんが、基礎科学にとって重要な前進です。この研究は円周率に関する理解を深めるだけでなく、量子モデルの高速化や将来の複雑な問題の解決の可能性も示しています。

シンハ博士はこう述べています。「これこそが理論科学の純粋な喜びです。すぐに応用できるわけではありませんが、知識と研究の新たな扉を開きます。」

トピックに戻る
ミン・ハイ
出典: https://tuoitre.vn/cac-nha-khoa-hoc-tim-ra-cong-thuc-pi-hoan-toan-moi-sau-hang-ngan-nam-20250910091916157.htm

実数の定義も理解できんエテ公が
自分が全然わからんことを
面白がるとかマゾ（嘲）

ＡＩ馬鹿で草
https://i.imgur.com/C8pcBsw.png

>>290
馬鹿でもできるレスw

Baoは包

AI時代、創造する喜びは消えない　万博プロデューサーの中島さち子氏
2025年9月20日
https://www.nikkei.com/article/DGXZQOSG01A190R00C25A5000000/

>>294
なにがしたいんだか　NS

なにをしてもいいけどな

オリンピックの金メダルの価値は
あせない

>>296
数学は競技じゃねえよ　●違い

数学オリンピックは競技

>>298
じゃ、そいつは数学じゃねぇな

もちろん

どこぞの素人が●●の一つ覚えで
群・環・体
と、ほざくのを散々耳にしたが、これからはこういいたい
半群・半環・半体

（笑）

昔は体のことをケルパーというのが一般的だったそうだ

整数Zは
加法について（可換）群であり
乗法までいれると（可換）環
そして有理数Qや実数Rは（可換）体

一方、自然数Nは
加法について（可換）半群であり
乗法までいれると（可換）半環
そして、正の有理数全体や正の実数全体は（可換）半体

実はこれらこそが本体なのではないか？　なんちって（笑）

小学校の算数では、負の数を扱わない

だから、小学校の算数は、
自然数半群・自然数半環・正有理数半体
について、理屈抜きで具体的取扱を学んでいる

中学校で負の数を学ぶと「半」がとれる（笑）

中学校３年で無限小数とか出てきて
なし崩し的に実数を密輸入する

で、高校で微分とか積分とかナイーブに導入するが
まあ、やろうと思えば
dxをいくらでも小さくすることで
微分係数やら定積分やらの値を
無限小数として、任意の桁の値も確定できる
という形で正当化できるが
それを理屈として説明するのはすげぇめんどうだし
高校生は大学受験で忙しいので
そこまでやらずに大学に丸投げする

そして大学に入った１年生が
微分積分学でいきなり実数の定義とか学んで
「なんじゃこりゃぁぁぁ！！！」
と絶叫するわけだ（笑）

高校までの数学は所詮算数
という意味がこれでよくわかるだろう（笑）

>>305
＞dxをいくらでも小さくすることで
＞微分係数やら定積分やらの値を
＞無限小数として、任意の桁の値も確定できる

これは実は、コーシー列であることを示すのと同じ

√２だろうがπだろうがｅだろうが
結局のところ無限小数として表すというのは
別に全部の桁を一遍に示すわけではなく
だんだん下の値まで確定していく列として示す
ということである

ここで、ナイーブな数のプラトニズムが崩壊する（笑）

>>306
(引用開始)
これは実は、コーシー列であることを示すのと同じ
√２だろうがπだろうがｅだろうが
結局のところ無限小数として表すというのは
別に全部の桁を一遍に示すわけではなく
だんだん下の値まで確定していく列として示す
ということである
ここで、ナイーブな数のプラトニズムが崩壊する（笑）
(引用終り)

一句”不勉強 オチコボレのさばる 便所板”（字余り）
ここは中高一貫校生も来る可能性があるから
赤ペン先生をしておく

下記 東北大 尾畑研
https://www.math.is.tohoku.ac.jp/~obata/student/subject/
東北大 尾畑研
「集合・写像・数の体系　数学リテラシーとして」の草稿(pdf)

第16章整数・有理数・実数
P247
16.3 実　数
P258
■実数の無限小数展開
p259
実数の無限小数展開という
x=ξ0ξ1ξ2・・・ξn・・・
のように書く
(引用終り)

厳然と、可算無限桁の無限小数展開が存在すると考えて良い
コーシー列においても、厳然と 可算無限個の数の列が存在すると考えて良い
その方が、カントールの対角線論法が 腑に落ちるｗｗ　；ｐ）

>>307
>”不勉強 オチコボレのさばる 便所板”
>ここは中高一貫校生も来るから
>赤ペン先生しておく
公立中高卒の不勉強オチコボレが
自称赤ペン先生で大間違い

>厳然と、可算無限桁の無限小数展開が存在すると考えて良い
>その方が、カントールの対角線論法が 腑に落ちる

目で見ないと分からん馬鹿が無限個の数の一斉存在にこだわる（笑）

fが自然数から実数への単射とする
また実数rについてそのn桁目をr[n]と表す

そのとき以下の実数lを構成できる
l[n]
=f(n)[n]+1 　(f(n)[n]が0〜8)
=0 　(f(n)[n]が9)

さて、もしfが全射ならl＝f(m)となるmが存在する
しかし、lの定義からl[m]は、f[m](m)とは一致し得ない
したがって矛盾

上記の証明で、どこにも無限個の桁の数など全部列挙していない
列挙していないものを列挙していると妄想するのは馬鹿であり●違い

何が腑に落ちる、だ
五臓六腑全部掻き出したろか？（笑）

>>308
>また実数rについてそのn桁目をr[n]と表す

そのnが、0<n の自然数集合Nの全てを渡る前提があるよ
それ、大前提

だから、あなたの論は
　>>307の尾畑研の
■実数の無限小数展開
p259
実数の無限小数展開という
x=ξ0ξ1ξ2・・・ξn・・・
のように書く
(引用終り)

を否定していないよねｗｗｗ　；ｐ）

>>309
>>実数rについてそのn桁目をr[n]と表す
>そのnが自然数集合Nの全てを渡る大前提があるよ

その大前提とやらは
「無限小数展開のすべての桁が”今・この瞬間に”分かっている」
を導かないが

それ、分かる？
大学１年の一般教養の数学で落第した高卒 ◆yH25M02vWFhP 君

つづき

２．続けて時枝はいう
　私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.

https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0
形式的冪級数（英: formal power series）とは、（形式的）多項式の一般化であり、多項式が有限個の項しか持たないのに対し、形式的冪級数は項が有限個でなくてもよい。
定義
A を可換とは限らない環とする。A に係数をもち X を変数（不定元）とする（一変数）形式的冪級数 (formal power series) とは、各 ai (i = 0, 1, 2, …) を A の元として、
馬=0〜∞ anXn=a0+a1X+a2X^2+⋯
の形をしたものである。ある m が存在して n ≥ m のとき an = 0 となるようなものは多項式と見なすことができる。
形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。

https://ja.wikipedia.org/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E7%92%B0
多項式環（英語: polynomial ring）は環に係数を持つ一変数または多変数の多項式の全体の集合が成す環である。
注意すべき点として、多項式には項が有限個しかないこと —つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零であるということ— は、暗黙の了解である
(引用終り)
以上

コピペバカ

一種のパラドックス

「時枝のパラドックス」として定着するか

>>306-311

306　ヒト
>（実数を）無限小数として表すというのは
>全部の桁を一遍に示すわけではなく
>だんだん下の値まで確定していく列として示すことである
>ここで、ナイーブな数のプラトニズムが崩壊する
307　エテ公　
>可算無限桁の無限小数展開が存在すると考える方が、対角線論法が 腑に落ちる
308　ヒト
>実数rについてそのn桁目をr[n]と表す…どこにも無限個の桁の数など全部列挙していない
309　エテ公
>そのnが自然数集合Nの全てを渡る大前提があるよ
310　ヒト
>それ、「無限小数展開のすべての桁が”今・この瞬間に”分かっている」を導かないが
311　エテ公
>貧弱な”メンタルピクチャー”だな

「可算無限桁の無限小数展開が”すべての桁が示された状態で”存在する」
という最貧最弱メンタルピクチャーは　大学１年の微分積分の最初の
実数の定義が分からず落第した高卒エテ公、貴様のものだ（笑）
（完）

>>311
＞無限に対する”メンタルピクチャー”が貧弱だから・・
＞箱入り無数目が分らないんだよ

無限に関する”メンタルピクチャー”が間違ってるから
箱入り無数目で誤解して発●するんだよ　エテ公

>>311
＞まず 形式的冪級数環と多項式環 から
「環」要らない　代数演算一切使ってないから（笑）

＞多項式とは：
＞「項が有限個しかないこと
＞—つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零である（形式的級数）」
＞これは、上から目線の定義だね。
さすが高卒レベルの素人だね
こんなナイーブな文章で「上から目線」とか言っちゃう

＞つまり、項が無限個の形式的冪級数から見下せば 項が有限個なら 多項式！

＞これを踏まえて、有限小数とは：
＞「有限桁の小数
＞—つまり十分大きな k（ここでは k > m）で 10^kに関する係数 pk がすべて零である小数」のこと！

要するに
　形式的冪級数：（任意次数）多項式
＝無限小数：（任意次数）有限小数
＝無限列：（任意次数）有限列
＝S^N：∪(n∈N）S^n

>>314-315
これは御大か
そうなんですよ

「時枝のパラドックス」は、現代数学確率論とは
真っ向矛盾しています
しかし、それは 現代数学確率論の知識がない オチコボレさんには
理解できないので、彼らは グダグダ言ってますけどね ；ｐ）

>>319
＞（「箱入り無数目」は）現代数学確率論とは真っ向矛盾・・・

確率論どころか測度論の初歩である非可測集合も理解できん高卒エテ公の妄想

ついでにいうと、箱入り無数目を考えたのは時枝正じゃないぞ

「時枝のパラドックス」とか呼ぶのは
コラッツの問題を掛谷の問題と呼ぶのと同じ
日本しか見ない見えない夜郎自大の自己愛エテ公
ｗｗｗｗｗｗｗ

>>319
>「時枝のパラドックス」は、現代数学確率論とは
>真っ向矛盾しています

そう思うのは Ω=R^N と勝手読みしてるから
国語からやり直し

何通りもの勝手読みの優劣を判じにくい場合もあるだろう

>>312 追加
>実数列の集合 R^Nを考える.
>s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 →>sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).

さて
実数列の集合 R^Nを Formal power series(＝形式的冪級数)と見る視点は
下記の en.wikipedia でも採用されている

記号を下記に倣い 実Rを環とみて R[[x]]を形式的冪級数環、R[x]を多項式環とする
時枝さんの同値類は 商 R[[x]]/R[x] に他ならない

形式的冪級数 F1(x)∈R[[x]] 多項式f(x)∈R[x] において
F1(x)と F(x)=F1(x)+f(x)とは、同じ同値類に属することは 明らか
つまり F1(x)を同値類の代表とすると 同値類は 代表F1(x)+多項式f(x)という構造を取る
：
この場合 f(x)の次数がn(つまりn次の係数an≠0 で an+1以降すべて0)
時枝のしっぽ同値の決定番号d(ある番号dから先のしっぽが一致する)は、この場合d＝n+1となる

いま、下記 都築暢夫 多項式環F[x]（今の場合R[x]）は、線形空間として（可算）無限次元だったことを思い出そう
無限次元線形空間から、作為をもって 有限次元の多項式を要素として 多項式を 選択することは可能だが
しかし、ランダムに 無限次元線形空間から 任意の要素を選べばどうなるか？

その答えは、無限次元線形空間とランダム性とは 馴染まないってことだね
（直観的には 無限次元空間だから 無限次元の要素であるべきだが 多項式でそれは成り立たないので 矛盾）

つまり、下記の非正則事前分布と同じで、非正則分布を成すので
コルモゴロフによる公理系  P(Ω)=1 （全事象Ωに1を与える）を満たすことが出来ない（ランダム性は考えられない）■
これが、箱入り無数目トリックです

再度纏めると、確率論から外れる典型例が二つある
一つは ご存知非可測集合の場合で、もう一つが 全事象Ωが(大きすぎて)発散して 確率1を与えることができない場合
（後者は、下記 AVILEN Inc. 2020に記されている通りだが、実務ではよく知られていることだが、純粋数学者で知る人は少ない）

(参考)
https://en.wikipedia.org/wiki/Formal_power_series
Formal power series
The formal power series over a ring R form a ring, commonly denoted by
R[[x]]. (It can be seen as the (x)-adic completion of the polynomial ring R[x], in the same way as the p-adic integers are the p-adic completion of the ring of the integers.)
The ring of formal power series
Definition of the formal power series ring
Ring structure
Topological structure

つづく

つづき

https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0
形式的冪級数

https://ja.wikipedia.org/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E7%92%B0
多項式環

https://www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/04-21.pdf
代数学I (第2回)都築暢夫
Ｐ3
例3.2.多項式環F[x].
線形空間F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である。
証明 略す（原文ご参照）

https://ai-trend.jp/basic-study/bayes/improper_prior/
AVILEN Inc. 2020
2020/04/14
非正則事前分布とは？〜完全なる無情報事前分布〜
ライター：古澤嘉啓
目次
1 非正則な分布とは？一様分布との比較
2 非正則分布は確率分布ではない！？
3 非正則事前分布は完全なる無情報事前分布
4 まとめ
積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。

https://ja.wikipedia.org/wiki/%E7%A2%BA%E7%8E%87%E3%81%AE%E5%85%AC%E7%90%86
確率の公理
コルモゴロフによる公理系
4. P(Ω)=1.
(引用終り)
以上

>>323
>コルモゴロフによる公理系 P(Ω)=1 （全事象Ωに1を与える）を満たすことが出来ない（ランダム性は考えられない）■
>これが、箱入り無数目トリックです
ほらね、「実数列をひとつランダムに選ぶ」と勝手読みしてトンチンカンなこと言ってる。
そんなことは記事のどこにも書かれていない。一方「1〜100 のいずれかをランダムに選ぶ」と明記されている。
したがって Ω=R^N は間違いで、正しくは Ω={1,2,・・・,100}。
君はいつも勝手読みするね。その悪癖を治さない限り生涯オチコボレのままだよ。

>>325
> 勝手読みの悪癖を治さない限り生涯オチコボレのままだよ。

実際その通り　大学１年の微分積分と線形代数で落第したのに
ガロア理論がー、分かりもせずに吠えまくり
そのくせ円分方程式の解すらべき根表示で解けない
◆yH25M02vWFhPは正真正銘の自己愛性人格障害　変質者

ついでにいうと
∪(n∈N)R^nは、代数的に可算次元だが
R^Nは、代数的に非可算次元

代表はR^N/∪(n∈N)R^nの元
で、p∈∪(n∈N)R^nは、当然あるn∈Nが存在してp∈R^n
どのR^nの要素でないものが∪(n∈N)R^nの要素になることは定義上決してあり得ない

あり得ないことを考えるのが●違い
もっちー然り、◆yH25M02vWFhP然り

>>324 補足
（引用開始）
https://www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/04-21.pdf
代数学I (第2回)都築暢夫
Ｐ3
例3.2.多項式環F[x].
線形空間F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である。
証明 略す（原文ご参照）
(引用終り)

ここに Ｐ2
『3. 基底一次独立(93 ページ)、基底(98ページ)と次元(100-101 ページ) の定義は教科書を見よ』
などと出てくるが

これ
親玉のサイトが見つかった

http://www.math.sci.hiroshima-u.ac.jp/algebra/member/tsuzuki-j.html
広島大学理学部数学科 代数数理講座
都築暢夫
2006年度
代数学1:講義ノート
第1回(4/14), 第2回(4/21), 第3回(4/28), 第4回(5/12), 第5回(5/19), 第6回(6/2), 第7回(6/9), 第8回(6/16), 第9回(7/7),

https://www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/04-14.pdf
代数学I (第１回)都築暢夫 4 月14 日（金）
P1
教科書: 硲野敏博・加藤芳文著「理工系の基礎線形代数学」(学術図書出版)

だね
<アマゾン>
理工系の基礎線形代数学 単行本 – 1994/1/1
硲野 敏博 (著), 加藤 芳文 (著) 学術図書出版社
カスタマーレビュー
星5つ中3.9つ
まだカスタマーレビューはありません

>>311 補足
(引用開始)
https://rio2016.5ch.net/test/read.cgi/math/1736907570/
数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.net/test/read.cgi/math/1620904362/401-406 純粋・応用数学（含むガロア理論）8 より
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
(引用終り)

コルモゴロフの測度論による 確率計算では
もし 区間[0,1]の実数rを 一つの箱に入れて
それを 箱を閉じたまま 当てるときの確率は 0

もし 区間[0,1]の実数rを ｎ個の箱に入れて
それを 箱を閉じたまま 当てるときの確率は 0
（一つだけ閉じた箱を残し 他を開けて n-1個の箱の数を見ても iid(独立同分布)なら 確率は 0）
ｎ+1個の箱でも同じ
数学的帰納法により、任意nについて 未開の箱の的中確率0

nを無限個に拡張した問題を考えたら？
一つだけ閉じた箱を残して 他を開けると
確率99/100 になる？ デタラメ無数目 ですよ

>>328
だからそれが勝手読みだと言ってるの。
記事が述べてる確率は君が言ってるのとはまったく異なる確率。
言ったそばから勝手読みするね君は。それじゃオチコボレのままだぞ。

>>328
だからそれが勝手読みだと言ってるの。
記事が述べてる確率は君が言ってるのとはまったく異なる確率。
言ったそばから勝手読みするね君は。それじゃオチコボレのままだぞ。

>>328
記事に「1〜100 のいずれかをランダムに選ぶ」と書かれてるだろ？　Y/Nで答えよ

>>328
記事中にランダム性の記述は「1〜100 のいずれかをランダムに選ぶ」以外に無いだろ？　Y/Nで答えよ

>>327
＞多項式環F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である。
＞証明 略す（原文ご参照）
証明見なくても瞬時にわかるだろ（笑）
任意の自然数n∈Nについてx^nが基底

いっとくけど、R^Nの場合、上記だけじゃ代数的基底にならないぞ
あくまで基底全体に属する有限個の元の線形結合で任意の元が生成されねばならない
必然的に無限個のx^nの”形式和”による無数（具体的には非可算無限）の元が
基底にならねばならないし、その具体的な形を示すことはできない
基底の存在は選択公理で示されるだけだからな

分かってるか？大学１年の数学で落第した高卒 ◆yH25M02vWFhP

>>328
ならば標本空間は Ω={1,2,・・・,100} だろ？　Y/Nで答えよ

>>328
ならば君が持ち出した標本空間 Ω=[0,1] は誤りだろ？　Y/Nで答えよ

>>328
＞もし 区間[0,1]の実数rを ｎ個の箱に入れて、それを 箱を閉じたまま 当てるときの確率は 0
＞（一つだけ閉じた箱を残し 他を開けて n-1個の箱の数を見ても iid(独立同分布)なら 確率は 0）
＞ｎ+1個の箱でも同じ
＞数学的帰納法により、任意nについて 未開の箱の的中確率0

そう、n∈Nなら（つまりnが有限なら）そうなる

＞nを無限個に拡張した問題を考えたら？一つだけ閉じた箱を残して 他を開けると確率99/100 になる？
＞デタラメ無数目 ですよ

２つ言いたいことがある

１．
任意有限で成り立つから、無限でも成り立つ、とはいえない
任意のn∈Nについて　0<=m<nとなる1/m！の和は、有理数
しかし、無限個の和（実際は有理コーシー列だが）は、有理数ではなくｅ

２．
箱入り無数目で「選んだ箱の値が、ある値である確率が99/100」と読んでるが、読み間違い
100列のそれぞれを選ぶことで、結果的にそれぞれの中の1箱を選ぶことになる
つまり選べるのは100箱
そのうち、当てられないのがたかだか1箱
だから、選んだ箱の中身を当てられる確率1-1/100=99/100

もちろん、確率論とは全然矛盾しない

>>328
Ω={1,2,・・・,100}を正としたとき、それは何の確率か？
100列のいずれかをランダム選択したときに、単独最大決定番号の列を選ばない確率。なぜなら単独最大決定番号の列を選ばなければ代表列を用いたカンニングに成功して箱の中身を言い当てられるから。
それが箱入り無数目記事の確率。君が勝手に持ち出した確率とはぜんぜん違う。つまり君はぜんぜん違う確率を持ち出してきておかしいおかしいと喚いてるだけ。アホでしょ？

ID:4TPzkzyTの4連質問

331 記事に「1〜100 のいずれかをランダムに選ぶ」と書かれてるだろ？　Y/Nで答えよ
332 記事中にランダム性の記述は「1〜100 のいずれかをランダムに選ぶ」以外に無いだろ？　Y/Nで答えよ
334 ならば標本空間は Ω={1,2,・・・,100} だろ？　Y/Nで答えよ
335 ならば君が持ち出した標本空間 Ω=[0,1] は誤りだろ？　Y/Nで答えよ

自己愛性人格障害者 ◆yH25M02vWFhPの回答予想

A1.時枝正の指示には従わない！俺は必ず100番目の列を選ぶ！N!
A2.どの列を選ぶかは数学の絶対神である俺様が決める　ランダムじゃねえ！N!
A3.よって標本空間は([0,1]^N)^100　N!
A4.数学の絶対神である俺様が間違うことなどあるわけないしあってはならん！N!

●ってんな　大学数学のオチコボレのエテ公が、数学の絶対神なわけないだろｗ

>>328
そもそも君の陳述の中にひとつも”代表列を用いたカンニング”の話が出てこないじゃん　おかしいじゃん　箱入り無数目記事はそこがミソなのに
つまり君は記事のミソをそっくり外してるんだよ　それじゃ正しい主張にならないのは当然だろ？　え？　違うかい？

>>339
> そもそも◆yH25M02vWFhPの陳述の中に
> ひとつも”代表列を用いたカンニング”の話が出てこないじゃん　
> おかしいじゃん　箱入り無数目記事はそこがミソなのに

そもそも、◆yH25M02vWFhPは、選択公理が理解できない

無限回実行可能、とかほざいてるくせに（笑）

まあ、無限回実行が不可能でも、選択公理を前提すれば選択関数は存在する

選択公理は公理であって定理ではない

選択関数が存在する、という公理で前提してるだけなので、
選択関数が存在する、という定理を証明する必要はない

大学１年坊主が微分積分で落ちこぼれる理由はいくつもあるが
そのうちの１つが「公理を定理だと思って証明しようとして発狂」

実数の公理はあくまで前提
まあ、具体的構成物（例えば無限小数の全体）が
実数の公理を満たすかどうかはもちろん証明の必要がある
この場合でいえば示すのは２点

１．任意の有理コーシー列の中に、無限小数にあたるものが少なくとも１つは入っている
２．もし２つ以上の無限小数が、同じ同値類に入ってる場合、その同値性は小数の計算と矛盾しない

１は実質的には任意の実数が無限小数表記できると示すのに等しい
２は例えば1-0.999…を計算したら、どの桁も0しか出てこないから0であると示すのに等しい

わかっていれば、何を為すべきか、何を為さざるべきかが分かる
為すべきことを為さず、為さざるべきこと為すなら、そいつは狂っている

１８〜１９歳の一時、狂うのは人生経験上意味があるが
６０歳すぎても、同じように狂うのは有害無益

２０歳で気づけよ！

”くやしいのうwww”
「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ

(参考)
https://dic.nicovideo.jp/a/%E3%81%8F%E3%82%84%E3%81%97%E3%81%84%E3%81%AE%E3%81%86www
ニコニコ大百科
くやしいのうwww
元ネタは中沢氏の漫画「はだしのゲン」のセリフ。
当たり前の話だが作品発表当時「w」を使って笑いや嘲笑を表す表現はなかったので、
原作では単に「くやしいのう」　となっている。
なお、「くやしいのう」の「のう」は広島弁で「だなぁ」等の感嘆、詠嘆程度の役割で
特に深い意味はない。

https://dic.pixiv.net/a/%E3%82%B4%E3%83%BC%E3%83%9E%E3%83%8B%E3%82%BA%E3%83%A0%E5%AE%A3%E8%A8%80
ピクシブ百科事典
ゴーマニズム宣言
『ゴーマニズム』とは、『傲慢』から作られた小林氏による造語で、各回の文末には「ごーまんかましてよかですか?」というキメ台詞

https://note.com/dcrg7mgm/n/n3eeb06fd35d0
アホな同僚や相手に構うことほど、人生ムダなことはないよね。
レトリカ・ブログ （学院長 川上貴裕）
2024年11月2日

どうしようもない人（以下、アホ）に限って、「どういうメンタルしているんだ？」、「なんでこんなやつが正規で受かってるんだ！」と思うほど、平然とした顔で、のさばり続けているのですよね。

世の中、理不尽なことばかりです。
略す
上記のように嫌みをこぼす、アホな同僚が、おそらく、皆さんの周りにもいることでしょう。

でも、こんな愚かなアホのせいで、自分の心が疲弊したり、病んだり、最悪の場合、教職を諦めてしまうことになることほど、理不尽なことはありませんよね。

では、こんなアホには、どう対抗すればいいのか。

いえいえ、今日はそんな話ではないのです。

マザーテレサの名言に、
「愛の反対は、憎しみではなく、無関心です。」
という言葉があります。

まさにその通りです。
アホに対して、憎しみをもったり、エネルギーを費やしたり、感情的になったり、帰宅後も脳裏に思い出したりすることほど、人生を無駄にしていることはないのです。
略す
また、田村耕太郎さんの『頭に来てもアホとは戦うな！』という書籍も、おすすめです！ぜひ、読まれてみてください！
(引用終り)

なお、
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なカキコ

上記は、お断りです！！

また逃げた
だからオチコボレのままなんだよ

>>341
>”くやしいのう”

だったら、述語論理と集合論と微分積分と線形代数を勉強して大学１年数学の壁を乗り越えな

>>323 補足
(引用開始)
いま、下記 都築暢夫 多項式環F[x]（今の場合R[x]）は、線形空間として（可算）無限次元だったことを思い出そう
無限次元線形空間から、作為をもって 有限次元の多項式を要素として 多項式を 選択することは可能だが
しかし、ランダムに 無限次元線形空間から 任意の要素を選べばどうなるか？
その答えは、無限次元線形空間とランダム性とは 馴染まないってことだね
（直観的には 無限次元空間だから 無限次元の要素であるべきだが 多項式でそれは成り立たないので 矛盾）
つまり、下記の非正則事前分布と同じで、非正則分布を成すので
コルモゴロフによる公理系 P(Ω)=1 （全事象Ωに1を与える）を満たすことが出来ない（ランダム性は考えられない）■
これが、箱入り無数目トリックです
(引用終り)

分りにくいので 補足しよう
いま、簡単に Ω=N={1,2,3,・・,n,・・・} 自然数全体
を考えよう
これは、下記で 離散一様分布{1,2,3,・・,n}で n→∞ の極限を考えることに相当する
1〜nの離散一様分布では、平均(期待値) E[X] (n+1)/2 だね
ここで、n→∞とすると 平均(期待値) E[X] →∞ と 無限大に発散する

つまり、自然数全体 N={1,2,3,・・,n,・・・}において
平均(期待値)は、 E[X] →∞に発散するのです （標準偏差も同様に →∞に発散する）

個々の元 n は 有限なのだが 上限がなく発散しているが ゆえに 平均(期待値) E[X] →∞に発散する
つまり、N={1,2,3,・・,n,・・・} から ランダム（無作為）に一つ元を選べば その期待値は →∞に発散する
一方、どの元ｎも有限
つまり、矛盾
よって、自然数全体N={1,2,3,・・,n,・・・}の ランダム(無作為)抽出は 不成立！■

(参考)
https://mathlandscape.com/unif-distrib/
mathlandscape.com
一様分布の定義と性質のわかりやすいまとめ〜離散型・連続型〜
2022.03.06
離散一様分布
定義（離散一様分布）
確率変数
X が 1,2,3,…,n 上離散一様分布 (discrete uniform distribution) に従うとは，
P(X=k)= 1/n (1≤k≤n)
となることである。
X=1,2,3,…,n となる確率が等しいということ
<一様分布の諸性質まとめ>
平均(期待値) E[X] (n+1)/2
標準偏差 1/2√{(n^2-1)/3}

>>344
>いま、簡単に Ω=N={1,2,3,・・,n,・・・} 自然数全体
>を考えよう
はい、大間違いです。
記事に「1〜100 のいずれかをランダムに選ぶ」と記述されていることから Ω={1,2,・・・,100} です。
君、言葉が通じないの？　言語障害？　病院行きなよ

>>344 補足
(引用開始)
これは、下記で 離散一様分布{1,2,3,・・,n}で n→∞ の極限を考えることに相当する
1〜nの離散一様分布では、平均(期待値) E[X] (n+1)/2 だね
ここで、n→∞とすると 平均(期待値) E[X] →∞ と 無限大に発散する
つまり、自然数全体 N={1,2,3,・・,n,・・・}において
平均(期待値)は、 E[X] →∞に発散するのです （標準偏差も同様に →∞に発散する）
(引用終り)

「平均(期待値) E[X] →∞ と 無限大に発散する」
これから直ちに言えること

1）実数の無限列が2列で AとBとある。A列の箱を開けて 決定番号da （有限値）を得たとする
　B列の箱は まだ開けていない。だから その決定番号の期待値で E[db] →∞ と 無限大に発散する
　だから 確率の議論としては、P(da<db)＝1/2 が いえない
2）別に 無限列が2列 AとBで。AB2列とも箱を開けていないとする
　この状態では、決定番号の期待値 E[da] →∞、E[db] →∞ で 両方とも発散する
　発散する量の大小を論じることはできない から
　P(da<db)＝1/2 が いえない ■　；ｐ）

やはり言葉が通じないようだ　言語障害に数学は無理

>>346
>発散する量の大小を論じることはできない から
>P(da<db)＝1/2 が いえない ■　；ｐ）
はい、大間違いです。
決定番号の定義により任意の実数列の決定番号は自然数である。
いま出題列を2列A,Bに並べ替えたとする。
A,Bの決定番号da,dbは、自然数の全順序性から da>db,da=db,da<db のいずれかひとつを満たす。
da=dbの場合、代表列を用いたカンニングは必ず成功するから勝率1。以下da≠dbとする。
da,dbのいずれかをランダム選択した方をx、他方をyと書く。このときランダムの定義より P(x<y)=1/2 が成り立つ。x<yのとき代表列を用いたカンニングは必ず成功するから勝率1/2。
結局、da,dbの大小関係がどうであっても勝率≧1/2が言える。

決定番号の定義により任意の実数列の決定番号は自然数であり、任意の自然数は有限値である。発散する量などとアホなこと言いだすアホに箱入り無数目は決して理解できない。

”くやしいのうwww”
「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ

(参考)
https://dic.nicovideo.jp/a/%E3%81%8F%E3%82%84%E3%81%97%E3%81%84%E3%81%AE%E3%81%86www
ニコニコ大百科
くやしいのうwww
元ネタは中沢氏の漫画「はだしのゲン」のセリフ。
当たり前の話だが作品発表当時「w」を使って笑いや嘲笑を表す表現はなかったので、
原作では単に「くやしいのう」　となっている。
なお、「くやしいのう」の「のう」は広島弁で「だなぁ」等の感嘆、詠嘆程度の役割で
特に深い意味はない。

https://dic.pixiv.net/a/%E3%82%B4%E3%83%BC%E3%83%9E%E3%83%8B%E3%82%BA%E3%83%A0%E5%AE%A3%E8%A8%80
ピクシブ百科事典
ゴーマニズム宣言
『ゴーマニズム』とは、『傲慢』から作られた小林氏による造語で、各回の文末には「ごーまんかましてよかですか?」というキメ台詞

https://note.com/dcrg7mgm/n/n3eeb06fd35d0
アホな同僚や相手に構うことほど、人生ムダなことはないよね。
レトリカ・ブログ （学院長 川上貴裕）
2024年11月2日

どうしようもない人（以下、アホ）に限って、「どういうメンタルしているんだ？」、「なんでこんなやつが正規で受かってるんだ！」と思うほど、平然とした顔で、のさばり続けているのですよね。

世の中、理不尽なことばかりです。
略す
上記のように嫌みをこぼす、アホな同僚が、おそらく、皆さんの周りにもいることでしょう。

でも、こんな愚かなアホのせいで、自分の心が疲弊したり、病んだり、最悪の場合、教職を諦めてしまうことになることほど、理不尽なことはありませんよね。

では、こんなアホには、どう対抗すればいいのか。

いえいえ、今日はそんな話ではないのです。

マザーテレサの名言に、
「愛の反対は、憎しみではなく、無関心です。」
という言葉があります。

まさにその通りです。
アホに対して、憎しみをもったり、エネルギーを費やしたり、感情的になったり、帰宅後も脳裏に思い出したりすることほど、人生を無駄にしていることはないのです。
略す
また、田村耕太郎さんの『頭に来てもアホとは戦うな！』という書籍も、おすすめです！ぜひ、読まれてみてください！
(引用終り)

なお、
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なカキコ

上記は、お断りです！！

>>344
>分りにくいので 補足しよう
分かってないので添削しよう

１：>いま、簡単に Ω=N={1,2,3,・・,n,・・・} 自然数全体を考えよう
２：>これは、離散一様分布{1,2,3,・・,n}で n→∞ の極限を考えることに相当する
３：>1〜nの離散一様分布では、平均(期待値) E[X] (n+1)/2
４：>ここで、n→∞とすると 平均(期待値) E[X] →∞ と 無限大に発散する
５：>つまり、自然数全体 N={1,2,3,・・,n,・・・}において
６：>平均(期待値)は、 E[X] →∞に発散する
７：>個々の元 n は 有限なのだが 上限がなく発散しているが ゆえに 平均(期待値) E[X] →∞に発散する
８：>つまり、N={1,2,3,・・,n,・・・} から ランダム（無作為）に一つ元を選べば その期待値は →∞に発散する
９：>一方、どの元ｎも有限
10：>つまり、矛盾

４、６、７、８行目と四回も繰り返した
「期待値E[X]は →∞に発散する」と
９行目で一回しか述べてない
「どの元ｎも有限」が
矛盾すると思ってるようだが・・・

誤り（笑）

つまり毎回選ばれる元が有限のｎであっても
期待値が発散することはあり得る
つまり、矛盾しない

11：＞よって、自然数全体N={1,2,3,・・,n,・・・}の ランダム(無作為)抽出は 不成立！

分布が可測でないような元の選択は不可能、といいたいようだが
具体的に何が不可能なのかね？

選択関数による尻尾同値類の代表の選択が不可能なのかね？
代表の選択ができてしまえは自動的に決定番号が決定するから
決定番号を拒否したいなら、代表の選択から拒否するしかない
つまり「選択関数など存在しえない」というしかない

別にそうしたければすればいいよ
要するに「完全な確率論はＺＦＣ上の数学としては成立しない」といえばいい
そうする？　◆yH25M02vWFhP

あほから退席、無視して、スルー。愛せないなら。

>>349
また逃げたｗ
任意の実数列の決定番号は自然数　この事実から目を背けていては箱入り無数目の理解は不可能だよ

質量と順番かも。

急いだほうが大きい重い。

サイズも血統年代で首席かしら。

比喩を言うなら表象のバイアス。

厳密な数学を純粋数学に。

偏りがなくなれば良い世界だろう。景気も。

それはガロアと相性が良い。

人生は遠い旅路。

数学的に速い行動力に良い成績。

数学者が入れ替わる。順位も変動。

箱入り無数目の確率とは「100列からランダム選択した1列の決定番号が単独最大でない確率」である。
従って「R^Nからランダム選択した1列の決定番号の期待値」なるものは箱入り無数目の確率とは何の関係無い（しかもR^Nから1列をランダム選択すること自体そもそも不可能）。
なぜこんな簡単なことが分からないのだろうか。池沼だから？

池沼に箱入り無数目の理解は無理なので諦めるべき。
そもそも池沼が数学を語ること自体間違い。

>>363
>箱入り無数目の確率とは
>「100列からランダム選択した1列の決定番号が単独最大でない確率」
>である。

そうですね
そういう計算しかしてませんから

100列は定数だから
単独最大の決定番号がない場合、100/100
単独最大の決定番号がある場合、1−1/100=99/100

>従って
>「R^Nからランダム選択した1列の決定番号の期待値」なるものは
>箱入り無数目の確率とは何の関係無い
>（しかもR^Nから1列をランダム選択すること自体そもそも不可能）。

これまたそうですね
そういう計算はしてませんからね

>なぜこんな簡単なことが分からないのだろうか。

ぶっちゃけ、
「ある一箱の中身を、他の箱の中身を見て当てられるか」
という思い込みに固執してるんでしょう

数セミの記事程度の文章を読めずに
書かれてる単語だけで勝手に思い込む人かと
そういう人に数学書は読めないし大学数学も理解できないでしょう

>ぶっちゃけ、
>「ある一箱の中身を、他の箱の中身を見て当てられるか」
>という思い込みに固執してるんでしょう
あちゃー、そりゃ酷い
箱選択こそが箱入り無数目の確率事象、そこ履き違えたら根本からダメダメですわ

時枝記事から10年
日本の確率論数学者で 時枝記事を是認する人皆無ですよ　ｗ　；ｐ）

箱入り無数目成立を公言した大学教員
　Stanford大学教授　時枝正
　Kusiel-Vorreuter大学教授　Sergiu Hart
　Baylor大学教授　Alexander Pruss

箱入り無数目不成立を公言した大学教員
　無し

誤　現代数学の系譜 雑談 ◆yH25M02vWFhP
正　現代数学のオチコボレ ◆yH25M02vWFhP

数学辞典の第5版に入るかどうかは微妙

>>370
>数学辞典の第5版に入るかどうかは微妙

ID:fkgyLEZd は、御大か
巡回ご苦労さまです

1）さて、下記の重川一郎 確率論基礎と対比してみよう
・まず、現代確率論では、下記の通り 確率変数Xtで
　添え字として、可算Z+={0,1,2,・・・} あるいは連続の [0,∞)が扱える
　いま、簡単に iid(独立同分布)を仮定する
・時枝手法により 可算無限個の確率変数Xt の列から 一つ iid(独立同分布)の反例が出来る
　即ち、例えば コイントスなら1/2,サイコロなら1/6の確率であるにも かかわらず
　可算無限個の確率変数Xt の ある一つが、確率99/100になる これは同分布に矛盾
　可算無限個の確率変数Xt の ある一つが、他の値から確率99/100で推定可能 これは独立に矛盾
・また、Xtで 連続添え字 [0,∞)の場合には、可算無限個の確率変数Xtから
　可算無限個もの列で 矛盾例が生じる
2）厳密を重んじる数学テキストでは
　重川先生は、時枝先生の論を認めるならば、テキストの書き換え要だよね
3）しかし、寡聞にして 確率論のテキストに 時枝氏の記事を取り入れた 大学確率論テキストはない！■

よって、数学辞典の第5版に 入るはずもない　；ｐ）

(参考)
https://www.math.kyoto-u.ac.jp/~ichiro/index_j.html
重川一郎
https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf
2013年度前期 確率論基礎
Ｐ7
確率空間例サイコロ投げの場合
確率空間として次のものを準備すればよい．
Ω＝{1,2,・・・,6}^N∋ω＝{ω1,ω2,・・・}
ωnは1,2,・・・,6のいずれかで，n回目に出た目を表す．
確率はη1,η2,・・・ηnを与えて
P(ω1=η1,ω2=η2,・・・ωn=ηn)＝(1/6)^n
と定めればよい．これが実際にσ-加法的に拡張できることは明らかではないが，Kolmogorovの拡張定理と呼ばれる定理により証明できる．

P47
第4章ランダム・ウォーク
単純ランダム・ウォーク
定義1.1 時間t∈T をパラメーターとして持つ確率変数の族(Xt)を確率過程という．
Tとして[0,∞), Z+={0,1,2,・・・}などがよく使われる．
[0,∞)のとき連続時間，
Z+のとき離散時間という．
定義1.2. X1,X2,・・・をiidで各分布は
略
ベルヌーイ列とする

https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B%E5%90%8C%E5%88%86%E5%B8%83
独立同分布
独立同分布に従う（英: be independent and identically distributed; IID, i.i.d., iid）とは、
2つ以上の確率変数がそれぞれ全く同じ確率分布に従っていて、
かつ互いに独立している状態のことを指す。

>>371
>1）さて、下記の重川一郎 確率論基礎と対比してみよう
それが馬鹿。
箱入り無数目は Ω={1,2,・・・,100} であって、考えてる確率空間がそもそもまったく違うから。
君、言葉が分からないの？　言語障害？　病院行きなよ

いわゆる無理筋

>>373
>いわゆる無理筋

ID:xHuchH0kは、御大か
巡回ご苦労さまです

お分かり頂けたようですね
1）時枝手法は、重川の確率論基礎の無限確率変数Xt の iid(独立同分布)と矛盾を生じる
2）当然棄却されるべきは、時枝手法ということです
3）だが、それで終わっては面白くない。なぜ、時枝手法が不成立か？
4）その詳しい説明が >>371、>>344 ＆349です

>>371
>重川一郎 確率論基礎と対比してみよう
そもそも問題を取り違えてる
こんなところで引き合いに出される
シゲカワイチロウはいい迷惑だろう

>>371
>まず、現代確率論では、確率変数Xtで
>添え字として、可算Z+={0,1,2,・・・} あるいは連続の [0,∞)が扱える

「現代確率論で無限個の確率変数が扱える」から
「箱入り無数目で無限個の確率変数として扱う」と言えるわけではない

問題を読めば、そんな扱いはしてないことがわかる
OTとかいう耄碌爺は分からんらしいが
あいつは確率論専攻じゃないから素人として無視していい（嘲）

>いま、簡単に iid(独立同分布)を仮定する
>時枝手法により…

「時枝手法」ではないがね
トキエダタダシは他人の考えたことを紹介しただけ（笑）

さて、本題にはいろうか

>>371
>可算無限個の確率変数Xt の列から 一つ iid(独立同分布)の反例が出来る
>即ち、例えば コイントスなら1/2,サイコロなら1/6の確率であるにも かかわらず
>可算無限個の確率変数Xt の ある一つが、確率99/100になる これは同分布に矛盾

これが◆yH25M02vWFhPの読み間違い
そもそも、箱入り無数目の記事のどこにも
「可算無限個の確率変数Xt の ある一つが、確率99/100になる」(A)
なんて書いてない
「回答者が選びえる100個の箱のうち99個について、代表の対応する項と一致する」(B)
と言ってるだけ

(B)は(A)と論理的同値ではない

>可算無限個の確率変数Xt の ある一つが、他の値から確率99/100で推定可能 これは独立に矛盾

これも◆yH25M02vWFhPの読み間違い
そもそも、箱入り無数目の記事のどこにも
「可算無限個の確率変数Xt の ある一つが、他の値から確率99/100で推定可能」(C)
なんて書いてない
「他の値から各列の代表が分かり、
　回答者が選びえる100個の箱のうち99個について、代表の対応する項と一致し
　100列から1列を等確率1/100で選ぶから
　回答者が選んだ列の箱が代表と一致する確率は99/100」(D)
と言ってるだけ

(D)は(C)と論理的同値ではない

>また、Xtで 連続添え字 [0,∞)の場合には、可算無限個の確率変数Xtから可算無限個もの列で 矛盾例が生じる

その矛盾は◆yH25M02vWFhPの読み間違いとの間で生じるので
記事の文章との間で生じるものではない

ザンネンデシタ

>>371
>厳密を重んじる数学テキストでは
>時枝正の論を認めるならば、
>重川一郎は、自分のテキストの書き換えが必要だよね

いいや、全然

◆yH25M02vWFhPが自分の読み間違いを改めればいい
シゲカワイチロウもトキエダタダシも無関係

>しかし、寡聞にして 確率論に 時枝氏の記事を取り入れた 大学確率論テキストはない！

そもそも箱入り無数目は確率論ではなく無限集合論に関することである
そして箱入り無数目のもとになるGabay-O’Connorの定理についてはSpringerからテキストも出てる

『The mathematics of Coordinated Inference』（Christopher S. Hardin, Alan D. Taylor）

◆yH25M02vWFhP　お前の完敗

ところで、数学辞典の第5版に多変数複素関数論はともかく、
それに関するOTの定理は出そうかい？

ふーん

>>373
>いわゆる無理筋

◆yH25M02vWFhPがね

OTがこいつを支持してるなら、同類
ま、確率論知らん素人じゃしょうがないね（笑）

>>374
>お分かり頂けたようですね

全然分からんか　述語論理も集合論も実数も位相も測度も非可測集合も分からん素人は

>箱入り無数目の手法は、確率論基礎の無限確率変数Xt の iid(独立同分布)と矛盾を生じる

矛盾は生じない
◆yH25M02vWFhPの誤読と矛盾を生じるだけ

>当然棄却されるべきは、箱入り無数目の手法ということです

いいや、棄却されるのは
◆yH25M02vWFhPの誤読

>だが、それで終わっては面白くない。

そもそも素人の読み間違いなだけなので
最初から最後まで面白くない
迷惑なだけ（笑）

>なぜ、箱入り無数目の手法が不成立か？その詳しい説明が…です

◆yH25M02vWFhPの読み間違いとは何か　正しい意味は何か
それが>>377に書かれた以下の文章である
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
そもそも、箱入り無数目の記事のどこにも
「可算無限個の確率変数Xt の ある一つが、他の値から確率99/100で推定可能」(誤読)
なんて書いてない
「他の値から各列の代表が分かり、
　回答者が選びえる100個の箱のうち99個について、代表の対応する項と一致し
　100列から1列を等確率1/100で選ぶから
　回答者が選んだ列の箱が代表と一致する確率は99/100」(正解)
と言ってるだけ

(正解)は(誤読)と論理的同値ではない

箱入り無数目を読めば、当てるべき箱を固定できないことがわかる
たとえ列を固定したところで、決定番号は固定し得ないのだから

したがって◆yH25M02vWFhPのいう
「可算無限個の箱の ある一つが、他の箱の中身から確率99/100で推定可能」
が嘘であることがわかる

>>374
下記問いにY/Nで答えよ　言葉が通じないから答えられないかい？

Q.箱入り無数目記事に「1〜100 のいずれかをランダムに選ぶ」と書かれているか？　Y/N

また答えず逃げるんだろうけど、それって「私は箱入り無数目がまったく分かってません」と白状するのと同じこと。それで良いなら逃げれば良い。

箱入り無数目で確率に言及してる箇所

「1〜100 のいずれかをランダムに選ぶ.　例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」

箱入り無数目で確率に全然言及してない箇所

「箱がたくさん，可算無限個ある.
箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，
例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.」

つまり、
１．出題者の行動は全然確率に関係してない
２．確率に関係してるのは、回答者の行動　具体的には列の選択

◆yH25M02vWFhPのやってること

Ａ．回答者の行動は回答者自身に意識されているが故に確率に全く関係ないと決めつけている
Ｂ．出題者の行動は回答者からは意識されないが故に、確率に関係していると決めつけている

要するに確率そのものを俺様解釈する誤りを犯している

>回答者の行動は回答者自身に意識されているが故に
実際には「1〜100 のいずれかをランダムに選ぶ」には回答者の意思はまったく反映されないんだけどね。反映されたら”ランダム”にならないｗ

>>384
思い込みの激しい●違いは
単語だけで脊髄反射して思い込み
自分の思い込みと異なる文章は読みとばす
だから●違いなんだがね

「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ

(参考)
https://dic.pixiv.net/a/%E3%82%B4%E3%83%BC%E3%83%9E%E3%83%8B%E3%82%BA%E3%83%A0%E5%AE%A3%E8%A8%80
ピクシブ百科事典
ゴーマニズム宣言
『ゴーマニズム』とは、『傲慢』から作られた小林氏による造語で、各回の文末には「ごーまんかましてよかですか?」というキメ台詞

https://note.com/dcrg7mgm/n/n3eeb06fd35d0
アホな同僚や相手に構うことほど、人生ムダなことはないよね。
レトリカ・ブログ （学院長 川上貴裕）
2024年11月2日

どうしようもない人（以下、アホ）に限って、「どういうメンタルしているんだ？」、「なんでこんなやつが正規で受かってるんだ！」と思うほど、平然とした顔で、のさばり続けているのですよね。

世の中、理不尽なことばかりです。
略す
上記のように嫌みをこぼす、アホな同僚が、おそらく、皆さんの周りにもいることでしょう。

でも、こんな愚かなアホのせいで、自分の心が疲弊したり、病んだり、最悪の場合、教職を諦めてしまうことになることほど、理不尽なことはありませんよね。

では、こんなアホには、どう対抗すればいいのか。

いえいえ、今日はそんな話ではないのです。

マザーテレサの名言に、
「愛の反対は、憎しみではなく、無関心です。」
という言葉があります。

まさにその通りです。
アホに対して、憎しみをもったり、エネルギーを費やしたり、感情的になったり、帰宅後も脳裏に思い出したりすることほど、人生を無駄にしていることはないのです。
略す
また、田村耕太郎さんの『頭に来てもアホとは戦うな！』という書籍も、おすすめです！ぜひ、読まれてみてください！

また逃げた

南海トラフみたいに両論併記されるか

OTは専門外では全くの素人
モンティホール問題におけるポール・エルデシュと同じ

モンティーホール問題までは
一般に認められている

グロタンディーク宇宙は「通常の数学で扱える対象の全体」を
集合全体の固有クラスではなく、集合と考えることで
圏論も集合論の中で扱えるようにする・・・方便

だから他愛のない話であって
「圏論は集合論より大きい」とか
「圏論は集合論より上」とか
そういう夜郎自大的誇大妄想話ではない（笑）

今やガロア理論ってそんな重要か？
rio2016.5ch.net/test/read.cgi/math/1759106133/

群の概念は重要

これ面白い
”まずはこのエコーがどんな波形（信号の形）になるかを詳細な物理計算によって予測し、その波形モデルを作成しました”
が、いまどきです
スーパーコンピューターを使う数値実験ですね

https://nazology.kusuguru.co.jp/archives/185815/2
nazology
観測された重力波にワームホール仮説と一致するパターンが示された (2/3)
2025.09.30
重力波がワームホール仮説と一致するパターンを示した

異常な重力波「GW190521」はワームホールを通ってきたのか？

研究チームはまず、ワームホールが実際に存在すると仮定した場合、そこからどのような重力波のエコー（残響）が届くのかを具体的に予測しました。

ここでいう「エコー」とは、谷間で叫んだときに山肌から声が反射して遅れて届くように、宇宙空間にある見えない障壁（ワームホールの両端にある壁）から反射して届く重力波の「こだま」のようなものです。

まずはこのエコーがどんな波形（信号の形）になるかを詳細な物理計算によって予測し、その波形モデルを作成しました。

次に、そのワームホール仮説で作ったモデルの波形と比較するために、従来の「ブラックホール同士の合体」という標準的なモデルでも、最新の手法を用いて改めて計算し直しました。

そうして用意した２つのモデルの波形を、2019年に実際に観測された重力波データ（GW190521）と比較して、どちらのモデルが実際の観測結果によりよく合致するのかを確かめました。

その比較の結果は、研究者たちの想像を超える興味深いものでした。

さらに重要なのは、こうした２つのモデルのどちらがデータにより強く支持されるかを評価するために、「ベイズ統計」という特別な統計手法を用いて比較したことです。

ベイズ統計では、複数の仮説やモデルのうち、どのモデルが観測データを最もよく説明できるかを定量的に判断できます。

具体的には、「対数ベイズ因子」という数値を計算し、この数値が大きければ大きいほど、そのモデルがより確かに支持されていることになります。

今回の解析で得られた対数ベイズ因子はマイナス2.9で、これは従来のブラックホール合体モデルと大きな差はありませんでした。

つまり、現段階では「ブラックホール合体説がわずかに優位」とは言えるものの、「ワームホール由来のエコー説」を否定することは全くできないという、非常に興味深い結果だったのです。

特に、今回観測された重力波が通常の「前触れ（インスパイラル）」部分が明確に見えず、非常に短くて急激な波形しか観測されなかったという特徴は、「ブラックホールが衝突後に一瞬だけワームホールが形成され、その直後に崩壊して、一回だけエコーが届いた」という仮説とうまく整合します。

実際、2023年11月に観測された新しい重力波イベント「GW231123」も、GW190521と同様に非常に短時間で信号が終わる異例のパターンを示していることが、最近の解析によってわかっています（この研究は現在も解析が進行中です）。

数学オチコボレ
物理に逃げるも物理も分からず

物理の神は単純かもしれない。原爆物理学。原爆被害加害解消力学。

救いがなさすぎるのもなあ。

物理は現実
数学は想像

これ豆な

ただし、想像だからといって
なんでもありなわけではない

無矛盾(consistent)という制限はある

これ豆な

現実は無矛盾なのか？

そんなこと聞かれても知らん（笑）

さて、高卒諸君に問題

X^2+Y^2₌C　(C>=0)
XY=D (Dは任意の実数)

とする　この2曲線の交点（有無も含めて）を
グレブナー基底を使って求めよ

グレブナー基底とは何か
グレブナー基底を求めるブッフバーガーアルゴリズムとはどんなものか

この２点が分かれば、高校レベルの数学で全部解けます

ま、頑張って（笑）

ま、あのね、もちろん力技で解けるのよ
でもさ、新しいこと勉強したいでしょ
だから、問題だしたのよ
そこんとこ理解してうえでやってみてな
結構教育的配慮してんのよ
まあ、自分がやってみてできたから
うれしくて出題してんだけどさ（笑）

広中・卜部が
参考になるかもしれない

Cox, Little, OShea "Ideals, Varieties, and Algorithms"
を読むほうが早いよ 日本語訳もあるし

さて、高卒諸君に問題

X+Y₌C(Cは任意の実数)
XY=D (Dは任意の実数)

とする　この2線の交点（有無も含めて）を求めるための二次方程式を
グレブナー基底として求めよ

うわー、もうこんな楽勝問題ねぇよ

ただし、ちゃんと説明しろよな（笑）

https://mainichi.jp/articles/20251008/k00/00m/040/335000c
きっかけは学生の一言　無用を「有用」に変えた北川進さんの研究
木許はるみ 寺町六花 吉田卓矢 毎日新聞 2025/10/8
　2025年のノーベル化学賞は、活性炭やゼオライトに代わる新たな多孔性材料を開発した京都大の北川進特別教授（74）に決まった。単なる新材料ではなく、素材の金属イオンと有機分子の組み合わせを変えることでさまざまな機能をデザインできる、無限の可能性を秘めた材料だ

思い出した言葉と転機となった出会い
　1980年代後半、近畿大助教授だった北川氏は金属イオンと有機分子などの結合を利用した結晶を研究テーマにしていた。89年のある日。大型計算機の利用を外部研究者に開放していた京大に出向き、研究データを入力し、計算が終わるのを待っていた。暇を持て余して途中までの計算結果を基に構造を予想していると、同行していた学生が指摘した
　「穴が開いていますよ」。金属有機構造体（MOF）の骨格の間にできた「空間」のことだった。
　さまざまな種類のMOFの性質や機能を解き明かそうと、当時の研究者たちは骨格の構造解析を競っていたが、「隙間（すきま）」には誰も注目していなかった。北川氏は「穴」という言葉にピンときた。49年に日本人で初めてノーベル賞を受賞した湯川秀樹博士の著書で読んだ荘子の言葉「無用の用」を思い出したのだ

「今まで無用とされてきた『空間』が大切なのではないか。新しい材料開発に持っていけるかもしれない」。そう直感し、研究の対象は定まった。ノーベル委員会も「役に立たないものでも役に立つ」と北川氏の視点を紹介した
「穴」の活用法も次第に見えてきた。大阪ガスの研究員だった関建司・大阪ガスケミカルフェロー（61）との出会いが転機となった
　90年代初め、横浜市で開かれた学会で、北川氏がMOFの穴について発表すると、関氏が声をかけてきた。「その穴にガスは入りませんか」
すぐに共同研究に同意し、北川氏がMOFを作り、関氏が専用装置でそこへのガスの吸着を試みた

常識を覆す研究成果
　当初は何度作っても骨組みが壊れ、ガスを吸着することはなかった。しかし、96年に金属のコバルトイオンと有機物のビピリジンを合成してMOFを作製すると、溶媒を抜いても壊れずに、内部の空間にメタンガスを吸着させることに成功。97年に関氏らと独化学誌に発表した
　吸着させる能力を各物質の1グラム当たりの表面積で示してみると、その差は歴然だった。ゼオライトはバスケットボールコート1面ほどの500平方メートル、活性炭はサッカーコートの3分の1ほどの2500平方メートル。MOFはその倍の5000平方メートルに及んだ。また、肺のようにガスを吸ったり吐いたりするように振る舞い、優れた材料であることを裏付けた
　北川氏が京大時代に所属した故米沢貞次郎・京大名誉教授の研究室は、81年のノーベル化学賞受賞者、故福井謙一・京大名誉教授の研究室から派生して誕生し、2019年ノーベル化学賞受賞者の吉野彰さん（77）も所属した。北川氏と学んだ吉川研一・同志社大客員教授（77）は「北川さんは（研究室のテーマだった）石油化学では普通使わない無機に注目し、自分の力で新たな学問を作り出した。誰もやらないことを評価する雰囲気が研究室にあり、北川さんや吉野さんの力がさらに発揮され、世界にない学問の誕生につながった」

>>406
無駄文コピペする暇があったら
島内剛一の「数学の基礎」でも読みな

いかにも京大らしい話

>>408
御大か
巡回ありがとうございます

経済学賞は
シュンペーターの
後継者たち

ヨーゼフ・アロイス・シュンペーター（Joseph Alois Schumpeter、1883年2月8日 - 1950年1月8日）は、オーストリア・ハンガリー帝国（後のチェコ）モラヴィア生まれの経済学者。元アメリカ経済学会会長。企業者の行う不断のイノベーション（革新）が経済を変動させるという理論を構築した。また、経済成長の創案者でもある。

イノベーションは無限に可能な訳ではないと思うぞ

経済学の前提の一つは
我々がすぐ死ぬと言うこと

>>406
君への問題

有理数全体の集合Qの部分集合族の選択関数 φ:2^Q-{}→Q,φ(x)∈x が存在することを証明せよ（もちろん選択公理は仮定しない）

φ:2^Q-{} を φ:2^Q-{{}} に訂正

ケインズ

これいいね
https://gendai.media/articles/-/158679
gendai.media
2025.10.24
#生き方
「NHKの数学講座」で奇抜な数学者が披露した「伝説の講義」…視聴率が取れない教育番組で「驚異的な視聴率」を叩き出せたワケ
秋山 仁
数学者
波乱万丈、紆余曲折…80歳を目前に破天荒な天才数学者が振り返る「人生談」！
「内定取り消し」でお先真っ暗な社会人1年目から「数学」を広めに世界5大陸を駆け回るまで「山」と「谷」に満ちた半生を送ってきた筆者が実践する、身体は老けても全身全霊で余生に向き合う「こころのありかた」とは。
“数学の伝道師”秋山 仁が語る七転八倒の体験的アドバイスが詰まった一冊『数学者に「終活」という解はない』より一部抜粋・再編集してお届けする。
『数学者に「終活」という解はない』連載第19回
『アインシュタインや吉田松陰の言葉にも表れる「論理的発想」…78歳現役数学者が人生の指針にしてきた「数学的思考法」』より続く。
軽い気持ちで引き受けたNHKの数学講座

91年の2月の終わり頃（当時44歳）、「（その年の）夏にNHK教育テレビで放送する、高校生（受験生）向けの数学講座に出演してくれないか」と、出演依頼が舞い込んできた。

「従来、NHK教育テレビでは、教科書に準拠した数学講座を放送してきたのだが、今年は少し冒険して、今までとはまったく異なる数学講座を視聴者に提供したい」とのことだった。

駿台でやってきた授業を形にして残そうと、『発見的教授法による数学シリーズ』（全7巻）を出版したが、その講義を映像という形でも残しておくことになるのだから、有り難いと思い、この話を引き受けた。

しかし、そんな軽い気持ちで引き受けたのは、未経験ゆえの暴挙だったことを後にして思い知った。

「30分の番組を30回。5月末から7月の初めまでの期間、週2日、一日2本録りのペースで進めましょう」と言われても、「まあ、それぐらいならどうにかなるだろう」と思った。
つづく
略す

>>417
諦めな

>>417
>>414はギブアップですか？　ヒント出しましょうか？

>>417
年間200の講演をこなしたのは
2003年

有理数を分母が非負の整数として既約分数n/dの形で表すことにして、
有理数だけを含んでいる集合Aに含まれる既約分数の分母のうちで
最小のものをDとする。Aに含まれる既約分数で分母がDであるものを
すべて集めた集合をA'とするとき、A'に含まれる分子の集合A''は
整数の集合の部分集合となる。そこでA''のうちで絶対値が最小のものNをとる。
もしもそのようなものが正と負の２通りがあるならば正のものを選ぶときめる。
するとAに対してその代表として一意に定まる既約分数N/Dを与えることができる。

>>421は正解です

では次の問題

可算集合Xの部分集合族の選択関数 φ:2^X-{{}}→X,φ(x)∈x が存在することを証明せよ（もちろん選択公理は仮定しない）

可算集合Xと有理数Qとの間の全単射が存在するから
それを用いればXに関する命題をQに関する命題に
読み替えて解決できる。

その通り。

そして、じゃあQは特別な存在なのか、と思えるが実際はそんなことはない。
つまり、今回Qの部分集合族の代表元を構成してもらったが、
「可算集合Xと自然数Nとの間の全単射が存在するから
それを用いればXに関する命題をNに関する命題に
読み替えて解決できる。」
が言えるので、Qが可算であることさえ言えれば代表元を構成しなくても解決できる。

これ、面白い

https://realsound.jp/book/2025/10/post-2198972.html
Real Sound｜リアルサウンド ブック
2025.10.28 17:00
数学者・加藤文元に聞く、“圏論”がさまざまな分野で注目されるワケ「人間が世界を理解するときの、最適なモデルを与えてくれる」
文・取材＝宮田翔平、写真＝はぎひさこ

圏論が必要とされた理由ーー言葉にできない構造を捉える

加藤：実は最大公約数という言葉は、わたしたちが圏論的な言葉を自然言語で持っていないので、なんとか言語化しようとしてできた産物だと、私は考えています。たとえば「この意見とこの意見の最大公約数をとりましょう」とよく言いますが、実はこれは圏論的なコンストラクション（構成）の一種なんです。

　圏論では「直積（direct product）」というコンストラクションがありますが、これを使うと、本当に最大公約数ができるんです。この二つの結果の最大公約数を取ると、こういう結果になりそうだ、といったやんわりとした話をするときと、実は全く同じことをしている。最大公約数というのは、直積という言葉で置き換えられる。現実でもこういった圏論的な言葉が使えるようになれば、より正確にモノとモノの関係を捉えられるようになります。

圏論の応用と未来ーー私たちの思考法を変える

■書誌情報
『はじめての圏論 ブンゲン先生の現代数学入門』
著者：加藤文元
価格：1,320円
発売日：2025年10月23日
出版社：講談社
レーベル：ブルーバックス

必要なのは論理ではなく霊性であるという見方もある

>>426
>必要なのは論理ではなく霊性であるという見方もある

巡回ご苦労様です
論理と霊性（下記）と
両方いるのでは？

(google検索) 岡潔 霊性
AI による概要＜AI の回答には間違いが含まれている場合があります＞

岡潔の「霊性」は、数学と仏教の深い関わりから生まれる、超越的な探求心や真実の追求を意味します。彼は数学的発見のために「欲望を滅尽し、心を限りなく透明にすることが大事」と述べ、仏教的な悟りを通してインスピレーションを得ることを重視しました。この考えは、「情緒」という言葉で彼が創り出した独自の概念にも通じており、真善美を求め、宇宙的な繋がりを意識する、深い精神性を指しています

岡潔の霊性に関する考え方
数学と悟りの繋がり:岡潔は、数学的な探求と宗教的な悟りの間に強い関連性を見出していました
「欲望を滅尽し、心を限りなく透明にすることが大事」と述べ、これによって「インスピレーション」が得られると考えました
彼は、仏教（特に山崎弁栄）に帰依した時期があり、仏教的な修養が数学的発見の源泉となることを重視していました
「情緒」という言葉:岡潔は、単なる気分や雰囲気で心を動かす「情緒」ではなく、人間の本質である「真善美を表現しようとする心」を指す言葉として「情緒」という言葉を創り出しました
この「情緒」は、意志の力や宇宙との繋がりを意味し、潜在的な力や無限の可能性を秘めているとされます

真実の探求:彼はソクラテスの言う「イデアの世界」で真実を求めていたとされており、その探求は数学という枠を超えた、より深い霊的な領域に及びます
日本文化への提言:西洋化した日本を憂い、歴史観や教育論を提言するなど、国の誇りを取り戻すための精神的な視点も示しました。これは、科学技術だけでなく、日本人が持つべき精神性への深い洞察から生まれたものです

https://www.hs-cl.com/blog/detail/id=527
医療法人千手会 ハッピースマイルクリニック
理系と霊性　『春宵十話』2016/05/11

https://www.yamazakibennei-museum.com/bennei-wakamatsu.html
山崎弁栄記念館 (若松英輔)
山崎弁栄 ―近代はなぜ「霊性」を必要としたのか―
　山崎弁栄が広く注目を集めた時期がある。数学者岡潔が山崎弁栄にふれたエッセイをたびたび書いた。岡潔は、高瀬正仁による詳細な評伝も書かれ、今日再評価されつつある「世界的な」という表現が文字通り当てはまる近代数学界の巨人である。彼は熱心な光明主義の帰依者だった。小林秀雄が岡潔の文章に触れたことが切掛けとなって実現した、二人の対談『人間の建設』はベストセラーになった。岡潔が読むことを強く勧めたのは、高弟田中木叉による山崎弁栄の評伝『日本の光』である。
　今にち、私たちが山崎弁栄の著作を読むことができるのは、田中木叉の働きによる

https://youtu.be/Mgph30H2uXs?t=1
【99％が知らない】今こそ霊性を取り戻さなければならない理由│岡潔│言霊│名言│生き方
偉人の言葉 2025/07/04
岡潔―天才数学者として知られ、人生の晩年には“霊性”という見えない力の大切さを語り続けました
この動画では、彼の言葉を通して
「霊性とは何か」「なぜ今、必要なのか」に迫っていきます

光明が見えないと査読さえできない

光明は見えたが
論理の体裁はまだ

論文タイトルに含まれている用語の定義が
arXivにあげられているだけの論文を
参照しなければわからないようになっている。

今日中に

submitした

５乗じゃなくて
５連立方程式のこと言ってんだろこのフォアガラは

連立方程式は３つまでだ
ヘイルトゥーユー
4つ目は世界改変でもしないと無いのだろう

フランスやドイツ人は４と５を間違えるのだ
ドイツ語で「4」は「vier（フィーア）」、「5」は「fünf（フュンフ）」です
フランス語では4. quatre. キャトる ; 5. cinq. サンク ; 6. six. シス ; 7. sept. セットゥ ; 8. huit. ユイットゥ.
適当な発音の奴らだ

ファイブ→サンク→フュンフと変化
またはファイブ→フュンフ→サンクだが
フランスで何かが起きたと推測する

１２３４５６７８９１０の発音があやふやな奴らの数学など全く当てにならんぞ

面白そう
https://ｎｏｔｅ.com/satoshimuc/n/nd3d98c48caaf
AIの未来を変える？「Tensor Logic」を簡単に教えてもらった
太田 智@株式会社オフィス・ムック代表取締役
2025年11月3日 21:25
AIの未来を変える？「Tensor Logic」ってなんだろう
※ Tensor Logic: The Language of AI (arXiv:2510.12269)
https://arxiv.org/abs/2510.12269
をChatGPTと対話して教えてもらいました

https://x.com/kosuke_agos/status/1984825576042217563
ポスト
Kosuke
MITが、AIの歴史を塗り替える新技術「Tensor Logic」を紹介する論文を発表しました。
「Tensor Logic」は、論理的推論を純粋な数学（テンソル代数）に変換し、AIにおける「学習」と「論理」の長年の対立に終止符を打ちます。
つまり、ニューラルネットワークが論理的に思考し、論理システムがデータから学習する、真の統合が実現します。
この衝撃的な論文を6つのポイントにまとめました。
1. 「論理」を「数学」へ変換
Tensor Logicは、論理的な命題を「ベクトル」に、推論ルールを「テンソル演算」に変換します。記号操作や探索に頼るのではなく、すべてが微分可能な数学的処理として実行されるため、ニューラルネットワークと論理推論が初めて「同じ言語」を話せるようになります。
2. AIの根本的な問題を解決
これまでのAIは、「True/False」のような離散的な論理と、ニューラルネットが得意な連続的な勾配計算が相容れませんでした。Tensor Logicは、ブール論理や述語論理さえも単一の微分可能なフレームワークに埋め込むことで、この根本的な壁を打ち破ります。

>>427
＞論理と霊性と両方いるのでは？

正真正銘の●違い、発見（嘲）

誰か論理も計算も霊性もない数学をやってみないか

中国 あなどるべからず
ですね

https://courrier.jp/news/archives/420479/
「クーリエ・ジャポン」
2025.11.7
中国のEV大国化と高速鉄道を支える「超高圧送電網」の光と影
ニューヨーク・タイムズ（米国）ニューヨーク・タイムズ（米国）
Text by Keith Bradsher
中国は9月末、2035年までに温室効果ガスを7〜10%削減することを発表した。今後10年間で、エネルギー消費に占める非化石燃料の割合を30%以上に引き上げ、風力発電と太陽光発電の設備容量を2020年比で6倍以上に増やす計画だ。

こうした方針のもと、中国では世界屈指の超高圧送電網が大陸を横断し、近隣住民の暮らしも変化する。いま、中国では何が起きているのか。「ニューヨーク・タイムズ」が取材した。

中国にはこの他に41本の送電線があり、いずれも米国のどの送電線よりも多くの電気を送ることができる。その一因は、世界最高水準の効率的な送電線を製造する中国の技術力にある。

この成果は、中国の野心的な国家エネルギー政策と、送電線沿いの住民のほとんどが反対することのない現実に支えられている。

パリ市近郊の送電線も壮観だった

日本の70年代からやってた二百万ボルト送電線技術は
今はどうなった？

これいいね

https://www.yomiuri.co.jp/science/20251111-OYT1T50021/
［ＡＩ近未来］第４部　覇権とルール＜２＞「純・中国産」世界に衝撃
2025/11/11 読売

　最先端の生成ＡＩ（人工知能）を開発した新興企業ディープシークの創業者、 梁文鋒リャンウェンフォン 氏の生家だ。観光客が多く訪れるようになったため、近くには屋台も立ち並び、同社のシンボル・クジラをあしらった帽子や特産品を売っている。観光で訪れた５０歳代女性は「彼なら米国に対抗できる」と誇らしげだ。

　地元で英雄視される梁氏はＡＩ大国の米国で学んだことも、働いたこともない。「天才少女」と有名になった 羅福莉ルオフーリー 氏を含め、１月時点の同社の開発陣約１４０人はほぼ海外で学んだ経験はないとされる。それでも低いコストで米国に匹敵する「純国産」ＡＩの開発に成功し、世界に衝撃を与えた。

　ＡＩ開発は長年、米国が圧倒的に世界をリードしているとみられてきた。だが１月にディープシークが高性能モデル「Ｒ１」を発表し、その常識を覆した。米国内では、ソ連に人工衛星の開発で出し抜かれた過去になぞらえ、「第二のスプートニク・ショックだ」との声も上がった。

　ＡＩ技術は軍事への応用も進みつつある。「米政府はＡＩが核兵器に匹敵する重要兵器になり得ると考えている。中国の台頭は米国の覇権を揺るがしかねず、危機感は相当強い」。ＡＩに詳しい米国の弁護士は話す。

　北陸先端科学技術大学院大の今井翔太客員教授は「中国系ＡＩは大学の研究者らを中心に世界的に利用が広がっており、日本でも多くの新興企業が使っている。米国系と比べて小型で性能が高く、用途に応じて改良できる点が支持されている」と指摘する。

「米国はＡＩを同盟国などへ輸出しなければならない。さもなければ、同盟国や友好国はライバル国に流れてしまうだろう」。７月２３日、トランプ政権がまとめた「ＡＩ行動計画」は、中国に対抗するため米国製ＡＩを世界に普及させる方針を打ち出した。

　そのわずか３日後、中国もＡＩを巡る行動計画を発表。「グローバル・サウス」と呼ばれる新興国・途上国のＡＩ開発を支援する必要性を強調した。両者の攻防は一段と激しさを増す。

あわせて読みたい
ＡＩ覇権争う米中、データセンター建設競う…アメリカは民間主導で砂漠に・中国は国家主導で海底に
生成ＡＩが「あなたは星３つ」評価、不満や課題…産業界で導入進むもリスク管理など模索続く
温室効果ガス排出量取引の市場統合目指し有志連合、ＥＵや中国など１０か国が参加表明…ＣＯＰ３０
温室効果ガスの排出削減量取引、国連に初報告へ…タイが削減した一部を日本の削減分に振り分け

>>443
>日本の70年代からやってた二百万ボルト送電線技術は
>今はどうなった？

ありがとうございます
検索してみました
結論は
１）日本では 実用50万ボルト
２）100万ボルト送電線 磯崎正則 東京電力 のまとめには、中国100万ボルト送電で 日本の技術が使われるとある
３）同 磯崎では、欧州では10年早く 超高圧送電開始（実用化）に言及あり
４）実際、下記”スウェーデン←→フィンランド 200万kW”が、最高か

(参考)
https://ja.wikipedia.org/wiki/%E9%9B%BB%E5%8A%9B%E7%B3%BB%E7%B5%B1
電力系統
送電系統
発電所:交流電力を発電して、各々に付随する送電設備で超超高電圧（UHV、500kV）や超高圧（EHV、220-275kV）に昇圧されて送電網に送出される。
超超高圧（超高圧）送電線:超超高圧（UHV、500kV）や超高圧（EHV、220-275kV）の電力を送電する。

日本国外の電力系統
1992年に電力自由化市場が設けられると、スウェーデン・フィンランド・デンマークが参入してノルドプールと呼ばれる電力市場が作られた。基幹系統は40万~22万ボルトで、水力発電所などが多い北部から、南部の都市部への潮流が多い傾向がある[7]。北欧各国間および周辺国へは下記のように多数の連係線が設けられている[8]。
スウェーデン←→フィンランド 200万kW
スウェーデン→ノルウェー南部 150万kW、ノルウェー南部→スウェーデン 185万kW
スウェーデン→シェラン島（デンマーク） 130万kW、シェラン島→スウェーデン 160万kW

https://www.tepco.co.jp/pg/electricity-supply/operation/line.html
東電 TEPCO Power Grid
現在、当社には主に6万6,000Vから50万Vまでの送電設備があります。このうち、27万5,000Vと50万Vの超高圧設備は、発電所からの長距離大容量送電に使用します

https://www.jstage.jst.go.jp/article/ieejpes/128/11/128_11_1300/_article/-char/ja/
https://www.jstage.jst.go.jp/article/ieejpes/128/11/128_11_1300/_pdf
電気学会論文誌Ｂ 2008 年 128 巻 11 号 p. 1300-1303
エッセイ 電力技術のイノベーション（12）
100万ボルト送電線の技術開発 磯崎正則 東京電力 技術開発研究所

https://zh.wikipedia.org/wiki/%E4%B8%AD%E5%9B%BD%E7%89%B9%E9%AB%98%E5%8E%8B%E8%BE%93%E7%94%B5
(google訳)
中国の超高圧送電
UHVとは、交流電圧レベル1000kV以上、直流電圧レベル±800kV以上のことを指します
その中には準東・安徽省南部UHV直流送電プロジェクトや蘇通GIL統合パイプラインプロジェクトなどがあります。

https://zh.wikipedia.org/wiki/%E5%87%86%E4%B8%9C%E2%80%94%E7%9A%96%E5%8D%97%E7%89%B9%E9%AB%98%E5%8E%8B%E7%9B%B4%E6%B5%81%E8%BE%93%E7%94%B5%E5%B7%A5%E7%A8%8B
準東安徽南部±1100kV超高圧直流送電プロジェクト

https://zh.wikipedia.org/wiki/%E8%8B%8F%E9%80%9AGIL%E7%BB%BC%E5%90%88%E7%AE%A1%E5%BB%8A%E5%B7%A5%E7%A8%8B
蘇通1000kV AC UHV GIL（ガス絶縁金属封入送電線）統合ユーティリティトンネルプロジェクト

ジンは精霊というわけか。幻魔でもあるから幻覚にもちょこっと関係がある。魔力と速さが高いということで自分に似ていて好きなタイプの悪魔だ。

人生モデルの魔人、デイビッド、ペイルライダー、大僧正には何にもない。

女神転生から出典。

肉体傀儡の精神の本質重視。

死狂幻調教大師S.A.D.@月と六ベンツさん
いつもありがとうございます

>>444 補足

https://baike.baidu.com/item/%E7%BD%97%E7%A6%8F%E8%8E%89/65258630
百度百科事典
羅富麗（らふり）は1995年生まれの女性で、四川省出身。北京師範大学でコンピュータサイエンスを専攻し、北京大学計算言語学研究所で計算言語学を専攻し、修士号を取得した。 [3][8]。
2022年、羅富里はDeepSeekに移籍し、 MoEの大型モデルDeepSeek-V2の開発に参加した。 [8]2024年12月、羅富里は小米の創業者である雷軍に年間数千万元の報酬で採用され、小米AIラボの大規模モデルチームのリーダーに就任したという噂がネット上で流れた[1-2]。12月31日、羅富里の高校の担任教師はレッドスターニュースに対し、羅富里はまだ小米科技に行くことを決めておらず、検討中であると語った。[9]2025年2月、記者たちは羅富里氏の親族から、羅富里氏が新しい役職に就いたことを知った。[12]

羅富麗=Lovely?

これ面白い

https://nazology.kusuguru.co.jp/archives/187813/2
質量の起源は『空間そのもの』とする新理論が発表 (2/3)
2025.11.11
7次元空間が『重さ』を生む仕組み
空間のゆがみが素粒子に質量を与えることはあるのでしょうか？

答えを得るため研究者たちは、まず見えない7次元空間の「ねじれ」がどのように変化して安定するのかを数式で描き出すことにしました。

とはいえ、実際に7次元の空間を観測することはできません。

そこで彼らは、数学という望遠鏡を使って理論上の空間の形を解析したのです。

難しい計算の連続ですが、身近なたとえで言えば、まるで「ねじれたゴムシートが、時間とともにどんな形に落ち着くか」を調べるようなものです。

最初、空間は不安定なねじれを持っていました。

ところが計算を進めていくと、そのねじれはだんだんと整っていき、ついに一つの安定した状態に落ち着くことが分かりました。

いわば、空間自身が「これが一番落ち着く形だ」と決めるように自然と安定点を見つけたのです。

そして、その安定した「ねじれ具合」を数値に置き換えると、驚くべき一致が見られました。

その値は、ヒッグス理論で扱われる重要な数値、約246ギガ電子ボルト（GeV）と同じスケールにありました。

粒子が実際に質量を獲得する際には、その粒子とヒッグス場がどれくらい強く相互作用するか（いわゆる「結合の強さ」）が重要です。

この結合の強さに「246GeV」を掛け合わせることで、各粒子固有の質量が生まれます。

つまり、粒子によって「ヒッグス場との相互作用の強さ」が異なるため、得られる質量も粒子ごとに異なります。

もちろん、これは偶然の一致ではなく、研究チームが理論内でその値を真空の基準（真空期待値）として設定した時に、モデル全体がうまく整合することを示した結果です。

この数値が空間のねじれから飛び出してきたというのは、非常に象徴的なものと言えるでしょう。

つまり、ヒッグス場という外部の特別なエネルギー場を持ち込まなくても、空間そのもののねじれ構造を用いるだけで、粒子に質量が生まれる条件が再現されたのです。

さらに解析を進め、研究チームは空間のねじれが素粒子に与える影響にも注目しました。

宇宙には、光を運ぶ「光子（フォトン）」のように質量を持たない粒子と、Wボソン・Zボソンのように重さを持つ粒子が存在します。

両者はどちらも「力を伝える粒子」ですが、なぜ片方は軽く、もう片方は重いのか――これは長年の謎でした。

ヒッグス理論では、この差はヒッグス場との相互作用の強さによって説明されます。

では今回の「ねじれ理論」では、どのように説明されるのでしょうか。

チームが導き出した式を使うと、光子の質量は確かにゼロのままでした。

一方で、WボソンとZボソンの質量を同じ式に代入すると、それぞれ79.9GeVと90.8GeVという観測値（約80GeVと91GeV）に非常に近い数字が出てきました。

これらの式の形は、標準模型のものと同じ構造でした。

高圧送電線の技術を支える重要な要素技術の1つが、陶磁器で作られた送電用の碍子である。

電気椅子

最初の実用的な電気椅子はハロルド・P・ブラウンにより発明された。
ブラウンはトーマス・エジソンに感電死研究と電気椅子開発のために雇われて働き始め、
ウェスティングハウス・エレクトリック社の交流を用いて設計した。
当時エジソンはニコラ・テスラの技術を擁するウェスティングハウスと後に
電流戦争と呼ばれる熾烈なシェア争いを行っていたが、
エジソンが開発していた直流送電はウェスティングハウスの交流送電に比較して
送電距離が劣っていたことから劣勢となっており、交流の危険性を訴える
ネガティブ・キャンペーンとして、交流を用いる電気椅子を企画した。

ホイヨ
https://youtu.be/ispHaW-UyBE?t=1
【ほぼハンバーグで数学「圏論」を語ります】数学者・加藤文元／関係性に注目し必要な物事を浮かび上がらせる／「部署と社長の間に調整役が必要だ」／マスターしたらカルボナーラの作り方を数式で描ける【1on1】
TBS CROSS DIG with Bloomberg
2025/10/23
「最中とマカロン」と「手巻き寿司とクレープ」の関係性は似ている。こうした“関係の関係”や“関係の関係の関係”を記述するのが数学「圏論（けんろん）」です。
一見、難解な数学「圏論」が、いま数学界を飛び出し、私たちの日常やビジネスの「見る目」を強化するツールとして注目されています。
数学者の加藤文元さんが「圏論とは何か？」という根本から、「関係の関係の関係」を語る言葉までを、ファミリーレストランのハンバーグメニューや、会社の組織図といった身近な例えで徹底解説。ほぼハンバーグで圏論を語ります。

＜書籍＞　
『はじめての圏論　ブンゲン先生の現代数学入門 (ブルーバックス)』加藤文元／講談社
https://amzn.to/3WP6WTr
『〈現実〉とは何か』西郷 甲矢人,田口 茂／筑摩書房
https://amzn.to/4o12w7Q
※URLはAmazonアソシエイトを利用しています

＜出演＞
▼加藤文元
数学者　ZEN大学教授
1968年、宮城県生まれ。東京工業大学(現・東京科学大学)名誉教授、株式会社SCIENTA・NOVA代表取締役、ZEN数学センター(ZMC)所長、NPO法人数理の翼顧問。
1997年1月に京都大学で博士（理学）を取得し、九州大学助手、京都大学准教授、熊本大学教授、東京工業大学教授を歴任。専門は代数幾何学および数論幾何学、特にリジッド幾何学（非アルキメデス的幾何学）で、長年に渡りその基礎付けの仕事に携わる。数学史や数学者の思想・生涯、さらには数学の考え方などを題材とした一般の読者向けの数学の啓蒙書も多数出版。趣味はピアノと合唱で、京大の学生時代にはプロの指揮者に師事して斎藤流の指揮法を学んでいたほどの音楽好き。

▼鈴木有
TBS CROSS DIG with Bloomberg サイエンスエディター
物理学科出身。前職はNHKで初任地は鹿児島。記者として、宇宙、基礎科学、文化、ITなどを幅広く取材。2025年7月にTBSテレビ入社、TBS CROSS DIG with Bloombergに加わる。
科学の専門家を招いた番組「1on1」や「ULTRA SCIENCE」、医療の「1on1 Health」、教育系シリーズ「まないく」を主に担当。4児の父。
Xアカウント @aru4649

コメント
@arusism
3 週間前
聴き手を務めた鈴木有です。「圏論」を初めて見たとき、これが数学？と驚きました。本格的な圏論はとても難しいのだろうなと思いつつも、加藤先生にお話をお伺いしたことで圏論の“考え方”は知ることができ、物事の構造的な部分を見る新たな視点を得られたと感じました。

@fdjalksfjawe4258
2 週間前
圏論や代数幾何学を本格的に学ぶには ravi vakil の the rising sea がすごくわかりやすいです。
英語ですが無料でPDF読めます。

the rising seaを読みながら
就職のために
複素解析の論文を書いている中国人ポスドクを
知っている

論文は今月arXivに上がった

エッセイ
100万ボルト送電線の技術開発
上級会員 磯崎 正則
https://www.jstage.jst.go.jp/article/ieejpes/128/11/128_11_1300/_pdf

＃この技術（100万ボルト送電）に成功して、次は200万ボルトだと
いってたしかNHKの教育TV（当時）、で技術開発の解説番組が
あったと思うが、200万ボルトは結局実用化されていないのか？
送電線の電気抵抗による送電ロスを減らすためには電圧を超高圧に
すればいいが、他のアプローチは超伝導送電技術を使うことだろう。
しかし、落雷などあってケーブルが高温になったら、そこから
超伝導状態が破れて線が焼き切れたりせんかな。

設定が変わったな。若い人が多いんだろう。まあ前向きに捉えてみる。余りやり残したことはないが実務や実践ができる板にいくよ。たまには来るかも。

固定ハンドルしか映らないのでな。雲隠れかな。

長い間わがままに付き合ってくれてみんなありがとう。新大学院や研究所に帰るわ。

こっちのほうが目的が遂行されてサクサク進むかもな。

傷つけ合いも程々にというわけだ。

余りこれ以外意味ないかもしんないしな。経済学の方に行ってくる。

数学に貢献できていたらそれで良かったことだ。図書館教授で学び教え続けてみます。

転機だなあ。では。

１０℃
晴れ
天気だなあ

１４℃
晴れのちくもり

>>469-470
御大か
巡回および お天気日誌ありがとうございます

>>463-468
>長い間わがままに付き合ってくれてみんなありがとう。新大学院や研究所に帰るわ。
>余りこれ以外意味ないかもしんないしな。経済学の方に行ってくる。
>数学に貢献できていたらそれで良かったことだ。図書館教授で学び教え続けてみます。
>転機だなあ。では。

死狂幻調教大師S.A.D.@月と六ベンツ さん
ご苦労さまです
へー
まあ、気が向いたら
いつでも 来て下さい
歓迎しま〜す！　＼ (＾＾

>>460
(引用開始)
＃この技術（100万ボルト送電）に成功して、次は200万ボルトだと
いってたしかNHKの教育TV（当時）、で技術開発の解説番組が
あったと思うが、200万ボルトは結局実用化されていないのか？
送電線の電気抵抗による送電ロスを減らすためには電圧を超高圧に
すればいいが、他のアプローチは超伝導送電技術を使うことだろう。
しかし、落雷などあってケーブルが高温になったら、そこから
超伝導状態が破れて線が焼き切れたりせんかな。
(引用終り)

ありがとうございます

１）”北欧各国間および周辺国へは下記のように多数の連係線が設けられている[8]。
　スウェーデン←→フィンランド 200万kW
　スウェーデン→ノルウェー南部 150万kW、ノルウェー南部→スウェーデン 185万kW”
　>>445 https://ja.wikipedia.org/wiki/%E9%9B%BB%E5%8A%9B%E7%B3%BB%E7%B5%B1
　なので、北欧の人の少ない（人口密度低い）地域では 実用化されているようですが・・
　欧州で 人口密度の高い国は まだまだかも
２）落雷の話で、下記 片山由紀子氏 カミナリのギネス ご紹介
３）”送電ケーブル用絶縁材料の歴史と最近の動向 関口 洋逸”が ヒットしたので 貼ります（下記）
４）昔、液体窒素温度以上での”高温超伝導”の送電 夢物語を聞いたことがあります（実用化はまだ）

(参考)
https://news.yahoo.co.jp/expert/articles/1ae6785b5e1c7e1674a6b4d4910b0f9f86f63f2d
世界の雷、日本の雷
片山由紀子
気象予報士/ウェザーマップ所属
2016/10/15
史上初、雷の世界一
世界気象機関（WMO)の専門委員会は先月16日、雷の世界一を発表しました。
世界最長の稲妻は2007年6月20日、米オクラホマ州で発生した長さ321キロです。通常、ひとつの雷雲は高さ15キロくらい、幅数10キロ程度で、雷が雲の上部から地上まで落ちたとしても、せいぜい10キロくらいでしょう。米オクラホマ州の雷はとてつもないサイズだったことが分かります。
もうひとつは稲妻の持続時間の世界一で2012年8月30日、フランス南部プロヴァンスーアルプーコートダジュールで観測された7.74秒です。
これまで気温、風速、降水量などの世界記録はありましたが、雷はなく今回が初めてです。日本では雷の評価や認定はされておらず、非常に珍しいといえるでしょう。

https://www.jstage.jst.go.jp/article/ieejfms/139/9/139_400/_pdf/-char/ja
2019 電気学会論文誌A
送電ケーブル用絶縁材料の歴史と最近の動向 関口 洋逸
雷インパルス耐性が高いという特長を持ち，次第に鉱油か. ら置き換わっていった(11)。 (2) 半合成紙の採用 OF ケーブルの高電圧化が進む. に従い，送電損失の低減や絶縁 ...