24/03/15 08:10:17.15 sYXmV0f/.net
時枝の錯覚も、同様に説明�
801:ﾅきる １）人は、二つの決定番号 daとdb で、確率 P（da>db）=1/2 と思ってしまう ２）ところが、決定番号 daとdbは、自然数N全体を渡り、自然数N全体は無限集合だから ∞/∞ の不定形になり、確率計算 1/2 は正当化できない こういうことでしょうね ；ｐ）
802:１３２人目の素数さん
24/03/15 08:55:09.63 8QDMDRfQ.net
日本棋院アーカイブの続刊が楽しみ
803:１３２人目の素数さん
24/03/15 09:01:01.85 xEd6gXjp.net
>>759
馬鹿なこと言ってないで>583 >597に答えてもらえませんか？
なぜ黙殺しようとするのですか？
804:１３２人目の素数さん
24/03/15 10:02:56.06 tFlszaLY.net
>>755
>>>754
>自分でα変換いうてるやん
>定義しってんなら
>∀x∈ℕ.∃(x+1).x<x+1 が
>∀x∈ℕ.∃y.x<y になるしかないやん
またまた ずさんなことを言うｗ
∀x∈ℕ.∃(x+1).x<x+1
↓
∀x∈ℕ.∃y.x<y
にするためには、y=x+1と定義しないと。その定義が必要でしょ？
一般に
・∀x∈ℕ.∃(x+1).x<x+1
・∀x∈ℕ.∃y.x<y
この二つの式は意味違うし、そもそも”∃y∈ℕ”とかも要りそうに思うけど
まあ、ともかくあんたの思考は、ずさんそのものだね ；ｐ）
(参考)（α-変換）
URLﾘﾝｸ(ja.wikipedia.org)
ラムダ計算
ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。
歴史
元々チャーチは、数学の基礎となり得るような完全な形式体系を構築しようとしていた。彼の体系がラッセルのパラドックスの類型に影響を受けやすい（例えば論理記号として含意 → を含むなら、λx.(x→α) にYコンビネータを適用してカリーのパラドックスを再現できる）ということが判明した際に、彼はそこからラムダ計算を分離し、計算可能性理論の研究のために用い始めた。この研究からチャーチは一階述語論理の決定可能性問題を否定的に解くことに成功した。
α-変換
アルファ変換の基本的なアイデアは、束縛変数の名前は重要ではない、ということにある。例えば、 λx. x と λy. y は同じ関数を表している。
しかし、ことはそう単純ではない。
ある束縛変数の名前を置換してもよいかどうかには、いくつかの規則が絡んでくる。例えば、ラムダ式 λx. λy. x 中の変数 x を y に置き換えると、 λy. λy. y となるが、これは最初の式とはまったく異なるものを表すことになる。
805:１３２人目の素数さん
24/03/15 10:40:46.74 tFlszaLY.net
ご参考
α-変換 ラムダ計算
URLﾘﾝｸ(scrapbox.io)
α変換 scrapbox mrsekut-p
[/ alpha-conversion]
[$ \lambda x.x]と[$ \lambda z.z]は同じだよね、
このような変換のことを[$ \alpha]変換という
つまり、[束縛変数]を別のものに入れ替えて全く同じ意味のラムダ抽象を作成する操作
名前の衝突を回避するときに使う
[$ \lambda x.(y\lambda y.yx)]のように、同じ`y`でも、[自由変数]と[束縛変数]が混在していて読みづらい
α変換を施し、別の文字を使った同値の式にする
例えば[$ \lambda x.(y\lambda z.zx)]
このとき[$ \lambda x.(z\lambda y.yx)]のように自由変数の方を置き換えない。
α変換では[* 束縛変数の方を置き換える]
この状態のことを「[変数条件]を満たす」と呼ぶ
定義
略す
URLﾘﾝｸ(web.sfc.keio.ac.jp)
806:15/07-ppt.pdf 情報数学第7回ラムダ計算 萩野達也 慶應義塾大学環境情報学部2015/11/10 Ｐ７ α変換と代入 略す
807:１３２人目の素数さん
24/03/15 18:13:58.84 ATM0vb6x.net
>>762
>・∀x∈ℕ.∃(x+1).x<x+1
>・∀x∈ℕ.∃y.x<y
>この二つの式は意味違うし
意味違うとわめく根拠は、後者のｙは例えばx+2でもいいとか、そういうことかい？
じゃ、以下は同じ意味かい
∀x ∈ ℕ. x<x+1∧∀z ∈ ℕ. x<z ⇒ x+1<=z
∀x ∈ ℕ. ∃y ∈ ℕ. x<y∧∀z ∈ ℕ. x<z ⇒ y<=z
808:１３２人目の素数さん
24/03/15 18:23:14.68 Elhq9FcO.net
>>755
x+1が変数だと主張する異常な論理式相手してるんだから、どっちともとれるやろ
完全に常識の範囲外のことやってるんだから
809:１３２人目の素数さん
24/03/15 19:52:49.15 ATM0vb6x.net
α変換と言い切った瞬間に∀x∈ℕ.∃y.x<yにきまる
それ以外はα変換でない
810:１３２人目の素数さん
24/03/15 19:59:53.62 Elhq9FcO.net
>>766
なんでだよ
後ろのx+1が変数なのかxに1を足した式なのか書いた本人にしか分からんだろうが
811:１３２人目の素数さん
24/03/15 20:18:42.34 Elhq9FcO.net
変数記号 := { x, y, x+1 }
定数記号 := { 1 }
関数記号 := { + }
の設定で、x+1って書いてあったら変数なのか関数を適用した項なのか、誰にもわからんやろ
812:１３２人目の素数さん
24/03/15 22:56:36.63 sYXmV0f/.net
>>764
>>>762
>>・∀x∈ℕ.∃(x+1).x<x+1
>>・∀x∈ℕ.∃y.x<y
>>この二つの式は意味違うし
>意味違うとわめく根拠は、後者のｙは例えばx+2でもいいとか、そういうことかい？
・例えば、yを有理数にとって
∀x∈ℕ.∃y∈Q.x<y とか
・例えば、yを実数にとって
∀x∈ℕ.∃y∈R.x<y とか
・だから、∃yで放り出すと、yは自然数に限らないから 二つの式の意味は違う
yを自然数に限っても、冒頭の二つの式の意味は違う
813:１３２人目の素数さん
24/03/15 23:09:49.73 xEd6gXjp.net
>>769
馬鹿なこと言ってないで>583 >597に答えてもらえませんか？
なぜ黙殺しようとするのですか？
814:１３２人目の素数さん
24/03/16 02:16:26.20 mUoFzVnS.net
＞∀x∈ℕ.∃(x+1).x<x+1
はそもそも論理式としてぶっ壊れてるんだからハナから無視しとけよ
やるなら
∀x∈ℕ.x<x+1
∀x∈ℕ.∃y.x<y
の2つを比較しろよ
815:１３２人目の素数さん
24/03/16 08:15:19.83 /v13gW+O.net
>>771
比較しろよってｗ
やりたきゃ自分でやりな
そうでなきゃ黙ってな
で、>>260が間違いであることは理解したの？
816:１３２人目の素数さん
24/03/16 10:56:50.80 vIT5CHVL.net
>>769
>例えば、yを有理数にとって ∀x∈ℕ.∃y∈Q.x<y とか
>例えば、yを実数にとって ∀x∈ℕ.∃y∈R.x<y とか
>∃yで放り出すと、yは自然数に限らないから 二つの式の意味は違う
∀x∈ℕ.∃y∈ℕ.x<y でないと考えねばならない理由があるか？全くない
したがって上記は却下
>yを自然数に限っても、冒頭の二つの式の意味は違う
だから何がどう違うのか？
以下の>>764に全く答えられないのは
君が大学に入れなかった高卒素人だからか？
後者のｙは例えばx+2でもいいとか、そういうことかい？
じゃ、以下は同じ意味かい
∀x ∈ ℕ. x<x+1∧∀z ∈ ℕ. x<z ⇒ x+1<=z
∀x ∈ ℕ. ∃y ∈ ℕ. x<y∧∀z ∈ ℕ. x<z ⇒ y<=z
817:１３２人目の素数さん
24/03/16 11:03:56.20 vIT5CHVL.net
>>758
>『封筒を交換したらどうなるかを考えるときに、
>選んだ封筒の金額を条件として考えるやり方と、
>二つの封筒の金額の組み合わせを条件として考えるやり方が、
>同じ問題を考えているという錯覚です』
>を読んで意味分かるか？
日本人だからわかるよ 日本語わかるから
上は「もう一方の封筒が自分の封筒の金額の2倍か2分の一か」
下は「二つの封筒のうち低い方を選んだか高い方を選んだか」
下の確率はどちらも1/2だが
このことから
上の確率もどちらも1/2だ
といえるというのは
数学でもなんでもない
>他人に分かる用語解説になってないと思うよ
いや、君は日本語分からんニホンザルだから
君はヒトではないよ 「思う」も要らない
君はヒトではなくサル サルは数学板に書いちゃダメ
サルは数学に興味もつな 無意味だから
818:１３２人目の素数さん
24/03/16 11:07:38.18 vIT5CHVL.net
>>758
ニホンザル語
>たぶん、・・・んだろう
>と思うよ
ヒトの言葉が理解できないので
「たぶん」「だろう」「と思うよ」
ということばで誤魔化す
当然ながら国立大学どころか私立のFランク大学も受からん
819:１３２人目の素数さん
24/03/16 11:15:44.88 vIT5CHVL.net
>>758
>これは
>人の推論の一般のやり方と、
>二つの封筒問題やモンティ・ホール問題での正解
>とが、ちょっと違う
>”人の推論の一般のやり方”
>を、まず解説しないと、
>「錯覚」の説明にならない
誤 人の推論
正 サルの脊髄反射
「サルの脊髄反射」とは、ズバリ
「分からんものは、脊髄反射で確率変数と考える」
ということ
「二つの封筒」の封筒中身、然り
「モンティ・ホール問題」のドアの後ろ側、然り
脊髄反射でそう考えるサルは必ず間違えるｗ
たしかに自分の封筒の中身が10000円だったとき
相手の封筒は20000円かもしれんし、5000円かもしれん
しかし、それは確率変数ではない つまり
20000円の確率P、5000円の確率1-P
と考えるのは人間失格のサルってこと
モンティ・ホール問題もそう
３つのドアA、B、Cについて
Aのドアの後ろに賞品がある確率 P
Bのドアの後ろに賞品がある確率 Q
Cのドアの後ろに賞品がある確率 1-P-Q
と考えるのは人間失格のサルってこと
820:１３２人目の素数さん
24/03/16 11:20:00.21 vIT5CHVL.net
モンティ・ホール問題のシミュレーションで
３つのドアの後ろの賞品の配置を等確率1/3で変え
回答者のドアの選択は（例えばAに）固定する
というのは最大の誤りである
そうではなく
３つのドアの後ろの賞品の配置は（例えばAに）固定する
回答者のドアの選択はA,B,Cそれぞれ確率1/3ずつに割り振る
という形でのみシミュレーションすべきである
問題は固定である
回答者は３つのドアのどれでも選択できる
確率1/3ずつなのは、ドアの選択であって
ドアの後ろに賞品がある確率ではない！
821:１３２人目の素数さん
24/03/16 11:26:45.61 +LjGwmYz.net
>>773
>>>769
>>例えば、yを有理数にとって ∀x∈ℕ.∃y∈Q.x<y とか
>>例えば、yを実数にとって ∀x∈ℕ.∃y∈R.x<y とか
>>∃yで放り出すと、yは自然数に限らないから 二つの式の意味は違う
>∀x∈ℕ.∃y∈ℕ.x<y でないと考えねばならない理由があるか？全くない
>したがって上記は却下
・そうかな？
例えば、∃y∈C（複素数）としよう
そうすれば、∀x∈ℕ.∃y∈C.x<y となるけど
そもそも、∃y∈C（複素数）は 一般には 不等号 < は適用できないぞ（下記）
・だから、∃yがどの範囲の数なのかを、論理式を書いた人が明示しないと
意味ある論理式にならないと思うけどね ；ｐ）
(参考)
URLﾘﾝｸ(math-fun.net)
趣味の大学数学
複素数で普通の順序・不等号・大小関係を考えないのはなぜか
2021年5月22日 木村
高校数学以降では、複素数の扱いを学びます。
実数では
0<1といったように大小比較ができますが、複素数ではそのような比較を考えません。それはなぜでしょうか。
簡単に言えば、仮に
0<iというような順序関係があったとすると、両辺に
iをかけると
0<－1となってしまうからです。
今回は、複素数では「普通の」順序・不等号を定義できないことを紹介します。
目次
順序とは何か
順序関係とは
複素数に「普通の」順序が定まらないこと
複素数でも順序を考えること自体はできる
複素数でも、全順序という順序を考えること自体はできるのです。しかし、普通の順序＝和と積と両立するような順序を考えることはできない、そういうものがあったとすると矛盾するというのが今回の話でした。
ちなみに、ベクトルに対しても辞書式順序を考えることはできます。しかし、演算と両立するような順序……と議論しようとすると、ベクトルではそもそも良い「積」を考えられません。ベクトルの内積は実数を返し、ベクトルを返さないです。外積はベクトルを返しますが、交換法則や結合法則を満たしません。
以上、複素数では普通の順序・不等号・大小関係を考えないのはなぜか、紹介してきました。
整数や実数で考えていたような、和と積と両立させる性質を持った順序を考えることはできない、というのが理由です。
822:１３２人目の素数さん
24/03/16 11:34:27.13 vIT5CHVL.net
>>778
どうでもいいことばかりだらだか書いて
肝心なことは一字も書かない
さすがニホンザル
823:１３２人目の素数さん
24/03/16 11:58:34.85 /v13gW+O.net
>>778
馬鹿なこと言ってないで>583 >597に答えてもらえませんか？
なぜ黙殺しようとするのですか？
824:１３２人目の素数さん
24/03/16 12:42:52.79 +LjGwmYz.net
>>777
>確率1/3ずつなのは、ドアの選択であって
>ドアの後ろに賞品がある確率ではない！
違うよ
・下記の”素事象を格子状に配置すれば標本空間がよくわかる”の通り
事象を2次元の格子図（デカルト積）に書けば良いんだよ
・簡単に説明すると、”挑戦者が選ぶ扉を扉1に限定して”
扉1が外れの場合のみ説明する
・司会者は残る二つで当りが分かっていて、外れの扉を開ける
だから、開けない扉が当りだ
・もし、司会者が当りが分かっていなくて当りの扉を開けたら、ノーカウントでやり直し
しかし この場合にモンティ・ホール問題の�
825:求[ルが理解できれば、正解の選択ができて当てられるので当りの確率アップになるってこと 残念だった ；ｐ） (参考) http://the-apon.com/coffeedonuts/matrix.html モンティ・ホール問題好きのホームページ 素事象を格子状に配置すれば標本空間がよくわかる 2013/05/28 数学では確率を次のように定義している。 何かの集合を標本空間として、そのべき集合の一部で加算加法族になっているものを事象の集合とし、事象の集合に確率測度を与え、・・・・・・、（難しいので以下省略） もっと直感的な定義もある。 確率変数の値域のデカルト積のべき集合の・・・・・、（難しいので以下省略） 2次元の格子図を使えば、このような数学の確率の定義に添いながら、条件付確率もしくは事後確率の説明ができるかも知れないという期待がある。格子図の交点が最も細かい事象、すなわち素事象 (prime events) に対応するので、仮説事象と証拠事象の関係がよくわかるのではないか、という期待もある。 モンティ・ホール問題に応用してみる 例によって、挑戦者が選ぶ扉を扉1に限定して考える。 ステップ2 確率変数の値域の直積として2次元のテーブルを書く 当扉1 当扉2 当扉3 開扉1 当扉1, 開扉1 当扉2, 開扉1 当扉3, 開扉1 開扉2 当扉1, 開扉2 当扉2, 開扉2 当扉3, 開扉2 開扉3 当扉1, 開扉3 当扉2, 開扉3 当扉3, 開扉3 結論 上記のように素事象を2次元に配列した図表を使う方法には、次のような利点がある。 ・同一の図を使って、証拠事象が特定的な場合と、不特定な場合の両方の確率が計算できる。 ・決定木などの階層的標本空間分析手法や、ベイズ推定などの条件付確率の公式を使わなくても確率を計算できるので、 より基本的な理解が可能になる つづく
826:１３２人目の素数さん
24/03/16 12:43:09.20 +LjGwmYz.net
つづき
URLﾘﾝｸ(ja.wikipedia.org)
モンティ・ホール問題
一種の心理トリックになっており、確率論から導かれる結果を説明されても、なお納得しない者が少なくないことから、モンティ・ホール・ジレンマ、モンティ・ホール・パラドックスとも称される。「直感で正しいと思える解答と、論理的に正しい解答が異なる問題」の適例とされる。
概要
「＜投稿された相談＞
プレーヤーの前に閉じた3つのドアがあって、1つのドアの後ろには景品の新車が、2つのドアの後ろには、はずれを意味するヤギがいる。プレーヤーは新車のドアを当てると新車がもらえる。プレーヤーが1つのドアを選択した後、司会のモンティが残りのドアのうちヤギがいるドアを開けてヤギを見せる。
ここでプレーヤーは、最初に選んだドアを、残っている開けられていないドアに変更してもよいと言われる。
ここでプレーヤーはドアを変更すべきだろうか？」
1990年9月9日発行、ニュース雑誌「Parade」にてマリリン・ヴォス・サヴァントが連載するコラム「マリリンにおまかせ」で、上記の読者投稿による質問に「正解は『ドアを変更する』である。なぜなら、ドアを変更した場合には景品を当てる確率が2倍になるからだ」と回答。すると直後から、読者からの「彼女の解答は間違っている」との約1万通の投書が殺到し、本問題は大議論に発展した
(引用終り)
以上
827:１３２人目の素数さん
24/03/16 13:11:37.58 +LjGwmYz.net
>>781
>>>777
>>確率1/3ずつなのは、ドアの選択であって
>>ドアの後ろに賞品がある確率ではない！
>・下記の”素事象を格子状に配置すれば標本空間がよくわかる”の通り
> 事象を2次元の格子図（デカルト積）に書けば良いんだよ
>・もし、司会者が当りが分かっていなくて当りの扉を開けたら、ノーカウントでやり直し
> しかし この場合にモンティ・ホール問題のルールが理解できれば、正解の選択ができて当てられるので当りの確率アップになるってこと
・この教訓は、"事象を2次元の格子図（デカルト積）に書けば良い"！ってことだ
・「ドアの後ろに賞品がある」場合を、キチンと数え上げれば良い！
なお、「直感で正しいと思える解答と、論理的に正しい解答が異なる」のは
ルールの「司会のモンティが残りのドアのうちヤギがいるドアを開けてヤギを見せる」
の意味が直感では、把握が難しい
だから、ルールを正しく生かした選択に至らない人が 少なくないってことだね
時枝の二つの決定番号 da,db ∈N(可算無限集合)で
確率P(da>db)=1/2 と錯覚するが如し
（∵ N(可算無限集合)だから、�
828:�/∞ で不定形で、1/2はいえない） けれども、人はついつい 確率P(da>db)=1/2 と錯覚するのです
829:１３２人目の素数さん
24/03/16 14:25:12.12 /v13gW+O.net
モンティホール問題、二つの封筒問題、箱入り無数目
いずれも1回の出題でも確率が定義できなければならないので出題は試行にできない。
例えば二つの封筒問題で最初に開封した封筒の中身が1万円だった場合、他方は5千円か2万円であるが、1回の出題では必ずどちらかであって、確率P（0<P<1）で5千円・確率1-Pで2万円なんてことにはならない。
従って期待値計算：5千円×(1/2)+2万円×(1/2)は誤り。
このように錯覚してしまうのは、無意識に出題を試行としている為であろう。
しかし繰り返すが、出題を試行としてしまうと1回の出題での確率は定義できない。
確率を考えるときは試行が何かを明確にする必要がある。
830:１３２人目の素数さん
24/03/16 14:33:59.63 /v13gW+O.net
>>783
>時枝の二つの決定番号 da,db ∈N(可算無限集合)で
>確率P(da>db)=1/2 と錯覚するが如し
>（∵ N(可算無限集合)だから、∞/∞ で不定形で、1/2はいえない）
1/2は言えないは正しいが、その理由は大間違い
そして時枝証明はそもそも1/2を論拠にしていないからまったくナンセンス
馬鹿なこと言ってないで>583 >597に答えてもらえませんか？
なぜ黙殺しようとするのですか？
831:１３２人目の素数さん
24/03/16 15:05:34.46 +LjGwmYz.net
>>784
>例えば二つの封筒問題で最初に開封した封筒の中身が1万円だった場合、他方は5千円か2万円であるが、1回の出>題では必ずどちらかであって、確率P（0<P<1）で5千円・確率1-Pで2万円なんてことにはならない。
>従って期待値計算：5千円×(1/2)+2万円×(1/2)は誤り。
違うよ
・下記の>>575より 再録の通りです
期待値計算 1万2千500円が正しい場合があるよ
・設定を変えよう
下記 組合わせ 二つ、{5千円、1万円}と{1万円、2万円}は同じだが
予算がないので、{1万円、2万円}は5回に1回に減らし、{5千円、1万円}を5回に4回とする
・この場合、封筒を開けて1万円として もし封筒を取り替えたときの期待値は
2万円x（1/5）＋5千円x（4/5）=8千円 となる
・つまりは、組合わせ{5千円、1万円}と{1万円、2万円}で
組合わせの出現頻度が変わると
当然、期待値は変わる
>>575より 再録
(引用開始)
１）ある大学において 学生の奨励として、学長賞で賞金を出すことにした
１年に10回（夏休み8月とクリスマス休暇の12月を除く）、学年のトップ（1番の人）に
封筒は二つ使う。そして組合わせが二つ、{5千円、1万円}と{1万円、2万円}と
どの組合わせを使うかは、ランダムで等確率として、学長のみが知る
授賞式の事務員は知らない
２）事務員がルールを説明する
「封筒二つで、片方の倍か半分かで。一つの封筒を開けて見て良い。別の封筒に取り替える権利がある。
もちろん、取り替えないのも可」と
但し、具体的金額は教えない（説明する事務員も知らない）
３）この場合
開けた封筒が、1万円ならば
{5千円、1万円}と{1万円、2万円}が等確率で考えられる
従って、取り替えると 5千円と2万円が等確率で出現するので
期待値は、1万2千500円です
(引用終り)
832:１３２人目の素数さん
24/03/16 15:16:48.03 /v13gW+O.net
>>786
何の反論にもなってない
馬鹿なこと言ってないで>583 >597に答えてもらえませんか？
なぜ黙殺しようとするのですか？
833:１３２人目の素数さん
24/03/16 15:23:41.98 vIT5CHVL.net
>>781
>>確率1/3ずつなのは、ドアの選択であって
>>ドアの後ろに賞品がある確率ではない！
>違うよ
いちいち口答えすんな、ニホンザル
>”素事象を格子状に配置すれば標本空間がよくわかる”の通り
>事象を2次元の格子図（デカルト積）に書けば良いんだよ
それ、当選扉を扉１に限定して
回答者が選ぶ扉とホストが開ける扉を事象として
2次元の格子図（デカルト積）に書かなくちゃウソだけどｗ
選扉１ 選扉２ 選扉3
開扉１ 選扉１、開扉１ 選扉２、開扉１ 選扉３、開扉１
開扉２ 選扉１、開扉２ 選扉２、開扉２ 選扉３、開扉２
開扉３ 選扉１、開扉３ 選扉２、開扉３ 選扉３、開扉３
回答者が選ぶ扉こそ等確率であるので、
p(選扉1, 開扉1) + p(選扉1, 開扉2) + p(選扉1, 開扉3) = 1/3
p(選扉2, 開扉1) + p(選扉2, 開扉2) + p(選扉2, 開扉3) = 1/3
p(選扉3, 開扉1) + p(選扉3, 開扉2) + p(選扉3, 開扉3) = 1/3
ホストは挑戦者が選んだ扉を開けないので、
p(選扉1, 開扉1) = 0
p(選扉2, 開扉2) = 0
p(選扉3, 開扉3) = 0
ホストは当たり扉を開けないので
p(選扉1, 開扉1) = 0
p(選扉2, 開扉1) = 0
p(選扉3, 開扉1) = 0
ホストが開ける扉に偏りがないので、
p(選扉1, 開扉2) = p(選扉1, 開扉3)
確率の総和は1なので、
p(選扉1, 開扉1) + p(選扉1, 開扉2) + p(選扉1, 開扉3) +
p(選扉2, 開扉1) + p(選扉2, 開扉2) + p(選扉2, 開扉3) +
p(選扉3, 開扉1) + p(選扉3, 開扉2) + p(選扉3, 開扉3) = 1
上記の手がかりからテーブルの各マス（素事象）の確率が求まる
0 0 0
1/6 0 1/3
1/6 1/3 0
ホストが例えば扉3を開いたという証拠事象の範囲だけ
834:切り出せば 1/6 1/3 0 2倍すれば総和は1になる 1/3 2/3 ０ したがって 選んだ扉が当たりの確率1/3 残った扉が当たりの確率2/3 まったく同じ形で説明できる だからニホンザルの主張をまったく補強しない 残念だったな ギャハハハハハハ！！！
835:１３２人目の素数さん
24/03/16 15:30:43.42 vIT5CHVL.net
>>783
>・この教訓は、"事象を2次元の格子図（デカルト積）に書けば良い"！ってことだ
「格子図に書けば良い」のは確かだが
当たりの配置は事象ではないｗ
>・「ドアの後ろに賞品がある」場合を、キチンと数え上げれば良い！
キチンと数えるのは「どのドアを選ぶか」
>「直感で正しいと思える解答と、論理的に正しい解答が異なる」のは
>ルールの「司会のモンティが残りのドアのうちヤギがいるドアを開けてヤギを見せる」
>の意味が直感では、把握が難しいから
思考力ゼロのサルには理解できんかｗ
>ルールを正しく生かした選択に至らない人が 少なくないってことだね
ヒトはわかる サルにはわからん
この世のホモ・サピエンスの９割はヒトではなくサルってこった
まあ、サルのほうが自然に適応できてるかもな
野生動物は字が読めんでも数が数えられんでも生きてるからな
どうだ、嬉しいか？考える能力がないサル ギャハハハハハハ！！！
836:１３２人目の素数さん
24/03/16 15:34:42.46 vIT5CHVL.net
>>786
>>例えば二つの封筒問題で最初に開封した封筒の中身が1万円だった場合、
>>他方は5千円か2万円であるが、1回の出題では必ずどちらかであって、
>>確率P（0<P<1）で5千円・確率1-Pで2万円なんてことにはならない。
>>従って期待値計算：5千円×(1/2)+2万円×(1/2)は誤り。
>違うよ
いちいち口答えすんな、ニホンザル
>期待値計算 1万2千500円が正しい場合があるよ
>設定を変えよう
設定を変えるのはNG
だから正しい「場合がある」はNG
迷わず地獄に堕ちるが良い ニホンザル
ギャハハハハハハ！！！
837:１３２人目の素数さん
24/03/16 15:42:51.64 vIT5CHVL.net
>>783
>時枝の二つの決定番号 da,db ∈N(可算無限集合)で
>確率P(da>db)=1/2 と錯覚するが如し
>（∵ N(可算無限集合)だから、∞/∞ で不定形で、1/2はいえない）
>けれども、人はついつい 確率P(da>db)=1/2 と錯覚するのです
そもそも確率P(da>db)を考えるのがニホンザルｗ
da>db かつ da<db ということはない
つまり、成り立つのは2つの式たかだか1つである
ここでda>dbとする（固定！）
daを選ぶかdbを選ぶかは1/2ずつ
これが真の確率事象である
決して無作為にda,dbを選んで
da>dbとなる確率を求めるのではない！
何が確率事象かを間違えるのはニホンザル
正しく理解するのが日本人！
悔しいか？大学入れん数学ド素人ニホンザル
ギャハハハハハハ！！！
838:１３２人目の素数さん
24/03/16 15:44:52.64 /v13gW+O.net
>>783
>・「ドアの後ろに賞品がある」場合を、キチンと数え上げれば良い！
1回の出題では１通りしかないから数え上げようが無い
君が言ってるのは出題が試行の場合 君は無意識に出題を試行としている
だが出題を試行としてしまうと1回の出題における確率は定義されない
分かる？
wikipediaより引用
「確率論において、試行（しこう、英: trial, experiment）とは、起こりうる結果がいくつかあり、そのどれか1つだけが偶然で起こる流れのことである」
839:１３２人目の素数さん
24/03/16 15:47:59.31 vIT5CHVL.net
【結論】
サルは脊髄反射で「問題が確率変数だ！」と考えるがそれが間違い
840:１３２人目の素数さん
24/03/16 15:50:14.96 vIT5CHVL.net
【結論】
サルは無意識に「俺の選択は決定事項！確率変数じゃない」と考えるがそれも間違い
841:１３２人目の素数さん
24/03/16 15:51:21.32 vIT5CHVL.net
【結論】
サルは回答者の視点でしか考えられない 出題者の視点で考えることができないから間違う
842:１３２人目の素数さん
24/03/16 17:23:42.18 mUoFzVnS.net
>>772
どこが？
843:１３２人目の素数さん
24/03/16 17:29:45.75 vIT5CHVL.net
>>778
>>>∃yで放り出すと、yは自然数に限らないから 二つの式の意味は違う
>>∀x∈ℕ.∃y∈ℕ.x<y でないと考えねばならない理由があるか？全くない
>>したがって却下
>そうかな？
そうだな
（完）
ところで、サルは全順序と整列順序の違いが
未だに分かってないと思われる
整列順序は全順序だが、
全順序なら整列順序、とはいえない
整列順序は以下が成立する順序
∀ｘ．（（∃ｙ．ｘ＜ｙ）⇒（∃ｚ．ｘ＜ｚ∧∀ｗ．ｘ＜ｗ⇒ｚ＜＝ｗ））
日本語で書けば
任意のｘについて、
ｘより大きい元ｙが存在するなら
その中でもっとも小さい元ｚが存在する
これｘの後者という
844:１３２人目の素数さん
24/03/16 17:35:52.89 vIT5CHVL.net
さて有限整列順序の場合、最大元が存在する すなわち
∃ｘ∀ｙ．ｘ＞＝ｙ
しかし、無限整列順序の場合、最大元が存在しない場合がある すなわち
∀ｘ．（∃ｚ．ｘ＜ｚ∧∀ｗ．ｘ＜ｗ⇒ｚ＜＝ｗ）
845:１３２人目の素数さん
24/03/16 19:03:19.17 +LjGwmYz.net
>>792
>>・「ドアの後ろに賞品がある」場合を、キチンと数え上げれば良い！
>1回の出題では１通りしかないから数え上げようが無い
>君が言ってるのは出題が試行の場合 君は無意識に出題を試行としている
>だが出題を試行としてしまうと1回の出題における確率は定義されない
・”1回の出題では１通りしかないから数え上げようが無い”？
か、なんか笑えるな ｗｗｗ
・下記の”【中学数学】さいころ2個の確率問題をパターン別に解説！”を
”百回”繰返し見てね
・全部 試行は 1回前提で、確率計算するよｗ
まあ、君には理解が難しいんだな？ なんか笑えるな ｗｗｗ
やれやれだな ；ｐ）
URLﾘﾝｸ(study-line.com)
数スタ
【中学数学】さいころ2個の確率問題をパターン別に解説！
846:１３２人目の素数さん
24/03/16 20:01:11.64 /v13gW+O.net
>>796
>∀が先頭についてるんだから相手側に全公開してるだろ
が
847:１３２人目の素数さん
24/03/16 20:07:05.86 /v13gW+O.net
>>799
”1回の出題”の意味を誤解したんだね？
未来に定まる予定の出題ではなく過去に定まった出題のことだよ
文脈で読み取ろうよ 小学生じゃないんだから
848:１３２人目の素数さん
24/03/16 20:08:59.89 +LjGwmYz.net
>>797-798
整列順序ねｗ
・院試で、あたま良すぎて落ちるやつ
自分で定義を作るやつ
・整列順序についてなら、決まった定義があるのだから
それをきっちり覚えておかないとね（下記）
”S 上の全順序関係 "≤" であって、S の空でない任意の部分集合が必ず ≤ に関する最小元をもつものをいう”
おっと、あたま悪すぎで
自分で定義を作ったのかな？ｗ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
整列集合
整列集合（せいれつしゅうごう、英: wellordered set）、または整列順序付けられた集合（せいれつじゅんじょづけられたしゅうごう）とは、数学における概念の1つで、整列順序を備えた集合のことをいう。ここで、集合 S 上の整列順序関係 (wellorder) とは、S 上の全順序関係 "≤" であって、S の空でない任意の部分集合が必ず ≤ に関する最小元をもつものをいう。あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ≤) を慣例に従ってしばしば単純に S で表す。
導入
整列集合 X の任意の元 s は、それが X の最大元でない限り、ただ一つの後者（successor; 後継、次の元、直後の元）を持つ。これはつまり、s よりも大きな X の元全体の成す部分集合における最小元として s の後者が決まるということである。また、整列集合 X の中で上に有界な任意の部分集合は（その上界全体の成す X の部分集合に最小元がとれるから）必ず上限を持つ。あるいは整列集合 X には、前者（predecessor; 直前の元）を持たない元が必ず存在する（それはもちろん、X 全体における最小元である）。
集合に整列順序が与えられれば、そこでは集合の全ての元に対する命題の超限帰納法を用いた証明を考えることができる。
自然数全体の成す集合 N が通常の大小関係 "<" に関して整列集合となるという事実は、一般に整列原理と呼ばれる。
（選択公理に同値な）整列可能定理は、任意の集合が整列順序付け可能であることを主張するものである。整列可能定理はまたツォルンの補題とも同値である。
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
GAIRON-book : 2018/6/21(19:23)
第13章 整列集合 東北大 尾畑研
849:１３２人目の素数さん
24/03/16 20:15:49.64 /v13gW+O.net
>>799
>・全部 試行は 1回前提で、確率計算するよｗ
「サイコロを一回投げる試行」は１回の試行ではない。
試行毎に結果は変化し、その集合が標本空間。そのひとつの元が1回の試行の結果。
君、根本的に分かってないようだね
850:１３２人目の素数さん
24/03/16 20:21:58.49 +LjGwmYz.net
>>801
>”1回の出題”の意味を誤解したんだね？
>未来に定まる予定の出題ではなく過去に定まった出題のことだよ
>文脈で読み取ろうよ 小学生じゃないんだから
中学 確率
・
851:サイコロ二つを振って、箱の中 目は決まっている ・二つの和が12になる確率は？ 二つとも6の場合で、1/36 さて、まだサイコロは振っていない ・サイコロ二つを振るが 目はまだ決まっていない ・二つの和が12になる確率は？ 二つとも6の場合で、1/36 幼稚園レベルだな
852:１３２人目の素数さん
24/03/16 20:22:24.29 /v13gW+O.net
>>799
ひとつのサイコロを一回投げる試行の結果は１～６の６通り
1回の試行の結果はそのいずれかひとつの１通り
小学生かい？君は
853:１３２人目の素数さん
24/03/16 20:26:56.64 /v13gW+O.net
>>804
>中学 確率
>・サイコロ二つを振って、箱の中
> 目は決まっている
>・二つの和が12になる確率は？
> 二つとも6の場合で、1/36
それは箱の中の目を決めることを試行とした場合の確率ね
君、試行が全然分かってないね 定義を読み直してごらん
854:１３２人目の素数さん
24/03/16 20:27:24.80 OP6n3otv.net
>>800
それ君の感想でしょ
855:１３２人目の素数さん
24/03/16 20:34:01.42 /v13gW+O.net
>>804
なんかおかしいと思って
URLﾘﾝｸ(study-line.com)
を見てみたが、
>中学 確率
>・サイコロ二つを振って、箱の中
> 目は決まっている
>・二つの和が12になる確率は？
> 二つとも6の場合で、1/36
なんて書かれてないじゃんｗ
捏造すんなよサル
856:１３２人目の素数さん
24/03/16 20:34:53.30 /v13gW+O.net
>>807
それが君の感想
857:１３２人目の素数さん
24/03/16 20:39:32.28 /v13gW+O.net
サルはサイコパスか？
平気で捏造するのはサイコパスだからなんだろうな
違うというならどこに
>・サイコロ二つを振って、箱の中
> 目は決まっている
>・二つの和が12になる確率は？
> 二つとも6の場合で、1/36
と書かれてるか示してごらん
858:１３２人目の素数さん
24/03/16 20:43:19.00 /v13gW+O.net
馬鹿は仕方ないが捏造は人間として終わってるだろ
まあサルは最初から人間じゃないがｗ
859:１３２人目の素数さん
24/03/16 20:45:08.05 +LjGwmYz.net
>>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はいえない
860:１３２人目の素数さん
24/03/16 20:50:36.40 /v13gW+O.net
>>812
>確率P(da>db)=1/2 と錯覚
それ君だけね
時枝先生はそんな阿呆な錯覚していない
861:１３２人目の素数さん
24/03/16 20:55:28.45 +LjGwmYz.net
>>808 >>810
>URLﾘﾝｸ(study-line.com)
>を見てみたが、
>>・サイコロ二つを振って、箱の中
>> 目は決まっている
>>・二つの和が12になる確率は？
>> 二つとも6の場合で、1/36
>と書かれてるか示してごらん
本気で聞いているのかな？ｗ
上記のサイト中で
冒頭に
”今回の内容をサクッと理解したい方はこちらの動画がおススメです”
とあって、動画のリンク貼ってあるよ。そこにあるよ
本気で聞いていたのか！ｗ
やれやれ ；ｐ）
862:１３２人目の素数さん
24/03/16 21:01:11.07 /v13gW+O.net
>>814
動画の何分何秒から？
863:１３２人目の素数さん
24/03/16 21:04:19.38 /v13gW+O.net
>>814
>そこにあるよ
嘘でないなら答えられるよな？ 何分何秒から？
864:１３２人目の素数さん
24/03/16 21:05:05.53 /v13gW+O.net
嘘に嘘を重ねて破綻する
完全にサイコパスだわこいつ
865:１３２人目の素数さん
24/03/16 21:16:45.98 /v13gW+O.net
>>814
おかしいなあ、俺が見た限り
「〇〇のサイコロを投げる。〇〇になる確率を求めなさい。」
という出題パターンしか無いんだが
どこにも
>・サイコロ二つを振って、箱の中
> 目は決まっている
なんて無いんだが
もしかして君の捏造？ いったいどういう了見なんだ？ 何のために捏造するんだ？
数学どうこう以前の人間性がぶっ壊れてるよ君
866:１３２人目の素数さん
24/03/16 21:28:21.91 /v13gW+O.net
他人にマウント取るためなら捏造なんて屁とも思わない
動画を特定したらすぐバレることは火を見るより明らかなのにそれでもやらずにいられない
狂ってる 完全に狂ってる ここまでの異常人格者見たこと無い
867:１３２人目の素数さん
24/03/16 21:38:04.47 /v13gW+O.net
サイコパスの特徴
・窃盗などの違法行為を繰り返すことがある
・自信にあふれ、魅力的に見える
・他人に対して共感する気持ちが持てない
・人を支配する
・平然とうそをつく
・衝動的に行動する
・他人を責める
・無責任である
魅力的に見える以外全部当てはまってて草
868:１３２人目の素数さん
24/03/16 21:42:01.00 REZvRVWI.net
>>809
開けてない箱の∀を後ろに持っていけないのが非公開の情報を使ってるなによりの証拠じゃん
869:１３２人目の素数さん
24/03/16 21:59:09.03 /v13gW+O.net
>>821
非公開の情報とは？
870:１３２人目の素数さん
24/03/16 22:01:57.69 REZvRVWI.net
>>822
開けてない箱の中身以外にあるかよ
871:１３２人目の素数さん
24/03/16 22:04:02.72 /v13gW+O.net
>>823
証拠になる理由は？
872:１３２人目の素数さん
24/03/16 22:05:26.27 /v13gW+O.net
言っておくが、君の好きな問題において証拠になるは理由にならないぞ？
問題が違えば証拠になるならないも違ってくる
873:１３２人目の素数さん
24/03/16 22:07:54.16 REZvRVWI.net
>>824
使ってなければ後ろに持ってけるだろ
874:１３２人目の素数さん
24/03/16 22:13:42.24 /v13gW+O.net
>>824
それ待遇を言ってるに過ぎないじゃんｗ
君の持論の正しさを示せと言ってるのに待遇を持ち出すって、君、もしかして馬鹿？
875:１３２人目の素数さん
24/03/16 22:14:22.55 /v13gW+O.net
アンカミス >>826な
876:１３２人目の素数さん
24/03/16 22:17:14.66 /v13gW+O.net
命題Aが真であることとその対偶が真であることは同値
よって対偶を持ち出してもAが真である理由には１㍉もならない
高校で習わんかった？
877:１３２人目の素数さん
24/03/16 22:26:15.94 /v13gW+O.net
正しい理由を聞かれてつい対偶を持ち出してしまったってことは、正しいと妄想してるだけってことさ
違うと言うなら箱入り無数目においても正しいことを示してみて
878:１３２人目の素数さん
24/03/16 22:35:00.88 REZvRVWI.net
>>827
使ってなければ後ろに持っていけるは定理として簡単に証明できるだろ
879:１３２人目の素数さん
24/03/16 22:46:13.79 /v13gW+O.net
>>831
じゃ証明して
880:１３２人目の素数さん
24/03/16 22:51:40.95 REZvRVWI.net
>>832
∃(x+1)とか言ってるやつにこんなメタな定理が理解できるわけないだろ
881:１３２人目の素数さん
24/03/16 22:55:50.48 /v13gW+O.net
>>833
はい、また逃げました～
その逃亡芸もう秋田
882:１３２人目の素数さん
24/03/16 22:58:16.85 /v13gW+O.net
できもしないことを簡単にできるとか言っちゃう君もサイコパスザルと同類やね
不成立派はこんなんばっかやなｗ
883:１３２人目の素数さん
24/03/16 22:59:48.78 /v13gW+O.net
動画に出てる←嘘
簡単にできる←嘘
サイコパスしかおらんのかい、不成立派はｗ
884:１３２人目の素数さん
24/03/16 23:02:13.92 REZvRVWI.net
>>834
やっぱり∃(x+1).と同一人物だったのか
こんな頭のおかしい論理式書くやつの相手なんて誰がするかよ
885:１３２人目の素数さん
24/03/16 23:03:57.43 +LjGwmYz.net
>>818
サイコパスのおサル>>8
詭弁のデパートだな
次のスレでテンプレに入れておくぜ！ｗ
（>>814より再録）
>>808 >>810
>URLﾘﾝｸ(study-line.com)
>を見てみたが、
>>・サイコロ二つを振って、箱の中
>> 目は決まっている
>>・二つの和が12になる確率は？
>> 二つとも6の場合で、1/36
>と書かれてるか示してごらん
本気で聞いているのかな？ｗ
上記のサイト中で
冒頭に
”今回の内容をサクッと理解したい方はこちらの動画がおススメです”
とあって、動画のリンク貼ってあるよ。そこにあるよ
(引用終り)
（>>818より再録）
>>814
おかしいなあ、俺が見た限り
「〇〇のサイコロを投げる。〇〇になる確率を求めなさい。」
という出題パターンしか無いんだが
どこにも
>・サイコロ二つを振って、箱の中
> 目は決まっている
なんて無いんだが
(引用終り)
１）サイコロ二つを振って 二つの和が12になる確率は？ 二つとも6の場合で、1/36
これが分からないと聞いてきた
２）動画にあると示したら、「サイコロ二つを振って、箱の中 目は決まっている なんて無いんだが」
ときたもんだ。笑える
886:１３２人目の素数さん
24/03/16 23:06:45.95 +LjGwmYz.net
中学レベルの確率論でつまずいているんだ
アホのきわみだね
887:１３２人目の素数さん
24/03/16 23:07:39.62 /v13gW+O.net
>>837
言い訳になってないよｗ
888:１３２人目の素数さん
24/03/16 23:12:43.81 REZvRVWI.net
∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、これこれが証明可能であるなんて、∃(x
÷1)野�
889:Yに分かるわけないじゃん
890:１３２人目の素数さん
24/03/16 23:18:18.29 /v13gW+O.net
>>838
>１）サイコロ二つを振って 二つの和が12になる確率は？ 二つとも6の場合で、1/36
どこにも
>・サイコロ二つを振って、箱の中
> 目は決まっている
なんて書かれてないじゃんｗ
>２）動画にあると示したら、「サイコロ二つを振って、箱の中 目は決まっている なんて無いんだが」
> ときたもんだ。笑える
いや、動画のどこにも
>・サイコロ二つを振って、箱の中
> 目は決まっている
なんて無いよね
君、嘘ついてるよね
笑える？ 君、病院行った方がいいよ
891:１３２人目の素数さん
24/03/16 23:23:34.82 /v13gW+O.net
>>841
>これこれが証明可能である
ってなに？ｗ
>∃(x÷1)野郎に分かるわけないじゃん
じゃあ数学者に分かる証明を書いて
知り合いの数学者に見てもらうから
892:１３２人目の素数さん
24/03/16 23:32:51.63 /v13gW+O.net
>>838
君さあ
これからサイコロを振ることと、サイコロを振った結果は違うことは理解できる？
前者の標本空間={1,2,3,4,5,6}
後者の標本空間={出た目} ←１元しかないので確率を考えてもナンセンス
893:１３２人目の素数さん
24/03/16 23:33:50.33 REZvRVWI.net
>>843
∃y.∀x.P(x,y)に決まってるだろ
お前はどうせわかんないんだろ、伝言ゲームするぐらいのらそいつここによんでくれぱいいじゃん
894:１３２人目の素数さん
24/03/16 23:34:44.04 /v13gW+O.net
動画に出てる←嘘
簡単にできる←嘘
サイコパスしかおらんのかい、不成立派はｗ
895:１３２人目の素数さん
24/03/16 23:39:17.12 /v13gW+O.net
>>845
書かれてないのに呼ぶ意味は？
君、乱心してんの？落ち着けよ
896:１３２人目の素数さん
24/03/16 23:42:00.72 /v13gW+O.net
>>845
簡単なんでしょ？
じゃさっさと書いてよ
書かれてもないのに呼ばないよｗ なんで呼んだ？ってなっちゃうだろーがｗ
897:１３２人目の素数さん
24/03/16 23:43:34.20 REZvRVWI.net
>>847
呼んでくれぱ書くよ
どうせ君には読めないじゃん
898:１３２人目の素数さん
24/03/16 23:45:16.11 /v13gW+O.net
>>849
だーかーらー
呼ばれた人はどうすんだよｗ なんで呼ばれたんだ？ってなるだろ？ 分からんのか？ 阿呆なの？馬鹿なの？
899:１３２人目の素数さん
24/03/16 23:46:57.63 /v13gW+O.net
てかつべこべ言わずさっさと書けや
またいつものハッタリか？
900:１３２人目の素数さん
24/03/16 23:48:56.82 REZvRVWI.net
∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である。終わり
901:１３２人目の素数さん
24/03/16 23:49:46.07 /v13gW+O.net
君さ、会社でもそんななん？
レビューアを呼び出してから資料書くん？
資料書くのが先じゃないん？
だいじょうぶか？君
902:１３２人目の素数さん
24/03/16 23:50:39.70 REZvRVWI.net
で、これは結局放置するわけ？
x+1が仮に変数だとして
＞∀x∈ℕ.∃(x+1).x<x+1
これをα変換したら
∀x∈ℕ.∃y.x<x+1
なのか
∀x∈ℕ.∃y.x<y
なのかすら不明瞭
903:１３２人目の素数さん
24/03/16 23:51:13.39 REZvRVWI.net
>>853
ほら書いてやったぞさっさと呼んで来いよ
904:１３２人目の素数さん
24/03/16 23:53:18.84 REZvRVWI.net
>>853
呼んで来たらついでに、>>854がどっちなのかも聞いていて
905:１３２人目の素数さん
24/03/16 23:55:14.40 /v13gW+O.net
>>852
箱入り無数目におけるx、y、P(x,y)がそれぞれ何か述べよ
906:１３２人目の素数さん
24/03/16 23:58:01.45 /v13gW+O.net
>>852
∀x.∃y.P(x,y)なる命題が箱入り無数目のそれと一致してなければ>>852は完全にナンセンスなので心して答えるように
907:１３２人目の素数さん
24/03/17 00:03:41.90 egixwGA8.net
>>858
>>370,395,396
これお前が書いたんじゃないの？
908:１３２人目の素数さん
24/03/17 00:16:23.47 VAa6dkvQ.net
>>859
違うけど、
x=先手の手、y=後手の手、P(x,y)=後手の勝率は99/100以上
という理解で合ってる？
まずはここまで
909:１３２人目の素数さん
24/03/17 00:27:17.53 egixwGA8.net
>>860
じゃあこっちは上のアンカーみたいな定式化に対して∀∃の形にすんなって言ってるんだから、関係ないなら来ないでくれる
910:１３２人目の素数さん
24/03/17 00:40:01.46 VAa6dkvQ.net
>>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) の証明であるとなぜ君の主張「∀が先頭についてるんだから相手側に全公開してるだろ」が正当化されるの？
911:１３２人目の素数さん
24/03/17 00:49:14.99 egixwGA8.net
>>862
なんでそれが関係あるの？
912:１３２人目の素数さん
24/03/17 00:53:55.64 egixwGA8.net
そもそも、ゲームの攻略法を∀と∃の組み合わせで定式化したら前についてる量化子はすべて公開されてる状態で次の量化子の手番に進むに決まってんじゃん
これになんの
913:疑問の余地があるのかさっぱりわからんのだが
914:１３２人目の素数さん
24/03/17 00:54:26.72 VAa6dkvQ.net
>>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)の証明である。
は
>∀が先頭についてるんだから相手側に全公開してるだろ
の証明になってないって言ってるんだけど
的確に反論しないとｗ
915:１３２人目の素数さん
24/03/17 00:55:56.21 VAa6dkvQ.net
>>864
>決まってんじゃん
はい、決まってないです
あなたの妄想です
916:１３２人目の素数さん
24/03/17 00:56:10.12 egixwGA8.net
>>865
なんでそれが相手側に全公開してることの証明だと思ったの？関係ないよね？
917:１３２人目の素数さん
24/03/17 00:57:24.92 egixwGA8.net
>>866
そう思うなら無視すりゃいいじゃん
こっちは∃(x+1)とか書き始める人間に何言われても気にしないから
918:１３２人目の素数さん
24/03/17 00:58:15.47 VAa6dkvQ.net
>>867
じゃ何の証明だよｗ
こっちは最初から>>260が間違いであることは理解したの？って言ってるんだけどｗ
それに対する反論じゃなかったんか？ 馬鹿かよｗ
919:１３２人目の素数さん
24/03/17 00:59:52.45 VAa6dkvQ.net
>>867
おまえ頭オカシイのか？
さっさと>>260の正当性を示せよｗ
920:１３２人目の素数さん
24/03/17 01:02:08.61 VAa6dkvQ.net
>>868
おまえ都合悪くなるといつも逃げるのな
921:１３２人目の素数さん
24/03/17 01:02:45.83 egixwGA8.net
>>869
∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、∃y.∀x.P(x,t)が証明できることの証明だろ
お前が>>832でこれを証明しろっていったんじゃねーかよ
記憶力ダチョウ並かよ
922:１３２人目の素数さん
24/03/17 01:05:59.86 egixwGA8.net
>>870
ゲームの定式化をそうやるって話だよ
これが嫌いなら勝手にすればいいじゃん
定式化が変われば結果が変わるのは当たり前なんだからさ
923:１３２人目の素数さん
24/03/17 01:08:42.91 egixwGA8.net
そもそも箱の中身を確率変数にして定式化すれば、∀の順序とか悩まずに定式化できるのに、こんな入口で躓いててこの先どーすんの
924:１３２人目の素数さん
24/03/17 01:09:04.96 VAa6dkvQ.net
>>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)が証明できることの証明になってないぞ
925:１３２人目の素数さん
24/03/17 01:10:22.07 VAa6dkvQ.net
>>874
そもそも箱の中身を確率変数にできないのにこんな入口で躓いててこの先どーすんの
926:１３２人目の素数さん
24/03/17 01:14:33.92 egixwGA8.net
>>875
＞λx.ex t f(x,t) ⇒ ex t (λx.f(x,t))
⇒ってなに？ならば？
927:１３２人目の素数さん
24/03/17 01:16:14.72 VAa6dkvQ.net
>>877
そうだよ
P⇒Q は Pが真ならQが真という命題
928:１３２人目の素数さん
24/03/17 01:16:22.80 egixwGA8.net
>>876
できないってなんだよ
定式化なんだから好きにやりゃいいんだよ
そもそも記事でやってる説明だって確率変数で書いたときの特別な場合だろ
929:１３２人目の素数さん
24/03/17 01:17:37.88 egixwGA8.net
>>878
なんでそこにならばをつけたの？
お前はπ⇒eとかみたいな感じでならばを使うんか？
930:１３２人目の素数さん
24/03/17 01:22:54.32 VAa6dkvQ.net
>>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)の証明である」へギャップがある
ギャップを埋めよ
931:１３２人目の素数さん
24/03/17 01:23:20.56 egixwGA8.net
1ならば2とか
sin 60°ならばtan 30°とか
お前はそういう風にならばを使うの？
932:１３２人目の素数さん
24/03/17 01:24:11.41 egixwGA8.net
>>881
ならばは？
933:１３２人目の素数さん
24/03/17 01:29:32.73 egixwGA8.net
>>881
ねえ、ならばはどこに行ったの！
934:１３２人目の素数さん
24/03/17 01:30:15.41 VAa6dkvQ.net
>>879
>定式化なんだから好きにやりゃいいんだよ
大間違い
問題設定に沿ってなければダメ
ある一つの固定された出題に対し回答者の勝率が定義できるためには出題が試行であってはダメ
箱の中身を確率変数にするということは出題が試行ということ
なぜなら箱の中身が変化するのは出題毎だから
>そもそも記事でやってる説明だって確率変数で書いたときの特別な場合だろ
意味不明
935:１３２人目の素数さん
24/03/17 01:31:06.42 VAa6dkvQ.net
>>884
ねえ、ギャップは？
いつ埋まるの？
936:１３２人目の素数さん
24/03/17 01:32:59.45 egixwGA8.net
>>885
じゃあ君がコロナに感染してるかどうかも確率変数にしちゃだめだね
医者どもはそれを確率変数だと思って診断してるから、お前はもうPCR検査行くなよ
937:１３２人目の素数さん
24/03/17 01:33:33.37 VAa6dkvQ.net
>>882
おまえ馬鹿？ そういう風にも使えるよ
命題「x=π ⇒ x=e」は偽
はい、使った
938:１３２人目の素数さん
24/03/17 01:33:52.61 egixwGA8.net
>>886
ならばの意味が分からないから説明してよ
1⇒2って何？
939:１３２人目の素数さん
940:sage
>>888 π⇒eはどこに行ったの？
941:１３２人目の素数さん
24/03/17 01:37:08.43 VAa6dkvQ.net
>>887
意味不明
確率空間を書いてみて
942:１３２人目の素数さん
24/03/17 01:38:04.38 VAa6dkvQ.net
>>890
いいから早くギャップを埋めてよ
また逃げる気？
943:１３２人目の素数さん
24/03/17 01:38:43.64 egixwGA8.net
1 ≦ y ⇒ 0 ≦ yも
x = 1 ≦ y ⇒ x = 0 ≦ y だから偽だね
944:１３２人目の素数さん
24/03/17 01:39:14.78 egixwGA8.net
>>892
だからならばってなんだよ
945:１３２人目の素数さん
24/03/17 01:39:57.90 VAa6dkvQ.net
こいつまた逃げる気か
都合が悪くなるといつも>>889 >>890みたいにごまかして逃げるな
946:１３２人目の素数さん
24/03/17 01:40:31.93 VAa6dkvQ.net
>>894
ごまかすな
ギャップを示せ
947:１３２人目の素数さん
24/03/17 01:40:35.03 egixwGA8.net
>>891
なんの確率空間を書くの？
前から何度も言ってるように、普通は確率空間は任意だよ
948:１３２人目の素数さん
24/03/17 01:41:53.07 egixwGA8.net
>>896
ならばのところにギャップがあるんでしょ？
だから1⇒2ってなんなんだよって聞いてんだよ
949:１３２人目の素数さん
24/03/17 01:43:11.58 VAa6dkvQ.net
>>898
>>881読めないの？なら小学校の国語からやり直し
950:１３２人目の素数さん
24/03/17 01:43:41.06 VAa6dkvQ.net
>>897
>>887
951:１３２人目の素数さん
24/03/17 01:45:02.55 egixwGA8.net
>>900
それは任意の確率空間にしないと不便だろ
952:１３２人目の素数さん
24/03/17 01:46:12.09 egixwGA8.net
>>899
どこにギャップがあるの？
⇒はどこに行ったの？
まず⇒の話を解決しないと意味不明なんですけど
953:１３２人目の素数さん
24/03/17 01:47:08.12 VAa6dkvQ.net
>>897
>前から何度も言ってるように、普通は確率空間は任意だよ
事象空間が任意てｗ じゃ何の確率だよｗ 完全に狂ってるｗ
954:１３２人目の素数さん
24/03/17 01:48:24.79 VAa6dkvQ.net
>>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)の証明である」へギャップがある
って日本語が読めないようだね。小学校の国語からやり直し
955:１３２人目の素数さん
24/03/17 01:49:50.09 egixwGA8.net
>>904
具体的に指摘してよ
956:１３２人目の素数さん
24/03/17 01:50:53.62 egixwGA8.net
>>903
だからお前は素人なんだよ
確率論の本を数冊読んでから出直せ
957:１３２人目の素数さん
24/03/17 01:51:55.31 VAa6dkvQ.net
>>897
>前から何度も言ってるように、普通は確率空間は任意だよ
サイコロひとつを一回振る試行の標本空間は任意なので{}としました
この標本空間{}を用いて1の目がでる確率を計算してください
958:１３２人目の素数さん
24/03/17 01:52:50.48 egixwGA8.net
>>907
お前が決めるんじゃねーよ
959:１３２人目の素数さん
24/03/17 01:53:10.53 VAa6dkvQ.net
>>905
>>904が具体的なギャップの指摘
ギャップを埋めるのは君
960:１３２人目の素数さん
24/03/17 01:53:50.14 VAa6dkvQ.net
>>906
屁理屈はよいので>>907に答えて
961:１３２人目の素数さん
24/03/17 01:54:04.17 egixwGA8.net
>>909
そんなものはない終わり
962:１３２人目の素数さん
24/03/17 01:54:35.17 egixwGA8.net
>>910
だからお前が決めるんじゃねーよ
963:１３２人目の素数さん
24/03/17 01:55:41.74 VAa6dkvQ.net
>>908
あれ？任意でいいって言ってなかったっけ？
任意でいいってことは俺が決めてもいいんだろ？ダメなの？じゃ誰が決めんの？それ任意って言うの？馬鹿？
964:１３２人目の素数さん
24/03/17 01:58:53.06 egixwGA8.net
>>913
任意の確率空間(Ω,F,P)について何々から書き始めるから任意なんだよ、お前がひとつに決めるなよ
965:１３２人目の素数さん
24/03/17 02:05:48.90 VAa6dkvQ.net
>>911
>>852って単に
「先手の情報が全公開されてないなら ∀x.∃y.P(x,y) を ∃y.∀x.P(x,t) に書き換えられる」
と言ってるに過ぎず、それって君の持論を言い直しただけじゃんｗ
何の証明にもなってないｗ 馬鹿過ぎｗ
966:１３２人目の素数さん
24/03/17 02:07:55.95 VAa6dkvQ.net
>>914
>任意の確率空間(Ω,F,P)について何々から書き始めるから任意なんだよ
日本語でお願いします
>お前がひとつに決めるなよ
じゃあおまえがひとつに決めろよ
967:１３２人目の素数さん
24/03/17 02:09:56.03 VAa6dkvQ.net
>>911
なぜ書き換えられるかの理由が無いと証明にならんぞｗ
てかおまえ証明って何か分かってる？ｗ
968:１３２人目の素数さん
24/03/17 02:10:02.38 egixwGA8.net
>>916
ひとつに決めたら不便だろ
頭沸いてるのかよ
969:１３２人目の素数さん
24/03/17 02:12:00.92 VAa6dkvQ.net
>>918
不便でいいから決めろ
970:１３２人目の素数さん
24/03/17 02:12:31.38 egixwGA8.net
>>915
全然違う
＞「先手の情報が全公開されてないなら ∀x.∃y.P(x,y) を ∃y.∀x.P(x,t) に書き換えられる」
勝手に捏造しないでくれます？
971:１３２人目の素数さん
24/03/17 02:13:09.56 egixwGA8.net
>>919
だからひとつに決めないのも定式化の一部なんだよ
972:１３２人目の素数さん
24/03/17 02:13:11.84 VAa6dkvQ.net
>>918
おまえいっつも逃げるのな
逃げ口上考える頭を数学に使えば？
973:１３２人目の素数さん
24/03/17 02:13:49.01 VAa6dkvQ.net
>>920
何がどう違うと？
974:１３２人目の素数さん
24/03/17 02:14:15.95 VAa6dkvQ.net
>>921
だから逃げ口上はいいって
975:１３２人目の素数さん
24/03/17 02:15:00.99 egixwGA8.net
>>922
不便なものに不便だと言って何が悪い
確率論の標準的な手法に文句があるならコルモゴロフにでも言ってくれ
976:１３２人目の素数さん
24/03/17 02:16:01.56 egixwGA8.net
>>923
∃(x+1)くんが捏造してるのに合ってるわけないだろ
977:１３２人目の素数さん
24/03/17 02:16:11.43 VAa6dkvQ.net
>>921
ひとつに決めないのも定式化の一部ならひとつに決めるのも定式化の一部だろ
じゃ決めろよ
これ以上逃げ口上は勘弁な
978:１３２人目の素数さん
24/03/17 02:17:35.09 VAa6dkvQ.net
>>925
悪いなんて言ってないじゃんｗ 幻聴が聞こえるのか？
979:１３２人目の素数さん
24/03/17 02:18:02.57 VAa6dkvQ.net
>>926
何をどう捏造してると？
980:１３２人目の素数さん
24/03/17 02:18:16.92 egixwGA8.net
>>927
何言ってんの
定式化は各人好きなようにやっていいよ
君がやりたいならそうしろよ
こっちは確率論を具体的に書かない標準的なやり方でやるから
981:１３２人目の素数さん
24/03/17 02:19:43.84 VAa6dkvQ.net
>>930
おまえさっき勝手に決めるなって言ったのもう忘れたの？ｗ
ダメだこいつｗ 完全にイカレてやがるｗ
982:１３２人目の素数さん
24/03/17 02:20:11.32 egixwGA8.net
>>929
＞「先手の情報が全公開されてないなら ∀x.∃y.P(x,y) を ∃y.∀x.P(x,t) に書き換えられる」
このような主張はしてない
983:１３２人目の素数さん
24/03/17 02:21:16.80 egixwGA8.net
>>931
君の決めたやつで勝手にやってていいから
984:１３２人目の素数さん
24/03/17 02:22:58.10 VAa6dkvQ.net
0908１３２人目の素数さん
2024/03/17(日) 01:52:50.48ID:egixwGA8
>>907
お前が決めるんじゃねーよ
0930１３２人目の素数さん
2024/03/17(日) 02:18:16.92ID:egixwGA8
>>927
定式化は各人好きなようにやっていいよ
君がやりたいならそうしろよ
↑
錯乱してるｗ
985:１３２人目の素数さん
24/03/17 02:23:33.91 VAa6dkvQ.net
>>933
0908１３２人目の素数さん
2024/03/17(日) 01:52:50.48ID:egixwGA8
>>907
お前が決めるんじゃねーよ
986:１３２人目の素数さん
24/03/17 02:24:43.95 VAa6dkvQ.net
>>932
じゃあどう主張してんの？
987:１３２人目の素数さん
24/03/17 02:28:27.68 VAa6dkvQ.net
>>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)の証明である
証明である理由が何も書かれてなくて勝手に宣言してるだけじゃんｗ
宣言したもん勝ちかよｗ
988:１３２人目の素数さん
24/03/17 02:28:43.68 HNHCaIr5.net
>>935
こっちの定式化では任意にしてるところをお前が決めんなって言ってんの
お前が定式化してるところは固定で好きなようにやっていいから
989:１３２人目の素数さん
24/03/17 02:29:49.82 HNHCaIr5.net
>>937
何？証明であるのところが解らなかったの？
なんで今まで具体的に書かなかったの？
990:１３２人目の素数さん
24/03/17 02:31:41.64 VAa6dkvQ.net
>>938
なんでおまえが持ち出したPCR検査の確率空間をそんなに書きたくないの？
書けないなら持ち出さなきゃいいじゃん
持ち出したからには書けよ
不便とか言い訳してんなよカス
991:１３２人目の素数さん
24/03/17 02:33:16.72 VAa6dkvQ.net
>>939
うん分からなかった
証明になってないから分かり様が無い
992:１３２人目の素数さん
24/03/17 02:33:42.97 HNHCaIr5.net
>>940
なんで具体的に書けると思うの？
任意の確率空間って書いてんじゃん
993:１３２人目の素数さん
24/03/17 02:34:26.62 VAa6dkvQ.net
>>939
もう一回聞くけど
ex t (λx.f(x,t)) が ∃y.∀x.P(x,t) の証明である理由は何？
994:１３２人目の素数さん
24/03/17 02:34:51.34 HNHCaIr5.net
>>941
証明の定義に戻って確認するだけでしょ
995:１３２人目の素数さん
24/03/17 02:35:36.17 HNHCaIr5.net
>>943
ほとんど証明の定義そのままだろ
996:１３２人目の素数さん
24/03/17 02:35:52.22 VAa6dkvQ.net
>>942
任意ってことは{}でもいいんだろ？
じゃあ>>907に答えろや 何逃げてんだよ
997:１３２人目の素数さん
24/03/17 02:36:44.79 VAa6dkvQ.net
>>945
証明の定義を書いてみて
998:１３２人目の素数さん
24/03/17 02:38:38.65 VAa6dkvQ.net
こいつ書けって言うと全部逃げるのなｗ
口から出まかせだから書けないんだろう そりゃ逃げるしかないわな
999:１３２人目の素数さん
24/03/17 02:40:40.00 VAa6dkvQ.net
>>939
もうひとつ聞くけど
xがtに自由に現れるとき ex t (λx.f(x,t)) が ∃y.∀x.P(x,t) の証明でない理由は何？
1000:１３２人目の素数さん
24/03/17 02:41:38.99 HNHCaIr5.net
>>947
それ知らないのになんでギャップがあるって主張すんの？
お前が知ってる定義を書いてみろよ
1001:１３２人目の素数さん
24/03/17 02:42:44.70 VAa6dkvQ.net
>>950
自分が書けないからって何言いだすんだおまえｗ
1002:１３２人目の素数さん
24/03/17 02:43:37.40 VAa6dkvQ.net
証明の定義の言い出しっぺはおまえだろ？
言い出しっぺが書けやクズ
1003:１３２人目の素数さん
24/03/17 02:47:50.71 VAa6dkvQ.net
>>943と>>949は宿題な
忘れずやれよ
1004:１３２人目の素数さん
24/03/17 02:49:41.10 HNHCaIr5.net
>>949
それなんか関係ある？
具体的にやってみりゃわかんじゃん
1005:１３２人目の素数さん
24/03/17 02:50:34.18 HNHCaIr5.net
>>952
教科書に載ってるものをコピペする必要性がどこにあるの？
1006:１３２人目の素数さん
24/03/17 02:54:07.97 VAa6dkvQ.net
>>954
結局理由をひとつも言えないのね？
だけど証明になってる
1007:と思ってるのね？ ダメだこりゃ
1008:１３２人目の素数さん
24/03/17 02:57:34.61 HNHCaIr5.net
>>956
理由もなにもほとんど証明の定義だろ
1009:１３２人目の素数さん
24/03/17 02:58:01.19 VAa6dkvQ.net
聞いていいか？
箱入り無数目は∃y.∀x.P(x,t)とは書けない
一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている
それはおまえの持論に反してるんだろ？
てことは上記証明が間違ってるはずなんだろ？
どこが間違ってるの？
1010:１３２人目の素数さん
24/03/17 03:00:50.13 VAa6dkvQ.net
>>958宿題な
忘れずやれよ
1011:１３２人目の素数さん
24/03/17 03:07:31.30 HNHCaIr5.net
>>958
＞箱入り無数目は∃y.∀x.P(x,t)とは書けない
書ける
＞一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている
後者はPが具体的に書かれていないと証明されているのか不明。そもそも証明にはxが公開されているとかいう要素は関係ない
1012:１３２人目の素数さん
24/03/17 03:09:28.49 VAa6dkvQ.net
時枝証明とおまえの持論は相容れない
おまえの持論の正しさを証明するには時枝証明の間違い箇所を具体的に指摘する必要がある
がんばれよｗ
1013:１３２人目の素数さん
24/03/17 03:13:14.35 HNHCaIr5.net
>>961
記事の証明に間違いなんてねーぞ
そこは全員の共通認識だろ
今さら何言ってんの？
1014:１３２人目の素数さん
24/03/17 03:13:50.93 VAa6dkvQ.net
>>960
>書ける
じゃyを書いてみて
>そもそも証明にはxが公開されているとかいう要素は関係ない
0260１３２人目の素数さん
2024/03/07(木) 16:55:42.19ID:C3Ro7iPT
>>259
∀が先頭についてるんだから相手側に全公開してるだろ
1015:１３２人目の素数さん
24/03/17 03:15:50.26 VAa6dkvQ.net
>>962
>記事の証明に間違いなんてねーぞ
え？？？
じゃおまえは箱入り無数目成立派なの？
じゃ何に対し文句垂れてんの？
1016:１３２人目の素数さん
24/03/17 03:16:26.41 HNHCaIr5.net
>>963
yは1でいいよ
＞>そもそも証明にはxが公開されているとかいう要素は関係ない
＞0260１３２人目の素数さん
＞2024/03/07(木) 16:55:42.19ID:C3Ro7iPT
＞>>259
＞∀が先頭についてるんだから相手側に全公開してるだろ
これの何が関係あるの？
1017:１３２人目の素数さん
24/03/17 03:17:53.85 HNHCaIr5.net
>>964
お前らが適当に∀と∃を並べて曖昧なろんりを書いたり、確率変数を使った定式化を否定してるのに文句言ってんだよ
1018:１３２人目の素数さん
24/03/17 03:18:26.23 HNHCaIr5.net
曖昧な論理式
1019:１３２人目の素数さん
24/03/17 03:19:42.66 VAa6dkvQ.net
>>965
>yは1でいいよ
ダメだこいつｗ yがどんな空間に属すかすら分かってないｗ
>これの何が関係あるの？
そもそもおまえは何に対して文句垂れてんの？
1020:１３２人目の素数さん
24/03/17 03:21:48.03 VAa6dkvQ.net
>>966
確率変数を使った定式化を否定してる訳ねーだろｗ 何をどう勘違いしたらそうなるんだ？ｗ
100列のいずれを選択するかが確率変数だと言ってんだよｗ 馬鹿かおまえは
1021:１３２人目の素数さん
24/03/17 03:24:08.39 VAa6dkvQ.net
>>967
あいまいな論理式の前に
確率変数だから∀の位置がどうたらこうたらっておまえの持論の方がよっぽどデタラメだぞｗ
1022:１３２人目の素数さん
24/03/17 03:25:50.44 HNHCaIr5.net
>>968
お前が∃y∀xの形で書けっていったんだろ、∃y∈{1}.∀x∈{1}.でいいじゃん残りは勝手に埋めるから
1023:１３２人目の素数さん
24/03/17 03:26:17.62 VAa6dkvQ.net
もう一回聞くけどおまえは箱入り無数目記事は正しい、つまり、任意の出題列に対して回答者が確率99/100以上で勝てる戦略が存在すると思ってるのね？
1024:１３２人目の素数さん
24/03/17 03:26:35.95 HNHCaIr5.net
>>969
箱の中身も確率変数にしてもいいだろって言ってんだよ
1025:１３２人目の素数さん
24/03/17 03:27:24.38 VAa6dkvQ.net
>>971
>∃y∈{1}.∀x∈{1}.でいいじゃん
それ箱入り無数目じゃないからダメ
1026:１３２人目の素数さん
24/03/17 03:28:03.57 VAa6dkvQ.net
>>973
いいとは？
1027:１３２人目の素数さん
24/03/17 03:28:05.55 HNHCaIr5.net
>>972
その確率をどういう情報をもとに計算したかによるから定式化によって答が変わるって言ってるの
1028:１３２人目の素数さん
24/03/17 03:29:55.37 HNHCaIr5.net
>>974
なんで？
∃y∈{1}.∀x∈{1}.の後ろにお前が思う
正しい論理式をxとyの名前だけ変えて書けばいいじゃん
1029:１３２人目の素数さん
24/03/17 03:30:01.31 VAa6dkvQ.net
いいとはどういう意味のいいなの？
そういう問題を考えてもいいなのか箱入り無数目をそう定式化してもいいなのか
後者なら完全に間違い
1030:１３２人目の素数さん
24/03/17 03:30:39.60 HNHCaIr5.net
>>975
箱の中身を確率変数にする定式化だってあるだろ
1031:１３２人目の素数さん
24/03/17 03:31:31.57 HNHCaIr5.net
>>978
だから、そういう他の定式化を否定してるところに文句言ってんだよ
1032:１３２人目の素数さん
24/03/17 03:32:33.77 VAa6dkvQ.net
>>976
大間違い
問題に曖昧さが無いから答えは唯一
定式化によって答えが変わるなら定式化の仕方が間違ってるだけ
1033:１３２人目の素数さん
24/03/17 03:33:06.23 HNHCaIr5.net
何が完全に間違いだよ
記事の定式化の拡張になってるのに間違いになる要素なんてあるわけないだろ
1034:１３２人目の素数さん
24/03/17 03:34:31
1035:.35 ID:VAa6dkvQ.net
1036:１３２人目の素数さん
24/03/17 03:35:46.11 VAa6dkvQ.net
>>982
>記事の定式化の拡張になってるのに間違いになる要素なんてあるわけないだろ
が
1037:１３２人目の素数さん
24/03/17 03:37:11.72 VAa6dkvQ.net
>>980
それはおまえが箱入り無数目を理解していないだけのこと
1038:１３２人目の素数さん
24/03/17 03:38:08.49 HNHCaIr5.net
>>981
問題文では確率なんて定めてないのに、なんでそう言い切れるの？
1039:１３２人目の素数さん
24/03/17 03:39:24.52 HNHCaIr5.net
∃(x+1)とか書くやつに理解してないとか言われてもね
あと1⇒2
1040:１３２人目の素数さん
24/03/17 03:48:31.14 VAa6dkvQ.net
箱入り無数目の前にまずおまえは「見えないもの＝確率変数」と言ったよな？
それ間違いな
壷の中でサイコロを振って１の目が出た
客は１に賭ける
客が勝つ確率は？
壷の中でサイコロを振って１の目が出た
客はランダムに賭ける
客が勝つ確率は？
客は１に賭けた
壷の中でサイコロを振る
客が勝つ確率は？
この問題に正答できるなら「見えないもの＝確率変数」が間違いであることも分かるだろう
1041:１３２人目の素数さん
24/03/17 03:51:42.62 VAa6dkvQ.net
>>986
箱入り無数目では箱の中身を確率変数とする定式化は間違いだって言ってるの
1042:１３２人目の素数さん
24/03/17 03:53:43.68 HNHCaIr5.net
>>988
何言ってんのかわからん
何を知ってるときの確率なのか正確に書いて
1043:１３２人目の素数さん
24/03/17 03:54:37.15 HNHCaIr5.net
>>989
∃(x+1)の人の意見としてそれはもう承ったから何度も言わなくていいよ
1044:１３２人目の素数さん
24/03/17 03:57:36.02 VAa6dkvQ.net
>>986
（選択公理を除けば）問題文に曖昧さが無いから
回答者が勝率99/100以上で勝つ戦略があるか？という問いにはあるという答えしかない
記事の戦略で勝つ確率は？という問いには1-1/n以上という答えしかない
そういうことを言ってるんだよ
で、それには箱の中身を確率変数とする定式化はダメだと言ってるんだよ
1045:１３２人目の素数さん
24/03/17 04:00:16.54 VAa6dkvQ.net
>>990
客は壷の中でサイコロを振ったとかこれから振るとかしか知らんよ 壷の中身は知らんよ 当然ｗ
1046:１３２人目の素数さん
24/03/17 04:02:29.63 VAa6dkvQ.net
>>991
そういう大口は>>988に正答してからたたこうな
1047:１３２人目の素数さん
24/03/17 04:03:45.41 HNHCaIr5.net
>>992
中身を確率変数にしても記事と同じ結果になる確率空間は存在するだろ
ちゃんと拡張になってんだよ
1048:１３２人目の素数さん
24/03/17 04:05:08.20 HNHCaIr5.net
>>993
だから計算したい確率は知らない人から見た確率なのかって言ってんだよ
1049:１３２人目の素数さん
24/03/17 04:06:26.02 VAa6dkvQ.net
>>995
存在するなら書けやクズ
書きもせずに存在するする詐欺かおまえはｗ
1050:１３２人目の素数さん
24/03/17 04:06:50.48 HNHCaIr5.net
>>994
お前確率論の本読み切れてないじゃん
正解かどうか以前に自分がどういう問題を出してるかすら分かってないだろ
1051:１３２人目の素数さん
24/03/17 04:06:57.20 VAa6dkvQ.net
>>996
当たり前だろｗ