>>714
pが一様分布でないなら当たり外れで分けてもお手上げだよね。

> それを頭ごなしに否定しているように見える。
すべて否定というわけではないよ。完全ではないと言うだけ。
たとえば、次のような方式が考えられるよ。
pが0.5より大きいか小さいかだけが分かっているとする。
つまりpの一部の情報は確かに得られているが、完全に分かっている訳ではない。
そのとき、qとして
・pが0.5より小さいならそれまでの外れのqの平均が1/3より小さいなら0.5、大きいなら0.25
・pが0.5より大きいならそれまでの当たりのqの平均が2/3より大きいなら0.5、小さいなら0.75
と決める。
qはたった3つの値しか取らないが、当たり外れの平均・分散はpが一様分布と仮定したときの
当たり外れの平均・分散に近くなる。
# 適当な数値を選べば完全に一致するようにもできる。