モデルチェッキングツールは、パズルの解を求めるのに使える 



「解はない」という条件式を与え、反例を得ると、それがパズルの解である。
by 酒匂寛、高橋孝一 

Posted: 金 - 9月 9, 2005 at 01:39 午後          

©