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