945 数学家杨谨