制約プログラミング
#プログラミング
https://ja.wikipedia.org/wiki/制約プログラミング
数学の定義、公理、定理、命題
形式手法