アニーリングは社会において現実的な問題を解くために広く利用されることが期待されるが,そのためには問題を最適化問題の形に変形する等の専門的な操作を要する.本研究では,問題の制約を直接記述することのできるプログラミング言語及びこれを実行し得られた結果を検証する機能をもつ処理系を開発する.これによりアニーリングマシン上でのアプリケーション開発のための敷居が下がることが期待される.本研究は独立行政法人情報処理推進機構 未踏ターゲット事業に係る委託業務として実施するものである.