• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Putting Scalable and Unifying Programming Language Model LMNtal into Practical Use

Research Project

Project/Area Number 16300009
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Software
Research InstitutionWaseda University

Principal Investigator

UEDA Kazunori  Waseda University, Faculty of Science and Engineering, Professor (10257206)

Co-Investigator(Kenkyū-buntansha) KATO Norio  National Institute of Advanced Industrial Science and Technology, Research Center for Verification and Semantics, Researcher (40350467)
Project Period (FY) 2004 – 2006
Project Status Completed (Fiscal Year 2006)
Budget Amount *help
¥8,300,000 (Direct Cost: ¥8,300,000)
Fiscal Year 2006: ¥2,300,000 (Direct Cost: ¥2,300,000)
Fiscal Year 2005: ¥3,500,000 (Direct Cost: ¥3,500,000)
Fiscal Year 2004: ¥2,500,000 (Direct Cost: ¥2,500,000)
KeywordsLMNtal / Programming Languages / Graph Rewriting / Concurrency / Language Implementation / Optimization / プログラム言語 / コンパイラ / 分散計算 / 多重集合書換え
Research Abstract

LMNtal is a language model developed by the grantees to unify various computational models featuring multiset rewriting, concurrency and mobility in a concise setting. The purpose of the project has been to grow LMNtal from a hierarchical graph rewriting model to a practical programming language by designing necessary language constructs, establishing implementation techniques, building a full-fledged LMNtal system, and making it widely available.
The main results of the project are as follows :
(a) Establishing LMNtal as a programming language-we have studied and designed how to incorporate basic datatypes and operations, a module system, and foreign-language interface into hierarchical graph rewriting, and built a diverse range of libraries using them.
(b) Establishing implementation techniques and building a full-fledged system-we have built a compiler from LMNtal into dedicated intermediate code and a runtime system that runs the intermediate code. In particular, we have designed and implemented asynchronous execution scheme that uses multiple tasks, an optimizer for individual tasks, and a translator from intermediate code into Java. We have also designed and implemented a visualizer featuring automatic graph drawing.
(c) Verifying the expressive power-in order to see if LMNtal is powerful enough to express fundamental concepts in computation, we have encoded diverse computational models including the pi-calculus, the ambient calculus, the lambda calculus and CHR(Constraint Handling Rules), and ran them on our LMNtal system.
The LMNtal system we have developed consists of about 50,000 lines of code, and is available via http://www.ueda.info.waseda.ac.jp/lmtal/.

Report

(4 results)
  • 2006 Annual Research Report   Final Research Report Summary
  • 2005 Annual Research Report
  • 2004 Annual Research Report
  • Research Products

    (63 results)

All 2008 2007 2006 2005 2004 2000 Other

