制約の設定
表計算ソフト
数式を記述
Cynderella
幾何制約を記述
論理回路