南方三一大学

相关

• 直觉类型论直觉类型论（Intuitionistic type theory）、或构造类型论、或Martin-Löf 类型论、或就叫类型论是基于数学构造主义的函数式编程语言、逻辑和集合论。直觉类型论由瑞典数学家和
• 伯里布森伯里布森（Peribsen）是古埃及第二王朝的一位法老，在位17年。他可能用了非同一般的手段来登上王位。他的王衔形式不是早王国时期诸法老常用的荷鲁斯而是赛特，说明他来自其他家族。
• 瓶尔小草亚纲瓶尔小草亚纲（Ophioglossidae）是链束植物四个亚纲之一。本亚纲已知有松叶蕨科和瓶尔小草科两科，分属松叶蕨目和瓶尔小草目两目。松叶蕨纲是其他蕨类植物（包括合囊蕨科与木贼科）的
• 硝酸铁硝酸铁、硝酸铁(III)是铁(III)的硝酸盐，化学式为Fe(NO3)3·9H2O，相对分子质量为403.99。它是无色至暗紫色的潮解性晶体，可通过铁或氧化铁与硝酸反应制备。硝酸铁催化钠的液氨溶
• 大卫·哈塞尔霍夫大卫·迈克尔·哈塞尔霍夫（英语：David Michael Hasselhoff；1952年7月17日－），出生于美国巴的摩尔的德国裔演员，绰号“霍夫”（The Hoff）。最著名的演出是《霹雳游侠》与《海滩游侠》。
• 金赵光秀金赵光秀（韩语：김조광수，1965年3月26日－），韩国电影制片、导演、作家及LGBT人权运动者。 金赵光秀是韩国少数公开身份的男同性恋电影导演，曾参与多部以男同性恋主题的作品。他曾与导
• 少女不十分《少女不十分》（日语：少女不十分，直译为“不够少女”）是日本作家西尾维新创作的一部小说，故事讲述一名立志成为作家的大学生被一名小学女生监禁，并因为这件事而成功成为一名作家的
• 艾希淳艾希淳（？－？），字治伯，陕西延安府米脂县人，明朝政治人物。嘉靖十四年（1535年）乙未科二甲第十七名进士。历官保定巡抚，有政声。官至户部右侍郎，嘉靖三十五年（1556年）以疾致仕归。。曾祖艾旺；祖
• 细雪纯细雪纯（9月30日－），日本女性漫画家。出身于福岛县二本松市。血型O型。※太字表示说明细雪的原创作品。
• 铜蛇铜蛇（英语：Nehushtan或Nehustan；希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter