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

1 名前：１３２人目の素数さん [2024/03/05(火) 08:04:40.23 ID:FscjMFDQ.net] 前スレが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などは下付添え字 つづく 751 名前：１３２人目の素数さん [2024/03/12(火) 23:46:29.35 ID:pMrLmsKB.net] >>711 答えになってない おまえはxが変数でなぜx+1が変数でないのか答えてない おまえはx+1が何か答えてない おまえは ∀x∈ℕ.x<x+1 と ∀x∈ℕ.∃(x+1).x<x+1 が明らかに違うとしか言っておらずどう違うか答えてない 答えないくせになぜかまったく関係無い微分の話を持ち出している ていうか、こいつ相手にする必要ある？ ふざけてやってるとしか思えない 752 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 00:00:41.45 ID:ascKCvNK.net] >>713 別にお前がそれを変数のつもりで使ってるなら勝手にやっててくれていいから 753 名前：１３２人目の素数さん [2024/03/13(水) 00:04:11.91 ID:5iS9phMp.net] >>714 また逃げたｗ おまえ答えられなくなるといつも逃げるね 754 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 00:16:26.77 ID:ascKCvNK.net] >>715 別に勝手に使うぶんには構わないよ 好きにして 755 名前：１３２人目の素数さん [2024/03/13(水) 00:25:17.61 ID:5iS9phMp.net] >>716 答えられないってことは君の独善持論ってことだよね？ そんなの聞いてもしかたないので無理に出てこなくていいよ 756 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 00:32:31.50 ID:ascKCvNK.net] >>717 x+1を変数だと言うやつとは話しないから 757 名前：１３２人目の素数さん [2024/03/13(水) 00:37:03.59 ID:5iS9phMp.net] >>718 なぜ変数でないのか 変数じゃなきゃ何なのか 答えられないってことは君の独善持論ってことじゃん 758 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 00:50:39.26 ID:ascKCvNK.net] >>719 君の中では変数なんでしょ それで首尾一貫してれば好きにすればいいじゃん 759 名前：１３２人目の素数さん [2024/03/13(水) 00:58:49.14 ID:5iS9phMp.net] ちなみに https://web.sfc.keio.ac.jp/~hagino/logic16/07.pdf のP4には • 「もの」の集まり 　• 整数 　• 人間 • 「もの」の集まりを動く変数 　• 対象変数（object variable） 　• 𝑥, 𝑦, 𝑧, . . . と書かれてる xが「もの」の集まりである自然数を動く変数であるなら xの後者であるx+1もやはり自然数を動くので変数の 760 名前：定義を満たす 頑なに変数でないと言い張る人もいるようだけどどうやら独善持論のようですね [] [ここ壊れてます] 761 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 01:13:49.25 ID:ascKCvNK.net] >>721 自分で調べて解決したならそれでいいじゃん 好きにして 762 名前：１３２人目の素数さん [2024/03/13(水) 01:21:16.03 ID:5iS9phMp.net] ものの集まりとはつまり集合のことだし ものの集まりを動く変数とはつまり集合の不定元のことだね ∀x∈N.(xは不定) ⇒ x+1∈N ∧ (x+1は不定) であるから変数の定義に従い xはNを動く変数 ⇒ x+1はNを動く変数 が成立 >>720 君の中では非変数なんでしょ それで首尾一貫してれば好きにすればいいじゃん 763 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 01:27:59.96 ID:ascKCvNK.net] >>723 そうだねx+1は変数だね すごいすごい 764 名前：１３２人目の素数さん [2024/03/13(水) 01:34:59.38 ID:5iS9phMp.net] >>724 あれ？認めちゃったんだｗ じゃあ ∀x∈ℕ.∃(x+1).x<x+1 はOKってことね？∃の後ろは変数なんでしょ？ すると ∀x∈ℕ.x<x+1 と ∀x∈ℕ.∃(x+1).x<x+1 の違いは何だと言ってるの？ 765 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 01:41:23.20 ID:ascKCvNK.net] >>725 変な論理式書くやつにはどうせわからん 766 名前：１３２人目の素数さん [2024/03/13(水) 01:43:02.61 ID:5iS9phMp.net] >>726 変とは？ また独善持論ですか？ 767 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 01:51:52.05 ID:ascKCvNK.net] >>727 xが変数だからx+1も変数とかいいだす人間に記号論理学ができるわけないだろ 家庭教師でも雇って教えてもらえ 768 名前：１３２人目の素数さん [2024/03/13(水) 02:07:50.38 ID:5iS9phMp.net] >>728 あれ？認めたんじゃなかったの？ｗ じゃあ>>723のどこに欠陥があるのか具体的にどうぞ 769 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 02:12:43.16 ID:ascKCvNK.net] >>729 君が問題ないと思ってるならそれでいいじゃん 全く住んでる星が違うんだから好きにやっていいよ 770 名前：１３２人目の素数さん [2024/03/13(水) 02:41:05.48 ID:5iS9phMp.net] >>730 はい、また逃げたｗ 771 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 03:28:16.22 ID:ascKCvNK.net] >>731 勝手に数学もどきでもやってろ 772 名前：１３２人目の素数さん [2024/03/13(水) 05:45:56.61 ID:in9dXeLi.net] >>707 >　dyは N（自然数)で全体を渡るので、dy<mは有限だが m<dyは無限 >　強いて形式的に書けばP(m<dy)＝1 （∵m<dyの領域は無限） はい、誤り P(m<dy)＝１　とはいえません >つまり、P(m<dy)≠1/2。「箱入り無数目」不成立！ dy∈[1,n]の場合も　一般にP(m<dy)は1/2ではない 問題はdx,dy∈[1,∞)に対して、P(dx<dy)=1/2か、ということ そして、キミのいう非正則分布では、それは導けない （注：そうならない、という意味ではない） １は「スマリヤンの錯覚」に陥ってますな the-apon.com/coffeedonuts/illusions-have-same-root.html 773 名前：１３２人目の素数さん [2024/03/13(水) 05:52:37.60 ID:in9dXeLi.net] >>733 一般に d_1 , … , d_n ∈ [1,∞) に対して P( max( d_1 , … , d_(n-1) ) < d_n )=1/n　か？ d_1 , … , d_n ∈ [1,m) で、みな一様分布かつ相互に独立ならそうなるが 774 名前：１３２人目の素数さん [2024/03/13(水) 06:48:56.74 ID:in9dXeLi.net] >∀x∈ℕ.∃(x+1).x<x+1 >はOKってことね？ わざわざ∃(x+1).とつける必要はないけどね 775 名前：１３２人目の素数さん [2024/03/13(水) 08:19:23.89 ID:5iS9phMp.net] >>735 はい、ペアノの公理を前提とするなら ∀x∈N ⇒ x+1:=s(x)∈N なので、∃(x+1).と付ける必要無しは同意です。 但し付けても間違いではなく、付けない式 ∀x∈ℕ.x<x+1 と比較して意味が変わる訳でもないと思ってますが如何でしょう。 776 名前：１３２人目の素数さん [2024/03/13(水) 12:23:46.26 ID:NwNjK2/r.net] >>736 >∃(x+1).と付ける必要無しは同意です。 >但し付けても間違いではなく、付けない式 ∀x∈ℕ.x<x+1 と比較して意味が変わる訳でもないと思ってますが如何でしょう。 ・論理式なんだから 　不要ならつけないのが本当と思うよ ・例えば、数式で x^2+1 と書くとき 　x^2 -x+x +1 と書いて、意味は x^2+1 というがごとし 　”-x+x”の部分は、簡約できるなら書かないのが普通だろう？（中学数学ならバツではないが、減点される。大人ならアホかと言われる） 777 名前：１３２人目の素数さん [2024/03/13(水) 14:12:36.74 ID:NwNjK2/r.net] >>733 >１は「スマリヤンの錯覚」に陥ってますな それ面白いね 「スマリヤンの錯覚」は、下記の”この二つを区別できない心理を私は スマリヤンの錯覚 と呼んでいます” で、下記著者の造語ですね the-apon.com/coffeedonuts/smulyan-two-envelope.html モンティ・ホール問題好きのホームページ2015/01/11 スマリヤンの二つの文のパラドックス スマリヤンのパズル本に出てくる二つの封筒問題を題材とした二つの文 (あるいは二つの命題) とその証明が新たなパラドックスを醸し出しています。 スマリヤンの二つの文 Smullyan, Raymond (1992). の翻訳本や Smullyan, R.: 1997, の翻訳本に書かれているスマリヤンの二つの文とは、次のようなものです。 文1と文2 ・文1 封筒を交換して増額する場合の増額は封筒を交換して半減する場合の減額を上回る。 ・文2 それらの金額（増額と減額）は等しい。 文1の証明 交換前の金額を x とすると、封筒を交換して増額する場合の増額は x で、 封筒を交換して半減する場合の減額は x/2 なので、文1 が成り立つ。 文2の証明 二つの封筒の金額の差を d とすると、封筒を交換して増額する場合の増額は d で、 封筒を交換して半減する場合の減額も d なので、文2 が成り立つ。 命題2の証明で封筒の金額の差に着目しているのは、うまいトリックです。差が決まれば金額の組み合わせも決まってしまうことをうまく隠しています。 スマリヤンの二つの文のパラドックス 次のような矛盾を感じる錯覚現象がスマリヤンの二つの文のパラドックスです。 ・スマリヤンの二つの文はどちらも正しい。 ・スマリヤンの二つの文は両立しない。 スマリヤンのパラドックスの解明 スマリヤンの二つの文が両立することがあることは具体例を考えると一発でわかります。 千円札1枚の封筒と千円札2枚の封筒の組み合わせと、 千円札2枚の封筒と千円札4枚の封筒の組み合わせがあるときに、 封筒を一つ選んだときのことを考える。 ← 2015/01/11 に訂正 選んだ封筒の金額を特定した場合 選んだ封筒が 2千円だったとする。 封筒を交換して半減したら千円の損で得したら 2千円の得で得の方が大きい。 二つの封筒の金額の組み合わせを特定した場合 選んだ封筒の一方は千円で他方が 2千円だったとする。 選んだ封筒が 2千円だったら交換して千円損し、選んだ封筒が千円だったら交換して千円得するので損と得は等しい。 次の点がポイントです。 ・文1 の場合、選んだ封筒の金額を特定して、その範囲に絞って場合分けを考えている。 ・文2 の場合、二つの封筒の金額の組み合わせを特定して、その範囲に絞って場合分けを考えている。 この二つを区別できない心理を私は スマリヤンの錯覚 と呼んでいます。 778 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 17:26:19.99 ID:ascKCvNK.net] ∃x+1.は普通は構文エラーだろ、なくてもいいとかそういう次元じゃない x+1が変数だというなら、他の人が読めるようにα変換して普通の変数で書き直せよ 779 名前：１３２人目の素数さん [2024/03/13(水) 17:36:44.52 ID:5iS9phMp.net] 君x+1が変数でないことを示せなかったじゃん 780 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 17:54:49.02 ID:ascKCvNK.net] お前が変数だと主張するなら勝手にすればいいよ x+1が変数ではないってのは一般常識の話なんだから 数学では普通は変数はアルファベット一文字が常識で、たまに長い単語を使うことがあるし、君はその延長でx+1も変数に入れたかったんだろ勝手にしろよ 781 名前：１３２人目の素数さん [2024/03/13(水) 18:10:43.89 ID:5iS9phMp.net] じゃ黙ってろよｗ 782 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 18:13:15.13 ID:ascKCvNK.net] x+1が仮に変数だとして ＞∀x∈ℕ.∃(x+1).x<x+1 これをα変換したら ∀x∈ℕ.∃y.x<x+1 なのか ∀x∈ℕ.∃y.x<y なのかすら不明瞭な状態で ＞すると ＞∀x∈ℕ.x<x+1 ＞と ＞∀x∈ℕ.∃(x+1).x<x+1 ＞の違いは何だと言ってるの？ こんなのに答えろっていうのが馬鹿げてる 783 名前：１３２人目の素数さん [2024/03/13(水) 18:50:41.96 ID:5iS9phMp.net] >x+1が仮に変数だとして 仮とは？　変数か変数でないかどちらか　君は変数であるとの主張に反論できなかった >＞∀x∈ℕ.∃(x+1).x<x+1 >これをα変換したら >∀x∈ℕ.∃y.x<x+1 >なのか >∀x∈ℕ.∃y.x<y >なのかすら不明瞭な状態で じゃα変換しなきゃいいじゃん 784 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 19:09:26.68 ID:ascKCvNK.net] >>744 α変換しないと最後のx+1が変数なのかxに1を足したのかどっちなのか曖昧だろ どっちとも取れる状態で質問しないでくれますか？ 785 名前：１３２人目の素数さん [2024/03/13(水) 19:22:12.59 ID:in9dXeLi.net] >>736 何か付けるなら ∃+:N✕N→N.∀x∈ℕ.x<x+1 だろうな 786 名前：１３２人目の素数さん [2024/03/13(水) 19:26:22.14 ID:in9dXeLi.net] >>738 >>　１は「スマリヤンの錯覚」に陥ってますな >それ面白いね わかりもせずに「面白いね」と脊髄反射で言う奴、いるよね >「スマリヤンの錯覚」は、下記著者の造語ですね だから？ なんかリコウぶってつまんないこという奴、いるよね 787 名前：１３２人目の素数さん [2024/03/14(木) 00:16:18.46 ID:Wqp8i7yx.net] >>747 アホがしゃしゃり出るねｗ １）「スマリヤンの錯覚」の定義は？ 　それを明確にしたのが>>738だぞ ２）もう一人のアホが『「スマリヤンの錯覚」に陥ってますな』 　� 788 名前：ﾆ宣うから、「スマリヤンの錯覚」が一般化されていると思ったのだが 　あに図らんや 単にブログの筆者の造語じゃないかよｗｗ リコウぶってるのは、おまえだ！ ・定義の確認しないで、議論するやつが数学科出身だって？　わらかすな ・用語を勝手に使って議論する？ どこかの大学の教授が造語するならともかく 　チンピラがうれしがってワケワカ用語で議論して何になるんだ？ｗ [] [ここ壊れてます] 789 名前：１３２人目の素数さん mailto:sage [2024/03/14(木) 03:06:10.51 ID:Wz/uoV5i.net] 結局これは書いてる本人でもどっちなのか分からない状態で書いてたってことと理解したんでいいんかね？ x+1が仮に変数だとして ＞∀x∈ℕ.∃(x+1).x<x+1 これをα変換したら ∀x∈ℕ.∃y.x<x+1 なのか ∀x∈ℕ.∃y.x<y なのかすら不明瞭 790 名前：１３２人目の素数さん [2024/03/14(木) 05:37:52.63 ID:bNpw3CSv.net] >>748 🐎🦌、怒り●う >・・・の定義は？ 🐎🦌は知らん言葉を聞くと脊髄反射で「定義は？」と絶叫 そもそもリンク貼ってあったんだから、そこに書いてあるって悟れよ >『・・・に陥ってますな』と宣うから、 >・・・が一般化されていると思ったのだが 🐎🦌はなんでも勝手に思い込む　完全な🌲違いですな >定義の確認しないで、議論するやつが数学科出身だって？　わらかすな >用語を勝手に使って議論する？ どこかの大学の教授が造語するならともかく >チンピラがうれしがってワケワカ用語で議論して何になるんだ？ 🐎🦌は中身がなにか分かってないものが確率変数、とか身勝手定義をでっち上げる ま、大学入試に四度落ちて諦めた数学ド素人じゃしゃあない 関数のリーマン積分可能条件も、線形写像の正則性の条件も知らん 数学界ではまったくの”土人”だな　ど・じ・ん 791 名前：１３２人目の素数さん [2024/03/14(木) 10:31:39.93 ID:IoTgOBI5.net] >>750 >>・・・の定義は？ >知らん言葉を聞くと脊髄反射で「定義は？」と絶叫 >そもそもリンク貼ってあったんだから、そこに書いてあるって悟れよ 影山 利郎氏の著書「素人と玄人」（下記）に ”プロ（玄人）は基本が身についている”みたいな教えが書いてあった 『知らん言葉を聞くと脊髄反射で「定義は？」と絶叫』は 数学やるなら普通だろ？ｗ >>『・・・に陥ってますな』と宣うから、 >>・・・が一般化されていると思ったのだが >なんでも勝手に思い込む　完全な🌲違いですな 定義なしで、「スマリヤンの錯覚」と出してきた 普通は一般化された学術用語（例えば「数学辞典」に載っているなど） と思うだろうよ なんのために学術用語が決められているのか、分かってないんか 数学の基本が身についていない ど素人だな (参考) https://ja.wikipedia.org/wiki/%E5%BD%B1%E5%B1%B1%E5%88%A9%E9%83%8E 影山 利郎（かじやま としろう、1926年6月21日 - 1990年7月31日）は、日本の囲碁棋士である。静岡県出身[1][2]。 師匠 安永一 概要 1926年（大正15年）6月21日、静岡県に生まれる。16歳になった1942年（昭和17年）から囲碁を習い始め、1948年（昭和23年）の全日本素人本因坊戦で優勝し、翌年の秋にプロ入り（初段）を果たした[1][2]。 執筆家としての側面も持ち、多数の著書がある[2]。 主な書籍 影山利郎 (2013年). 素人と玄人: 徹底分析、これだけ違う両者の視点. 日本棋院. ISBN 9784818206113 1971年初版の本の再刊 792 名前：１３２人目の素数さん [2024/03/14(木) 10:39:44.18 ID:mL8LcQVb.net] >>751 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なぜ黙殺しようとするのですか？ 793 名前：１３２人目の素数さん [2024/03/14(木) 19:11:58.15 ID:bNpw3CSv.net] >>751 なんか🌲違いがぐだぐだ喚いてるが肝心のページの文章読んだか？ the-apon.com/coffeedonuts/illusions-have-same-root.html 金額だけ見た場合、それは少額のほうかもしれんし高額のほうかもしれん しかしそれぞれの確率が1/2ずつだと決めつける理由はなにもない 2つの封筒から1つを選んでそれが少額が高額か、の確率とは全く違う 違うものを同じと妄想するのが「スマリヤンの錯覚」 794 名前：１３２人目の素数さん mailto:sage [2024/03/14(木) 23:40:23.51 ID:mKpj542N.net] 結局これはどっちなんや？ x+1が仮に変数だとして ＞∀x∈ℕ.∃(x+1).x<x+1 これをα変換したら ∀x∈ℕ.∃y.x<x+1 なのか ∀x∈ℕ.∃y.x<y なのかすら不明瞭 795 名前：１３２人目の素数さん [2024/03/15 ] [ここ壊れてます] 796 名前：(金) 05:51:24.65 ID:ATM0vb6x.net mailto: >>754 自分でα変換いうてるやん 定義しってんなら ∀x∈ℕ.∃(x+1).x<x+1　が ∀x∈ℕ.∃y.x<y　になるしかないやん [] [ここ壊れてます] 797 名前：１３２人目の素数さん [2024/03/15(金) 05:55:10.72 ID:ATM0vb6x.net] >>753 （２つの封筒で） >金額だけ見た場合、それは少額のほうかもしれんし高額のほうかもしれん >しかしそれぞれの確率が1/2ずつだと決めつける理由はなにもない >2つの封筒から1つを選んでそれが少額が高額か、の確率とは全く違う モンティ・ホールも同じ ３つのドアのうち１つしかない賞品のドアを選ぶ確率と １つ１つのドアの後ろに賞品がある確率は同じではない 違うものを同じと妄想するのが「スマリヤンの錯覚」 798 名前：１３２人目の素数さん [2024/03/15(金) 07:42:24.54 ID:xEd6gXjp.net] 箱入り無数目も同じ 100個の箱のうち１つしかないハズレの箱を選ぶ確率と １つ１つの箱がハズレである確率は同じではない 違うものを同じと妄想するのが「スマリヤンの錯覚」 799 名前：１３２人目の素数さん [2024/03/15(金) 07:57:44.82 ID:sYXmV0f/.net] >>756 >違うものを同じと妄想するのが「スマリヤンの錯覚」 君のは、全然説明になってないと思うよ ；ｐ） 下記の 彼の”私の造語”「スマリヤンの錯覚」の説明 『封筒を交換したらどうなるかを考えるときに、選んだ封筒の金額を条件として考えるやり方と、二つの封筒の金額の組み合わせを条件として考えるやり方が、同じ問題を考えているという錯覚です』 を読んで意味分かるか？ 他人に分かる用語解説になってないと思うよ 錯覚だから、何かの”思い違い 勘違い”なのは当然だが（下記） たぶん、これは 人の推論の一般のやり方と、二つの封筒問題やモンティ・ホール問題での正解とが、ちょっと違うんだろう ”人の推論の一般のやり方”を、まず解説しないと、「錯覚」の説明にならないと思うよ (参考) the-apon.com/coffeedonuts/illusions-have-same-root.html モンティ・ホール問題好きのホームページ 二つの封筒問題の錯覚とスマリヤンの錯覚の源は一つか 2014/03/23 用語解説 スマリヤンの錯覚 私の造語です。 封筒を交換したらどうなるかを考えるときに、選んだ封筒の金額を条件として考えるやり方と、二つの封筒の金額の組み合わせを条件として考えるやり方が、同じ問題を考えているという錯覚です。 この錯覚に罹った人は、二封筒問題のおまじないの王様を唱えたり、スマリヤンの二つの文のパラドックスに罹ったりします。 https://ja.wiktionary.org/wiki/%E9%8C%AF%E8%A6%9A#:~:text=%E5%90%8D%E8%A9%9E&text=(%E5%BF%83%E7%90%86%E5%AD%A6)%20%E3%81%82%E3%82%8B%E7%89%A9%E3%81%AB%E5%AF%BE%E3%81%99%E3%82%8B,%E5%8B%98%E9%81%95%E3%81%84%E3%80%82 錯 覚（さっかく） 1.(心理学) ある物に対する知覚が実際の物と異なること。 2.思い違い。勘違い。 https://ja.wikipedia.org/wiki/%E9%8C%AF%E8%A6%9A 錯覚 心理学でいう錯覚とは、間違いや誤りの類いでは無い。注意深く観察しても、予備知識があっても生じてしまう、人間の感覚・知覚特性によって作り出される現象を指す[1]。 錯覚の種類 錯覚はその原因により大きく4つに分けることができる。 ・不注意性錯覚 　対象物への注意が不十分のために起こる錯覚。見間違い、聞き違い、人違いなど、われわれが日常経験する多くの間違いを含んでいる。 ・感動錯覚 　暗くて怖い場所を歩いていると、物の影が人影に見えたり、何でもない物音を人の気配に感じることがある。恐怖や期待などの心理状態が知覚に影響を与えるものである。 ・パレイドリア 　雲の形が顔に見えたり、しみの形が動物や虫に見えたりと、不定形の対象物が違ったものに見える現象に代表される。対象物が雲やしみであることは理解しており、顔や動物ではないという批判力も保っているが、一度そう感じるとなかなかその知覚から逃れられない。熱性疾患の時にも現れやすい。 ・生理的錯覚 　数多く知られている幾何学的錯視や、音階が無限に上昇・下降を続けるように聞こえるシェパード・トーンなどのように、対象がある一定の配置や状態にあると起こる錯覚。誰にでもほぼ等しく起こる。 800 名前：１３２人目の素数さん [2024/03/15(金) 08:10:17.15 ID:sYXmV0f/.net] 時枝の錯覚も、同様に説明� 801 名前：ﾅきる １）人は、二つの決定番号 daとdb で、確率 P（da>db）=1/2 と思ってしまう ２）ところが、決定番号 daとdbは、自然数N全体を渡り、自然数N全体は無限集合だから 　∞/∞ の不定形になり、確率計算 1/2 は正当化できない こういうことでしょうね ；ｐ） [] [ここ壊れてます] 802 名前：１３２人目の素数さん [2024/03/15(金) 08:55:09.63 ID:8QDMDRfQ.net] 日本棋院アーカイブの続刊が楽しみ 803 名前：１３２人目の素数さん [2024/03/15(金) 09:01:01.85 ID:xEd6gXjp.net] >>759 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なぜ黙殺しようとするのですか？ 804 名前：１３２人目の素数さん [2024/03/15(金) 10:02:56.06 ID: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∈ℕ”とかも要りそうに思うけど まあ、ともかくあんたの思考は、ずさんそのものだね　；ｐ） (参考)（α-変換） https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97 ラムダ計算 ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。 歴史 元々チャーチは、数学の基礎となり得るような完全な形式体系を構築しようとしていた。彼の体系がラッセルのパラドックスの類型に影響を受けやすい（例えば論理記号として含意 → を含むなら、λx.(x→α) にYコンビネータを適用してカリーのパラドックスを再現できる）ということが判明した際に、彼はそこからラムダ計算を分離し、計算可能性理論の研究のために用い始めた。この研究からチャーチは一階述語論理の決定可能性問題を否定的に解くことに成功した。 α-変換 アルファ変換の基本的なアイデアは、束縛変数の名前は重要ではない、ということにある。例えば、 λx. x と λy. y は同じ関数を表している。 しかし、ことはそう単純ではない。 ある束縛変数の名前を置換してもよいかどうかには、いくつかの規則が絡んでくる。例えば、ラムダ式 λx. λy. x 中の変数 x を y に置き換えると、 λy. λy. y となるが、これは最初の式とはまったく異なるものを表すことになる。 805 名前：１３２人目の素数さん [2024/03/15(金) 10:40:46.74 ID:tFlszaLY.net] ご参考 α-変換 ラムダ計算 https://scrapbox.io/mrsekut-p/%CE%B1%E5%A4%89%E6%8F%9B α変換 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)]のように自由変数の方を置き換えない。 α変換では[* 束縛変数の方を置き換える] この状態のことを「[変数条件]を満たす」と呼ぶ 定義 略す https://web.sfc.keio.ac.jp/~hagino/mi 806 名前：15/07-ppt.pdf 情報数学第7回ラムダ計算 萩野達也 慶應義塾大学環境情報学部2015/11/10 Ｐ７ α変換と代入 略す [] [ここ壊れてます] 807 名前：１３２人目の素数さん [2024/03/15(金) 18:13:58.84 ID: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 名前：１３２人目の素数さん mailto:sage [2024/03/15(金) 18:23:14.68 ID:Elhq9FcO.net] >>755 x+1が変数だと主張する異常な論理式相手してるんだから、どっちともとれるやろ 完全に常識の範囲外のことやってるんだから 809 名前：１３２人目の素数さん [2024/03/15(金) 19:52:49.15 ID:ATM0vb6x.net] α変換と言い切った瞬間に∀x∈ℕ.∃y.x<yにきまる それ以外はα変換でない 810 名前：１３２人目の素数さん mailto:sage [2024/03/15(金) 19:59:53.62 ID:Elhq9FcO.net] >>766 なんでだよ 後ろのx+1が変数なのかxに1を足した式なのか書いた本人にしか分からんだろうが 811 名前：１３２人目の素数さん mailto:sage [2024/03/15(金) 20:18:42.34 ID:Elhq9FcO.net] 変数記号 := { x, y, x+1 } 定数記号 := { 1 } 関数記号 := { + } の設定で、x+1って書いてあったら変数なのか関数を適用した項なのか、誰にもわからんやろ 812 名前：１３２人目の素数さん [2024/03/15(金) 22:56:36.63 ID: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 名前：１３２人目の素数さん [2024/03/15(金) 23:09:49.73 ID:xEd6gXjp.net] >>769 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なぜ黙殺しようとするのですか？ 814 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 02:16:26.20 ID:mUoFzVnS.net] ＞∀x∈ℕ.∃(x+1).x<x+1 はそもそも論理式としてぶっ壊れてるんだからハナから無視しとけよ やるなら ∀x∈ℕ.x<x+1 ∀x∈ℕ.∃y.x<y の2つを比較しろよ 815 名前：１３２人目の素数さん [2024/03/16(土) 08:15:19.83 ID:/v13gW+O.net] >>771 比較しろよってｗ やりたきゃ自分でやりな そうでなきゃ黙ってな で、>>260が間違いであることは理解したの？ 816 名前：１３２人目の素数さん [2024/03/16(土) 10:56:50.80 ID: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 名前：１３２人目の素数さん [2024/03/16(土) 11:03:56.20 ID:vIT5CHVL.net] >>758 >『封筒を交換したらどうなるかを考えるときに、 >選んだ封筒の金額を条件として考えるやり方と、 >二つの封筒の金額の組み合わせを条件として考えるやり方が、 >同じ問題を考えているという錯覚です』 >を読んで意味分かるか？ 日本人だからわかるよ　日本語わかるから 上は「もう一方の封筒が自分の封筒の金額の2倍か2分の一か」 下は「二つの封筒のうち低い方を選んだか高い方を選んだか」 下の確率はどちらも1/2だが このことから 上の確率もどちらも1/2だ といえるというのは 数学でもなんでもない >他人に分かる用語解説になってないと思うよ いや、君は日本語分からんニホンザルだから 君はヒトではないよ　「思う」も要らない 君はヒトではなくサル　サルは数学板に書いちゃダメ サルは数学に興味もつな　無意味だから 818 名前：１３２人目の素数さん [2024/03/16(土) 11:07:38.18 ID:vIT5CHVL.net] >>758 ニホンザル語 >たぶん、・・・んだろう >と思うよ ヒトの言葉が理解できないので 「たぶん」「だろう」「と思うよ」 ということばで誤魔化す 当然ながら国立大学どころか私立のFランク大学も受からん 819 名前：１３２人目の素数さん [2024/03/16(土) 11:15:44.88 ID:vIT5CHVL.net] >>758 >これは >人の推論の一般のやり方と、 >二つの封筒問題やモンティ・ホール問題での正解 >とが、ちょっと違う >”人の推論の一般のやり方” >を、まず解説しないと、 >「錯覚」の説明にならない 誤　人の推論 正　サルの脊髄反射 「サルの脊髄反射」とは、ズバリ 「分からんものは、脊髄反射で確率変数と考える」 ということ 「二つの封筒」の封筒中身、然り 「モンティ・ホール問題」のドアの後ろ側、然り 脊髄反射でそう考えるサルは必ず間違えるｗ たしかに自分の封筒の中身が10000円だったとき 相手の封筒は20000円かもしれんし、5000円かもしれん しかし、それは確率変数ではない　つまり 20000円の確率P、5000円の確率1-P と考えるのは人間失格のサルってこと モンティ・ホール問題もそう ３つのドアA、B、Cについて Aのドアの後ろに賞品がある確率　P Bのドアの後ろに賞品がある確率　Q Cのドアの後ろに賞品がある確率　1-P-Q と考えるのは人間失格のサルってこと 820 名前：１３２人目の素数さん [2024/03/16(土) 11:20:00.21 ID:vIT5CHVL.net] モンティ・ホール問題のシミュレーションで ３つのドアの後ろの賞品の配置を等確率1/3で変え 回答者のドアの選択は（例えばAに）固定する というのは最大の誤りである そうではなく ３つのドアの後ろの賞品の配置は（例えばAに）固定する 回答者のドアの選択はA,B,Cそれぞれ確率1/3ずつに割り振る という形でのみシミュレーションすべきである 問題は固定である 回答者は３つのドアのどれでも選択できる 確率1/3ずつなのは、ドアの選択であって ドアの後ろに賞品がある確率ではない！ 821 名前：１３２人目の素数さん [2024/03/16(土) 11:26:45.61 ID:+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がどの範囲の数なのかを、論理式を書いた人が明示しないと 　意味ある論理式にならないと思うけどね　；ｐ） (参考) https://math-fun.net/20210522/14166/ 趣味の大学数学 複素数で普通の順序・不等号・大小関係を考えないのはなぜか 2021年5月22日 木村 高校数学以降では、複素数の扱いを学びます。 実数では 0<1といったように大小比較ができますが、複素数ではそのような比較を考えません。それはなぜでしょうか。 簡単に言えば、仮に 0<iというような順序関係があったとすると、両辺に iをかけると 0<−1となってしまうからです。 今回は、複素数では「普通の」順序・不等号を定義できないことを紹介します。 目次 順序とは何か 順序関係とは 複素数に「普通の」順序が定まらないこと 複素数でも順序を考えること自体はできる 複素数でも、全順序という順序を考えること自体はできるのです。しかし、普通の順序＝和と積と両立するような順序を考えることはできない、そういうものがあったとすると矛盾するというのが今回の話でした。 ちなみに、ベクトルに対しても辞書式順序を考えることはできます。しかし、演算と両立するような順序……と議論しようとすると、ベクトルではそもそも良い「積」を考えられません。ベクトルの内積は実数を返し、ベクトルを返さないです。外積はベクトルを返しますが、交換法則や結合法則を満たしません。 以上、複素数では普通の順序・不等号・大小関係を考えないのはなぜか、紹介してきました。 整数や実数で考えていたような、和と積と両立させる性質を持った順序を考えることはできない、というのが理由です。 822 名前：１３２人目の素数さん [2024/03/16(土) 11:34:27.13 ID:vIT5CHVL.net] >>778 どうでもいいことばかりだらだか書いて 肝心なことは一字も書かない さすがニホンザル 823 名前：１３２人目の素数さん [2024/03/16(土) 11:58:34.85 ID:/v13gW+O.net] >>778 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なぜ黙殺しようとするのですか？ 824 名前：１３２人目の素数さん [2024/03/16(土) 12:42:52.79 ID:+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 名前：１３２人目の素数さん [2024/03/16(土) 12:43:09.20 ID:+LjGwmYz.net] つづき https://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%B3%E3%83%86%E3%82%A3%E3%83%BB%E3%83%9B%E3%83%BC%E3%83%AB%E5%95%8F%E9%A1%8C モンティ・ホール問題 一種の心理トリックになっており、確率論から導かれる結果を説明されても、なお納得しない者が少なくないことから、モンティ・ホール・ジレンマ、モンティ・ホール・パラドックスとも称される。「直感で正しいと思える解答と、論理的に正しい解答が異なる問題」の適例とされる。 概要 「＜投稿された相談＞ プレーヤーの前に閉じた3つのドアがあって、1つのドアの後ろには景品の新車が、2つのドアの後ろには、はずれを意味するヤギがいる。プレーヤーは新車のドアを当てると新車がもらえる。プレーヤーが1つのドアを選択した後、司会のモンティが残りのドアのうちヤギがいるドアを開けてヤギを見せる。 ここでプレーヤーは、最初に選んだドアを、残っている開けられていないドアに変更してもよいと言われる。 ここでプレーヤーはドアを変更すべきだろうか？」 1990年9月9日発行、ニュース雑誌「Parade」にてマリリン・ヴォス・サヴァントが連載するコラム「マリリンにおまかせ」で、上記の読者投稿による質問に「正解は『ドアを変更する』である。なぜなら、ドアを変更した場合には景品を当てる確率が2倍になるからだ」と回答。すると直後から、読者からの「彼女の解答は間違っている」との約1万通の投書が殺到し、本問題は大議論に発展した (引用終り) 以上 827 名前：１３２人目の素数さん [2024/03/16(土) 13:11:37.58 ID:+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 名前：１３２人目の素数さん [2024/03/16(土) 14:25:12.12 ID:/v13gW+O.net] モンティホール問題、二つの封筒問題、箱入り無数目 いずれも1回の出題でも確率が定義できなければならないので出題は試行にできない。 例えば二つの封筒問題で最初に開封した封筒の中身が1万円だった場合、他方は5千円か2万円であるが、1回の出題では必ずどちらかであって、確率P（0<P<1）で5千円・確率1-Pで2万円なんてことにはならない。 従って期待値計算：5千円×(1/2)+2万円×(1/2)は誤り。 このように錯覚してしまうのは、無意識に出題を試行としている為であろう。 しかし繰り返すが、出題を試行としてしまうと1回の出題での確率は定義できない。 確率を考えるときは試行が何かを明確にする必要がある。 830 名前：１３２人目の素数さん [2024/03/16(土) 14:33:59.63 ID:/v13gW+O.net] >>783 >時枝の二つの決定番号 da,db ∈N(可算無限集合)で >確率P(da>db)=1/2 と錯覚するが如し >（∵ N(可算無限集合)だから、∞/∞ で不定形で、1/2はいえない） 1/2は言えないは正しいが、その理由は大間違い そして時枝証明はそもそも1/2を論拠にしていないからまったくナンセンス 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なぜ黙殺しようとするのですか？ 831 名前：１３２人目の素数さん [2024/03/16(土) 15:05:34.46 ID:+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 名前：１３２人目の素数さん [2024/03/16(土) 15:16:48.03 ID:/v13gW+O.net] >>786 何の反論にもなってない 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なぜ黙殺しようとするのですか？ 833 名前：１３２人目の素数さん [2024/03/16(土) 15:23:41.98 ID: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 名前：１３２人目の素数さん [2024/03/16(土) 15:30:43.42 ID:vIT5CHVL.net] >>783 >・この教訓は、"事象を2次元の格子図（デカルト積）に書けば良い"！ってことだ 「格子図に書けば良い」のは確かだが 当たりの配置は事象ではないｗ >・「ドアの後ろに賞品がある」場合を、キチンと数え上げれば良い！ キチンと数えるのは「どのドアを選ぶか」 >「直感で正しいと思える解答と、論理的に正しい解答が異なる」のは >ルールの「司会のモンティが残りのドアのうちヤギがいるドアを開けてヤギを見せる」 >の意味が直感では、把握が難しいから 思考力ゼロのサルには理解できんかｗ >ルールを正しく生かした選択に至らない人が 少なくないってことだね ヒトはわかる　サルにはわからん この世のホモ・サピエンスの９割はヒトではなくサルってこった まあ、サルのほうが自然に適応できてるかもな 野生動物は字が読めんでも数が数えられんでも生きてるからな どうだ、嬉しいか？考える能力がないサル　ギャハハハハハハ！！！ 836 名前：１３２人目の素数さん [2024/03/16(土) 15:34:42.46 ID: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 名前：１３２人目の素数さん [2024/03/16(土) 15:42:51.64 ID: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 名前：１３２人目の素数さん [2024/03/16(土) 15:44:52.64 ID:/v13gW+O.net] >>783 >・「ドアの後ろに賞品がある」場合を、キチンと数え上げれば良い！ 1回の出題では１通りしかないから数え上げようが無い 君が言ってるのは出題が試行の場合　君は無意識に出題を試行としている だが出題を試行としてしまうと1回の出題における確率は定義されない 分かる？ wikipediaより引用 「確率論において、試行（しこう、英: trial, experiment）とは、起こりうる結果がいくつかあり、そのどれか1つだけが偶然で起こる流れのことである」 839 名前：１３２人目の素数さん [2024/03/16(土) 15:47:59.31 ID:vIT5CHVL.net] 【結論】 サルは脊髄反射で「問題が確率変数だ！」と考えるがそれが間違い 840 名前：１３２人目の素数さん [2024/03/16(土) 15:50:14.96 ID:vIT5CHVL.net] 【結論】 サルは無意識に「俺の選択は決定事項！確率変数じゃない」と考えるがそれも間違い 841 名前：１３２人目の素数さん [2024/03/16(土) 15:51:21.32 ID:vIT5CHVL.net] 【結論】 サルは回答者の視点でしか考えられない　出題者の視点で考えることができないから間違う 842 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 17:23:42.18 ID:mUoFzVnS.net] >>772 どこが？ 843 名前：１３２人目の素数さん [2024/03/16(土) 17:29:45.75 ID:vIT5CHVL.net] >>778 >>>∃yで放り出すと、yは自然数に限らないから 二つの式の意味は違う >>∀x∈ℕ.∃y∈ℕ.x<y　でないと考えねばならない理由があるか？全くない >>したがって却下 >そうかな？ そうだな （完） ところで、サルは全順序と整列順序の違いが 未だに分かってないと思われる 整列順序は全順序だが、 全順序なら整列順序、とはいえない 整列順序は以下が成立する順序 ∀ｘ．（（∃ｙ．ｘ＜ｙ）⇒（∃ｚ．ｘ＜ｚ∧∀ｗ．ｘ＜ｗ⇒ｚ＜＝ｗ）） 日本語で書けば 任意のｘについて、 ｘより大きい元ｙが存在するなら その中でもっとも小さい元ｚが存在する これｘの後者という 844 名前：１３２人目の素数さん [2024/03/16(土) 17:35:52.89 ID:vIT5CHVL.net] さて有限整列順序の場合、最大元が存在する　すなわち ∃ｘ∀ｙ．ｘ＞＝ｙ しかし、無限整列順序の場合、最大元が存在しない場合がある　すなわち ∀ｘ．（∃ｚ．ｘ＜ｚ∧∀ｗ．ｘ＜ｗ⇒ｚ＜＝ｗ） 845 名前：１３２人目の素数さん [2024/03/16(土) 19:03:19.17 ID:+LjGwmYz.net] >>792 >>・「ドアの後ろに賞品がある」場合を、キチンと数え上げれば良い！ >1回の出題では１通りしかないから数え上げようが無い >君が言ってるのは出題が試行の場合　君は無意識に出題を試行としている >だが出題を試行としてしまうと1回の出題における確率は定義されない ・”1回の出題では１通りしかないから数え上げようが無い”？ 　か、なんか笑えるな ｗｗｗ ・下記の”【中学数学】さいころ2個の確率問題をパターン別に解説！”を 　”百回”繰返し見てね ・全部 試行は 1回前提で、確率計算するよｗ 　まあ、君には理解が難しいんだな？ なんか笑えるな ｗｗｗ やれやれだな　；ｐ） https://study-line.com/kakuritsu-saikoro/ 数スタ 【中学数学】さいころ2個の確率問題をパターン別に解説！ 846 名前：１３２人目の素数さん [2024/03/16(土) 20:01:11.64 ID:/v13gW+O.net] >>796 >∀が先頭についてるんだから相手側に全公開してるだろ が 847 名前：１３２人目の素数さん [2024/03/16(土) 20:07:05.86 ID:/v13gW+O.net] >>799 ”1回の出題”の意味を誤解したんだね？ 未来に定まる予定の出題ではなく過去に定まった出題のことだよ 文脈で読み取ろうよ　小学生じゃないんだから 848 名前：１３２人目の素数さん [2024/03/16(土) 20:08:59.89 ID:+LjGwmYz.net] >>797-798 整列順序ねｗ ・院試で、あたま良すぎて落ちるやつ 　自分で定義を作るやつ ・整列順序についてなら、決まった定義があるのだから 　それをきっちり覚えておかないとね（下記） 　”S 上の全順序関係 "≤" であって、S の空でない任意の部分集合が必ず ≤ に関する最小元をもつものをいう” おっと、あたま悪すぎで 自分で定義を作ったのかな？ｗ (参考) https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88 整列集合 整列集合（せいれつしゅうごう、英: well­ordered set）、または整列順序付けられた集合（せいれつじゅんじょづけられたしゅうごう）とは、数学における概念の1つで、整列順序を備えた集合のことをいう。ここで、集合 S 上の整列順序関係 (well­order) とは、S 上の全順序関係 "≤" であって、S の空でない任意の部分集合が必ず ≤ に関する最小元をもつものをいう。あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ≤) を慣例に従ってしばしば単純に S で表す。 導入 整列集合 X の任意の元 s は、それが X の最大元でない限り、ただ一つの後者（successor; 後継、次の元、直後の元）を持つ。これはつまり、s よりも大きな X の元全体の成す部分集合における最小元として s の後者が決まるということである。また、整列集合 X の中で上に有界な任意の部分集合は（その上界全体の成す X の部分集合に最小元がとれるから）必ず上限を持つ。あるいは整列集合 X には、前者（predecessor; 直前の元）を持たない元が必ず存在する（それはもちろん、X 全体における最小元である）。 集合に整列順序が与えられれば、そこでは集合の全ての元に対する命題の超限帰納法を用いた証明を考えることができる。 自然数全体の成す集合 N が通常の大小関係 "<" に関して整列集合となるという事実は、一般に整列原理と呼ばれる。 （選択公理に同値な）整列可能定理は、任意の集合が整列順序付け可能であることを主張するものである。整列可能定理はまたツォルンの補題とも同値である。 https://www.math.is.tohoku.ac.jp/~obata/student/subject/file/2018-13_WellOrdered.pdf GAIRON-book : 2018/6/21(19:23) 第13章 整列集合 東北大 尾畑研 849 名前：１３２人目の素数さん [2024/03/16(土) 20:15:49.64 ID:/v13gW+O.net] >>799 >・全部 試行は 1回前提で、確率計算するよｗ 「サイコロを一回投げる試行」は１回の試行ではない。 試行毎に結果は変化し、その集合が標本空間。そのひとつの元が1回の試行の結果。 君、根本的に分かってないようだね 850 名前：１３２人目の素数さん [2024/03/16(土) 20:21:58.49 ID:+LjGwmYz.net] >>801 >”1回の出題”の意味を誤解したんだね？ >未来に定まる予定の出題ではなく過去に定まった出題のことだよ >文脈で読み取ろうよ　小学生じゃないんだから 中学 確率 ・ 851 名前：サイコロ二つを振って、箱の中 　目は決まっている ・二つの和が12になる確率は？ 　二つとも6の場合で、1/36 さて、まだサイコロは振っていない ・サイコロ二つを振るが 　目はまだ決まっていない ・二つの和が12になる確率は？ 　二つとも6の場合で、1/36 幼稚園レベルだな [] [ここ壊れてます] 852 名前：１３２人目の素数さん [2024/03/16(土) 20:22:24.29 ID:/v13gW+O.net] >>799 ひとつのサイコロを一回投げる試行の結果は１〜６の６通り 1回の試行の結果はそのいずれかひとつの１通り 小学生かい？君は 853 名前：１３２人目の素数さん [2024/03/16(土) 20:26:56.64 ID:/v13gW+O.net] >>804 >中学 確率 >・サイコロ二つを振って、箱の中 >　目は決まっている >・二つの和が12になる確率は？ >　二つとも6の場合で、1/36 それは箱の中の目を決めることを試行とした場合の確率ね 君、試行が全然分かってないね　定義を読み直してごらん 854 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 20:27:24.80 ID:OP6n3otv.net] >>800 それ君の感想でしょ 855 名前：１３２人目の素数さん [2024/03/16(土) 20:34:01.42 ID:/v13gW+O.net] >>804 なんかおかしいと思って https://study-line.com/kakuritsu-saikoro/ を見てみたが、 >中学 確率 >・サイコロ二つを振って、箱の中 >　目は決まっている >・二つの和が12になる確率は？ >　二つとも6の場合で、1/36 なんて書かれてないじゃんｗ 捏造すんなよサル 856 名前：１３２人目の素数さん [2024/03/16(土) 20:34:53.30 ID:/v13gW+O.net] >>807 それが君の感想 857 名前：１３２人目の素数さん [2024/03/16(土) 20:39:32.28 ID:/v13gW+O.net] サルはサイコパスか？ 平気で捏造するのはサイコパスだからなんだろうな 違うというならどこに >・サイコロ二つを振って、箱の中 >　目は決まっている >・二つの和が12になる確率は？ >　二つとも6の場合で、1/36 と書かれてるか示してごらん 858 名前：１３２人目の素数さん [2024/03/16(土) 20:43:19.00 ID:/v13gW+O.net] 馬鹿は仕方ないが捏造は人間として終わってるだろ まあサルは最初から人間じゃないがｗ 859 名前：１３２人目の素数さん [2024/03/16(土) 20:45:08.05 ID:+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 名前：１３２人目の素数さん [2024/03/16(土) 20:50:36.40 ID:/v13gW+O.net] >>812 >確率P(da>db)=1/2 と錯覚 それ君だけね 時枝先生はそんな阿呆な錯覚していない 861 名前：１３２人目の素数さん [2024/03/16(土) 20:55:28.45 ID:+LjGwmYz.net] >>808 >>810 >https://study-line.com/kakuritsu-saikoro/ >を見てみたが、 >>・サイコロ二つを振って、箱の中 >>　目は決まっている >>・二つの和が12になる確率は？ >>　二つとも6の場合で、1/36 >と書かれてるか示してごらん 本気で聞いているのかな？ｗ 上記のサイト中で 冒頭に ”今回の内容をサクッと理解したい方はこちらの動画がおススメです” とあって、動画のリンク貼ってあるよ。そこにあるよ 本気で聞いていたのか！ｗ やれやれ　；ｐ） 862 名前：１３２人目の素数さん [2024/03/16(土) 21:01:11.07 ID:/v13gW+O.net] >>814 動画の何分何秒から？ 863 名前：１３２人目の素数さん [2024/03/16(土) 21:04:19.38 ID:/v13gW+O.net] >>814 >そこにあるよ 嘘でないなら答えられるよな？　何分何秒から？ 864 名前：１３２人目の素数さん [2024/03/16(土) 21:05:05.53 ID:/v13gW+O.net] 嘘に嘘を重ねて破綻する 完全にサイコパスだわこいつ 865 名前：１３２人目の素数さん [2024/03/16(土) 21:16:45.98 ID:/v13gW+O.net] >>814 おかしいなあ、俺が見た限り 「〇〇のサイコロを投げる。〇〇になる確率を求めなさい。」 という出題パターンしか無いんだが どこにも >・サイコロ二つを振って、箱の中 >　目は決まっている なんて無いんだが もしかして君の捏造？　いったいどういう了見なんだ？　何のために捏造するんだ？ 数学どうこう以前の人間性がぶっ壊れてるよ君 866 名前：１３２人目の素数さん [2024/03/16(土) 21:28:21.91 ID:/v13gW+O.net] 他人にマウント取るためなら捏造なんて屁とも思わない 動画を特定したらすぐバレることは火を見るより明らかなのにそれでもやらずにいられない 狂ってる　完全に狂ってる　ここまでの異常人格者見たこと無い 867 名前：１３２人目の素数さん [2024/03/16(土) 21:38:04.47 ID:/v13gW+O.net] サイコパスの特徴 ・窃盗などの違法行為を繰り返すことがある ・自信にあふれ、魅力的に見える ・他人に対して共感する気持ちが持てない ・人を支配する ・平然とうそをつく ・衝動的に行動する ・他人を責める ・無責任である 魅力的に見える以外全部当てはまってて草 868 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 21:42:01.00 ID:REZvRVWI.net] >>809 開けてない箱の∀を後ろに持っていけないのが非公開の情報を使ってるなによりの証拠じゃん 869 名前：１３２人目の素数さん [2024/03/16(土) 21:59:09.03 ID:/v13gW+O.net] >>821 非公開の情報とは？ 870 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 22:01:57.69 ID:REZvRVWI.net] >>822 開けてない箱の中身以外にあるかよ 871 名前：１３２人目の素数さん [2024/03/16(土) 22:04:02.72 ID:/v13gW+O.net] >>823 証拠になる理由は？ 872 名前：１３２人目の素数さん [2024/03/16(土) 22:05:26.27 ID:/v13gW+O.net] 言っておくが、君の好きな問題において証拠になるは理由にならないぞ？ 問題が違えば証拠になるならないも違ってくる 873 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 22:07:54.16 ID:REZvRVWI.net] >>824 使ってなければ後ろに持ってけるだろ 874 名前：１３２人目の素数さん [2024/03/16(土) 22:13:42.24 ID:/v13gW+O.net] >>824 それ待遇を言ってるに過ぎないじゃんｗ 君の持論の正しさを示せと言ってるのに待遇を持ち出すって、君、もしかして馬鹿？ 875 名前：１３２人目の素数さん [2024/03/16(土) 22:14:22.55 ID:/v13gW+O.net] アンカミス　>>826な 876 名前：１３２人目の素数さん [2024/03/16(土) 22:17:14.66 ID:/v13gW+O.net] 命題Aが真であることとその対偶が真であることは同値 よって対偶を持ち出してもAが真である理由には１�_もならない 高校で習わんかった？ 877 名前：１３２人目の素数さん [2024/03/16(土) 22:26:15.94 ID:/v13gW+O.net] 正しい理由を聞かれてつい対偶を持ち出してしまったってことは、正しいと妄想してるだけってことさ 違うと言うなら箱入り無数目においても正しいことを示してみて 878 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 22:35:00.88 ID:REZvRVWI.net] >>827 使ってなければ後ろに持っていけるは定理として簡単に証明できるだろ 879 名前：１３２人目の素数さん [2024/03/16(土) 22:46:13.79 ID:/v13gW+O.net] >>831 じゃ証明して 880 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 22:51:40.95 ID:REZvRVWI.net] >>832 ∃(x+1)とか言ってるやつにこんなメタな定理が理解できるわけないだろ 881 名前：１３２人目の素数さん [2024/03/16(土) 22:55:50.48 ID:/v13gW+O.net] >>833 はい、また逃げました〜 その逃亡芸もう秋田 882 名前：１３２人目の素数さん [2024/03/16(土) 22:58:16.85 ID:/v13gW+O.net] できもしないことを簡単にできるとか言っちゃう君もサイコパスザルと同類やね 不成立派はこんなんばっかやなｗ 883 名前：１３２人目の素数さん [2024/03/16(土) 22:59:48.78 ID:/v13gW+O.net] 動画に出てる←嘘 簡単にできる←嘘 サイコパスしかおらんのかい、不成立派はｗ 884 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:02:13.92 ID:REZvRVWI.net] >>834 やっぱり∃(x+1).と同一人物だったのか こんな頭のおかしい論理式書くやつの相手なんて誰がするかよ 885 名前：１３２人目の素数さん [2024/03/16(土) 23:03:57.43 ID:+LjGwmYz.net] >>818 サイコパスのおサル>>8 詭弁のデパートだな 次のスレでテンプレに入れておくぜ！ｗ （>>814より再録） >>808 >>810 >https://study-line.com/kakuritsu-saikoro/ >を見てみたが、 >>・サイコロ二つを振って、箱の中 >>　目は決まっている >>・二つの和が12になる確率は？ >>　二つとも6の場合で、1/36 >と書かれてるか示してごらん 本気で聞いているのかな？ｗ 上記のサイト中で 冒頭に ”今回の内容をサクッと理解したい方はこちらの動画がおススメです” とあって、動画のリンク貼ってあるよ。そこにあるよ (引用終り) （>>818より再録） >>814 おかしいなあ、俺が見た限り 「〇〇のサイコロを投げる。〇〇になる確率を求めなさい。」 という出題パターンしか無いんだが どこにも >・サイコロ二つを振って、箱の中 >　目は決まっている なんて無いんだが (引用終り) １）サイコロ二つを振って 二つの和が12になる確率は？ 二つとも6の場合で、1/36 　これが分からないと聞いてきた ２）動画にあると示したら、「サイコロ二つを振って、箱の中 目は決まっている なんて無いんだが」 　ときたもんだ。笑える 886 名前：１３２人目の素数さん [2024/03/16(土) 23:06:45.95 ID:+LjGwmYz.net] 中学レベルの確率論でつまずいているんだ アホのきわみだね 887 名前：１３２人目の素数さん [2024/03/16(土) 23:07:39.62 ID:/v13gW+O.net] >>837 言い訳になってないよｗ 888 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:12:43.81 ID:REZvRVWI.net] ∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、これこれが証明可能であるなんて、∃(x ÷1)野� 889 名前：Yに分かるわけないじゃん [] [ここ壊れてます] 890 名前：１３２人目の素数さん [2024/03/16(土) 23:18:18.29 ID:/v13gW+O.net] >>838 >１）サイコロ二つを振って 二つの和が12になる確率は？ 二つとも6の場合で、1/36 どこにも >・サイコロ二つを振って、箱の中 >　目は決まっている なんて書かれてないじゃんｗ >２）動画にあると示したら、「サイコロ二つを振って、箱の中 目は決まっている なんて無いんだが」 >　ときたもんだ。笑える いや、動画のどこにも >・サイコロ二つを振って、箱の中 >　目は決まっている なんて無いよね 君、嘘ついてるよね 笑える？　君、病院行った方がいいよ 891 名前：１３２人目の素数さん [2024/03/16(土) 23:23:34.82 ID:/v13gW+O.net] >>841 >これこれが証明可能である ってなに？ｗ >∃(x÷1)野郎に分かるわけないじゃん じゃあ数学者に分かる証明を書いて 知り合いの数学者に見てもらうから 892 名前：１３２人目の素数さん [2024/03/16(土) 23:32:51.63 ID:/v13gW+O.net] >>838 君さあ これからサイコロを振ることと、サイコロを振った結果は違うことは理解できる？ 前者の標本空間={1,2,3,4,5,6} 後者の標本空間={出た目}　←１元しかないので確率を考えてもナンセンス 893 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:33:50.33 ID:REZvRVWI.net] >>843 ∃y.∀x.P(x,y)に決まってるだろ お前はどうせわかんないんだろ、伝言ゲームするぐらいのらそいつここによんでくれぱいいじゃん 894 名前：１３２人目の素数さん [2024/03/16(土) 23:34:44.04 ID:/v13gW+O.net] 動画に出てる←嘘 簡単にできる←嘘 サイコパスしかおらんのかい、不成立派はｗ 895 名前：１３２人目の素数さん [2024/03/16(土) 23:39:17.12 ID:/v13gW+O.net] >>845 書かれてないのに呼ぶ意味は？ 君、乱心してんの？落ち着けよ 896 名前：１３２人目の素数さん [2024/03/16(土) 23:42:00.72 ID:/v13gW+O.net] >>845 簡単なんでしょ？ じゃさっさと書いてよ 書かれてもないのに呼ばないよｗ　なんで呼んだ？ってなっちゃうだろーがｗ 897 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:43:34.20 ID:REZvRVWI.net] >>847 呼んでくれぱ書くよ どうせ君には読めないじゃん 898 名前：１３２人目の素数さん [2024/03/16(土) 23:45:16.11 ID:/v13gW+O.net] >>849 だーかーらー 呼ばれた人はどうすんだよｗ　なんで呼ばれたんだ？ってなるだろ？　分からんのか？　阿呆なの？馬鹿なの？ 899 名前：１３２人目の素数さん [2024/03/16(土) 23:46:57.63 ID:/v13gW+O.net] てかつべこべ言わずさっさと書けや またいつものハッタリか？ 900 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:48:56.82 ID: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 名前：１３２人目の素数さん [2024/03/16(土) 23:49:46.07 ID:/v13gW+O.net] 君さ、会社でもそんななん？ レビューアを呼び出してから資料書くん？ 資料書くのが先じゃないん？ だいじょうぶか？君 902 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:50:39.70 ID:REZvRVWI.net] で、これは結局放置するわけ？ x+1が仮に変数だとして ＞∀x∈ℕ.∃(x+1).x<x+1 これをα変換したら ∀x∈ℕ.∃y.x<x+1 なのか ∀x∈ℕ.∃y.x<y なのかすら不明瞭 903 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:51:13.39 ID:REZvRVWI.net] >>853 ほら書いてやったぞさっさと呼んで来いよ 904 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:53:18.84 ID:REZvRVWI.net] >>853 呼んで来たらついでに、>>854がどっちなのかも聞いていて 905 名前：１３２人目の素数さん [2024/03/16(土) 23:55:14.40 ID:/v13gW+O.net] >>852 箱入り無数目におけるx、y、P(x,y)がそれぞれ何か述べよ 906 名前：１３２人目の素数さん [2024/03/16(土) 23:58:01.45 ID:/v13gW+O.net] >>852 ∀x.∃y.P(x,y)なる命題が箱入り無数目のそれと一致してなければ>>852は完全にナンセンスなので心して答えるように 907 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:03:41.90 ID:egixwGA8.net] >>858 >>370,395,396 これお前が書いたんじゃないの？ 908 名前：１３２人目の素数さん [2024/03/17(日) 00:16:23.47 ID:VAa6dkvQ.net] >>859 違うけど、 x=先手の手、y=後手の手、P(x,y)=後手の勝率は99/100以上 という理解で合ってる？ まずはここまで 909 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:27:17.53 ID:egixwGA8.net] >>860 じゃあこっちは上のアンカーみたいな定式化に対して∀∃の形にすんなって言ってるんだから、関係ないなら来ないでくれる 910 名前：１３２人目の素数さん [2024/03/17(日) 00:40:01.46 ID: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 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:49:14.99 ID:egixwGA8.net] >>862 なんでそれが関係あるの？ 912 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:53:55.64 ID:egixwGA8.net] そもそも、ゲームの攻略法を∀と∃の組み合わせで定式化したら前についてる量化子はすべて公開されてる状態で次の量化子の手番に進むに決まってんじゃん これになんの 913 名前：疑問の余地があるのかさっぱりわからんのだが [] [ここ壊れてます] 914 名前：１３２人目の素数さん [2024/03/17(日) 00:54:26.72 ID: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 名前：１３２人目の素数さん [2024/03/17(日) 00:55:56.21 ID:VAa6dkvQ.net] >>864 >決まってんじゃん はい、決まってないです あなたの妄想です 916 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:56:10.12 ID:egixwGA8.net] >>865 なんでそれが相手側に全公開してることの証明だと思ったの？関係ないよね？ 917 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:57:24.92 ID:egixwGA8.net] >>866 そう思うなら無視すりゃいいじゃん こっちは∃(x+1)とか書き始める人間に何言われても気にしないから 918 名前：１３２人目の素数さん [2024/03/17(日) 00:58:15.47 ID:VAa6dkvQ.net] >>867 じゃ何の証明だよｗ こっちは最初から>>260が間違いであることは理解したの？って言ってるんだけどｗ それに対する反論じゃなかったんか？　馬鹿かよｗ 919 名前：１３２人目の素数さん [2024/03/17(日) 00:59:52.45 ID:VAa6dkvQ.net] >>867 おまえ頭オカシイのか？ さっさと>>260の正当性を示せよｗ 920 名前：１３２人目の素数さん [2024/03/17(日) 01:02:08.61 ID:VAa6dkvQ.net] >>868 おまえ都合悪くなるといつも逃げるのな 921 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:02:45.83 ID:egixwGA8.net] >>869 ∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、∃y.∀x.P(x,t)が証明できることの証明だろ お前が>>832でこれを証明しろっていったんじゃねーかよ 記憶力ダチョウ並かよ 922 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:05:59.86 ID:egixwGA8.net] >>870 ゲームの定式化をそうやるって話だよ これが嫌いなら勝手にすればいいじゃん 定式化が変われば結果が変わるのは当たり前なんだからさ 923 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:08:42.91 ID:egixwGA8.net] そもそも箱の中身を確率変数にして定式化すれば、∀の順序とか悩まずに定式化できるのに、こんな入口で躓いててこの先どーすんの 924 名前：１３２人目の素数さん [2024/03/17(日) 01:09:04.96 ID: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 名前：１３２人目の素数さん [2024/03/17(日) 01:10:22.07 ID:VAa6dkvQ.net] >>874 そもそも箱の中身を確率変数にできないのにこんな入口で躓いててこの先どーすんの 926 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:14:33.92 ID:egixwGA8.net] >>875 ＞λx.ex t f(x,t)　⇒　ex t (λx.f(x,t)) ⇒ってなに？ならば？ 927 名前：１３２人目の素数さん [2024/03/17(日) 01:16:14.72 ID:VAa6dkvQ.net] >>877 そうだよ P⇒Q　は　Pが真ならQが真という命題 928 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:16:22.80 ID:egixwGA8.net] >>876 できないってなんだよ 定式化なんだから好きにやりゃいいんだよ そもそも記事でやってる説明だって確率変数で書いたときの特別な場合だろ 929 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:17:37.88 ID:egixwGA8.net] >>878 なんでそこにならばをつけたの？ お前はπ⇒eとかみたいな感じでならばを使うんか？ 930 名前：１３２人目の素数さん [2024/03/17(日) 01:22:54.32 ID: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 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:23:20.56 ID:egixwGA8.net] 1ならば2とか sin 60°ならばtan 30°とか お前はそういう風にならばを使うの？ 932 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:24:11.41 ID:egixwGA8.net] >>881 ならばは？ 933 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:29:32.73 ID:egixwGA8.net] >>881 ねえ、ならばはどこに行ったの！ 934 名前：１３２人目の素数さん [2024/03/17(日) 01:30:15.41 ID:VAa6dkvQ.net] >>879 >定式化なんだから好きにやりゃいいんだよ 大間違い 問題設定に沿ってなければダメ ある一つの固定された出題に対し回答者の勝率が定義できるためには出題が試行であってはダメ 箱の中身を確率変数にするということは出題が試行ということ なぜなら箱の中身が変化するのは出題毎だから >そもそも記事でやってる説明だって確率変数で書いたときの特別な場合だろ 意味不明 935 名前：１３２人目の素数さん [2024/03/17(日) 01:31:06.42 ID:VAa6dkvQ.net] >>884 ねえ、ギャップは？ いつ埋まるの？ 936 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:32:59.45 ID:egixwGA8.net] >>885 じゃあ君がコロナに感染してるかどうかも確率変数にしちゃだめだね 医者どもはそれを確率変数だと思って診断してるから、お前はもうPCR検査行くなよ 937 名前：１３２人目の素数さん [2024/03/17(日) 01:33:33.37 ID:VAa6dkvQ.net] >>882 おまえ馬鹿？　そういう風にも使えるよ 命題「x=π ⇒ x=e」は偽 はい、使った 938 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:33:52.61 ID:egixwGA8.net] >>886 ならばの意味が分からないから説明してよ 1⇒2って何？ 939 名前：１３２人目の素数さん mailto: [] [ここ壊れてます] 940 名前：sage mailto:2024/03/17(日) 01:34:30.07 ID:egixwGA8.net [ >>888 π⇒eはどこに行ったの？ ] [ここ壊れてます] 941 名前：１３２人目の素数さん [2024/03/17(日) 01:37:08.43 ID:VAa6dkvQ.net] >>887 意味不明 確率空間を書いてみて 942 名前：１３２人目の素数さん [2024/03/17(日) 01:38:04.38 ID:VAa6dkvQ.net] >>890 いいから早くギャップを埋めてよ また逃げる気？ 943 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:38:43.64 ID:egixwGA8.net] 1 ≦ y ⇒ 0 ≦ yも x = 1 ≦ y ⇒ x = 0 ≦ y だから偽だね 944 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:39:14.78 ID:egixwGA8.net] >>892 だからならばってなんだよ 945 名前：１３２人目の素数さん [2024/03/17(日) 01:39:57.90 ID:VAa6dkvQ.net] こいつまた逃げる気か 都合が悪くなるといつも>>889 >>890みたいにごまかして逃げるな 946 名前：１３２人目の素数さん [2024/03/17(日) 01:40:31.93 ID:VAa6dkvQ.net] >>894 ごまかすな ギャップを示せ 947 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:40:35.03 ID:egixwGA8.net] >>891 なんの確率空間を書くの？ 前から何度も言ってるように、普通は確率空間は任意だよ 948 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:41:53.07 ID:egixwGA8.net] >>896 ならばのところにギャップがあるんでしょ？ だから1⇒2ってなんなんだよって聞いてんだよ 949 名前：１３２人目の素数さん [2024/03/17(日) 01:43:11.58 ID:VAa6dkvQ.net] >>898 >>881読めないの？なら小学校の国語からやり直し 950 名前：１３２人目の素数さん [2024/03/17(日) 01:43:41.06 ID:VAa6dkvQ.net] >>897 >>887 951 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:45:02.55 ID:egixwGA8.net] >>900 それは任意の確率空間にしないと不便だろ 952 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:46:12.09 ID:egixwGA8.net] >>899 どこにギャップがあるの？ ⇒はどこに行ったの？ まず⇒の話を解決しないと意味不明なんですけど 953 名前：１３２人目の素数さん [2024/03/17(日) 01:47:08.12 ID:VAa6dkvQ.net] >>897 >前から何度も言ってるように、普通は確率空間は任意だよ 事象空間が任意てｗ　じゃ何の確率だよｗ　完全に狂ってるｗ 954 名前：１３２人目の素数さん [2024/03/17(日) 01:48:24.79 ID: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 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:49:50.09 ID:egixwGA8.net] >>904 具体的に指摘してよ 956 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:50:53.62 ID:egixwGA8.net] >>903 だからお前は素人なんだよ 確率論の本を数冊読んでから出直せ 957 名前：１３２人目の素数さん [2024/03/17(日) 01:51:55.31 ID:VAa6dkvQ.net] >>897 >前から何度も言ってるように、普通は確率空間は任意だよ サイコロひとつを一回振る試行の標本空間は任意なので{}としました この標本空間{}を用いて1の目がでる確率を計算してください 958 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:52:50.48 ID:egixwGA8.net] >>907 お前が決めるんじゃねーよ 959 名前：１３２人目の素数さん [2024/03/17(日) 01:53:10.53 ID:VAa6dkvQ.net] >>905 >>904が具体的なギャップの指摘 ギャップを埋めるのは君 960 名前：１３２人目の素数さん [2024/03/17(日) 01:53:50.14 ID:VAa6dkvQ.net] >>906 屁理屈はよいので>>907に答えて 961 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:54:04.17 ID:egixwGA8.net] >>909 そんなものはない終わり 962 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:54:35.17 ID:egixwGA8.net] >>910 だからお前が決めるんじゃねーよ 963 名前：１３２人目の素数さん [2024/03/17(日) 01:55:41.74 ID:VAa6dkvQ.net] >>908 あれ？任意でいいって言ってなかったっけ？ 任意でいいってことは俺が決めてもいいんだろ？ダメなの？じゃ誰が決めんの？それ任意って言うの？馬鹿？ 964 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:58:53.06 ID:egixwGA8.net] >>913 任意の確率空間(Ω,F,P)について何々から書き始めるから任意なんだよ、お前がひとつに決めるなよ 965 名前：１３２人目の素数さん [2024/03/17(日) 02:05:48.90 ID:VAa6dkvQ.net] >>911 >>852って単に 「先手の情報が全公開されてないなら　∀x.∃y.P(x,y)　を　∃y.∀x.P(x,t)　に書き換えられる」 と言ってるに過ぎず、それって君の持論を言い直しただけじゃんｗ 何の証明にもなってないｗ　馬鹿過ぎｗ 966 名前：１３２人目の素数さん [2024/03/17(日) 02:07:55.95 ID:VAa6dkvQ.net] >>914 >任意の確率空間(Ω,F,P)について何々から書き始めるから任意なんだよ 日本語でお願いします >お前がひとつに決めるなよ じゃあおまえがひとつに決めろよ 967 名前：１３２人目の素数さん [2024/03/17(日) 02:09:56.03 ID:VAa6dkvQ.net] >>911 なぜ書き換えられるかの理由が無いと証明にならんぞｗ てかおまえ証明って何か分かってる？ｗ 968 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:10:02.38 ID:egixwGA8.net] >>916 ひとつに決めたら不便だろ 頭沸いてるのかよ 969 名前：１３２人目の素数さん [2024/03/17(日) 02:12:00.92 ID:VAa6dkvQ.net] >>918 不便でいいから決めろ 970 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:12:31.38 ID:egixwGA8.net] >>915 全然違う ＞「先手の情報が全公開されてないなら　∀x.∃y.P(x,y)　を　∃y.∀x.P(x,t)　に書き換えられる」 勝手に捏造しないでくれます？ 971 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:13:09.56 ID:egixwGA8.net] >>919 だからひとつに決めないのも定式化の一部なんだよ 972 名前：１３２人目の素数さん [2024/03/17(日) 02:13:11.84 ID:VAa6dkvQ.net] >>918 おまえいっつも逃げるのな 逃げ口上考える頭を数学に使えば？ 973 名前：１３２人目の素数さん [2024/03/17(日) 02:13:49.01 ID:VAa6dkvQ.net] >>920 何がどう違うと？ 974 名前：１３２人目の素数さん [2024/03/17(日) 02:14:15.95 ID:VAa6dkvQ.net] >>921 だから逃げ口上はいいって 975 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:15:00.99 ID:egixwGA8.net] >>922 不便なものに不便だと言って何が悪い 確率論の標準的な手法に文句があるならコルモゴロフにでも言ってくれ 976 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:16:01.56 ID:egixwGA8.net] >>923 ∃(x+1)くんが捏造してるのに合ってるわけないだろ 977 名前：１３２人目の素数さん [2024/03/17(日) 02:16:11.43 ID:VAa6dkvQ.net] >>921 ひとつに決めないのも定式化の一部ならひとつに決めるのも定式化の一部だろ じゃ決めろよ これ以上逃げ口上は勘弁な 978 名前：１３２人目の素数さん [2024/03/17(日) 02:17:35.09 ID:VAa6dkvQ.net] >>925 悪いなんて言ってないじゃんｗ　幻聴が聞こえるのか？ 979 名前：１３２人目の素数さん [2024/03/17(日) 02:18:02.57 ID:VAa6dkvQ.net] >>926 何をどう捏造してると？ 980 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:18:16.92 ID:egixwGA8.net] >>927 何言ってんの 定式化は各人好きなようにやっていいよ 君がやりたいならそうしろよ こっちは確率論を具体的に書かない標準的なやり方でやるから 981 名前：１３２人目の素数さん [2024/03/17(日) 02:19:43.84 ID:VAa6dkvQ.net] >>930 おまえさっき勝手に決めるなって言ったのもう忘れたの？ｗ ダメだこいつｗ　完全にイカレてやがるｗ 982 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:20:11.32 ID:egixwGA8.net] >>929 ＞「先手の情報が全公開されてないなら　∀x.∃y.P(x,y)　を　∃y.∀x.P(x,t)　に書き換えられる」 このような主張はしてない 983 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:21:16.80 ID:egixwGA8.net] >>931 君の決めたやつで勝手にやってていいから 984 名前：１３２人目の素数さん [2024/03/17(日) 02:22:58.10 ID:VAa6dkvQ.net] 0908１３２人目の素数さん 2024/03/17(日) 01:52:50.48ID:egixwGA8 >>907 お前が決めるんじゃねーよ 0930１３２人目の素数さん 2024/03/17(日) 02:18:16.92ID:egixwGA8 >>927 定式化は各人好きなようにやっていいよ 君がやりたいならそうしろよ ↑ 錯乱してるｗ 985 名前：１３２人目の素数さん [2024/03/17(日) 02:23:33.91 ID:VAa6dkvQ.net] >>933 0908１３２人目の素数さん 2024/03/17(日) 01:52:50.48ID:egixwGA8 >>907 お前が決めるんじゃねーよ 986 名前：１３２人目の素数さん [2024/03/17(日) 02:24:43.95 ID:VAa6dkvQ.net] >>932 じゃあどう主張してんの？ 987 名前：１３２人目の素数さん [2024/03/17(日) 02:28:27.68 ID: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 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:28:43.68 ID:HNHCaIr5.net] >>935 こっちの定式化では任意にしてるところをお前が決めんなって言ってんの お前が定式化してるところは固定で好きなようにやっていいから 989 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:29:49.82 ID:HNHCaIr5.net] >>937 何？証明であるのところが解らなかったの？ なんで今まで具体的に書かなかったの？ 990 名前：１３２人目の素数さん [2024/03/17(日) 02:31:41.64 ID:VAa6dkvQ.net] >>938 なんでおまえが持ち出したPCR検査の確率空間をそんなに書きたくないの？ 書けないなら持ち出さなきゃいいじゃん 持ち出したからには書けよ 不便とか言い訳してんなよカス 991 名前：１３２人目の素数さん [2024/03/17(日) 02:33:16.72 ID:VAa6dkvQ.net] >>939 うん分からなかった 証明になってないから分かり様が無い 992 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:33:42.97 ID:HNHCaIr5.net] >>940 なんで具体的に書けると思うの？ 任意の確率空間って書いてんじゃん 993 名前：１３２人目の素数さん [2024/03/17(日) 02:34:26.62 ID:VAa6dkvQ.net] >>939 もう一回聞くけど ex t (λx.f(x,t))　が　∃y.∀x.P(x,t)　の証明である理由は何？ 994 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:34:51.34 ID:HNHCaIr5.net] >>941 証明の定義に戻って確認するだけでしょ 995 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:35:36.17 ID:HNHCaIr5.net] >>943 ほとんど証明の定義そのままだろ 996 名前：１３２人目の素数さん [2024/03/17(日) 02:35:52.22 ID:VAa6dkvQ.net] >>942 任意ってことは{}でもいいんだろ？ じゃあ>>907に答えろや　何逃げてんだよ 997 名前：１３２人目の素数さん [2024/03/17(日) 02:36:44.79 ID:VAa6dkvQ.net] >>945 証明の定義を書いてみて 998 名前：１３２人目の素数さん [2024/03/17(日) 02:38:38.65 ID:VAa6dkvQ.net] こいつ書けって言うと全部逃げるのなｗ 口から出まかせだから書けないんだろう　そりゃ逃げるしかないわな 999 名前：１３２人目の素数さん [2024/03/17(日) 02:40:40.00 ID:VAa6dkvQ.net] >>939 もうひとつ聞くけど xがtに自由に現れるとき　ex t (λx.f(x,t))　が　∃y.∀x.P(x,t)　の証明でない理由は何？ 1000 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:41:38.99 ID:HNHCaIr5.net] >>947 それ知らないのになんでギャップがあるって主張すんの？ お前が知ってる定義を書いてみろよ 1001 名前：１３２人目の素数さん [2024/03/17(日) 02:42:44.70 ID:VAa6dkvQ.net] >>950 自分が書けないからって何言いだすんだおまえｗ 1002 名前：１３２人目の素数さん [2024/03/17(日) 02:43:37.40 ID:VAa6dkvQ.net] 証明の定義の言い出しっぺはおまえだろ？ 言い出しっぺが書けやクズ 1003 名前：１３２人目の素数さん [2024/03/17(日) 02:47:50.71 ID:VAa6dkvQ.net] >>943と>>949は宿題な 忘れずやれよ 1004 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:49:41.10 ID:HNHCaIr5.net] >>949 それなんか関係ある？ 具体的にやってみりゃわかんじゃん 1005 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:50:34.18 ID:HNHCaIr5.net] >>952 教科書に載ってるものをコピペする必要性がどこにあるの？ 1006 名前：１３２人目の素数さん [2024/03/17(日) 02:54:07.97 ID:VAa6dkvQ.net] >>954 結局理由をひとつも言えないのね？ だけど証明になってる 1007 名前：と思ってるのね？ ダメだこりゃ [] [ここ壊れてます] 1008 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:57:34.61 ID:HNHCaIr5.net] >>956 理由もなにもほとんど証明の定義だろ 1009 名前：１３２人目の素数さん [2024/03/17(日) 02:58:01.19 ID:VAa6dkvQ.net] 聞いていいか？ 箱入り無数目は∃y.∀x.P(x,t)とは書けない 一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている それはおまえの持論に反してるんだろ？ てことは上記証明が間違ってるはずなんだろ？ どこが間違ってるの？ 1010 名前：１３２人目の素数さん [2024/03/17(日) 03:00:50.13 ID:VAa6dkvQ.net] >>958宿題な 忘れずやれよ 1011 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:07:31.30 ID:HNHCaIr5.net] >>958 ＞箱入り無数目は∃y.∀x.P(x,t)とは書けない 書ける ＞一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている 後者はPが具体的に書かれていないと証明されているのか不明。そもそも証明にはxが公開されているとかいう要素は関係ない 1012 名前：１３２人目の素数さん [2024/03/17(日) 03:09:28.49 ID:VAa6dkvQ.net] 時枝証明とおまえの持論は相容れない おまえの持論の正しさを証明するには時枝証明の間違い箇所を具体的に指摘する必要がある がんばれよｗ 1013 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:13:14.35 ID:HNHCaIr5.net] >>961 記事の証明に間違いなんてねーぞ そこは全員の共通認識だろ 今さら何言ってんの？ 1014 名前：１３２人目の素数さん [2024/03/17(日) 03:13:50.93 ID:VAa6dkvQ.net] >>960 >書ける じゃyを書いてみて >そもそも証明にはxが公開されているとかいう要素は関係ない 0260１３２人目の素数さん 2024/03/07(木) 16:55:42.19ID:C3Ro7iPT >>259 ∀が先頭についてるんだから相手側に全公開してるだろ 1015 名前：１３２人目の素数さん [2024/03/17(日) 03:15:50.26 ID:VAa6dkvQ.net] >>962 >記事の証明に間違いなんてねーぞ え？？？ じゃおまえは箱入り無数目成立派なの？ じゃ何に対し文句垂れてんの？ 1016 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:16:26.41 ID:HNHCaIr5.net] >>963 yは1でいいよ ＞>そもそも証明にはxが公開されているとかいう要素は関係ない ＞0260１３２人目の素数さん ＞2024/03/07(木) 16:55:42.19ID:C3Ro7iPT ＞>>259 ＞∀が先頭についてるんだから相手側に全公開してるだろ これの何が関係あるの？ 1017 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:17:53.85 ID:HNHCaIr5.net] >>964 お前らが適当に∀と∃を並べて曖昧なろんりを書いたり、確率変数を使った定式化を否定してるのに文句言ってんだよ 1018 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:18:26.23 ID:HNHCaIr5.net] 曖昧な論理式 1019 名前：１３２人目の素数さん [2024/03/17(日) 03:19:42.66 ID:VAa6dkvQ.net] >>965 >yは1でいいよ ダメだこいつｗ　yがどんな空間に属すかすら分かってないｗ >これの何が関係あるの？ そもそもおまえは何に対して文句垂れてんの？ 1020 名前：１３２人目の素数さん [2024/03/17(日) 03:21:48.03 ID:VAa6dkvQ.net] >>966 確率変数を使った定式化を否定してる訳ねーだろｗ　何をどう勘違いしたらそうなるんだ？ｗ 100列のいずれを選択するかが確率変数だと言ってんだよｗ　馬鹿かおまえは 1021 名前：１３２人目の素数さん [2024/03/17(日) 03:24:08.39 ID:VAa6dkvQ.net] >>967 あいまいな論理式の前に 確率変数だから∀の位置がどうたらこうたらっておまえの持論の方がよっぽどデタラメだぞｗ 1022 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:25:50.44 ID:HNHCaIr5.net] >>968 お前が∃y∀xの形で書けっていったんだろ、∃y∈{1}.∀x∈{1}.でいいじゃん残りは勝手に埋めるから 1023 名前：１３２人目の素数さん [2024/03/17(日) 03:26:17.62 ID:VAa6dkvQ.net] もう一回聞くけどおまえは箱入り無数目記事は正しい、つまり、任意の出題列に対して回答者が確率99/100以上で勝てる戦略が存在すると思ってるのね？ 1024 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:26:35.95 ID:HNHCaIr5.net] >>969 箱の中身も確率変数にしてもいいだろって言ってんだよ 1025 名前：１３２人目の素数さん [2024/03/17(日) 03:27:24.38 ID:VAa6dkvQ.net] >>971 >∃y∈{1}.∀x∈{1}.でいいじゃん それ箱入り無数目じゃないからダメ 1026 名前：１３２人目の素数さん [2024/03/17(日) 03:28:03.57 ID:VAa6dkvQ.net] >>973 いいとは？ 1027 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:28:05.55 ID:HNHCaIr5.net] >>972 その確率をどういう情報をもとに計算したかによるから定式化によって答が変わるって言ってるの 1028 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:29:55.37 ID:HNHCaIr5.net] >>974 なんで？ ∃y∈{1}.∀x∈{1}.の後ろにお前が思う 正しい論理式をxとyの名前だけ変えて書けばいいじゃん 1029 名前：１３２人目の素数さん [2024/03/17(日) 03:30:01.31 ID:VAa6dkvQ.net] いいとはどういう意味のいいなの？ そういう問題を考えてもいいなのか箱入り無数目をそう定式化してもいいなのか 後者なら完全に間違い 1030 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:30:39.60 ID:HNHCaIr5.net] >>975 箱の中身を確率変数にする定式化だってあるだろ 1031 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:31:31.57 ID:HNHCaIr5.net] >>978 だから、そういう他の定式化を否定してるところに文句言ってんだよ 1032 名前：１３２人目の素数さん [2024/03/17(日) 03:32:33.77 ID:VAa6dkvQ.net] >>976 大間違い 問題に曖昧さが無いから答えは唯一 定式化によって答えが変わるなら定式化の仕方が間違ってるだけ 1033 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:33:06.23 ID:HNHCaIr5.net] 何が完全に間違いだよ 記事の定式化の拡張になってるのに間違いになる要素なんてあるわけないだろ 1034 名前：１３２人目の素数さん [2024/03/17(日) 03:34:31 ] [ここ壊れてます] 1035 名前：.35 ID:VAa6dkvQ.net mailto: >>979 箱入り無数目にはそんな定式化は無い 問題自体が変わる [] [ここ壊れてます] 1036 名前：１３２人目の素数さん [2024/03/17(日) 03:35:46.11 ID:VAa6dkvQ.net] >>982 >記事の定式化の拡張になってるのに間違いになる要素なんてあるわけないだろ が 1037 名前：１３２人目の素数さん [2024/03/17(日) 03:37:11.72 ID:VAa6dkvQ.net] >>980 それはおまえが箱入り無数目を理解していないだけのこと 1038 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:38:08.49 ID:HNHCaIr5.net] >>981 問題文では確率なんて定めてないのに、なんでそう言い切れるの？ 1039 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:39:24.52 ID:HNHCaIr5.net] ∃(x+1)とか書くやつに理解してないとか言われてもね あと1⇒2 1040 名前：１３２人目の素数さん [2024/03/17(日) 03:48:31.14 ID:VAa6dkvQ.net] 箱入り無数目の前にまずおまえは「見えないもの＝確率変数」と言ったよな？ それ間違いな 壷の中でサイコロを振って１の目が出た 客は１に賭ける 客が勝つ確率は？ 壷の中でサイコロを振って１の目が出た 客はランダムに賭ける 客が勝つ確率は？ 客は１に賭けた 壷の中でサイコロを振る 客が勝つ確率は？ この問題に正答できるなら「見えないもの＝確率変数」が間違いであることも分かるだろう 1041 名前：１３２人目の素数さん [2024/03/17(日) 03:51:42.62 ID:VAa6dkvQ.net] >>986 箱入り無数目では箱の中身を確率変数とする定式化は間違いだって言ってるの 1042 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:53:43.68 ID:HNHCaIr5.net] >>988 何言ってんのかわからん 何を知ってるときの確率なのか正確に書いて 1043 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:54:37.15 ID:HNHCaIr5.net] >>989 ∃(x+1)の人の意見としてそれはもう承ったから何度も言わなくていいよ 1044 名前：１３２人目の素数さん [2024/03/17(日) 03:57:36.02 ID:VAa6dkvQ.net] >>986 （選択公理を除けば）問題文に曖昧さが無いから 回答者が勝率99/100以上で勝つ戦略があるか？という問いにはあるという答えしかない 記事の戦略で勝つ確率は？という問いには1-1/n以上という答えしかない そういうことを言ってるんだよ で、それには箱の中身を確率変数とする定式化はダメだと言ってるんだよ 1045 名前：１３２人目の素数さん [2024/03/17(日) 04:00:16.54 ID:VAa6dkvQ.net] >>990 客は壷の中でサイコロを振ったとかこれから振るとかしか知らんよ　壷の中身は知らんよ　当然ｗ 1046 名前：１３２人目の素数さん [2024/03/17(日) 04:02:29.63 ID:VAa6dkvQ.net] >>991 そういう大口は>>988に正答してからたたこうな 1047 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 04:03:45.41 ID:HNHCaIr5.net] >>992 中身を確率変数にしても記事と同じ結果になる確率空間は存在するだろ ちゃんと拡張になってんだよ 1048 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 04:05:08.20 ID:HNHCaIr5.net] >>993 だから計算したい確率は知らない人から見た確率なのかって言ってんだよ 1049 名前：１３２人目の素数さん [2024/03/17(日) 04:06:26.02 ID:VAa6dkvQ.net] >>995 存在するなら書けやクズ 書きもせずに存在するする詐欺かおまえはｗ 1050 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 04:06:50.48 ID:HNHCaIr5.net] >>994 お前確率論の本読み切れてないじゃん 正解かどうか以前に自分がどういう問題を出してるかすら分かってないだろ 1051 名前：１３２人目の素数さん [2024/03/17(日) 04:06:57.20 ID:VAa6dkvQ.net] >>996 当たり前だろｗ 1052 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 04:07:49.86 ID:HNHCaIr5.net] >>997 そんなん箱の中身がデルタ分布になってる場合に決まってるだろ いい加減頭使えよ 1053 名前：1001 [Over 1000 Thread.net] このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 11日 20時間 3分 10秒 1054 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef