谢荪

相关

• 自然演绎在数理逻辑中，自然演绎是证明论中尝试提供象“自然”发生一样的逻辑推理形式模型的一种方式。这种方式对比于使用公理的公理系统。自然演绎来源自对共通于弗雷格、罗素和希尔
• 张伯伦亚瑟·内维尔·张伯伦，FRS（英语：Arthur Neville Chamberlain，1869年3月18日－1940年11月9日），英国保守党政治人物，1937年5月至1940年5月担任英国首相，以其绥靖主义外交政策闻名，并于193
• 外来物种外来种，有时也称为引入种，是指原来在当地没有自然分布，经由人为无意或有意引进的物种。由于人类在世界各地交流频繁，使得许多生物得以突破地理隔绝，拓展至他处。外来种移入后，可能
• KenKen金子贤辅（日语：金子 賢輔／かねこ けんすけ ，1985年12月30日－）是RIZE乐队成员，担当贝司手。出生于是东京下北泽的世田谷区。所属机构是PARADOX。2019年7月19日，因违法《大麻取缔法》
• 黄晨黄晨（1988年8月17日－），中国浙江宁波人，围棋职业棋手。他2002年入段，2008年升为五段。黄晨曾获2000年世界青少年围棋锦标赛少年组亚军，2001年第12届国际业余围棋混双赛冠军（与范蔚菁
• 带有七个尖角阁的房子《带有七个尖角阁的房子》（The House of the Seven Gables），或译七角楼、凶宅七角楼，是纳撒尼尔·霍桑在1851年4月出版的一部哥特小说。其名来自马萨诸塞州塞勒姆的同名建筑，这栋
• 范成范成可以指：
• 马勉马勉（?－145年），阴陵（今安徽定远）人，东汉中期起事领袖。建康元年（144年）十一月，和同乡徐凤在当涂山中起事，徐凤穿绛衣，带黑绶，称无上将军，马勉戴皮冠、穿黄衣，带玉印，称黄帝，筑营，进攻合肥。次年三月，九江都尉滕抚与中郎将赵序助御史中丞冯绲，围剿马勉。马勉、徐凤相继被杀。
• 夏普尔卡米尔萨法德足球会夏普尔卡米尔萨法德足球会(Hapoel F.C. Karmiel Safed (希伯来语：הפועל מועדון ספורט כרמיאל צפת‎)是一支位于以色列卡梅尔的职业足球会，目前于以色列足球乙级联赛北组角逐。
• 张咨张咨（？－190年），字子议，东汉末年人物，南阳郡太守。董卓受周毖、伍琼之言，为收纳名望和平息反对，重新任用党人，荀爽、陈纪、韩融都不自愿地受到任用，又以袁绍为勃海太守、韩馥为冀州牧、刘岱为兖州刺史、孔伷为豫州刺史、张邈为陈留太守、张咨为南阳太守等。但这些举动也不能平息各地愤恨。在京都的袁术因畏惧董卓而逃到南阳，而曹操认为董卓必定会败亡，所以亦逃出京都。初平元年（190年）关东诸侯起兵讨伐董卓。孙坚带兵参战，张咨因孙坚军过时不加以奉承，孙坚便假意送牛、酒邀张咨大宴，把酒言欢。孙坚趁张咨酒酣时，故意叫长沙主