• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2015 年度 研究成果報告書

依存型理論による安全性保証付きデータ構造の創出・推論・進化

研究課題

  • PDF
研究課題/領域番号 24300001
研究種目

基盤研究(B)

配分区分一部基金
応募区分一般
研究分野 情報学基礎
研究機関群馬大学

研究代表者

浜名 誠  群馬大学, 大学院理工学府, 助教 (90334135)

研究期間 (年度) 2012-04-01 – 2016-03-31
キーワードプログラム理論 / 圏論 / 関数プログラム / 情報学基礎 / 多相型 / 代数理論
研究成果の概要

情報システムが重要な社会基盤の一つとなるにつれ、ソフトウェアの安全性保証が大きな課題となっている。本研究は、信頼性のあるソフトウェアの理論的基礎を確立するために、安全性が保証されたプログラムを構成するための理論を与える事を目的とした。このために従来よりも厳密にデータの定義ができる依存データ型(dependent types)の代数的モデルを明らかにし、その応用を与えた。

自由記述の分野

ソフトウェア科学

URL: 

公開日: 2017-05-10  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi