Skip to content
プログラミング研究室
東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系
Menu
ホーム
構成員
研究プロジェクト
論文
連絡先・アクセス
斉藤、角田、津山による修士論文発表
研究メンバによる修士論文の発表が行われました。
斉藤歩夢
, Formalization of Intrinsically Typed Probabilistic Programs
津山勝輝
, 継続の使用回数に基づいた最適化を行う内在的型安全コンパイラ
角田和広
, エラー生成クイズの導入可能性調査と問題作成自動化
2024-02-06
.
メンバー5名が学士論文を発表
→
←
エフェクトハンドラのための内在的型安全コンパイラに関するPEPM論文