条件付き確率

def.

$ P(A \mid B) = \frac{P(A∩B)}{P(B)}

性質

$ P(A∩B) = P(A \mid B) \cdot P(B) = P(B \mid A) \cdot P(A)

ref.