現在の位置
backup プラグインを使用中
- List of Backups
- View the diff.
- View the source.
- View the backup.
- Go to トップページ.
- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
*LMNtalEditorとは [#g58c2049] #author("2019-04-29T15:13:24+09:00","default:Uedalab","Uedalab") *LaViT [#o7e6b5eb] LaViT (LMNtal Visual Tools, formerly called LMNtal Editor) is a graphical integrated development environment of the concurrent programming and modelling language [[LMNtal>http://www.ueda.info.waseda.ac.jp/lmntal/]]. //(LaViTは並行プログラミング言語[[LMNtal>http://www.ueda.info.waseda.ac.jp/lmntal/]]のグラフィカルな統合開発環境です。) LMNtalEditorはプログラミング言語[[LMNtal>http://www.ueda.info.waseda.ac.jp/lmntal/]]の統合開発環境です。~ 一つのユーザインターフェースでプログラムを書きながらLMNtal処理系やLMNtalモデル検査器を容易に操作することができます。また複雑な設定やインストールを必要しないため、特別な知識がない人でも容易にプログラミングや検証を行うことができます。 LaViT allows you to write, run, and model-check LMNtal programs with a simple user interface. In particular, State Viewer visualizes the state space of programs and offers an ideal environment for understanding the properties of programs with nondeterministic behavior. //(1つのユーザインターフェースでプログラムを書きながらLMNtal処理系やモデル検査器を容易に操作することができるので、特別な知識がない人でも容易にプログラミングやシステム検証を行うことができます。) *LMNtalとは [#a0666f26] Further details can be found in [[How to user LaViT>LaViTの使い方]] and [[Verification Examples>システム検証例](both in Japanese). //(詳しくは[[LaViTの使い方]]や[[システム検証例]]を見てください。) CENTER:&ref(./top1.gif,373x199); LMNtalは階層グラフ書き換えに基づく並行言語モデルです。~ 階層グラフを動的に変化させることで複雑なデータ構造を操作するプログラムや多重集合書き換えを伴うプログラムを簡潔に記述することができます。 *LMNtal [#l97fa8ea] LMNtal is a concurrent language model based on the rewriting of hierarchical graphs composed of atoms, links (to represent connectivity), and membranes (to represent hierarchy). //(LMNtalは階層グラフ書き換えに基づく並行言語モデルです。) Manipulation of hierarchical graph structures allows you to describe programs (or models) involving complex data structures and multiset rewriting concisely. //(階層グラフを動的に変化させることで複雑なデータ構造を操作するプログラムや多重集合書き換えを伴うプログラムを簡潔に記述することができます。) For example, a list sorting program can be written as follows: //(例えばリストのソートは以下のように書くことができます。) r([3,2,4,1]). L=[X,Y|H] :- X>Y | L=[Y,X|H]. and the result is as follows: //(結果は以下のようになります.) r([1,2,3,4]), @601 The above result can be obtained by pasting the above program into LaViT, saving it to a file, and pressing the SLIM button. //(LaViTでこのプログラムを記述して SLIM ボタンを押すとこの結果をすぐに得ることができます。) CENTER:&ref(./top2.gif,370x199); A simple tutorial of LMNtal can be found [[here>LMNtalチュートリアル]].Further details can be found in the LMNtal webpage and publications. //(LMNtalについて簡単な記述方法は[[LMNtalチュートリアル]]を見てください。 // 詳しい言語仕様についてはLMNtalの論文を参照して下さい。)