[過去ログ] スレタイ 箱入り無数目を語る部屋19 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
298: 2024/06/15(土)15:31:57.05 ID:PxBgtSwu(7/7) AAS
>>290
>そういう規制がかかっている問題として考えなければいけないというのは自由ではない
出題者(元ネタを考えた人)と違う規制をかける自由は他人には認められていない
>>292
>「勝つ戦略」の定義を自由に設定して良いわけではなかろう
出題者(元ネタを考えた人)に最大の自由がある 他人に出題者を否定する自由は全くない
>>294
省5
586
(1): 2024/06/26(水)22:04:56.05 ID:cZJplG6L(5/5) AAS
>100通りってなんだ?

記事で箱を100列に並べると書いてあるだろ
だからどの列を選ぶかによって、開ける箱の集合は100通りに分岐する
意味明快

>修正後の論理式を書いてよ
記事読んで自分で書いてご覧 そうしないと理解できないよ
588: 2024/06/26(水)22:13:15.05 ID:tkh8e6AK(13/13) AAS
∃A.∀x∈ℝ^A.∃B.∃i.∀y∈ℝ^B.∃a.∀z.a=z

∃A1,...,A100:ℕの100分割.∃A∈{A1,...,A100}.∀x∈ℝ^A.∃B.∃i.∀y∈ℝ^B.∃a.∀z.a=z
とで何か違いがあるの?同値じゃん
708
(1): 2024/06/30(日)17:44:19.05 ID:vKKNOeaC(12/19) AAS
>>705
ステートメント書いたじゃんw
俺のじゃなく記事の定理だよw
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 2.619s*