Backup diff of HydLa(J) (No. 2)

• List of Backups
• View the diff current.
• View the source.
• Go to HydLa(J).
  • 1 (2014-08-02 (Sat) 14:08:17)
  • 2 (2014-08-02 (Sat) 14:13:50)
  • 3 (2014-08-06 (Wed) 02:45:11)
  • 4 (2014-08-06 (Wed) 10:56:51)
  • 5 (2014-08-06 (Wed) 13:22:36)

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

[[HydLa]]プログラムに関して

* 意味 [#q4c9e22a]
- HydLaとは, .... を用いた...でもでるの簡潔な記述を可能とする
* 記法 [#u40c53dc]
- HydLaプログラムは, システム(モデル)を方程式を用いて表す(?) 
- 制約にかんして. . .
-- それぞれメタ記法を用いて
-- またプログラム呼び出し?関数呼び出し?
--- INIT(x,10) みたいなの
--- また集合記法も
-- 現在制約定義とその呼び出しは別
--- またプログラム呼び出し?関数呼び出し{INIT(x,10) みたいなの}
--- 優先順位にかんして. . .
--- また集合記法も
--- ASSERT文(モデル検査)
-- その後例題へのリンク?
>
- 跳ねる質点
- ビリヤード
- etc
<


* 意味 [#q4c9e22a]