Skip to content
プログラミング研究室
東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系
Menu
ホーム
構成員
研究プロジェクト
論文
連絡先・アクセス
須田がテンソル形状一致検査に関する研究をプログラミング研究会にて発表
須田
が
第149回情報処理学会プログラミング研究発表会
で「TensorSafeのテンソル形状一致検査方式の有向非巡回グラフモデルへの応用」と題する発表を行いました。
須田太斗
,
田邉裕大
,
増原英彦
,
叢悠悠
. TensorSafeのテンソル形状一致検査方式の有向非巡回グラフモデルへの応用.
2024-06-13
.
空間効率の良い漸進的型付けに関する PLDI 2024 論文
→
←
Programming with Versionsに関する千葉工大ステアラボセミナー招待講演