X



トップページ数学
1002コメント575KB

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

レス数が1000を超えています。これ以上書き込みはできません。
0001132人目の素数さん
垢版 |
2024/03/05(火) 08:04:40.23ID:FscjMFDQ
前スレが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などは下付添え字

つづく
0838132人目の素数さん
垢版 |
2024/03/16(土) 23:03:57.43ID:+LjGwmYz
>>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)動画にあると示したら、「サイコロ二つを振って、箱の中 目は決まっている なんて無いんだが」
 ときたもんだ。笑える
0839132人目の素数さん
垢版 |
2024/03/16(土) 23:06:45.95ID:+LjGwmYz
中学レベルの確率論でつまずいているんだ
アホのきわみだね
0840132人目の素数さん
垢版 |
2024/03/16(土) 23:07:39.62ID:/v13gW+O
>>837
言い訳になってないよw
0841132人目の素数さん
垢版 |
2024/03/16(土) 23:12:43.81ID:REZvRVWI
∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、これこれが証明可能であるなんて、∃(x
÷1)野郎に分かるわけないじゃん
0842132人目の素数さん
垢版 |
2024/03/16(土) 23:18:18.29ID:/v13gW+O
>>838
>1)サイコロ二つを振って 二つの和が12になる確率は? 二つとも6の場合で、1/36
どこにも
>・サイコロ二つを振って、箱の中
> 目は決まっている
なんて書かれてないじゃんw

>2)動画にあると示したら、「サイコロ二つを振って、箱の中 目は決まっている なんて無いんだが」
> ときたもんだ。笑える
いや、動画のどこにも
>・サイコロ二つを振って、箱の中
> 目は決まっている
なんて無いよね
君、嘘ついてるよね
笑える? 君、病院行った方がいいよ
0843132人目の素数さん
垢版 |
2024/03/16(土) 23:23:34.82ID:/v13gW+O
>>841
>これこれが証明可能である
ってなに?w

>∃(x÷1)野郎に分かるわけないじゃん
じゃあ数学者に分かる証明を書いて
知り合いの数学者に見てもらうから
0844132人目の素数さん
垢版 |
2024/03/16(土) 23:32:51.63ID:/v13gW+O
>>838
君さあ
これからサイコロを振ることと、サイコロを振った結果は違うことは理解できる?
前者の標本空間={1,2,3,4,5,6}
後者の標本空間={出た目} ←1元しかないので確率を考えてもナンセンス
0845132人目の素数さん
垢版 |
2024/03/16(土) 23:33:50.33ID:REZvRVWI
>>843
∃y.∀x.P(x,y)に決まってるだろ
お前はどうせわかんないんだろ、伝言ゲームするぐらいのらそいつここによんでくれぱいいじゃん
0846132人目の素数さん
垢版 |
2024/03/16(土) 23:34:44.04ID:/v13gW+O
動画に出てる←嘘
簡単にできる←嘘

サイコパスしかおらんのかい、不成立派はw
0847132人目の素数さん
垢版 |
2024/03/16(土) 23:39:17.12ID:/v13gW+O
>>845
書かれてないのに呼ぶ意味は?
君、乱心してんの?落ち着けよ
0848132人目の素数さん
垢版 |
2024/03/16(土) 23:42:00.72ID:/v13gW+O
>>845
簡単なんでしょ?
じゃさっさと書いてよ
書かれてもないのに呼ばないよw なんで呼んだ?ってなっちゃうだろーがw
0850132人目の素数さん
垢版 |
2024/03/16(土) 23:45:16.11ID:/v13gW+O
>>849
だーかーらー
呼ばれた人はどうすんだよw なんで呼ばれたんだ?ってなるだろ? 分からんのか? 阿呆なの?馬鹿なの?
0851132人目の素数さん
垢版 |
2024/03/16(土) 23:46:57.63ID:/v13gW+O
てかつべこべ言わずさっさと書けや
またいつものハッタリか?
0852132人目の素数さん
垢版 |
2024/03/16(土) 23:48:56.82ID:REZvRVWI
∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である。終わり
0853132人目の素数さん
垢版 |
2024/03/16(土) 23:49:46.07ID:/v13gW+O
君さ、会社でもそんななん?
レビューアを呼び出してから資料書くん?
資料書くのが先じゃないん?
だいじょうぶか?君
0854132人目の素数さん
垢版 |
2024/03/16(土) 23:50:39.70ID:REZvRVWI
で、これは結局放置するわけ?

