斉藤、角田、津山による修士論文発表

研究メンバによる修士論文の発表が行われました。

  • 斉藤歩夢, Formalization of Intrinsically Typed Probabilistic Programs
  • 津山勝輝, 継続の使用回数に基づいた最適化を行う内在的型安全コンパイラ
  • 角田和広, エラー生成クイズの導入可能性調査と問題作成自動化