Skip to content
プログラミング研究室
東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系
Menu
ホーム
構成員
研究プロジェクト
論文
連絡先・アクセス
叢が東工大挑戦的研究賞を受賞
授賞式 (大学お知らせページより)
叢
が「曖昧な仕様を保証するための型付きプログラミング言語の開発」という題目の研究課題に関して、令和5年度東工大挑戦的研究賞を受賞しました。
大学 Web ページのお知らせへのリンク
2023-07-29
.
Apriyadiによる修士論文発表
→
←
田邉の博士論文がJournal of Functional Programmingにて紹介