fjcanyue/wikipedia-zh-cn huggingface dataset:
摩天楼的怪人

《摩天楼的怪人》（摩天楼の怪人，"The Phantom of the Skyscraper"）是日本推理作家岛田庄司的推理小说，为其笔下的侦探御手洗洁系列小说。
故事概要.
美国知名女演员乔蒂·沙利纳斯在弥留之际向守候在她身边的人透露了一个秘密——她在数十年前曾在她所居住的曼哈顿摩天楼一楼枪杀了当时知名的演艺公司老板弗来迪利克·齐格飞。虽然乔蒂本人极力声称是自己扣下扳机的，但有一个谜题是连她自己也不明白的，那就是当时身处34楼的乔蒂，在仅有15分钟空档和电梯因暴风雨停电而停止运作下，是不可能独力犯下这宗案件的。对此乔蒂认为是有「幽灵」在帮助她，让她在一瞬间跨越34层楼的距离犯案……
荣誉.
2006年《摩天楼的怪人》仅以2票之差败给东野圭吾的《嫌疑犯X的献身》，最终失落本格推理大奖。
达斯基岭

达斯基岭（Dusky Ridge）是南极洲的山岭，位于奥次地，长17公里、宽4公里，处于利斯克冰川和欣顿冰川之间，属于不列颠岭的一部分，现时由南极条约体系管理。
欣顿冰川

欣顿冰川（Hinton Glacier）是南极洲的冰川，位于奥次地，处于不列颠岭地区，流经福布斯岭和达斯基岭，最终注入哈瑟顿冰川，现时由南极条约体系管理。
福布斯岭

福布斯岭（Forbes Ridge）是南极洲的山岭，位于奥次地，属于不列颠岭的一部分，长13公里，流经欣顿冰川东岸的麦克林托克山，现时由南极条约体系管理。
柴武

柴武，或说陈武，西汉军事人物、开国功臣。在秦末的乱世中追随刘邦，参与众多战事并屡立战功。以功封棘蒲侯，为汉高祖定下的汉初十八功侯之一，排名第十三。谥刚侯，也称刚武侯。一生追随了两位帝王(高祖、文帝)，并经历了灭秦战争、楚汉战争、斩杀韩王信、迎立文帝、平靖济北王叛乱等事件。
归附刘邦.
柴武为众多起义军之一，在秦朝末时，率领薛邑两千五百人起兵反秦。
秦二世二年七月，章邯围田荣于东阿，刘邦及柴武率兵前去救援东阿，并大破章邯。这是二人第一次合作的战事。
秦二世二年十二月，沛公率领军队向西，在昌邑遇见彭越，于是与他一起进攻秦军，作战遭受败绩。撤兵到栗县，正好遇到刚武侯(『刚武侯』宜为『刚侯武』)，就把他的军队(大约有四千人)并入了自己的军队。柴武因此正式归附在刘邦阵营中。
重要战争事迹.
灭齐之战.
汉高祖二年（前205年），柴武率领汉军讨伐齐国历下的胶东将军田既，并大破田既齐军，得以功棘蒲侯，封为列侯。
楚汉战争—垓下之战.
汉高祖五年（前202年），垓下之战，高祖集合各诸侯兵以共击楚军，与项羽决胜垓下，在战争过程中，以「孔将军居左，费将军居右，皇帝在后，绛侯、柴将军在皇帝后」柴武与周勃一起负责刘邦部队后方的守卫工作，由此可知柴武深得刘邦信任。其后大败项羽于垓下，最终项羽卒闻汉军之楚歌，四面皆楚歌，以为汉军尽得楚地，乃士气崩溃。项羽乃败而走，率八百骑乘夜向南突围，由此项羽兵大败。
斩杀韩王信.
高祖十年（前197年），韩王信派王黄等人游说驻守代地的陈豨起兵反汉。汉高祖十一年（前196年），韩王信又与匈奴侵汉，占领参合。刘邦于是派遣柴武带兵前去讨伐已经归降匈奴的韩王信，战前柴武写信向韩王信劝降，信中写道
"「遗信书曰：『陛下宽仁，诸侯虽有畔亡，而复归，辄复故位号，不诛也。大王所知。今王以败亡走胡，非有大罪，急自归！』」"
韩王信回信，婉言拒绝，
"「『陛下擢仆起闾巷，南面称孤，此仆之幸也。荥阳之事，仆不能死，囚于项籍，此一罪也。及寇攻马邑，仆不能坚守，以城降之，此二罪也。今反为寇将兵，与将军争一旦之命，此三罪也。夫种、蠡无一罪，身死亡；今仆有三罪于陛下，而欲求活于世，此伍子胥所以偾于吴也。今仆亡匿山谷闲，旦暮乞贷蛮夷，仆之思归，如痿人不忘起，盲者不忘视也，势不可耳。』」"
于是两军交战，柴武阵斩韩王信于参合。
平定济北王叛乱.
汉文帝二年（前178年），北境匈奴大举犯境，汉文帝让丞相灌婴领兵八万五千骑北击匈奴，不久匈奴便退走了。同年，济北国王刘兴居趁灌婴领军北进、文帝也离开京城之际，公然反汉。当时柴武身为大将军，文帝命令柴武出兵讨伐，柴武俘虏了济北王刘兴居，刘兴居随后自杀，济北国被撤除。
家庭.
其子谋反.
汉文帝六年（公元前174年），柴武之子柴奇与淮南王刘长密谋造反，但事迹败露遭逮捕。汉文帝后元元年（公元前163年）柴武卒，因柴奇曾造反不得继承其父的侯国，于是棘蒲侯国被除国。
利斯克冰川

利斯克冰川（Lieske Glacier）是南极洲的冰川，位于奥次地，属于不列颠岭的一部分，流经约翰斯顿岭和达斯基岭，最终注入哈瑟顿冰川，现时由南极条约体系管理。
约翰斯顿岭

约翰斯顿岭（Johnstone Ridge）是南极洲的山岭，位于沙克尔顿海岸，处于哈瑟顿冰川南面，属于不列颠岭的一部分，全长13公里，现时由南极条约体系管理。
德萨弗拉岭

德萨弗拉岭（DeZafra Ridge）是南极洲的山岭，位于奥次地，长9公里，属于库克山脉的一部分，处于福尔特海崖以西5公里，现时由南极条约体系管理。
福尔特海崖

福尔特海崖（Fault Bluff）是南极洲的海崖，位于奥次地，属于库克山脉的一部分，处于朗赫斯特高原东北面17公里，海拔高度2,320米，现时由南极条约体系管理。
朗赫斯特高原

朗赫斯特高原（Longhurst Plateau）是南极洲的高原，位于奥次地，处于朗赫斯特山以西，南面是达尔文冰川，东面是麦克利里冰川，长37公里、宽19公里，海拔高度2,200米，现时由南极条约体系管理。
江苏基督教新教

基督教新教在江苏的发展最早开始于19世纪中叶的清朝后期，来自英美的传教士于1843年在通商口岸上海立足后，便尝试进入苏州、南京、扬州等其他城市。到20世纪初，基督教新教在江苏经历了较大的发展，发展到拥有5万信徒。现在基督教在江苏有逐渐恢复发展，基督徒也逐渐成长。
教派.
19世纪和20世纪初，同时有多个英美差会进入江苏传教：此后，基督教新教约有30个教派陆续传入江苏，包括：
20世纪上半叶，江苏又出现不少华人创立的独立团体或堂会：
1949年以前，西方传教士驻扎在江苏省的约20个城市，其中南京超过100人，其次包括苏州、镇江、扬州和清江浦（今淮安市区）。
现状.
文化大革命结束之后，江苏省恢复开放教堂，开放的活动场所达到4390处，基督教信徒逐渐增加到180多万。江苏省的信徒主要集中在苏北宿迁、徐州、淮安、盐城、连云港5市，约占全省信徒总数的80%。苏北5市几乎每个县和镇都建有能容纳千人的大型教堂。淮安市神恩堂建筑面积10100平方米，号称是目前亚洲最大的基督教教堂。其他地区如苏州、常州也新建了大型教堂。南京仍是中国基督教的全国性中心之一，拥有2所神学院，其中包括唯一在全国招生的金陵神学院，以及江苏神学院；印刷圣经的爱德印刷公司和基督教社会服务机构爱德基金会也都设在南京。此外，江苏省基督教的另一个特点是，地方教会、真耶稣教会和基督复临安息日会三个原教派规模较大。
布彻岭

