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

前スレが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などは下付添え字

つづく

>>807
それが君の感想

サルはサイコパスか？
平気で捏造するのはサイコパスだからなんだろうな

違うというならどこに
>・サイコロ二つを振って、箱の中
>　目は決まっている
>・二つの和が12になる確率は？
>　二つとも6の場合で、1/36
と書かれてるか示してごらん

馬鹿は仕方ないが捏造は人間として終わってるだろ

まあサルは最初から人間じゃないがｗ

>>783 補足
>時枝の二つの決定番号 da,db ∈N(可算無限集合)で
>確率P(da>db)=1/2 と錯覚するが如し
>（∵ N(可算無限集合)だから、∞/∞ で不定形で、1/2はいえない）
>けれども、人はついつい 確率P(da>db)=1/2 と錯覚するのです

二つ例を挙げよう
・ケースA
　n∈N(可算無限集合) で、nは奇数か偶数だ
　奇数か偶数かは、半々だが
　確率P（nは奇数）＝1/2 ？
　しかし、Ω＝Nだと 全体が発散しているので、確率計算1/2は正当化できない
・ケースB
　冒頭の場合だが、補足しよう
　Ω＝{1,2,・・n}の有限集合で、一様分布とする
　この場合、nが十分大きいと、上記 確率P(da>db)=1/2は正しい
　補足すると
　daを横軸（x軸）、dbを縦軸（y軸）にとると、
　一辺nの正方形の格子が描ける
　da＝db は 対角線（直線y＝x）上にある
　da>db の領域は、対角線 より下側の直角三角形を成す
　だから、全体の正方形に対し 下側の直角三角形の部分は1/2だ
　ところが、これは有限の場合だ
　Ω＝Nで 全体が発散していると 有限の場合の全体の正方形が無限大に発散し
　下側の直角三角形の部分も無限大に発散する
　よって、∞/∞ で不定形で、1/2はいえない

>>812
>確率P(da>db)=1/2 と錯覚
それ君だけね
時枝先生はそんな阿呆な錯覚していない

>>808 >>810
>https://study-line.com/kakuritsu-saikoro/
>を見てみたが、
>>・サイコロ二つを振って、箱の中
>>　目は決まっている
>>・二つの和が12になる確率は？
>>　二つとも6の場合で、1/36
>と書かれてるか示してごらん

本気で聞いているのかな？ｗ
上記のサイト中で

冒頭に
”今回の内容をサクッと理解したい方はこちらの動画がおススメです”
とあって、動画のリンク貼ってあるよ。そこにあるよ

本気で聞いていたのか！ｗ
やれやれ　；ｐ）

>>814
動画の何分何秒から？

>>814
>そこにあるよ
嘘でないなら答えられるよな？　何分何秒から？

嘘に嘘を重ねて破綻する
完全にサイコパスだわこいつ

>>814
おかしいなあ、俺が見た限り
「〇〇のサイコロを投げる。〇〇になる確率を求めなさい。」
という出題パターンしか無いんだが

どこにも
>・サイコロ二つを振って、箱の中
>　目は決まっている
なんて無いんだが

もしかして君の捏造？　いったいどういう了見なんだ？　何のために捏造するんだ？
数学どうこう以前の人間性がぶっ壊れてるよ君

他人にマウント取るためなら捏造なんて屁とも思わない
動画を特定したらすぐバレることは火を見るより明らかなのにそれでもやらずにいられない

狂ってる　完全に狂ってる　ここまでの異常人格者見たこと無い

サイコパスの特徴
・窃盗などの違法行為を繰り返すことがある
・自信にあふれ、魅力的に見える
・他人に対して共感する気持ちが持てない
・人を支配する
・平然とうそをつく
・衝動的に行動する
・他人を責める
・無責任である

魅力的に見える以外全部当てはまってて草

>>809
開けてない箱の∀を後ろに持っていけないのが非公開の情報を使ってるなによりの証拠じゃん

