研究課題/領域番号 |
11680352
|
研究機関 | 名古屋大学 |
研究代表者 |
酒井 正彦 名古屋大学, 大学院・工学研究科, 助教授 (50215597)
|
研究分担者 |
粕谷 英人 愛知県立大学, 情報科学部, 助手 (10295579)
外山 芳人 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (00251968)
坂部 俊樹 名古屋大学, 大学院・工学研究科, 教授 (60111829)
|
キーワード | 項書換え系 / 正規化戦略 / 関数型言語 |
研究概要 |
本研究の目的は、項書換え系における計算戦略の結果を関数型言語に適用する上で妨げとなっているギャップを取り除くことにある。そのため、規則間に優先順序がついた項書換え系、高階関数、モジュールを持つ項書換え系の上での計算戦略を解析・明らかにすることが必要である。 本年度は、昨年度に引続き以下を行った。 1.昨年度は、強逐次性の優先順序つき書換え系について、次に計算すべき場所を示すインデックスを効率良く求めるシステムを試作・評価した。インデックス書換えは、計算の解である正規形が存在するときに、これを求める計算戦略である。これに対して、解が無限の大きさになるために正規形が存在は存在しないが解の内で確定した部分を表す頭正規形が存在する場合に、これを求めるために項書換え系の根インデックスの概念を優先順序つき書換え系への拡張を検討した。詳しい証明はまだ完成していないが、拡張は可能であるとの予測がついた。 2.高階関数が扱える書換え系である高階書換え系における計算戦略で必要になると予測される、高階項の照合問題について検討した。高階項の適切な表現を定め、高階項のパターンから木オートマトンを生成する手法を考案し、それがパターンに照合する高階項の集合を定義することを示した。さらにGTT手法を拡張しこれと組み合わせによって、高階書換え系の計算戦略の決定性を議論するための基礎が得られた。
|