Research Talk at ECOOP 2026: Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
PPL 2026 ポスター: 多段階計算に基づくコンパイル時テンソル形状検査のDNNプログラムへの適用