>>821
非公開の情報とは？

>>822
開けてない箱の中身以外にあるかよ

>>823
証拠になる理由は？

言っておくが、君の好きな問題において証拠になるは理由にならないぞ？
問題が違えば証拠になるならないも違ってくる

>>824
使ってなければ後ろに持ってけるだろ

>>824
それ待遇を言ってるに過ぎないじゃんｗ
君の持論の正しさを示せと言ってるのに待遇を持ち出すって、君、もしかして馬鹿？

アンカミス　>>826な

命題Aが真であることとその対偶が真であることは同値
よって対偶を持ち出してもAが真である理由には１�_もならない
高校で習わんかった？

正しい理由を聞かれてつい対偶を持ち出してしまったってことは、正しいと妄想してるだけってことさ
違うと言うなら箱入り無数目においても正しいことを示してみて

>>827
使ってなければ後ろに持っていけるは定理として簡単に証明できるだろ

>>831
じゃ証明して

>>832
∃(x+1)とか言ってるやつにこんなメタな定理が理解できるわけないだろ

>>833
はい、また逃げました〜
その逃亡芸もう秋田

できもしないことを簡単にできるとか言っちゃう君もサイコパスザルと同類やね
不成立派はこんなんばっかやなｗ

動画に出てる←嘘
簡単にできる←嘘

サイコパスしかおらんのかい、不成立派はｗ

>>834
やっぱり∃(x+1).と同一人物だったのか
こんな頭のおかしい論理式書くやつの相手なんて誰がするかよ

>>818
サイコパスのおサル>>8
詭弁のデパートだな
次のスレでテンプレに入れておくぜ！ｗ

（>>814より再録）
>>808 >>810
>https://study-line.com/kakuritsu-saikoro/
>を見てみたが、
>>・サイコロ二つを振って、箱の中
>>　目は決まっている
>>・二つの和が12になる確率は？
>>　二つとも6の場合で、1/36
>と書かれてるか示してごらん

本気で聞いているのかな？ｗ
上記のサイト中で
冒頭に
”今回の内容をサクッと理解したい方はこちらの動画がおススメです”
とあって、動画のリンク貼ってあるよ。そこにあるよ
(引用終り)

（>>818より再録）
>>814
おかしいなあ、俺が見た限り
「〇〇のサイコロを投げる。〇〇になる確率を求めなさい。」
という出題パターンしか無いんだが
どこにも
>・サイコロ二つを振って、箱の中
>　目は決まっている
なんて無いんだが
(引用終り)

１）サイコロ二つを振って 二つの和が12になる確率は？ 二つとも6の場合で、1/36
　これが分からないと聞いてきた
２）動画にあると示したら、「サイコロ二つを振って、箱の中 目は決まっている なんて無いんだが」
　ときたもんだ。笑える

中学レベルの確率論でつまずいているんだ
アホのきわみだね

>>837
言い訳になってないよｗ

∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、これこれが証明可能であるなんて、∃(x
÷1)野郎に分かるわけないじゃん

>>838
>１）サイコロ二つを振って 二つの和が12になる確率は？ 二つとも6の場合で、1/36
どこにも
>・サイコロ二つを振って、箱の中
>　目は決まっている
なんて書かれてないじゃんｗ

>２）動画にあると示したら、「サイコロ二つを振って、箱の中 目は決まっている なんて無いんだが」
>　ときたもんだ。笑える
いや、動画のどこにも
>・サイコロ二つを振って、箱の中
>　目は決まっている
なんて無いよね
君、嘘ついてるよね
笑える？　君、病院行った方がいいよ

>>841
>これこれが証明可能である
ってなに？ｗ

>∃(x÷1)野郎に分かるわけないじゃん
じゃあ数学者に分かる証明を書いて
知り合いの数学者に見てもらうから

>>838
君さあ
これからサイコロを振ることと、サイコロを振った結果は違うことは理解できる？
前者の標本空間={1,2,3,4,5,6}
後者の標本空間={出た目}　←１元しかないので確率を考えてもナンセンス

