現在の位置
backup プラグインを使用中
- List of Backups
- View the diff.
- View the diff current.
- View the backup.
- Go to トップページ.
*LMNtalEditorとは [#g58c2049] LMNtalEditorは並行プログラミング言語[[LMNtal>http://www.ueda.info.waseda.ac.jp/lmntal/]]のグラフィカルな統合開発環境です。~ 1つのユーザインターフェースでプログラムを書きながらLMNtal処理系やモデル検査器を容易に操作することができるので、特別な知識がない人でも容易にプログラミングやシステム検証を行うことができます。~ 詳しくは[[LMNtalEditorの使い方]]や[[システム検証例]]を見てください。 CENTER:&ref(./top1.gif,373x199); *LMNtalとは [#a0666f26] LMNtalは階層グラフ書き換えに基づく並行言語モデルです。~ 階層グラフを動的に変化させることで複雑なデータ構造を操作するプログラムや多重集合書き換えを伴うプログラムを簡潔に記述することができます。~ 例えばリストのソートは以下のように書くことができます。 r([3,2,4,1]). L=[X,Y|H] :- X>Y | L=[Y,X|H]. 結果は r([1,2,3,4]), @601 となります。 LMNtalEditorでこのプログラムを記述して「LMNtal(Java)」ボタンを押すとこの結果をすぐに得ることができます。 CENTER:&ref(./top2.gif,370x199); LMNtalについて簡単な記述方法は[[LMNtalチュートリアル]]を見てください。 (詳しい言語仕様についてはLMNtalの論文を参照して下さい。)