“def”可以读作“定义”、“被定义”或“被定义为”。

例如，参见 Wikipedia，在本节的最后一句（就在标有“科学”的小节之前）：

https://en.wikipedia.org/wiki/Triple_bar#Mathematics_and_philosophy

其中说（第一句指的是三重杠符号，但第二句谈论的是你问的问题）：

该符号有时也用于代替等号，用于定义等式左侧符号的等式，以将它们与等式两边的项已定义的等式进行对比。 [13] 这种用法的另一种表示法是在普通等号上方排版字母“def”。 [14]

我认为的实际定义$\sigma^2_n$和$\mu_n$遵循 19 和 24 中的等式 17。

看$(19)$就在你引用的部分下面，它定义了$\sigma^2_n$通过$\frac{1}{\sigma^2_n}=\frac{1}{\sigma^2_0}+\frac{n}{\sigma^2}$.

但是（19）不是通过匹配（16）和（17）的系数得出的吗？

本质上，是的——但墨菲有点本末倒置。他的意思是“我知道它会是什么样子，所以这就是其中的方差和均值项必须是什么”。如果你做了很多这些事情，那是有道理的。实际上，直接推导出它并不难，即使术语可能因一个问题而异，但解决方案的结构具有相同的形式。]

(17) 明确指出它是定义，但实际上这就是术语匹配和符号定义发生的地方$\sigma^2_n$然后在 (18) 和 (19) 中明确表示并且$\mu_n$在以下等式中（下至（24））。我把 (19) 和 (24) 视为 (17) 中引入的新符号的定义。

（17）是说“当我们完成平方时，我们收集代表后验方差的项并将其称为$\sigma^2_n$“。（18）和（19）然后简单地通过对（16）的简单检查明确说明这些术语是什么（即定义它们）。

更直接地概述推导：在（16）处，收集了$\mu^2$,$\mu$和$\mu^0$, 你在指数中有一些形式的东西$-\frac12(A\mu^2-2B\mu + C)$，此时您可以将其写为$-\frac12 A[(\mu-B/A)^2] -\frac12[C-B^2/A]$通过检查，其中（忽略当前末尾的常数）是具有均值的正态分布$B/A$和方差$1/A$. 这种操作被称为“完成正方形”（以较小的步骤写出来以详细了解会发生什么）。他只是打电话给$B/A$（即后验均值）项“$\mu_n$“和$1/A$（后方差）项“$\sigma^2_n$“为了让符号写下来，而不是每次都写公式——然后根据什么写出这意味着什么$B/A$和$1/A$包括在原始设置中。