池守、高橋、古殿による学士論文発表

研究室メンバの学士論文が発表されます。 (令和3年３月卒業 数理・計算科学系 学士論文発表会)

  • 池守和槻, 代数的エフェクトを持つ計算体系F^effへのエフェクト強制の導入と健全性の証明 (PDF)
  • 古殿直也, 代数的エフェクトを備えた関数型言語 Koka に対する、エフェクト割り当て最適化 (PDF)
  • 高橋修祐, データ構造ライブプログラミング環境の汎言語的な構築手法 (PDF)
2021-02-12.
→
←