年月日，我国第一个计算机技术研究机构，中国科学院计算机技术研究所筹备委员会成立，著名数学家（）任主任