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