我国最早求出圆周率第七位有效数字的人是（）。