計算方法ではなく目標を示すだけでプログラムを作る―制約プログラミングとその応用に関する研究