熱浴法で更新する場合の、イジング模型と呼ばれる\{-1,+1\}^Nを定義域とする多項式函数の最小に近い解を求めるための、有名な古典アルゴリズムである模擬焼き鈍し法の説明およびその収束定理（Geman-Geman）を、原論文を和訳し、さらに証明もコンパクトなも…