WAAP 研究会開催記録
２００３．１．１８改訂
２００３年７月７日改訂
| ●応用オートマトンセミナー● 主旨：研究室の一般対象のセミナー 目的：参加研究室学生と関係者の研究支援 対象分野：オートマトン理論とその関連分野 位置づけ：学部・大学院のセミナーで発表した後、外部で発表する前のチェック カテゴリー：オリジナルの研究、論文解説、分野の解説 対象：参加研究室学生、ＯＢ、関係者 形式：上の方針により、原則非公開、非公式。 資料の扱い：発表資料は１年程度経過後、原則として、GNU GPL に準じて取り扱う。 連絡方法：メーリングリストによる。メーリングリストは幹事が管理する。 幹事：年度ごとに互選により決める。 経過：応用オートマトンセミナーは、それ以前にあったアルゴリズム研究会の終了に伴い、１９８５年頃アルゴリズム研究会参加者の一部が発足させた。 |
幹事
1992.4- 細井潔・山崎浩一（電機大・理工）
1993.4- 山崎浩一（電機大）
1994.4- 山崎浩一（電通大）
1998 4- 夜久竹夫（日大・文理）
1999 4- 土田賢省（東洋大・工）
2000.4- 夜久竹夫（日大・文理）
2001.4- 有田友和（日大・文理）
2002.4- 夜久竹夫（日大・文理）
2003.1- 後藤隆彰（東洋大・工）
2003.4- 夜久竹夫（日大・文理）
| 回数 | 日時 場所 |
プログラム |
| １ | ||
| ２ | ||
| ３ | ||
| ４ | ||
| ５ | ||
| ６ | ||
| ７ | ||
| ８ | ||
| ９ | ||
| １０ |
１１回〜２０回（〜１９９２．５）
| 回数 | 日時 場所 |
プログラム |
| １１ | ||
| １２ | ||
| １３ | ||
| １４ | ||
| １５ | ||
| １６ | ||
| １７ | ||
| １８ | ||
| １９ | １９９２年５月９日（土） １４：００ー１７：００ 日本大学文理学部 |
１４：００ー 山崎浩一（東京電機大・理工） ＢＮＬＣグラフ言語でないＮＬＣグラフ言語 |
| ２０ | May 30th, 1992 14:00 - 17:00 College of Humanities and Sciences, Nihon U. |
14:00 - K. Yamazaki (Tokyo Denki U.) On an NLC graph language which is not a boundary NLC graph language (continued) |
２１回〜３０回（１９９２．６〜１９９３．１）
| 回数 | 日時 会場 |
プログラム |
| 21 | June 6, 1992 Time : 14:00 - 17:00 College of Humanities and Sciences. |
14:00 - T. Yaku (Nihon U.) An integrated processing system for program diagrams and program specification forms |
| 22 | June 13th, 1992 14:00 - 17:00 Kanda Campus, Tokyo Denk U. |
14:00 - K. Hosoi (Tokyo Denki U.) An application of the graph language theory to medical pattern recognition problems |
| 23 | July 11th, 1992 Sakurajosui Campus, Nihon U. 14:00 - 18:00 |
1. K. Yamazaki (Tokyo Denki U.) and T. Yaku (Nihon U): The generation power of the boundary NLC graph grammars. (to be presented at LA sympos. at Biwako on 15th July). 2. N. Go (Tokai U), K. Tsuchida (Toyo U), Y. Miyadera (TDU) and T. Yaku (Nihon U) et. al.: CORRECTIONS TO "Generation of the Hichart program diagrams" (in press, J. Inform. Proc. 15-2). 3: Hirasawa (Waseda U): On the theory of graph grammars (A survey). |
| 24 | ||
| 25 | September 19th, 1992 (Sat) (location undecided) |
|
| 26 | October 17th, 1992 (Sat) | |
| 27 | November 9th, 1992 Sakurajosui Campus, Nihon U. 14:00 - 18:00 |
1. K. Tsuchida (Toyo U) Tidy Drawings of Tree Structured Diagrams (Scheluded） (this paper is already submitted for publication) |
| 28 | December 5th, 1992 (A non-regular seminar) Sakurajosui Campus, Nihon U. 14:00 - 18:00 |
1. T. Yaku (Nihon U.) A linear time algorithms that provide maximal path covers for the binary branched digraphs (a preview) |
| 29 | ||
| 30 | １９９３年１月３０日 １５時から１８時 （臨時） 日本大学文理学部 |
１５：００ー１７：００ 山崎浩一（東京電機大学情報科学科） Generating power of the BNLC graph grammas (英語による講演と質疑応答） |
３１回〜４０回（１９９３．４〜１９９３．１２）
| 回数 | 日時 場所 |
プログラム |
| ３１ | ４月１０日（第２土曜）、１４：００ー１７：００ 日本大学文理学部 |
１。山崎浩一 ＡＣＭ ＣＳＣ９３の報告 連絡先：yamazaki@j.dendai.ac.jp yaku@tansei.cc.u-tokyo.ac.jp |
| ３２ | ５月１５日（第３土曜）（第２土曜（５月８日）連休直後のため開催日変更）１４：００ー１７：００ 場所：日本大学文理学部 |
１．土田賢省（東洋大学工学部） ＧＵＩにおける描画の制約と計算量について 連絡先：yamazaki@j.dendai.ac.jp |
| ３３ | 日時：６月１２日（第２土曜） １４：００ー１８：００ 場所：日本大学文理学部 |
プログラム： １．土田賢省（東洋大、工、情報） グラフの描画問題の計算量について （京大数理解析研短期共同研究集会で発表予定） ２．谷聖一（東京女子大、理、数理） 学習理論について（題未定） （京大数理解析研短期共同研究集会で発表予定） ３．植村憲治（都留文科大、算数教育） 有向グラフのパス被覆問題 （京大数理解析研短期共同研究集会で発表予定） ４．山崎浩一（東京電機大、理工、情報） ラベル制御型グラフ文法について （京大数理解析研短期共同研究集会で発表予定） |
| ３４ | 会合名：第３４回応用オートマトンセミナー（Ｈｉｃｈａｒｔ特集） 日時：７月１０日（定例：第２土曜） １４：００ー１７：００ 場所：日本大学文理学部７号間４階和手・夜久研究室 |
プログラム： １．安斉公士（関東学園大、経済） Ｈｉｃｈａｒｔ研究の現状 （現状報告と研究計画。ＳＳ９３（仙台）発表分のレビュー） ２．深瀬宰史（東京電機大、情報） グラフ言語のプログラム図への応用 （情報処理学会講演申込のプレビュー） ３．宮寺庸造（東京電機大、情報）（予定） 実平面上の木構造図式描画問題 （COMPSAC 93, Phoenix の原稿プレビュー） 終了後、前期打ち上げ。 |
| ３５ | ||
| ３６ | ||
| ３７ | 会合名：第３７回応用オートマトンセミナー 日時：９月１１日（定例：第２土曜） １４：００ー１７：００ 場所：日本大学文理学部 |
プログラム： １．山崎浩一（東京電機大、情報） ＮＬＣグラフ言語の反復補題 （日本数学会講演のプレビュー） ２．深瀬宰史（東京電機大、情報） グラフ言語のプログラム図への応用 （情報処理学会講演のプレビュー） 連絡先：yamazaki@j.dendai.ac.jp yaku@tansei.cc.u-tokyo.ac.jp hosoi@cck.dendai.ac.jp ボード：waap-net@notos.j.dendai.ac.jp |
| ３８ | 合により開催日を訂正させていただきます。 会合名：第３８回応用オートマトンセミナー 日時：１９９３年１０月９日（訂正）（定例、第２土曜） １４：００ー１７：００ 場所：日本大学文理学部７号間４階和手・夜久研究室 |
プログラム： １．宮寺庸造（東京電機大、情報） Drawing of tree structured diagrams on the Euclidian plane (An English lecture) （COMPSAC 17, Phoenix のプレビュー） ２．深瀬宰史（東京電機大、情報） グラフ言語のプログラム図への応用 （情報処理学会講演と同じ） 連絡先：yamazaki@j.dendai.ac.jp yaku@chs.nihon-u.ac.jp (changed) hosoi@cck.dendai.ac.jp |
| ３９ | 会合名：第３９回応用オートマトンセミナー 日時：１９９３年１１月１３日（定例：第２土曜） １５：００ー１８：００ 場所：日本大学文理学部 |
プログラム： １．講演者未定 学会参加報告：COMPSAC 17, Phoenix ２．深瀬宰史（東京電機大、情報） グラフ言語のプログラム図への応用 （情報処理学会講演と同じ） ３．夜久竹夫（日大、応数） 再代入型プログラムの階層 連絡先：yamazaki@j.dendai.ac.jp yaku@chs.nihon-u.ac.jp (changed) hosoi@cck.dendai.ac.jp |
| ４０ | 会合名：第４０回応用オートマトンセミナー 日時：１９９３年１２月１１日（定例：第２土曜） １５：００ー１７：００ 場所：日本大学文理学部７号間４階和手・夜久研究室 |
プログラム： １．山崎浩一 ＥＬＣグラフ言語について（仮題） ２．夜久竹夫（日大、応数） 再代入型プログラムの階層 当日、忘年会を行いますので、１１月末までに出欠をお知らせ下さい： 時間：１８時頃から 会場：未定（池袋、渋谷、下高井戸のトライアングルの中） 連絡先：yamazaki@j.dendai.ac.jp |
４１回〜５０回（１９９４．１〜１９９４．１１）
| 回数 | 日時 場所 |
プログラム |
| ４１ | 日時：１９９４年１月２９日（延期） １５：００ー１７：００ 場所：日本大学文理学部 |
プログラム： １．山崎浩一 頂点ラベル制御型グラフ言語について（ＩＩ） （１９９３年１２月の数理解析研講演のレビュー） |
| ４２ | 日時：１９９４年２月１２日（第２土曜） １５：００ー１７：００ 場所：日本大学文理学部 |
プログラム： １．山崎浩一（東京電機大、理工） 小さいクラスのグラフ言語について（仮題） ２．深瀬宰人（東京電機大、理工） グラフ文法によるプログラム図式の定義 （修士論文プレビュー） |
| ４３ | １．応用オートマトンセミナーのお知らせ 会合名：第４３回応用オートマトンセミナー 日時：１９９４年３月１２日（定例、第２土曜） １５：００ー１７：００ 場所：日本大学文理学部７号間４階和手・夜久研究室 連絡事項：１９９４年４月からのセミナーは第２土曜以外の |
プログラム： １．山崎浩一（東京電機大、理工） 小さいクラスのグラフ言語について（仮題） ２．深瀬宰人（東京電機大、理工） グラフ文法によるプログラム図式の定義 （修士論文プレビュー） ３．杉田公生（東海大、理） 仕様書様式文法について （COOMPSAC94 投稿論文の一部プレビュー） |
| ４４ | ||
| ４５ | ||
| ４６ | ●第４６回応用オートマトンセミナー 日時：１９９４年６月１８日（定例、第３土曜）１４：００ー１８：００ 場所：日本大学文理学部 連絡先：山崎浩一 yamazaki@cs.uec.ac.jp（変更） 夜久竹夫 yaku@chs.nihon-u.ac.jp 細井潔 hosoi@cck.dendai.ac.jp |
１．山崎浩一（電通大） Apex グラフ文法とdecomposition trees （準備中, preview） ２．杉田公生（東海大、理） 仕様書に対する生成文法（投稿中, preview） |
| ４７ |
●第４７回応用オートマトンセミナー 日時：１９９４年７月１６日（定例、第３土曜）１４：００ー１８：００ 場所：日本大学文理学部７号間４階夜久研究室 |
１．土田賢省（東洋大、工） グラフの描画問題の計算量（IEICE Transac他, review）． ２．植村憲治（都留文科大、文） 有限オートマトンの自己同型群（Math. Systems Th., review他）． byte 1777 ３．宮寺庸造（電機大、理工） Tidy drawing problem on the minum area for tree structured diagrams (IFIP94, Hamburg, Germany, preview)． ４．宮寺庸造（電機大、理工）Inplement of an environment of programming education and development (APETITE94, Brisbane, Australia, review), APETITE94 参加報告． |
| ４８ | ●第４８回応用オートマトンセミナー 日時：１９９４年９月１７日（定例、第３土曜）１４：００ー１５：３０ 場所：日本大学文理学部 |
植村憲治（都留文科大、文、初等教育） 有限オートマトンの自己同型群 |
| ４９ |
●第４９回応用オートマトンセミナー 日時：１９９４年１０月１５日（定例、第３土曜）１４：００ー１８：００ 場所：日本大学文理学部 |
土田賢省（東洋大、工、情報工学） IFIP94(Humburg) 参加、発表報告 |
| ５０ | ●第５０回応用オートマトンセミナー 日時：１９９４年１１月１９日（定例、第３土曜）１４：００ー１５：３０ 場所：日本大学文理学部 |
土田賢省（東洋大、工、情報工学） A tidy drawing problem on the minimum area for tree-structured diagrams, IFIP94 (Humburg) 参加、発表報告 |
５１回〜６０回（１９９４．１２〜）
| 回数 | 日時 場所 |
プログラム |
| ５１ |
●第５１回応用オートマトンセミナー 日時：１９９４年１２月１７日（第３土曜）１４：００ー１５：３０ 場所：日本大学文理学部７号間４階夜久研究室 |
プログラム： 安達宣洋（東洋大、工、情報工学） A visual programming environment based on HICHART program diagrams, Graph Drawing 94 (Princeton) 参加、発表報告 終了後、忘年会 |
| ５２ | 第５２回応用オートマトンセミナー 日時：１９９５年１月２１日（定例、第３土曜） １５：００ー１６：３０ 場所：日本大学文理学部７号間４階夜久研究室 連絡先：山崎浩一 yamazaki@cso.cs.uec.ac.jp 夜久竹夫 yaku@chs.nihon-u.ac.jp 細井潔 hosoi@cck.dendai.ac.jp |
プログラム： （１）杉田公生（東海大、理、数学） 表形式の仕様書記述言語について （２）夜久竹夫 グラフ言語理論の応用について（解説） |
| ５３ | ||
| ５４ | ●第５５回応用オートマトンセミナー 日時：１９９５年５月２０日（定例、第３土曜） １５：００ー１７：００ 場所：日本大学文理学部７号間４階数学準備室３（予定） ●お知らせ ８月１９日（土）ー２１日（日）に年会を実施予定です。 詳細は追ってお知らせします。 連絡先：山崎浩一 yamazaki@cso.cs.uec.ac.jp 夜久竹夫 yaku@chs.nihon-u.ac.jp |
プログラム： （１）杉田公生（東海大、理、数学） 表形式の仕様書記述言語について （２）安達宣洋（東洋大、工、情報工学）（交渉中） 表形式の仕様書処理系について |
| ５５ |
●第５６回応用オートマトンセミナー 日時：１９９５年６月１７日（定例、第３土曜） １５：００ー１７：００ 場所：日本大学文理学部７号間４階数学準備室３（予定） |
プログラム： （１）土田賢省（東洋大、工、情報工学） グラフの描画問題について（予定） （２）山崎浩一（電通大、電通、情報工学） 題未定 |
| ５６ |
●第５７回応用オートマトンセミナー 日時：１９９５年７月１５日（定例、第３土曜） １５：００ー１７：００ 場所：日本大学文理学部７号間４階数学準備室３（予定） |
プログラム： 未定 |
| ５７ | July 10th, 1995 The 57th Seminar on WG of Automatonics and its Applications Date: July 15th, 1995 (Sat) Coll. Humanities and Sci., Nihon Univ. |
Program: 15:00 - 15:30 Valiry V. Russkikh (Inst. Atomic Energetics, Obninsk-city, Russia), Spectral analysis of numerical techniques 15:40 - 16:10 Tsuyoshi Oi (Inform. Eng. Dept., Toyo Univ., Kawagoe, Saitama), A graph grammar for program diagrams 16:30 - 17:00 Takeo Yaku (Dept. Appl. Math., Nihon Univ. Setagaya, Tokyo), A draft of Japan Industrial Standard (JIS) for a data exchange language among tree structured diagrams (DXL) |
| ５８ | ||
| ５９ | ||
| ６０ |
６１回〜７０回
| 回数 | 日時 場所 |
プログラム |
| ６１ | ||
| ６２ | ||
| ６３ | ||
| ６４ | ||
| ６５ | ||
| ６６ | ||
| ６７ | ||
| ６８ | ||
| ６９ | ||
| ７０ |
７１回〜８０回
| 回数 | 日時 場所 |
プログラム |
| ７１ | ||
| ７２ | ||
| ７３ | ||
| ７４ | ||
| ７５ | ||
| ７６ | ||
| ７７ | ||
| ７８ | ||
| ７９ | ||
| ８０ |
８１回〜９０回
| 回数 | 日時 場所 |
プログラム |
| ８１ | ||
| ８２ | ||
| ８３ | ||
| ８４ | ||
| ８５ | ||
| ８６ | ||
| ８７ | ||
| ８８ | ||
| ８９ | ||
| ９０ |
９１回〜１００回
| 回数 | 日時 場所 |
プログラム |
| ９１ | ||
| ９２ | ||
| ９３ | ||
| ９４ | ||
| ９５ | ||
| ９６ | ||
| ９７ | ||
| ９８ | ||
| ９９ | ||
| １００ |
１０１回〜１１０回（２００１．２〜２００１．１２）
| 回数 | 日時 場所 |
プログラム |
| 101st | 3rd, Feb., 2001, Nuhon U | １．T. Arita, Syntactic Tabular Form Processing by Precedence Graph Grammars (I) (to appear in IASTED AI2001, Insbruck) |
| 102nd | 10th, Feb., 2001, Nihon U | １．T.
Arita (Nihon U, Coll. Human. & Sci.), Syntactic Tabular Form Processing
by Precedence Graph Grammars (II) (to appear in IASTED AI2001, Insbruck) 2. 仲川俊一（日大文理）、A Syntax Directed Environment for Tabular Form Designing 3. 井上, 4. 切島 |
| 103th | 10th, March, 2001, Nihon U | 1. 仲川, 有田, 冨山, 夜久, A Syntax Directed Environment for Tabular Form Processing 2. 類瀬, 土田, 夜久, 属性順位グラフ文法によるプログラム図の構文解析 3. 有田, IASTED AI2001 学会発表報告 4. 切島, 有田, 夜久, 土田, edNCEグラフ文法によるカルノー図型の表の作成 |
| 104th | June 2, 2001, Nihon U |
1. Shun-ichi Nakagawa (Nihon U), Syntax directed environment for tabular form design, (presented at ICSE 2001), On ICSE2001, Tronto 2. 土屋, ○宮寺, 夜久, ユーザ思考を考慮したブックマークの可視化 |
| 105th | June 16, 2001, Nihon U |
１．１４：００〜１４：３０、夜久竹夫（日本大学）、情報科カリキュラムの構成 ２．１４：３０〜１５：００、杉田公生（東海大学）、情報科カリキュラムにおける”情報活用の実践力”について ３．１５：００〜１５：３０、土田賢省（東洋大学）、情報科カリキュラムにおける”情報の科学的理解”について ４．１５：４０〜１６：３０、有田友和（日本大学）、情報科免許について（解説） |
| 106th | 7th, July, 2001, Nihon U | １. 有田友和(日本大学), 「Application of attribute NCE graph grammars to Syntactic Editing of Tabular Forms」 |
| 107th | 28th, July, 2001,Nihon U | 1. 有田友和(日本大学), GT-VMT'01学会報告 2. 夜久竹夫（日大文理）, 高等学校情報科指導解説書「情報の科学的理解」の章について |
| 108th | Dec 1st, 2001, Nihon U |
T. Yaku (Nihon U), A Representation of Heterogeneous Tessellation Structures by Graphs Inoue (Toyo U), An XML Viewer for Tabular Forms in Mechanical Documentation |
| 109th | Dec 1st, 2001, Nihon U |
1. 及部 佳代子, グラフ描画問題に基づく学術論文関係視覚化システム 2. 有田友和, グラフ文法による図と表の定式化 3. 後藤隆彰, 属性edNCEグラフ文法に基づくHichartエディタ 4. 本臼 則人, edNCEグラフ文法に基づくプログラム図のSVG表現 |
| 110th | Dec 1st, 2001, Nihon U |
Inoue (Toyo U) T. Yaku (Nihon U) |
１１１回〜１２０回
| 回数 | 日時 場所 |
プログラム |
| １１１回 | ||
| １１２回 | ||
| １１３回 | ||
| １１４回 | ||
| １１５回 | ||
| １１６回 | ２００３年６月２１日 | 安斎公士（関東学園大学） 構文指向グラフエディタ 要約 |
| １１７回 | ２００３年７月５日 | 海野浩（神奈川工科大学） パケット・フィルタリング・ルールの形式的開発法 要約 |
| １１８回 | ２００３年７月１９日 | |