布彻岭（Butcher Ridge）是南极洲的山岭，位于奥次地，处于艾尔斯山西北面，属于库克山脉的一部分，以美国海军的航空管理员命名，现时由南极条约体系管理。
星形截角立方体

在几何学中，星形截角立方体是一种鸢形二十四面体的星形多面体，由互相相交的三角形和八角星组成，其索引为U19，对偶多面体是大三角化八面体。
性质.
星形截角立方体共有14个面、36条边和24个顶点，在14个面中，有8个正三角形和6个八角星，且每个顶点都是2个八角星和1个三角形的公共顶点，顶点图可以用8/3.8/3.3表示。在施莱夫利符号中计为 t{4/3,3}，其代表著经过截角变换的formula_1图形。考克斯特记号中可以用表示。
结构.
星形截角立方体的结构可以视为立方体透过一种名为「星形截角」的多面体变换构造。
将立方体截角变换，截到截面交会后继续截，但将交会的部分切去，并反向延长，然后持续截更深并延长直到延长的面也交会，并继续截更深同时也继续增加延长的面，直到延长的面交错并凸出。
其也可以视为在立方体的正方形面角落摆上直角三角锥，因此每个顶点旁都会被摆上三个直角三角锥。
二面角.
星形截角立方体有两种二面角，包括了八角星-三角形二面角和八角星-八角星二面角。其中八角星-八角星二面角为直角；八角星-三角形二面角为三的平方根倒数之反余弦值：
尺寸.
若边长为1，则星形截角立方体的外接球半径为：
体积formula_4与表面积formula_5为：
顶点座标.
若星形截角立方体的边长为1个单位长，则顶点座标为：
相关多面体.
星形截角立方体与另外三种多面体有著相同的，他们分别为小斜方截半立方体、小立方立方八面体和小斜方立方体。
对偶复合体.
星形截角立方体与其对偶的复合体为复合星形截角立方体大三角化八面体。其共有38个面、72条边和38个顶点，其尤拉示性数为4，亏格为-1，有6个非凸面。
艾尔斯山

艾尔斯山（Mount Ayres）是南极洲的山峰，位于奥次地，处于芬格岭西端以南16公里，属于库克山脉的一部分，海拔高度2,500米，现时由南极条约体系管理。
芬格岭

芬格岭（Finger Ridges）是南极洲的山岭，位于奥次地，全长20公里，属于库克山脉的一部分，美国地质调查局根据测量和该国海军的空中照片绘入地图，现时由南极条约体系管理。
阿尔科诺斯特

根据俄罗斯神话和民间传说，阿尔喀诺斯特（Алконост）是一个长有美女头和鸟身的生物。它的叫声美丽的令人惊讶，谁听到它的声音，就会忘记一切，以后再也想不起来。她与搭档西琳生活在冥界。 阿尔科诺斯特将蛋下在海滩上，让海浪将它们卷入海中。当阿尔喀诺斯特的蛋孵化时，雷雨会使大海变得波涛汹涌，无法航行。阿尔科诺斯特的名字来源希腊一名叫阿尔库俄涅的半神半人女性。在希腊神话中，阿尔库俄涅后来被神变成了一只翠鸟。
巴克内尔岭

巴克内尔岭（Bucknell Ridge）是南极洲的山岭，位于奥次地，处于达尔文冰川南面，由英联邦的探险队绘入地图，该山岭现时由南极条约体系管理。
班纳岭

班纳岭（Banna Ridge）是南极洲的山岭，位于奥次地，处于哈瑟顿冰川源头，属于不列颠岭的一部分，海拔高度超过2,000米，现时由南极条约体系管理。
版纳峰

版纳峰（Banna Peak）是南极洲的山峰，位于奥次地，处于班纳岭南端，属于不列颠岭的一部分，海拔高度2,420米，该山峰现时由南极条约体系管理。
阿瑟森岭

阿瑟森岭（Arthurson Ridge）是南极洲的山岭，位于奥次地，处于库克山脉和麦克劳德冰川之间，由美国海军拍摄照片，现时由南极条约体系管理。
麦克劳德冰川

麦克劳德冰川（McLeod Glacier）是南极洲的冰川，位于奥次地，流经斯坦尼克斯岭和阿瑟森岭之间，最终注入戴维斯湾，由美国海军拍摄照片，现时由南极条约体系管理。
斯坦尼克斯岭

斯坦尼克斯岭（Stanwix Ridge）是南极洲的山岭，位于奥次地，处于麦克劳德冰川以西，属于威尔逊山的一部分，由美国海军拍摄照片，现时由南极条约体系管理。
阿利盖特岭

阿利盖特岭（Alligator Ridge）是南极洲的山岭，位于奥次地，属于回旋镖山脉的一部分，全长4公里，由新西兰探险队命名和绘入地图，现时由南极条约体系管理。
阿利盖特峰

阿利盖特峰（Alligator Peak）是南极洲的山峰，位于奥次地，属于回旋镖山脉的一部分，由新西兰探险队取名自阿利盖特岭，现时由南极条约体系管理。
安纳姆岭

安纳姆岭（Onnum Ridge）是南极洲的山岭，位于奥次地，处于德里克峰以南6公里的麦克劳冰川东北面，属于不列颠岭的一部分，现时由南极条约体系管理。
德里克峰

德里克峰（Derrick Peak）是南极洲的山峰，位于奥次地，处于约翰斯顿岭北端以西6公里的哈瑟顿冰川南部，海拔高度2,070米，现时由南极条约体系管理。
麦克劳冰川

麦克劳冰川（McCraw Glacier）是南极洲的冰川，位于奥次地，处于约翰斯顿岭以西的不列颠岭地区，最终注入哈瑟顿冰川，现时由南极条约体系管理。
马格尼斯岭

马格尼斯岭（Magnis Ridge）是南极洲的山岭，位于奥次地，处于德里克峰以西3公里，属于不列颠岭的一部分，由怀卡托大学地质学会命名，现时由南极条约体系管理。
林德斯特罗姆岭

林德斯特罗姆岭（Lindstrom Ridge）是南极洲的山岭，位于奥次地，处于格林冰川西岸的陨石山东端，属于达尔文山脉的一部分，长7公里，现时由南极条约体系管理。
奥克斯国际

奥克斯国际控股有限公司，简称奥克斯国际控股，以及奥克斯国际（AUX International Holdings Limited，），在2007年，由耀才证券股东叶茂林（前主席及非执行董事），在香港（总部）首家「Beijing Club」（其后受到贵租影响而在2015年9月15日结业）夜店著名会所。
前身为「Magnum Entertainment Group Holdings Limited」。
业务在本港经营「Beijing Club」、「Billion Club」和「Magnum Club」著名夜店会所。相信最为人熟悉包括丁子高（杨千嬅丈夫）、4位样子甜美的罗彩玲、何佩瑜、「模妈」陈静仪、松冈李那等，另外，《喜爱夜蒲》、《喜爱夜蒲2》和《喜爱夜蒲3》（以上为钱国伟主要导演）的主要记者会，也是主要举办了这个活动场地的。
股份在2014年1月23日于港交所主板上市。招股价为1.5港元，全球发行新股为84,000,000股股份，集资额为1.26亿港元，这是继霭华押业、翠华控股、必瘦站、米兰站后，再度在本港经营特色业务上市。
2015年3月15日，汇日控股有限公司（董事郑坚江），以每股1.87港元（216,000,000股）收购该公司股份，总代价为403,000,000港元。直至2015年5月15日收购完成后，所有董事一并退出，而新董事包括执行董事郑江、陈汉淇、陈华娟及沈国英，以及独立非执行董事潘昭国、鲍小丰及娄爱东。
PowerLinux

