現在の位置
diff プラグインを使用中
- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
- Go to トップページ.
- Deleting diff of トップページ
#author("2019-04-29T14:44:48+09:00","default:Uedalab","Uedalab") #author("2019-04-29T15:13:24+09:00","default:Uedalab","Uedalab") *LaViT [#o7e6b5eb] LaViT (LMNtal Visual Tools, formerly called LMNtalEditor) is a graphical integrated development environment of the concurrent programming and modeling language [[LMNtal>http://www.ueda.info.waseda.ac.jp/lmntal/]]. (LaViTは並行プログラミング言語[[LMNtal>http://www.ueda.info.waseda.ac.jp/lmntal/]]のグラフィカルな統合開発環境です。) 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/]]のグラフィカルな統合開発環境です。) LaViT allows you to write, run, and model-check LMNtal programs with a simple user interface, so it is an ideal environment for programming, understanding, and verifying programs. (1つのユーザインターフェースでプログラムを書きながら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処理系やモデル検査器を容易に操作することができるので、特別な知識がない人でも容易にプログラミングやシステム検証を行うことができます。) Further details are described in [[How to user LaViT>LaViTの使い方]] and [[Verification Examples>システム検証例]] (in Japanese). (詳しくは[[LaViTの使い方]]や[[システム検証例]]を見てください。) Further details can be found in [[How to user LaViT>LaViTの使い方]] and [[Verification Examples>システム検証例](both in Japanese). //(詳しくは[[LaViTの使い方]]や[[システム検証例]]を見てください。) CENTER:&ref(./top1.gif,373x199); *LMNtal [#l97fa8ea] LMNtal is a concurrent language model based on hierarchical graph rewriting. (LMNtalは階層グラフ書き換えに基づく並行言語モデルです。) 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は階層グラフ書き換えに基づく並行言語モデルです。) By manipulating hierarchical graph structures, one can concisely describe programs (or models) involving complex data structures and multiset rewriting. (階層グラフを動的に変化させることで複雑なデータ構造を操作するプログラムや多重集合書き換えを伴うプログラムを簡潔に記述することができます。) 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(結果は以下のようになります.) 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, savint it to a file, and pressing the SLIM button. (LaViTでこのプログラムを記述して SLIM ボタンを押すとこの結果をすぐに得ることができます。) 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の論文を参照して下さい。) //(LMNtalについて簡単な記述方法は[[LMNtalチュートリアル]]を見てください。 // 詳しい言語仕様についてはLMNtalの論文を参照して下さい。)