修士の頃に Geman & Geman のシミュレーテッドアニーリングの収束の話で盛り上がっていました。まだその頃には証明をフォローできるほどの知識はなかったですが、こういうことも証明できるんだということを知って興味がわきました。 電総研同期入所の秋山泰…