Bayes' theorem
ここで formula_12 は formula_2 の密度関数、formula_18 は formula_12 の定義域である。これはベイズの定理の直接的な応用である。