Skip to content
プログラミング研究室
東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系
Menu
ホーム
構成員
研究プロジェクト
論文
連絡先・アクセス
型理論に基づいた音楽自動生成に関する招待講演 (@ TYPES 2022)
叢悠悠
が TYPES 2022 で “Composing Music from Types” という題目の招待講演を行います.
2022-06-22
.
高橋が情報処理学会コンピュータサイエンス領域奨励賞を受賞
→
←
Truffle 2022においてPoly2Kanonに関する講演