| 研究課題/領域番号 |
12480076
|
|---|
| 研究機関 | 北海道大学 |
|---|
研究代表者 |
赤間 清 北海道大学, 情報メディア教育研究総合センター, 教授 (50126265)
|
|---|
| 研究分担者 |
棟朝 雅晴 北海道大学, 情報メディア教育研究総合センター, 助教授 (00281783)
水田 正弘 北海道大学, 情報メディア教育研究総合センター, 教授 (70174026)
|
|---|
| キーワード | プログラム生成 / メタルール / 等価変換ルール / 確定節集合 / 仕様 / 正当性 / プログラム変換 / 優先度 |
|---|
| 研究概要 |
1.メタ計算の一般理論を発展させた。
より広いクラスのルールを生成できるように、メタ表現を拡張した。具体的には、変数に対する制約条件を扱えるように表現の拡張を施し、それに対するメタ計算の理論を開発した。これによって、条件部を持つルールの生成が可能となった。また、それに対する理論的な基礎を検討した。たとえば最大値を求めるプログラムでは、ルールに変数の大小比較の条件が必要になる。これはメタ変数に不等式条件をつけ、それを用いて正しくメタ計算することで達成できる。
2.作成したプログラム自動生成システムを評価した。
(1)構文解析プログラムを自動生成する問題に適用した。その結果、著しい高速化が達成され、実用的に意味のあるプログラムが得られることが判明した。ただし、得られたプログラムは、単数ボディのNルールのプログラムである。これは、計算途中で分岐はないものの、非決定性は残っていることを意味する。したがって、実行部を拡大したり、さらには完全な決定性プログラムへ変換したりして、さらに高速化できる可能性がある。それについても実験的に検討したが、その過程の完全な自動化は今後の課題として残された。
(2)一階論理表現を用いて書かれた仕様からプログラムを生成する実験を行った。これもいくつかの例題で著しい高速化が達成された。たとえば、ある言語を受理するオートマトンを自動生成することができることが確認された。しかしその適用例はまだ少数であり、どの程度一般的にうまくいくかは充分解明されていない。とくにメタ計算のコントロールの問題は今後検討すべき重要な課題である。
|
