杨武之 中央地质调查所 史料 科学与技术 地质工作者 数学系主任 利基 获奖情况