[Lava 005] 式 数学