Backup diff of Basics vs current(No. 1)

• List of Backups
• View the diff.
• View the source.
• Go to Basics.
  • 1 (2011-12-20 (Tue) 10:11:31)

• The added line is THIS COLOR.
• The deleted line is THIS COLOR.

[[MenuBar]]

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