PowerLinux，是在IBM Power架构平台上运行的Linux作业系统。它通常是指在IBM Power微处理器系列上运行的Linux作业系统。PowerLinux技术中，也包括了PowerVM在内。
历史.
IBM自1990年代晚期开始，在Linux作业系统上发展他们的技术。1999年，IBM建立Linux科技中心（Linux Technology Center，LTC），把他们公司内对Linux的研究计划，与对其他开放原始码软体专案的研究计划，整合在一起。2000年，IBM公司正式宣布将Linux纳入他们公司的发展策略核心。2001年，IBM公司投入一百万美金在推动Linux计划。
陈贺

陈贺，西汉军事人物，封费侯，人称费将军，谥圉侯。
生平.
秦二世元年（前209年），于砀城与孔聚一起追随刘邦，初为舍人，授官左司马、将军、都尉。汉高祖五年（前202年），陈贺作为刘邦的部下，领右军在垓下之战，大败项羽。
因定会稽、浙江、湖陵（今日江苏沛县与山东鱼台、微山的交界）的军功，被封为费侯。《淮阴侯诗》云：“但以怯名终得羽，谁为孔费两将军”。
集中趋势

在统计学中，集中趋势（central tendency）或中央趋势，在口语上也经常被称为平均，表示一个机率分布的中间值。最常见的几种集中趋势包括算数平均数、中位数及众数。集中趋势可以由有限的数组（如一群样本）中或理论上的机率分配（如常态分布）中求得。有些人使用集中趋势（或集中性）这个词以表示「数量化的资料之中央值的趋势」。在这种意义下，我们可以利用资数据的离散程度（例如标准偏差或四分差等相似的统计量）判别其集中趋势的程度。
集中趋势（central tendency）一词于1920年代后期出现。
集中趋势的统计量.
一维资料的集中趋势可能有以下数种统计方法。在某些情况下，经（data transformation）后的资料才采用以下的方法。
以上的统计量在多维变数中仍可单独地被套用在各个维度上进行，但并不能保证在转轴后仍维持一致的结果。
平均数、中位数与众数的关系.
在左右对称的机率分布中，不同的集中趋势统计量有相同结果，但在偏度远离0时则可能不一致。在单峰型的机率分布（unimodal probability distribution）中，平均数（"μ"）、中位数（"ν"）与众数（"θ"）的关系如下：
其中"σ"为标准偏差。至于任一机率分布，
教区神父

教区神父（Secular clergy），或译在俗教士，是天主教司铎品神职人员的类别之一，是指那些从属于教区主教，而非修会管辖的神父。
简介.
在天主教的神职制度中，神父有分为隶属于修会的修会神父、以及隶属于教区的教区神父。作为修会神父必须以会士的身分服从各修会的会规，并必须立誓绝财绝意绝色。至于教区神父则不受限于入修会的誓言，不过不论是教区还是修会的神父都受到教会法的规范。
教区神父是经由教区主教为能有协助处理教务及管理各堂区，将有意愿且符合筛选的男性平信徒带入教区所属的修院，给予足够的神职培训。最后才给予神父的身分。由于这些神父的职权是主教给予的，因此教区神父从属于主教的管辖及天主教的圣统制度下。除此之外修会神父亦可在修会主管向教区主教推荐后于教区供职，在此情形中其于教区事务上的管辖权则归属于教区主教。但其在财务上的管理及工作地区的调派则保留给其所属的修会上司。
浙江基督教新教

浙江的基督教在中国内地具有重要的地位，杭州是中国内地会创建后在中国传教的第一站。2005年易地重建后的崇一堂为目前全球最大的华人基督教教堂。直到1990年代，浙江都是中国基督教徒人数最多的省，此后才为河南省超过。目前温州地区、杭州市萧山区和慈溪市是浙江省内基督教信徒最为集中的地区。省内宗教院校有浙江神学院。
历史.
1843年，美北浸礼会传教士玛高温首先进入宁波。之后有多个教派陆续进入浙江，其中影响较大的有：
20世纪上半叶，浙江又出现不少华人创立的独立团体：
20世纪初，美北长老会和美南长老会还联合创办了之江大学。
现状.
文化大革命结束之后，百年堂是中国第一所恢复开放的基督教堂。浙江省基督教信徒逐渐增加到150多万。浙江省的信徒主要集中在温州市，其次为杭州市萧山区。多为地方教会背景。今天，基督教在温州仍然非常活跃，信徒占总人口的比例是15％，也就是100多万（官方数字）。教堂与聚会场所相当密集，城乡各处十字架随处可见。很多村庄都不止一间教堂，因此温州也常被称为“中国的耶路撒冷”。21世纪初杭州崇一堂易地重建，为全球容纳信徒最多的华人教堂。
周文 (秦朝)

周文，字章，陈郡人，秦末民变军事人物，陈胜部将，为首个攻克函谷关的将领，在渑池兵败于章邯后自刎而死。
简介.
周文曾经是楚国大将项燕军中的日者，也曾是春申君的门客；大泽起兵时追随陈胜，自称素通兵法，陈胜命周文为将军，由陈县进攻关中。
周文沿途征兵，号称士兵十万人，战车千辆，破函谷关，驻兵戏水（今陕西临潼）。秦朝少府章邯武装了在骊山服劳役的数十万囚犯，起兵攻打周文。周文败退，却等不到救援，沿路败退曹阳（今河南灵宝东）等地，在渑池被秦兵追击，周文自刎。
李正吉

李正吉（이정길，），韩国男演员，1965年KBS公开艺员选拔第5期。
异乡人医生

《爱在异乡》为韩国SBS自2014年5月5日起播出的月火迷你连续剧，由《城市猎人》、《主君的太阳》陈赫导演与《汉城别曲-正》朴进宇作家合作打造，此剧讲述生于南韩却在北韩长大的天才医生朴勋（李钟硕饰）和南韩精英医生韩在俊（朴海镇饰）与阴谋对抗的故事。
剧情介绍.
男主角朴勋(李钟硕 饰)是拥有谜样过去的天才胸腔外科医师，童年时期和父亲一起被绑架到北韩，由父亲一手培养长大后，成为出色杰出的医生，就算处于危急时刻，也能镇定地完成手术。在北韩生活时遇到宋在熙(陈世娫 饰)，认为她就是此生可以相守的爱情，但在熙却突然消失了。为了寻找初恋，朴勋离开北韩踏上艰困旅程，同时投入韩国顶尖医院工作而遇上医生吴秀贤(姜素拉 饰)，但却无法融入医生集团，韩在俊 (朴海镇饰) 为了报仇而接近吴俊奎及其女儿吴秀贤，目的是接掌医院，然后将吴俊奎的心血结晶彻底摧毁，报复20年前的杀父之仇，成为彻头彻尾的异乡人。
里安纳度·艾斯查达

里安纳度·艾斯查达（Leonardo Rubén Astrada，）是一名已退役的阿根廷足球员，司职中场。其足球生涯主要效力河床。退役后，他亦在河床开展其执教生涯。他曾代表国家队上阵32次，攻入一球。
鲜于银淑

鲜于银淑（선우은숙，），韩国女演员。
牛舌枪

牛舌枪（Ox Tongue Spear）是一种有宽阔双刃枪头的枪，大约在15世纪出现，因枪头形状像牛舌而得此名，会作成这种形状是为了增强杀伤力。
ACL2

