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

単位円上の有理点のなす群と、p=a^2+b^2の形に表せる素数 本記事では、単位円上の有理点のなす群\rm SO(\mathbb Q)を考察します。単位円上の有理点は、「ピタゴラスの三つ組」、つまり a^2+b^2=c^2 を充たす(a,b,c) \in \mathbb Z^3の全体の、定数倍を同一視…