本网讯
IT论坛现场 张景中：用机器证明定理是一个古老的梦 作为国内知名的计算机科学家和数学家，张院士长期从事机器证明、教育数学、距离几何及动力系统等领域的研究。此次IT论坛，张院士为我们讲授的是“几何定理的机器证明之回顾、现状”。他讲道：“用机器证明定理是一个古老的梦，由于信息技术的发展和数学家、计算机科学家的努力，才使美梦成真。”因为在1976年之前，人们都还没有有效证明几何定理的机械化方法。 张景中院士 张院士对几何定理的机器证明的发展历程作了较详细的介绍，其中还包括许多他当年所做的研究工作，带我们回顾了这些年来国内外专家在这个领域所取得的科研成果。讲到几何定理机器证明的方法时，他说，以前的数学老师告诉初中生，举例子不能代替证明，证明要靠推理。而到今天已经证明了举例子可以证明几何定理，外国同行给予这个成果很高的评价。对于几何不等式的机器证明曾被称为是机器证明的一大难题，近十年来也有了重大进展。 刘怡俊：嵌入式系统的发展及其最新应用 刘怡俊教授 周轶：微软“云计算”及在教育行业的应用 相比企业管理，更热忱于教育行业的微软（中国）有限公司教育行业技术总监周轶，讲述的是“微软‘云计算’介绍及在教育行业的应用”。他主要介绍了“云计算”的应用，阐释人们对“云计算”的误解，主要有：“云计算”就是网格计算、实施“云计算”需要舍弃原有的IT基础设施资源、“云计算”只适合中小企业、“云计算”是一项技术或产品，以及“云计算”就是虚拟化等。周总监讲道：“‘云计算’在教育信息化中应用中有几个热点问题，包括构建个人网络学习环境，提高网络学习的效率以及‘云计算’与开源教育。‘云计算’能解决一些高校教育信息化中面临的挑战。” 周轶总监 周总监还讲述了“云计算”与传统体系在架构上的不同点以及“云计算”的关键技术。他说：“‘云计算’在高校信息化中的价值有降低建设成本和运维成本，无限资源随时可用，按需扩展 ，支持科研创新 ，数据和资源的本地共享以及更快速地部署和使用。‘云计算’的价值是需求随时间而变化，需求无法预估以及资源投入有限。”同时， 孙昕：IBM校企合作解决方案 IBM Rational大中华区技术总监孙昕讲述“IBM校企合作解决方案”。“今天，现代科学技术将人类带入了信息社会，计算机软件扮演着十分重要的角色，软件工程已成为信息社会高技术竞争的关键领域之一。”他讲述了软件未来发展的趋势，软件工程的重要性，并对学院开设的软件工程专业将理论和实训高度结合表示赞赏，鼓励学院学生要注重实训，掌握主流软件操作使用。 孙昕总监 此外，孙总监讲述了IBM公司与学校合作共同培养新IT人才的一套方案，详述了“敏捷开发”。他讲道：“‘敏捷开发’是一种以人为核心、迭代、循序渐进的开发方法。在‘敏捷开发’中，软件项目的构建被切分成多个子项目，各个子项目的成果都经过测试，具备集成和可运行的特征。”他介绍了工程化的思想开发管理软件，列举了中国与印度软件发展的例子进行对比。针对学生提问的关于IBM招聘员工的问题，他说：“我们需要一定的工作经验，鼓励学子到IBM门户网站浏览申请我们提供给在校大学生的实习项目。” （供稿：传媒中心学生记者 钟达平 李沅 摄影：甄文亮 鲜晓东 牛广 
