Skip to content
プログラミング研究室
東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系
Menu
ホーム
構成員
研究プロジェクト
論文
連絡先・アクセス
日本ソフトウェア科学会第23回プログラミングおよびプログラミング言語ワークショップポスター賞, 叢悠悠,2021, Agda による対位法の形式化
Please wait while you are redirected...or
Click Here
if you do not want to wait.
2021-03-11
.
日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップポスター賞, 叢悠悠,2022, 型を利用した音楽自動生成に向けて
→
←
手島精一記念研究賞(博士論文賞), Matthias Springer, 2021, Memory-Efficient Object-Oriented Programming on GPUs