PPL 2026 ポスター： 多段階計算に基づくコンパイル時テンソル形状検査のDNNプログラムへの適用

プログラミング言語 型システム OCaml 多段階計算 深層学習

2026年3月9–12日に開催されたPPL 2026でのポスター発表に使用したポスターです．