[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋17 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
923(2): 2024/03/17(日)02:13 ID:VAa6dkvQ(32/75) AAS
>>920
何がどう違うと？
924: 2024/03/17(日)02:14 ID:VAa6dkvQ(33/75) AAS
>>921
だから逃げ口上はいいって
925(1): 2024/03/17(日)02:15 ID:egixwGA8(34/38) AAS
>>922
不便なものに不便だと言って何が悪い
確率論の標準的な手法に文句があるならコルモゴロフにでも言ってくれ
926(1): 2024/03/17(日)02:16 ID:egixwGA8(35/38) AAS
>>923
∃(x+1)くんが捏造してるのに合ってるわけないだろ
927(2): 2024/03/17(日)02:16 ID:VAa6dkvQ(34/75) AAS
>>921
ひとつに決めないのも定式化の一部ならひとつに決めるのも定式化の一部だろ
じゃ決めろよ
これ以上逃げ口上は勘弁な
928: 2024/03/17(日)02:17 ID:VAa6dkvQ(35/75) AAS
>>925
悪いなんて言ってないじゃんｗ 幻聴が聞こえるのか？
929(1): 2024/03/17(日)02:18 ID:VAa6dkvQ(36/75) AAS
>>926
何をどう捏造してると？
930(1): 2024/03/17(日)02:18 ID:egixwGA8(36/38) AAS
>>927
何言ってんの
定式化は各人好きなようにやっていいよ
君がやりたいならそうしろよ
こっちは確率論を具体的に書かない標準的なやり方でやるから
931(1): 2024/03/17(日)02:19 ID:VAa6dkvQ(37/75) AAS
>>930
おまえさっき勝手に決めるなって言ったのもう忘れたの？ｗ
ダメだこいつｗ 完全にイカレてやがるｗ
932(2): 2024/03/17(日)02:20 ID:egixwGA8(37/38) AAS
>>929
＞「先手の情報が全公開されてないなら ∀x.∃y.P(x,y) を ∃y.∀x.P(x,t) に書き換えられる」
このような主張はしてない
933(1): 2024/03/17(日)02:21 ID:egixwGA8(38/38) AAS
>>931
君の決めたやつで勝手にやってていいから
934: 2024/03/17(日)02:22 ID:VAa6dkvQ(38/75) AAS
0908１３２人目の素数さん
2024/03/17(日) 01:52:50.48ID:egixwGA8
>>907
お前が決めるんじゃねーよ
0930１３２人目の素数さん
2024/03/17(日) 02:18:16.92ID:egixwGA8
>>927
定式化は各人好きなようにやっていいよ
君がやりたいならそうしろよ
↑
省1
935(1): 2024/03/17(日)02:23 ID:VAa6dkvQ(39/75) AAS
>>933
0908１３２人目の素数さん
2024/03/17(日) 01:52:50.48ID:egixwGA8
>>907
お前が決めるんじゃねーよ
936: 2024/03/17(日)02:24 ID:VAa6dkvQ(40/75) AAS
>>932
じゃあどう主張してんの？
937(1): 2024/03/17(日)02:28 ID:VAa6dkvQ(41/75) AAS
>>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)の証明である
証明である理由が何も書かれてなくて勝手に宣言してるだけじゃんｗ
宣言したもん勝ちかよｗ
938(1): 2024/03/17(日)02:28 ID:HNHCaIr5(1/29) AAS
>>935
こっちの定式化では任意にしてるところをお前が決めんなって言ってんの
お前が定式化してるところは固定で好きなようにやっていいから
939(3): 2024/03/17(日)02:29 ID:HNHCaIr5(2/29) AAS
>>937
何？証明であるのところが解らなかったの？
なんで今まで具体的に書かなかったの？
940(1): 2024/03/17(日)02:31 ID:VAa6dkvQ(42/75) AAS
>>938
なんでおまえが持ち出したPCR検査の確率空間をそんなに書きたくないの？
書けないなら持ち出さなきゃいいじゃん
持ち出したからには書けよ
不便とか言い訳してんなよカス
941(1): 2024/03/17(日)02:33 ID:VAa6dkvQ(43/75) AAS
>>939
うん分からなかった
証明になってないから分かり様が無い
942(1): 2024/03/17(日)02:33 ID:HNHCaIr5(3/29) AAS
>>940
なんで具体的に書けると思うの？
任意の確率空間って書いてんじゃん
上下前次1-新書関写板覧索設栞歴
あと 60 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.147s*