スレタイ 箱入り無数目を語る部屋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などは下付添え字 つづく 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