高兰孙

相关

• 直觉类型论直觉类型论（Intuitionistic type theory）、或构造类型论、或Martin-Löf 类型论、或就叫类型论是基于数学构造主义的函数式编程语言、逻辑和集合论。直觉类型论由瑞典数学家和
• 饱和脂肪酸脂肪酸（英语：Fatty acid）是一类羧酸化合物，由碳氢组成的烃类基团连结羧酸所构成。三个长链脂肪酸与甘油形成三酸甘油酯（Triacylglycerols），为脂肪的主要成分，归于脂类。饱和脂肪酸（Sa
• 军事参议院军事参议院（軍事参議院／ぐんじさんぎいん Gunji sangiin ?）是指在大日本帝国军中回复天皇重要军务咨询的国家机关。1903年设立，1945年被废止。军事参议院就是等到天皇举行军事
• 角田觉治角田觉治（1890年9月23日－1944年8月2日）是第二次世界大战太平洋战争中大日本帝国海军航空队中将司令官，最后于天宁岛战役自杀。角田出生于1890年（明治23年）9月23日，是日本新潟县南蒲
• 青岛小片青岛话是通行于中国青岛市市域范围内的一种北方现代汉语方言。系属胶辽官话青莱片。广义的青岛话，按照不同特点，可以分为7种方言：青岛老街里方言、崂山－李沧方言、城阳方言、即
• 乐陵市乐陵市（“乐”当地方言音lào〔音烙〕）是中华人民共和国山东省下辖的县级市，由德州市代管，地处山东省北部，毗邻河北省。总面积为1172平方千米，2001年人口为64万。目前市委书记为樊
• 英国去留欧盟公投英国去留欧盟公投（英语：The United Kingdom European Union membership referendum）是英国国内就其欧盟成员资格去留问题于2016年6月23日举行的公投。通称“英国脱欧公投”（Brex
• 孙嘉绩清代修《浙江余姚孙氏宗谱》之孙忠襄公像孙嘉绩（1604年－1646年），原名光弼，字辅之，号硕肤，浙江余姚县（今属慈溪市）人。明末进士，南明抗清人物。祖父孙如游，天启年间官礼部尚书兼东阁大学
• 世界工业设计大会世界工业设计大会（英文World Industrial Design Conference，缩写WIDC）是由中国工业设计协会联合多所设计组织、机构、企业以及院校等发起的工业设计行业国际会议。2016年12月2
• 梁信军梁信军（1968年10月－），浙江台州人，中华人民共和国企业家，复星集团创始人之一，现任公司副董事长兼首席执行官。此外，梁先生还是上海市政协第十一届委员会委员、中国青年企业家协会副会