[Grass 003] 数学 式 安全性 一致