[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
841(5): 2022/11/06(日)19:34 ID:4rX/NHRo(17/23) AAS
>>837
数学が問答形式で進むべきものとは思わない
が、定義の確認を怠ってもしかたがないので
問うが
Q1) 決定番号が”固定”とは？ どのようなことか？
Q2）固定により排除される番号はあるのか？
Q2）逆に、固定により決定番号となりうる番号は何か？ もし、番号の範囲が示せるなら示せ
省14
842(6): 2022/11/06(日)19:44 ID:4rX/NHRo(18/23) AAS
>>839
どうもありがとう
スレ主です
>というバージョンを(独立した話題として)考えることも可能で、
>こちらの方がスレ主には都合が悪い。
別に都合悪くない
時枝と別バージョンを考えたければ考えれば良いんじゃない？
省11
843(2): 2022/11/06(日)19:48 ID:+djpuSor(3/15) AAS
>>842
＞だけど、別バージョンの成否→時枝の元の問題
＞の対応が付かなければ、無関係だよね
時枝記事と>>839の対応関係は自明だよ。
・ 時枝記事は「1種類の実数列から出題」のケース。
・ >>839は「3種類の実数列から出題」のケース。
ほらね、簡単に対応関係がついたでしょ。
省3
844(2): 2022/11/06(日)19:59 ID:+djpuSor(4/15) AAS
スレ主は「あんたらの主張する "固定" は胡散臭い」と言っているが、
これに対する返答は>>843に書いたとおり。具体的には
＞・ 時枝記事は「1種類の実数列から出題」のケース。
＞・ >>839は「3種類の実数列から出題」のケース。
この2行のうち、1行目の「1種類の実数列から出題」こそが、
「出題を固定する」の正確な意味である。
「1種類の実数列から出題」では意味が分からないというなら、
省7
845(1): 2022/11/06(日)20:05 ID:+djpuSor(5/15) AAS
>>842
＞時枝の元の問題で、直接非正則分布を使わないことを示してください
もし時枝記事の中で非正則分布が使われているのなら、記事の中に
「非正則分布を使った計算の痕跡」
が存在しなければならない。少なくとも、
(1) 有限の閉区間 [0,m] を設定する。
(2) この閉区間 [0,m] の上で何らかの確率 p_m を算出する。
省7
846: 2022/11/06(日)20:10 ID:+djpuSor(6/15) AAS
>>842
＞決定番号使うでしょ？ 決定番号自身が非正則分布を成すよ
違うね。写像 d が非有界であることを、
「非正則分布が使われている」と勘違いしているだけ。
そういう分布をスレ主が勝手に導入しているだけ。
こちらが>>840でわざわざ f(s)：＝ e^{−d(s)} を持ち出したのは、
「非正則分布が使われている」という間違った固定観念に凝り固まって
省6
847(1): 2022/11/06(日)20:13 ID:aV+KEqav(25/54) AAS
>>841
＞Q1) 決定番号が”固定”とは？ どのようなことか？
定数
＞S1）”固定”と定数とは違うんだよね？
違わん
＞ｗ
何笑ってんだコイツ 頭オカシイのか？ｗ
848: 2022/11/06(日)20:17 ID:aV+KEqav(26/54) AAS
>>841
＞Q2）固定により排除される番号はあるのか？
排除ってなんだ？
＞S2）例えば、πは定数で、π＝3.14・・以外の値は取りえない
＞わざわざ”固定”という以上、もとは変数だったのでは？
やっぱ何言ってんのかわからん
＞ｗ
省1
849: 2022/11/06(日)20:22 ID:aV+KEqav(27/54) AAS
>>841
＞Q3）逆に、固定により決定番号となりうる番号は何か？
＞ もし、番号の範囲が示せるなら示せ
自然数
＞S3）変数xによる偏微分∂f(x,y)/∂xの場合
＞ この場合、変数yは一旦定数として固定される
＞ しかし、当然ながら、それは偏微分に限定され、
省10
850(1): 2022/11/06(日)20:30 ID:aV+KEqav(28/54) AAS
>>834
＞一応「完全勝利宣言」をしておきます
＞非正則分布を使って
＞時枝不成立は、うまく説明できたのです！
せたぼん(=1)が>>663で
「問題が出される前に、参照列（＝代表系）を作るという。これが初期設定です。」
と認めた瞬間、せたぼんの主張から
省13
851: 2022/11/06(日)20:38 ID:aV+KEqav(29/54) AAS
はっきりいって決定番号の分布を考える必要はない
もしせたぼんが
「決定番号の分布が非正則分布だから
１００列全部の決定番号が自然数になるなんてありえない」
といってるなら、正真正銘の大馬鹿阿呆戯け野郎といいたいｗ
決定番号が自然数となることは、
尻尾の同値関係の定義から云えること
省8
852: 2022/11/06(日)20:43 ID:aV+KEqav(30/54) AAS
列S^Nのいかなる項も自然数で番号づけられる
したがって、2列が同値であるなら、
その一致箇所の先頭は必ず自然数である
そうでなければ同値でない
もし
「同値な列のコーシー列の収束先も同値」
とかいう謎条件も追加した場合には
省6
853: 2022/11/06(日)20:45 ID:aV+KEqav(31/54) AAS
ということでこれから1のことは
「スレ主」とは決して呼ばず
「ブルシットせたぼん」と
呼ばせていただくこととするｗ
854: 2022/11/06(日)20:50 ID:aV+KEqav(32/54) AAS
『ブルシット・ジョブ――クソどうでもいい仕事の理論』
（英: Bullshit Jobs：A Theory）は、
アメリカの人類学者デヴィッド・グレーバーによる2018年の著書で、
無意味な仕事の存在と、その社会的有害性を分析している。
855: 2022/11/06(日)20:51 ID:aV+KEqav(33/54) AAS
彼は、社会的仕事の半分以上は無意味であり、
仕事を自尊心と関連付ける労働倫理と一体となったときに
心理的に破壊的になると主張している。
856: 2022/11/06(日)20:52 ID:aV+KEqav(34/54) AAS
グレーバーは、5種類の無意味な仕事について説明し、
そこでは、労働者は自分の役割が自分の知っているほど
無意味でも有害でもないふりをしているとする。
857: 2022/11/06(日)20:52 ID:aV+KEqav(35/54) AAS
労働と高潔な苦しみとの関連は人類の歴史の中で最近のものであると述べ、
潜在的な解決策としてベーシックインカムを提案している。
858: 2022/11/06(日)20:53 ID:aV+KEqav(36/54) AAS
グレーバーは、以下に述べる5種類の「ブルシット・ジョブ」について説明している。
859: 2022/11/06(日)20:54 ID:aV+KEqav(37/54) AAS
取り巻き
誰かを偉そうにみせたり、偉そうな気分を味わわせたりするためだけに存在している仕事。
例えば、受付係、管理アシスタント、ドアアテンダント。
860: 2022/11/06(日)20:54 ID:aV+KEqav(38/54) AAS
脅し屋
雇用主のために他人を脅したり欺いたりする要素を持ち、そのことに意味が感じられない仕事。
ロビイスト、顧問弁護士、テレマーケティング業者、広報スペシャリストなど、
雇用主に代わって他人を傷つけたり欺いたりするために行動する悪党。
861: 2022/11/06(日)20:55 ID:aV+KEqav(39/54) AAS
尻ぬぐい
組織のなかの存在してはならない欠陥を取り繕うためだけに存在している仕事。
たとえば、粗雑なコードを修復するプログラマー、
バッグが到着しない乗客を落ち着かせる航空会社のデスクスタッフ。
862: 2022/11/06(日)20:56 ID:aV+KEqav(40/54) AAS
書類穴埋め人
組織が実際にはやっていないことを、やっていると主張するために存在している仕事。
たとえば、調査管理者、社内の雑誌ジャーナリスト、企業コンプライアンス担当者など。
役に立たないときに何か便利なことが行われているように見せる。
863(4): 2022/11/06(日)20:56 ID:4rX/NHRo(19/23) AAS
>>843
面白いことを考えるね
確認だが>>839の「単独最大値」の定義は？
それが分からない
>>844
＞簡単だろう？どこが胡散臭いんだ？
確認だが>>839の「単独最大値」の定義は？
省21
864: 2022/11/06(日)20:56 ID:aV+KEqav(41/54) AAS
タスクマスター
他人に仕事を割り当てるためだけに存在し、ブルシット・ジョブを作り出す仕事。
中間管理職など。
865(2): 2022/11/06(日)21:00 ID:aV+KEqav(42/54) AAS
>>863
＞「単独最大値」の定義は？
今頃聞いてんのかｗ
たとえば
１，２，３の単独最大値は３
１，１，３の単独最大値も３
１，３，３の単独最大値は存在しない
省1
866(2): 2022/11/06(日)21:00 ID:4rX/NHRo(20/23) AAS
>>850
>「問題が出される前に、参照列（＝代表系）を作るという。これが初期設定です。」
>と認めた瞬間、せたぼんの主張から
>「１００列全てについて、他の列よりも決定番号が大きい」
>という矛盾が導かれるので
矛盾が導かれるのは、時枝記事が矛盾しているからだよ
まあ、次のスレ立て準備しとくよ
省3
867(1): 2022/11/06(日)21:01 ID:+0wVTm4U(34/43) AAS
>>841
>Q1) 決定番号が”固定”とは？ どのようなことか？
定数として与えられていること
>Q2）固定により排除される番号はあるのか？
与えられた定数以外は排除される
>Q2）逆に、固定により決定番号となりうる番号は何か？
与えられた定数
省2
868: 2022/11/06(日)21:04 ID:aV+KEqav(43/54) AAS
>>863
＞＞＞Q1) 決定番号が”固定”とは？ どのようなことか？
＞＞ 定数
＞時枝を誤読しているな、こいつ
箱入り無数目、な
著者に嫉妬してんのかこの馬鹿ｗ
＞箱に入れる数が変われば、決定番号も変わるべきだぜｗ
省5
869: 2022/11/06(日)21:07 ID:aV+KEqav(44/54) AAS
>>867
＞矛盾が導かれるのは、時枝記事が矛盾しているからだよ
ノーノ―ノー、せたぼんのブルシット計算が矛盾してるからｗ
＞おれは完全勝利した
ノーノ―ノー、せたぼんは勝手に自爆し完敗
これほどヒドイ馬鹿は見たことないね
さすが工業高校１年中退の中卒（嘲）
870(1): 2022/11/06(日)21:08 ID:aV+KEqav(45/54) AAS
>>866
＞まあ、次のスレ立て準備しとくよ
勝ったんならスレ立て要らんじゃん
さっさと北朝鮮帰れ この受話器頭のデブのキムジョンウンがｗ
871(2): 2022/11/06(日)21:16 ID:aV+KEqav(46/54) AAS
せたぼんは>>656でオレサマMara Papiyasが
「Q 参照列は箱の中身を見て決めますか？見ることなく決めますか？
見る/見ない、のいずれかでお答えいただけますか？」
と尋ねたときにこう答えるべきだった
「見て決めます
そもそも回答者は自分が得た情報だけから判断すべきでしょう
代表の選択もまたそうであるべきだと考えます
省7
872(3): 2022/11/06(日)21:17 ID:4rX/NHRo(21/23) AAS
>>865
なんだ
まあ、その定義は想定通りだけどね
確認しとかないとね
１）まず、100列の決定番号d1,d2・・d100で
一般的な仮定として、どの二つも等しくない
とするのが普通だろう
省11
873(1): 2022/11/06(日)21:18 ID:4rX/NHRo(22/23) AAS
>>870
> 勝ったんならスレ立て要らんじゃん
いやいや
適当に遊んでやるからさｗｗ
874: 2022/11/06(日)21:21 ID:aV+KEqav(47/54) AAS
>>871
何がいいたいかといえば
１．代表選出の関数は確かに存在するがそれは一意ではない
２．１００列を尻尾を見た場合に代表選出を行うことは可能である
３．しかしそれはあくまで見た情報に基づいて行うと解釈しても
不自然ではなく、その場合、情報の与えられ方によって
異なる代表選出が為されるとしても、不自然ではない
省7
875: 2022/11/06(日)21:25 ID:+0wVTm4U(35/43) AAS
>>841
>はっきり言って、あんたらの決定番号の”固定”は、胡散臭いぞｗ
何がどう胡散臭いのか具体的に
876: 2022/11/06(日)21:27 ID:aV+KEqav(48/54) AAS
>>872
何度繰り返してもダメダメｗ
>>663で
「問題が出される前に、参照列（＝代表系）を作るという。これが初期設定です。」
っていいきっちゃったじゃん
そしたら、kが1〜100のどの場合でも
「確率はP(Xdk<=dmax99)=0 とすべきだ」
省7
877: 2022/11/06(日)21:29 ID:+djpuSor(7/15) AAS
>>872
どうした？何の返答にもなってないぞ？
「あんたらの主張する "固定" は胡散臭い」
と言っていたよな？だが、固定の意味は>>844で書いたぞ？
＞・ 時枝記事は「1種類の実数列から出題」のケース。
＞・ >>839は「3種類の実数列から出題」のケース。
これの1行目が「出題を固定する」の正確な意味だよ。
省2
878: 2022/11/06(日)21:29 ID:aV+KEqav(49/54) AAS
>>873
＞適当に遊んでやるからさ
かわいそうに、せたぼん
妻にも子供にも愛想つかされてんだｗ
オマエ、家では完全な暴君っぽいもんな
879: 2022/11/06(日)21:29 ID:+djpuSor(8/15) AAS
>>839の設定の場合：
出題者は3種類の s_1,s_2,s_3∈R^N を任意に選ぶ権利が与えられている。
ただし、1ゲームごとに s_1,s_2,s_3∈R^N を選び直せる権利は持っておらず、
最初に選んだ s_1,s_2,s_3∈R^N を毎回使い回す権利しか持ってない。
つまり、ひとたび s_1,s_2,s_3∈R^N を選んだら、そこから先は
「毎回この s_1,s_2,s_3 の3種類からランダムに出題する」ということ。
880: 2022/11/06(日)21:30 ID:+0wVTm4U(36/43) AAS
>>842
>決定番号使うでしょ？ 決定番号自身が非正則分布を成すよ
だから成さないと何度言えば分かるのか？
都合が悪くなると言葉が分からないサルのふりするのやめれ
881: 2022/11/06(日)21:31 ID:+djpuSor(9/15) AAS
この場合の確率計算は>>839のようになる。たとえば、
・ s_1 から出力される100個の決定番号には単独最大値が存在しない
・ s_2 から出力される100個の決定番号には単独最大値が存在しない
・ s_3 から出力される100個の決定番号には単独最大値が存在する
というケースだと、次が成り立つ。
・ 出題者が s_1, s_2 の2種類から毎回ランダムに選んで出題した場合には、
回答者の勝率は 1 である。
省4
882: 2022/11/06(日)21:32 ID:aV+KEqav(50/54) AAS
ところで有理数の小数展開列の問題の場合は
標準的な代表の選定ができるから
>>871の言い訳は通用しない
つまり箱入り無数目の戦略は完全に適用できる！！！
883(6): 2022/11/06(日)21:33 ID:+djpuSor(10/15) AAS
時枝記事の場合：
出題者は s_1∈R^N を任意に選ぶ権利が与えられている。
ただし、1ゲームごとに s_1∈R^N を選び直せる権利は持っておらず、
最初に選んだ s_1∈R^N を毎回使い回す権利しか持ってない。
つまり、ひとたび s_1∈R^N を選んだら、そこから先は
「毎回この s_1 の1種類からランダムに出題する」ということ。
要するに、単に毎回この s_1 を出題するということ。
884: 2022/11/06(日)21:35 ID:+djpuSor(11/15) AAS
この場合の確率計算は、時枝記事で述べられているとおり。最も簡単なケースは
・ s_1 から出力される100個の決定番号には単独最大値が存在しない
というケース。この場合、次のようになる。
・ 出題者が毎回 s_1 を出題した場合には、回答者の勝率は 1 である。
では、
省6
885: 2022/11/06(日)21:37 ID:aV+KEqav(51/54) AAS
ところで有理数100個を出題する場合
別に完全にランダムに出すことにこだわらなければ
可測な分布が可能である
そしてその場合、確率分布による計算でも
箱入り無数目の結論が導ける
めんどくさいので確認しないが
ヒマな人はやってごらん せたぼん ヒマだろ？ｗ
886(1): 2022/11/06(日)21:38 ID:4rX/NHRo(23/23) AAS
新スレ立てました
適当に遊んで下さい
私も、完全勝利宣言は済んだので
適当に遊びますｗ（＾＾
スレタイ 箱入り無数目を語る部屋5
2chｽﾚ:math
887: 2022/11/06(日)21:40 ID:aV+KEqav(52/54) AAS
>>886
誤 完全勝利宣言
正 完全自爆宣言
ブルシットせたぼん 御愁傷様
888(1): 2022/11/06(日)21:48 ID:+0wVTm4U(37/43) AAS
>>863
>確認だが>>839の「単独最大値」の定義は？
>それが分からない
ええええええええええええええええ
6年以上経つのにそこ分かってなかったんかいｗ
889: 2022/11/06(日)21:51 ID:aV+KEqav(53/54) AAS
>>888
ブルシットせたぼんは、自分の直感に反する結論に
脊髄反射で反対してるだけなので、
実は簡単にわかる事柄も全然考えておらず理解してない
ということが実にしばしばある
そして「完全勝利！」といって書いた文章で初歩的矛盾を晒して自爆する
次スレの6でも恥晒しな自爆文書いてたのでアホにも分かる指摘を10で書いてやった
省1
890: 2022/11/06(日)21:53 ID:aV+KEqav(54/54) AAS
ペーター・ショルツェも望月新一のIUTT論文見て
「こいつ、ほんとに数学者か？こんなん完全にパラドックスだって気づかないんか？」
と思っただろうなあ
891(1): 2022/11/06(日)22:21 ID:+djpuSor(12/15) AAS
ここまでの流れ。Q がスレ主。
A「時枝記事では出題は固定なので、非正則分布とやらは登場しない」
Q「そもそも、あんたらの言う "固定" は胡散臭い」
A「出題を固定するとは、"1種類の実数列から出題する" という意味だ」
Q「面白いことを考えるね。確認だが、"単独最大値"の定義は？」
A「単独最大値の定義は>>865だ」
Q「定義は想定通りだな。しかし、各 d1,d2・・d100が それぞれ非正則分布をなし
省10
892(1): 2022/11/06(日)22:29 ID:+0wVTm4U(38/43) AAS
>>842
>時枝の元の問題で、直接非正則分布を使わないことを示してください
時枝証明において非正則分布の使用を前提としなければ成立しない推論はずばりどれ？
示せなければ言いがかりと見做させて頂きます。
893: 2022/11/06(日)22:40 ID:+djpuSor(13/15) AAS
スレ主は新スレに移行したようだから、こっちは適当に埋めといていいんじゃないかな。
894: 2022/11/06(日)22:44 ID:+0wVTm4U(39/43) AAS
>>842
>時枝の元の問題で、直接非正則分布を使わないことを示してください
ちなみにこのような「無いこと」の証明は悪魔の証明と呼ばれます。
詐欺師セタらしい手口ですね。
895: 2022/11/06(日)22:51 ID:+djpuSor(14/15) AAS
新スレの>>7-16に、
「箱入り無数目の連続版(このスレの>>753)」を(勝手に)清書して書いておいた。
この設定の優秀なところは、決定番号の写像 d が
d：([0,1)→R) → [0,1) となり、つまり d は最初からずっと有界であること。
当然ながら d(f_1)〜d(f_100) は [0,1) に属するので、
スレ主お得意の "非正則分布" の論法が使えない。
ま、おバカのスレ主は内容を理解できずにスルーするかもしれんがね。
896: 2022/11/06(日)22:51 ID:+0wVTm4U(40/43) AAS
>>863
>”どんな実数を入れるかはまったく自由”>>1で
誰もそれを否定していないｗ
>箱に入れる数が変われば、
「・・・そして箱をみな閉じる.今度はあなたの番である.・・・」
言葉が分からないなら幼稚園からやり直しましょう
897: 2022/11/06(日)22:54 ID:+djpuSor(15/15) AAS
時枝記事で述べられているのは
∀s∈R^N s.t. 出題者が s を出題したとき、この出題に対して回答者が何度も時枝戦術を
テストして時枝戦術の性能を試すと、その性能は「 99/100 以上の確率で回答者が勝つ」
というもの。「 ∀s∈R^N 」の部分に注目せよ。
・ s∈R^N は任意でよい。
・ どんな s∈R^N でも構わない。
・ どんな実数を入れるかは全く自由。
省3
898: 2022/11/06(日)22:55 ID:+0wVTm4U(41/43) AAS
>>866
完全勝利の妄想に浸ってるところすまないが
>矛盾が導かれるのは、時枝記事が矛盾しているからだよ
記事の矛盾箇所を具体的に示してくれる？
899: 2022/11/06(日)23:01 ID:+0wVTm4U(42/43) AAS
>>872
>各 d1,d2・・d100が それぞれ非正則分布をなし
>>892
900: 2022/11/06(日)23:14 ID:+0wVTm4U(43/43) AAS
>>891
>↑ご覧のとおり、スレ主の最後の主張は会話が成立していない。
都合が悪くなると言葉が通じないサルのふりするのが彼奴の常とう手段
901(1): 2022/11/07(月)00:04 ID:WoK78tgd(1/4) AAS
>>883
最初にs_1を[0,1]xNから選ぶ時はやっぱりs_1は確率変数になるんじゃないかな
2回目以降は定数だけど
902: 2022/11/07(月)00:40 ID:e0OEzaz4(1/15) AAS
>>901
その文章を書いたのは自分だが、「 s_1∈R^N を任意に選ぶ権利が与えられている」
と書いたように、>>883で想定しているのは
∀s_1∈R^N s.t. ・・・
という意味での権利である。もちろん、時枝記事での実数列の選び方もこれ。
一方で君は、「任意に選ぶ権利が与えられている」という記述を見て、なぜか
「確率変数による記述によってランダムに選ぶ」
省1
903: 2022/11/07(月)00:41 ID:e0OEzaz4(2/15) AAS
もしそういう設定にしたいなら、予め確率空間を設定しておいて、
その確率空間のもとで出題すると明言するよ。たとえば、
確率空間([0,1]^N,F_N,μ_N) ([0,1]^N 上の一様分布が実現される)を
直前に明記しておいて、
「 s_1∈[0,1]^N を、一様分布に従ってランダムに選ぶ権利が与えられている」
と書くよ。そういう設定にしたいならね。
でも、>>883は違うんだ。そういう設定のつもりで書いたわけではない。
省4
904: 2022/11/07(月)00:46 ID:e0OEzaz4(3/15) AAS
で、>>883とは独立した設定として、
「 s_1∈[0,1]^N を、一様分布に従ってランダムに選ぶ権利が与えられている 」
のような設定を個別に考えることはもちろん可能。
ただし、それは君のオリジナル設定にすぎなくて、
>>883で意図した設定(＝時枝記事での設定)とは異なる。
特に、君のオリジナル設定のもとで何が言えても、時枝記事とは無関係。
そんだけ。
905(1): 2022/11/07(月)00:49 ID:e0OEzaz4(4/15) AAS
というか、君、毎回現れては最終的に論破されて黙り込んで逃げ出して、
日を改めて別のIDになったら しれっと再登場して、
懲りずに前回と似たような主張を繰り返すよね。いい加減にしろよ。
「著者が意図していた設問(時枝記事の設問)」には勝つ戦略があり、
「読者オリジナル設問」には勝つ戦略も負ける戦略もない(非可測なので)。
君は「読者オリジナル設問の方が気分がいい」と主張したが、
それはただの負け惜しみ(>>605)。
省1
906: 2022/11/07(月)01:14 ID:e0OEzaz4(5/15) AAS
そもそも、>>883の設定ではずっと同じ s_1 を使うのだから、
「∀s_1∈R^N s.t.・・・」
という設定と
「s_1∈[0,1]^Nを一様分布に従ってランダムに選ぶ」
という設定とで結論は変わらないはず。
省4
907(1): 2022/11/07(月)01:19 ID:e0OEzaz4(6/15) AAS
すると、>>297の(☆)により、そもそも
∀s_1∈[0,1]^N s.t. η(A_{s_1}) ≧ 99/100
という強い性質が最初から成り立っているので、
s_1∈[0,1]^Nを一様分布に従ってランダムに選ぶ場合にも、
当然ながら η(A_{s_1}) ≧ 99/100 が成り立っている。
というわけで、>>883はどちらの解釈でも結論は変わらない。
908(1): 2022/11/07(月)01:46 ID:WoK78tgd(2/4) AAS
>>907
最初の1回だけの試行は非可測で0以上として2回目以降と合計で99/100以上になるんじゃないかな
909: 2022/11/07(月)02:03 ID:WoK78tgd(3/4) AAS
>>905
24時間連続で書き込み続けなきゃいけないの？
910(1): 2022/11/07(月)02:25 ID:e0OEzaz4(7/15) AAS
>>908
この観点から記述すると、1回目だけの試行は非可測だろうな。ただし、
「 "lim[n→∞] (n回目までの勝利回数) / n ≧ 99/100" が確率 1 で発生する 」
のであって、時枝記事はこれを主張していることになるので、
どのみち時枝記事は正しい。
911: 2022/11/07(月)02:57 ID:e0OEzaz4(8/15) AAS
>>910
これ、「1回目だけの試行は非可測」と書いたが、それも事象の捉え方によって
可測・非可測が変わってしまうな。ちゃんと確率空間を設定しないと説明しきれん。
912: 2022/11/07(月)03:01 ID:e0OEzaz4(9/15) AAS
出題者が s∈[0,1]^N を出題するごとに、
回答者はこの s に対して時枝戦術を可算無限回テストすることにする。
具体的には、回答者は i＝(i_1,i_2,…)∈{1,2,…,100}^N をランダムに選び、
n回目のテストでは番号 i_n に対する時枝戦術を実行することにする。
よって、この i＝(i_1,i_2,…) には回答者の可算無限回分の行動が
全て記述されていることになり、回答者は i＝(i_1,i_2,…)に沿った
時枝戦術を機械的に実行することになる。
省2
913: 2022/11/07(月)03:01 ID:e0OEzaz4(10/15) AAS
この状況を記述する確率空間を以下で定義する。>>293の確率空間 (I,G,η) を取り、
これを可算無限個用意して直積確率空間を作る。それを (I^N,G_N,η_N) と置く。
この確率空間は、i＝(i_1,i_2,…)∈I^N＝{1,2,…,100}^N を一様分布に従って
ランダムに選ぶ操作を実現する確率空間である。
>>291の確率空間([0,1]^N, F_N, μ_N)と上記の(I^N, G_N, η_N)の積空間を、
ここでは (Ω,F,P) と書くことにする。この確率空間の完備化を(Ω,F_w,P_w)と書く。
914: 2022/11/07(月)03:03 ID:e0OEzaz4(11/15) AAS
出題者が実数列 s∈[0,1]^N を選び、回答者が行動予定表 i∈I^N を選んだとき、
n回目までの時枝テストが終わった時点での回答者の勝利回数を S_n(s,i) と置く。そして、
A ＝ { (s,i)∈Ω｜liminf[n→∞] S_n(s,i) / n ≧ 99/100 }
と置く。実は、A∈F_w かつ P_w(A) ＝ 1 が成り立つことが言える。すなわち、
P_w.a.e.(s,i)∈Ω s.t. liminf[n→∞] S_n(s,i) / n ≧ 99/100
が成り立つ。これは、
省4
915(2): 2022/11/07(月)03:04 ID:e0OEzaz4(12/15) AAS
次に、s∈[0,1]^N と 1≦k≦100 に対して、
出題 s のもとで回答者が番号 k での時枝戦術を実行して
回答者が勝つときに f(s,k)：＝1 と置き、回答者が負けるときに f(s,k)：＝0 と置く。
このとき、i∈I^N に対して S_n(s,i)＝Σ[k＝1〜n] f(s,i_k) が成り立つことに注意せよ。
A_1：＝{ (s,i)∈Ω｜f(s,i_1)＝1 }
と置くと、この A_1 は「回答者が1回目の時枝テストで勝利する」という事象になっている。
916: 2022/11/07(月)03:05 ID:e0OEzaz4(13/15) AAS
任意の s∈[0,1]^N に対して、A_1 の s における断面 (A_1)_s は (I^N,G_N,η_N)において可測である。
実際、(A_1)_s ＝ { i∈I^N｜f(s,i_1)＝1 } ＝ { i_1∈I｜f(s,i_1)＝1 } × I^N
である。C_1：＝ { i_1∈I｜f(s,i_1)＝1 } と置くと、C_1∈pow(I)＝G である。
特に C_1×I^N ∈ G_N である。よって、(A_1)_s は可測である。
917: 2022/11/07(月)03:10 ID:e0OEzaz4(14/15) AAS
一方で、A_1 そのものは非可測である。実際、g：([0,1]^N×I)×I^N → [0,1]^N×I^N (＝Ω) を
g( (s,i_1), (i_2,i_3,…) )：＝ ( s, (i_1,i_2,i_3,…) ) と定義し、さらに
B：＝{(s,i_1)∈[0,1]^N×I｜f(s,i_1)＝1}
と置く。すると、A_1 ＝ g(B×I^N) と表せる。
B は確率空間 ([0,1]^N×I, F_N×G, μ_N×η)の完備化の中で非可測(スレの中盤で証明したとおり)
なので、A_1 ＝ g(B×I^N) は確率空間 (Ω,F_w,P_w) の中で非可測であることが示せる。
証明の概略だけ書くと、もし A_1 が可測なら、g^{-1}(A_1) も可測、すなわち B×I^N は可測。
省2
918: 2022/11/07(月)03:13 ID:e0OEzaz4(15/15) AAS
よって、A_1 は非可測だが、s∈[0,1]^N ごとに、A_1 の s における断面 (A_1)_s は可測である。
919(1): 2022/11/07(月)07:49 ID:K/UclYxR(1/21) AAS
ところで、100個の有理数の小数展開から桁を１つ選んで当てる件は
有理数の選出確率分布を可測関数とすれば、計算可能
しかし、ブルシットせたぼんは一度もやろうとしない
自分の主張が否定されるのがイヤなんだろう チキンな野郎だｗ
920: 2022/11/07(月)07:50 ID:K/UclYxR(2/21) AAS
ブルシットせたぼんは、ひろゆきと同じで、ただ議論に勝ちたいだけ
真実とかどうでもいいサイコパス
921(1): 2022/11/07(月)07:56 ID:K/UclYxR(3/21) AAS
>>919
無限列についても
「各箱の確率分布は独立」
とかいう設定を止めて、例えば
「かならずある箇所から先が０になる列」
だけに限りしかも０でない項が先に現れるほど
出現確率が小さくなるようにうまく設定すれば
省5
上下前次1-新書関写板覧索設栞歴
あと 81 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s