x+1が仮に変数だとして
>∀x∈ℕ.∃(x+1).x<x+1
これをα変換したら
∀x∈ℕ.∃y.x<x+1
なのか
∀x∈ℕ.∃y.x<y
なのかすら不明瞭
0857132人目の素数さん
垢版 |
2024/03/16(土) 23:55:14.40ID:/v13gW+O
>>852
箱入り無数目におけるx、y、P(x,y)がそれぞれ何か述べよ
0858132人目の素数さん
垢版 |
2024/03/16(土) 23:58:01.45ID:/v13gW+O
>>852
∀x.∃y.P(x,y)なる命題が箱入り無数目のそれと一致してなければ>>852は完全にナンセンスなので心して答えるように
0860132人目の素数さん
垢版 |
2024/03/17(日) 00:16:23.47ID:VAa6dkvQ
>>859
違うけど、
x=先手の手、y=後手の手、P(x,y)=後手の勝率は99/100以上
という理解で合ってる?

まずはここまで
0861132人目の素数さん
垢版 |
2024/03/17(日) 00:27:17.53ID:egixwGA8
>>860
じゃあこっちは上のアンカーみたいな定式化に対して∀∃の形にすんなって言ってるんだから、関係ないなら来ないでくれる
0862132人目の素数さん
垢版 |
2024/03/17(日) 00:40:01.46ID:VAa6dkvQ
>>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) の証明であるとなぜ君の主張「∀が先頭についてるんだから相手側に全公開してるだろ」が正当化されるの?
0864132人目の素数さん
垢版 |
2024/03/17(日) 00:53:55.64ID:egixwGA8
そもそも、ゲームの攻略法を∀と∃の組み合わせで定式化したら前についてる量化子はすべて公開されてる状態で次の量化子の手番に進むに決まってんじゃん
これになんの疑問の余地があるのかさっぱりわからんのだが
0865132人目の素数さん
垢版 |
2024/03/17(日) 00:54:26.72ID:VAa6dkvQ
>>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
0866132人目の素数さん
垢版 |
2024/03/17(日) 00:55:56.21ID:VAa6dkvQ
>>864
>決まってんじゃん
はい、決まってないです
あなたの妄想です
0868132人目の素数さん
垢版 |
2024/03/17(日) 00:57:24.92ID:egixwGA8
>>866
そう思うなら無視すりゃいいじゃん
こっちは∃(x+1)とか書き始める人間に何言われても気にしないから
0869132人目の素数さん
垢版 |
2024/03/17(日) 00:58:15.47ID:VAa6dkvQ
>>867
じゃ何の証明だよw
こっちは最初から>>260が間違いであることは理解したの?って言ってるんだけどw
それに対する反論じゃなかったんか? 馬鹿かよw
0870132人目の素数さん
垢版 |
2024/03/17(日) 00:59:52.45ID:VAa6dkvQ
>>867
おまえ頭オカシイのか?
さっさと>>260の正当性を示せよw
0871132人目の素数さん
垢版 |
2024/03/17(日) 01:02:08.61ID:VAa6dkvQ
>>868
おまえ都合悪くなるといつも逃げるのな
0872132人目の素数さん
垢版 |
2024/03/17(日) 01:02:45.83ID:egixwGA8
>>869
∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、∃y.∀x.P(x,t)が証明できることの証明だろ
お前が>>832でこれを証明しろっていったんじゃねーかよ
記憶力ダチョウ並かよ
0873132人目の素数さん
垢版 |
2024/03/17(日) 01:05:59.86ID:egixwGA8
>>870
ゲームの定式化をそうやるって話だよ
これが嫌いなら勝手にすればいいじゃん
定式化が変われば結果が変わるのは当たり前なんだからさ
0874132人目の素数さん
垢版 |
2024/03/17(日) 01:08:42.91ID:egixwGA8
そもそも箱の中身を確率変数にして定式化すれば、∀の順序とか悩まずに定式化できるのに、こんな入口で躓いててこの先どーすんの
0875132人目の素数さん
垢版 |
2024/03/17(日) 01:09:04.96ID:VAa6dkvQ
>>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)が証明できることの証明になってないぞ
0876132人目の素数さん
垢版 |
2024/03/17(日) 01:10:22.07ID:VAa6dkvQ
>>874
そもそも箱の中身を確率変数にできないのにこんな入口で躓いててこの先どーすんの
0878132人目の素数さん
垢版 |
2024/03/17(日) 01:16:14.72ID:VAa6dkvQ
>>877
そうだよ
P⇒Q は Pが真ならQが真という命題
0879132人目の素数さん
垢版 |
2024/03/17(日) 01:16:22.80ID:egixwGA8
>>876
できないってなんだよ
定式化なんだから好きにやりゃいいんだよ
そもそも記事でやってる説明だって確率変数で書いたときの特別な場合だろ
0880132人目の素数さん
垢版 |
2024/03/17(日) 01:17:37.88ID:egixwGA8
>>878
なんでそこにならばをつけたの?
お前はπ⇒eとかみたいな感じでならばを使うんか?
0881132人目の素数さん
垢版 |
2024/03/17(日) 01:22:54.32ID:VAa6dkvQ
>>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)の証明である」へギャップがある
ギャップを埋めよ
0882132人目の素数さん
垢版 |
2024/03/17(日) 01:23:20.56ID:egixwGA8
1ならば2とか
sin 60°ならばtan 30°とか
お前はそういう風にならばを使うの?
0885132人目の素数さん
垢版 |
2024/03/17(日) 01:30:15.41ID:VAa6dkvQ
>>879
>定式化なんだから好きにやりゃいいんだよ
大間違い
問題設定に沿ってなければダメ

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

