2015 Fiscal Year Annual Research Report
依存型理論による安全性保証付きデータ構造の創出・推論・進化
| Project/Area Number |
24300001
|
|---|
| Research Institution | Gunma University |
|---|
Principal Investigator |
浜名 誠 群馬大学, 大学院理工学府, 助教 (90334135)
|
|---|
| Project Period (FY) |
2012-04-01 – 2016-03-31
|
| Keywords | プログラム理論 / 圏論 / 関数プログラム / 情報学基礎 / 多相型 |
|---|
| Outline of Annual Research Achievements |
本年度は、半構造データおよび根付きグラフに対する帰納データ構造の解明と代数化の論文の発表を行った。これにより代数的モデルを用い、より複雑なデータ構造へ安全性保証の理論の応用を広げることができた。
また2013年に発表した多相代数理論と関係が深い書換え系についてのチュートリアルを第18回プログラミングおよびプログラミング言語ワークショップ(PPL'16)にてを行い、発表賞を受賞した。
これにより、信頼性のあるソフトウェアの理論的基礎としての依存型を用いた安全性保証付きデータ構造の理論を示した。
|
