情報・システム-コンピュテーション(開催日：1997/04/25)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]1997/4/25
[資料番号]
目次

,  

[発表日]1997/4/25
[資料番号]
構文指向図式エディタの属性グラフ文法による形式化

安斉 公士,  安達 由洋,  土田 賢省,  夜久 竹夫,  

[発表日]1997/4/25
[資料番号]COMP97-1
ブロック線図文法とグラフ書き換えによる構造認識

小林 卓,  安達 由洋,  安斉 公士,  土田 賢省,  

[発表日]1997/4/25
[資料番号]COMP97-2
A Graph Grammar for Non-Uniform Quadtrees

,  

[発表日]1997/4/25
[資料番号]COMP97-3
項グラフ言語の正データからの多項式時間帰納推論可能性について

松本 哲志,  林 夕起子,  正代 隆義,  

[発表日]1997/4/25
[資料番号]COMP97-4
項宣言および順序ノート付き単一化問題の木オートマトンを用いた解法

高井 利憲,  楫 勇一,  嵩 忠雄,  

[発表日]1997/4/25
[資料番号]COMP97-5
チェックポイント数最小の分散チェックポイントアルゴリズム

真鍋 義文,  

[発表日]1997/4/25
[資料番号]COMP97-6
最適な最短経路アルゴリズムを持つグラフについて

津金 恵子,  守屋 悦朗,  

[発表日]1997/4/25
[資料番号]COMP97-7
区間グラフの認識アルゴリズムについて

名古屋 孝幸,  戸田 誠之助,  

[発表日]1997/4/25
[資料番号]COMP97-8
[OTHERS]

,  

[発表日]1997/4/25
[資料番号]