関数型まつり2026発表： 多段階計算によるコンパイル時テンソル形状検査

スライド 学術研究 プログラミング言語 型システム 多段階計算 深層学習
PDF

関数型まつり2026で発表させていただいた際のスライドです．内容はECOOP 2026の拙著論文の紹介です．