2006-08-07 本屋 日経サイエンスは「数独」目当てで買ったのですが、形式手法についての記事もありました。 http://www.nikkei-bookdirect.com/science/page/magazine/0609/software.html?PHPSESSID=ac185482bfaa5fd1c2b9d422fa927df6