あとやっぱり、確率論をやるなら開けた箱の情報をσ-algにしてちゃんと定式化したいよね