[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
808(1): 2024/07/05(金)14:49 ID:WQxlAQt/(8/24) AAS
>>804
>決定番号の件は、選択公理を使っている。
>選択公理で保証されているのは、代表の存在で
>その代表と問題の列との比較で、決定番号の存在も保証される。
>さて、存在定理では、その存在する対象がどういう性質を持つかは、不明な場合が多い
代表と決定番号は存在すればよいので、その性質は必要ない
>さらに、『確率測度』というものがある
省18
809: 2024/07/05(金)15:28 ID:WQxlAQt/(9/24) AAS
>世に存在定理と呼ばれるものは多数ある。高木の存在定理もその一つだ
なんで（ガウスの）「代数学の基本定理」っていわないんだろう
知らないのかな？
810(2): 2024/07/05(金)16:54 ID:P3E/uKwY(1/2) AAS
>>791
だったら文句言うな
811(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/07/05(金)17:31 ID:VRviJy0g(3/3) AAS
>>804 補足
・もし、決定番号d1,d2が 有限で いずれも 0〜nで
d1,d2 ∈｛0,1,2,・・,n｝
としよう
そして、｛0,1,2,・・,n｝の一様分布を仮定しよう
・このときの状況を図示すると
横軸d1,縦軸d2 として、(d1,d2)の成す格子点は
省13
812: 2024/07/05(金)17:40 ID:WQxlAQt/(10/24) AAS
>>811
そもそも、2列の場合について
無限列２列全体の中で、
第１列の決定番号のみが最大のもの S1
第２列の決定番号のみが最大のもの S2
両者の決定番号が同じもの SE
のそれぞれの確率測度を求める
省8
813: 2024/07/05(金)17:48 ID:WQxlAQt/(11/24) AAS
◆yH25M02vWFhPがいかに偉そうに書いたところで
分かってるのは所詮高校レベルの数学だってバレてる
別に阪大工学部だからとかじゃなく
東大理?でも工学部卒とかなら同じこと
814(2): 2024/07/05(金)18:00 ID:kAmzs3Fe(12/26) AAS
>>810
カンニングしてると文句言ってるのはおまえ
815: 2024/07/05(金)18:03 ID:kAmzs3Fe(13/26) AAS
>>811
あなたの独善持論なんて聞いてません
質問に答えてもらえませんか？
質問は「d1,d2がどんな自然数なら勝率1/2に満たないか」ですけど？
日本語読めませんか？ならスレへの書き込みは遠慮してもらえますか？
816: 2024/07/05(金)18:05 ID:kAmzs3Fe(14/26) AAS
>>811
>P(d1>d2)
だれもP(d1>d2)を語っていませんよ？
また幻聴ですか？
817(1): 2024/07/05(金)18:18 ID:P3E/uKwY(2/2) AAS
>>814
カンニングしてない証拠がないだろ
818(2): 2024/07/05(金)18:34 ID:kAmzs3Fe(15/26) AAS
>>817
じゃあ中身を当てようとしてる箱をいつ開けてるか答えて
819(1): 2024/07/05(金)19:02 ID:sdzi+d14(3/19) AAS
>>818
知らんがな
820(1): 2024/07/05(金)19:05 ID:kAmzs3Fe(16/26) AAS
>>819
じゃあ何を根拠にカンニングしてると言ってんの？
821: 2024/07/05(金)19:12 ID:sdzi+d14(4/19) AAS
>>820
∀を内側に入れられないだろ
822(1): 2024/07/05(金)19:18 ID:kAmzs3Fe(17/26) AAS
だからそれがカンニングと何の関係があるんだって言ってんだよ
頭ダチョウかよ
823(1): 2024/07/05(金)19:23 ID:sdzi+d14(5/19) AAS
>>822
カンニングしてたら入れられないだろ
だから、内側に入れられないことをカンニングの定義として何が悪いんだよ
824(1): 2024/07/05(金)19:36 ID:kAmzs3Fe(18/26) AAS
>>823
>カンニングしてたら入れられないだろ
カンニングしてなくても入れられないなら何の根拠にもならんのが分からんの？バカなの？
825(1): 2024/07/05(金)19:51 ID:WQxlAQt/(12/24) AAS
fを1から100までの数字の置換とする
f(100)が、回答者が選んだ列の番号とする
また下記の式中に現れるDが、回答者が選ぶ箱の番号とする
∀s(f(1))[1],s(f(1))[2],…
s(f(2))[1],s(f(2))[2],…
…
s(f(99))[1],s(f(99))[2],…
省14
826(1): 2024/07/05(金)19:52 ID:sdzi+d14(6/19) AAS
>>824
じゃあお前がカンニングしてないことを定義すればいいだろ
827(1): 2024/07/05(金)19:57 ID:kAmzs3Fe(19/26) AAS
>>826
>>788
やはりダチョウ頭だな もう忘れてる
828: 2024/07/05(金)19:58 ID:sdzi+d14(7/19) AAS
>>825
…に何を入れるつもりなんだ？P(なんか)≧99/100じゃねーの？
829: 2024/07/05(金)19:59 ID:sdzi+d14(8/19) AAS
>>827
それを数学の言葉に翻訳すると何になるかを決めろって言ってんだよ
830: 2024/07/05(金)20:01 ID:kAmzs3Fe(20/26) AAS
数学の言葉だろ
数学か否かは形じゃねーんだよ
831: 2024/07/05(金)20:05 ID:kAmzs3Fe(21/26) AAS
論理式以外数学の言葉じゃないなら、世の数学書はすべて似非数学書だなｗ
832: 2024/07/05(金)20:08 ID:kAmzs3Fe(22/26) AAS
違うと言うなら論理式しか書かれていない数学書の例を示せやダチョウくん
833(3): 2024/07/05(金)20:11 ID:sdzi+d14(9/19) AAS
この問題はそもそも数学の問題じゃないし
数学書はわざわざ論理式で書かないだけで、誰でも機械的に論理式に変換できる日本語で書いてあるだろ
834(4): 2024/07/05(金)20:13 ID:sdzi+d14(10/19) AAS
これのどこが数学の言葉で書かれてるのか？
答え合わせの定義は？までの定義は？開けずにの定義は？閉じたまま残すの定義は？
788 １３２人目の素数さん 2024/07/05(金) 01:44:32.71 ID:kAmzs3Fe
答え合わせまで開けずに閉じたまま残す箱を開けない
835(1): 2024/07/05(金)20:16 ID:WQxlAQt/(13/24) AAS
＞…に何を入れるつもりなんだ？
上の式の続き以外ないけど
＞P(なんか)≧99/100じゃねーの？
その式は入らない
なぜかといえば、825では
s(f(100))[D]の予測値であるr(f(100))[D]が
s(f(100))[D]を開けることなしに得られること
省10
836(1): 2024/07/05(金)20:21 ID:WQxlAQt/(14/24) AAS
>>833 この問題は数学の問題である 実際論理式に変換できた 君の負けだ
>>834 答え合わせは s(f(100))[D] と r(f(100))[D] の比較
f(100)の値は1~100の100通りしかない
Dもそれに合わせて100通り存在する
(f(1)~f(99)の順番はDの値に全く影響しない)
837(1): 2024/07/05(金)20:24 ID:sdzi+d14(11/19) AAS
>>835
他の似たようなゲームだと一気通貫で確率を結論にできるのに、なんでしないの？
あと、開けてないなら勝手に答えの箱を他の箱と入れ替えても文句は言えないんじゃないの？
838(1): 2024/07/05(金)20:26 ID:sdzi+d14(12/19) AAS
>>836
その論理式への変換方法がどれだけ適切なのかは、他の似たような問題にも適用できるかを考えないと評価できないだろ
そこは数学じゃないんだよ
839(1): 2024/07/05(金)20:31 ID:WQxlAQt/(15/24) AAS
>>837
>他の似たようなゲームだと一気通貫で確率を結論にできるのに
他の似たようなゲームの例を示してくれる？
>なんでしないの？
他の似たようなゲームは「似て非なる」ゲームだからだと思うが
それを確認するためにも君のいう「似たようなゲーム」を示してくれる？
>あと、開けてないなら勝手に答えの箱を他の箱と入れ替えても文句は言えないんじゃないの？
省1
840(1): 2024/07/05(金)20:33 ID:WQxlAQt/(16/24) AAS
>>838
>その論理式への変換方法がどれだけ適切なのかは、
>他の似たような問題にも適用できるかを考えないと評価できないだろ
いや
記事に書かれてる文章のみから変換できる
できないならそいつは論理が分かってない
省3
841(1): 2024/07/05(金)20:45 ID:sdzi+d14(13/19) AAS
>>839
最初は1つの箱を当てるゲームとかでいいじゃん
他には有理数に制限するとかいっぱいあるだろ
842(1): 2024/07/05(金)20:48 ID:sdzi+d14(14/19) AAS
>>840
攻略法を論理式におこせって言ってるんじゃないんだけど、問題意識が全然違うから話にならん
843(1): 2024/07/05(金)20:56 ID:WQxlAQt/(17/24) AAS
>>842
>攻略法を論理式におこせって言ってるんじゃないんだけど
カンニングしてないことを示せというから
証拠として候補の存在を示す論理式を示してやったんだが
大体こんなもん記事読めば🐒でも書けるぞ 君は🐒以下か？
844: 2024/07/05(金)20:58 ID:WQxlAQt/(18/24) AAS
>>841
>最初は1つの箱を当てるゲームとかでいいじゃん
それ、全然似てません
君が、１と全く同じ誤解をしてることがその一言で分かりました
たった２ページの日本語の記事が読めない🐒は話になりませんね
845: 2024/07/05(金)21:00 ID:WQxlAQt/(19/24) AAS
sdzi+d14のことをこれからは「一気通貫」（略して一通）と呼ぶことにしよう
846(1): 2024/07/05(金)21:07 ID:sdzi+d14(15/19) AAS
>>843
だから方法がおかしいって言ってんだよ
ゲームのルールから何がルールに則った攻略法なのかをまず決めないと話にならん
847(1): 2024/07/05(金)21:19 ID:WQxlAQt/(20/24) AAS
>>846
君そもそもルール分かってる？
実は箱の中身は確率事象ではないよ
どの箱を選ぶかだけが、確率事象だから
それを理解せず、箱の中身が確率事象だと思い込んでる１と一通の頭がオカシイっての
848: 2024/07/05(金)21:20 ID:WQxlAQt/(21/24) AAS
一通の🐎🦌発言
「最初は1つの箱を当てるゲームとかでいいじゃん」
これ致命的な自爆発言っていまだに気づいてないんだろうな
849: 2024/07/05(金)21:21 ID:WQxlAQt/(22/24) AAS
１も一通も
「「箱入り無数目」は1つの箱を当てるゲームでいいじゃん」
と思い込んだ時点で数学的に死んだ
850: 2024/07/05(金)21:25 ID:WQxlAQt/(23/24) AAS
「箱入り無数目」にはゲームチェンジャーがある
・・・尻尾同値類の代表
無限個の箱から有限個の箱を除いたすべての箱の情報から尻尾同値類の代表が得られる
有限個の箱の中身が尻尾同値類の代表の対応する箇所の中身と一致するか
ほとんど全ての箱で（つまり有限個の例外を除いて）一致する
851(1): 2024/07/05(金)21:26 ID:sdzi+d14(16/19) AAS
>>847
それは攻略法から作った後付け設定だろ
852(1): 2024/07/05(金)21:28 ID:WQxlAQt/(24/24) AAS
>>851
もともと尻尾同値類の代表というアイデアの紹介だから後付なのよ
それを記事から読み取れない奴が馬鹿なのよ
853(1): 2024/07/05(金)21:28 ID:sdzi+d14(17/19) AAS
ゲームの設定だけ見て、頭を真っ白の状態でルールや攻略法とは何かを数学的に定義しろってことがそんなに難しい概念なのか？
854: 2024/07/05(金)21:31 ID:sdzi+d14(18/19) AAS
>>852
それが目的なら、もっと適切なパズルがあるだろ
囚人を一列に並べて帽子を当てるやつとか
なんでこんな紛らわしい問題を使うんだよ
855(1): 2024/07/05(金)23:04 ID:kAmzs3Fe(23/26) AAS
>>833
数学の問題だアホ
856: 2024/07/05(金)23:05 ID:kAmzs3Fe(24/26) AAS
>>834
まんまバカの特徴
定義は？定義は？定義は？定義は？定義は？定義は？定義は？定義は？定義は？
857: 2024/07/05(金)23:06 ID:kAmzs3Fe(25/26) AAS
カンニングの定義 ∀が先頭にあること
↑
アホ丸出し
858: 2024/07/05(金)23:32 ID:sdzi+d14(19/19) AAS
>>855
それお前の感想だろ
859(1): 2024/07/05(金)23:46 ID:kAmzs3Fe(26/26) AAS
数学じゃないこそおまえの感想
860: 2024/07/06(土)00:27 ID:NIhwB2xd(1/29) AAS
>>859
定義されてない用語で説明する必要があることのどこが数学だよ
861(1): 2024/07/06(土)00:33 ID:uYLSlyw2(1/41) AAS
>>668のどこに未定義用語があると？
862: 2024/07/06(土)00:53 ID:uYLSlyw2(2/41) AAS
si(Di)=f(si)(Di)
が成立するなら「si列のDi番目の箱の中身はf(si)(Di)」と答えれば勝ち。
si列のDi番目の箱を開けて中身を見なくてもよい、つまりカンニング不要。
完全に数学でありどこにも未定義用語無し。
なんでこんな簡単なことが分からんの？バカなの？
863: 2024/07/06(土)00:55 ID:uYLSlyw2(3/41) AAS
>>668には
si(Di)=f(si)(Di)
が成立する条件とその証明まで書いている
理解できないのはおまえがバカだから
864: 2024/07/06(土)01:23 ID:NIhwB2xd(2/29) AAS
>>861
それじゃない
>>834
これのことを言ってるんだよ
865(1): 2024/07/06(土)01:30 ID:uYLSlyw2(4/41) AAS
だーかーらー
「si列のDi番目の箱の中身はf(si)(Di)」と答えれば勝ちで、si列のDi番目の箱を開けて中身を見なくてもよいのになんでカンニングなんだよ
文句があるなら証明の誤りを指摘してみろカス
866: 2024/07/06(土)01:31 ID:uYLSlyw2(5/41) AAS
自分が理解できないからって逃げんなカス
867: 2024/07/06(土)02:05 ID:NIhwB2xd(3/29) AAS
>>865
だーかーらー
数学以外のところがだめだって言ってるだろ
868: 2024/07/06(土)02:08 ID:uYLSlyw2(6/41) AAS
数学以外のところとは？
869: 2024/07/06(土)02:08 ID:uYLSlyw2(7/41) AAS
じゃあおまえに聞くが数学とは何？
870: 2024/07/06(土)02:09 ID:uYLSlyw2(8/41) AAS
定義は？定義は？定義は？定義は？定義は？定義は？定義は？定義は？定義は？言うおまえのことだからさぞ素晴らしい定義を示してくれるんだろうな
数学の定義を述べよ
871(1): 2024/07/06(土)03:58 ID:NIhwB2xd(4/29) AAS
数学の定義なんて人それぞれだろうが、少なくとも用語を定義せずに適当に使うのは数学ではない
872(1): 2024/07/06(土)05:21 ID:Jlar6Al/(1/31) AAS
>>788
>>答え合わせまで開けずに閉じたまま残す箱を開けない
>>834
>答え合わせの定義は？までの定義は？
>開けずにの定義は？閉じたまま残すの定義は？
834は全然数学じゃないですね
∀s(f(100))[D] なしに、∃r(f(100))[D] といってますから
省2
873(2): 2024/07/06(土)05:43 ID:NIhwB2xd(5/29) AAS
>>872
カンニングなしって何？
874(1): 2024/07/06(土)06:03 ID:Jlar6Al/(2/31) AAS
>>873
r(f(100))[D]を出力する関数がs(f(100))[D]を入力としない
∀で束縛される変数にs(f(100))[D]が入ってないのが証拠
君には反駁不能 君の負け 君は死んだ 今ここで
875(1): 2024/07/06(土)06:11 ID:NIhwB2xd(6/29) AAS
>>874
で、…のところには何入れるの？
876: 2024/07/06(土)06:12 ID:Jlar6Al/(3/31) AAS
自分がいい出した「∀が後」に対して「そもそも∀で束縛しない」で返された
これ以上ない見事な負けっぷり 本望だろう 成仏しろよ
877: 2024/07/06(土)06:14 ID:Jlar6Al/(4/31) AAS
>>875
s(f(100))[DD]=r(f(100))[DD]＆
s(f(100))[DD+1]=r(f(100))[DD+1]＆
…
となっているのは、[]の中が自然数で無限個あるから
つまり…のところは
s(f(100))[*]=r(f(100))[*]
省2
878: 2024/07/06(土)06:17 ID:Jlar6Al/(5/31) AAS
最後の箇所は「尻尾が一致する」という意味
D+1番目の以降の尻尾だけで代表がとれるから
D番目の箱は開けないという意味
これわからない🐎🦌には、箱入り無数目がなんでうまくいくのか永遠にわからない
879(1): 2024/07/06(土)06:18 ID:NIhwB2xd(7/29) AAS
後ろにP(なにか)≧99/100を付けないと結論にならないだろ
880: 2024/07/06(土)06:25 ID:Jlar6Al/(6/31) AAS
>>879
>後ろにP(なにか)≧99/100を付けないと結論にならないだろ
その発言は「なにか」にあたる
s(f(100))[D]=r(f(100))[D]
が確率事象だ、という誤解に基づくもの
しかしながら、実際は回答者がfとして何を取るかが確率事象
そして結果の違いはf(100)の値の違いだけで生じるので
省4
881: 2024/07/06(土)06:27 ID:Jlar6Al/(7/31) AAS
結論 一通君は勝手に証明される命題を読み間違えてイチャモンつけ自爆
882(2): 2024/07/06(土)06:30 ID:NIhwB2xd(8/29) AAS
そういうセリフは論理式をまともに書いてから言えばいいのに
883(1): 2024/07/06(土)06:33 ID:NIhwB2xd(9/29) AAS
主定理のステートメントがP(なにか)≧99/100の形してないとおかしいだろ
はぐらかすためにわざとやってんの？
884: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/07/06(土)07:08 ID:BXv5KF7Y(1/3) AAS
>>811 タイポ訂正
nxn正方形を正方形で分けているので
↓
nxn正方形を対角線で分けているので
885: 2024/07/06(土)07:51 ID:uYLSlyw2(9/41) AAS
>>853
簡単だと言うならおまえができないのは何故？
886: 2024/07/06(土)07:54 ID:uYLSlyw2(10/41) AAS
>>871
だーかーらー
おまえは>>668のどれが未定義語だと言ってんの？
887: 2024/07/06(土)07:57 ID:uYLSlyw2(11/41) AAS
>>873
だーかーらー
「si列のDi番目の箱の中身はf(si)(Di)」と答えれば勝ちで、si列のDi番目の箱を開けて中身を見なくてもよいのになんでカンニングなんだよ
文句があるなら証明の誤りを指摘してみろカス
888: 2024/07/06(土)08:01 ID:uYLSlyw2(12/41) AAS
>>882
その言葉そっくりお返しします
上下前次1-新書関写板覧索設栞歴
あと 114 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s