china.org.cn

登攀計画

　国の基礎研究の重要なカギとなるプロジェクト計画――「登攀計画」が1992年から正式に実施され始めた。このプロジェクト計画は国が基礎研究に対するサポートを強化し、基礎研究の持続的安定成長を促すものである。数年来、「登攀計画」は顕著な成果をおさめた。そのうち、「大規模な科学・工学計算の方法と理論」というプロジェクトのシンプレクティック幾何についての研究は特有の創造性、系統性、広範囲性、理論の完ぺきさ、成果の多彩さで世界の知名な学者の間で高く評価され、世界での一連の関連ある研究を促すとともに、天体力学、分子動力学、大気物理学などの分野の研究のなかで成功裏に応用され、1997年度国家自然科学１等賞を獲得した。「機械的証明及びその応用」プロジェクトは幾何不変量による幾何学定理で機械的証明を実現した。これは学界で自動推理の分野でのメルクマールともいえる成果だと認められている。