KATO Norio 加藤紀夫

Researcher Number	40350467
Other IDs
Affiliation (based on the past Project Information) *help	2006: National Institute of Advanced Industrial Science and Technology, Research Center for Verification and Semantics, Researcher 2005 – 2006: 産業技術総合研究所, システム検証研究センター, 研究員 2004: 早稲田大学, 理工学術院, 助手
Review Section/Research Field	Except Principal Investigator Software
Keywords	Except Principal Investigator LMNtal / Optimization / Language Implementation / Concurrency / Graph Rewriting / Programming Languages / 多重集合書換え / 分散計算 / コンパイラ / プログラム言語 … More / 最適化 / 言語処理系 / 並行計算 / グラフ書換え / プログラミング言語 Less

Putting Scalable and Unifying Programming Language Model LMNtal into Practical Use
- Principal Investigator
  
  UEDA Kazunori
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Waseda University

All 2008 2007 2006 2005 2004

All Journal Article Presentation

[Journal Article] 階層グラフ書換え言語LMNtalの処理系2008
- Author(s)
  村山敬, 工藤晋太郎, 櫻井健, 水野謙, 加藤紀夫, 上田和紀
- Journal Title
  
  コンピュータソフトウェア 25-2
  
  Pages: 47-77
- NAID
  130004549109
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300009
[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
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] 階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal2008
- Author(s)
  乾敦行, 工藤晋太郎, 原耕司, 水野謙, 加藤紀夫, 上田和紀
- Journal Title
  
  コンピュータソフトウェア 25-1
  
  Pages: 124-150
- NAID
  130004549094
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300009
[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
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] 階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal2007
- Author(s)
  乾敦行, 工藤晋太郎, 原耕司, 水野謙, 加藤紀夫, 上田和紀
- Journal Title
  
  コンピューターソフトウェア Vol.24(accepted for publication)
- NAID
  130004549094
- Data Source
  KAKENHI-PROJECT-16300009
[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
- Data Source
  KAKENHI-PROJECT-16300009
[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
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] LMNtal処理系におけるグラフ構造の操作機能の設計と実装2005
- Author(s)
  工藤晋太郎, 加藤紀夫, 上田和紀
- Journal Title
  
  第4回情報科学技術フォーラム(FIT2005)情報科学技術レターズ
  
  Pages: 9-12
- Data Source
  KAKENHI-PROJECT-16300009
[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
- Data Source
  KAKENHI-PROJECT-16300009
[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
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化2005
- Author(s)
  櫻井健, 加藤紀夫, 水野謙, 上田和紀
- Journal Title
  
  第4回情報科学技術フォーラム(FIT2005) 第一分冊
  
  Pages: 33-36
- Data Source
  KAKENHI-PROJECT-16300009
[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
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] LMNtal処理系におけるグラフ構造の操作機能の設計と実装2005
- Author(s)
  工藤晋太郎, 加藤紀夫, 上田和紀
- Journal Title
  
  情報科学技術レターズ 4
  
  Pages: 9-12
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300009
[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
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] 階層グラフ書換え言語LMNtal処理系における非同期実行の実現2005
- Author(s)
  水野謙, 加藤紀夫, 原耕司, 上田和紀
- Journal Title
  
  日本ソフトウエア科学会第22回大会講演論文集
- NAID
  130004638866
- Data Source
  KAKENHI-PROJECT-16300009
[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
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] LMNtalを用いた分散処理の実現2005
- Author(s)
  中島求, 加藤紀夫, 水野謙, 上田和紀
- Journal Title
  
  第8回プログラミングおよび応用のシステムに関するワークショップ(SPA 2005)
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] LMNtal分散処理系の設計と実装2004
- Author(s)
  中島求, 加藤紀夫, 水野謙, 上田和紀
- Journal Title
  
  日本ソフトウェア科学会第21回大会論文集
  
  Pages: 149-153
- NAID
  130005006593
- Data Source
  KAKENHI-PROJECT-16300009
[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
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] 言語モデルLMNtalの操作的意味論の設計2004
- Author(s)
  加藤紀夫, 水野謙, 上田和紀
- Journal Title
  
  日本ソフトウェア科学会第21回大会論文集
  
  Pages: 159-163
- NAID
  130005006595
- Data Source
  KAKENHI-PROJECT-16300009
[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
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[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
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[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
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[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
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] 階層グラフ書き換えによるプロトコル検証2005
- Author(s)
  圷弘明, 加藤紀夫, 上田和紀
- Organizer
  第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)
- Place of Presentation
  群馬県水上町
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] LMNtalを用いた分散処理の実現2005
- Author(s)
  中島求, 加藤紀夫, 水野謙, 上田和紀
- Organizer
  第8回プログラミングおよび応用のシステムに関するワークショップ(SPA 2005)
- Place of Presentation
  渋川市
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] 小規模制御系向けLMNtal処理系の設計と実装2005
- Author(s)
  矢島伸吾, 加藤紀夫, 上田和紀
- Organizer
  第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)
- Place of Presentation
  群馬県水上町
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] 階層グラフ書換え言語LMNtal処理系における非同期実行の実現2005
- Author(s)
  水野謙, 加藤紀夫, 原耕司, 上田和紀