ACL2（A Computational Logic for Applicative Common Lisp，应用式 Common Lisp 计算逻辑）是由一个程序语言、一套一阶逻辑的可拓理论、以及一个机械化的定理证明器所组成的软件系统。ACL2 从设计上支持基于归纳逻辑理论的自动推理，可应用于软件或硬件系统的形式化验证。ACL2 的编程语言及其实现基于 Common Lisp。ACL2 是基于BSD授权发布的开源软件。
简介.
ACL2 的编程语言可看作是一个函数式（无任何副作用）的 Common Lisp 变体。和 Lisp 一样，ACL2 使用动态类型系统。ACL2 中所有的函数均是完整定义的——每一个函数均在 ACL2 的全集中将各个对象（输入）映射到另一个对象（输出）。
ACL2 的基础理论已将其程序语言的语义及其内置函数全部公理化。而程序语言中满足定义原则的用户自定义部分在扩展该理论的同时亦能保持其逻辑自洽性。ACL2 定理证明器的核心基于项重写系统，此核心高度可扩展，用户已证得的定理可以在后续的猜想中被用作现成的数学证明。
ACL2 设计的目标是成为 Boyer–Moore 定理证明器 NQTHM 的一个“工业级别”版本。为了达成此目标，ACL2 涵盖了支持许多数学和计算理论之工程学应用的有趣特性。ACL2 因为基于 Common Lisp 实现而继承了其高效率；作为归纳验证基础的同一规范亦可以被编译器编译及优化，进而在本地执行。
2005年，Boyer-Moore 系列定理证明器（包括 ACL2）的开发者获得了ACM软件系统奖，获奖理由是“作为最高效的定理证明器的先驱和工程师……开发了能够用于验证硬件和软件可靠性的形式化工具”。
应用.
ACL2 在若干领域得以应用。
例如，在奔腾浮点除错误被曝光之后，斯特罗瑟·摩尔 和马特·考夫曼运用 ACL2 证明了 AMD K5 处理器的浮点数除法运算的正确性。 在 ACL2 文档的有趣的应用页面里有一些关于其实际应用的简介。
ACL2 的工业界用户包括超微半导体公司、Centaur科技、国际商业机器股份有限公司、英特尔、甲骨文公司和罗克韦尔柯林斯。
上同调维数

代数中，上同调维数是群的不变量，量度群的表示的同调复杂度。上同调维数在几何群论、拓扑学、代数数论中有重要应用。
群的上同调维数.
就如大多数的同调及上同调不变量，上同调维数涉及选取「系数环」"R"，最常见的特例是整数环"R" = Z。设"G"是离散群，"R"是非零有单位元的环，"RG"是其群环。群"G"的上同调维数小于或等于"n"，记为cd"R"("G") ≤ "n"，若平凡"RG"-模"R"有一个长为"n"的投射分解，也就是有投射"RG"-模"P"0, …, "P""n"，及"RG"-模同态"d""k": "P""k"→"P""k" − 1("k" = 1, …, "n")和"d"0: "P"0→"R"，使得对"k" = 1, …, "n"，"d""k"的像正是"d""k" − 1的核，且"d""n"有平凡核。
等价地，群"G"的上同调维数小于或等于"n"，若对任何"RG"-模"M"，"G"以"M"为系数的上同调于阶"k" > "n"时消失，即"H""k"("G","M") = 0"。
若"n"是最小的整数使得群"G"的上同调维数小于或等于"n"，则"G"的（系数"R"的）上同调维数等于"n"，记为"n" = cd"R"("G")。
例子.
以下例子中系数环"R"为"Z"。
苏绍智

苏绍智，中国经济学家，兀扎拉氏，满族人。主要研究中华人民共和国集权政治体制的形成，曾任中国社会科学院马克思列宁主义毛泽东思想研究所（现中国社会科学院马克思主义研究院）所长。外祖肃亲王后裔宗室盛昆、母金筠泉、兄华人教授苏绍礼。
生平.
苏绍智1923年生于北平。1941年进入上海交通大学攻读财务管理﹐后因战事转到重庆大学。1949年6月南开大学经济硕士。1949-1963年在上海复旦大学教书。1963-1979年历任《人民日报》编辑、理论部主任。1979年任中国社会科学院马克思列宁主义毛泽东思想研究所（简称马列所）研究员，1982年成为马列所长。
苏绍智在1980年代著作很多，发表了一百多篇关于马克思主义与社会主义的文章，并出版了9本书，其中2本是英文书（"Democracy and socialism in China"，"Democratization and reform"），并且担任中国社会科学院马列所出版的学术期刊《马克思主义研究》的总编辑。
苏绍智是中国高调提倡政治改革的人物之一。1986年，他发表了一系列的文章，从社会主义的观点出发，指出政治体制改革的重要性。1986年年底至1987年初，中国各地爆发大规模学生运动，之后1987年的反对资产阶级自由化运动中，苏因此被指为有资产阶级自由化倾向，撤除党内外职务，但仍保留党籍，「留党察看」。
1989年4月，苏与严家其、包遵信联署公开信，强烈抗议江泽民领导的上海市政府查封《世界经济导报》。六四事件后，苏被政府点名批判，于6月15日流亡往美国，并于7月中到法国巴黎，与严家其、吾尔开希等民运人士会面，后发表了成立「民主中国阵线」的倡议书，反对「六四屠杀」，支持八九民运，强调以和平、理性、非暴力的形式继续为中国民主运动而努力。之后苏担任过《北京之春杂志》编辑顾问，普林斯顿中国学社主席，并撰写有关中国政治的评论文章。
晚年，苏绍智低调回国，定居北京。2019年5月27日，苏绍智在北京逝世。
思想.
苏绍智区分“苏联马列主义”与“马克思主义”概念的不同，强调「马克思和恩格斯从来没有在任何著作中设想过一党专政的制度，也没有赞成过赋予一党专政体制以压迫反对者的政治权力」并说明恩格斯更强调反对党内专制独裁。苏绍智说明列宁的概念如何以高度强调领袖的作用使一党专政等于领袖专政，而使专政集于一点成个人独裁，他引用列宁：
苏绍智以苏联政治史证明，「斯大林的绝对权威、个人崇拜、独断专行、大规模的暴力镇压、清除异己等举止，与封建专政主义中的绝对君主并没有什么区别，他确实成了布哈林所预见到的新的暴君」。苏绍智进一步论证说明毛泽东的集权理论，并不如毛自己说的是“马克思加秦始皇”，而是“秦始皇+斯大林”。 
关于中华人民共和国政治体制的转变，2001年7月江泽民以国家及政党领导人身份允许资本家加入共产党，此一政策举措引发国内外讨论：除了中共党内左派发表多份「万言书」，苏绍智称之为是由「官僚垄断资产阶级」统治的「法西斯政权转化」。
哈佛大学校董委员会

哈佛大学校董委员会 ，正式名称为哈佛学院的校长与教职员（President and Fellows of Harvard College），简称哈佛董事会（Harvard Corporation；直译为哈佛社团法人或哈佛法团），是哈佛大学的办学组织，也是哈佛大学两个管理团体（Governing board）之一，另一个是人数较多的是。
历史.
1650年，在哈佛大学校长的要求下，马萨诸塞州议会发布了章程，使之成为美洲现存最早的法人团体。关于公司地位和特权的详细条款随后被写进了马萨诸塞联邦的章程中。尽管由哈佛大学校董委员会管理的机构都已归属于哈佛大学，但该法人的正式名称实际仍为“哈佛学院校董委员会”。
改校董会的本意是成为住校学生的辅导员，类似于牛剑的委员会。然而，从其成立之初就成为了现在熟悉的美国模式的理事会，即由成员组成的不干涉学校每日运作的外部实体，由会长组织定期开会，而会长通常由校长担任或由其委任。这个法人实体是永久存在，并在有委员空缺时委任新的委员加入。
近些年来，校董会除了会长以外还有其他六个委员。但2010年12月，官方宣布在经过一年的管理评测后，将在很大范围内变更其现有的“组成、结构和管辖事务”：委员将由7名增加至13名，并各司其职；几个新的下设委员会将努力维持与以全校为整体的统一性，特别是在长期规划方面。
当前委员.
当前理事会共有十名委员。他们的姓名、职位以及从哈佛大学获得的学位列于下方：
文莱国家奥林匹克理事会

