| 研究課題/領域番号 |
11680352
|
|---|
| 研究機関 | 名古屋大学 |
|---|
研究代表者 |
酒井 正彦 名古屋大学, 大学院・工学研究科, 助教授 (50215597)
|
|---|
| 研究分担者 |
粕谷 英人 愛知県立大学, 情報科学部, 助手 (10295579)
外山 芳人 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (00251968)
坂部 俊樹 名古屋大学, 大学院・工学研究科, 教授 (60111829)
|
|---|
| キーワード | 項書換え系 / 正規化戦略 / 関数型言語 |
|---|
| 研究概要 |
本研究の目的は、項書換え系における計算戦略の結果を関数型言語に適用する上で妨げとなっているギャップを取り除くことにある。そのため、規則間に優先順序がついた項書換え系、高階関数、モジュールを持つ項書換え系の上での計算戦略を解析・明らかにすることが必要である。
本年度は、主に以下を行った。
1.これまでにNV書き換え系のクラスは決定可能であることが知られているが、計算量が大きいため実現されていなかった。そこで、これを実現することによりどの程度の規模の項書換え系まで、現在の技術で実行可能であるかを明らかにした。その結果、現在の技術では数行の書き換え系についてのみNVクラスに属しているかの判定が可能であることが判明した。また、次に計算すべき場所を示すインデックスを求める問題についても、クラス判定とほぼ同レベルの実行時間、記憶領域が必要であることが分かった。
2.強逐次性の優先順序つき書換え系について、次に計算すべき場所を示すインデックスを効率良く求めるシステムを試作した。その結果、項書換えコンパイラなどに用いいるのに十分な効率を持つことが判明した。
3.高階関数が扱える書換え系である高階書換え系における計算戦略を検討した。しかしながら、特筆すべき結果は得られなかった。
|
