公式实现行列