国立台湾大学研究图书馆

相关

• 直觉类型论直觉类型论（Intuitionistic type theory）、或构造类型论、或Martin-Löf 类型论、或就叫类型论是基于数学构造主义的函数式编程语言、逻辑和集合论。直觉类型论由瑞典数学家和
• 宏观演化现代生物分类群体从它们的 共同祖先遗传分化的图示。进化论介绍（英语：Introduction to evolution） 演化的证据 共同起源 共同起源的证据群体遗传学 · 遗传多样性 突变 · 自
• 亚纳河亚纳河（Яна），俄罗斯西伯利亚一河流，流域全境位于雅库特共和国境内，在勒拿河以东，因迪吉尔卡河以西。亚纳河发源于上扬斯克山脉，自南向北流入拉普捷夫海，全长872公里，流域面积238,0
• 香獐麝，俗称香獐，在有角下目是现存最原始的科，种类少，无角，雄性有发达獠牙。下设一属麝属，有七个种，包括原麝、林麝、黑麝、喜马拉雅麝、安徽麝（原被认为是林麝的亚种）、白腹麝（也常被称为
• 法比安·布雷德洛法比安·布雷德洛（德语：Fabian Bredlow；1995年3月2日－）是一位德国足球运动员。在场上的位置是守门员。他现在效力于德国足球乙级联赛球队弗赖堡足球俱乐部。他也代表德国U19国家
• 因邦古县坐标：6°15′S 143°59′E / 6.250°S 143.983°E / -6.250; 143.983因邦古县（英语：Imbonggu District），是巴布亚新几内亚的县份之一，位于新几内亚岛东部，由南高地省负责管辖，首府设
• 南郡南郡，中国古代的郡，秦昭襄王时设置，位于今湖北省荆州一带。秦昭襄王二十九年（前278年），大良造白起攻占楚都郢，设置南郡。前206年，项羽立楚义帝柱国共敖为临江王，以南郡为临江国。汉高
• 德勒戈泰什蒂乡 (戈尔日县)德勒戈泰什蒂乡（罗马尼亚语：Drăgotești）是罗马尼亚的乡份，位于该国西南部，由戈尔日县负责管辖，面积28平方公里，海拔高度214米，2007年人口2,709，人口密度每平方公里97人。
• 胡让胡让 （1385年－1444年），字仲逊，四川省重庆府巴县西隅人，民籍，治《书经》，年二十八岁岁中式永乐十年壬辰科第三甲第五十七名进士。十一月初九日生，行一，曾祖胡泰山；祖胡海；父胡彦芳；母刘氏
• 德茜蕾公主德茜蕾公主（瑞典语：，1938年6月2日—），瑞典公主，卡尔十六世·古斯塔夫的三姐。1964年，德茜蕾与尼可拉斯·希尔佛斯丘男爵结婚，两人共有1子2女：