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

2020 年度 実績報告書

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

研究課題

研究課題/領域番号 17K00092
研究機関群馬大学

研究代表者

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

研究期間 (年度) 2017-04-01 – 2021-03-31
キーワード書換え系 / 関数プログラム / 型理論 / 合流性 / 停止性 / ラムダ計算 / 自動証明
研究実績の概要

本年度は、二階書換えの停止性のモジュラ性についての論文の証明を完成し、論文の投稿を行なった。またこのモジュラ停止性証明手法をSOLシステムに実装した。

さらにSOLシステムの改良を重ね、Unboundライブラリを用いた変数束縛機構の実装へと改良した。

これらにより高階代数系を基礎とするプログラミング言語のための有用な研究成果とツールの構築ができたと考えられる。

  • 研究成果

    (3件)

すべて 2021 その他

すべて 学会発表 (1件) 備考 (2件)

  • [学会発表] 高階パターン単一化のUnboundライブラリを用いたHaskellによる実装2021

    • 著者名/発表者名
      藤岡 亮, 浜名 誠
    • 学会等名
      第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021)
  • [備考] ホームページ

    • URL

      http://www.cs.gunma-u.ac.jp/hamana/

  • [備考] SOLシステムWebインターフェース

    • URL

      http://www.sofsci.cs.gunma-u.ac.jp/solweb/

URL: 

公開日: 2021-12-27  

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

Powered by NII kakenhi