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

2015 年度 実績報告書

• 研究課題/領域番号: 24300001
• 研究機関: 群馬大学
• 研究代表者: 浜名 誠 群馬大学, 大学院理工学府, 助教 (90334135)
• 研究期間 (年度): 2012-04-01 – 2016-03-31
• キーワード: プログラム理論 / 圏論 / 関数プログラム / 情報学基礎 / 多相型

研究実績の概要

本年度は、半構造データおよび根付きグラフに対する帰納データ構造の解明と代数化の論文の発表を行った。これにより代数的モデルを用い、より複雑なデータ構造へ安全性保証の理論の応用を広げることができた。

また2013年に発表した多相代数理論と関係が深い書換え系についてのチュートリアルを第18回プログラミングおよびプログラミング言語ワークショップ(PPL'16)にてを行い、発表賞を受賞した。

これにより、信頼性のあるソフトウェアの理論的基礎としての依存型を用いた安全性保証付きデータ構造の理論を示した。

研究成果

• [国際共同研究] University of Cambridge(United Kingdom)
  • 国名: 英国
  • 外国機関名: University of Cambridge
• [雑誌論文] Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories (2016)
  • 著者名/発表者名: Makoto Hamana
  • 雑誌名: Formal Structures for Computation and Deduction 巻: LIPIcs ページ: 1-17
  • 査読あり / オープンアクセス
• [雑誌論文] Iteration Algebras for UnQL Graphs and Completeness for Bisimulation (2015)
  • 著者名/発表者名: Makoto Hamana
  • 雑誌名: Electronic Proceedings in Theoretical Computer Science 巻: 191 ページ: pp. 75-89
  • DOI: 10.4204/EPTCS.191.8
  • 査読あり / オープンアクセス
• [学会発表] Iteration Algebras for UnQL Graphs and Completeness for Bisimulation (2016)
  • 著者名/発表者名: 浜名誠
  • 学会等名: メタプログラムに対する論理学的アプローチ研究集会
  • 発表場所: 東北大学電気通信研究所
  • 年月日: 2016-09-27 – 2016-09-28
• [学会発表] プログラミング言語研究のための(高階)項書換え系入門 (2016)
  • 著者名/発表者名: 浜名誠
  • 学会等名: 第18回プログラミングおよびプログラミング言語ワークショップ(PPL'16)
  • 発表場所: 岡山県 玉野市
  • 年月日: 2016-03-07 – 2016-03-09
• [学会発表] Iteration Algebras for UnQL Graphs and Completeness for Bisimulation (2015)
  • 著者名/発表者名: Makoto Hamana
  • 学会等名: The 10th International Workshop on Fixed Points in Computer Science (FICS'15)
  • 発表場所: Technische Universitat Berlin, Germany
  • 年月日: 2015-09-11 – 2015-09-12
  • 国際学会
• [備考] Makoto Hamana Home Page
  • URL: http://www.cs.gunma-u.ac.jp/~hamana/