業績 技術報告
III．技術報告，講演論文，講究録，解説論文
１．不確定セルオ－トマタに対する並列写像の全射性について， 京都大学数理
解析研究所講究録 １７９（１９７３），１２７－１４０．
２．不確定セルオ－トマタによる不確定並列写像の逆写像と単射性について，
京都大学数理解析研究所講究録 ２１３（１９７４），２２０－２２６．
３．フロ－グラフの分岐数について，京都大学数理解析研究所講究録２５９
（１９７６），１５８－１６４．
４．オ－トマトンとアルゴリズム， Ｃ＆Ａ （Computation and Analysis）
セミナ－会報 １（１９７７）．
５．（二木厚吉氏と共著）フロ－チャ－トの木構造型記法，電子通信学会オ－ト
マトンと言語研究会資料集ＡＬ－７８（１９７８），６１－６６．
６．ある種のグラフの極大マッチングを与える線形時間アルゴリズム，京都大学
数理解析研究所講究録 ３５３（１９７９），６８－７７．
７．（二木厚吉氏と共著）木フロ－チャ－トとその計算図式について，電子通信
学会講演論文集，１９７９．
８．（二木厚吉氏， 足立暁生氏と共著） 木フロ－チャ－トとプログラムテキ
ストの導出木について，情報処理学会第２０回全国大会講演論文集１９７９，
２８１－２８２．
９．（二木厚吉氏，足立暁生氏と共著） 流れ木による手続きとデ－タ型の記述，
情報処理学会ソフトウェア工学研究会資料集１６ （１９８０），１－１６．
１０．（吉田洋一氏，田中恵子氏と共著），ＬＩＳＰインタ－プリタ，東海大学
電子計算機室広報 ８（１９８０），７－８．
１１．（二木厚吉氏，足立暁生氏と共著）An extended iteration statement
and its computability, 京都大学数理解析研究所講究録 ３８１
（１９８０），１８０－１９４．
１２．（共著）”ＷＥＳＴＲＡＮ使用解説書”，東海大学電子計算センタ－，
１９８０，１６ ｐｐ．
１３．（大沢優氏，高橋英一郎氏と共著） 制限された再帰呼出しの実現，情報
処理学会第２３回全国大会講演論文集 （１９８１）， １６９－１７０．
１４．（上原実氏，吉田希代子氏と共著） 事務計算の流れ木による構造的表現，
情報処理学会第２３回全国大会講演論文集 （１９８１），４０３－４０４．
１５．（久保田美明氏と共著） ＬＩＳＰシステムの作成，東海大学電子計算機
室広報 ９（１９８１），１８－２０．
１６．（郷信義氏，岡田直之氏，長田芳一氏，岸本美紀氏，高橋美智子氏と共著）
木フロ－チャ－ト記述言語ＨＩＣＨＡＲＴの処理系実現について，情報処理
学会講演論文集 （１９８３）．
１７．（二木厚吉氏，足立暁生氏と共著） 階層的フロ－チャ－ト記述言語
ＨＩＣＨＡＲＴによるプログラムの記述，”計算機科学の基礎理論”報告書
（１９８４），４８４－４９４，昭和５８年度文部省科学研究費補助金によ
る研究組織．
１８．（大川知氏と共著）階層的フロ－チャ－ト言語ＨＩＣＨＡＲＴのグラフ文
法上の性質，情報処理学会講演論文集（１９８４）．
１９．（川畑守氏，杉田公生氏，植村憲治氏，郷信義氏と共著）ＨＩＣＨＡＲＴ
を用いた教育用プログラムデ－タベ－スシステムＨ／ＢＡＳＥ，ＣＡＩ学会
第９回研究発表大会論文（１９８４），１４３－１４６．
２０．（共著） Complexity of substitutive programs，京都大学数理解析研究
所講究録 （１９８５）．
２１．（共著) Complexity of path covering problems in acyclic alternate
graphs，（同上，１９８５）．
２２．（共著) Hichart-Pascal トランスレ－タ，情報処理学会第３０回全国大
会講演論文集 ，１９８５．
２３．（共著）Hichart エデイタ，同上 ，１９８５ ．
２４．（共著）ＨＩＣＨＡＲＴを用いた教育用プログラムデ－タベ－スシステム
Ｈ／ＢＡＳＥ ＩＩ，ＣＡＩ学会第１２回研究発表大会論文集 （１９８７），
２５３－２５６．
２５．（共著）ＨＩＣＨＡＲＴを用いたプログラム教育環境，ＣＡＩ学会第１２
回研究発表大会論文集、１９８７．
２６．（共著）ETA87-An extension of the Hichart processing system, 情報
処理学会第３５回全国大会講演論文集（１９８７），１２０１ー１２０２．
２７．代入構造及びその再帰構造と繰り返し構造への関係，（英文：The
complexity of substitutive programs）,
電子情報通信学会コンピュテーション研究会資料 COMP87-80, 1 - 8,
1988.
２８．（共著）Ｈｉｃｈａｒｔ流れ図の描画アルゴリズム、 日本ソフトウェア
科学会第５回大会論文集（１９８８），１８１－１８４．
２９．（共著）木構造図式の美的描画について、京都大学数理解析研究所講究録、 １９８９．
３０．（共著）有向グラフのパスカバー問題の並行計算量について、京都大学数 理解析研究所講究録、１９８９．
３１．（共著）交互部分グラフとパス被覆問題について、電子情報通信学会コン ピュテーション研究会資料ＣＯＭＰ９０（１９９０）．
３２．（共著）Ｈｉｃｈａｒｔを用いた教育用プログラムデータベースシステム
：Ｈ／ＢＡＳＥ（３）、ＣＡＩ学会第１５回研究発表大会論文集（１９９０）
２９２ー２９５．
３３．（共著）グラフ文法とそのＣＡＩシステムへの応用，同上，
１１７ー１２０．
３４．（共著）ＢＮＬＣ言語に対するポンプの補題，電子情報通信学会コン ピュテーション研究会資料ＣＯＭＰ９１（１９９１年２月）．
３５．（共著）境界つきＢＮＬＣグラフ文法に対する標準形，電子情報通信学会
コンピュテーション研究会資料ＣＯＭＰ９１（１９９１年７月）．
３６．(with N.Go et al), Generation of the Hichart program diagrams,
J. Inform. Process., Res. Rep. Dept. Inform. Sci. Tokyo Denki Univ.
TDU-IS-21, 1991.
３７．（共著）Partition of Path Covers of the Digraphs to
the Alternate Subgraphs, Res. Rep. Dept. Inform. Sci. Tokyo Denki
Univ. TDU-IS-22, 1991.
３８．Solving Path Covering Problems for the Digraphs with
the Alternate Subgraphs, Res. Rep. Dept. Inform. Sci. Tokyo Denki
Univ. TDU-IS-23, 1991.
３９．（共著）木構造図式の描画問題，情報処理学会アルゴリズム研究会技術報 告（１９９２）．
４０．（共著）プログラム図式とプログラム仕様書の統合的処理系の研究，東京 電機大学総合研究所年報１１（１９９２），１２３ー１２６．
４１．（共著）プログラムデータベース，私立大学情報処理教育協議会報（１９ ９２）．
４２．（共著）境界付きＮＬＣグラフ文法の生成能力について，言語理論とオー トマトン理論報告（１９９２），予定
４３．（共著）境界付きＮＬＣグラフ言語の標準型，京都大学数理解析研究所講 究録（１９９２）
１．不確定セルオ－トマタに対する並列写像の全射性について， 京都大学数理
解析研究所講究録 １７９（１９７３），１２７－１４０．
２．不確定セルオ－トマタによる不確定並列写像の逆写像と単射性について，
京都大学数理解析研究所講究録 ２１３（１９７４），２２０－２２６．
３．フロ－グラフの分岐数について，京都大学数理解析研究所講究録２５９
（１９７６），１５８－１６４．
４．オ－トマトンとアルゴリズム， Ｃ＆Ａ （Computation and Analysis）
セミナ－会報 １（１９７７）．
５．（二木厚吉氏と共著）フロ－チャ－トの木構造型記法，電子通信学会オ－ト
マトンと言語研究会資料集ＡＬ－７８（１９７８），６１－６６．
６．ある種のグラフの極大マッチングを与える線形時間アルゴリズム，京都大学
数理解析研究所講究録 ３５３（１９７９），６８－７７．
７．（二木厚吉氏と共著）木フロ－チャ－トとその計算図式について，電子通信
学会講演論文集，１９７９．
８．（二木厚吉氏， 足立暁生氏と共著） 木フロ－チャ－トとプログラムテキ
ストの導出木について，情報処理学会第２０回全国大会講演論文集１９７９，
２８１－２８２．
９．（二木厚吉氏，足立暁生氏と共著） 流れ木による手続きとデ－タ型の記述，
情報処理学会ソフトウェア工学研究会資料集１６ （１９８０），１－１６．
１０．（吉田洋一氏，田中恵子氏と共著），ＬＩＳＰインタ－プリタ，東海大学
電子計算機室広報 ８（１９８０），７－８．
１１．（二木厚吉氏，足立暁生氏と共著）An extended iteration statement
and its computability, 京都大学数理解析研究所講究録 ３８１
（１９８０），１８０－１９４．
１２．（共著）”ＷＥＳＴＲＡＮ使用解説書”，東海大学電子計算センタ－，
１９８０，１６ ｐｐ．
１３．（大沢優氏，高橋英一郎氏と共著） 制限された再帰呼出しの実現，情報
処理学会第２３回全国大会講演論文集 （１９８１）， １６９－１７０．
１４．（上原実氏，吉田希代子氏と共著） 事務計算の流れ木による構造的表現，
情報処理学会第２３回全国大会講演論文集 （１９８１），４０３－４０４．
１５．（久保田美明氏と共著） ＬＩＳＰシステムの作成，東海大学電子計算機
室広報 ９（１９８１），１８－２０．
１６．（郷信義氏，岡田直之氏，長田芳一氏，岸本美紀氏，高橋美智子氏と共著）
木フロ－チャ－ト記述言語ＨＩＣＨＡＲＴの処理系実現について，情報処理
学会講演論文集 （１９８３）．
１７．（二木厚吉氏，足立暁生氏と共著） 階層的フロ－チャ－ト記述言語
ＨＩＣＨＡＲＴによるプログラムの記述，”計算機科学の基礎理論”報告書
（１９８４），４８４－４９４，昭和５８年度文部省科学研究費補助金によ
る研究組織．
１８．（大川知氏と共著）階層的フロ－チャ－ト言語ＨＩＣＨＡＲＴのグラフ文
法上の性質，情報処理学会講演論文集（１９８４）．
１９．（川畑守氏，杉田公生氏，植村憲治氏，郷信義氏と共著）ＨＩＣＨＡＲＴ
を用いた教育用プログラムデ－タベ－スシステムＨ／ＢＡＳＥ，ＣＡＩ学会
第９回研究発表大会論文（１９８４），１４３－１４６．
２０．（共著） Complexity of substitutive programs，京都大学数理解析研究
所講究録 （１９８５）．
２１．（共著) Complexity of path covering problems in acyclic alternate
graphs，（同上，１９８５）．
２２．（共著) Hichart-Pascal トランスレ－タ，情報処理学会第３０回全国大
会講演論文集 ，１９８５．
２３．（共著）Hichart エデイタ，同上 ，１９８５ ．
２４．（共著）ＨＩＣＨＡＲＴを用いた教育用プログラムデ－タベ－スシステム
Ｈ／ＢＡＳＥ ＩＩ，ＣＡＩ学会第１２回研究発表大会論文集 （１９８７），
２５３－２５６．
２５．（共著）ＨＩＣＨＡＲＴを用いたプログラム教育環境，ＣＡＩ学会第１２
回研究発表大会論文集、１９８７．
２６．（共著）ETA87-An extension of the Hichart processing system, 情報
処理学会第３５回全国大会講演論文集（１９８７），１２０１ー１２０２．
２７．代入構造及びその再帰構造と繰り返し構造への関係，（英文：The
complexity of substitutive programs）,
電子情報通信学会コンピュテーション研究会資料 COMP87-80, 1 - 8,
1988.
２８．（共著）Ｈｉｃｈａｒｔ流れ図の描画アルゴリズム、 日本ソフトウェア
科学会第５回大会論文集（１９８８），１８１－１８４．
２９．（共著）木構造図式の美的描画について、京都大学数理解析研究所講究録、 １９８９．
３０．（共著）有向グラフのパスカバー問題の並行計算量について、京都大学数 理解析研究所講究録、１９８９．
３１．（共著）交互部分グラフとパス被覆問題について、電子情報通信学会コン ピュテーション研究会資料ＣＯＭＰ９０（１９９０）．
３２．（共著）Ｈｉｃｈａｒｔを用いた教育用プログラムデータベースシステム
：Ｈ／ＢＡＳＥ（３）、ＣＡＩ学会第１５回研究発表大会論文集（１９９０）
２９２ー２９５．
３３．（共著）グラフ文法とそのＣＡＩシステムへの応用，同上，
１１７ー１２０．
３４．（共著）ＢＮＬＣ言語に対するポンプの補題，電子情報通信学会コン ピュテーション研究会資料ＣＯＭＰ９１（１９９１年２月）．
３５．（共著）境界つきＢＮＬＣグラフ文法に対する標準形，電子情報通信学会
コンピュテーション研究会資料ＣＯＭＰ９１（１９９１年７月）．
３６．(with N.Go et al), Generation of the Hichart program diagrams,
J. Inform. Process., Res. Rep. Dept. Inform. Sci. Tokyo Denki Univ.
TDU-IS-21, 1991.
３７．（共著）Partition of Path Covers of the Digraphs to
the Alternate Subgraphs, Res. Rep. Dept. Inform. Sci. Tokyo Denki
Univ. TDU-IS-22, 1991.
３８．Solving Path Covering Problems for the Digraphs with
the Alternate Subgraphs, Res. Rep. Dept. Inform. Sci. Tokyo Denki
Univ. TDU-IS-23, 1991.
３９．（共著）木構造図式の描画問題，情報処理学会アルゴリズム研究会技術報 告（１９９２）．
４０．（共著）プログラム図式とプログラム仕様書の統合的処理系の研究，東京 電機大学総合研究所年報１１（１９９２），１２３ー１２６．
４１．（共著）プログラムデータベース，私立大学情報処理教育協議会報（１９ ９２）．
４２．（共著）境界付きＮＬＣグラフ文法の生成能力について，言語理論とオー トマトン理論報告（１９９２），予定
４３．（共著）境界付きＮＬＣグラフ言語の標準型，京都大学数理解析研究所講 究録（１９９２）