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

単位円上の有理点のなす群と、の形に表せる素数 本記事では、単位円上の有理点のなす群を考察します。単位円上の有理点は、「ピタゴラスの三つ組」、つまり を充たすの全体の、定数倍を同一視した商集合に一対一対応しています。 まず、結構知られていること…