| 研究課題/領域番号 |
25540002
|
|---|
| 研究種目 |
挑戦的萌芽研究
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
情報学基礎理論
|
|---|
| 研究機関 | 群馬大学 |
|---|
研究代表者 |
浜名 誠 群馬大学, その他部局等, 助教 (90334135)
|
|---|
| 研究分担者 |
勝股 審也 京都大学, 数理解析研究所, 助教 (30378963)
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2016-03-31
|
| キーワード | プログラム理論 / 圏論 / 関数プログラム / 情報学基礎 / Haskell |
|---|
| 研究成果の概要 |
情報システムが重要な社会基盤の一つとなるにつれ、ソフトウェアの安全性保証が大きな課題となっている。
高い信頼性を持つソフトウェア構築のための基盤として、プログラミング言語の数学的モデルと基礎理論が必要である。このために本研究は、Haskell言語のコア言語の数学的モデルの探求を通し、関数型プログラム検証に役立つプログラム理論を構築した。
|
| 自由記述の分野 |
ソフトウェア科学
|
