• Excel
  • 数式を記述
• Cynderella
  • 幾何制約を記述
• 論理回路