[過去ﾛｸﾞ] Inter-universal geometryとABC予想(シン応援スレ) 89 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
453: 04/06(月)17:41 ID:KXCttNk+(2/4) AAS
” Finally, we discuss in detail, as a sort of case study, the reorganization into suitable blackboxes, from a Lean formalization-oriented point of view, of the logic of the final portion “3.11⇒3.12” of the third paper on IUT, since it is this portion of IUT that has received the most public attention. The skeletal Lean code that we wrote for this portion of IUT constituted a remarkably successful case of the use of Lean as a communication tool. ”
remarkably successful case of the use of Lean
454: 04/06(月)18:00 ID:F/SFnIZj(7/8) AAS
>suitable blackboxes
blackboxes:証明できない前提 ギャップの別名
suitable:ただの負け惜しみ
455: 04/06(月)18:02 ID:1jHXk/fb(1/2) AAS
LEANがクソなので改造します的なこと言い出したら爆笑する
456: 04/06(月)18:03 ID:1jHXk/fb(2/2) AAS
ZFCじゃないからいいんです的な逃げとか
457: 04/06(月)18:24 ID:KXCttNk+(3/4) AAS
モッチー大勝利
458(2): 04/06(月)19:02 ID:F/SFnIZj(8/8) AAS
AI曰く
Th3.11のステートメントからCor3.12が証明できたが
肝心のTh3.11の証明が頓挫してるらしい
459: 04/06(月)19:08 ID:s7vb23ls(17/18) AAS
blackboxes 怪しさ満点で草
460: 04/06(月)19:45 ID:6Kq/d6U5(1/5) AAS
>>458
ゴミを別のセクションにずらして
ショルツには勝った！みたいなこと言っちゃうんかなあ？
461: 04/06(月)19:48 ID:6Kq/d6U5(2/5) AAS
>>450
ドワンゴの天才演出が仇になって身動き取れなくなってる印象
462: 04/06(月)20:04 ID:6Kq/d6U5(3/5) AAS
ブラックボックスでオリエント工業しちゃったんか
他のワークショップはガチでフェルマーやってんのに
463: 04/06(月)20:08 ID:6Kq/d6U5(4/5) AAS
後ろ盾が消えてケツに火がついたか
大英笹川財団議長 ロバート・マクスウェル
464: 04/06(月)20:09 ID:6Kq/d6U5(5/5) AAS
コミュニケーションだからああいいんですううみたいな？
465: 04/06(月)20:19 ID:KXCttNk+(4/4) AAS
IUT（宇宙際タイヒミューラー）理論のコンピューターによる検証を目指すZEN数学センターの新プロジェクト「LANA」を発表
世界3大学による国際共同研究として始動
学校法人日本財団ドワンゴ学園
2026年3月31日 14時00分
466: 04/06(月)22:17 ID:uNuhBh7s(11/12) AAS
>>458
AIは眉唾で
467(3): 04/06(月)22:27 ID:hxG+pq2I(4/5) AAS
>>432 補足
(引用開始)
n1,n2は定数だけれども
確率的には、ちょっとあれだね
つまり、本質的に発散している量であって
例えばそれらの平均値や標準偏差が、発散している
そうではなく n1,n2→∞ としているから
平均値、標準偏差→∞となる
これが、マンガの「このn1,n2は確率変数になっていないから」の意味
この本質は、列の選び方とは無関係だね
省18
468: 04/06(月)22:53 ID:s7vb23ls(18/18) AAS
>>467
>このn1,n2の大小の確率を考えていることがおかしい
>>439 君、字が読めない？ 小学校からやり直し
469(2): 04/06(月)23:36 ID:hxG+pq2I(5/5) AAS
>>467
(引用開始)
例えばそれらの平均値や標準偏差が、発散している
平均値、標準偏差→∞となる
本質的に発散している ゆえに 確率変数になっていない量のn1,n2で
このn1,n2の大小の確率を考えていることがおかしい
あたかも”ランダムに選んだ自然数のどちらが大きいか？”
と同じ
それは意味が無いってことだ
これは、”第76話 札付きの定理”であれ
省24
470(1): 04/06(月)23:47 ID:uNuhBh7s(12/12) AAS
箱入り無数目で言っていないことを拡大解釈してそれはダメだと叩くのは正しくストローマン論法ですね
471: 04/07(火)00:08 ID:jcor7xMj(1/7) AAS
おサルはいつもその手口だよ
いない敵を作って勝ち誇る
言ってないことを捏造してダメ出しする
472: 04/07(火)00:14 ID:jcor7xMj(2/7) AAS
サルは強いマウント欲求が満たされなくて架空のマウント相手をでっち上げる これはもう病気
473: 04/07(火)05:53 ID:qvxk9sdR(1/3) AAS
>>467
>本質的に発散している ゆえに
>確率変数になっていない量のn1,n2で
>このn1,n2の大小の確率を
>考えていることがおかしい
>あたかも
>”ランダムに選んだ自然数のどちらが大きいか？”
>と同じ
>それは意味が無いってことだ
>これは、
省19
474: 04/07(火)06:03 ID:qvxk9sdR(2/3) AAS
>>469
>いや、わかるよ
>n1<n2 、n1=n2、n1>n2
>の３つに場合分けできるみたいな話ね
なぜ、場合分けでいいか、分かってますか？
出題が確率変数ではなく定数だからですよ
>でも、それは 自然数N全体でなく
>ある有限のMを上限と決めて
>M以下の自然数内での
>n1<n2 、n1=n2、n1>n2
省17
475(1): 04/07(火)06:08 ID:qvxk9sdR(3/3) AAS
>>470
おさらい
１．”第76話 札付きの定理”は、”箱入り無数目”とは別の問題
２．”第76話 札付きの定理”では勝率は求まらない 勝率1/6も導けない
３．”箱入り無数目”では勝率が求まる(n（≧2）列の場合 1-1/n)
これで箱入り無数目は終了
476(1): 04/07(火)07:26 ID:Bs1tSNJq(1/2) AAS
これはエラいこと
” Finally, we discuss in detail, as a sort of case study, the reorganization into suitable blackboxes, from a Lean formalization-oriented point of view, of the logic of the final portion “3.11⇒3.12” of the third paper on IUT, since it is this portion of IUT that has received the most public attention. The skeletal Lean code that we wrote for this portion of IUT constituted a remarkably successful case of the use of Lean as a communication tool. ”
remarkably successful case of the use of Lean
477(2): 04/07(火)09:16 ID:jcor7xMj(3/7) AAS
as a communication tool
478(1): 04/07(火)09:19 ID:4y4GADNM(1/2) AAS
>>477
そこ重要ですよね
479(1): 04/07(火)09:37 ID:jcor7xMj(4/7) AAS
- a remarkably successful case of the use of Lean (not as a proof assistant tool but) as a communication tool -
Now what would he like to represent by using the expression "as a communication tool"?
480(1): 04/07(火)15:08 ID:/Gl8C+Fs(1/2) AAS
>>476-479
ホイヨ
外部ﾘﾝｸ:xtech.nikkei.com
AIがもたらす「数学」の転換点 第1回
AIが数学の未解決問題を相次いで解決、証明の鍵は「形式化」
久富 早織 日経クロステック/日経コンピュータ記者 2026.04.06
AI（人工知能）が数学界でも注目を集めている
AIの能力や影響を研究する非営利機関のEpoch AI（エポックAI）は2026年3月5日、米OpenAI（オープンAI）のGPT-5.4 Proが「ディオファントス方程式」において有限性問題の一部を解いたと公表した
今回の証明は「正しい」ものとして、発表直後から名だたる数学者からの称賛が相次いだ。なぜこうした反応が起きたのか。背景にあるのが、今の数学界を変える可能性がある「証明の形式化」だ。ZEN数学センターの所長を務める、ZEN大学の加藤文元教授に話を聞いた
「疑う余地なし」とされた鍵は「形式化」
省9
481(7): 04/07(火)15:29 ID:/Gl8C+Fs(2/2) AAS
>>475
(引用開始)
１．”第76話 札付きの定理”は、”箱入り無数目”とは別の問題
２．”第76話 札付きの定理”では勝率は求まらない 勝率1/6も導けない
３．”箱入り無数目”では勝率が求まる(n（≧2）列の場合 1-1/n)
(引用終り)
１．”第76話 札付きの定理”は、”箱入り無数目”の一つの類型にすぎない
”箱入り無数目”では、下記の通り
「もちろんでたらめだって構わない」は、ランダムを表現している
さらに 後半において
省23
482: 04/07(火)16:07 ID:JeQLCzda(1) AAS
全く理解してないことがよくわかる駄文
483: 04/07(火)16:23 ID:k9cigG7D(1) AAS
>>481
>”第76話 札付きの定理”は、”箱入り無数目”の一つの類型にすぎない
列のランダム選択を否定してる点で、一つの類型ではなくなった
>”箱入り無数目”「もちろんでたらめだって構わない」は、ランダムを表現している
それは誤解
>さらに 後半において
>「Rより一般に，勝手な集合Sの元の無限列S^Nを使った構成も異曲同工.
>特に，{O，l}^Nを使ってシュレーディンガーの猫みたいなお話が紡げる」
>とあるよ。{O，l}^Nは、コイントス{O，l}の無限列であり、また「勝手な集合Sの元の無限列S^N」も可だ
勝手な集合でOKなら、Sの分布は全く考えてないという証明になる
省9
484: 04/07(火)16:30 ID:4/cyjfAx(1) AAS
>>481
＞『”第76話 札付きの定理”では勝率は求まらない 勝率1/6も導けない』は同意
理解できてよかったね
＞『”箱入り無数目”では勝率が求まる(n（≧2）列の場合 1-1/n)』
＞『”第76話 札付きの定理”では勝率は求まらない 勝率1/6も導けない』より
＞これが、”箱入り無数目”の反例を構成している
否
”箱入り無数目”では、回答者の「列のランダム選択」から確率が求まる
”札付きの定理”では、必ず最後の列を選ぶ つまりランダム選択が禁止されている
その代わり、各壺でランダムにサイコロを振り、壺同士は独立である、という仮定を置いている
省7
485: 04/07(火)16:52 ID:jcor7xMj(5/7) AAS
>>481
サル、相変わらずヒト語通じなくて草
だから言ってるだろ？ ヒト語の学習が先、数学は100年早いと
486: 04/07(火)16:56 ID:jcor7xMj(6/7) AAS
時枝正「確率Aは○○です」
サル「確率Bは△△だから反例です」
時枝正「・・・（このサル、ヒト語通じて無くて草）」
487: 04/07(火)17:13 ID:jcor7xMj(7/7) AAS
まったく別の確率A,BについてBがどうであろうとAの反例になり様が無い。
この超自明な理屈が分らないオチコボレに数学は無理なので諦めよう。
488: 04/07(火)19:47 ID:sGoNf22t(1) AAS
XみたらもうIUTTとmathjinくらいしかいなくて
どっちもキチガイ扱いされてんの笑う
489: 04/07(火)19:56 ID:Bs1tSNJq(2/2) AAS
jin は統合失調症
490: 04/07(火)19:58 ID:4y4GADNM(2/2) AAS
>>480
>ホイヨ
ハ？
491(6): 04/08(水)00:22 ID:z2njgwRW(1/2) AAS
>>481 補足
>上記２項より、『”第76話 札付きの定理”では勝率は求まらない 勝率1/6も導けない』
確率論素人には難しいらしいな
>>394 より再録
外部ﾘﾝｸ:imgur.com
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 5 P64 251220.jpg
外部ﾘﾝｸ:imgur.com
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 6 P66 251220.jpg
ここで 上記5のページでは「n1,n2は確率変数になっていない」
「どちらかが大きくなる確率を求めるのは成り立たない」
省40
492: 04/08(水)00:45 ID:zHikLm+A(1/12) AAS
（全く理解していない）
493: 04/08(水)00:47 ID:6Td7DQgv(1/21) AAS
まーたヒト語の通じぬサルがキーキー吠えてらあ
時枝正「確率Aは○○です」
サル「確率Bは△△だから反例です」
時枝正「・・・（このサル、ヒト語通じて無くて草）」
494: 04/08(水)00:50 ID:6Td7DQgv(2/21) AAS
いいからサルは>>439が読めるようになるまで黙ってろ キーキーうるさい
495: 04/08(水)01:16 ID:zHikLm+A(2/12) AAS
箱入り無数目は無限数列だから意味のある話なんだと理解してないのが丸わかりになった書き込みでしたね
496: 04/08(水)01:17 ID:zHikLm+A(3/12) AAS
改変して全く別のものにダメ出しするといういつものストローマンでした
497: 04/08(水)07:12 ID:zHikLm+A(4/12) AAS
s1=(0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9,…)の同値類の代表元が
r1=(0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,…)
s2=(9,8,7,6,5,4,3,2,1,0,9,8,7,6,5,4,3,2,1,0,…)の同値類の代表元が
r2=(0,0,0,0,0,0,0,0,0,0,9,8,7,6,5,4,3,2,1,0,…)
だとして
決定番号はn1=11,n2=10
s1を選べばs2の12番以降を開けて
s2の11番目が9と当てられるけど
s2を選べばs1の11番以降を開けて
s1の10番目が0と外すので
省1
498(2): 04/08(水)07:23 ID:zHikLm+A(5/12) AAS
s1=(0,1,2,3)の同値類は(x,y,z,3)でいいのかね？そういう同値類は箱入り無数目とまったく違う定義だけど多分これを想定しているんだろう
r1=(0,0,0,3)
s2=(9,8,7,6)
r2=(0,0,0,6)
だとして
s1,s2の決定番号はn1=n2=4
s1を選ぶとs2の5番以降を・・・・開けられない
s2を選ぶとs1の5番以降を・・・・開けられない
有限数列だと箱入り無数目のような戦略はそもそも無理なのに
有限ならどの数列も1／10000の同様に確からしい確率で選べるからと
省1
499: 04/08(水)07:26 ID:zHikLm+A(6/12) AAS
（本当に何も理解していなかった）
500: 04/08(水)10:30 ID:6Td7DQgv(3/21) AAS
>>498
君、バカ？
可算無限個の箱をどうやって有限個×有限個にすんの？ 頭大丈夫？
501: 04/08(水)10:31 ID:6Td7DQgv(4/21) AAS
ああ>>498はバカの思考の解説か 失礼しました
502: 04/08(水)11:24 ID:SLil0olt(1/3) AAS
天才の思考は解説できない
503: 04/08(水)11:58 ID:6Td7DQgv(5/21) AAS
じゃ君の思考は解説できるね
504: 04/08(水)12:01 ID:6Td7DQgv(6/21) AAS
解説してみて
505: 04/08(水)12:16 ID:2QoBRi4D(1/2) AAS
Programme Schedule
The preliminary schedule of the workshop is:
April 9th 2026
08:00-09:00 Chelsea Edmonds: A Proof Engineering Perspective on Formalising Combinatorics in Isabelle/HOL
09:15-10:15 Yang-Hui He: The AI Mathematician
10:45-11:45 Shinichi Mochizuki: On the Formalization of IUT: a preliminary progress report
省1
506(1): 04/08(水)12:23 ID:SLil0olt(2/3) AAS
>じゃ君の思考は解説できるね
論理的な流れを優先すれば
それが天才の思考でないといいことはわかる
507: 04/08(水)12:24 ID:SLil0olt(3/3) AAS
訂正
いいことーー＞いうこと
508(5): 04/08(水)14:06 ID:koSGZ/M/(1/7) AAS
>>506
>論理的な流れを優先すれば
>それが天才の思考でないということはわかる
御大か
巡回ありがとうございます
天才の思考ではなく
論理的な流れの解説をば下記に
まず 図解を
外部ﾘﾝｸ:imgur.com
この図解のコメント部を コピー貼り付けすると
省28
509: 04/08(水)14:29 ID:6Td7DQgv(7/21) AAS
>>508
ヒト語の通じないサルがまたキーキーとうるさいですね
>自然数n1,n2で、もし大きいが有限M以下の範囲から ランダムに二つの数を選ぶとき
箱入り無数目でランダムに選ぶのはk。n1,n2は定数。
これは著者が決めた定義（の一部）であるから反論できない。定義に反論するのはバカ。
サルはヒト語の学習終えるまで黙ってろ。キーキーうるさい。
510(1): 04/08(水)14:38 ID:6Td7DQgv(8/21) AAS
箱入り無数目の確率は P(n1≧n2) ではなく P(m1≧m2)。ただしm1とは n1,n2 のいずれかをランダム選択した方、m2は他方。
n1,n2 は定数なので P(n1≧n2)=1 または P(n1≧n2)=0。
一方 m1,m2 の定義から P(m1≧m2)≧1/2。
サルはこんな簡単なことを10年以上かかっても理解できない。ヒト語が分からないから当然か。だからヒト語の学習が先、数学は100年早いと言ってるだろ？
511(1): 04/08(水)14:44 ID:ngpnhTO5(1) AAS
>>510
10年前からなんですか
確率事象が何か
分かってないままだとは
512(7): 04/08(水)15:05 ID:koSGZ/M/(2/7) AAS
>>508 追加
(参考) >>394より
外部ﾘﾝｸ:imgur.com
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 3 P60 251220.jpg
より
P61
「その方法はこうだ」
「まず２列に並べる」
「次にサイコロの目の並び {1,2,3,4,5,6}^Nに」
「有限個の違いを無視する同値関係を入れる」
省28
513: 04/08(水)15:09 ID:koSGZ/M/(3/7) AAS
>>512 タイポ訂正
”閃絡公理により可能”」
↓
”選択公理により可能”」
514: 04/08(水)15:14 ID:6Td7DQgv(9/21) AAS
>>512
>対称性から n1<n2 となる確率は 1/2以下
大間違い。そんな対称性は無い。無い事実を仮定したらダメ。
>「ランダムに選んだ自然数のどちらかが大きいか？」みたいな話になる
自然数全体から選ぶのが大間違い。{n1,n2}から選ぶ。選ばれた方をm1、他方をm2と書けばランダムの定義から P(m1≧m2)≧1/2 が言える。
勝手に自然数全体にすり替えて勝手に不成立と喚いてもバカと罵られるだけ。
515: 04/08(水)15:21 ID:6Td7DQgv(10/21) AAS
>>512
>さすがは、プロ数学者です
>よって、結論も信用できそう （＾＾
君はモンティホール問題も知らんのか？ 無教養だね
正しかったのはコラムニストのマリリンで、間違ってたのは著名な数学者ポール・エルデシュをはじめ数千人の博士号保持者
516(1): 04/08(水)15:24 ID:koSGZ/M/(4/7) AAS
京都大学の数学者がだれか 情報とネタを提供していることはあきらかだ
”「確率変数になっていないから」と一度述べて
その直後に「ランダムに選んだ自然数のどちらかが大きいか？」
みたいな話になると 閉める”
さすがです
517: 04/08(水)15:33 ID:6Td7DQgv(11/21) AAS
>>511
そうだよ サルはヒト語が通じないから仕方ない
518: 04/08(水)15:40 ID:sdBpjIZ8(1/6) AAS
>>508
>外部ﾘﾝｸ:imgur.com
>自然数n1,n2で、もし大きいが有限M以下の範囲から ランダムに二つの数を選ぶとき
>有限M以下の範囲では、格子点は正方形の領域でM^2で
>n1＝n2 はM個で、n2>n1 及びn2>n1 は 三角形領域で それぞれ (M^2-M)/2=M(M-1)/2
>M^2で割ると (1-1/M)/2を得る。Mが十分大きいと 1/2に近づく。
>一方、自然数n1,n2を自然数N全体から選ぶときは、ランダムとすると不定形になる
>即ち、上記でM→∞ を考えることになり、下記の不定形を生じる
>つまり、有限なら 正方形の領域でM^2に対し、三角形のほぼ半分を考えれば良いが
>無限では 数学では有名な不定形を成すので まずい
省9
519: 04/08(水)15:45 ID:sdBpjIZ8(2/6) AAS
>>512
>「対称性から n1<n2 となる確率は 1/2以下」
ここが箱入り無数目と完全に異なる
札付きの定理では、必ず第２列を選ぶ
しかも各壺のサイコロの目の確率は1/6で、各壺は独立、と
箱入り無数目では一切述べていない設定をわざわざ書いている
したがって、札付きの定理と箱入り無数目は
何が確率変数かが全く異なっている別問題である
札付きの定理が完全否定されることは自明であるが
そうしたところで箱入り無数目は全く否定されない
省1
520(1): 04/08(水)15:47 ID:6Td7DQgv(12/21) AAS
AIに聞いてみたら
-----
「箱の中身の並び」の集合には、通常の意味での確率（可算加法性を持つ測度）を定義することができませんが、時枝氏の議論において、「箱の中身がどのような分布で入っているか」という前提は一切必要ありません。
「数学的に別の問題（無限列の測度論）」を持ち出す側は、おそらく「そんなうまい話があるはずがない」という直感的な抵抗から、問題の土俵を「戦略の正否」ではなく「空間の不可能性」にずらして解釈しようとしているのだと考えられます。
-----
だとさ。
問題の土俵をずらす、つまり論点のすり替え、まさにストローマン論法ですなｗ
521: 04/08(水)15:49 ID:sdBpjIZ8(3/6) AAS
>>516
誰が監修していても構わないが
”札付きの定理”は、”箱入り無数目”とは
全く異なる問題なので
前者を否定しても後者はまったく否定されない
箱入り無数目では、箱の中身の確率分布について全く述べていない 確率現象ではないから
箱入り無数目では、列の選択がランダムだと述べている それだけが唯一の確率現象だから
箱入り無数目の確率計算は全く初等的であるので、マンガのネタにならない
当然だろう、実は手品だから
残念でした
522: 04/08(水)15:51 ID:6Td7DQgv(13/21) AAS
AIは賢いから「数学セミナーに掲載された箱入り無数目」で話が通じる。
ヒト語の通じないサルとは大違いｗ
523: 04/08(水)15:55 ID:sdBpjIZ8(4/6) AAS
箱入り無数目
＞箱がたくさん，可算無限個ある.
＞箱それぞれに，私が実数を入れる.
＞どんな実数を入れるかはまったく自由，
＞もちろんでたらめだって構わない.
実はここでは箱の中身の分布について全く述べていない
でたらめ＝ランダム分布と読むのも誤読
単に、規則性のない数列をいれてもよい、という意味
どんな数列であれ、確率変数ではなく、ただの初期条件の定数
ここが第一のトラップ
524: 04/08(水)15:58 ID:6Td7DQgv(14/21) AAS
>でたらめ＝ランダム分布と読むのも誤読
だね
時枝氏は慎重に「でたらめ」と「ランダム」を使い分けている
粗雑な思考しかできないサルは間違える
525: 04/08(水)15:59 ID:sdBpjIZ8(5/6) AAS
箱入り無数目
＞さて， 1〜100 のいずれかをランダムに選ぶ.
＞例えばkが選ばれたとせよ.
＞s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
ここで
「さて、１００番目の列s^100を選ぶとせよ
s^100の決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」
としたら、アウト
他の列の決定番号どれよりも大きい決定番号を持つ列も定数
それがs^100なら、必ず当たるし、s^100以外の列なら、必ず外れる
省2
526: 04/08(水)16:06 ID:sdBpjIZ8(6/6) AAS
面白いのは、時枝正は、前半では正しく”箱入り無数目”を書いているのに
後半では、似非”箱入り無数目”の勘違いに基づく話を延々と書いてる点
非可測とか独立性とか完全にトラップにハマってる
彼は残念ながら箱入り無数目の確率計算の意味を正しく理解してなかったようだ
てじなーにゃ（笑）
527: 04/08(水)17:58 ID:koSGZ/M/(5/7) AAS
>>508 自己タイポ赤ペン
このときは、n2>n1 又は n2>n1は 作為が入り 通常の確率としては扱えない！
↓
このときは、n2>n1 又は n2<n1は 作為が入り 通常の確率としては扱えない！
（画像中も同じ赤ペンな）
>>514-526
きみたち
口先で誤魔化している
詰んだなｗ （＾＾
528(1): 04/08(水)18:01 ID:6Td7DQgv(15/21) AAS
ヒト語を解さないサルがもともと詰んでる
529(1): 04/08(水)18:08 ID:koSGZ/M/(6/7) AAS
>>520
(引用開始)
AIに聞いてみたら
-----
「箱の中身の並び」の集合には、通常の意味での確率（可算加法性を持つ測度）を定義することができませんが、時枝氏の議論において、「箱の中身がどのような分布で入っているか」という前提は一切必要ありません。
「数学的に別の問題（無限列の測度論）」を持ち出す側は、おそらく「そんなうまい話があるはずがない」という直感的な抵抗から、問題の土俵を「戦略の正否」ではなく「空間の不可能性」にずらして解釈しようとしているのだと考えられます。
-----
だとさ。
(引用終り)
・それって、AIはGrokだろ？ そして Grokさん 日常会話は得意だろうが
省10
530: 04/08(水)18:27 ID:zHikLm+A(7/12) AAS
>>528
ですね
531(1): 04/08(水)18:28 ID:zHikLm+A(8/12) AAS
確率事象も分からないようでは
確率過程の理解など無理です
532: 04/08(水)18:44 ID:2QoBRi4D(2/2) AAS
明日か
ついに
モッチー大勝利!!!
533(1): 04/08(水)19:04 ID:koSGZ/M/(7/7) AAS
>>531
下記 確率空間で扱えない 対象が数学の世界にある
確率空間wikipediaと AIによる概要 確率空間を百回音読してね
確率空間で扱えない 対象の典型例が、非可測集合だ
これは 適切な測度が与えられない
もう一つの典型例が 非正則分布：全事象が発散して 適切な測度が与えられない場合だ
時枝の箱入り無数目は、後者
(google検索)
確率空間
AI による概要
省21
534(2): 04/08(水)19:19 ID:zGYQyz6y(1) AAS
そもそも箱の中身は確率変数ではない
確率変数でないものを未知というだけで確率変数だとするのが素人の誤り
535(2): 04/08(水)20:06 ID:6Td7DQgv(16/21) AAS
>>529
>・じゃ、”通常の意味での確率（可算加法性を持つ測度）を定義することができ”ないとして
> じゃ どうするの？ どうしてるの？
どうもしない。箱入り無数目とまったく無関係だからどうする必要も無い。
って10年以上前からずっと言ってんじゃん。ヒト語分らん？
536(1): 04/08(水)20:14 ID:zHikLm+A(9/12) AAS
>>534
ですね
確率変数も確率過程も理解できてないのが露呈してますのにね
537(1): 04/08(水)20:22 ID:zHikLm+A(10/12) AAS
>>535
箱入り無数目は正しくその通りですから
彼が考えるべきは自分の考えを実現できるような
面白い改変がどうできるかぐらいですのに
改変してはそれにダメ出しして
そのダメ出しが関係ない箱入り無数目に対するものだと言い張る
卑怯極まりないストローマン論法しかしていませんね
538(1): 04/08(水)20:38 ID:6Td7DQgv(17/21) AAS
>「箱の中身の並び」の集合
はR^N。
箱入り無数目の標本空間は{1,2,・・・,100}。
まったく無関係な標本空間R^Nに
>通常の意味での確率（可算加法性を持つ測度）
を定義できないことは箱入り無数目となんの関係も無い。
って10年以上前からずっと言ってるのにサルがヒト語を解さんだけの話。
539(1): 04/08(水)21:06 ID:6Td7DQgv(18/21) AAS
だから言ってんじゃん ヒト語の学習が終わるまで黙ってろと キーキーうるさいんだよおサルさん
540(4): 04/08(水)21:42 ID:z2njgwRW(2/2) AAS
>>534-539
>そもそも箱の中身は確率変数ではない
>確率変数でないものを未知というだけで確率変数だとするのが素人の誤り
言えることは、それだけか？ なら、逝って良しｗ
学部の確率論で赤テンの君達は別として
学部の確率論で優の人は、君達には乗らないよ（下記の重川が読めるから）ｗ
なお、『箱の中身は確率変数ではない』は 素人丸出し発言だ
『箱に入れる数を、確率事象を利用して設定する』とでも言い換えれば良いんだ
これ オチコボレさんに理解できるかい？
例えば 下記 mathoverflow 2013 Alexander Pruss発言
省29
541: 04/08(水)22:25 ID:6Td7DQgv(19/21) AAS
>>540
>『箱に入れる数を、確率事象を利用して設定する』とでも言い換えれば良いんだ
時枝正「確率Aは○○である」
サル「確率Bは△△だから反例である」
時枝正「・・・（このサル、ヒト語通じねえ）」
>例えば 下記 mathoverflow 2013 Alexander Pruss発言
>”Can you guess the first coin flip on the basis of all the others? ・・the values of flips X1,X2,... to {0,1}・・”
>とある。つまり、coin flip X1,X2,... to {0,1}な
箱入り無数目は「第１列が単独最大決定番号を持つ確率=1/100」なんてひとことも言ってない。
>さらに、Choice Games November 4, 2013 Hart 氏
省3
542: 04/08(水)22:27 ID:6Td7DQgv(20/21) AAS
>>540
箱入り無数目の著者は
>重川一郎
ではない。箱入り無数目で何の確率を論じるか決めるのはその著者である。
543: 04/08(水)22:29 ID:6Td7DQgv(21/21) AAS
だから言ってんじゃん ヒト語の学習が終わるまで黙ってろと キーキーうるさいんだよおサルさん
544: 04/08(水)22:35 ID:zHikLm+A(11/12) AAS
ホント
まるで理解してないのは憐れですね
545: 04/08(水)22:55 ID:zHikLm+A(12/12) AAS
全く別物を確率変数確率変数と力説しても仕方ないのが分からないのは憐れです
546(1): 04/09(木)00:45 ID:NBmLBHnR(1/3) AAS
キターーーー
2026年04月08日
・（過去と現在の研究）研究集会「Workshop on AI and Theorem Provers in
Mathematics」での講演のスライドを公開。
547(1): 04/09(木)02:20 ID:d20JIJ4D(1) AAS
>>540
>『箱の中身は確率変数ではない』は 素人丸出し発言だ
>『箱に入れる数を、確率事象を利用して設定する』とでも言い換えれば良いんだ
>これ 理解できるかい？
問題にそう書いてないことは理解できないかい？
>例えば mathoverflow 2013 Alexander Pruss発言
>”Can you guess the first coin flip on the basis of all the others? ・・
>the values of flips X1,X2,... to {0,1}・・”
>とある。つまり、coin flip X1,X2,... to {0,1}な
「他のすべてのコインの出目から、最初のコインの出目を推測できますか？・・・
省21
548(2): 04/09(木)15:17 ID:G3Rb8I5r(1/3) AAS
>>547
>>『箱の中身は確率変数ではない』は 素人丸出し発言だ
>>『箱に入れる数を、確率事象を利用して設定する』とでも言い換えれば良いんだ
>問題にそう書いてないことは理解できないかい？
(引用開始)>>481
外部ﾘﾝｸ:imgur.com
時枝 箱入り無数目（数学セミナー201511月号の記事）の最初
(抜粋)『箱がたくさん，可算無限個ある.箱それぞれに，私
が実数を入れる. どんな実数を入れるかはまったく自
由，略 もちろんでたらめだって構わない』
省42
549(1): 04/09(木)15:54 ID:WuVnEK2y(1/2) AAS
>>548
＞箱入り無数目は「どんな実数を入れるかはまったく自由」がうたい文句だ
それは単に初期設定としてどんな列を入れてもいいというだけのこと
箱の中身の確率分布も、箱同士の独立性も、言及されていないのだから
そんなことを前提する「強制」は一切認められない
勝手な前提を強制しているのは君だけであって、誰もそんなことはしていない
＞”そもそも箱の中身は確率変数ではない、確率変数でないものを未知というだけで確率変数だとするのが素人の誤り”
＞への反論として Alexander Prussの coin flipを確率変数 ”the values of flips X1,X2,... to {0,1}・・”の事例として示した
反論ではなくただの妄想
Prussは問題を読み違っているから却下
省8
550: 04/09(木)15:55 ID:WuVnEK2y(2/2) AAS
勝手に問題を改ざんするのは
精神異常の可能性が大なので
必ず精神科で診てもらうように
551(2): 04/09(木)16:15 ID:Mi5gYumf(1/5) AAS
>Kolmogorovの拡張定理
彼はこれをお題目のように考えていて理解しては居ないのかも
実数列だからといってコーシーの判定条件がまったくこの話に関係しないように
関係ない話を幾ら持ち出してきても意味ないでしょうに
うわごとのように繰り返すだけです
552: 04/09(木)16:22 ID:Bm3LKUlA(1) AAS
>>551
１は高卒だから両立条件なんて全く理解できないよ
上下前次1-新書関写板覧索設栞歴
あと 450 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s