24/03/17 02:35:36.17 HNHCaIr5.net
>>943
ほとんど証明の定義そのままだろ
996:１３２人目の素数さん
24/03/17 02:35:52.22 VAa6dkvQ.net
>>942
任意ってことは{}でもいいんだろ？
じゃあ>>907に答えろや 何逃げてんだよ
997:１３２人目の素数さん
24/03/17 02:36:44.79 VAa6dkvQ.net
>>945
証明の定義を書いてみて
998:１３２人目の素数さん
24/03/17 02:38:38.65 VAa6dkvQ.net
こいつ書けって言うと全部逃げるのなｗ
口から出まかせだから書けないんだろう そりゃ逃げるしかないわな
999:１３２人目の素数さん
24/03/17 02:40:40.00 VAa6dkvQ.net
>>939
もうひとつ聞くけど
xがtに自由に現れるとき ex t (λx.f(x,t)) が ∃y.∀x.P(x,t) の証明でない理由は何？
1000:１３２人目の素数さん
24/03/17 02:41:38.99 HNHCaIr5.net
>>947
それ知らないのになんでギャップがあるって主張すんの？
お前が知ってる定義を書いてみろよ
1001:１３２人目の素数さん
24/03/17 02:42:44.70 VAa6dkvQ.net
>>950
自分が書けないからって何言いだすんだおまえｗ
1002:１３２人目の素数さん
24/03/17 02:43:37.40 VAa6dkvQ.net
証明の定義の言い出しっぺはおまえだろ？
言い出しっぺが書けやクズ
1003:１３２人目の素数さん
24/03/17 02:47:50.71 VAa6dkvQ.net
>>943と>>949は宿題な
忘れずやれよ
1004:１３２人目の素数さん
24/03/17 02:49:41.10 HNHCaIr5.net
>>949
それなんか関係ある？
具体的にやってみりゃわかんじゃん
1005:１３２人目の素数さん
24/03/17 02:50:34.18 HNHCaIr5.net
>>952
教科書に載ってるものをコピペする必要性がどこにあるの？
1006:１３２人目の素数さん
24/03/17 02:54:07.97 VAa6dkvQ.net
>>954
結局理由をひとつも言えないのね？
だけど証明になってる
1007:と思ってるのね？ ダメだこりゃ
1008:１３２人目の素数さん
24/03/17 02:57:34.61 HNHCaIr5.net
>>956
理由もなにもほとんど証明の定義だろ
1009:１３２人目の素数さん
24/03/17 02:58:01.19 VAa6dkvQ.net
聞いていいか？
箱入り無数目は∃y.∀x.P(x,t)とは書けない
一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている
それはおまえの持論に反してるんだろ？
てことは上記証明が間違ってるはずなんだろ？
どこが間違ってるの？
1010:１３２人目の素数さん
24/03/17 03:00:50.13 VAa6dkvQ.net
>>958宿題な
忘れずやれよ
1011:１３２人目の素数さん
24/03/17 03:07:31.30 HNHCaIr5.net
>>958
＞箱入り無数目は∃y.∀x.P(x,t)とは書けない
書ける
＞一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている
後者はPが具体的に書かれていないと証明されているのか不明。そもそも証明にはxが公開されているとかいう要素は関係ない
1012:１３２人目の素数さん
24/03/17 03:09:28.49 VAa6dkvQ.net
時枝証明とおまえの持論は相容れない
おまえの持論の正しさを証明するには時枝証明の間違い箇所を具体的に指摘する必要がある
がんばれよｗ
1013:１３２人目の素数さん
24/03/17 03:13:14.35 HNHCaIr5.net
>>961
記事の証明に間違いなんてねーぞ
そこは全員の共通認識だろ
今さら何言ってんの？
1014:１３２人目の素数さん
24/03/17 03:13:50.93 VAa6dkvQ.net
>>960
>書ける
じゃyを書いてみて
>そもそも証明にはxが公開されているとかいう要素は関係ない
0260１３２人目の素数さん
2024/03/07(木) 16:55:42.19ID:C3Ro7iPT
>>259
∀が先頭についてるんだから相手側に全公開してるだろ
1015:１３２人目の素数さん
24/03/17 03:15:50.26 VAa6dkvQ.net
>>962
>記事の証明に間違いなんてねーぞ
え？？？
じゃおまえは箱入り無数目成立派なの？
じゃ何に対し文句垂れてんの？
1016:１３２人目の素数さん
24/03/17 03:16:26.41 HNHCaIr5.net
>>963
yは1でいいよ
＞>そもそも証明にはxが公開されているとかいう要素は関係ない
＞0260１３２人目の素数さん
＞2024/03/07(木) 16:55:42.19ID:C3Ro7iPT
＞>>259
＞∀が先頭についてるんだから相手側に全公開してるだろ
これの何が関係あるの？
1017:１３２人目の素数さん
24/03/17 03:17:53.85 HNHCaIr5.net
>>964
お前らが適当に∀と∃を並べて曖昧なろんりを書いたり、確率変数を使った定式化を否定してるのに文句言ってんだよ
1018:１３２人目の素数さん
24/03/17 03:18:26.23 HNHCaIr5.net
曖昧な論理式
1019:１３２人目の素数さん
24/03/17 03:19:42.66 VAa6dkvQ.net
>>965
>yは1でいいよ
ダメだこいつｗ yがどんな空間に属すかすら分かってないｗ
>これの何が関係あるの？
そもそもおまえは何に対して文句垂れてんの？
1020:１３２人目の素数さん
24/03/17 03:21:48.03 VAa6dkvQ.net
>>966
確率変数を使った定式化を否定してる訳ねーだろｗ 何をどう勘違いしたらそうなるんだ？ｗ
100列のいずれを選択するかが確率変数だと言ってんだよｗ 馬鹿かおまえは
1021:１３２人目の素数さん
24/03/17 03:24:08.39 VAa6dkvQ.net
>>967
あいまいな論理式の前に
確率変数だから∀の位置がどうたらこうたらっておまえの持論の方がよっぽどデタラメだぞｗ
1022:１３２人目の素数さん
24/03/17 03:25:50.44 HNHCaIr5.net
>>968
お前が∃y∀xの形で書けっていったんだろ、∃y∈{1}.∀x∈{1}.でいいじゃん残りは勝手に埋めるから
1023:１３２人目の素数さん
24/03/17 03:26:17.62 VAa6dkvQ.net
もう一回聞くけどおまえは箱入り無数目記事は正しい、つまり、任意の出題列に対して回答者が確率99/100以上で勝てる戦略が存在すると思ってるのね？
1024:１３２人目の素数さん
24/03/17 03:26:35.95 HNHCaIr5.net
>>969
箱の中身も確率変数にしてもいいだろって言ってんだよ
1025:１３２人目の素数さん
24/03/17 03:27:24.38 VAa6dkvQ.net
>>971
>∃y∈{1}.∀x∈{1}.でいいじゃん
それ箱入り無数目じゃないからダメ
1026:１３２人目の素数さん
24/03/17 03:28:03.57 VAa6dkvQ.net
>>973
いいとは？
1027:１３２人目の素数さん
24/03/17 03:28:05.55 HNHCaIr5.net
>>972
その確率をどういう情報をもとに計算したかによるから定式化によって答が変わるって言ってるの
1028:１３２人目の素数さん
24/03/17 03:29:55.37 HNHCaIr5.net
>>974
なんで？
∃y∈{1}.∀x∈{1}.の後ろにお前が思う
正しい論理式をxとyの名前だけ変えて書けばいいじゃん
1029:１３２人目の素数さん
24/03/17 03:30:01.31 VAa6dkvQ.net
いいとはどういう意味のいいなの？
そういう問題を考えてもいいなのか箱入り無数目をそう定式化してもいいなのか
後者なら完全に間違い
1030:１３２人目の素数さん
24/03/17 03:30:39.60 HNHCaIr5.net
>>975
箱の中身を確率変数にする定式化だってあるだろ
1031:１３２人目の素数さん
24/03/17 03:31:31.57 HNHCaIr5.net
>>978
だから、そういう他の定式化を否定してるところに文句言ってんだよ
1032:１３２人目の素数さん
24/03/17 03:32:33.77 VAa6dkvQ.net
>>976
大間違い
問題に曖昧さが無いから答えは唯一
定式化によって答えが変わるなら定式化の仕方が間違ってるだけ
1033:１３２人目の素数さん
24/03/17 03:33:06.23 HNHCaIr5.net
何が完全に間違いだよ
記事の定式化の拡張になってるのに間違いになる要素なんてあるわけないだろ
1034:１３２人目の素数さん
24/03/17 03:34:31
1035:.35 ID:VAa6dkvQ.net
1036:１３２人目の素数さん
24/03/17 03:35:46.11 VAa6dkvQ.net
>>982
>記事の定式化の拡張になってるのに間違いになる要素なんてあるわけないだろ
が
1037:１３２人目の素数さん
24/03/17 03:37:11.72 VAa6dkvQ.net
>>980
それはおまえが箱入り無数目を理解していないだけのこと
1038:１３２人目の素数さん
24/03/17 03:38:08.49 HNHCaIr5.net
>>981
問題文では確率なんて定めてないのに、なんでそう言い切れるの？
1039:１３２人目の素数さん
24/03/17 03:39:24.52 HNHCaIr5.net
∃(x+1)とか書くやつに理解してないとか言われてもね
あと1⇒2
1040:１３２人目の素数さん
24/03/17 03:48:31.14 VAa6dkvQ.net
箱入り無数目の前にまずおまえは「見えないもの＝確率変数」と言ったよな？
それ間違いな
壷の中でサイコロを振って１の目が出た
客は１に賭ける
客が勝つ確率は？
壷の中でサイコロを振って１の目が出た
客はランダムに賭ける
客が勝つ確率は？
客は１に賭けた
壷の中でサイコロを振る
客が勝つ確率は？
この問題に正答できるなら「見えないもの＝確率変数」が間違いであることも分かるだろう
1041:１３２人目の素数さん
24/03/17 03:51:42.62 VAa6dkvQ.net
>>986
箱入り無数目では箱の中身を確率変数とする定式化は間違いだって言ってるの
1042:１３２人目の素数さん
24/03/17 03:53:43.68 HNHCaIr5.net
>>988
何言ってんのかわからん
何を知ってるときの確率なのか正確に書いて
1043:１３２人目の素数さん
24/03/17 03:54:37.15 HNHCaIr5.net
>>989
∃(x+1)の人の意見としてそれはもう承ったから何度も言わなくていいよ
1044:１３２人目の素数さん
24/03/17 03:57:36.02 VAa6dkvQ.net
>>986
（選択公理を除けば）問題文に曖昧さが無いから
回答者が勝率99/100以上で勝つ戦略があるか？という問いにはあるという答えしかない
記事の戦略で勝つ確率は？という問いには1-1/n以上という答えしかない
そういうことを言ってるんだよ
で、それには箱の中身を確率変数とする定式化はダメだと言ってるんだよ
1045:１３２人目の素数さん
24/03/17 04:00:16.54 VAa6dkvQ.net
>>990
客は壷の中でサイコロを振ったとかこれから振るとかしか知らんよ 壷の中身は知らんよ 当然ｗ
1046:１３２人目の素数さん
24/03/17 04:02:29.63 VAa6dkvQ.net
>>991
そういう大口は>>988に正答してからたたこうな
1047:１３２人目の素数さん
24/03/17 04:03:45.41 HNHCaIr5.net
>>992
中身を確率変数にしても記事と同じ結果になる確率空間は存在するだろ
ちゃんと拡張になってんだよ
1048:１３２人目の素数さん
24/03/17 04:05:08.20 HNHCaIr5.net
>>993
だから計算したい確率は知らない人から見た確率なのかって言ってんだよ
1049:１３２人目の素数さん
24/03/17 04:06:26.02 VAa6dkvQ.net
>>995
存在するなら書けやクズ
書きもせずに存在するする詐欺かおまえはｗ
1050:１３２人目の素数さん
24/03/17 04:06:50.48 HNHCaIr5.net
>>994
お前確率論の本読み切れてないじゃん
正解かどうか以前に自分がどういう問題を出してるかすら分かってないだろ
1051:１３２人目の素数さん
24/03/17 04:06:57.20 VAa6dkvQ.net
>>996
当たり前だろｗ
1052:１３２人目の素数さん
24/03/17 04:07:49.86 HNHCaIr5.net
>>997
そんなん箱の中身がデルタ分布になってる場合に決まってるだろ
いい加減頭使えよ
1053:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 11日 20時間 3分 10秒
1054:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています