函館で開催されたFUN-AIというAI（人工知能）関係の研究会に参加。 最初の発表「パズルのためのプログラミング言語」で紹介された制約充足問題を各種プログラミング言語を用いて解く話が面白かったです。 数独の問題も制約条件をきちんと定義すればソルバで…