>>676
>>∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=99/100
>だからこれだとだめなんだって
>この命題は正しいけど、
>この命題が成り立つから攻略法があるって主張はできない
>∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=1
>だって証明できるんだから、
>上ので攻略法があるって主張できるんなら、
>こっちの命題からは必勝法があるって主張ができる

なるほど

>>680
>∃になってるyたちを具体的な式に展開して命題に書かないとだめって言ってるの
>∀x_1,…,x_100∈R^N.P(回答者が選んだ列iに対してxi[f(x1,...,x100,i)]=r(xi)[f(x1,...,x100,i)])=99/100
>みたいになってりゃ別に文句言わねーよ

なんだ、それでいいんなら書けるよ

∀x_1,…,x_100∈R^N.
P(回答者が選んだ列xiに対して
　x_i[max(d(x_1),…,d(x_(i-1)),d(x_(i+i)),…,d(x_100))]
=r(x_i)[max(d(x_1),…,d(x_(i-1)),d(x_(i+i)),…,d(x_100))])=99/100

なぜなら
∀x_1,…,x_100∈R^N.(d(x_i)<=max(d(x_1),…,d(x_(i-1)),d(x_(i+i)),…,d(x_100))でないx_iはたかだか1つ)
だから