2020 年度実績報告書

高階代数系指向プログラミングの原理―安全・柔軟なソフトウェアへ向けて

研究課題

研究課題/領域番号	17K00092
研究機関	群馬大学
研究代表者	浜名誠群馬大学, 大学院理工学府, 准教授 (90334135)
研究期間 (年度)	2017-04-01 – 2021-03-31
キーワード	書換え系 / 関数プログラム / 型理論 / 合流性 / 停止性 / ラムダ計算 / 自動証明
研究実績の概要	本年度は、二階書換えの停止性のモジュラ性についての論文の証明を完成し、論文の投稿を行なった。またこのモジュラ停止性証明手法をSOLシステムに実装した。さらにSOLシステムの改良を重ね、Unboundライブラリを用いた変数束縛機構の実装へと改良した。これらにより高階代数系を基礎とするプログラミング言語のための有用な研究成果とツールの構築ができたと考えられる。