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

2016 年度 研究成果報告書

クラス理論に基づく自己拡張可能なソフトウェア検証体系の構築

研究課題

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

基盤研究(B)

配分区分一部基金
応募区分一般
研究分野 ソフトウェア
研究機関京都大学

研究代表者

佐藤 雅彦  京都大学, 情報学研究科, 名誉教授 (20027387)

研究分担者 外山 芳人  東北大学, 電気通信研究所, 教授 (00251968)
五十嵐 淳  京都大学, 情報学研究科, 教授 (40323456)
桜井 貴文  千葉大学, 理学(系)研究科(研究院), 教授 (60183373)
連携研究者 小林 直樹  東京大学, 情報理工学系研究科, 教授 (00262155)
研究期間 (年度) 2013-04-01 – 2017-03-31
キーワードクラス理論 / 型理論 / 証明検証 / ソフトウェアの安全性
研究成果の概要

ソフトウェアの安全性を検証するための理論として,論理学の手法を用いて形式的体系の性質の記述及び検証を数学的に厳密な方法で行う言語体系である論理枠組が提案されている本研究では,従来の論理枠組は型理論の上に構築されているのに対してクラス理論の上に構築することを実現した.

ここでのクラス理論は本研究で新しく提案した理論であり,型理論にない柔軟性があり,さらにクラス全体のクラスを矛盾なく扱えるという特徴がある.この特徴のため,論理枠組の中で,枠組自身に言及し,その構造を解析することができた.とくに重要な成果として,変数の束縛機構を分析し,α同値性の概念について新しい見方での定義を与えることができた.

自由記述の分野

ソフトウェアの基礎理論

URL: 

公開日: 2018-03-22  

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

Powered by NII kakenhi