- 624 名前：１３２人目の素数さん mailto:sage [2017/06/02(金) 13:10:36.48 ID:7mcaypyk.net]
- 時枝問題では実数の無限列 s∈R^N から、同値類 R^N/〜 の代表元
r∈R^N,s〜r を特定して取り出すことができるとされている。
その方法は定かではないが、それを認めれば、s-r∈R^N は途中からは
すべて0の実数列。確実に0である箱を開けないまま推定したいが
開けない箱は1つだけ残せばいいのだから、開けない箱を少しずつ
残しながらほとんど開けていったとき、途中から、開けた部分が
すべて0になっていれば開けてない部分も0である蓋然性が高いと
推定されるというだけのことでしょ。
