| 研究概要 |
本年度は,項書換え計算モデルの視覚的支援手法の実現と計算モデルに関する知識の収集のために、以下に挙げる項目に関して研究を行なった。
1.項書換え計算モデルの視覚的支援手法を確立した。その際、以下の項目についての研究を行った。
(a)項の視覚化、計算の視覚化、操作の視覚化、情報の視覚化の枠組に従い、個々の視覚化手法を確立し、グラフィックワークステーション上に関数型言語Standard MLを用いて実現した。
(b)項の視覚化における、巨大な項の取り扱いについて
i.木構造の高度な省略指定の方法
ii.構造に現れるパターンの抽出
を考慮した拡張を実現した。
2.項書換え計算モデルの性質、検証技法に関する知識の収集を、以下の項目に基づき行った。
(a)基本的性質の形式的表現と視覚的表現手法の検討を行った。
(b)ソ-トの同値分類による項書換え系の型推論手法とその視覚化手法を提案し、実現した。
(c)種々の停止性判定や完備化などの検証技法をアルゴリズムとして実現した。
(d)遺伝的プログラミングによる項書換え系の自動学習に関する研究を行なった。
(e)高階項書換え系に関して可視化手法、およびその解析・検証支援手法を実現した。
これらの研究は、様々な研究集会で発表され、意見交換を行なった。
|
