[過去ﾛｸﾞ] Inter-universal geometryとABC予想(シン応援スレ) 89 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
353(2): 04/05(日)02:25 ID:EFesa99Z(1) AAS
” 最後に、ケーススタディとして、IUTに関する3番目の論文の最終部分「3.11⇒3.12」のロジックを、リーン形式化の観点から適切なブラックボックスに再編成した事例を詳しく解説します。これは、IUTのこの部分が最も注目を集めたためです。この部分のために作成したリーンコードの骨組みは、リーンをコミュニケーションツールとして活用した非常に成功した事例となりました。”
これだけでも大きな意義がある
354: 04/05(日)03:11 ID:qmsraZQD(1/2) AAS
>>353
証明しましたあああとか言ってるバカがいるのとは別の話でな
355: 04/05(日)06:52 ID:K1kPYkAA(1/29) AAS
>>345
>確率論および確率過程論については、
>多分私の方が詳しいだろうね
そうだとしても
問題設定を誤解したら
正解は得られない
>つまり「確率変数」が いやなら 単に文字Xiでも未知数Xiと呼んでも同じことだが。
嫌とかいうことではないが
>専門分野ごとに 用語決められている
>（専門用語を正確に使えないと その分野の人からは素人扱いされる）
省4
356(1): 04/05(日)07:09 ID:K1kPYkAA(2/29) AAS
>>345
>箱の中の数を文字でXiと表現しただけと思え
>そして、箱の中の数Xiがどういう性質を持つかを考える
>ある人がサイコロを振って その出た目の数を紙に書いて順に入れているとする
>サイコロは 普通に正規のもので 普通に順に振って出た目のi番目の数だとする
>つまりは iid（独立同分布）：
>正規サイコロでその期間のすり減りとかの変化は考えなくて良い。
>サイコロを振るのも普通で 賭博の名人がいたとして自在に出目を操るようなことがない
>（つまり普通で意図は入らない）
>この情報から、文字Xiは 1〜6の整数で 各数の出現確率が1/6だと分る
省24
357: 04/05(日)07:11 ID:K1kPYkAA(3/29) AAS
>>345
＞ミスディレクション→（意図的でない）ミスリード(誤解させる) の方が 適切だろうね
＞時枝氏は 意図して ミスディレクションを入れた記事を書いたとは 考えにくい
ミスディレクションしているのは、この問題を考えた氏名不詳の人
時枝正もまた、その人に騙されている
記事後半部の非可測とか独立性とかいう記述はそのせい
358: 04/05(日)07:18 ID:K1kPYkAA(4/29) AAS
>>348
高校では、三角関数の加法定理を”暗記”すれば一般人卒業かもしれんが
大学では、数学用語の定義と、定理の証明を理解せずに数学の定理だけ使う人は一般人認定される
359: 04/05(日)07:19 ID:zr5VJaN5(1/7) AAS
>>356
ですね
360: 04/05(日)07:27 ID:K1kPYkAA(5/29) AAS
【２ちゃんねるの処世】
飯がまずけりゃ食わなくていい
泣きたいときに泣け
ひろゆきだろうが誰だろうが間違いは指摘しろ
ひろゆき「実数は実在するが虚数は実在しない。これがわからない人は＊＊！」
ひろゆき
「●の説明も前にしたと思うんすけど、・・・
現実には●は存在しないんですけど、
ただ●っていうのを利用した方が計算しやすいっていうのがあるので、
●を使いますよって話なんすよ。
省10
361(1): 04/05(日)07:35 ID:K1kPYkAA(6/29) AAS
ところで角と角度は違う
角は二つの直線の交わりの合同関係による同値類
角度はその同値類に実数を当てはめたものだが、一意的でない
弧度法の場合、つねにｎ＊２π（ｎ∈Ｚ）の任意性が生じる
ただし、もし絶対値１の複素数をつかえば一意的に割り付けられる
省3
362: 04/05(日)07:49 ID:zr5VJaN5(2/7) AAS
ブール値モデルをV^Bと書くのも何だか変な感じです
B^Vが適当じゃないですかね
ただB^Vはその字面通りのものを定義できませんので
B^V=∪B^Vα
と定義すれば良いわけです
B∈VβとするとB⊂Vβでもあるのでγ=max(α,β)として
B^V=∪B^Vα⊂∪P(Vα×B)⊂∪P(Vα×Vβ)⊂∪P(Vγ×Vγ)⊂∪P(Vγ+2)=∪Vγ+3=V
ですのでVの部分クラスであり前に書いた
P(V)=∪P(Vα)=∪Vα+1=V
と似た定義ですね
省8
363(1): 04/05(日)08:13 ID:zr5VJaN5(3/7) AAS
>>361
>角は二つの直線の交わりの合同関係による同値類
それだと外角と内角が区別できないのでどうしますかね
区別しないというのが1つの解決策ですが
有向直線にしますかね
あるいは
ある点から伸びる2つの半直線を2つの有向直線に拡張して考えて角が定義されると考えた場合
その角と外側の角（何て言うんですかね？角度で言えば2π-θに当たる側のことです）はやはり区別できない訳ですが
これはどうしますかね
区別しないか
省11
364(1): 04/05(日)08:29 ID:K1kPYkAA(7/29) AAS
>>363
まあ、がんばってください
幾何学には全く興味ないので
365(1): 04/05(日)09:33 ID:zr5VJaN5(4/7) AAS
>>364
結構楽しいんですよ
確か代数幾何では？fanとかconeって言います（角の概念を高次元化したもの）
366(1): 04/05(日)09:42 ID:K1kPYkAA(8/29) AAS
>>365 シッタカ？
367: 04/05(日)09:46 ID:zr5VJaN5(5/7) AAS
>>366
しったか
368: 04/05(日)09:48 ID:K1kPYkAA(9/29) AAS
>>243
>たしか集合論の宇宙Vの部分クラスである構成可能宇宙Lでは
>選択公理とGCHが成立することが証明できるんじゃなかったっけ？違ったかも？
>自分覚えてるのはV=Lを公理として認めるとCとGCHが定理になるってこと
>だからもうV=Lでイイじゃんって思うんだよな
>選択公理は自由に使えてGCH成り立つから
>到達不能基数みたいな訳ワカランものも無くて
>グロタン宇宙は存在しないで平和じゃん
>こうで無いモノを考えていけないわけではないが
>それは非ユークリッド幾何みたいなもんで
省2
369(1): 04/05(日)09:50 ID:zr5VJaN5(6/7) AAS
ゲーデルも言いそう
370: 04/05(日)09:55 ID:K1kPYkAA(10/29) AAS
>>314
>V=Lも仮定すべきと想ってるので
>aprioriな集合論の宇宙Vには到達不能基数は存在しない
>ていうかあんな変なモンいらないよ
>別にそんな変なモン研究しちゃイケナイわけでもないけどさ
>>330
>「私は」V=Lも成立するのが当然だろうと思ってるから
>ZFC+V=Lがよいと思うのだな
>ここには到達不能基数みたいな訳ワカランものは無いことが証明できるわけ
>>332
省6
371(1): 04/05(日)09:58 ID:K1kPYkAA(11/29) AAS
>>369
ゲーデルは2^aleph0=aleph2と思ってたらしい 理由は知らんけど
だから、言わないよ
372: 04/05(日)10:01 ID:K1kPYkAA(12/29) AAS
IUTを否定したいために到達不能基数を否定したいのなら見当違い
そもそもIUTが他の数学者に理解されないのは到達不能基数と無関係
373: 04/05(日)10:06 ID:K1kPYkAA(13/29) AAS
＞IUTに関する3番目の論文の最終部分「3.11⇒3.12」のロジックを、
＞リーン形式化の観点から適切なブラックボックスに再編成した事例
”適切なブラックボックス”が問題
”ブラックボックス”というのは集合論以外の前提に基づくという意味と思われる
ＭＳは”適切な”といってるが、そう考えてるのは端的にいえばＭＳ当人だけで
形式化による検証を行うチームの人は、そういう前提が集合論の公理から証明されない限り
ギャップがなくなったとはみなさないだろう
ＭＳが自分勝手に形式化をつまみ食いしようとしてることは明らか
しかし彼以外の人は、そういう安易な態度を認めない
374(2): 04/05(日)10:32 ID:qgu3gsTs(1/11) AAS
ゲーデルがLを考案した動機は数理論理学研究（具体的にはZF+C、ZF+CHの無矛盾性証明）の道具として使うためであって、数学を行う舞台にしようなどとは思っていなかった
と思う、知らんけど
375: 04/05(日)11:03 ID:K1kPYkAA(14/29) AAS
>>374
そだね
ゲーデルはプラトニストだといわれてるけど、
ナイーブなプラトニストではなかった
コーエンのフォーシングに対して
「これは自分が為すべき仕事だった」
といってるのも好意的評価といっていいかと
376: 04/05(日)11:21 ID:Cjmx5Kbq(1/9) AAS
>>374
>ゲーデルがLを考案した動機は数理論理学研究（具体的にはZF+C、ZF+CHの無矛盾性証明）の道具として使うためであって、数学を行う舞台にしようなどとは思っていなかった
>と思う、知らんけど
動機はわからないが
”一般化された連続体仮説はLにおいて成り立つ”
批判もあるみたい。狭すぎるとか
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
ゲーデルは、構成可能集合からなるクラス（通常 L と記される）が ZFC、すなわち ZF に選択公理を加えたものの ZF での内部モデルになることを示した。彼はさらに、L が一般連続体仮説を満たすことも示した。これによって、ZF が無矛盾ならば ZFC に一般連続体仮説を加えたものも無矛盾であることが証明された。
L はそれ以外にもたくさんの興味深い性質を持っていることがわかっている。
省7
377(1): 04/05(日)11:55 ID:3h2Ij+0Q(1/2) AAS
>>348
> 「サイン、コサイン、タンジェントなんて言われて、何のことかまったく残ってないと思うね、一回も使ったことがないと思う」
> という事です。
砲兵士官としてナポレオンがやった計算や
空母に帰投する零戦搭乗員がする計算が
三角関数。
378: 04/05(日)12:13 ID:zr5VJaN5(7/7) AAS
>>371
実際到達不能基数（のどれか）が存在すればそうなるらしい
だから気持ち悪くてそんなものは要らないかな
ZFC+V=Lがaprioriでイイ感じ
379: 04/05(日)12:25 ID:qgu3gsTs(2/11) AAS
え？
380(1): 04/05(日)12:52 ID:Cjmx5Kbq(2/9) AAS
>>164
>>142より
>>『数字であそぼ。』は、「巻数 既刊15巻（2026年1月9日現在）」とあるけど
>>”「箱入り無数目」を取り上げてる”のは 何巻？
>14巻 第76話 札付きの定理
>コミック「数字であそぼ」でも「箱入り無数目」を取り上げてる
なるほどね
アマゾンから届いたよ
2025年7月15日初版 12月20日第2刷
月刊ｆｌｏｗｅｒｓ 3月号（発売日: 2025/01/28）か
省16
381: 04/05(日)12:59 ID:Cjmx5Kbq(3/9) AAS
>>353
>” 最後に、ケーススタディとして、IUTに関する3番目の論文の最終部分「3.11⇒3.12」のロジックを、リーン形式化の観点から適切なブラックボックスに再編成した事例を詳しく解説します。これは、IUTのこの部分が最も注目を集めたためです。この部分のために作成したリーンコードの骨組みは、リーンをコミュニケーションツールとして活用した非常に成功した事例となりました。”
>これだけでも大きな意義がある
>>377
>> 「サイン、コサイン、タンジェントなんて言われて、何のことかまったく残ってないと思うね、一回も使ったことがないと思う」
>> という事です。
>砲兵士官としてナポレオンがやった計算や
>空母に帰投する零戦搭乗員がする計算が
>三角関数。
これは どちらも御大かな？
省1
382(1): 04/05(日)12:59 ID:qgu3gsTs(3/11) AAS
10年以上かけて理解できずじまいだったおサルさん
すうじであそぼ。でやっと理解できるかな？
383(1): 04/05(日)14:08 ID:Cjmx5Kbq(4/9) AAS
>>382
>10年以上かけて理解できずじまいだったおサルさん
>すうじであそぼ。でやっと理解できるかな？
話は真逆だ
10年くらいかけて ようやく箱入り無数目にダメだしする人が出てきた
［数字であそぼ。］ 第76話 札付きの定理 小学館 絹田村子
月刊ｆｌｏｗｅｒｓ 3月号（発売日: 2025/01/28）
裏に京大の数学者が居るとおもうよ （＾＾
384: 04/05(日)14:25 ID:bDxEiLCK(1/2) AAS
箱の番号{0,1}
0番の箱の自然数m
1番の箱の自然数n
m≠nとする（ココまでが設定）
これらの箱から0番か1番かどっちか選ぶとき
自分が勝つ（選んだ箱の方が大きい）確率は
m,nがどんな値であっても
選んだ箱以外の箱を開けても開けなくても1/2
2つの異なる自然数を選んで箱に入れて提示し
どっちか大きい方を選んだら勝ちというゲームで
省8
385: 04/05(日)14:48 ID:K1kPYkAA(15/29) AAS
>>383
誤 ようやく箱入り無数目にダメだしする人が出てきた
正 偽物の、箱入り無数目にダメだしする人が出てきた
さて、本物と偽物、どこがどう違うでしょう？
386: 04/05(日)18:28 ID:qmsraZQD(2/2) AAS
オレオレ数学使い出すしかないかもな
まあ最初からだけどなw
387(1): 04/05(日)18:38 ID:K1kPYkAA(16/29) AAS
記事
＞さて， 1〜100 のいずれかをランダムに選ぶ.
＞例えばkが選ばれたとせよ.
＞s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
これがホンモノ
偽物だとこうなる
「さて100番目の列s^100を選ぶとする
s^100の決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」
省3
388: 04/05(日)18:42 ID:K1kPYkAA(17/29) AAS
本当は記事の文章もあんまりよくない
こう書くのがベスト
「s^kが、たかだか一つある筈の、他の決定番号より大きな決定番号をもつ列である確率は1/100」
389: 04/05(日)18:46 ID:K1kPYkAA(18/29) AAS
箱入り無数目で確率計算してるのは、>>387に書いた３行のところしかない
逆に箱の中身の確率分布とか箱同士が独立とか、問題には一切書いてない
書くわけがない そもそも確率現象じゃなく、只の初期設定だから
390: 04/05(日)18:51 ID:K1kPYkAA(19/29) AAS
１：R^N/〜 の代表系を選んだ箇所で選択公理を使っている.
２：その結果R^N →R^N/〜 の切断は非可測になる.
３：非可測な集合をこさえるには選択公理が要るから，
４：この(箱入り無数目の)戦略はふしぎどころか標準的とさえいえるかもしれない.
５：しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
２、３、４行目はアウト
５行目も「や非可測集合」はアウト
これ書くのは、問題を誤解してる証拠
391: 04/05(日)18:58 ID:K1kPYkAA(20/29) AAS
＞もうちょっと面白いのは，独立性に関する反省だと思う.
＞確率の中心的対象は，独立な確率変数の無限族X1，X2，X3，…である.
＞いったい無限を扱うには，
＞(1)無限を直接扱う，
＞(2)有限の極限として間接に扱う，
＞二つの方針が可能である.
＞確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
＞(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
＞しかし，素朴に，無限族を直接扱えないのか?
＞扱えるとすると私たちの戦略は頓挫してしまう.
省12
392(1): 04/05(日)19:05 ID:qgu3gsTs(4/11) AAS
確率現象じゃないというより、その確率現象を論じてない
どの確率現象を論じるかは著者の専権事項 読者が勝手にすり替えてはダメ、ゼッタイ
393: 04/05(日)19:36 ID:K1kPYkAA(21/29) AAS
>>392
389は「箱に中身をいれるのは確率現象じゃない」というつもりで書いた
もちろん、箱入り無数目に何の確率現象もないとはいってないよ
唯一の確率現象は、回答者が列を選ぶこと
もし、ここを削って「必ず100列目を選ぶ」としたらすべてが台無し
だって、出題者が必ず100列目の決定番号が最大になるように出題したら
必ず回答者が予測に失敗するようにできるから（笑）
394(6): 04/05(日)20:50 ID:Cjmx5Kbq(5/9) AAS
>>380
(引用開始)
>14巻 第76話 札付きの定理
>コミック「数字であそぼ」でも「箱入り無数目」を取り上げてる
アマゾンから届いたよ
2025年7月15日初版 12月20日第2刷
月刊ｆｌｏｗｅｒｓ 3月号（発売日: 2025/01/28）か
1年2月前か
ありがとう
(引用終り)
省17
395(1): 04/05(日)22:08 ID:qgu3gsTs(5/11) AAS
対称性は間違いだが対称性を仮定せずに1/2にすることは可能
2列のいずれかをランダムに選べば良い
396: 04/05(日)22:11 ID:bDxEiLCK(2/2) AAS
>>395
ですね
397: 04/05(日)22:13 ID:qgu3gsTs(6/11) AAS
どちらかが大きくなる確率なんて不要
2列のいずれかをランダムに選べば良い
398: 04/05(日)22:15 ID:qgu3gsTs(7/11) AAS
なんだこのクソ漫画ｗ ぜんぜん間違ってんじゃんｗ
399: 04/05(日)22:18 ID:qgu3gsTs(8/11) AAS
おサル、すうじであそぼ。でも理解できず ヒトへの道のりは険しかったとさ
400(1): 04/05(日)22:19 ID:Cjmx5Kbq(6/9) AAS
あきらかに 京都大学の数学者が 監修しているよね
401: 04/05(日)22:25 ID:K1kPYkAA(22/29) AAS
肝心なのは この一枚だけ
外部ﾘﾝｸ:imgur.com
【問題】
(可算)無限個のサイコロが振られ隠されている
１つを選んで残して他の目を全部確認したとき
残りの１つの目を1/6より高い確率で当てることができる
【回答】
まず２列に並べる
次にサイコロの目の並び{1,2,3,4,5,6}^Nに
有限個の違いを無視する同値関係を入れる
省19
402(2): 04/05(日)22:34 ID:K1kPYkAA(23/29) AAS
>>400
明らかにマンガのネタに採用する際、問題を変えてます
（改変１）
「(可算)無限個のサイコロが振られ隠されている」
ここで「各壺のサイコロはランダム分布かつ、それぞれは独立」という設定を紛れ込ませている
本家には、箱の中の数は任意、としかいってない（つまり箱の中の数の分布も各箱の独立性も言及なし）
（改変２）
２列のうち、かならず２列目を選ぶことになっている
本家は、２列のうちランダムに１列を選ぶことになっている
上記の２点の改変は致命的
省4
403(2): 04/05(日)22:41 ID:K1kPYkAA(24/29) AAS
本家の場合 出題は定数なので
２列にわけた場合
A n(1)<n(2)
B n(1)=n(2)
C n(1)>n(2)
の３つの場合に分かれる
それぞれの場合について、列のランダム選択を適用すれば
Aの場合 1列目の選択で当たり (確率1/2）
Bの場合 どちらを選択しても当たり（確率1）
Cの場合 2列目の選択で当たり (確率1/2)
省5
404(1): 04/05(日)22:45 ID:qgu3gsTs(9/11) AAS
改変１は無数目戦略を使わなかったとき1/6ってだけだからまぁよい
改変２は致命的 1/2の根拠を完全消失させている
勝手に改変しといて間違いと決めつけてるのサルと同じで草
405: 04/05(日)22:46 ID:K1kPYkAA(25/29) AAS
マンガでは選択公理を設定すると残念なことがおきる
といいたいので、そのためにわざと問題を変えてます
元の問題は別に非可測性とかの話をしたいわけではないので
隠された箱の中身は”定数”という設定になってます
406: 04/05(日)22:48 ID:K1kPYkAA(26/29) AAS
>>404
改変１もよくないよ
>>403で述べたA,B,Cの各場合の確率問題が出てくるから
そんなつまらんことをかわすためには改変１を認めないのが一番
407: 04/05(日)22:50 ID:K1kPYkAA(27/29) AAS
>>403のA,B,Cの各場合の確率が求められる出題分布ならOK
ただ改変１のようなものだと計算できないのでNG
408: 04/05(日)22:51 ID:K1kPYkAA(28/29) AAS
もちろん改変2だと完全にアウトなのはいうまでもない
409: 04/05(日)22:58 ID:qgu3gsTs(10/11) AAS
選択公理は実際には実行できないからーとか言ってるが、無限個のサイコロの用意こそ実際には実行できないｗ
選択公理は選択関数を構成できないからーもトンチンカン、構成なんて不要、選択関数の存在が言えさえすればよい
クソ漫画ｗ
410: 04/05(日)23:01 ID:K1kPYkAA(29/29) AAS
マンガの問題≠箱入り無数目 なので
411: 04/05(日)23:09 ID:Cjmx5Kbq(7/9) AAS
>>348
>外部ﾘﾝｸ[html]:w.atwiki.jp
>２ちゃん鉄の掟
>出されたご飯は残さず食べる。
２ちゃん(いま５ちゃん)は、みんなの投稿（カキコ）でなりたっているんだ
だから、個人の好き嫌いをいいなさんなってことだろう
つまり、みんなの投稿が増える方向の話は良いが
みんなの投稿が減る方向の話は、ひかえるようにってこと
”鉄の掟”は、ふざけて言っているだけだな
412(1): 04/05(日)23:33 ID:3h2Ij+0Q(2/2) AAS
マンガとかで間口を広げるのはいいけど
なんか分かってもいないのに勘違いしたトンデモが入ってくるのも増えるんだよなあ
413(1): 04/05(日)23:37 ID:Cjmx5Kbq(8/9) AAS
戻る
前スレ ”とんすけ”【挫折】 多様体
2chｽﾚ:math
(参考)
動画ﾘﾝｸ[YouTube]
【挫折】大学数学で心が折れるポイントBEST3！数学科の自信を砕く「魔の分野」
人工知能とんすけえええええええええええええ
2022/02/27
とんすけが、自身の壮絶な挫折経験と多くの学生が共感するであろう「大学数学で心が折れるポイントBEST3」をぶっちゃけます。
イプシロンデルタ、位相空間、多様体…これらの名前を聞いてゾッとしたあなた、もしかしたらすでに「魔の領域」に足を踏み入れているかもしれませんね。なぜこれらの分野がそこまで難しいのか？一体何が原因で多くの数学科生が単位を落とすのか？そして、挫折の先には何が待っているのか…？
省20
414: 04/05(日)23:41 ID:Cjmx5Kbq(9/9) AAS
>>412
>マンガとかで間口を広げるのはいいけど
・多分、そのマンガのネタは 京大数学科の数学者が提供していると思う
・多分、京大数学科生 あるいは 院生、卒業生は 読むかチラ見している人がけっこう居そう
・上記の人たち、ほとんどは ”数字であそぼ 第76話 札付きの定理 小学館 絹田村子”>>394で 納得してそうだぜｗ
415(1): 04/05(日)23:55 ID:qgu3gsTs(11/11) AAS
多分 多分 多分
じゃあ箱入り無数目が間違いと言ってる人をここに連れてきて間違いの理由を書かせてみて
フルボッコされるだろうけどｗ
416: 04/06(月)00:03 ID:hxG+pq2I(1/5) AAS
>>413 つづき
>動画ﾘﾝｸ[YouTube]
>【挫折】大学数学で心が折れるポイントBEST3！数学科の自信を砕く「魔の分野」
>人工知能とんすけえええええええええええええ
>2022/02/27
より
”👿 第1位: 多様体
とんすけ自身も人生初の大きな挫折を味わい、なんと6割が単位を落とすという究極の魔境。微積分と位相の知識を総動員し、抽象的な概念がさらに抽象的な理論へと発展していくこの分野は、まさに「数学のラスボス」と呼ぶにふさわしいでしょう。でも「面白そう」と感じたあなた、ぜひこの深淵を覗いてみませんか？”
(引用終り)
さて
省31
417: 04/06(月)00:09 ID:hxG+pq2I(2/5) AAS
>>415
絹田村子 女史が 自前で この”第76話 札付きの定理”ネタを
書けるはずがない
というか、毎月多彩な数学ネタを書いている
多分、ネタ提供は一人ではなく 何人かの京大の数学者がいそうだね
京大の数学者の間では、身バレしているんじゃないか
間違ったネタ提供すれば、他の数学者から後ろ指だろうね
それだけ
418: 04/06(月)00:15 ID:s7vb23ls(1/18) AAS
すうじであそぼ。に書かれてるから箱入り無数目は間違いとな？
サルらしいなｗ
419(1): 04/06(月)00:54 ID:uNuhBh7s(1/12) AAS
>>402
>明らかにマンガのネタに採用する際、問題を変えてます
本質は同じだから分かりやすくしただけでしょう
420(1): 04/06(月)00:57 ID:s7vb23ls(2/18) AAS
本質を変えていることが分からないバカ
421: 04/06(月)01:09 ID:uNuhBh7s(2/12) AAS
>>420
サイコロにしたところね
422(1): 04/06(月)01:29 ID:s7vb23ls(3/18) AAS
ちげーわｗ
423: 04/06(月)01:58 ID:uNuhBh7s(3/12) AAS
>>422
だからそれ以外は本質的に代わってるかもねって
424: 04/06(月)01:59 ID:uNuhBh7s(4/12) AAS
余裕無いんじゃない？
425: 04/06(月)02:10 ID:s7vb23ls(4/18) AAS
君は知能が無い
426(1): 04/06(月)05:51 ID:F/SFnIZj(1/8) AAS
>>419
>>明らかにマンガのネタに採用する際、問題を変えてます
>本質は同じだから分かりやすくしただけでしょう
マンガのネタでは選択公理が確率に関わってしまうが
箱入り無数目では選択公理は”カンニングペーパー”を得る手段にすぎず確率には関わらない
本質が違うからミスディレクションでトリックを分からなくした
君はまんまと騙されたわけ
427(1): 04/06(月)06:02 ID:uNuhBh7s(5/12) AAS
特定の列を選ぶと決めているとしても出題者がそれを知らないのなら箱入り無数目と同じことですね
428(1): 04/06(月)06:07 ID:uNuhBh7s(6/12) AAS
>>426
>マンガのネタでは選択公理が確率に関わってしまうが
変わってませんよ
選択公理によってn1,n2が決まり
n1<n2,n1=n2,n1>n2のどれかになる訳です
箱入り無数目で
D=max(d1,…,dn)
Dk=max(d1,…,^dk,…,dn)
としてD>Dkである確率を考えているのと同じです
kはランダムに選ぶ訳ですが
省1
429: 04/06(月)06:08 ID:uNuhBh7s(7/12) AAS
D≧Dkか
430(2): 04/06(月)06:30 ID:uNuhBh7s(8/12) AAS
あいや
出題者の意志でn1<n2であるように出題するならダメか
出題者の意志に依らないようにするには
kはランダムに選ばないとね
たしかに
431(2): 04/06(月)07:16 ID:uNuhBh7s(9/12) AAS
というよりn1,n2は定数だから
n1<n2,n1=n2,n1>n2のどれであるかは決まっているわけで
たとえば1<2である確率みたいな言い方をしているのが変だという訳か
432(3): 04/06(月)08:06 ID:hxG+pq2I(3/5) AAS
>>430-431
>出題者の意志でn1<n2であるように出題するならダメか
>出題者の意志に依らないようにするには
>kはランダムに選ばないとね
マンガでは、たまたま2列だが
箱入り無数目のように、任意のm列に並べることは可能
すべての任意のm列で 「n1<n2であるよう」とかムリゲー
>というよりn1,n2は定数だから
>n1<n2,n1=n2,n1>n2のどれであるかは決まっているわけで
>たとえば1<2である確率みたいな言い方をしているのが変だという訳か
省21
433: 04/06(月)08:23 ID:F/SFnIZj(2/8) AAS
>>432
>すべての任意のm列で 「n1<n2であるよう」とかムリゲー
n1,…,n100∈Nのうち、
あるi∈{1,…,100}が存在して、
i以外のすべてのj∈{1,…,100}に対して
ni≧njとなるものは存在する
（いわゆる最大元）
最大元は１つとは限らないが
１つしかないなら、ni≧njを、ni＞njにできる
そのようなniを決定番号に持つ列を選ばなければ勝てる
省1
434(1): 04/06(月)08:30 ID:F/SFnIZj(3/8) AAS
>n1,n2は定数だけれども確率的には、ちょっとあれだね
>つまり、本質的に発散している量であって
>例えばそれらの平均値や標準偏差が、発散している
>つまり、n1,n2たちを ある上限値Mで切って
>有限に押さえ込めば、平均値や標準偏差は有限にできる
>でも、そうではなく n1,n2→∞ としているから
>平均値、標準偏差→∞となる
>これが、マンガの「このn1,n2は確率変数になっていないから」の意味
「このn1,n2は確率変数になっていないから」は非可測という意味
つまり各n∈Nに対して、それを決定番号とする確率が求まらない、という意味
省11
435: 04/06(月)08:35 ID:uNuhBh7s(10/12) AAS
>>434
確かに
436: 04/06(月)09:29 ID:s7vb23ls(5/18) AAS
>>427
君、全く分かってないね
437: 04/06(月)09:33 ID:s7vb23ls(6/18) AAS
>>428
変わってますよ
列1が単独最大決定番号である確率と、列1,2からランダム選択した列が単独最大決定番号である確率は ま っ た く 違いますよ
君、全く分かってないね
438: 04/06(月)09:40 ID:s7vb23ls(7/18) AAS
>>430
ちがいますよ
確率1/2がどこから生じるか？ それは列のランダム選択ただ一点からです。ランダム選択されるなら出題者が知ってるか否かは意味を為さない。
それ以外の確率をまったく考えないのが箱入り無数目。確率1/6は箱入り無数目では考えないまったく別の確率。
439(4): 04/06(月)09:47 ID:s7vb23ls(8/18) AAS
>>431
はい、ピンポン
箱入り無数目の確率はP(n1≧n2)ではなく、n1,n2のいずれかをランダム選択したものをm1、他方をm2としたときのP(m1≧m2)
これ、箱入り無数目において死ぬほど重要
440: 04/06(月)09:55 ID:s7vb23ls(9/18) AAS
>>432
>すべての任意のm列で 「n1<n2であるよう」とかムリゲー
意味不明
>n1,n2は定数だけれども
>確率的には、ちょっとあれだね
だからそんな確率は考えてないと何度言えば通じるの？ 君はヒト語の学習から 数学は100年早い ヒト語の学習が終わったら>>439を読め
441: 04/06(月)10:05 ID:s7vb23ls(10/18) AAS
確率1/2と1/6、どちらも「的中確率」と考えるから混同しがちだが、実は全く異なる確率。
確率1/2の確率試行は列選択。確率1/6の確率試行はサイコロを振ること。箱入り無数目は前者。
混同しちゃダメ、ゼッタイ。
442: 04/06(月)10:14 ID:s7vb23ls(11/18) AAS
クソ漫画で言ってる確率はP(n1≧n2)
箱入り無数目の確率はP(m1≧m2)
ま っ た く 別 物
だからクソ漫画と呼ばれる
443: 04/06(月)10:15 ID:s7vb23ls(12/18) AAS
クソ漫画は「対称性」なる謎語を持ち出してP(n1≧n2)≧1/2とか言っちゃってるけど大間違い。そんなことは言えない。初歩の初歩から分かってない。
444: 04/06(月)10:18 ID:s7vb23ls(13/18) AAS
一方、箱入り無数目の確率P(m1≧m2)≧1/2は「ランダム」の定義そのものだからまったく正しい。「対称性」なる謎仮定なんてまったく必要無い。
445: 04/06(月)10:25 ID:s7vb23ls(14/18) AAS
謎仮定が登場する主張は100％間違いと思って間違い無い
ありもしない事実を勝手に仮定しちゃダメ、ゼッタイ
446: 04/06(月)10:31 ID:s7vb23ls(15/18) AAS
クソ漫画には監修者が居るらしいけど赤っ恥晒したね 漫画読者（）はごまかせても天下の５ちゃんじゃ通じんよ
447: 04/06(月)14:14 ID:F/SFnIZj(4/8) AAS
マンガは箱入り無数目を勝手に誤解した学生の誤解版(>>402)に対して
その主張が数学では証明できないことを述べてるので正しい
その上で、元の「箱入り無数目」は全く否定されない
「箱入り無数目」は確率論的には自明だけどね
だからマジックってこと
448(1): 04/06(月)14:59 ID:ufwT5Lp1(1) AAS
ほかのスレでどうもLANAだめだったらしいみたいなこと書かれてるね
449(1): 04/06(月)15:30 ID:F/SFnIZj(5/8) AAS
>>448
まあそうでしょう
数学者が理解できないものが形式化できるとは思えない
どこがギャップか明確化できる点では意義があるけど
ギャップを埋められるとは最初から思ってなかった
MSは形式化が自分に追いついてないとか
自分勝手に解釈するんだろうけどね
450(1): 04/06(月)15:32 ID:F/SFnIZj(6/8) AAS
MSが最初からできてないものをできたとウソついたとは思わんけど
なんかある時点から自己防衛というか自分の殻に閉じこもったというのはあるね
451: 04/06(月)16:07 ID:s7vb23ls(16/18) AAS
>>449
まったくだ
形式化できるような証明を他の数学者に伝えられなかったり理解されなかったりはあり得ない
形式化チームに☆が入ってるけど「素人が分かってないだけ」って罵倒するんだろうか 詰んでね？
452: 04/06(月)17:03 ID:KXCttNk+(1/4) AAS
Workshop on AI and Theorem Provers in Mathematics
Programme Schedule
The preliminary schedule of the workshop is:
April 8th 2026
08:00-09:00 Kevin Buzzard: What goes into Formalizing Fermat?
09:15-10:15 Paola Iannone: Teaching with Lean for supporting the transition to university mathematics - current research and future trends
10:45-11:45 Lawrence Paulson: AI and Isabelle: experiences and perspectives
12:00-13:00 Discussion/panel session
April 9th 2026
08:00-09:00 Chelsea Edmonds: A Proof Engineering Perspective on Formalising Combinatorics in Isabelle/HOL
省8
上下前次1-新書関写板覧索設栞歴
あと 550 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s