文莱国家奥林匹克理事会（Majlis Olimpik Kebangsaan Negara Brunei Darussalam；Brunei Darussalam National Olympic Council）是文莱的国家奥林匹克委员会。该组织成立于1984年。1996年，他们首次派员参加在美国亚特兰大的夏季奥运会。此后，他们参加了随段两届的奥运会。然而，在2008年，由于文莱奥林匹克委员会未能及时成运动员报名参赛而无法参加同一年的北京奥运。
另外，由于文莱是回教国家，该国在2012年前从未派出女子运动员参赛，直至同年的伦敦奥运会，才有女选手参赛。
现时，汶莱国家奥林匹克理事会的总部设在首都斯里巴加湾市，主席是Haji Sufri Bolkiah王子。
王为豪

王为豪，台湾天文学家，现任职于中央研究院天文及天文物理研究所，在台大天文社内是神一般的存在，暱称ALOHA。主要研究次毫米波观测。王为豪以天文摄影在业余天文界闻名，其著作《"星野摄影"》也成为台湾天文摄影界的圣经。
经历.
王为豪于1992年就读台南一中高三时通过甄试，保送国立台湾大学物理学系，1996年获得该系学士、1998年获得国立中央大学天文研究所硕士、2006年获得夏威夷大学天文学博士。现任职于中央研究院天文及天文物理研究所和国立台湾大学梁次震宇宙学与粒子天文物理学研究中心。
研究.
交互作用星系、高红移星系形成与演化、可见光/红外线//无线电波观测天文学。
王为豪于使用位于夏威夷的次毫米波阵列望远镜观测到比预期数量多的「次毫米星系」，并于2010年发表相关成果。这项研究代表早期宇宙星系的数量远多于预期。
天文摄影.
王为豪以天文摄影闻名于台湾业余天文界，曾举办过天文摄影个展，并有天文摄影相关书籍出版。
劳拉越野滑雪和冬季两项中心

劳拉越野滑雪和冬季两项中心（лыжно-биатлонный комплекс）是一个位于俄罗斯索契的滑雪场。该滑雪场在2013年启用，并能容纳7500名观众。在2014年冬季奥运和随后举行的冬季残奥会，劳拉越野滑雪和冬季两项中心均会承办冬季两项和越野滑雪。
皕宋楼

皕宋楼，位于浙江省湖州市东门月河街千甓亭内，清光绪初年金石学家陆心源（1834年-1894年）辞官后，在家乡兴建皕宋楼和十万卷楼等私人藏书楼，藏书达15万卷，与海源阁、八千卷楼及铁琴铜剑楼并称晚清“中国四大藏书楼”。1907年，陆心源长子陆树藩因救济庚子之乱的难民而负债累累，以及经商失败，将楼内几乎所有藏书卖往日本岩崎氏静嘉堂文库。皕宋楼已被浙江省人民政府列为浙江省省级文物保护单位。
历史.
陆心源喜好藏书，建有皕宋楼和十万卷楼，分别收藏宋元和明代书籍。他临死时虽然告诫过自己的儿子们书籍收藏不易，要防止人亡书散。但他去世13年后，其长子陆树藩就把藏书全部卖给了静嘉堂文库。
20世纪初时局动荡，陆树藩其实为保留藏书做过许多努力，如他曾在1899年致书上海工部局请求建立陆氏藏书楼、1902年上书两江总督端方请求在上海建立藏书楼。但最终都未能实施。为了给陆树藩自己发起的救济善会募集赈济百姓的款项，加上家里生意不景气，陆家破产。因此他不得已卖掉了自家全部藏书。为了保持藏书的完整性，他要求“ 只能全部转让，不得分散出售”，最终光绪三十三年（1907年）日本男爵岩崎弥之助以十万元将所有藏书买去。按后来的静嘉堂文库文库长米山寅太郎所说：
玄峻极

玄峻极（현준극，），北韩政治人物，官至朝鲜劳动党国际部部长、驻中国大使及党中央委员会委员。后在1997年忽然失势，并在同年离世。
生平.
玄峻极出生于咸镜南道，后于莫斯科大学毕业。1954年，他成为朝鲜劳动党宣传鼓动部指导员。两年后转职为《劳动新闻》编辑部长。1959年，他晋升为该报的副经理兼副主编。同年10月，又被委任为朝鲜记者同盟的中央委员。翌年成为该组织的副委员长。1962年，他被任命为党宣传中央委员会委员。
1964年，玄峻极被委派到北京任驻华大使，直至1977年。在这10年间，尽管他身在中国，但他依然能在1966年当选为最高人民会议代议员。1972年，他又连任代议员一职。1975年，他入选为党中央委员会候补委员。两年后，他晋升为最高人民会议的副委员长及党中央委员会委员。同年，他又被任命为国际部副部长。1980年，他成为党中央委员会副部长，并兼任政务院参事。此外，随著两韩关系的改善，朝鲜半岛两国在这一年进行会谈，玄峻极为朝方的首席代表。
1981年，日本与北韩的关系也有所改善，玄峻极因而被任命为朝日友好促进亲善协会会长，负责对日事务。翌年，他获颁金日成勋章，并成为中央人民委员会委员，同时，再度当选为最高人民会议代议员。1986年，他升为国际部部长，且第4次成为最高人民会议代议员。1988年，又返回《劳动新闻》，兼任该报总编。1990年，他第5次当选最高人民会议代议员。
1997年2月，玄峻极忽然被罢免，并在同年8月14日去世。北韩官方并没有公布其死因。有分析指，玄峻极与劳动党书记黄长烨关系密切。黄长烨于1997年2月逃离北韩，玄峻极受到牵连而被解职。
IEEE-488

IEEE-488 是一种由惠普公司（现为安捷伦科技及是德科技）在1960年代开发的HP-IB（"Hewlett-Packard Interface Bus"，惠普接口总线）短程通信总线规范。随后成为了标准，并通称为GP-IB（"General Purpose Interface Bus"，通用接口总线）。
技术特性.
在一个GPIB标准接口总线系统中，要进行有效的通信联络至少有至多一个在工作的“讲者”、多个“听者”、1个“控者”三类仪器装置。 
GPIB并行总线的组成：
在GPIB控制器中，把器件与 GPIB 总线的一种交互作用定义成一种接口功能。GPIB 标准 接口共定义了 10 种接口功能
女王驾到

《女王驾到》（My Queen）是中国湖南卫视于2014年推出的剧情类电视剧，连续四周播出四个独立的故事，每周讲述一段相对独立完整的故事，并由王岳伦、刘江、张黎、何静作为艺术总监或担任制片人，讲述四种女人的四段爱情故事：《麻辣女王》、《绯闻女王》、《搜查女王》和《闪爱女王》。本剧于2014年3月16日在湖南卫视周末戏剧带《青春星期天》晚22点首播。
播出时间.
《女王驾到》于2014年3月16日在湖南卫视周末戏剧带《青春星期天》晚上10时首播，以一天2集的进度播出。
剧集形式与故事大纲.
单元《搜查女王》和《闪爱女王》分别由由曾执导电视剧《咱们结婚吧》的导演刘江和曾参加爸爸去哪儿的王岳伦作为艺术总监，单元《麻辣女王》由何静担任制片人和曾参演电视剧《麻辣女兵》的主角王洋、王煜出演，《绯闻女王》则分别由擅长正剧的导演张黎担任艺术总监和由舞台剧《撒娇女王》导演何念执导。
该剧集采用单元剧的模式播出，即每一个单元的剧情都是相对独立与完整的 。本剧由四个不同的单元剧名字播出：《麻辣女王》、《绯闻女王》、《搜查女王》和《闪爱女王》。故事设定在四个不同的季节，四位女主角在剧中各自秉承著不同的爱情观，并在剧中遇上瓶颈时，遇到了改变她们的男人，令她们改变自己的生活态度。
砂石车冲撞中华民国总统府事件

