そもそもどうやって制約を作るかと、どうやってテストを作るか?

• テストの狙い
  • 一般化のプロセス。
  • まず、個々の例についてテストを作成する。
  • 例を満たす一般化された解を見つけ出す。
• 図形制約に求められるもの。
  • 最小の制約要素で多くのものを表現する。
  • コンパスと定規に匹敵するもの。
• 例
  • 比例
  • 面積
  • メカニカル
  • 数列
  • 飛び出す絵本