術語の確率

Ex. 棄却法とその証明

Neumann's Acceptance-Rejection method
step1. 
step2. 
step3. if  else return step1.

proof.
calc     ←ここ
...

Question. 
 とは何か？
術語を関数

と表現して、これを確率変数X,Yに置き換えて得られる確率変数Qの確率

を計算することに等しい。
X,Yの独立性

に注意して、

であるから、結局

もっと簡単な例

let predicate function

then calc