Diff of Basics

• The added line is THIS COLOR.
• The deleted line is THIS COLOR.
• Go to Basics.
• Deleting diff of Basics

[[MenuBar]]

- HydLaプログラムは，目的とする系を構成する変数値が満たすべき制約の形で記述される
- HydLaプログラムの意味とは，プログラムに書かれた仕様を満たすような変数値の軌道である