施启宇

相关

• 形式化方法形式化方法，中文也称形式方法、正规方法。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件
• 乔许·祖尼尔乔许·祖尼尔（Josh Junior，1989年12月22日－），是一名出生于新西兰威灵顿的帆船运动员。他曾代表新西兰参加2016年里约夏季奥运。
• 南森·席文席文（Nathan Sivin，1931年5月11日）是美国科技史学家。他和李约瑟一样，以研究中国科技史著名。席文现为美国宾夕法尼亚大学教授，专业为中国科技史、中国医学史、中国哲学和中国宗
• 大蒂顿国家公园大提顿国家公园（英语：Grand Teton National Park，或译大蒂顿国家公园）是位于美国怀俄明州西北部的一个国家公园。公园的名称来自于大提顿峰。大提顿峰标高4,199米，是提顿山脉的最
• CHEEZECHEEZE（韩语：치즈、英语：CHEEZE）是韩国一支独立音乐乐队，原由Dalchong、Cloud、Molo以及Mudi四位成员组成，现成员Dalchong以CHEEZE的名义继续活动。2013年Mudi由于音乐观念不符退
• 董石麟董石麟（1932年－），浙江杭州人，浙江大学教授，从事空间结构研究方向的教学、科研工作。1951年毕业于杭高，1955年毕业于同济大学结构工程系，1997年当选为中国工程院院士。2009年获浙江大
• 中华帝国主义中华帝国主义（英语：Chinese Imperialism），又名中国的帝国主义、中国帝国主义、中帝国主义，是指中国在历史上于东亚地区奉行的帝国主义对外扩张思想，中国的扩张也是东亚历史的重要
• 沃尔特·福沃德沃尔特·福沃德（Walter Forward，1786年1月24日－1852年11月24日），美国政治家，美国民主-共和党和美国辉格党人，曾任美国众议院议员（1822年-1825年）和美国财政部长（1841年-1843年）。
• 卡里贾皮孔卡里贾皮孔（Kharijapikon），是印度阿萨姆邦Goalpara县的一个城镇。总人口5833（2001年）。该地2001年总人口5833人，其中男性3296人，女性2537人；0—6岁人口731人，其中男357人，女374人；识字
• 山梨县旗山梨县旗（日语：山梨県旗／やまなしけんき ）是日本的47面日本都道府县旗之一。该条目是对山梨县旗以及山梨县章（日语：山梨県章／やまなしけんしょう）的解说。县章在1966年10月1日第219