- Organizer
  日本ソフトウェア科学会第22回大会
- Place of Presentation
  仙台市
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化2005
- Author(s)
  櫻井健, 加藤紀夫, 水野謙, 上田和紀
- Organizer
  第4回情報科学技術フォーラム(FIT2005)
- Place of Presentation
  文京区
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] 階層グラフ書換え言語における並行プロセスの型推論2004
- Author(s)
  加藤紀夫, 上田和紀
- Organizer
  情報処理学会第50回プログラミング研究会
- Place of Presentation
  青森市
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[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
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] 言語モデルLMNtalの操作的意味論の設計2004
- Author(s)
  加藤紀夫, 水野謙, 上田和紀
- Organizer
  日本ソフトウェア科学会第21回大会
- Place of Presentation
  目黒区
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[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
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] LMNtal処理系および他言語インタフェースの設計と実装2004
- Author(s)
  原耕司, 水野謙, 矢島伸吾, 永田貴彦, 中島求, 加藤紀夫, 上田和紀
- Organizer
  情報処理学会第50回プログラミング研究会
- Place of Presentation
  青森市
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] LMNtal分散処理系の設計と実装2004
- Author(s)
  中島求, 加藤紀夫, 水野謙, 上田和紀
- Organizer
  日本ソフトウェア科学会第21回大会
- Place of Presentation
  目黒区
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009

1. UEDA Kazunori (10257206)

# of Collaborated Projects: 1 results

# of Collaborated Products: 35 results

KATO Norio 加藤 紀夫

Research Projects

Research Products

Co-Researchers

Putting Scalable and Unifying Programming Language Model LMNtal into Practical Use

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] 階層グラフ書換え言語LMNtalの処理系2008

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] LMNtal : The Unifying Programming Language Based on Hierarchical Graph Rewriting2008

Author(s)

Journal Title

NAID

Description

Data Source

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

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] LMNtal : The Unifying Programming Language Based on Hierarchical Implementation of the Hierarchical Graph Rewriting Language LMNtal2008

Author(s)

Journal Title

Description

Data Source

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

Author(s)

Journal Title

NAID

Data Source

[Journal Article] LMNtal as a Unifying Declarative Language : Live Demonstration2006

Author(s)

Journal Title

Data Source

[Journal Article] LMNtal as a Unifying Declarative Language2006

Author(s)

Journal Title

Data Source

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

Author(s)

Journal Title

Data Source

[Journal Article] LMNtal : a Language Model with Links and Membranes2005

Author(s)

Journal Title

Data Source

[Journal Article] LMNtal : a Language Model with Links and Membranes2005

Author(s)

Journal Title

Data Source

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

Author(s)

Journal Title

Data Source

[Journal Article] a Language Model with Links and Memranes2005

Author(s)

Journal Title

Description

Data Source

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

Author(s)

Journal Title

Description

Data Source

[Journal Article] Design and Implementation of Operation Constructs of Graph Structures in the LMNtal System2005

Author(s)

Journal Title

Description

Data Source

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

Author(s)

Journal Title

KATO Norio 加藤紀夫