| 研究分担者 |
湯淺 太一 京都大学, 大学院・情報学研究科, 名誉教授 (60158326)
山本 章博 京都大学, 大学院・情報学研究科, 教授 (30230535)
五十嵐 淳 京都大学, 大学院・情報学研究科, 教授 (40323456)
中澤 巧爾 京都大学, 大学院・情報学研究科, 助教 (80362581)
|
|---|
| 研究概要 |
本研究では,ソフトウェアの安全性を保障するための方法論として, バグのないソフトウェアを構築する環境を実現することの重要性を指摘し, 具体的なシステムのプロトタイプを実装した. とくに, 計算と論理を融合した, 新しいプログラミング言語を設計・実装し, その言語を用いてシステムを実装した. このため, 実装したシステム自体の安全性についても, 原理的に検証可能である. システムとユーザとのインターフェースもこの言語を用いて実装した
|
