Poster Presentation at PPL 2026: Compile-Time Tensor Shape Checking based on Multi-Stage Programming and Its Application to DNN-Related Programs