箱の中身を確率変数にせずにまともな定式化はできないやろ