>>843
∃y.∀x.P(x,y)に決まってるだろ
お前はどうせわかんないんだろ、伝言ゲームするぐらいのらそいつここによんでくれぱいいじゃん

動画に出てる←嘘
簡単にできる←嘘

サイコパスしかおらんのかい、不成立派はｗ

>>845
書かれてないのに呼ぶ意味は？
君、乱心してんの？落ち着けよ

>>845
簡単なんでしょ？
じゃさっさと書いてよ
書かれてもないのに呼ばないよｗ　なんで呼んだ？ってなっちゃうだろーがｗ

>>847
呼んでくれぱ書くよ
どうせ君には読めないじゃん

>>849
だーかーらー
呼ばれた人はどうすんだよｗ　なんで呼ばれたんだ？ってなるだろ？　分からんのか？　阿呆なの？馬鹿なの？

てかつべこべ言わずさっさと書けや
またいつものハッタリか？

∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である。終わり

君さ、会社でもそんななん？
レビューアを呼び出してから資料書くん？
資料書くのが先じゃないん？
だいじょうぶか？君

で、これは結局放置するわけ？

x+1が仮に変数だとして
＞∀x∈ℕ.∃(x+1).x<x+1
これをα変換したら
∀x∈ℕ.∃y.x<x+1
なのか
∀x∈ℕ.∃y.x<y
なのかすら不明瞭

>>853
ほら書いてやったぞさっさと呼んで来いよ

>>853
呼んで来たらついでに、>>854がどっちなのかも聞いていて

>>852
箱入り無数目におけるx、y、P(x,y)がそれぞれ何か述べよ

>>852
∀x.∃y.P(x,y)なる命題が箱入り無数目のそれと一致してなければ>>852は完全にナンセンスなので心して答えるように

>>858

>>370,395,396
これお前が書いたんじゃないの？

>>859
違うけど、
x=先手の手、y=後手の手、P(x,y)=後手の勝率は99/100以上
という理解で合ってる？

まずはここまで

>>860
じゃあこっちは上のアンカーみたいな定式化に対して∀∃の形にすんなって言ってるんだから、関係ないなら来ないでくれる

>>859
>∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である。

ex t (λx.f(x,t))　が　∃y.∀x.P(x,t)　の証明であるとなぜ君の主張「∀が先頭についてるんだから相手側に全公開してるだろ」が正当化されるの？

>>862
なんでそれが関係あるの？

そもそも、ゲームの攻略法を∀と∃の組み合わせで定式化したら前についてる量化子はすべて公開されてる状態で次の量化子の手番に進むに決まってんじゃん
これになんの疑問の余地があるのかさっぱりわからんのだが

>>863
>∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である。
は
>∀が先頭についてるんだから相手側に全公開してるだろ
の証明になってないって言ってるんだけど

的確に反論しないとｗ

>>864
>決まってんじゃん
はい、決まってないです
あなたの妄想です

>>865
なんでそれが相手側に全公開してることの証明だと思ったの？関係ないよね？

>>866
そう思うなら無視すりゃいいじゃん
こっちは∃(x+1)とか書き始める人間に何言われても気にしないから

>>867
じゃ何の証明だよｗ
こっちは最初から>>260が間違いであることは理解したの？って言ってるんだけどｗ
それに対する反論じゃなかったんか？　馬鹿かよｗ

>>867
おまえ頭オカシイのか？
さっさと>>260の正当性を示せよｗ

>>868
おまえ都合悪くなるといつも逃げるのな

>>869
∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、∃y.∀x.P(x,t)が証明できることの証明だろ
お前が>>832でこれを証明しろっていったんじゃねーかよ
記憶力ダチョウ並かよ

>>870
ゲームの定式化をそうやるって話だよ
これが嫌いなら勝手にすればいいじゃん
定式化が変われば結果が変わるのは当たり前なんだからさ

