研究分担者 |
五十 嵐淳 京都大学, 大学院・情報学研究科, 准教授 (40323456)
中澤 巧爾 京都大学, 大学院・情報学研究科, 助教 (80362581)
山本 章博 京都大学, 大学院・情報学研究科, 教授 (30230535)
湯淺 太一 京都大学, 大学院・情報学研究科, 教授 (60158326)
|
研究概要 |
本研究では,安全なソフトウェアを効率的に開発できる環境の構築を目指し,その理論的基盤を与えるロジカル・フレームワークとして,計算概念と論理体系を統一的に扱える自然枠組(NaturalFramework,NF)の構築とその実装を目的とし,主に次のような成果を得た.(1)メタ変数の理論を形式化した.(2)自然枠組において計算体系とその理論を統一的に扱うための形式的言語体系をメタ変数の理論をもとに構築した.(3)自然枠組の実装のためのプログラミング言語の設計を行った.
|