ほとんどのPACベイズ解析は、その証明の根幹にDonsker-Varadhan's variational formulaというものを用いる 任意の確率分布と可測関数*1に対して以下が成り立つ: ただし、は上の確率分布全ての集合を表す よって特に、上式の両辺を指数の肩に乗せることで が…