李燕

相关

• 直觉类型论直觉类型论（Intuitionistic type theory）、或构造类型论、或Martin-Löf 类型论、或就叫类型论是基于数学构造主义的函数式编程语言、逻辑和集合论。直觉类型论由瑞典数学家和
• 有机农业的历史有机农业的历史（英语：History of organic farming）是指有机农业的发展与经过。1924年，由德国人鲁道夫·史坦纳首先提倡农作物有机栽培法，但当时世界农业发展趋势为追求农业的工业
• FlipboardFlipboard是一款社交及杂志形式的应用程序，支持Android、iOS、BlackBerry 10及Windows 8操作系统。应用程序需要用户拥有一个Flipboard账号，支持绑定包括Twitter、Facebook、
• 罗缎罗缎是一种纬线比经线粗、因而显示出棱纹的平纹织物， 它的表面不光滑，但是却十分耐用。 黑色的罗缎最为常见，但也有其他颜色的罗缎。罗缎可以用丝、羊毛、尼龙等各种材质织成，
• 恒春半岛恒春半岛位于台湾屏东县，因恒春镇得名，是台湾全岛最南处。恒春半岛三面环海，西临台湾海峡，南为巴士海峡，东邻太平洋，唯有半岛北端是与台湾本岛衔接，故有海洋水汽调节，且半岛地形高度
• 名古屋市科学馆名古屋市科学馆（日语：なごやしかがくかん）是爱知县名古屋市中区白川公园内的一座科学馆，为市政70周年纪念事业的一部分。名古屋市科学馆的前身是天文馆，开业于1962年。1964年，理工
• cut (Unix)在电脑使用上，cut是一种Unix命令行程序。它常用来截取每行输入──通常是文件──的片段。一般截取行片段可以透过比特（-b）、字符、或者以分隔字符（-d—默认为跳位字符）分隔的字
• 布莱恩·迪岑布莱恩·迪岑（英语：Brian Dietzen，1977年11月14日－）是美国的一位演员。自从2004年以来，他就开始出演电视剧NCIS犯罪现场。在2012年，他升格成为这部剧集的常规角色。他也出演过一些
• 齐洪贝区齐洪贝区（马达加斯加语：Tsihombe），是马达加斯加的行政区，位于该国南部，由安德罗伊区负责管辖，首府设于齐洪贝，面积2,223平方公里，2011年人口104,367，人口密度每平方公里47人。
• 胡亚美胡亚美（1923年3月24日－2019年10月3日），女，北京人，中国医学家，专攻小儿健康的血癌（即白血病）治疗研究工作。1941年在燕京大学医预系学习，1942年3月进入北大医学院，1947年7月毕业于北京大