砂石车冲撞中华民国总统府事件，是2014年1月25日台北时间4时55分（协调世界时晚间20时55分），位于台北市中正区博爱特区重庆南路一段的中华民国总统府被砂石车冲撞的事件。这也是中华民国总统府厅舍自1919年落成以来，除太平洋战争末期的台北大空袭之外，最严重的攻击性维安事件。
犯案人背景.
张德正（1973年7月24日－），父亲是跟随中华民国国军撤退来台的四川省籍荣民，母亲是本省人。毕业于中华民国空军通信电子学校（今空军航空技术学院），服役六年于1997年退伍。2000年到一家电子公司担任工程师，结识第一任妻子陈女，婚后隔年生下大女儿；2004年与林女婚外情，因而2006年与陈女离婚；2008年和林女结婚，隔年生下小女儿，自此之后争吵不断；2010年离婚，小女儿亲权归林女所有。张德正离开工程师工作后，又担任过公车司机与货车司机，在担任货车司机时犯案。
起诉与判刑.
台湾台北地方法院检察署将他依刑法毁损、毁损建筑物未遂、杀人未遂、妨害公务、侵入建筑物和违反文化资产保存法毁损古迹罪嫌等六罪起诉。
台湾台北地方法院审理时，张德正否认意图撞死人，只承认撞毁总统府前栏杆、阻车柱、链条、正面安全门、无障碍设施及公司的联结车，属普通毁损罪；毁损古迹罪部分，正门花岗石台阶及门柱、墙面不是古迹保护对象，且可修复，未达毁坏古迹程度，此一部分无罪。总统府另向张德正民事求偿三百万元，由台北地院民事庭审理。
合议庭认定张德正犯毁损、毁损建筑物未遂、杀人未遂、妨害公务、侵入建筑物等罪。而其中最重者为杀人未遂罪，主要是他驾驶联结车高速冲撞总统府，看到府前的吴姓卫兵没有煞车、闪避、也没有按喇叭示警，且事前写信给媒体称「如果我撞死了人，请判我死刑；如果没撞死人，请判我无期徒刑。」可见他有预见冲撞行为将可能导致他人死亡也在所不惜，其辩称自杀行为与不会造成伤亡不足采信，构成杀人未遂罪。台北地方法院第一审依上述罪名以想像竞合犯从一重之杀人未遂罪判处他有期徒刑五年十月，辩护律师表示会上诉。
其后，台北地检署提起上诉，台湾高等法院第二审判决，改判张德正毁损古迹罪部分亦成立。高院改判理由主要采纳检察官就此部分的上诉理由，即张德正驾车撞坏总统府正门花岗石台阶与正门内侧2扇格状门扇，均属总统府古迹范围，而古迹的外观具有不可替代性，即使修复也不再是当年匠师费尽心血打造的原貌，且古迹于修复时，虽可能更动原貌，然而其目的是让古迹活化与新生，并非用来合理化刻意、恶意破坏古迹的行为，故据此认定张男触犯《文化资产保存法》毁损古迹罪。高院合议庭认定张德正以一驾车冲撞总统府的行为侵害不同法益，触犯刑法毁损、毁损建筑物未遂、杀人未遂、妨害公务、侵入建筑物罪合并文资法毁损古迹罪等六罪，为想像竞合犯从一重杀人未遂罪处断，但驳回检察官数罪并罚的要求。由于张德正未认罪加重改判为有期徒刑六年。
1号高速铁路 (比利时)

比利时1号高速铁路（Ligne à Grande Vitesse 1，简称LGV 1；Hogesnelheidslijn 1，简称HSL 1；High-Speed Line 1）是比利时首条高速铁路，连接着法国高速铁路北线支线至比利时布鲁塞尔南站，于1997年12月14日通车，时速300公里。总建设费约为14亿2000万欧元。因为此线明显缩短了从法国巴黎到达比利时布鲁塞尔等路线的旅途时间，因此很多高速列车（如欧洲之星、大力士高速列车、法国国铁TGV Réseau列车和Thalys PBKA）也途径此线路。
屯秋铁路

屯秋铁路即屯秋支线，从湘桂铁路洛埠站岔出，经东泉、龙婆后到达屯秋矿区的拉洞站。1958年开工建设，1960年竣工投入运营。全长42.3km，主要为开发屯秋铁矿资源而建。
历史.
屯秋支线由铁道部衡阳铁路工程学校负责勘测设计。 1958年5月开始勘测，采取一阶段设计分批交付施工图，7月交出第一批洛埠—东泉的线路平剖面图、土石方数量表、桥涵位置(准备施工时预留缺口)和地质平剖面图等。
1958年广西壮族自治区报请国务院列入国家计划。同年9月正式开工，由柳州专区、柳州市和柳州铁路局组成筑路委员会。从柳城、鹿寨、融安、石龙、玉林、忻城、博白、北流、藤县等9县组织民工2万多人，柳州铁路局组织专业队伍600多人共同施工。至1959年12月， 完成主要工程量：土石方238.6万立方米。铺轨48.6公里，铺道岔23组，道口31处，铺石碴60986立方米，铺设木枕72994根。桥梁9座30 3.54米，涵渠82座1250.6米。通信电线路41.15公里， 4毫米铁线2对，2.5毫米铁线1条，车站信号采用双导线式臂板信号机，简易钥匙联锁，闭塞采用一般通话联络制。生产用房、住宅及公共建筑面积3144.4平方米，完成投资916.52万元，为概算943万元的97.2%，平均每公里造价18.9万元 (不包括钢轨价)。
1959年12月，屯秋支线通过验收，1960年元旦投入运营。1962年10月柳州钢铁厂生产调整，该线暂停营运。
1969年屯秋铁矿再度投产， 经柳州铁路局对线路及行车设备整修后，同年11月2日恢复办理客货运业务。 1971年4月，柳州钢铁厂在拉洞车站三角线延长矿山线铺轨0.4公里，投资11.08万元，并无偿移交柳州铁路局管理。
1973年3月，在龙婆—拉洞间33.690公里处建成辅助所和海军1202专用线，内设两股道，线路总长1.724公里，1974年4月开通使用。
1974—1985年，屯秋支线全线进行中修，并陆续将正线原有的旧杂轨全部更换为43公斤/米钢轨，还对洛埠—东泉间5处路堑病害进行整治，共完成线路、路基大修投资127.26万元。1979—1990年， 对部分桥梁进行大修整修：1979年完成4座62.4米桥面及51.3吨钢梁油漆大修， 1981年完成2个桥台的加固，1987年对石峒桥进行水害修复工程以及其他零星工程，共完成桥涵大修投资7.87万元。
到1990年末， 屯秋支线主要设备计有：正线42.3公里，桥梁12座371米，涵渠93座1318米，四等车站3个，旅客乘降所3个。
屯秋支线综合运输能力，用解放型蒸汽机车上行牵引2000吨，下行牵引1200吨。货车计算能力17对， 年输送能力可达上行693万吨，下行416万吨。实际货流密度：1960年上行9.8万吨， 下行0.2万吨；1966年降为上行2.7万吨，下行2.4万吨；1970年升至上行11.3万吨，下行1.4万吨； 1980年降至上行1.9万吨，下行4.5万吨；1985年最高，上行13.5万吨，下行1.1万吨；1990年又降至上行7.2万吨，下行0.7万吨，仅达到该线年输送能力的1%左右。
2004年，屯秋线K37+576至拉洞站线路停用。
2016年5月5日，南宁铁路局与柳钢集团公司正式签署战略合作协议，其中内容包括加强屯秋铁路开发利用。是年5月9日，南宁铁路局组织155名职工、220名民工队伍对屯秋线进行全面整修工作。6月10日下午，随着屯秋铁路最后一组道岔的更换完成，屯秋线如期实现全线开通行车的条件。7月1日下午，满载23车铁矿的货车专列在拉洞站鸣笛启程。
沿线地区气候及地质条件.
沿线气温年平均21.7℃， 风向大部分为北风， 部分有西北风和东北风，全年平均风力1.4-2.9级， 最大风力为7级，线路所经地区，丘陵、平原交错，北高南低，高差137米。洛埠—东泉属下石炭纪寺门煤系地层，东泉至拉洞段属中、下石炭纪黄龙灰岩、黄金灰岩地层。壤中水多在洛埠—东泉一带，此类含水层分布于第四纪残积、坡积及冲积层中，此外还有溶洞水、裂隙水等不良地质条件，地震烈度为6度。
熊行者

