言語モデルLMNtalの操作的意味論の設計 Designing the semantics of LMNtal

Access this Article

Author(s)

    • 加藤 紀夫 Kato Norio
    • 早稲田大学理工学部コンピュータ・ネットワーク工学科 Dept. of Computer Science, Waseda University
    • 水野 謙 Mizuno Ken
    • 早稲田大学大学院情報・ネットワーク専攻 Dept. of Computer Science, Waseda University
    • 上田 和紀 Ueda Kazuori
    • 早稲田大学理工学部コンピュータ・ネットワーク工学科 Dept. of Computer Science, Waseda University

Abstract

LMNtalは無方向リンクと膜機能を特徴とする並行言語モデルであるが、諸機能の相互作用を考慮した操作的意味論の設計は、多くの議論と多角的検討を要する作業であった。本発表ではLMNtalの最新機能を紹介するとともに、意味論の設計過程で直面したいくつかの問題点について考察する。

LMNtal is a concurrent language model that features undirected links and membranes. The design of its operational semantics that takes the interaction between several features into account required lots of discussions and many-sided investigations. In this presentation, we introduce some latest features of LMNtal and discuss several issues we faced in designing the semantics.

Journal

  • Conference Proceedings of Japan Society for Software Science and Technology

    Conference Proceedings of Japan Society for Software Science and Technology 21(0), 35-35, 2004

    Japan Society for Software Science and Technology

Codes

Page Top