ベイズ推定
Formal description of Bayesian inference.