熊行者（"Seekers"）是一部由一群英国作家以笔名艾琳·杭特（Erin Hunter）共同写作的一系列奇幻文学和动物小说，由于艾琳·杭特的另一作品《猫战士》广受好评，于是出此作品。
剧情.
主轴环绕著北极熊卡莉、黑熊露莎、棕熊托克罗和一只身分成谜的小熊乌朱拉，这四只小熊之所以在觅食及打猎技巧尚未成熟的时期就必须独自流浪，其实都与环境变迁有关──北极熊卡莉是因为全球暖化、海冰提早融化所致。黑熊露莎的爸爸因人类过度砍伐森林，导致熊族栖地不足、被迫靠近人类居住的地方，才被抓到动物园里，也因此露莎自小即渴望回到野地探险。而人类过度捕捞鲑鱼使得渔源枯竭，导致棕熊托克罗的妈妈觅食困难，孩子也接二连三地夭折，不愿再承受失去孩子的痛苦，她选择将托克罗赶离自己身边。作者在描写这三种熊及牠们的冒险故事时，不仅完全扣著牠们的生活习性来写，也深刻地呈现出牠们现在的族群处境。
熊行者首部曲：新生代.
熊行者一部曲“新生代”主要讲述了北极熊卡莉、黑熊露莎、棕熊托克罗和一只身分成谜的小熊乌朱拉，历经恶劣环境与惊险事件的考验，一起去寻找熊族共同的梦土：传说中「没熊知道」的地方。 
熊族出任务.
熊族出任务（The Quest Begins）
前进大熊湖.
前进大熊湖（Great Bear Lake）
勇闯烟熏山.
勇闯烟熏山（Erin Hunter）
终极大荒野.
终极大荒野（The Last Wilderness）
舞动火焰天.
舞动火焰天（Fire in the Sky）
追寻指路星.
追寻指路星（Spirits in the Stars）
合普 (卑诗省)

合普（Hope），又意译作希望镇，是加拿大卑诗省菲沙河谷区域局内一个区域自治体（district municipality），座落低陆平原东端菲沙河及高贵哈拉河（Coquihalla River）的合流处，离温哥华以东约153公里。据2021年加拿大人口普查所示，合普区内人口为6686人。
历史.
合普一带原为斯托洛原住民族（Sto:lo）的地域，该族早于八千至一万年前便已于此处定居。到了1808年，代表西北公司探索落矶山脉以西地域的西门·菲沙沿后来以他命名的菲沙河南下至现合普所在，成为记录中首位抵达此处的欧裔人。然而，菲沙认为此河道不适合作皮毛交易运输线之用，西北公司和后来与其合并的哈德逊湾公司在往后年间亦因此一直没有在此设立皮毛交易站，并继续沿用哥伦比亚河上的温哥华堡（即今华盛顿州温哥华）作其北美西岸总部。
随著英国和美国于1846年签署《俄勒冈条约》，北纬49度以南的地域正式归美国管辖，哈德逊湾公司亦无法继续有效操控温哥华堡。该公司高层占士·道格拉斯（James Douglas）遂于1847年决定沿菲沙河峡谷修建另一条运输线通往内陆，而该公司亦于1848年初在现耶鲁所在设立耶鲁堡交易站。然而，这条菲沙峡谷运输线的地势险峻，促使哈德逊湾公司另觅通往内陆的走廊，而该公司亦于1848年末在现合普所在另立合普堡（Fort Hope）交易站。此交易站的名称意译为“希望堡”，反映公司当时希望从合普堡通往内陆的走廊环境会较菲沙峡谷运输线理想。随著哈德逊湾公司转用新运输线，合普堡亦取代耶鲁堡成为该公司通往内陆沿途的主要物流分发点。
菲沙峡谷淘金潮于1850年代中期展开后，英国政府于1858年设立卑诗殖民地，合普堡亦成为该殖民地的一部分。淘金潮吸引大批民众涌到菲沙河谷，卑诗殖民地政府遂于1859年正式划下合普堡镇址，并改善连接合普堡和卑诗内陆的道路。
卑诗殖民地于1871年加盟加拿大联邦，当中一项条件为联邦政府需修建一条铁路连接卑诗和加拿大中部。加拿大太平洋铁路于1880年代兴建，1887年通车，带动了合普堡一带的经济活动。当地固有的矿业活动继续蓬勃，而伐木和锯木事业亦逐渐兴旺起来。合普堡和耶鲁堡交易站于1892年关闭后对当地经济影响甚微，而到了1920年代伐木业更成为当地的主要产业。此外，加拿大国家铁路和大北方铁路相继于20世纪初叶开通并在合普设站，令合普的旅游业得以发展。合普并于1929年4月6日正式建制为村，再于1965年1月1日改制为镇。
卑诗省政府于1960年代设立区域局的行政等级后，合普原属菲沙-奇姆区域局（Fraser–Cheam Regional District）；此区域局于1995年12月解散后，合普转归新成立的菲沙河谷区域局，并维持至今。此外，合普亦于1992年12月7日更改建-{制}-成区域自治体。
交通.
卑诗省1号公路（横加公路）贯穿合普，在合普以西达致高速公路规格，在合普区内则跟随河水大道（Water Avenue）沿菲沙河岸往西北伸延，跨越菲沙河后继续沿菲沙峡谷往北伸展。合普也是3号公路的西端终点和7号公路的东端终点，而5号公路的南端终点则位于合普区界的外围。
加拿大太平洋铁路（CPR）和加拿大国家铁路（CNR）皆途经合普，前者坐落菲沙河北岸，后者则坐落该河南岸。由维亚铁路营运的「加拿大人号」列车每星期三次驶经合普，但只有西行往温哥华太平洋中央车站（即使用CNR轨道）的列车停靠合普火车站；东行往多伦多联合车站（即使用CPR轨道）的列车则停靠菲沙河北岸的卡茨（Katz）火车站。
合普机场（Hope Aerodrome；IATA代码：YHE；ICAO代码：CYHE）离合普镇中心以西约4.8公里，是一座由菲沙河谷区域局营运的小型机场，设有一条草皮跑道，没有定期航班，主要供滑翔机使用。当地居民主要使用温哥华国际机场、亚博斯福国际机场、或华盛顿州的贝灵汉国际机场前往外地。
滑降

滑降（Downhill）为高山滑雪的项目之一。滑降的规则最初由Arnold Lunn爵士为1921年英国滑雪锦标赛所订定的。“滑降滑雪”是一种常用的术语，等同于“高山滑雪”来表示高山滑雪的体育和休闲活动。
滑降涉及最高速度，所以为风险最高的高山活动。选手在国际级赛事比赛过程中，速度会超过130公里/小时（81小时/英里）。选手在比赛过程中需要完美的空气动力学效率（屈体）以降低阻力提高速度。与此相反的，以较低速度进行的曲道项目（曲道、大曲道、超大曲道），更强调过旗门时的技巧。
默德塔

