スレタイ 箱入り無数目を語る部屋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 なんで具体的に書けると思うの？ 任意の確率空間って書いてんじゃん

---

---

[ 続きを読む ] / [ 携帯版 ]

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