スレタイ 箱入り無数目を語る部屋17

1 名前：１３２人目の素数さん [2024/03/05(火) 08:04:40.23 ID:FscjMFDQ.net] 前スレが1000近く又は1000超えになったので、新スレを立てる https://rio2016.5ch.net/test/read.cgi/math/1708680610/ 前スレ スレタイ 箱入り無数目を語る部屋16 (参考)時枝記事 https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 https://rio2016.5ch.net/test/read.cgi/math/1620904362/401-406 純粋・応用数学（含むガロア理論）8 より １．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 ２．続けて時枝はいう 　私たちのやろうとすることは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 を類別するが，各類から代表を選び，代表系を袋に蓄えておく. 幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる. 任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ. sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す. つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる. 更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・ が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり， 結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう. (補足) sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字 つづく 683 名前：１３２人目の素数さん [2024/03/11(月) 16:12:12.84 ID:d0ha74te.net] >>642 >　下記のサイコロの例”根元事象はE1,E2,E3,...,E6のどれか（ここでEjはサイコロのjの目が出ると言うこと）であり，標本空間は{E1,E2,...,E6}である” 「Ejはサイコロのjの目が出ると言うこと」って書かれてるじゃんｗ サイコロを振るという試行の結果としてサイコロの目が出るんだよ。 丁半博打の場合、既に振られて確定している目に対して客が張るので、試行はサイコロを振ることではなく客が張ること。 仮に客が張ってからサイコロを振るというルールに改変した場合はサイコロを振ることが試行となる。 >　これを、百回”オンドク”してね 100万回オンドクしても君の一般・普通が世間の一般・普通になることはありません。 684 名前：１３２人目の素数さん [2024/03/11(月) 16:16:23.48 ID:Wi4x1z+m.net] >>648　あれ、完全に「答え」だけど、見てもなお意味分からない正真正銘の薄知がいるんだ・・・ 685 名前：１３２人目の素数さん [2024/03/11(月) 16:18:51.14 ID:d0ha74te.net] >>648 あのさあ、自分で考える気が無く人になにからなにまでやらせておいてそれを言う？ 686 名前：１３２人目の素数さん mailto:sage [2024/03/11(月) 17:54:01.31 ID:8cdYhrps.net] >>650 言ってることがわからんが、こういうことを言いたいわけ？ (Ω,P)を1/100 の一様な確率空間としたとき、 ∀x∈ℝ^ℕ.∃y∈ようわからん. P(xとyは正解の組み合わである)=99/100 687 名前：１３２人目の素数さん [2024/03/11(月) 20:00:35.22 ID:d0ha74te.net] >>652 それ聞くってことは記事よんでねーだろおまえ 白状せい 688 名前：１３２人目の素数さん [2024/03/11(月) 20:02:20.93 ID:d0ha74te.net] 自分で記事も読まずになにからなにまで教えてもらおうって魂胆が気に食わねー そんあ教えて乞食に数学は無理なので諦めろ 689 名前：１３２人目の素数さん mailto:sage [2024/03/11(月) 20:11:30.15 ID:h46pBGwW.net] >>653 ようわからんのところをどうしたらいいの？ ちゃんとしたのいれたら攻略法があるって定理になると思ってるのこれ？ わしゃなにをどう入れても攻略法があるって定理にはならんと思うぞ 690 名前：１３２人目の素数さん [2024/03/11(月) 20:46:08.64 ID:dHWKTr/8.net] >>655 >ちゃんとしたのいれたら攻略法があるって定理になると思ってるのこれ？ >わしゃなにをどう入れても攻略法があるって定理にはならんと思うぞ スレ主です あなたが正しい ・いま 箱一つ、そこに「箱入り無数目」のように 実数を入れる 　完全任意実数r∈R でも良いが 　区間[0,1]で、r∈[0,1]としよう ・区間[0,1]にルベーグ測度が入る。Ω＝[0,1]として 　1点 r∈[0,1]の測度は0 　よって、区間[0,1]の1点的中は、確率0です (参考)時枝記事>>1 https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 691 名前：１３２人目の素数さん [2024/03/11(月) 20:53:43.71 ID:d0ha74te.net] >>656 それ箱入り無数目とは何の関係も無いから。 馬鹿なこと言ってないで>583 >597に答えてもらえません？ 692 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 00:54:50.68 ID:G8Z10h33.net] 結局、このスレの連中はこれが証明できたから攻略法があるって結論なのか？ ようわからんところがようわからんが (Ω,P)を1/100 の一様な確率空間としたとき、 ∀x∈ℝ^ℕ.∃y∈ようわからん. P(xとyは正解の組み合わせである)=99/100 693 名前：１３２人目の素数さん [2024/03/12(火) 01:13:21.08 ID:pMrLmsKB.net] >>658 トンチンカンなこと言ってないで記事を読みなさい 読んでどこがどう理解できないか言ってみなさい　さすれば教えて進ぜよう　 読みもしない者に手取り足取り教えはせぬ 694 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 01:32:23.45 ID:G8Z10h33.net] >>659 じゃこれでいいってことね どう見てもおかしいけど 695 名前：１３２人目の素数さん [2024/03/12(火) 05:42:31.39 ID:MuuApGTu.net] >>652 >言ってることがわからんが、 それは考えてないから >こういうことを言いたいわけ？ 伺おうか >(Ω,P)を1/100 の一様な確率空間としたとき、 >∀x∈ℝ^ℕ.∃y∈ようわからん. P(xとyは正解の組み合わである)=99/100 なんでx１列？なんでｙが何か分からん？ ∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=99/100 以下を前提する ∀i∈{1,…,100}.P(回答者がiを選ぶ)=1/100 以下は証明できる ∀i∈{1,…,100}.　P(x_i[y_i]=r(x_i)[y_i])=1　は少なくとも99個で、P(x_i[y_i]=r(x_i)[y_i])=0　はたかだか1個 回答者の列選択は、出題と独立とする P(回答者が選んだiのx_i[y_i]=r(x_i)[y_i]) =P(回答者が1を選ぶ)*P(x_1[y_1]=r(x_1)[y_1]) + 696 名前：P(回答者が2を選ぶ)*P(x_2[y_2]=r(x_2)[y_2]) … +P(回答者が100を選ぶ)*P(x_100[y_100]=r(x_100)[y_100]) [] [ここ壊れてます] 697 名前：１３２人目の素数さん [2024/03/12(火) 05:48:07.48 ID:MuuApGTu.net] >>655 >ちゃんとしたのいれたら攻略法があるって定理になると思ってるのこれ？ >>652で確率99/100で勝てる定理になっている　「思っている」は要らない >わしゃなにをどう入れても攻略法があるって定理にはならんと思うぞ それはキミが箱入り無数目の記事を理解できないだけ 決定番号も理解できず、順序の初歩も理解できないだけ >>656 >あなた(ID:h46pBGwW)が正しい 大学１年の微分積分も線形代数も理解できずに挫折した人には 「正しい」と裁く資格がない　落ちこぼれは黙れ >いま 箱一つ、そこに「箱入り無数目」のように 実数を入れる >完全任意実数r∈R でも良いが >区間[0,1]で、r∈[0,1]としよう >区間[0,1]にルベーグ測度が入る。 >Ω＝[0,1]として1点 r∈[0,1]の測度は0 >よって、区間[0,1]の1点的中は、確率0です そもそも箱の中身は確率変数ではない したがって上記は全く無意味 下手な考え　休むに似たり 縁なき衆生は度し難し 698 名前：１３２人目の素数さん [2024/03/12(火) 05:50:59.00 ID:MuuApGTu.net] >>658 >ようわからんところがようわからんが >>661でようわかるようにかいてやったぞ　ホレ！ ∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=99/100 以下を前提する ∀i∈{1,…,100}.P(回答者がiを選ぶ)=1/100 以下は証明できる ∀i∈{1,…,100}.　P(x_i[y_i]=r(x_i)[y_i])=1　は少なくとも99個で、P(x_i[y_i]=r(x_i)[y_i])=0　はたかだか1個 回答者の列選択は、出題と独立とする P(回答者が選んだiのx_i[y_i]=r(x_i)[y_i]) =P(回答者が1を選ぶ)*P(x_1[y_1]=r(x_1)[y_1]) +P(回答者が2を選ぶ)*P(x_2[y_2]=r(x_2)[y_2]) … +P(回答者が100を選ぶ)*P(x_100[y_100]=r(x_100)[y_100]) 699 名前：１３２人目の素数さん [2024/03/12(火) 05:53:49.95 ID:MuuApGTu.net] >>661　>>663 「以下は証明できる」の式を修正した ∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=99/100 以下を前提する ∀i∈{1,…,100}.P(回答者がiを選ぶ)=1/100 以下は証明できる ∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(x_i[y_i]=r(x_i)[y_i])=1　は少なくとも99個で、P(x_i[y_i]=r(x_i)[y_i])=0　はたかだか1個 回答者の列選択は、出題と独立とする P(回答者が選んだiのx_i[y_i]=r(x_i)[y_i]) =P(回答者が1を選ぶ)*P(x_1[y_1]=r(x_1)[y_1]) +P(回答者が2を選ぶ)*P(x_2[y_2]=r(x_2)[y_2]) … +P(回答者が100を選ぶ)*P(x_100[y_100]=r(x_100)[y_100]) 700 名前：１３２人目の素数さん [2024/03/12(火) 06:21:57.12 ID:MuuApGTu.net] 結局のところ、ID:G8Z10h33は以下の２点がわかってない １．いかなる無限列でも決定番号から先の尻尾から代表を得れば 決定番号~尻尾の先頭の１つ手前までの情報を”漏洩”させられる ２．自然数ｎ個に対して、他のｎ−１個よりも大きな自然数はたかだか１個である これを利用して、列ｎ個に対して、他のｎ−１個の決定番号の最大値を得れば それが自列の決定番号よりも大きいような列は、たかだか１個になる 上記２点から１００列中９９列について情報漏洩が可能と証明できる 逆に言えば情報漏洩の仕組みが理解できないのは上記２点が分かってないから 701 名前：１３２人目の素数さん [2024/03/12(火) 07:36:34.32 ID:PJm9SO46.net] >>665 >上記２点から１００列中９９列について情報漏洩が可能と証明できる >逆に言えば情報漏洩の仕組みが理解できないのは上記２点が分かってないから スレ主です 笑える ・独立同分布（iid）の箱の中の数 ・他の箱を開けて、残る一つの箱を見たところで、無関係 　残る一つの箱の数の情報が得られるはずない ・それを指して、ID:G8Z10h33氏は「情報漏洩」＝なんかズルしてる 　と表現したと思うんだよね それに乗せられて「情報漏洩」だってｗ 笑えるｗｗ それって数学か？ｗｗｗ 702 名前：１３２人目の素数さん [2024/03/12(火) 07:56:06.28 ID:pMrLmsKB.net] >>666 それ箱入り無数目とは何の関係も無いから。 馬鹿なこと言ってないで>583 >597に答えてもらえません？ 703 名前：１３２人目の素数さん [2024/03/12(火) 09:21:27.22 ID:mpcn3wKD.net] >>666 >笑える 獣の数字を踏んでその言い草が笑止 >・独立同分布（iid）の箱の中の数 >・他の箱を開けて、残る一つの箱を見たところで、無関係 >　残る一つの箱の数の情報が得られるはずない もし当てる箱が固定なら、ね しかし、当てる箱がそもそも一定してない 仮に選択した列だけ見たとしよう そのとき、君のやり方では １列の決定番号の分布と ９９列の決定番号の最大値の分布を 比較することになる なぜなら、当てる箱の場所は９９列の決定番号の最大値だから ２列の場合も１列の決定番号の分布同士 決して、１列の決定番号と固定した一か所の比較ではない 704 名前：１３２人目の素数さん [2024/03/12(火) 09:44:22.07 ID:wpIVsM5P.net] >>667-668 笑える ”独立同分布（iid）”が分かっていない妄言 アホか 705 名前：１３２人目の素数さん [2024/03/12(火) 09:47:15.38 ID:UzkxeLxM.net] >>669 君こそ、尻尾同値類とその代表が分かってない いかなる無限列もその尻尾同値類の代表と ほとんどすべての項で（つまり有限個の項を除き）一致する 706 名前：１３２人目の素数さん [2024/03/12(火) 09:52:39.86 ID:pMrLmsKB.net] >>669 >583 >597を黙殺するのはなぜですか？ 707 名前：１３２人目の素数さん [2024/03/12(火) 11:07:09.32 ID:pMrLmsKB.net] >>669 >”独立同分布（iid）”が分かっていない妄言 出題列=0,0,0,0,・・・でした。これはiidですか？ 出題列=0,1,2,3,・・・でした。これはiidですか？ 出題列=3,1,4,1,5,9,2,6,5,3,・・・でした。これはiidですか？ 出題列=π,π,π,π,・・・でした。これはiidですか？ どのような出題列ならiidですか？ どのような出題列なら非iidですか？ 708 名前：１３２人目の素数さん [2024/03/12(火) 12:12:28.01 ID:pMrLmsKB.net] 壷の中でサイコロを振って１の目が出ました 100人の客が全員１と賭けたとき何人が正解しますか？ 100人の客が全員２と賭けたとき何人が正解しますか？ 100人の客が全員ランダムに賭けたとき何人が正解しますか？ 100人の客が全員ランダムに賭けたとき確率変数は何ですか？ 709 名前： 「見えないものは確率変数でなければならない」は正しいですか？ 「箱入り無数目における出題列は確率変数でなければならない」は正しいですか？ [] [ここ壊れてます] 710 名前：１３２人目の素数さん [2024/03/12(火) 13:32:26.33 ID:wpIVsM5P.net] アホが何を書こうが ダメなものはダメ じゃないの？　；ｐ） 711 名前：１３２人目の素数さん [2024/03/12(火) 13:53:35.12 ID:pMrLmsKB.net] >>674 答えに窮して発狂しましたか？ 712 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 15:10:21.06 ID:ipHRQNQh.net] >>664 だからこれだとだめなんだって この命題は正しいけど、この命題が成り立つから攻略法があるって主張はできない ＞∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=99/100 そもそも ∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=1 だって証明できるんだから、上ので攻略法があるって主張できるんなら、こっちの命題からは必勝法があるって主張ができる 713 名前：１３２人目の素数さん [2024/03/12(火) 15:23:56.96 ID:pMrLmsKB.net] >>676 >この命題は正しいけど、この命題が成り立つから攻略法があるって主張はできない 君が主張できないとする理由はx_iが分からないとy_iも分からないからでは？ しかしそれは間違い x_iのある項以降が分かればx_iが属す同値類が分かり従って代表列が分かり従って決定番号y_iが分かる 箱入り無数目ではひとつの箱を除いて開封してよいルールだから上記は成立する 君の得意の問題における知見を無理やり箱入り無数目に適用しようとしても、問題が違うのだから適用できる保証が無いし、実際できない 未だ理解できないようだね 714 名前：１３２人目の素数さん [2024/03/12(火) 15:31:09.99 ID:pMrLmsKB.net] 君が理解できない最大の理由は記事を読んでないから だから言ってるよね？ 記事を読んで理解しなさいと 記事を読んだ上で理解できない部分があるならここへ書きなさい　教えてあげるから 715 名前：１３２人目の素数さん [2024/03/12(火) 15:34:26.25 ID:pMrLmsKB.net] ていうか君、同値関係、同値類、選択公理を理解してる？ まずそこだよｗ 716 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 15:36:50.48 ID:ipHRQNQh.net] >>677 違う ∃になってるyたちを具体的な式に展開して命題に書かないとだめって言ってるの ∀x_1,…,x_100∈R^N.P(回答者が選んだ列iに対してxi[f(x1,...,x100,i)]=r(xi)[f(x1,...,x100,i)])=99/100 みたいになってりゃ別に文句言わねーよ 717 名前：１３２人目の素数さん [2024/03/12(火) 16:09:03.30 ID:pMrLmsKB.net] >>680 >yたちを具体的な式に展開して命題に書かないとだめ 選択公理を仮定すれば 任意の類 ∀[s]∈R^N/〜 に対して代表列 r=f([s])∈[s] を与える選択関数 f:R^N/〜 → R^N の存在が保証される。 関数 g:R^N → R^N/〜 を g(s)=[s] で定義すれば、合成関数 f・g:R^N → R^N は、任意の実数列 ∀s∈R^N に対しその代表列 r=f・g(s) を与える。 ある実数列sの第D+1項から先すべてが分かっているなら、D+1より前の項を0で埋めた実数列s'はs〜s'を満たすから、f・g(s')=f・g(s)=r はsの代表rを与える。 y_iを次で定義する：∀n≧y_i ⇒ x_i[n]=f・g(x_i')[n] ここでx_i'はx_iのある項より前を0で置換した実数列 以上で、x_i→x_i'→f・g(x_i')→y_i　の対応関係が定義されるので、関数d:R^N→N が定義できて、y_i=d(x_i)=d(x_i')　と書ける。 ∀x_1,…,x_100∈R^N.∃d(x_1)=d(x_1'),…,d(x_100)=d(x_100')∈N.P(回答者が選んだ列xと対応するd(x)に対してx[d(x)]=r(x)[d(x)])=99/100 はい、yたちを具体的な式に展開して命題に書きました。 718 名前：１３２人目の素数さん [2024/03/12(火) 16:18:07.54 ID:wpIVsM5P.net] >>680 >∃になってるyたちを具体的な式に展開して命題に書かないとだめって言ってるの >∀x_1,…,x_100∈R^N.P(回答者が選んだ列iに対してxi[f(x1,...,x100,i)]=r(xi)[f(x1,...,x100,i)])=99/100 ありがとうございます スレ主です 当てられないに賛成なのです お気に召すかどうかは不明だが、ご一読ください ・例えば、「箱入り無数目」出題(下記)で 　列a=(a1,a2,・・・)なる実数の無限列を作った（a1,a2,・・・たちはすべて箱の中） ・その隣に、回答者が 　列b=(b1,b2,・・・)なる無限列を作った （当然列bは、列aとは何の関係もない） ・回答者は、列b=(b1,b2,・・・)を見て、決定番号dbを得る（決定番号は下記「箱入り無数目」に従う） 　回答者は、列aでdb+1番以降の箱を開けて、列aの代表raと決定番号daを得る （ra=(ra1,ra2,・・・)とする） 　回答者は、代表raのdb番目 すなわちradbが、出題列のdb番目 719 名前：adbと等しい すなわち ”adb＝radbだ！”と叫ぶ 　２列なので、da<dbの確率は1/2なので、確率1/2の的中が得られる さて、これでおかしなところは下記です ・列bは、回答者が出題と無関係に作った列なのに これはどうしたことか？ ・その列を使って、確率1/2の的中とはこれいかに？ ・同様に、99列作れば 確率99/100の的中ですし ・同様に、確率1-εの的中もあり やっぱり、デタラメさんでしょ 「箱入り無数目」 なので、”当てられない”！ですよね (参考)時枝記事>>1 https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 [] [ここ壊れてます] 720 名前：１３２人目の素数さん [2024/03/12(火) 16:18:14.56 ID:pMrLmsKB.net] まあこんな小難しい書き方しなくても 記事をちゃんと理解していれば、任意の実数列sに対してその決定番号を与える関数d(s)が存在することは理解できるはず 君が決定番号を式で書かないとダメと難癖つけたということは君は記事を理解していない証拠 721 名前：１３２人目の素数さん [2024/03/12(火) 16:36:43.29 ID:pMrLmsKB.net] >>682 >２列なので、da<dbの確率は1/2 はい、大間違い 正しくは　確率1でda≦db　または　確率1でda≧db 一方 da,dbのいずれかをランダム選択した方をx、他方をyと書くと、x≦yの確率は1/2 は正しい。 君全然分かってないね　何度も教えたはずなのに >確率1/2の的中が得られる これも大間違い なぜなら、的中するためには、2列のいずれかのランダム選択で列aが選択され、且つ、da≦db　である必要があるが、 da≦dbの確率は上記の通り不明だから結局的中確率も不明。 君ズタボロなんだけど　頭悪いにも限度ってものがあるよ 722 名前：１３２人目の素数さん [2024/03/12(火) 16:51:35.36 ID:pMrLmsKB.net] >da,dbのいずれかをランダム選択した方をx、他方をyと書くと、x≦yの確率は1/2 正確には da,dbのいずれかをランダム選択した方をx、他方をyと書くと、x≦yの確率は1/2以上 （da=dbの場合確率1でx≦yだから） 723 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 17:16:04.05 ID:upjnOnB4.net] >>681 だーかーらー そこに∃をつけるな意味が変わるだろ 724 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 17:20:37.69 ID:upjnOnB4.net] ∀x.∃y.p(x,y)と ∀x.p(x,f(x))では違うからちゃんと後者で書いて 725 名前：１３２人目の素数さん [2024/03/12(火) 17:26:43.30 ID:pMrLmsKB.net] >>687 どう違うと？ 726 名前：１３２人目の素数さん [2024/03/12(火) 17:31:32.60 ID:pMrLmsKB.net] >>687 関数の定義から∀x∈(fの定義域)に対してf(x)は必ず存在するけどその時 ∀x.p(x,f(x)) と ∀x.∃f(x).p(x,f(x)) とでどう違うと？ 727 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 17:36:52.61 ID:upjnOnB4.net] >>689 まず∃の後ろに変数以外を書くなよ 728 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 17:44:07.57 ID:upjnOnB4.net] >>689 ∀x∈ℕ.∃y∈ℕ.x<y と ∀x∈ℕ.x<x+1 だと後者の方が強い主張をしてるでしょ 箱入り無数目の定式化では関数の形も主張に必要なんだから後者の形で命題を書かないと 729 名前：１３２人目の素数さん [2024/03/12(火) 18:14:42.16 ID:pMrLmsKB.net] >>691 そんなことは聞いてない ∀x∈ℕ.x<x+1 と ∀x∈ℕ.∃(x+1).x<x+1 の違いを聞いている おまえは∃の後ろに変数以外を書くなと言ったが、x+1は変数ではないと？じゃ何？ 730 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 19:37:50.92 ID:upjnOnB4.net] >>692 ∃の後ろに変数じゃないものを書いてるのは君だろ、∃(x+1)ってなんだよ ふざけて書いてるだろ 731 名前：１３２人目の素数さん [2024/03/12(火) 19:38:47.26 ID:MuuApGTu.net] >>676 >>∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=99/100 >だからこれだとだめなんだって >この命題は正しいけど、 >この命題が成り立つから攻略法があるって主張はできない >∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=1 >だって証明できるんだから、 >上ので攻略法があるって主張できるんなら、 >こっちの命題からは必勝法があるって主張ができる なるほど >>680 >∃になってるyたちを具体的な式に展開して命題に書かないとだめって言ってるの >∀x_1,…,x_100∈R^N.P(回答者が選んだ列iに対してxi[f(x1,...,x100,i)]=r(xi)[f(x1,...,x100,i)])=99/100 >みたいになってりゃ別に文句言わねーよ なんだ、それでいいんなら書けるよ ∀x_1,…,x_100∈R^N. P(回答者が選んだ列xiに対して 　x_i[max(d(x_1),…,d(x_(i-1)),d(x_(i+i)),…,d(x_100))] =r(x_i)[max(d(x_1),…,d(x_(i-1)),d(x_(i+i)),…,d(x_100))])=99/100 なぜなら ∀x_1,…,x_100∈R^N.(d(x_i)<=max(d(x_1),…,d(x_(i-1)),d(x_(i+i)),…,d(x_100))でないx_iはたかだか1つ) だから 732 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 19:45:36.33 ID:ipHRQNQh.net] >>694 そうそうそんな風に書けば記事の主張と一致するんだよ 733 名前：１３２人目の素数さん [2024/03/12(火) 19:54:36.74 ID:MuuApGTu.net] >>682 >・例えば、「箱入り無数目」出題で >列a=(a1,a2,・・・)なる実数の無限列を作った >（a1,a2,・・・たちはすべて箱の中） うむ >その隣に、回答者が >列b=(b1,b2,・・・)なる無限列を作った >（当然列bは、列aとは何の関係もない） ダウト１！ 出題者が列を二つ作る 回答者は二つの列から一つ選ぶだけ なんでそれがわからない？ 🐎🦌なのか？🌲違いなのか？ ということで、出題者がa,b二列を 734 名前：つくり 回答者はa,bの中からaを選んだ、と言い換える １もアタマ切り替えろ、🐎🦌 >回答者は、列b=(b1,b2,・・・)を見て、決定番号dbを得る >（決定番号は下記「箱入り無数目」に従う） うむ >回答者は、列aでdb+1番以降の箱を開けて、列aの代表raと決定番号daを得る >（ra=(ra1,ra2,・・・)とする） ダウト２! 回答者は代表raは得られるが、 この段階では決定番号daは得られない （代表だけ分かればいいので決定番号は知る必要もないが） >回答者は、代表raのdb番目 すなわちradbが、出題列のdb番目adbと等しい すなわち ”adb＝radbだ！”と叫ぶ うむ >２列なので、da<dbの確率は1/2なので、確率1/2の的中が得られる 然り > さて、これでおかしなところは下記です > ・列bは、回答者が出題と無関係に作った列なのに これはどうしたことか？ はいダメこれダメ全然ダメ 出題者が２列つくる　回答者が別の列をつくるのではない なんでそんなことがわからない？　🌲違いなのか？ >その列を使って、確率1/2の的中とはこれいかに？ 出題者が２列つくり、回答者がどちらか選ぶ　 はずれはどちらか一方　だから確率1/2 >同様に、99列作れば 確率99/100の的中ですし >同様に、確率1-εの的中もあり 何度でも繰り返すが、回答者が99列作るのではない 出題者が100列作って、回答者が1列選ぶ はずれは1列のみ、だから当たる確率は1-1/100=99/100 出題者が何列作っても、はずれは1列しかない だから回答者が1列選んで当たる確率は1-1/n 1/nはいくらでも0に近づけられる [] [ここ壊れてます] 735 名前：１３２人目の素数さん [2024/03/12(火) 19:55:49.07 ID:MuuApGTu.net] >>695 >そうそうそんな風に書けば おまえが書けよ　この中卒ド素人 736 名前：１３２人目の素数さん [2024/03/12(火) 19:58:56.41 ID:MuuApGTu.net] １は「スマリヤンの錯覚」に陥ってますな the-apon.com/coffeedonuts/illusions-have-same-root.html 737 名前：１３２人目の素数さん [2024/03/12(火) 20:18:08.85 ID:MuuApGTu.net] ところで、100列の決定番号のうち最大の列は唯一、として モンティ・ホールもどきをやってみよう つまり、回答者が1列選んだ段階で司会者が残り99列のうち 決定番号が最大でない98列を箱も開けずに片付ける さて、回答者は残り1列と交換したほうが得か損か（ニヤニヤ） 738 名前：１３２人目の素数さん [2024/03/12(火) 20:28:34.77 ID:PJm9SO46.net] >>695 スレ主です 教育的ご指導 ご苦労さまです ようやくスタート地点ですか？ 論理式で書いて終わりならば 確率論不要です 例えば、リーマン予想を論理式で書いたとて それは、リーマン予想の証明ではありませんよね 739 名前：１３２人目の素数さん [2024/03/12(火) 20:32:55.96 ID:MuuApGTu.net] >>700 >ようやくスタート地点ですか？ １はスタートラインに立ててないけどね >論理式で書いて終わりならば確率論不要です 確率論学んでも、違う問題解いちゃ無意味 １は「スマリヤンの錯覚」に陥ってますな the-apon.com/coffeedonuts/illusions-have-same-root.html 740 名前：１３２人目の素数さん [2024/03/12(火) 20:33:10.80 ID:pMrLmsKB.net] >>700 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なんで黙殺しようとするんですか？ 741 名前：１３２人目の素数さん [2024/03/12(火) 20:36:47.14 ID:MuuApGTu.net] 1は「回答者が100列から1列選ぶ」という問題文が理解できず 「出題者が99列作ってシミュレーションする」と誤読する 独善的な🌲違いですからね 742 名前：１３２人目の素数さん [2024/03/12(火) 20:39:35.94 ID:MuuApGTu.net] 「出題者が99列作ってシミュレーション」という誤読の背景には 「出題列は確率変数でなければならない！」という独善的な思いこみがある 完全に狂っている　正常でない　異常そのもの 743 名前：１３２人目の素数さん [2024/03/12(火) 20:40:33.37 ID:MuuApGTu.net] >>703-704 誤　「出題者が99列作ってシミュレーションする」 正　「回答者が99列作ってシミュレーションする」 744 名前：１３２人目の素数さん [2024/03/12(火) 21:12:44.94 ID:PJm9SO46.net] >>682 補足 さて １）前記の決定番号の大小比較について 　試験の点数の場合と比較してみよう 　多数の答案から 2枚選び その点数をTa,Tbとして比較する 　試験の成績は、正規分布で平均点50点、標準偏差10点とする 　試験結果の最低0点、最高100点 ２）2枚の答案は裏向けで、点数は不明とする 　Ta>Tbの確率1/2 　逆に Ta<Tbの確率1/2 (同じ値の場合は頻度が小さいとして無視するとする) つづく 745 名前：１３２人目の素数さん [2024/03/12(火) 21:19:27.55 ID:PJm9SO46.net] つづき ３）いま、試験の点数の場合には 点数分布で全体の位置が分かる（下記） ４）ところが、決定番号は >>575に書いたが 上限がなく発散しているので 非正則分布を成す（下記） 　このような場合、ある列の決定番号dx＝mを得て 開けていない dyとmとの比較をすると 　dyは N（自然数)で全体を渡るので、dy<mは有限だが m<dyは無限 　強いて形式的に書けばP(m<dy)＝1 （∵m<dyの領域は無限） 　つまり、P(m<dy)≠1/2。「箱入り無数目」不成立！ ５）さらに、全体が発散しているので、P(dx=dy)＝1/2 が疑問になる 　つまり、全体が∞に発散しているとき、∞/∞ の不定形になり 　”P(dx=dy)＝1/2”は 単純には言えない！ つづく 746 名前：１３２人目の素数さん [2024/03/12(火) 21:20:49.40 ID:PJm9SO46.net] つづき (参考) https://ja.wikipedia.org/wiki/%E5%81%8F%E5%B7%AE%E5%80%A4 偏差値 (参考)>>7より https://ai-trend.jp/basic-study/bayes/improper_prior/ AVILEN Inc. 2020 2020/04/14 非正則事前分布とは？〜完全なる無情報事前分布〜 ライター：古澤嘉啓 https://en.wikipedia.org/wiki/Indeterminate_form Indeterminate form（不定形） 例 ∞/∞ (参考)時枝記事>>1より https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 (引用終り) 以上 747 名前：１３２人目の素数さん [2024/03/12(火) 22:13:41.38 ID:pMrLmsKB.net] >>693 答えになってない なぜxは変数でx+1は変数でないのか、変数でないなら何なのか？ 748 名前：１３２人目の素数さん [2024/03/12(火) 22:15:56.18 ID:pMrLmsKB.net] >>706 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なぜ黙殺しようとするのですか？ 749 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 23:19:43.91 ID:G8Z10h33.net] >>709 お前がどうしてもx+1を変数だと言うなら ＞そんなことは聞いてない ＞∀x∈ℕ.x<x+1 ＞と ＞∀x∈ℕ.∃(x+1).x<x+1 ＞の違いを聞いている ＞おまえは∃の後ろに変数以外を書くなと言ったが、x+1は変数ではないと？じゃ何？ これの後者はα変換したら ∀x∈ℕ.∃y.x<y と同じだろ ∀x∈ℕ.x<x+1 とは明らかに違うだろ あと、お前はd/d(x+1)みたいに(x+1)で微分とか普段からしてんのかよ 750 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 23:22:14.52 ID:G8Z10h33.net] ＞∀x∈ℕ.∃(x+1).x<x+1 ていうか、こいつ相手にする必要ある？ ふざけてやってるとしか思えない 751 名前：１３２人目の素数さん [2024/03/12(火) 23:46:29.35 ID:pMrLmsKB.net] >>711 答えになってない おまえはxが変数でなぜx+1が変数でないのか答えてない おまえはx+1が何か答えてない おまえは ∀x∈ℕ.x<x+1 と ∀x∈ℕ.∃(x+1).x<x+1 が明らかに違うとしか言っておらずどう違うか答えてない 答えないくせになぜかまったく関係無い微分の話を持ち出している ていうか、こいつ相手にする必要ある？ ふざけてやってるとしか思えない 752 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 00:00:41.45 ID:ascKCvNK.net] >>713 別にお前がそれを変数のつもりで使ってるなら勝手にやっててくれていいから 753 名前：１３２人目の素数さん [2024/03/13(水) 00:04:11.91 ID:5iS9phMp.net] >>714 また逃げたｗ おまえ答えられなくなるといつも逃げるね 754 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 00:16:26.77 ID:ascKCvNK.net] >>715 別に勝手に使うぶんには構わないよ 好きにして 755 名前：１３２人目の素数さん [2024/03/13(水) 00:25:17.61 ID:5iS9phMp.net] >>716 答えられないってことは君の独善持論ってことだよね？ そんなの聞いてもしかたないので無理に出てこなくていいよ 756 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 00:32:31.50 ID:ascKCvNK.net] >>717 x+1を変数だと言うやつとは話しないから 757 名前：１３２人目の素数さん [2024/03/13(水) 00:37:03.59 ID:5iS9phMp.net] >>718 なぜ変数でないのか 変数じゃなきゃ何なのか 答えられないってことは君の独善持論ってことじゃん 758 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 00:50:39.26 ID:ascKCvNK.net] >>719 君の中では変数なんでしょ それで首尾一貫してれば好きにすればいいじゃん 759 名前：１３２人目の素数さん [2024/03/13(水) 00:58:49.14 ID:5iS9phMp.net] ちなみに https://web.sfc.keio.ac.jp/~hagino/logic16/07.pdf のP4には • 「もの」の集まり 　• 整数 　• 人間 • 「もの」の集まりを動く変数 　• 対象変数（object variable） 　• 𝑥, 𝑦, 𝑧, . . . と書かれてる xが「もの」の集まりである自然数を動く変数であるなら xの後者であるx+1もやはり自然数を動くので変数の 760 名前：定義を満たす 頑なに変数でないと言い張る人もいるようだけどどうやら独善持論のようですね [] [ここ壊れてます] 761 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 01:13:49.25 ID:ascKCvNK.net] >>721 自分で調べて解決したならそれでいいじゃん 好きにして 762 名前：１３２人目の素数さん [2024/03/13(水) 01:21:16.03 ID:5iS9phMp.net] ものの集まりとはつまり集合のことだし ものの集まりを動く変数とはつまり集合の不定元のことだね ∀x∈N.(xは不定) ⇒ x+1∈N ∧ (x+1は不定) であるから変数の定義に従い xはNを動く変数 ⇒ x+1はNを動く変数 が成立 >>720 君の中では非変数なんでしょ それで首尾一貫してれば好きにすればいいじゃん 763 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 01:27:59.96 ID:ascKCvNK.net] >>723 そうだねx+1は変数だね すごいすごい 764 名前：１３２人目の素数さん [2024/03/13(水) 01:34:59.38 ID:5iS9phMp.net] >>724 あれ？認めちゃったんだｗ じゃあ ∀x∈ℕ.∃(x+1).x<x+1 はOKってことね？∃の後ろは変数なんでしょ？ すると ∀x∈ℕ.x<x+1 と ∀x∈ℕ.∃(x+1).x<x+1 の違いは何だと言ってるの？ 765 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 01:41:23.20 ID:ascKCvNK.net] >>725 変な論理式書くやつにはどうせわからん 766 名前：１３２人目の素数さん [2024/03/13(水) 01:43:02.61 ID:5iS9phMp.net] >>726 変とは？ また独善持論ですか？ 767 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 01:51:52.05 ID:ascKCvNK.net] >>727 xが変数だからx+1も変数とかいいだす人間に記号論理学ができるわけないだろ 家庭教師でも雇って教えてもらえ 768 名前：１３２人目の素数さん [2024/03/13(水) 02:07:50.38 ID:5iS9phMp.net] >>728 あれ？認めたんじゃなかったの？ｗ じゃあ>>723のどこに欠陥があるのか具体的にどうぞ 769 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 02:12:43.16 ID:ascKCvNK.net] >>729 君が問題ないと思ってるならそれでいいじゃん 全く住んでる星が違うんだから好きにやっていいよ 770 名前：１３２人目の素数さん [2024/03/13(水) 02:41:05.48 ID:5iS9phMp.net] >>730 はい、また逃げたｗ 771 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 03:28:16.22 ID:ascKCvNK.net] >>731 勝手に数学もどきでもやってろ 772 名前：１３２人目の素数さん [2024/03/13(水) 05:45:56.61 ID:in9dXeLi.net] >>707 >　dyは N（自然数)で全体を渡るので、dy<mは有限だが m<dyは無限 >　強いて形式的に書けばP(m<dy)＝1 （∵m<dyの領域は無限） はい、誤り P(m<dy)＝１　とはいえません >つまり、P(m<dy)≠1/2。「箱入り無数目」不成立！ dy∈[1,n]の場合も　一般にP(m<dy)は1/2ではない 問題はdx,dy∈[1,∞)に対して、P(dx<dy)=1/2か、ということ そして、キミのいう非正則分布では、それは導けない （注：そうならない、という意味ではない） １は「スマリヤンの錯覚」に陥ってますな the-apon.com/coffeedonuts/illusions-have-same-root.html 773 名前：１３２人目の素数さん [2024/03/13(水) 05:52:37.60 ID:in9dXeLi.net] >>733 一般に d_1 , … , d_n ∈ [1,∞) に対して P( max( d_1 , … , d_(n-1) ) < d_n )=1/n　か？ d_1 , … , d_n ∈ [1,m) で、みな一様分布かつ相互に独立ならそうなるが 774 名前：１３２人目の素数さん [2024/03/13(水) 06:48:56.74 ID:in9dXeLi.net] >∀x∈ℕ.∃(x+1).x<x+1 >はOKってことね？ わざわざ∃(x+1).とつける必要はないけどね 775 名前：１３２人目の素数さん [2024/03/13(水) 08:19:23.89 ID:5iS9phMp.net] >>735 はい、ペアノの公理を前提とするなら ∀x∈N ⇒ x+1:=s(x)∈N なので、∃(x+1).と付ける必要無しは同意です。 但し付けても間違いではなく、付けない式 ∀x∈ℕ.x<x+1 と比較して意味が変わる訳でもないと思ってますが如何でしょう。 776 名前：１３２人目の素数さん [2024/03/13(水) 12:23:46.26 ID:NwNjK2/r.net] >>736 >∃(x+1).と付ける必要無しは同意です。 >但し付けても間違いではなく、付けない式 ∀x∈ℕ.x<x+1 と比較して意味が変わる訳でもないと思ってますが如何でしょう。 ・論理式なんだから 　不要ならつけないのが本当と思うよ ・例えば、数式で x^2+1 と書くとき 　x^2 -x+x +1 と書いて、意味は x^2+1 というがごとし 　”-x+x”の部分は、簡約できるなら書かないのが普通だろう？（中学数学ならバツではないが、減点される。大人ならアホかと言われる） 777 名前：１３２人目の素数さん [2024/03/13(水) 14:12:36.74 ID:NwNjK2/r.net] >>733 >１は「スマリヤンの錯覚」に陥ってますな それ面白いね 「スマリヤンの錯覚」は、下記の”この二つを区別できない心理を私は スマリヤンの錯覚 と呼んでいます” で、下記著者の造語ですね the-apon.com/coffeedonuts/smulyan-two-envelope.html モンティ・ホール問題好きのホームページ2015/01/11 スマリヤンの二つの文のパラドックス スマリヤンのパズル本に出てくる二つの封筒問題を題材とした二つの文 (あるいは二つの命題) とその証明が新たなパラドックスを醸し出しています。 スマリヤンの二つの文 Smullyan, Raymond (1992). の翻訳本や Smullyan, R.: 1997, の翻訳本に書かれているスマリヤンの二つの文とは、次のようなものです。 文1と文2 ・文1 封筒を交換して増額する場合の増額は封筒を交換して半減する場合の減額を上回る。 ・文2 それらの金額（増額と減額）は等しい。 文1の証明 交換前の金額を x とすると、封筒を交換して増額する場合の増額は x で、 封筒を交換して半減する場合の減額は x/2 なので、文1 が成り立つ。 文2の証明 二つの封筒の金額の差を d とすると、封筒を交換して増額する場合の増額は d で、 封筒を交換して半減する場合の減額も d なので、文2 が成り立つ。 命題2の証明で封筒の金額の差に着目しているのは、うまいトリックです。差が決まれば金額の組み合わせも決まってしまうことをうまく隠しています。 スマリヤンの二つの文のパラドックス 次のような矛盾を感じる錯覚現象がスマリヤンの二つの文のパラドックスです。 ・スマリヤンの二つの文はどちらも正しい。 ・スマリヤンの二つの文は両立しない。 スマリヤンのパラドックスの解明 スマリヤンの二つの文が両立することがあることは具体例を考えると一発でわかります。 千円札1枚の封筒と千円札2枚の封筒の組み合わせと、 千円札2枚の封筒と千円札4枚の封筒の組み合わせがあるときに、 封筒を一つ選んだときのことを考える。 ← 2015/01/11 に訂正 選んだ封筒の金額を特定した場合 選んだ封筒が 2千円だったとする。 封筒を交換して半減したら千円の損で得したら 2千円の得で得の方が大きい。 二つの封筒の金額の組み合わせを特定した場合 選んだ封筒の一方は千円で他方が 2千円だったとする。 選んだ封筒が 2千円だったら交換して千円損し、選んだ封筒が千円だったら交換して千円得するので損と得は等しい。 次の点がポイントです。 ・文1 の場合、選んだ封筒の金額を特定して、その範囲に絞って場合分けを考えている。 ・文2 の場合、二つの封筒の金額の組み合わせを特定して、その範囲に絞って場合分けを考えている。 この二つを区別できない心理を私は スマリヤンの錯覚 と呼んでいます。 778 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 17:26:19.99 ID:ascKCvNK.net] ∃x+1.は普通は構文エラーだろ、なくてもいいとかそういう次元じゃない x+1が変数だというなら、他の人が読めるようにα変換して普通の変数で書き直せよ 779 名前：１３２人目の素数さん [2024/03/13(水) 17:36:44.52 ID:5iS9phMp.net] 君x+1が変数でないことを示せなかったじゃん 780 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 17:54:49.02 ID:ascKCvNK.net] お前が変数だと主張するなら勝手にすればいいよ x+1が変数ではないってのは一般常識の話なんだから 数学では普通は変数はアルファベット一文字が常識で、たまに長い単語を使うことがあるし、君はその延長でx+1も変数に入れたかったんだろ勝手にしろよ 781 名前：１３２人目の素数さん [2024/03/13(水) 18:10:43.89 ID:5iS9phMp.net] じゃ黙ってろよｗ 782 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 18:13:15.13 ID:ascKCvNK.net] x+1が仮に変数だとして ＞∀x∈ℕ.∃(x+1).x<x+1 これをα変換したら ∀x∈ℕ.∃y.x<x+1 なのか ∀x∈ℕ.∃y.x<y なのかすら不明瞭な状態で ＞すると ＞∀x∈ℕ.x<x+1 ＞と ＞∀x∈ℕ.∃(x+1).x<x+1 ＞の違いは何だと言ってるの？ こんなのに答えろっていうのが馬鹿げてる 783 名前：１３２人目の素数さん [2024/03/13(水) 18:50:41.96 ID:5iS9phMp.net] >x+1が仮に変数だとして 仮とは？　変数か変数でないかどちらか　君は変数であるとの主張に反論できなかった >＞∀x∈ℕ.∃(x+1).x<x+1 >これをα変換したら >∀x∈ℕ.∃y.x<x+1 >なのか >∀x∈ℕ.∃y.x<y >なのかすら不明瞭な状態で じゃα変換しなきゃいいじゃん

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef