我国最早计算出圆周率的第七位有效数字的人