スレタイ 箱入り無数目を語る部屋17
レス数が1000を超えています。これ以上書き込みはできません。
前スレが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 より
1.時枝問題(数学セミナー201511月号の記事)の最初の設定はこうだった。
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^nを入れてもよいし,すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
2.続けて時枝はいう
私たちのやろうとすることは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などは下付添え字
つづく >>818
サイコパスのおサル>>8
詭弁のデパートだな
次のスレでテンプレに入れておくぜ!w
(>>814より再録)
>>808 >>810
>https://study-line.com/kakuritsu-saikoro/
>を見てみたが、
>>・サイコロ二つを振って、箱の中
>> 目は決まっている
>>・二つの和が12になる確率は?
>> 二つとも6の場合で、1/36
>と書かれてるか示してごらん
本気で聞いているのかな?w
上記のサイト中で
冒頭に
”今回の内容をサクッと理解したい方はこちらの動画がおススメです”
とあって、動画のリンク貼ってあるよ。そこにあるよ
(引用終り)
(>>818より再録)
>>814
おかしいなあ、俺が見た限り
「〇〇のサイコロを投げる。〇〇になる確率を求めなさい。」
という出題パターンしか無いんだが
どこにも
>・サイコロ二つを振って、箱の中
> 目は決まっている
なんて無いんだが
(引用終り)
1)サイコロ二つを振って 二つの和が12になる確率は? 二つとも6の場合で、1/36
これが分からないと聞いてきた
2)動画にあると示したら、「サイコロ二つを振って、箱の中 目は決まっている なんて無いんだが」
ときたもんだ。笑える 中学レベルの確率論でつまずいているんだ
アホのきわみだね ∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、これこれが証明可能であるなんて、∃(x
÷1)野郎に分かるわけないじゃん >>838
>1)サイコロ二つを振って 二つの和が12になる確率は? 二つとも6の場合で、1/36
どこにも
>・サイコロ二つを振って、箱の中
> 目は決まっている
なんて書かれてないじゃんw
>2)動画にあると示したら、「サイコロ二つを振って、箱の中 目は決まっている なんて無いんだが」
> ときたもんだ。笑える
いや、動画のどこにも
>・サイコロ二つを振って、箱の中
> 目は決まっている
なんて無いよね
君、嘘ついてるよね
笑える? 君、病院行った方がいいよ >>841
>これこれが証明可能である
ってなに?w
>∃(x÷1)野郎に分かるわけないじゃん
じゃあ数学者に分かる証明を書いて
知り合いの数学者に見てもらうから >>838
君さあ
これからサイコロを振ることと、サイコロを振った結果は違うことは理解できる?
前者の標本空間={1,2,3,4,5,6}
後者の標本空間={出た目} ←1元しかないので確率を考えてもナンセンス >>843
∃y.∀x.P(x,y)に決まってるだろ
お前はどうせわかんないんだろ、伝言ゲームするぐらいのらそいつここによんでくれぱいいじゃん 動画に出てる←嘘
簡単にできる←嘘
サイコパスしかおらんのかい、不成立派はw >>845
書かれてないのに呼ぶ意味は?
君、乱心してんの?落ち着けよ >>845
簡単なんでしょ?
じゃさっさと書いてよ
書かれてもないのに呼ばないよw なんで呼んだ?ってなっちゃうだろーがw >>847
呼んでくれぱ書くよ
どうせ君には読めないじゃん >>849
だーかーらー
呼ばれた人はどうすんだよw なんで呼ばれたんだ?ってなるだろ? 分からんのか? 阿呆なの?馬鹿なの? てかつべこべ言わずさっさと書けや
またいつものハッタリか? ∀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) の証明であるとなぜ君の主張「∀が先頭についてるんだから相手側に全公開してるだろ」が正当化されるの? そもそも、ゲームの攻略法を∀と∃の組み合わせで定式化したら前についてる量化子はすべて公開されてる状態で次の量化子の手番に進むに決まってんじゃん
これになんの疑問の余地があるのかさっぱりわからんのだが >>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)の証明である。
は
>∀が先頭についてるんだから相手側に全公開してるだろ
の証明になってないって言ってるんだけど
的確に反論しないとw >>864
>決まってんじゃん
はい、決まってないです
あなたの妄想です >>865
なんでそれが相手側に全公開してることの証明だと思ったの?関係ないよね? >>866
そう思うなら無視すりゃいいじゃん
こっちは∃(x+1)とか書き始める人間に何言われても気にしないから >>867
じゃ何の証明だよw
こっちは最初から>>260が間違いであることは理解したの?って言ってるんだけどw
それに対する反論じゃなかったんか? 馬鹿かよw >>867
おまえ頭オカシイのか?
さっさと>>260の正当性を示せよw >>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°とか
お前はそういう風にならばを使うの? >>879
>定式化なんだから好きにやりゃいいんだよ
大間違い
問題設定に沿ってなければダメ
ある一つの固定された出題に対し回答者の勝率が定義できるためには出題が試行であってはダメ
箱の中身を確率変数にするということは出題が試行ということ
なぜなら箱の中身が変化するのは出題毎だから
>そもそも記事でやってる説明だって確率変数で書いたときの特別な場合だろ
意味不明 >>885
じゃあ君がコロナに感染してるかどうかも確率変数にしちゃだめだね
医者どもはそれを確率変数だと思って診断してるから、お前はもうPCR検査行くなよ >>882
おまえ馬鹿? そういう風にも使えるよ
命題「x=π ⇒ x=e」は偽
はい、使った >>886
ならばの意味が分からないから説明してよ
1⇒2って何? >>890
いいから早くギャップを埋めてよ
また逃げる気? 1 ≦ y ⇒ 0 ≦ yも
x = 1 ≦ y ⇒ x = 0 ≦ y だから偽だね こいつまた逃げる気か
都合が悪くなるといつも>>889 >>890みたいにごまかして逃げるな >>891
なんの確率空間を書くの?
前から何度も言ってるように、普通は確率空間は任意だよ >>896
ならばのところにギャップがあるんでしょ?
だから1⇒2ってなんなんだよって聞いてんだよ >>898
>>881読めないの?なら小学校の国語からやり直し >>900
それは任意の確率空間にしないと不便だろ >>899
どこにギャップがあるの?
⇒はどこに行ったの?
まず⇒の話を解決しないと意味不明なんですけど >>897
>前から何度も言ってるように、普通は確率空間は任意だよ
事象空間が任意てw じゃ何の確率だよw 完全に狂ってるw >>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)の証明である」へギャップがある
って日本語が読めないようだね。小学校の国語からやり直し >>903
だからお前は素人なんだよ
確率論の本を数冊読んでから出直せ >>897
>前から何度も言ってるように、普通は確率空間は任意だよ
サイコロひとつを一回振る試行の標本空間は任意なので{}としました
この標本空間{}を用いて1の目がでる確率を計算してください >>905
>>904が具体的なギャップの指摘
ギャップを埋めるのは君 >>908
あれ?任意でいいって言ってなかったっけ?
任意でいいってことは俺が決めてもいいんだろ?ダメなの?じゃ誰が決めんの?それ任意って言うの?馬鹿? >>913
任意の確率空間(Ω,F,P)について何々から書き始めるから任意なんだよ、お前がひとつに決めるなよ >>911
>>852って単に
「先手の情報が全公開されてないなら ∀x.∃y.P(x,y) を ∃y.∀x.P(x,t) に書き換えられる」
と言ってるに過ぎず、それって君の持論を言い直しただけじゃんw
何の証明にもなってないw 馬鹿過ぎw >>914
>任意の確率空間(Ω,F,P)について何々から書き始めるから任意なんだよ
日本語でお願いします
>お前がひとつに決めるなよ
じゃあおまえがひとつに決めろよ >>911
なぜ書き換えられるかの理由が無いと証明にならんぞw
てかおまえ証明って何か分かってる?w >>916
ひとつに決めたら不便だろ
頭沸いてるのかよ >>915
全然違う
>「先手の情報が全公開されてないなら ∀x.∃y.P(x,y) を ∃y.∀x.P(x,t) に書き換えられる」
勝手に捏造しないでくれます? >>919
だからひとつに決めないのも定式化の一部なんだよ >>918
おまえいっつも逃げるのな
逃げ口上考える頭を数学に使えば? >>922
不便なものに不便だと言って何が悪い
確率論の標準的な手法に文句があるならコルモゴロフにでも言ってくれ >>923
∃(x+1)くんが捏造してるのに合ってるわけないだろ >>921
ひとつに決めないのも定式化の一部ならひとつに決めるのも定式化の一部だろ
じゃ決めろよ
これ以上逃げ口上は勘弁な >>925
悪いなんて言ってないじゃんw 幻聴が聞こえるのか? >>927
何言ってんの
定式化は各人好きなようにやっていいよ
君がやりたいならそうしろよ
こっちは確率論を具体的に書かない標準的なやり方でやるから >>930
おまえさっき勝手に決めるなって言ったのもう忘れたの?w
ダメだこいつw 完全にイカレてやがるw >>929
>「先手の情報が全公開されてないなら ∀x.∃y.P(x,y) を ∃y.∀x.P(x,t) に書き換えられる」
このような主張はしてない >>931
君の決めたやつで勝手にやってていいから 0908132人目の素数さん
2024/03/17(日) 01:52:50.48ID:egixwGA8
>>907
お前が決めるんじゃねーよ
0930132人目の素数さん
2024/03/17(日) 02:18:16.92ID:egixwGA8
>>927
定式化は各人好きなようにやっていいよ
君がやりたいならそうしろよ
↑
錯乱してるw >>933
0908132人目の素数さん
2024/03/17(日) 01:52:50.48ID:egixwGA8
>>907
お前が決めるんじゃねーよ >>932
>∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である
証明である理由が何も書かれてなくて勝手に宣言してるだけじゃんw
宣言したもん勝ちかよw >>935
こっちの定式化では任意にしてるところをお前が決めんなって言ってんの
お前が定式化してるところは固定で好きなようにやっていいから >>937
何?証明であるのところが解らなかったの?
なんで今まで具体的に書かなかったの? >>938
なんでおまえが持ち出したPCR検査の確率空間をそんなに書きたくないの?
書けないなら持ち出さなきゃいいじゃん
持ち出したからには書けよ
不便とか言い訳してんなよカス >>939
うん分からなかった
証明になってないから分かり様が無い >>940
なんで具体的に書けると思うの?
任意の確率空間って書いてんじゃん >>939
もう一回聞くけど
ex t (λx.f(x,t)) が ∃y.∀x.P(x,t) の証明である理由は何? >>942
任意ってことは{}でもいいんだろ?
じゃあ>>907に答えろや 何逃げてんだよ こいつ書けって言うと全部逃げるのなw
口から出まかせだから書けないんだろう そりゃ逃げるしかないわな >>939
もうひとつ聞くけど
xがtに自由に現れるとき ex t (λx.f(x,t)) が ∃y.∀x.P(x,t) の証明でない理由は何? >>947
それ知らないのになんでギャップがあるって主張すんの?
お前が知ってる定義を書いてみろよ >>950
自分が書けないからって何言いだすんだおまえw 証明の定義の言い出しっぺはおまえだろ?
言い出しっぺが書けやクズ >>949
それなんか関係ある?
具体的にやってみりゃわかんじゃん >>952
教科書に載ってるものをコピペする必要性がどこにあるの? >>954
結局理由をひとつも言えないのね?
だけど証明になってると思ってるのね?
ダメだこりゃ 聞いていいか?
箱入り無数目は∃y.∀x.P(x,t)とは書けない
一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている
それはおまえの持論に反してるんだろ?
てことは上記証明が間違ってるはずなんだろ?
どこが間違ってるの? >>958
>箱入り無数目は∃y.∀x.P(x,t)とは書けない
書ける
>一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている
後者はPが具体的に書かれていないと証明されているのか不明。そもそも証明にはxが公開されているとかいう要素は関係ない 時枝証明とおまえの持論は相容れない
おまえの持論の正しさを証明するには時枝証明の間違い箇所を具体的に指摘する必要がある
がんばれよw >>961
記事の証明に間違いなんてねーぞ
そこは全員の共通認識だろ
今さら何言ってんの? >>960
>書ける
じゃyを書いてみて
>そもそも証明にはxが公開されているとかいう要素は関係ない
0260132人目の素数さん
2024/03/07(木) 16:55:42.19ID:C3Ro7iPT
>>259
∀が先頭についてるんだから相手側に全公開してるだろ >>962
>記事の証明に間違いなんてねーぞ
え???
じゃおまえは箱入り無数目成立派なの?
じゃ何に対し文句垂れてんの? >>963
yは1でいいよ
>>そもそも証明にはxが公開されているとかいう要素は関係ない
>0260132人目の素数さん
>2024/03/07(木) 16:55:42.19ID:C3Ro7iPT
>>>259
>∀が先頭についてるんだから相手側に全公開してるだろ
これの何が関係あるの? >>964
お前らが適当に∀と∃を並べて曖昧なろんりを書いたり、確率変数を使った定式化を否定してるのに文句言ってんだよ >>965
>yは1でいいよ
ダメだこいつw yがどんな空間に属すかすら分かってないw
>これの何が関係あるの?
そもそもおまえは何に対して文句垂れてんの? >>966
確率変数を使った定式化を否定してる訳ねーだろw 何をどう勘違いしたらそうなるんだ?w
100列のいずれを選択するかが確率変数だと言ってんだよw 馬鹿かおまえは >>967
あいまいな論理式の前に
確率変数だから∀の位置がどうたらこうたらっておまえの持論の方がよっぽどデタラメだぞw >>968
お前が∃y∀xの形で書けっていったんだろ、∃y∈{1}.∀x∈{1}.でいいじゃん残りは勝手に埋めるから もう一回聞くけどおまえは箱入り無数目記事は正しい、つまり、任意の出題列に対して回答者が確率99/100以上で勝てる戦略が存在すると思ってるのね? >>969
箱の中身も確率変数にしてもいいだろって言ってんだよ >>971
>∃y∈{1}.∀x∈{1}.でいいじゃん
それ箱入り無数目じゃないからダメ >>972
その確率をどういう情報をもとに計算したかによるから定式化によって答が変わるって言ってるの >>974
なんで?
∃y∈{1}.∀x∈{1}.の後ろにお前が思う
正しい論理式をxとyの名前だけ変えて書けばいいじゃん いいとはどういう意味のいいなの?
そういう問題を考えてもいいなのか箱入り無数目をそう定式化してもいいなのか
後者なら完全に間違い >>975
箱の中身を確率変数にする定式化だってあるだろ >>978
だから、そういう他の定式化を否定してるところに文句言ってんだよ >>976
大間違い
問題に曖昧さが無いから答えは唯一
定式化によって答えが変わるなら定式化の仕方が間違ってるだけ 何が完全に間違いだよ
記事の定式化の拡張になってるのに間違いになる要素なんてあるわけないだろ >>979
箱入り無数目にはそんな定式化は無い
問題自体が変わる >>982
>記事の定式化の拡張になってるのに間違いになる要素なんてあるわけないだろ
が >>980
それはおまえが箱入り無数目を理解していないだけのこと >>981
問題文では確率なんて定めてないのに、なんでそう言い切れるの? ∃(x+1)とか書くやつに理解してないとか言われてもね
あと1⇒2 箱入り無数目の前にまずおまえは「見えないもの=確率変数」と言ったよな?
それ間違いな
壷の中でサイコロを振って1の目が出た
客は1に賭ける
客が勝つ確率は?
壷の中でサイコロを振って1の目が出た
客はランダムに賭ける
客が勝つ確率は?
客は1に賭けた
壷の中でサイコロを振る
客が勝つ確率は?
この問題に正答できるなら「見えないもの=確率変数」が間違いであることも分かるだろう >>986
箱入り無数目では箱の中身を確率変数とする定式化は間違いだって言ってるの >>988
何言ってんのかわからん
何を知ってるときの確率なのか正確に書いて >>989
∃(x+1)の人の意見としてそれはもう承ったから何度も言わなくていいよ >>986
(選択公理を除けば)問題文に曖昧さが無いから
回答者が勝率99/100以上で勝つ戦略があるか?という問いにはあるという答えしかない
記事の戦略で勝つ確率は?という問いには1-1/n以上という答えしかない
そういうことを言ってるんだよ
で、それには箱の中身を確率変数とする定式化はダメだと言ってるんだよ >>990
客は壷の中でサイコロを振ったとかこれから振るとかしか知らんよ 壷の中身は知らんよ 当然w >>991
そういう大口は>>988に正答してからたたこうな >>992
中身を確率変数にしても記事と同じ結果になる確率空間は存在するだろ
ちゃんと拡張になってんだよ >>993
だから計算したい確率は知らない人から見た確率なのかって言ってんだよ >>995
存在するなら書けやクズ
書きもせずに存在するする詐欺かおまえはw >>994
お前確率論の本読み切れてないじゃん
正解かどうか以前に自分がどういう問題を出してるかすら分かってないだろ >>997
そんなん箱の中身がデルタ分布になってる場合に決まってるだろ
いい加減頭使えよ このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 11日 20時間 3分 10秒 5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
4 USD/mon. から匿名でご購入いただけます。
▼ UPLIFT会員登録はこちら ▼
https://uplift.5ch.net/
▼ UPLIFTログインはこちら ▼
https://uplift.5ch.net/login レス数が1000を超えています。これ以上書き込みはできません。