5.4 后验分布计算