波特王

相关

• 直觉类型论直觉类型论（Intuitionistic type theory）、或构造类型论、或Martin-Löf 类型论、或就叫类型论是基于数学构造主义的函数式编程语言、逻辑和集合论。直觉类型论由瑞典数学家和
• 中纬纬度（φ）是地球表面一个点的南北地理位置的表示法。纬度与经度通常一起使用以确定地表上某点的精确位置。纬度是一个角度，其范围从赤道的0度到南北极的90度。在英文文本中，纬度
• 茯苓茯苓（拉丁文：Poria），又称玉灵、茯灵、万灵桂、茯菟、茯苓神、伏灵，是拟层孔菌科真菌茯苓的干燥菌核，常寄生在松树根上，形如甘薯，球状，外皮淡棕色或黑褐色，内部粉色或白色，精制后称为白
• 峡江县峡江县地处江西省中部，隶属于吉安市。别称玉峡，因此地为赣江要冲，江面狭窄，水流湍急，故名峡江。峡江现辖6镇4乡1场，县治原设赣江西岸的巴邱镇，1997年7月1日迁至赣江以东20公里的水
• 幺部幺部，为汉字索引里为部首之一，康熙字典214个部首中的第五十二个（三划的则为第二十三个）。就繁体和简体中文中，幺部归于三划部首。幺部通常是从左方及中间均可为部字，且无其他部首
• 1985年冬季世界大学生运动会第十二届冬季世界大学生运动会于1985年在意大利的贝卢诺举行。本次比赛于2月16日至24日举行，为期9天。本届赛事共设9个项目。共有来自30个国家和地区的大约1000名运动员参加
• 邓中翰邓中翰（1968年9月－），江苏南京人，汉族，中国工程院信息与电子工程学部院士，第十一届全国人民代表大会天津地区代表。现任中星微电子有限公司董事长。毕业于中国科学技术大学和加州大
• 黄胜年黄胜年（1932年2月10日－2009年1月8日），生于江苏太仓，中国核物理学家。1950年—1952年在清华大学物理系学习。1952年—1955年在苏联列宁格勒大学物理系学习。1991年当选为中国科学
• 严德严德，安徽太平（今马鞍山市及芜湖市）人，元末明初军事将领。其早年跟随朱元璋起兵，居功升任海宁卫指挥。后跟随朱亮祖征讨方国珍，后在台州战败而亡。追封天水郡公。
• 渠江 (沅水支流)渠江，是湖南省沅水一级支流，古称叙水，发源于贵州省黎平县地转坡，流经湖南省通道侗族自治县、靖州苗族侗族自治县、会同县、洪江市，于洪江市托口镇注入沅水，全长215公里，流域人口约8