Working Group of Automata and Its Applications Research Report
応用オートマトン研究会 技術報告
CONTENTS
1999
99-001 K. Sugita and T.
Yaku, Hiform99 Reference Manual, Sept, WAAP Research Report 99-001, 1999
(Rev. Dec 23, 2002)
99-002 有田友和、杉田公生、松本亮、順位グラフ文法に
よるプログラム仕様書の定式化, WAAP Research Report WAAP-RR-99-002 , 38p,
（第４回グラフ書き換え系とその応用シンポジウム、１９９９．２）
99-003 有田友和、安達由洋、杉田公生、土田賢省、夜久竹夫、順位グラフ文法によるプ
ログラム仕様書の定式化, WAAP Research Report WAAP-RR-99-003, 1p
99-004 有田友和、杉田公生、松本亮、順位グラフ文法によるプログラム仕様書の定式化
WAAP Research Report 99-004、8p.
2000
00-001 T. Arita and K. Tomiyama, An
Attriute Precedence Graph Grammar and Tabular Forms, 6p.
00-002 有田友和・冨山聖宣、Attriute Graph Grammar
and Tabular Forms、２０００．１．３１、18p (プレゼン原稿）
00-003 有田友和、杉田公生、土田賢省、夜久竹夫、表形式のプログラム仕様書のための
グラフ文法、1p
00-004 有田友和、杉田公生、土田賢省、夜久竹夫、表形式のプログラム仕様書のため
のグラフ文法、28p (プレゼン原稿）
00-005 T. Arita, K. Tomiyama, T. Yaku, Y.
Miyadera, K. Sugita and K. Tsuchida, Syntactic Processing of Diagrams
by Graph Grammars, 7p.
00-006 T. Arita, K. Tomiyama, T. Yaku, Y.
Miyadera, K. Sugita and K. Tsuchida, Syntactic Processing of Diagrams
by Graph Grammars, 47p (Presentation Image).
00-007 T. Arita, K. Tomiyama, K. Sugita,
Y. Miyadera, K. Tsuchida and T. Yaku, Sntactic Processing of diagrama
by NCE Graph Grammars, 1p.
00-008 有田友和、冨山聖宣、夜久竹夫、宮寺庸造、杉田公生、土田賢省、
Sntactic Processing of diagrama by NCE Graph Grammars, 32p (日本語プレゼン
データ）
2001
01-001 K. Tomiyama, T. Arita, K. Tsuchida
and T. Yaku, Application of Attribute edNCE Graph Grammars to Syntactic
Editing of Tabular Forms, 4p.
01-002 K. Tomiyama, T. Arita, K. Tsuchida
and T. Yaku, Application of
Attribute edNCE Graph Grammars to Syntactic Editing of Tabular Forms,
54p (２００１冬のLAシンポジウム９ 日本語プレゼンデータ）
01-003, T. Arita, K. Sugita, K. Tsuchida
and T. Yaku, Syntactic Tabular Form Processing by Precedence Attribute
Graph Grammas, 6p.
01-004, T. Arita, K. Sugita, K. Tsuchida
and T. Yaku, Syntactic Tabular Form Processing by Precedence Attribute
Graph Grammas, 31p .(English Presentation Data)
01-005, K. Tomiyama, T. Arita, K.
Tsuchida and T. Yaku, 属性edNCEグラフ文法による表の構文的編集, 7p (English)
01-006, K. Tomiyama, T. Arita, K.
Tsuchida and T. Yaku, Syntactic Editing of Tabular Forms by Attribute
edNCE Graph Grammars, 53p (English Presentation Data)
01-007, S. Nakagawa, T. Arita, T. Yaku,
Y. Miyadera and K. Yaku, A Syntax Directed Environment for Tabular Form
Processing, 1p. （電子情報通信学会 ２００１年総合大会）。
01-008 S. Nakagawa, T. Arita, T. Yaku, Y.
Miyadera and K. Yaku, A Syntax
Directed Environment for Tabular Form Processing, 22p.
(Presentation Data)（電子情報通信学会 ２００１年総合大会, to appear in ICSE2001 Poster）。
01-009, T. Arita, K. Tomiyama, K. Tsuchida and T. Yaku, Application
Attribute NCE Graph Grammars to Syntactic Editing of Tabular Forms, 7p
(ENTCS).
01-010, . Arita, K. Tomiyama, K. Tsuchida
and T. Yaku, Application Attribute
NCE Graph Grammars to Syntactic Editing of Tabular Forms, 39p (Presentation
Data, .2nd GTVMT, 2001)
01-011, S. Nakagawa, T. Arita, K.
Tomiyama, T. Yaku, Y. Miyadera and K. Tsuchida, A Syntactic Directed
Environment for Tabular Form Designing, 4p.
01-012, S. Nakagawa, T. Arita, K.
Tomiyama, T. Yaku, Y. Miyadera and K.
Tsuchida, A Syntactic Directed Environment for Tabular Form Designing,
2p (Poster Data, 23rd ICSE, May 15-18, 2001, Toronto).
2002
02-001, Osamu Inoue, Kensei
Tsuchida, Shun-ichi Nakagawa, Tomokazu Arita and Takeo. Yaku, An XML
Viewer for Tabular Forms for Use with Mechanical Documentation, 6p.
02-002, Osamu Inoue, Kensei Tsuchida,
Shun-ichi Nakagawa, Tomokazu Arita and
Takeo. Yaku, An XML Viewer for Tabular Forms for Use with Mechanical
Documentation, 53p (Presentation Data, IASTED AI2002, Insbruck).
02-003, T. Arita, S. Nakagawa, K.
Tsuchida, T. Yaku, FXL : A Form Exchange Language of Modular
Forms for Program Specification Documents, 8p.
02-004, T. Arita, S. Nakagawa, K.
Tsuchida, T. Yaku, FXL : A Form Exchange
Language of Modular Forms for Program Specification Documents, 38p （日
本語プレゼンデータ、第５回プログラミングおよび応用のシステムに関するワークショップ SPA’０２）.
02-005, 有田友和、土田賢省、杉田公生、夜久竹夫、グラフ文法による図と表の定式
化、７ｐ、（通信学会kコンピュテーション研究会、２００２年３月）
02-006, 有田友和、土田賢省、杉田公生、夜久竹夫、グラフ文法による図と表の定式
化、４２ｐ、（プレゼンデータ、通信学会コンピュテーション研究会、２００２年３月）
02-007、T. Arita, K. Tsuchida and T. Yaku, An Attribute Graph Grammar
for Modular Tables, 8p.
02-008、有田友和、土田賢省、夜久竹夫、グラフ文法による木構造図と表の構文的処理、８ｐ。
02-009, T. Arita, K. Tsuchida and T. Yaku, An Attribute Graph Grammar
for Modular Tables, 8p.
2003
03-001 T. Arita and T. Yaku, H3Code 1.0 Referance Manual
03-002 片岳格・守谷哲夫、制限付き無向グラフの同型性判定問題