>そもそも記事でやってる説明だって確率変数で書いたときの特別な場合だろ
意味不明
0886132人目の素数さん
垢版 |
2024/03/17(日) 01:31:06.42ID:VAa6dkvQ
>>884
ねえ、ギャップは?
いつ埋まるの?
0887132人目の素数さん
垢版 |
2024/03/17(日) 01:32:59.45ID:egixwGA8
>>885
じゃあ君がコロナに感染してるかどうかも確率変数にしちゃだめだね
医者どもはそれを確率変数だと思って診断してるから、お前はもうPCR検査行くなよ
0888132人目の素数さん
垢版 |
2024/03/17(日) 01:33:33.37ID:VAa6dkvQ
>>882
おまえ馬鹿? そういう風にも使えるよ
命題「x=π ⇒ x=e」は偽
はい、使った
0891132人目の素数さん
垢版 |
2024/03/17(日) 01:37:08.43ID:VAa6dkvQ
>>887
意味不明
確率空間を書いてみて
0892132人目の素数さん
垢版 |
2024/03/17(日) 01:38:04.38ID:VAa6dkvQ
>>890
いいから早くギャップを埋めてよ
また逃げる気?
0895132人目の素数さん
垢版 |
2024/03/17(日) 01:39:57.90ID:VAa6dkvQ
こいつまた逃げる気か
都合が悪くなるといつも>>889 >>890みたいにごまかして逃げるな
0896132人目の素数さん
垢版 |
2024/03/17(日) 01:40:31.93ID:VAa6dkvQ
>>894
ごまかすな
ギャップを示せ
0897132人目の素数さん
垢版 |
2024/03/17(日) 01:40:35.03ID:egixwGA8
>>891
なんの確率空間を書くの?
前から何度も言ってるように、普通は確率空間は任意だよ
0898132人目の素数さん
垢版 |
2024/03/17(日) 01:41:53.07ID:egixwGA8
>>896
ならばのところにギャップがあるんでしょ?
だから1⇒2ってなんなんだよって聞いてんだよ
0899132人目の素数さん
垢版 |
2024/03/17(日) 01:43:11.58ID:VAa6dkvQ
>>898
>>881読めないの?なら小学校の国語からやり直し
0900132人目の素数さん
垢版 |
2024/03/17(日) 01:43:41.06ID:VAa6dkvQ
>>897
>>887
0902132人目の素数さん
垢版 |
2024/03/17(日) 01:46:12.09ID:egixwGA8
>>899
どこにギャップがあるの?
⇒はどこに行ったの?
まず⇒の話を解決しないと意味不明なんですけど
0903132人目の素数さん
垢版 |
2024/03/17(日) 01:47:08.12ID:VAa6dkvQ
>>897
>前から何度も言ってるように、普通は確率空間は任意だよ
事象空間が任意てw じゃ何の確率だよw 完全に狂ってるw
0904132人目の素数さん
垢版 |
2024/03/17(日) 01:48:24.79ID:VAa6dkvQ
>>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)の証明である」へギャップがある
って日本語が読めないようだね。小学校の国語からやり直し
0907132人目の素数さん
垢版 |
2024/03/17(日) 01:51:55.31ID:VAa6dkvQ
>>897
>前から何度も言ってるように、普通は確率空間は任意だよ
サイコロひとつを一回振る試行の標本空間は任意なので{}としました
この標本空間{}を用いて1の目がでる確率を計算してください
0909132人目の素数さん
垢版 |
2024/03/17(日) 01:53:10.53ID:VAa6dkvQ
>>905
>>904が具体的なギャップの指摘
ギャップを埋めるのは君
0910132人目の素数さん
垢版 |
2024/03/17(日) 01:53:50.14ID:VAa6dkvQ
>>906
屁理屈はよいので>>907に答えて
0913132人目の素数さん
垢版 |
2024/03/17(日) 01:55:41.74ID:VAa6dkvQ
>>908
あれ?任意でいいって言ってなかったっけ?
任意でいいってことは俺が決めてもいいんだろ?ダメなの?じゃ誰が決めんの?それ任意って言うの?馬鹿?
0914132人目の素数さん
垢版 |
2024/03/17(日) 01:58:53.06ID:egixwGA8
>>913
任意の確率空間(Ω,F,P)について何々から書き始めるから任意なんだよ、お前がひとつに決めるなよ
0915132人目の素数さん
垢版 |
2024/03/17(日) 02:05:48.90ID:VAa6dkvQ
>>911
>>852って単に
「先手の情報が全公開されてないなら ∀x.∃y.P(x,y) を ∃y.∀x.P(x,t) に書き換えられる」
と言ってるに過ぎず、それって君の持論を言い直しただけじゃんw
何の証明にもなってないw 馬鹿過ぎw
0916132人目の素数さん
垢版 |
2024/03/17(日) 02:07:55.95ID:VAa6dkvQ
>>914
>任意の確率空間(Ω,F,P)について何々から書き始めるから任意なんだよ
日本語でお願いします

>お前がひとつに決めるなよ
じゃあおまえがひとつに決めろよ
0917132人目の素数さん
垢版 |
2024/03/17(日) 02:09:56.03ID:VAa6dkvQ
>>911
なぜ書き換えられるかの理由が無いと証明にならんぞw
てかおまえ証明って何か分かってる?w
0919132人目の素数さん
垢版 |
2024/03/17(日) 02:12:00.92ID:VAa6dkvQ
>>918
不便でいいから決めろ
0920132人目の素数さん
垢版 |
2024/03/17(日) 02:12:31.38ID:egixwGA8
>>915
全然違う

>「先手の情報が全公開されてないなら ∀x.∃y.P(x,y) を ∃y.∀x.P(x,t) に書き換えられる」
勝手に捏造しないでくれます?
0922132人目の素数さん
垢版 |
2024/03/17(日) 02:13:11.84ID:VAa6dkvQ
>>918
おまえいっつも逃げるのな
逃げ口上考える頭を数学に使えば?
0923132人目の素数さん
垢版 |
2024/03/17(日) 02:13:49.01ID:VAa6dkvQ
>>920
何がどう違うと?
0924132人目の素数さん
垢版 |
2024/03/17(日) 02:14:15.95ID:VAa6dkvQ
>>921
だから逃げ口上はいいって
0925132人目の素数さん
垢版 |
2024/03/17(日) 02:15:00.99ID:egixwGA8
>>922
不便なものに不便だと言って何が悪い
確率論の標準的な手法に文句があるならコルモゴロフにでも言ってくれ
0927132人目の素数さん
垢版 |
2024/03/17(日) 02:16:11.43ID:VAa6dkvQ
>>921
ひとつに決めないのも定式化の一部ならひとつに決めるのも定式化の一部だろ
じゃ決めろよ
これ以上逃げ口上は勘弁な
0928132人目の素数さん
垢版 |
2024/03/17(日) 02:17:35.09ID:VAa6dkvQ
>>925
悪いなんて言ってないじゃんw 幻聴が聞こえるのか?
0929132人目の素数さん
垢版 |
2024/03/17(日) 02:18:02.57ID:VAa6dkvQ
>>926
何をどう捏造してると?
0930132人目の素数さん
垢版 |
2024/03/17(日) 02:18:16.92ID:egixwGA8
>>927
何言ってんの
定式化は各人好きなようにやっていいよ
君がやりたいならそうしろよ
こっちは確率論を具体的に書かない標準的なやり方でやるから
0931132人目の素数さん
垢版 |
2024/03/17(日) 02:19:43.84ID:VAa6dkvQ
>>930
おまえさっき勝手に決めるなって言ったのもう忘れたの?w
ダメだこいつw 完全にイカレてやがるw
0932132人目の素数さん
垢版 |
2024/03/17(日) 02:20:11.32ID:egixwGA8
>>929
>「先手の情報が全公開されてないなら ∀x.∃y.P(x,y) を ∃y.∀x.P(x,t) に書き換えられる」
このような主張はしてない
0934132人目の素数さん
垢版 |
2024/03/17(日) 02:22:58.10ID:VAa6dkvQ
0908132人目の素数さん
2024/03/17(日) 01:52:50.48ID:egixwGA8
>>907
お前が決めるんじゃねーよ