そもそも箱の中身を確率変数にして定式化すれば、∀の順序とか悩まずに定式化できるのに、こんな入口で躓いててこの先どーすんの

>>872
>∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、∃y.∀x.P(x,t)が証明できることの証明だろ
え？？？
λx.ex t f(x,t)　⇒　ex t (λx.f(x,t))　の証明は？
それ無いと∃y.∀x.P(x,t)が証明できることの証明になってないぞ

>>874
そもそも箱の中身を確率変数にできないのにこんな入口で躓いててこの先どーすんの

>>875
＞λx.ex t f(x,t)　⇒　ex t (λx.f(x,t))
⇒ってなに？ならば？

>>877
そうだよ
P⇒Q　は　Pが真ならQが真という命題

>>876
できないってなんだよ
定式化なんだから好きにやりゃいいんだよ
そもそも記事でやってる説明だって確率変数で書いたときの特別な場合だろ

>>878
なんでそこにならばをつけたの？
お前はπ⇒eとかみたいな感じでならばを使うんか？

>>880
「∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れない」から「ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である」へギャップがある
ギャップを埋めよ

1ならば2とか
sin 60°ならばtan 30°とか
お前はそういう風にならばを使うの？

>>881
ならばは？

>>881
ねえ、ならばはどこに行ったの！

>>879
>定式化なんだから好きにやりゃいいんだよ
大間違い
問題設定に沿ってなければダメ

ある一つの固定された出題に対し回答者の勝率が定義できるためには出題が試行であってはダメ
箱の中身を確率変数にするということは出題が試行ということ
なぜなら箱の中身が変化するのは出題毎だから

>そもそも記事でやってる説明だって確率変数で書いたときの特別な場合だろ
意味不明

>>884
ねえ、ギャップは？
いつ埋まるの？

>>885
じゃあ君がコロナに感染してるかどうかも確率変数にしちゃだめだね
医者どもはそれを確率変数だと思って診断してるから、お前はもうPCR検査行くなよ

>>882
おまえ馬鹿？　そういう風にも使えるよ
命題「x=π ⇒ x=e」は偽
はい、使った

>>886
ならばの意味が分からないから説明してよ
1⇒2って何？

>>888
π⇒eはどこに行ったの？

>>887
意味不明
確率空間を書いてみて

>>890
いいから早くギャップを埋めてよ
また逃げる気？

1 ≦ y ⇒ 0 ≦ yも
x = 1 ≦ y ⇒ x = 0 ≦ y だから偽だね

>>892
だからならばってなんだよ

こいつまた逃げる気か
都合が悪くなるといつも>>889 >>890みたいにごまかして逃げるな

>>894
ごまかすな
ギャップを示せ

>>891
なんの確率空間を書くの？
前から何度も言ってるように、普通は確率空間は任意だよ

>>896
ならばのところにギャップがあるんでしょ？
だから1⇒2ってなんなんだよって聞いてんだよ

>>898
>>881読めないの？なら小学校の国語からやり直し

>>897
>>887

>>900
それは任意の確率空間にしないと不便だろ

>>899
どこにギャップがあるの？
⇒はどこに行ったの？
まず⇒の話を解決しないと意味不明なんですけど

>>897
>前から何度も言ってるように、普通は確率空間は任意だよ
事象空間が任意てｗ　じゃ何の確率だよｗ　完全に狂ってるｗ

>>902
>どこにギャップがあるの？
「∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れない」から「ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である」へギャップがある
って日本語が読めないようだね。小学校の国語からやり直し

>>904
具体的に指摘してよ

>>903
だからお前は素人なんだよ
確率論の本を数冊読んでから出直せ

>>897
>前から何度も言ってるように、普通は確率空間は任意だよ
サイコロひとつを一回振る試行の標本空間は任意なので{}としました
この標本空間{}を用いて1の目がでる確率を計算してください

>>907
お前が決めるんじゃねーよ