LMNtalのページ

記事

• JSSST2004発表資料（2004/08）
• SWoPP2004発表資料（2004/07）
• 言語モデルLMNtal - コンピュータソフトウェア解説論文（2004/03）

配布物

• Download LMNtal (Java版)
  • 開発主任兼監督をやっていました。

• LMNtal interpreter in Ruby, Version 0.21.20031217
  • 並行計算のシミュレーション用に -m オプションを仮に追加してみた。 従来の逐次実行方式にするには -m0 を使用すること。
    
  • バグ報告はメールで。 
  • 過去: (12/17)  (12/16)  (7/4)  (6/24)  (6/19)  (6/9) 
  • Windows版Rubyインストーラ

ローカルミーティング議事録の一部（日数経過により公開）

• LMNtal処理系の設計 方法4（最新版は“方法7”）
• モジュール機能（第1案）（2003/10/20 LMNtal班内部資料）
• インライン機能（2003/10/9 LMNtal班内部資料）
• 型付きプロセス文脈（2003/10/7 LMNtal班内部資料）
• 膜の種類（編集中）
• LMNtal処理系の設計 --- 方法3（2003/7/4 LMNtal班ゼミ）
• LMNtal処理系の設計 --- 方法2（2003/4/11 LMNtal班ゼミ）
• LMNtal 拡張言語仕様案（修正版10） 2003/6/18
• 2003/6/13 後半 議事録の改訂版

• 方法2（したがって2003/6/9Ruby版処理系）の既知の問題点
  膜の外側のX=Yが膜の内側の計算をactivateしない。
  →解決法:  XおよびYの先の膜を実行膜スタックに積む。
  2003/6/19版では修正済。

* ローカルページ（LMNtal班専用）

Home