制約の設定
Constraint programming
表計算ソフト
Spreadsheets
数式を記述
Formula definitions
Cynderella
幾何制約を記述
Define geometric constraints
論理回路
Logic circuits