高機能高品質ソフトウエアの基礎理論に関する研究

点击翻译按钮获取中文摘要

高機能高品質ソフトウエアとその構成原理についての基礎的な理論研究を行うと共に、理論に基づいてソフトウエアの構成・検証・記述を支援するシステムを試作し、実験的に評価した。伊藤は、構造化ネットと並列プロセスのネット表現の研究を行い、構造化ネット操作システムを試作した。また、ATMSを用いた項書き換え系の実現方式とその試作・評価の研究を行った。佐藤は、構成的プログラミングのための論理体系として、構成的数学体系RPTを作成し、これをRPTシステムとして計算機上で実現し、プログラムの検証・合成が行えることを示した。萩谷は、高階の型理論に基づく証明チェッカを汎用テキストエディタ上に構築すると共に、図形を用いた証明の基礎付けを与えることにより、証明の中の図形を計算機上で形式的に扱う枠組みを提唱した。林は、singleton,union,intersectionの型を持つ型理論としてATTとAGTTを提唱し、これらを用いるとプログラムの抽出がより明解に行え、かつ、効果のよいプログラムの抽出がでることを示した。井田は、項書き換え系に基づく遅延ナローイング計算系の研究を行い、関数・論理融合型プログラミング言語に対する遅延ナローイング計算系の設計およびその完全性の証明、制約評価系の遅延ナローイング計算系への導入の研究を行った。榎本は、ソフトウエアプロセス全体の流れの記述に関して、TELLシステムを設計・試作し、TELLシステムを用いて、カラー画像描画と処理の統合を目指したシステムの作成を行った。