高精度计算中的名词解释