All Journal Article (34 results) (of which Peer Reviewed: 6 results) Presentation (28 results) Remarks (1 results)

  • [Journal Article] 階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal2008

    • Author(s)
      乾敦 行, 工藤 晋太郎, 原耕 司, 水野 謙, 加藤 紀夫, 上田 和紀
    • Journal Title

      コンピュータソフトウェア 25-1

      Pages: 124-150

    • NAID

      130004549094

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
    • Peer Reviewed
  • [Journal Article] 階層グラフ書換え言語LMNtalの処理系2008

    • Author(s)
      村山 敬, 工藤 晋太郎, 櫻井 健, 水野 謙, 加藤 紀夫, 上田 和紀
    • Journal Title

      コンピュータソフトウェア 25-2

      Pages: 47-77

    • NAID

      130004549109

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
    • Peer Reviewed
  • [Journal Article] Encoding Distributed Process Calculi into LMNtal2008

    • Author(s)
      Ueda, K.
    • Journal Title

      Electronic Notes in Theoretical Computer Science 209

      Pages: 187-200

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
    • Peer Reviewed
  • [Journal Article] LMNtal : The Unifying Programming Language Based on Hierarchical Graph Rewriting2008

    • Author(s)
      Inui, A., Kudo, S., Hara, K., Mizuno, K., Kato, N., Ueda, K.
    • Journal Title

      Computer Software Vol.25, No.1(in Japanese)

      Pages: 124-150

    • NAID

      130004549094

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] LMNtal : The Unifying Programming Language Based on Hierarchical Implementation of the Hierarchical Graph Rewriting Language LMNtal2008

    • Author(s)
      Murayama, K., Kudo, S., Sakurai, K., Mizuno, K., Kato, N., Ueda, K.
    • Journal Title

      Computer Software Vol.25, No.2(in Japanese)

      Pages: 47-77

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Encoding Distributed Process Calculi into LMNtaI2008

    • Author(s)
      Ueda K.
    • Journal Title

      Electronic Notes in Theoretical Computer Science Vol.209

      Pages: 187-200

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] 純粋λ計算の階層グラフ書換えへのエンコーディング2007

    • Author(s)
      上田和紀
    • Journal Title

      第9回プログラミングおよびプログラミング言語ワークショップ(PPL2007)

      Pages: 221-232

    • Related Report
      2006 Annual Research Report
  • [Journal Article] 階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal2007

    • Author(s)
      乾敦行, 工藤晋太郎, 原耕司, 水野謙, 加藤紀夫, 上田和紀
    • Journal Title

      コンピューターソフトウェア Vol.24(accepted for publication)

    • NAID

      130004549094

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Logic Programming and Concurrency:a Personal Perspective2006

    • Author(s)
      Ueda, K.
    • Journal Title

      The ALP News Letter(on line) 19-2

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Constraint-Based Concurrency and Beyond2006

    • Author(s)
      Ueda, K.
    • Journal Title

      Electronic Notes in Theoretical Computer Science 162

      Pages: 227-231

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
    • Peer Reviewed
  • [Journal Article] Logic Programming and Concurrency : a Personal Perspective2006

    • Author(s)
      Ueda, K
    • Journal Title

      The ALP NewsLetter(available online) Vol.19, No.2

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Constraint-Based Concurrency and Beyond2006

    • Author(s)
      Ueda, K
    • Journal Title

      Electronic Notes in Theoretical Computer Science Vol.162

      Pages: 227-231

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Constratint-Based Concurrency and Beyond2006

    • Author(s)
      Kazunori Ueda
    • Journal Title

      Electronic Notes in Theoretical Computer Science Vol. 162

      Pages: 327-331

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Logic Programming and Concurrency : a Personal Perspective2006

    • Author(s)
      Kazunori Ueda
    • Journal Title

      The ALP Newsletter Vol. 19, NO. 2

    • Related Report
      2006 Annual Research Report
  • [Journal Article] LMNtal as a Unifying Declarative Language2006

    • Author(s)
      kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno
    • Journal Title

      Proc. Third Workshop on Constraint Handing Rules (CHR2006)

      Pages: 1-15

    • Related Report
      2006 Annual Research Report
  • [Journal Article] LMNtal as a Unifying Declarative Language : Live Demonstration2006

    • Author(s)
      kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno azunori
    • Journal Title

      Proc. 22nd Int. Conf. on Logic Programming (ICLP'06) LNCS 4079

      Pages: 457-458

    • Related Report
      2006 Annual Research Report
  • [Journal Article] 分散プロセス計算のLMNtalへのエンコーディング2006

    • Author(s)
      上田和紀
    • Journal Title

      日本ソフトウェア科学会第23回大会論文集

    • Related Report
      2006 Annual Research Report
  • [Journal Article] LMNtal:a Language Model with Links and Membranes2005

    • Author(s)
      Ueda, K. and Kato, N
    • Journal Title

      Lecture Notes in Computer Science 3365

      Pages: 110-125

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
    • Peer Reviewed
  • [Journal Article] LMNtal処理系におけるグラフ構造の操作機能の設計と実装2005

    • Author(s)
      工藤 晋太郎, 加藤 紀夫, 上田 和紀
    • Journal Title

      情報科学技術レターズ 4

      Pages: 9-12

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
    • Peer Reviewed
  • [Journal Article] a Language Model with Links and Memranes2005

    • Author(s)
      Ueda, K, Kato, N. LMNtal
    • Journal Title

      Lecture Notes in Computer Science Vol.3365

      Pages: 110-125

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Design and Implementation of Operation Constructs of Graph Structures in the LMNtal System2005

    • Author(s)
      Kudo, S. Kato, N., Ueda, K.
    • Journal Title

      Information Technology Letters Vol.4

      Pages: 9-12

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] LMNtal : a Language Model with Links and Membranes2005

    • Author(s)
      Kazunori Ueda, Norio Kato
    • Journal Title

      Proc. Fifth Workshop on Membrane Computing, Lecture Notes in Computer Science 3365

      Pages: 110-125

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Constraint-Based Concurrency and Beyond2005

    • Author(s)
      Kazunori Ueda
    • Journal Title

      Proc. Workshop on Algebraic Process Calculi, The First Twenty Years, BRICS Notes Series(PA'05), Aceto, L. and Gordon, A.D.(eds.) NS-05-3

      Pages: 227-230

    • Related Report
      2005 Annual Research Report
  • [Journal Article] LMNtal処理系におけるグラフ構造の操作機能の設計と実装2005

    • Author(s)
      工藤晋太郎, 加藤紀夫, 上田和紀
    • Journal Title

      第4回情報科学技術フォーラム(FIT2005)情報科学技術レターズ

      Pages: 9-12

    • Related Report
      2005 Annual Research Report
  • [Journal Article] LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化2005

    • Author(s)
      櫻井健, 加藤紀夫, 水野謙, 上田和紀
    • Journal Title

      第4回情報科学技術フォーラム(FIT2005) 第一分冊

      Pages: 33-36

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 階層グラフ書換え言語LMNtal処理系における非同期実行の実現2005

    • Author(s)
      水野謙, 加藤紀夫, 原耕司, 上田和紀
    • Journal Title

      日本ソフトウエア科学会第22回大会講演論文集

    • NAID

      130004638866

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 階層グラフ書き換え言語LMNtal処理系とその応用例2005

    • Author(s)
      乾敦行, 原耕司, 水野謙, 上田和紀
    • Journal Title

      第8回プログラミングおよびプログラミング言語ワークショップ論文集

      Pages: 120-133

    • Related Report
      2005 Annual Research Report
  • [Journal Article] プログラムと対称性2005

    • Author(s)
      上田和紀
    • Journal Title

      夏のプログラミングシンポジウム「アッと驚くプログラミング」報告集

      Pages: 69-74

    • Related Report
      2004 Annual Research Report
  • [Journal Article] LMNtal : a Language Model with Links and Membranes2005

    • Author(s)
      Kazunori Ueda, Norio Kato
    • Journal Title

      Proc.Fifth Workshop on Membrane Computing, Lecture Notes in Computer Science 3365

    • Related Report
      2004 Annual Research Report
  • [Journal Article] LMNtalを用いた分散処理の実現2005

    • Author(s)
      中島 求, 加藤 紀夫, 水野 謙, 上田 和紀
    • Journal Title

      第8回 プログラミングおよび応用のシステムに関するワークショップ(SPA 2005)

    • Related Report
      2004 Annual Research Report
  • [Journal Article] LMNtal : a language model with links and membranes2004

    • Author(s)
      Kazunori Ueda, Norio Kato
    • Journal Title

      Proc.Fifth Workshop on Membrane Computing

      Pages: 65-79

    • Related Report
      2004 Annual Research Report
  • [Journal Article] 言語モデルLMNtalの操作的意味論の設計2004

    • Author(s)
      加藤紀夫, 水野謙, 上田和紀
    • Journal Title

      日本ソフトウェア科学会第21回大会論文集

      Pages: 159-163

    • NAID

      130005006595

    • Related Report
      2004 Annual Research Report
  • [Journal Article] LMNtal分散処理系の設計と実装2004

    • Author(s)
      中島求, 加藤紀夫, 水野謙, 上田和紀
    • Journal Title

      日本ソフトウェア科学会第21回大会論文集

      Pages: 149-153

    • NAID

      130005006593

    • Related Report
      2004 Annual Research Report
  • [Journal Article] 後継関数を持つリスト型非線形再帰プログラムに対する再帰除去法2000

    • Author(s)
      市川祐輔, 上田和紀
    • Journal Title

      情報科学技術レターズ Vol.6

    • Related Report
      2006 Annual Research Report
  • [Presentation] 純粋λ計算の階層グラフ書換えへのエンコーディング2007

    • Author(s)
      上田 和紀
    • Organizer
      第9回プログラミングおよびプログラミング言語ワークショップ(PPL2007)
    • Place of Presentation
      加賀市
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] 階層グラフ可視化ツール"UNYO-UNYO"(うにょうにょ)の設計と実装2007

    • Author(s)
      中野 敦, 上田 和紀
    • Organizer
      第9回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      加賀市
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting2007

    • Author(s)
      Ueda, K.
    • Organizer
      Ninth Workshop on Programming and Programming Languages (PPL2007)
    • Place of Presentation
      Kaga, Japan
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] 階層グラフ書き換え言語LMNtal処理系とその応用例2006

    • Author(s)
      乾敦 行, 原 耕司, 水野 謙, 上田 和紀
    • Organizer
      第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)
    • Place of Presentation
      大津市
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] 0CamlによるLMNtal実行時処理系0CaMNtalの実装2006

    • Author(s)
      工藤 晋太郎, 乾敦 行, 櫻井 健, 上田 和紀
    • Organizer
      第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)
    • Place of Presentation
      大津市
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] 非決定的LMNtalとその検証への応用2006

    • Author(s)
      水野 謙, 上田 和紀
    • Organizer
      第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)
    • Place of Presentation
      大津市
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] LMNtal as a Unifying Declarative Language2006

    • Author(s)
      Ueda, K., Kato, N., Hara, K. and Mizuno, K.
    • Organizer
      Third workshop on Constraint Handling Rules(CHR 2006)
    • Place of Presentation
      Venezia,Italy
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] LMNtal as a Unifying Declarative Language: Live Demonstration2006

    • Author(s)
      Ueda, K., Kato, N., Hara, K. and Mizuno, K.
    • Organizer
      22nd Int. Conf.on Logic Programming (ICLP'06)
    • Place of Presentation
      Seattle,USA
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] 分散プロセス計算のLMNtalへのエンコーディング2006

    • Author(s)
      上田 和紀
    • Organizer
      日本ソフトウェア科学会第23回大会
    • Place of Presentation
      文京区
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] Hierarchical graph rewriting as a unifying model of concurrency2006

    • Author(s)
      Ueda, K.
    • Organizer
      LIX Colloquium on Emerging Trends in Concurrency Theory
    • Place of Presentation
      Paris,France
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] LMNtal as a Unifying Declarative Language2006

    • Author(s)
      Ueda, K., Kato, N., Hara, K., Mizuno, K.
    • Organizer
      Third workshop on Constraint Handling Rules(CHR 2006)
    • Place of Presentation
      Venezia, Italy
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] LMNtal as a Unifying Declarative Language : Live Demonstration2006

    • Author(s)
      Ueda, K., Kato, N., Hara, K., Mizuno, K.
    • Organizer
      22nd Int. Conf. on Logic Programming(ICLP'06)
    • Place of Presentation
      Seattle, USA
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] Hierarchical Graph Rewriting as a Unifying Model of Concurrency2006

    • Author(s)
      Ueda, K.
    • Organizer
      LIX Colloquium on Emerging Trends in Concurrency Theory
    • Place of Presentation
      Paris, France
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] LMNtalを用いた分散処理の実現2005

    • Author(s)
      中島 求, 加藤 紀夫, 水野 謙, 上田 和紀
    • Organizer
      第8回プログラミングおよび応用のシステムに関するワークショップ(SPA 2005)
    • Place of Presentation
      渋川市
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] 階層グラフ書き換えによるプロトコル検証2005

    • Author(s)
      圷弘 明, 加藤 紀夫, 上田 和紀
    • Organizer
      第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)
    • Place of Presentation
      群馬県水上町
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] 小規模制御系向けLMNtal処理系の設計と実装2005

    • Author(s)
      矢島 伸吾, 加藤 紀夫, 上田 和紀
    • Organizer
      第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)
    • Place of Presentation
      群馬県水上町
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] Constraint-Based Concurrency and Beyond2005

    • Author(s)
      Ueda, K.
    • Organizer
      Workshop on Algebraic Process Calculi, The First Twenty Years(PA'05)
    • Place of Presentation
      Bertinolo,Italy
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] プログラムと対称性2005

    • Author(s)
      上田 和紀
    • Organizer
      夏のプログラミングシンポジウム「アッと驚くプログラミング」, 情報処理学会
    • Place of Presentation
      函館市
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化2005

    • Author(s)
      櫻井 健, 加藤 紀夫, 水野 謙, 上田 和紀
    • Organizer
      第4回情報科学技術フォーラム(FIT2005)
    • Place of Presentation
      文京区
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] 階層グラフ書換え言語LMNtal処理系における非同期実行の実現2005

    • Author(s)
      水野 謙, 加藤 紀夫, 原 耕司, 上田 和紀
    • Organizer
      日本ソフトウェア科学会第22回大会
    • Place of Presentation
      仙台市
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] Constraint-Based Concurrency and Beyond2005

    • Author(s)
      Ueda, K
    • Organizer
      Workshop on Algebraic Process Calculi, The First Twenty Years(PA'05)
    • Place of Presentation
      Bertinolo, Italy
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] Programs and Symmetry2005

    • Author(s)
      Ueda, K.
    • Organizer
      The Summer Programming Symposium 2005, IPSJ
    • Place of Presentation
      Hakodate, Japan
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] LMNtal:a Language Model with Links and Membranes2004

    • Author(s)
      Ueda, K. and Kato, N.
    • Organizer
      Fifth Workshop on Membrane Computing
    • Place of Presentation
      Milano,Italy
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] 階層グラフ書換え言語における並行プロセスの型推論2004

    • Author(s)
      加藤 紀夫, 上田 和紀
    • Organizer
      情報処理学会第50回プログラミング研究会
    • Place of Presentation
      青森市
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] LMNtal処理系および他言語インタフェースの設計と実装2004

    • Author(s)
      原 耕司, 水野 謙, 矢島 伸吾, 永田 貴彦, 中島 求, 加藤 紀夫, 上田 和紀
    • Organizer
      情報処理学会第50回プログラミング研究会
    • Place of Presentation
      青森市
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] LMNtal分散処理系の設計と実装2004

    • Author(s)
      中島 求, 加藤 紀夫, 水野 謙, 上田 和紀
    • Organizer
      日本ソフトウェア科学会第21回大会
    • Place of Presentation
      目黒区
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] 言語モデルLMNtalの操作的意味論の設計2004

    • Author(s)
      加藤 紀夫, 水野 謙, 上田 和紀
    • Organizer
      日本ソフトウェア科学会第21回大会
    • Place of Presentation
      目黒区
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Presentation] a Language Model with Links and Membranes2004

    • Author(s)
      Ueda, K., Kato, N., LMNtal
    • Organizer
      Fifth Workshop on Membrane Computing
    • Place of Presentation
      Milano, Italy
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Remarks] 「研究成果報告書概要(和文)」より

    • URL

      http://www.ueda.info.waseda.ac.jp/lmntal/

    • Related Report
      2006 Final Research Report Summary

URL: 

Published: 2004-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi