基礎空間Ωとその部分集合のσ代数Βを与えた時に、関数f:Ω->RがΒ可測とは任意のa∈Rに対して{f>a}∈Βとなることである
時枝戦略を可測にするのは無理芸じゃね