1997年 4月のコンピュテーション研究会
- 日時 4月 25日 (金) 9:30 〜 15:30
(小特集:一人 35分発表 + 5分質疑の予定)
(一般: 一人 25分発表 + 5分質疑の予定)
- 会場 日本大学文理学部応用数学科
(〒156 世田谷区桜上水3-25-40)
- 交通 新宿駅から京王線八王子方面、下高井戸駅下車約8分
- 連絡先 戸田誠之助
日本大学文理学部応用数学科
TEL 03-3329-1151(ex.5311) FAX 03-5317-9431
議題
=============================================================
小特集『グラフ書き換え系とその応用』
1. 構文指向図式エディタのための属性グラフ文法による形式化
○安斉公士(関東学園大)、安達由洋、土田賢省(東洋大)、
夜久竹夫(日大)
2. ブロック線図文法とグラフ書き換えによる構造認識
○小林 卓、安達由洋(東洋大)、安斉公士(関東学園大)、
土田賢省(東洋大)
3. A graph grammar for non-uniform quadtrees
○會澤邦夫(広島大)、中村 昭(明治大)
4. 項グラフ言語の正データからの多項式時間帰納推論可能性について
松本哲志、林夕起子、○正代隆義(九大)
一般
5. Solving an Order-Sorted Unification Problem Using Tree
Automata
○高井 利憲、楫 勇一、嵩 忠雄 (奈良先端大)
6. チェックポイント数最小の分散全域チェックポイントアルゴリズム
真鍋義文(NTT)
7. Classes of graphs with an optimal shortest path algorithm
津金恵子・○守屋悦朗(早大)
8. 区間グラフの認識アルゴリズムについて
○名古屋孝幸、戸田誠之助(日大)
=============================================================