默德塔（برج میلاد, fa-Latn|Borj-e mīlād）也称为伊朗塔或德黑兰塔，是伊朗德黑兰一座多用途混凝土塔，高度为435米（1,427英尺），建于2007年。它从地面到天线顶端高达435米（1,427英尺），是世界上第七高的塔，仅次于哈利法塔、东京晴空塔、广州塔、加拿大国家电视塔、奥斯坦金诺塔、东方明珠广播电视塔。顶端内部有12层，楼顶为315米（1,033英尺）。塔身内部包含楼梯和电梯。默德塔也是目前世界上第17高的独立建筑结构。
默德塔是德黑兰国际贸易和会议中心的一部分，默德塔顶部为餐厅、五星级酒店、会议中心、世界贸易中心和科技园区。这些设施结合贸易、通讯、展场、住宿，以响应21世纪的全球化需要。
历史.
默德塔最早是巴列维计划的一部分，位于德黑兰和之间。美国城市规划师罗伯逊是巴列维计划设计师.。巴列维计划包括5000000平方米土地，其中三分之一是开放空间。巴列维计划本来容纳50,000居民、政府部门、商业机构及文化中心，包括表演艺术博物馆、设施和图书馆（包括巴列维国家图书馆）。巴列维计划将耗资500亿（210亿美元）元 ，丽莎·哈拉比与巴列维计划关系密切。随著1976年伊朗伊斯兰革命爆发，巴列维计划被取消。
2000年，默德塔开始建设。在2007年完工后，默德塔是世界上第四高的独立电信塔。一年后，默德塔在2008年开放大众使用。默德塔的历史存有一些疑惑，比如有一些资料显示默德塔的动土比2000年更早、默德塔是在一年后完工，而不是2007年 。该塔正式于2008年10月8日开通，德黑兰市长穆罕默德·巴盖尔·卡利巴夫和德黑兰市议会成员都参与开幕仪式，吸引250多名当地和外国记者采访。
结构.
默德塔高度为435米（1,427英尺），是伊朗最高的建筑，也是世界上第六高的塔。默德塔由五个主要部分组成：基础、塔身（大厅）结构、轴结构、塔头结构和天线桅杆。塔身结构包含六层楼，前三个楼层包含63个商业机构、11个美食广场、咖啡厅和商业产品展览，占地260平方米（2,800平方呎）。
第一和第二层包括官方组织、安装部分、数据中心。一楼是接待游客的入口。轴结构是混凝土结构，位于315米高空（1,033英尺）。6座电梯位于三个不同侧面，将游客以每秒7米（0.007公里）的速度运送至顶部，紧急楼梯则位于第四个侧面。
塔头是一个钢制结构，重约25,000吨，内部分成12层楼。默德塔顶层内含一个防火避难区、一个封闭观景台、餐厅、公共艺术画廊、一个开放的观景台、一个旋转餐厅、电信楼层、贵宾餐厅、机械地板和天空圆顶。
默德塔天线桅杆有120米高（390英尺）。桅杆的较低楼层为公共用户通信天线，三个上部层楼为伊朗伊斯兰共和国电视台与广播的天线。
此外，该大厦设有一个复合区，占地27,000平方米（290,000平方英尺），内含大型计算机和电信设备、文化和科学部、商业交易中心、临时展场、图书馆、展览厅和一个行政单位。默德塔有一个八角形的底座，象征著传统波斯建筑。Boland Payeh公司负责建造默德塔，设计师则是M.R. Hafezi。
国际会议中心.
默德塔主要部分是7个会议沙龙和展览空间，占地700平方米（7,500平方英呎），其他特点包含大厅、培训室、两间化妆室、一个电台和电视演播室和接待服务室。
国际酒店.
占地52,000平方米（560,000平方英尺）五星级酒店已经在默德塔营运，提供游客与商业人士住宿。
世界贸易中心.
世界贸易中心​​占地40,000平方米（430,000平方英尺），连接不同国家商用业务的交易、产品展览服务、技术和科学规范。
菲廷定理

菲廷（Fitting）定理是群论中幂零子群的一条定理，由汉斯·菲廷证明。定理叙述如下：
因此可知有限多个幂零正规子群生成的子群也是幂零群。这结果可以证明某些类的群（包括所有有限群）的菲廷子群是幂零群。但是无限多个幂零子群生成的子群不一定是幂零群。
用序理论的词汇来说，菲廷定理的一部份可以表达为幂零正规子群族是一个子群格。
艾力克斯·迪·林兹

艾力克斯·D·林兹（Alex D. Linz, 全名"Alexander David "Alex" Linz", ）是一名美国演员，曾于1990年代和2000年代作为童星参演过多部电影和电视节目。他的主要作品有《小鬼当家3》和《乌龙大反击》。另外，林兹亦于1998年至2001年间为一个名叫富兰克林的角色配音,其为《麦当劳叔叔的古怪冒险》中的一名男孩。
早期生活.
林兹出生于美国加利福尼亚州圣塔芭芭拉。母亲名叫Deborah Baltaxe，是一名律师。其父亲Daniel Linz博士，是加利福尼亚大学圣塔芭芭拉分校的一名心理学教授。林兹的父母现已离异，而林兹现与其母亲一起生活。他有一个妹妹名叫Lily Alice. 林兹的母亲是一名犹太人，林兹亦于其13岁时参加过受戒礼。他高中在洛杉矶亚历山大哈密尔顿中学就读，并毕业于加州大学柏克莱分校。在大学时他是即兴喜剧团jericho!的成员。林兹目前住在美国加利福尼亚州。
事业.
艾力克斯·迪·林兹于1995年出道参演电视剧Cybill. 之后他在多部电视作品中出现，其在1995年电视剧The Young and the Restless中短期饰演过Phillip Chancellor IV，并在1996年的电影一日钟情中饰演蜜雪儿·菲佛所扮演角色的儿子。1997年时，林兹接替麦考利·克金成为电影小鬼当家3的主演。另外他还在1999年的动画电影泰山中为小泰山配音。
在2000年之后，林兹参演过多部青少年电影，例如2001年的喜剧乌龙大反击，其中扮演主角麦克斯，还有2002年的电影猩空漫游，该片曾在影院中小规模上映，以及2003年的以光明节为主题的迪士尼频道电视电影奇迹篮球队，其中他扮演一所犹太学校篮球队的领队。他还曾经为十分受欢迎的尼可国际儿童频道的卡通Hey Arnold!的最后两集，"April Fools' Day" 和 "The Journal"，中的角色Arnold配音。
他还曾参演过由杰夫·布里吉主演的2005年上映的喜剧电影A片特攻队。他最后参演的一部电影是2007年的戏剧片Choose Connor，由史帝芬·威伯主演。
湖郡女子中学

湖郡女子中学（Virginia School）曾是美南监理会差会在中国湖州设立的一所女子学校。现位于今人民路东侧湖州市第一人民医院内北侧，为湖州市文物保护单位。
历史.
湖郡女中历史可追溯到清光绪四年（1878）在江苏省嘉定县南翔镇创立的悦来书塾，后分男塾华英学堂和女塾文洁女塾（取自英文Virginia谐音）。1901年两校部分师生迁至湖州城内马军巷，1905年在海岛堂附近（今湖州市第一医院和湖州市第十二中学所在地域）建立新校舍，女塾位于西侧，中文校名改称湖郡女塾，英文校名未变。学校原只有小学部，1907年增设蒙养园（后改为幼稚园）和中学部，1927年更名为湖郡女子中学。湖郡女中和姐妹学校上海中西女中、苏州景海女校是监理会在中国开办的三大女校。
1952年12月，湖郡女中与监理会开设的另一所学校东吴大学吴兴附属中学合并，成立湖州初级中学，后发展为今湖州市第二中学（高中部，1998年迁址学士路）和湖州市第十二中学（初中部，高中部迁出后更为现名，仍在原址办学），原湖郡女中校址于1956年划入浙江省湖州师范学校（今湖州师范学院），1997年学校迁址，又转让与湖州市第一人民医院。
现状.
原湖郡女中教学楼位于今人民路东侧湖州市第一人民医院内北侧，现存两幢东西相邻的两层西式建筑，外墙红褐相间，屋顶采用美国坡顶乡村别墅风格，西楼南侧门楣上镌刻有1905字样，现为医院医技楼（3号楼），为湖州市区仅存的大型西式建筑。