本文从泛函和变分法的介绍出发，引出两种变分推断算法来解决贝叶斯模型中后验概率难以计算的问题，包括详细的公式推导。