约翰·库克曼

相关

• 直觉类型论直觉类型论（Intuitionistic type theory）、或构造类型论、或Martin-Löf 类型论、或就叫类型论是基于数学构造主义的函数式编程语言、逻辑和集合论。直觉类型论由瑞典数学家和
• 法国国家信息与自动化研究所法国国立计算机及自动化研究院，法文为 Institut national de recherche en informatique et en automatique (简称INRIA)，其重点研究领域为计算机科学，控制理论及应用数学。该
• 林　镕林镕（1903年3月27日－1981年5月28日），江苏丹阳人，中国植物学家，中国科学院植物研究所研究员。中国真菌学研究开拓者之一。发现了菊科重羽菊属及各类植物的新分类群百余种。为中国菊
• 扩张主义扩张主义作为一种意识形态或国家对外的政治政策，旨在通过单独或者兼用军事、外交及移民等手段，从而达到增加本国领土、殖民地或者主权，宣示霸权和扩大本国政治、经济及文化影响
• 福冈圣菜福冈圣菜（日语：福岡 聖菜／ふくおか せいな  */?，2000年8月1日－）是日本偶像艺人，为女子偶像团体AKB48 Team B成员。神奈川县出身，所属经纪公司为AKS。
• 鸡尾类鸡尾类是品种最为繁多的鸡尾酒类，一般用摇酒壶摇匀，放到鸡尾酒杯（一种有高脚，上部是40度左右倒置的正圆锥体杯子）中饮用，有时不摇，加调酒棒自己搅拌。
• 上野英三郎上野英三郎（日语：上野 英三郎／うえの ひでさぶろう，1872年1月19日－1925年5月21日）是日本东京帝国大学（现东京大学）的教授和农学博士，是日本现代农业工程学的奠基者，同时在大众文化中以
• 闭姓《百家姓》中无此姓闭姓是汉姓之一。据《闭氏族谱》记载，闭氏起源于唐朝唐玄宗时期，由山东曲阜白马街迁徙到广西。
• 玛丽埃尔·海明威玛丽埃尔·哈德利·海明威（英语：Mariel Hadley Hemingway，1961年11月22日－），生于美国加利福尼亚州米尔谷，美国女演员和作家。玛丽埃尔16岁时出演处女作电影《口红》（1976）而成名。她
• 里加中央市场里加中央市场（拉脱维亚语：Rīgas Centrāltirgus）是欧洲最大的市场，位于拉脱维亚首都里加。里加中央市场是20世纪拉脱维亚最著名的建筑之一，也被列入世界文化遗产名单。市场自1922年开始计划建造，修建于1924年至1930年期间 。坐标：.mw-parser-output .geo-default,.mw-parser-output .geo-dms,.mw-parser-output .geo-dec{display:inline}.mw-parser-output .geo-nondef