19/01/05 15:41:53.43 kRxB+B+U.net
>>203
つづき
これで分ることは、
・（命題１）箱が有限個mのモデル（>>129ご参照）では、同値類は最後の箱の一致で決定される
・（命題２）同値類で、数列と代表との組み合わせを考えると、q^(2m-1)通りになる
など(詳しくは後述)
ということです
つづく
19/01/05 15:41:53.43 kRxB+B+U.net
>>203
つづき
これで分ることは、
・（命題１）箱が有限個mのモデル（>>129ご参照）では、同値類は最後の箱の一致で決定される
・（命題２）同値類で、数列と代表との組み合わせを考えると、q^(2m-1)通りになる
など(詳しくは後述)
ということです
つづく