0930132人目の素数さん
2024/03/17(日) 02:18:16.92ID:egixwGA8
>>927
定式化は各人好きなようにやっていいよ
君がやりたいならそうしろよ


錯乱してるw
0935132人目の素数さん
垢版 |
2024/03/17(日) 02:23:33.91ID:VAa6dkvQ
>>933
0908132人目の素数さん
2024/03/17(日) 01:52:50.48ID:egixwGA8
>>907
お前が決めるんじゃねーよ
0936132人目の素数さん
垢版 |
2024/03/17(日) 02:24:43.95ID:VAa6dkvQ
>>932
じゃあどう主張してんの?
0937132人目の素数さん
垢版 |
2024/03/17(日) 02:28:27.68ID:VAa6dkvQ
>>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
0938132人目の素数さん
垢版 |
2024/03/17(日) 02:28:43.68ID:HNHCaIr5
>>935
こっちの定式化では任意にしてるところをお前が決めんなって言ってんの
お前が定式化してるところは固定で好きなようにやっていいから
0939132人目の素数さん
垢版 |
2024/03/17(日) 02:29:49.82ID:HNHCaIr5
>>937
何?証明であるのところが解らなかったの?
なんで今まで具体的に書かなかったの?
0940132人目の素数さん
垢版 |
2024/03/17(日) 02:31:41.64ID:VAa6dkvQ
>>938
なんでおまえが持ち出したPCR検査の確率空間をそんなに書きたくないの?
書けないなら持ち出さなきゃいいじゃん
持ち出したからには書けよ
不便とか言い訳してんなよカス
0941132人目の素数さん
垢版 |
2024/03/17(日) 02:33:16.72ID:VAa6dkvQ
>>939
うん分からなかった
証明になってないから分かり様が無い
0943132人目の素数さん
垢版 |
2024/03/17(日) 02:34:26.62ID:VAa6dkvQ
>>939
もう一回聞くけど
ex t (λx.f(x,t)) が ∃y.∀x.P(x,t) の証明である理由は何?
0946132人目の素数さん
垢版 |
2024/03/17(日) 02:35:52.22ID:VAa6dkvQ
>>942
任意ってことは{}でもいいんだろ?
じゃあ>>907に答えろや 何逃げてんだよ
0947132人目の素数さん
垢版 |
2024/03/17(日) 02:36:44.79ID:VAa6dkvQ
>>945
証明の定義を書いてみて
0948132人目の素数さん
垢版 |
2024/03/17(日) 02:38:38.65ID:VAa6dkvQ
こいつ書けって言うと全部逃げるのなw
口から出まかせだから書けないんだろう そりゃ逃げるしかないわな
0949132人目の素数さん
垢版 |
2024/03/17(日) 02:40:40.00ID:VAa6dkvQ
>>939
もうひとつ聞くけど
xがtに自由に現れるとき ex t (λx.f(x,t)) が ∃y.∀x.P(x,t) の証明でない理由は何?
0950132人目の素数さん
垢版 |
2024/03/17(日) 02:41:38.99ID:HNHCaIr5
>>947
それ知らないのになんでギャップがあるって主張すんの?
お前が知ってる定義を書いてみろよ
0951132人目の素数さん
垢版 |
2024/03/17(日) 02:42:44.70ID:VAa6dkvQ
>>950
自分が書けないからって何言いだすんだおまえw
0952132人目の素数さん
垢版 |
2024/03/17(日) 02:43:37.40ID:VAa6dkvQ
証明の定義の言い出しっぺはおまえだろ?
言い出しっぺが書けやクズ
0953132人目の素数さん
垢版 |
2024/03/17(日) 02:47:50.71ID:VAa6dkvQ
>>943>>949は宿題な
忘れずやれよ
0956132人目の素数さん
垢版 |
2024/03/17(日) 02:54:07.97ID:VAa6dkvQ
>>954
結局理由をひとつも言えないのね?
だけど証明になってると思ってるのね?
ダメだこりゃ
0958132人目の素数さん
垢版 |
2024/03/17(日) 02:58:01.19ID:VAa6dkvQ
聞いていいか?
箱入り無数目は∃y.∀x.P(x,t)とは書けない
一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている
それはおまえの持論に反してるんだろ?
てことは上記証明が間違ってるはずなんだろ?
どこが間違ってるの?
0959132人目の素数さん
垢版 |
2024/03/17(日) 03:00:50.13ID:VAa6dkvQ
>>958宿題な
忘れずやれよ
0960132人目の素数さん
垢版 |
2024/03/17(日) 03:07:31.30ID:HNHCaIr5
>>958
>箱入り無数目は∃y.∀x.P(x,t)とは書けない
書ける

>一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている
後者はPが具体的に書かれていないと証明されているのか不明。そもそも証明にはxが公開されているとかいう要素は関係ない
0961132人目の素数さん
垢版 |
2024/03/17(日) 03:09:28.49ID:VAa6dkvQ
時枝証明とおまえの持論は相容れない
おまえの持論の正しさを証明するには時枝証明の間違い箇所を具体的に指摘する必要がある
がんばれよw
0962132人目の素数さん
垢版 |
2024/03/17(日) 03:13:14.35ID:HNHCaIr5
>>961
記事の証明に間違いなんてねーぞ
そこは全員の共通認識だろ
今さら何言ってんの?
0963132人目の素数さん
垢版 |
2024/03/17(日) 03:13:50.93ID:VAa6dkvQ
>>960
>書ける
じゃyを書いてみて

>そもそも証明にはxが公開されているとかいう要素は関係ない
0260132人目の素数さん
2024/03/07(木) 16:55:42.19ID:C3Ro7iPT
>>259
∀が先頭についてるんだから相手側に全公開してるだろ
0964132人目の素数さん
垢版 |
2024/03/17(日) 03:15:50.26ID:VAa6dkvQ
>>962
>記事の証明に間違いなんてねーぞ
え???
じゃおまえは箱入り無数目成立派なの?
じゃ何に対し文句垂れてんの?
0965132人目の素数さん
垢版 |
2024/03/17(日) 03:16:26.41ID:HNHCaIr5
>>963
yは1でいいよ

>>そもそも証明にはxが公開されているとかいう要素は関係ない
>0260132人目の素数さん
>2024/03/07(木) 16:55:42.19ID:C3Ro7iPT
>>259
>∀が先頭についてるんだから相手側に全公開してるだろ
これの何が関係あるの?
0966132人目の素数さん
垢版 |
2024/03/17(日) 03:17:53.85ID:HNHCaIr5
>>964
お前らが適当に∀と∃を並べて曖昧なろんりを書いたり、確率変数を使った定式化を否定してるのに文句言ってんだよ
0968132人目の素数さん
垢版 |
2024/03/17(日) 03:19:42.66ID:VAa6dkvQ
>>965
>yは1でいいよ
ダメだこいつw yがどんな空間に属すかすら分かってないw

>これの何が関係あるの?
そもそもおまえは何に対して文句垂れてんの?
0969132人目の素数さん
垢版 |
2024/03/17(日) 03:21:48.03ID:VAa6dkvQ
>>966
確率変数を使った定式化を否定してる訳ねーだろw 何をどう勘違いしたらそうなるんだ?w
100列のいずれを選択するかが確率変数だと言ってんだよw 馬鹿かおまえは
0970132人目の素数さん
垢版 |
2024/03/17(日) 03:24:08.39ID:VAa6dkvQ
>>967
あいまいな論理式の前に
確率変数だから∀の位置がどうたらこうたらっておまえの持論の方がよっぽどデタラメだぞw
0971132人目の素数さん
垢版 |
2024/03/17(日) 03:25:50.44ID:HNHCaIr5
>>968
お前が∃y∀xの形で書けっていったんだろ、∃y∈{1}.∀x∈{1}.でいいじゃん残りは勝手に埋めるから
0972132人目の素数さん
垢版 |
2024/03/17(日) 03:26:17.62ID:VAa6dkvQ
もう一回聞くけどおまえは箱入り無数目記事は正しい、つまり、任意の出題列に対して回答者が確率99/100以上で勝てる戦略が存在すると思ってるのね?
0974132人目の素数さん
垢版 |
2024/03/17(日) 03:27:24.38ID:VAa6dkvQ
>>971
>∃y∈{1}.∀x∈{1}.でいいじゃん
それ箱入り無数目じゃないからダメ
0975132人目の素数さん
垢版 |
2024/03/17(日) 03:28:03.57ID:VAa6dkvQ
>>973
いいとは?
0976132人目の素数さん
垢版 |
2024/03/17(日) 03:28:05.55ID:HNHCaIr5
>>972
その確率をどういう情報をもとに計算したかによるから定式化によって答が変わるって言ってるの
0977132人目の素数さん
垢版 |
2024/03/17(日) 03:29:55.37ID:HNHCaIr5
>>974
なんで?
∃y∈{1}.∀x∈{1}.の後ろにお前が思う
正しい論理式をxとyの名前だけ変えて書けばいいじゃん
0978132人目の素数さん
垢版 |
2024/03/17(日) 03:30:01.31ID:VAa6dkvQ
いいとはどういう意味のいいなの?
そういう問題を考えてもいいなのか箱入り無数目をそう定式化してもいいなのか
後者なら完全に間違い
0981132人目の素数さん
垢版 |
2024/03/17(日) 03:32:33.77ID:VAa6dkvQ
>>976
大間違い
問題に曖昧さが無いから答えは唯一
定式化によって答えが変わるなら定式化の仕方が間違ってるだけ
0982132人目の素数さん
垢版 |
2024/03/17(日) 03:33:06.23ID:HNHCaIr5
何が完全に間違いだよ
記事の定式化の拡張になってるのに間違いになる要素なんてあるわけないだろ
0983132人目の素数さん
垢版 |
2024/03/17(日) 03:34:31.35ID:VAa6dkvQ
>>979
箱入り無数目にはそんな定式化は無い
問題自体が変わる
0984132人目の素数さん
垢版 |
2024/03/17(日) 03:35:46.11ID:VAa6dkvQ
>>982
>記事の定式化の拡張になってるのに間違いになる要素なんてあるわけないだろ
0985132人目の素数さん
垢版 |
2024/03/17(日) 03:37:11.72ID:VAa6dkvQ
>>980
それはおまえが箱入り無数目を理解していないだけのこと
0988132人目の素数さん
垢版 |
2024/03/17(日) 03:48:31.14ID:VAa6dkvQ
箱入り無数目の前にまずおまえは「見えないもの=確率変数」と言ったよな?
それ間違いな

壷の中でサイコロを振って1の目が出た
客は1に賭ける
客が勝つ確率は?

壷の中でサイコロを振って1の目が出た
客はランダムに賭ける
客が勝つ確率は?

客は1に賭けた
壷の中でサイコロを振る
客が勝つ確率は?

この問題に正答できるなら「見えないもの=確率変数」が間違いであることも分かるだろう
0989132人目の素数さん
垢版 |
2024/03/17(日) 03:51:42.62ID:VAa6dkvQ
>>986
箱入り無数目では箱の中身を確率変数とする定式化は間違いだって言ってるの
0992132人目の素数さん
垢版 |
2024/03/17(日) 03:57:36.02ID:VAa6dkvQ
>>986
(選択公理を除けば)問題文に曖昧さが無いから
回答者が勝率99/100以上で勝つ戦略があるか?という問いにはあるという答えしかない
記事の戦略で勝つ確率は?という問いには1-1/n以上という答えしかない
そういうことを言ってるんだよ
で、それには箱の中身を確率変数とする定式化はダメだと言ってるんだよ
0993132人目の素数さん
垢版 |
2024/03/17(日) 04:00:16.54ID:VAa6dkvQ
>>990
客は壷の中でサイコロを振ったとかこれから振るとかしか知らんよ 壷の中身は知らんよ 当然w
0994132人目の素数さん
垢版 |
2024/03/17(日) 04:02:29.63ID:VAa6dkvQ
>>991
そういう大口は>>988に正答してからたたこうな
0995132人目の素数さん
垢版 |
2024/03/17(日) 04:03:45.41ID:HNHCaIr5
>>992
中身を確率変数にしても記事と同じ結果になる確率空間は存在するだろ
ちゃんと拡張になってんだよ
0997132人目の素数さん
垢版 |
2024/03/17(日) 04:06:26.02ID:VAa6dkvQ
>>995
存在するなら書けやクズ
書きもせずに存在するする詐欺かおまえはw
0998132人目の素数さん
垢版 |
2024/03/17(日) 04:06:50.48ID:HNHCaIr5
>>994
お前確率論の本読み切れてないじゃん
正解かどうか以前に自分がどういう問題を出してるかすら分かってないだろ
0999132人目の素数さん
垢版 |
2024/03/17(日) 04:06:57.20ID:VAa6dkvQ
>>996
当たり前だろw
1000132人目の素数さん
垢版 |
2024/03/17(日) 04:07:49.86ID:HNHCaIr5
>>997
そんなん箱の中身がデルタ分布になってる場合に決まってるだろ
いい加減頭使えよ
10011001
垢版 |
Over 1000Thread
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 11日 20時間 3分 10秒
10021002
垢版 |
Over 1000Thread
5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。


───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
4 USD/mon. から匿名でご購入いただけます。

▼ UPLIFT会員登録はこちら ▼
https://uplift.5ch.net/

▼ UPLIFTログインはこちら ▼
https://uplift.5ch.net/login
レス数が1000を超えています。これ以上書き込みはできません。

ニューススポーツなんでも実況