首先计算出谷神星的轨道数据的人是（ ）。