| 研究課題/領域番号 |
01550282
|
|---|
| 研究機関 | 名古屋大学 |
|---|
研究代表者 |
平田 富夫 名古屋大学, 工学部, 助教授 (10144205)
|
|---|
| 研究分担者 |
坂部 俊樹 名古屋大学, 工学部, 助教授 (60111829)
稲垣 康善 名古屋大学, 工学部, 教授 (10023079)
|
|---|
| キーワード | 等式言語 / 項マッチング / 木パタ-ンマッチング |
|---|
| 研究概要 |
本研究の目的は、項のマッチングと書き換えを効率良く実行するアルゴリズムとデ-タ構造を開発することである。本年度に得られた研究成果は以下のとおりである。
1.新しい項マッチングアルゴリズムを開発した。このアルゴリズムはシストリックアルゴリズムであり、並列アルゴリズムのため高速な処理が可能で、しかもVLSI化が容易である。この成果については、電子情報通信学会論文誌に発表している。
2.等式プログラミング言語を設計・検討した。
シストリックアルゴリズム以外の逐次的な項マッチングアルゴリズムの開発に関しては、効率のよりマッチングアルゴリズムが開発できた。そのデ-タ構造についても詳細な検討がおこなえた。関連する研究成果を電子情報通信学会論文誌に発表した。問題点としては、項の書き換えが繰り返されたときの処理効率をいかにして向上させるかということがあり、次年度の研究課題とした。等式プログラミング言語の設計に関しては、当初の計画どおりに言語設計が進んだ。
|
