>>683
多分、君は論理プログラミングとか制約プログラミングについて理解してないんだろう。