hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
盖伊·福克斯 火药阴谋
火药阴谋的参与者之一托馬斯·帕西在1604年6月晋升，得以接近約翰·懷利亞德（John Whynniard）在伦敦的宅邸，懷利亞德是负责保管国王服装的官员。福克斯随后也被安插进入这座宅邸当看管人，这时他开始用約翰·約翰遜（John Johnson）做假名，并假扮成帕西的侍从。策划者们于是租下了約翰·懷利亞德名下的一间房间，房间长期无人居住，比较脏乱，他们认为这是一个存放火药的理想场所。福克斯称一开始在这里存放了20桶火药，7月20日又添了16桶。然而在7月28日由于瘟疫的缘故国会开幕大典推迟到了11月5日星期二。
盖伊·福克斯 火药阴谋
当时的公诉机关（依据托馬斯·溫圖爾的供词）称火药阴谋的参与者们试图从懷利亞德的宅邸挖一条地道通往国会。不过这也可能是政府捏造的故事，公诉机关没有证据表明存在这样一条地道，而且这个地道也不见踪影。福克斯本人直到第五次审讯时才承认他们有此计划，但即使到了那时他还无法明确指出地道的位置。然而如果这个故事是真的，那么直到1604年10月他们还在忙着从租来的房子下面挖地道通往国会上议院，听到从上面传来的声响时，他们停了下来。福克斯被派出去调查，回来时带来一个消息，租户的寡妇正在清理附近的一个地下室，这个地下室就位于国会上议院的正下方。
盖伊·福克斯 火药阴谋
为了得到他国势力的支持，福克斯于1605年5月远赴海外，把策划者们的计划告诉了休·歐文。第一代索爾茲伯里伯爵羅伯特·塞西爾的文件裡记录了福克斯的部分活动，索尔兹伯里伯爵有一个遍布欧洲的间谍网络，其中威廉·特納（William Turner）船长可能是负责监视福克斯的间谍，尽管他提供给索尔兹伯里伯爵的訊息往往不过是入侵报告的模糊方案而并没有任何关于火药阴谋的信息，但他确实在4月21日发现泰斯蒙德将带福克斯回英国。福克斯是著名的弗兰芒雇佣兵，会被介绍给“卡特斯比先生”及“贵族的朋友，以及那些备好了战马与军队的人”。然而特納的报告并未提到福克斯在英国用的假名約翰·約翰遜，他的报告直到11月才送到塞西爾手中，那时火药阴谋早就已经被揭发了。
盖伊·福克斯 火药阴谋
福克斯返英的确切日期并不清楚，但大约於1605年8月末回到伦敦。福克斯返國後与溫圖爾发现存放在地下室的火药已经都变质了，于是他们运进更多的火药，还有用于掩藏火药的木柴。10月的一系列会议确定了福克斯在这次行动中的最后人物一一点燃引信后，渡过泰晤士河逃走。同时在米德兰兹的起义会抓住伊丽莎白公主。人们并不赞成弑君行为，因此福克斯会出发前往欧洲大陆，他将在那向天主教庭说明，稱杀死国王及其随从是自己的神圣职责。
盖伊·福克斯 火药阴谋
有几个火药阴谋策划者担心这次行动会误伤幾位出席国会开幕大典的天主教信徒。10月26日夜，蒙蒂格爾勳爵收到了一封匿名信，警告他离国会远点儿，并称“到时候会有大事发生，为了你的安全，好好呆在約威康蒂......因为这次的国会开幕大典上会有一次猛烈的爆炸。”蒙蒂格爾的一个仆人告诉了策划者们有人写了这样一封信，但知道这个消息之后，策划者们仍然决定继续执行计划，尽管他们“清楚地意识到这是个圈套”。然而蒙蒂格尔已经开始怀疑，并把这封信呈给了国王詹姆斯。国王命令托馬斯·列韋特搜查位于国会地下的地下室。托馬斯·列韋特于11月5日进行了搜查，福克斯前一天晚上来晚了，他带了缓燃引信及手表，这些都是帕西给的，帕西说“因为他得知道时间”。午夜后不久，福克斯正要离开地下室时被捕。地下室里发现了藏在木柴与煤炭下的桶装火药。
盖伊·福克斯 火药阴谋
福克斯称自己名为約翰·約翰遜，一开始枢密室的几名成员负责审讯，福克斯在审讯时显得目中无人。一名大人问他拿这么多火药做什么，福克斯回答说他要“把你们这群苏格兰乞丐炸回老家。”他称自己是一名来自约克郡歷德戴爾（Netherdale）的天主教徒，36岁，父亲名叫托馬斯，母亲是伊迪絲·約翰遜。审讯官发现他身上有伤，他解释是胸膜炎造成的。福克斯后来承认自己企图炸毁国会上议院，并称没能实现计划觉得很遗憾。国王詹姆士很欣赏福克斯的坚定，称他有着“罗马人一样的决心”。
然而虽然詹姆士欣赏福克斯的决心但这并未阻止他于11月6日下令折磨“約翰·約翰遜”令其供出同谋者。国王指示对福克斯的折磨一开始要轻，用手銬，但如果必要可以更重一点，用拉肢刑架：“一开始刑罚轻点儿，逐渐加重，到最后就用最厉害的手段”。福克斯被移送到伦敦塔，国王列出了一系列要问“約翰遜”的问题，如“他到底是谁，因为我还没听说过有哪个人认识他的”、“他是什么时候、在哪儿学会说法语的？”、“如果他是个信天主教的家伙，那么是谁让他信这个教的？”审讯福克斯的房间就是后来的盖伊·福克斯室。
倫敦塔副塔長威廉·韋德爵士监督对福克斯的严刑折磨，获得了福克斯的证词，並在對福克斯搜身時，发现一封写给福氏的信。令韋德副塔長感到惊讶的是，“約翰遜”此时仍保持沉默，没有说出任何关于这次火药阴谋及其策划者的訊息。11月6日晚，他与韋德有一场谈话，韋德向索爾茲伯里报告称“他（約翰遜）告诉我们，自他开始行动以来，他确实每天向上帝祈祷，希望自己成功实施这个计划，这个计划或将对天主教信仰的发展有所助益，也能拯救自己的灵魂。”根据韋德的说法，尽管他警告福克斯，自己将不停审问，直到“我挖出他头脑中所有的秘密，找出所有同谋”为止，福克斯还是平静地渡过了一个晚上。但在第二天的某个时候，福克斯的泰然自若被打破了。
观察者愛德華·荷比爵士（Sir Edward Hoby）称“約翰遜自從關入伦敦塔以来一直说英语”。11月7日，福克斯说出了自己的真实身份，并供出参与这次刺杀国王计划的共有五人。自11月8日起，福克斯开始供出这些同谋的名字，并说出他们计划将伊丽莎白公主推上王位。11月9日，他的第三份供词牵扯到法蘭西斯·特雷申姆。1571年里多尔菲阴谋后，囚犯都要先说出自己的证词，然后才能抄写出来，再由囚犯签字（如果囚犯还能签字的话）。尽管福克斯在拷问台上是否遭到严刑拷打这一点并不清楚，但他签字时涂鸦似的笔迹证明他确实在审讯者手下遭受了痛苦。
1606年1月27日开始了对八名策划者的审判。福克斯与其他七名同谋由同一艘驳船从伦敦塔押送至威斯敏斯特宫，此前他们被关押在滥刑专断的星室法庭，在特制的绞刑台上示众。上议院专员宣读对策划者们的控告时，国王及其近亲也在一旁秘密观看。福克斯的身份被认定为吉多·福克斯，不然就是“吉多·約翰遜”。他自辩无罪，尽管从被捕的那一刻起他就明显接受了自己有罪。
从没有人怀疑审判的结果。法官判定所有被告均有罪，首席法官約翰·波帕姆爵士宣布被告犯有严重叛国罪，首席检察官愛德華·科克爵士报告法庭称所有被告将头着地由马匹拖行至死，他们将“以一种半天堂半世俗的方式被处死，因为哪种处死方式他们都配不上”。他们的生殖器将被切下并在他们眼前烧掉，他们的肠子和心脏都将被挖出，接着他们将被砍头，他们尸体的各个部分将在众人面前展示，“被飞鸟啄食”。福克斯与特雷紳姆关于西班牙叛国及火药阴谋的证词被大声宣读。最后一个证据是福克斯与溫圖爾的谈话，二人的囚室相邻，显然他们二人自认为谈话是私密的，但其实有一个政府间谍窃听他们的谈话。允许交谈的时候，福克斯解释称自己的无罪辩护忽略了起诉书提到的某些方面。
1606年1月31日，福克斯及其他三位策划者（托馬斯·溫圖爾、安布羅斯·盧克伍德与羅伯特·凱耶斯）从伦敦塔由枝条编成的囚车拖至威斯敏斯特的旧宫庭院，就在他们试图炸毁的议会大厅的对面。福克斯及三位策划者随后遭到吊刑剖腹與斬首，然后四马分尸。福克斯是最后一个受刑的，他请求国王及国家的原谅，不停地“划十字，做徒劳的仪式”。福克斯由于受到折磨身体虚弱，他在绞刑吏的帮助下爬上通往绞索的梯子。可能是因為從梯子上跳下來主动求死，也可能是因為爬得太高而绞索设置不正确，福克斯直接因摔断脖子而死去，从而避免了行刑后半段的痛苦折磨。不过按照惯例他的尸体还是被切成四块，分别送往“王国的四角”以此警告其他想要叛国的人。
盖伊·福克斯 後世影響
1605年11月5日，当局鼓励伦敦人点起篝火，庆祝国王逃过暗杀，“但要时刻保证这一欢乐的证明不会带来危险与混乱”。议会法令规定每年11月5日为纪念“欢乐的叛国者判决日”，直到1859年该法令失效。尽管福克斯只是13名策划者之一，但他确实是令火药阴谋失败的人。
盖伊·福克斯 後世影響
11月5日在英国也被称为“盖伊·福克斯之夜”、“盖伊·福克斯日”、“阴谋之夜”或“篝火之夜”，“篝火之夜”这个称呼直接源自于人们在1605年11月5日的庆祝方式。17世纪50年代以来，篝火之后都伴随着烟火。1673年，王位继承人约克公爵詹姆斯改信天主教，此后篝火之夜按惯例会焚烧肖像（往往是教皇的肖像），还有一些达官显贵如保罗·克留格尔和玛格丽特·撒切尔等公众恼怒的对象，他们的肖像也都在篝火之夜焚烧。扮演“盖伊”的通常是孩子，穿着旧衣服，拿着报纸，戴着面具。在19世纪時，“盖伊”指穿着打扮怪异的人，但在美式英语中，“盖伊”没有轻蔑的意涵，可以指任何一名男性。威廉·哈里森·安斯沃斯于1841年出版的历史浪漫小说《盖伊福克斯；或火药叛国阴谋》大体上以同情的眼光刻画了盖伊福克斯，把大众对他的认知转化为“可接受的小说人物”。随后在儿童书籍、《蓋伊·福克斯的童年時代》之类的恐怖故事杂志及1905年出版的《舊倫敦的陰謀》一书中盖伊成为了“本质上的行动英雄”。历史学家路易斯·寇爾观察到，盖伊现在已经成为“现代政治文化中的主要偶像”，他还写道在20世纪末，盖伊·福克斯的脸成为了“后现代无政府主义的潜在有力武器”，例如系列漫画《V字仇杀队》中对抗虛構法西斯政府的角色V所戴的面具。盖伊福克斯有时还被称颂为“最后一个怀着正直想法走进国会的人”。
柯士甸站
柯士甸站（英語：）是一個位於香港九龍油尖旺區渡船角柯士甸道西、廣東道與匯民道高鐵香港西九龍站旁，屬於港鐵屯馬綫的鐵路車站，車站於2009年8月16日隨九龍南綫通車而啟用。
柯士甸站 車站構造
柯士甸站設有3個大堂，分別為南／北面地面大堂以及地底大堂，而往返南／北面地面大堂須途經路面或地底大堂；而所有車站票務設施則設於地底大堂。另外，車站亦預留了30多間商店空間作為出租用途。
柯士甸站設有一座島式月台，而兩個月台均已裝設月台幕門。另外，位於柯士甸站北面亦設有袋狀軌，以供特別的車務調動之用。
九廣西鐵（後稱西鐵綫）原定最長可以9卡列車行走；第一期（屯門站至南昌站）車站月台皆可容納9卡列車停靠（通車初期因客量少，故只以7卡列車行走；2016年開始陸續改以8卡列車行走）。但在柯士甸站建造時，西鐵綫已確定最終會與沙中綫東九龍段及馬鞍山綫貫通成為「東西走廊鐵路」（今屯馬綫）；受到原馬鞍山綫車站的設計限制，列車最長只能為8卡，故柯士甸站月台亦只興建8卡的長度，並沒有預留擴充條件。
柯士甸站 車站構造
柯士甸站除了設有行人隧道連接佐敦道、柯士甸道以及高鐵香港西九龍站外，亦設有行人天橋連接港鐵九龍站以及九龍站上蓋物業Union Square。各出入口連接包括佐敦道行人天橋、行人隧道、柯士甸道行人隧道、戲曲中心及匯民道，方便佐敦西部、渡船角及尖沙咀西部一帶居民與上班人士。其中B3、D3出口與車公廟站E出口同為屯馬綫僅有連接住宅的出入口。此出入口設有八達通讀卡器，住客須經已登記的八達通才可進出。而各個出入口均設有指示牌顯示出入口周邊的建築物及設施列表。
柯士甸站 利用狀況
柯士甸站位於高鐵香港西九龍站旁、匯民道與廣東道旁側，車站亦鄰近西九文化區戲曲中心，渡船角文華新村唐樓群，大型購物商場圓方及中港城等，故車站仍有一定的人流支持。
而在車站啟用初期，除了上下班繁忙時間外，使用柯士甸站出入閘的人流極少。但隨著接駁巴士線K16線於2009年9月永久停駛以及匯翔道巴士總站於同年12月搬遷後，柯士甸站成為獨市地位，故此人流已有所上升。
自廣深港高速鐵路香港段於2018年9月通車後，由於柯士甸站設有通道直接連接香港西九龍站，故吸引不少乘客會使用柯士甸站轉乘高鐵及港鐵，因此在高鐵開通初期更曾出現當值人員不足的情況，日常輪候時間約為10分鐘。
柯士甸站 接駁交通及車費優惠
另外，鄰近車站的海港城亦設有適用於柯士甸站的港鐵特惠站，為使用成人八達通的乘客提供港幣2元的車費回贈。
柯士甸站往返各站的票價與九龍站相同。另外由於九龍站啟用時採用了佐敦站收費，除部分東鐵綫車站外，此站之票價亦與佐敦站往返其他市區綫車站看齊。
儘管位置相近並有行人隧道及天橋網絡經香港西九龍站接駁，但柯士甸站與東涌綫的九龍站並非為正式的轉車站。乘客若在兩站間轉乘，無論使用八達通還是單程車票，包括港鐵都會票但不包括機場快綫的港鐵接駁服務，均需當作兩段車程處理，並繳納再入閘收費，與荃灣西站與荃灣站的轉乘車費計算方法相同，有別於尖沙咀站與尖東站之間的通道轉乘安排。
乘客只須以同一張備有可用票值之八達通，並於1小時內於九龍站轉乘至機場快綫／任何港鐵之車程，包括羅湖／落馬洲站（輕鐵﹑港鐵巴士及東鐵綫頭等除外），即可享免費港鐵接駁服務。
柯士甸站 歷史
柯士甸站位於已拆卸的佐敦道碼頭及填海地，工程由當時的九廣鐵路公司規劃、批出合約及出資，在兩鐵合併之後改由香港鐵路有限公司（前身為地鐵有限公司）負責監督建造及營運。而此站則由禮頓亞洲－保富集團－熊谷組－賀隆聯營負責興建，於2008年4月30日平頂。
該車站原稱九龍西站（英語：）此外，車站亦曾稱為西九龍站英語：。然而時任香港鐵路公司行政總裁周松崗指此名稱與廣深港高速鐵路將來的西九龍站相近，因此決定重新命名。而實際上，柯士甸站處於現有東涌綫與機場快綫九龍站以東，以九龍西站命名此新車站顯得不合理。
根據港鐵網站，於2008年9月工程簡介，此車站已重新命名為柯士甸站（英語：）。新站名源於附近的柯士甸道及柯士甸道西。如同佐敦站同樣車站以附近街道（柯士甸道）名稱。
自從2005年8月29日起，《am730》和《頭條日報》在西鐵綫各站免費派發。但直至2010年10月2日，該站才新增以上免費報刊。
柯士甸站 歷史
為方便The Austin以及Grand Austin的住客出入，港鐵亦為車站加建連接上述住宅物業的B3、D3出口。兩個出入口分別於2015年5月20日及同年10月23日啟用。
為配合廣深港高速鐵路興建，由於柯士甸站位於香港西九龍站旁，故港鐵亦加建三個出入口連接高鐵站。香港西九龍站自2018年9月10日早上8時開放售票後，車站站C、D4出口隨即開放予購買高鐵車票乘客使用（其中C出口只容許進入柯士甸站）。廣深港高速鐵路於2018年9月23日通車後，連接高鐵站的B4、C及D4出口亦正式開放。
為方便市民往返戲曲中心，港鐵亦在車站加建E出口連接戲曲中心，該出口位於大堂層南面通往F出口通道的盡頭轉角位，並設有扶手電梯、樓梯及升降機，而E出口已於2021年3月21日啟用。
康城站 (香港)
康城站（英語：）是一個位於香港新界將軍澳小赤沙康城路，屬於港鐵將軍澳綫的鐵路車站，同時也是將軍澳綫的終點站之一，車站於2009年7月26日啟用。
康城站 (香港) 車站結構
康城站面積達約35,000平方米，車站採用密封式設計，並以紫色為主要色調，與其他將軍澳綫車站同樣以搪瓷板及紙皮石作為車站牆壁。車站位於日出康城屋苑範圍內，並毗鄰商場「The LOHAS 康城」及公共運輸交匯處。
雖然康城站屬於地面車站，但為了避免列車對附近居民造成噪音滋擾，整個車站被混凝土圍封。列車由車站開往將軍澳站方向時，會有一段露天路段才進入隧道，但該段露天路段只有數十米左右，並且可從康城路的地面看見，同時亦是將軍澳綫以及整個西貢區的唯一一段露天路軌，情況類同藍田站後備行車隧道。另外，在距離地面較接近的一段路，港鐵亦用鐵絲網圍起，並在有關路段附近的單車徑豎立路牌提醒道路使用者勿進鐵路範圍。
另外，康城站的扶手電梯有別於其他車站，它們採用省電模式。當乘客進入扶手電梯範圍時，扶手電梯才會加快至普通速度，而車站亦是首個設有此類扶手電梯的港鐵車站。
康城站 (香港) 車站結構
康城站的大堂位於月台上層，而大堂內亦設有客務中心、商店等設施。
康城站設有一座島式月台，而兩個月台均已裝設月台幕門，而車站並不設落客專用月台及調頭隧道，列車到站後會在月台同一時間進行上／下客及調頭。另外此站的島式月台較為狹窄，月台的闊度只能容納一部扶手電梯。
康城站目前設有3個出入口，當中B出口連接日出康城大型商場「The LOHAS 康城」以及公共運輸交匯處，而「The LOHAS 康城」內亦會設通道連接各期住宅以及日出公園；而C1、C2出口更設有24小時臨時有蓋通道連接日出康城第1–6期住宅。
另外，康城站在啟用時亦曾設置A出口通往臨時康城站公共運輸交匯處，但該出入口已於2022年3月14日隨日出康城第13期興建工程而關閉。
康城站 (香港) 利用狀況
康城站主要服務其上蓋的大型綜合住宅區日出康城以及位於車站遠處的將軍澳工業邨，唯在車站啟用初期，日出康城仍在發展階段，故其出入閘的人流相比周邊已經發展多時的其他將軍澳綫車站較少。而隨著住宅區項目及周邊配套設施陸續落成啟用，使用車站的人流已逐漸增加。2025年8月，港鐵宣布啟用雙月台同時上落客，以應付繁忙時間的客流。
往返康城站的列車於平日及星期六繁忙時間會以北角站為終點站；至於平日非繁忙時間及公眾假期則會以調景嶺站為終點站，而乘客亦可於港鐵的應用程式檢閱有關班次詳情。
康城站 (香港) 接駁交通
位於康城站A出口對出曾設有臨時康城站公共運輸交匯處，雖然交匯處內設有巴士、小巴及的士站，但車站啟用初期，只有穿梭巴士往返日出康城第一期－首都，以及市區的士站，並無其他巴士及小巴路線往返康城站。不過，由於連接港鐵康城站至首都的新建行人通道於2010年10月30日啟用後，導致往返日出康城的居民巴士客量大幅下跌，因此營辦商與業主立案法團開會後決定由2010年12月1日起停辦居民巴士服務，現時該處只尚餘領都免費居民巴士服務。2011年2月14日起，康城站才有首項該處為總站的公共交通服務，當日起新界區專線小巴112M線投入服務，為日出康城居民及將軍澳工業邨的通勤人士提供接駁港鐵的服務。
現有的永久性有蓋公共運輸交匯處於2020年10月31日使用，同日舊有的露天公共運輸交匯處亦正式關閉。新的公共運輸交匯處連接The LOHAS 康城商場，乘客需經過商場才能抵達車站B出口。
康城站 (香港) 歷史
康城站在將軍澳綫規劃時，由於車站只是位於將軍澳百勝角對出的第86規劃區填海用地上，故此車站在方案中只是以86區作車站命名。直至後期的地鐵中期報告、年報及相關文件中，以將軍澳南為站名。而在車站工地外圍板上的模擬圖片，中文站名為將軍澳南，英文站名則是Tseung Kwan O South。
根據香港鐵路有限公司（前身為香港地下鐵路公司，2000年私有化後改名為地鐵有限公司）於2007年12月的業務概覽 （页面存档备份，存于）中，車站是以日出康城作為標示，而在2008年2月向傳媒展示的內容，內容並無提及車站名稱，只是以「日出康城新車站」為標題向傳媒簡介，並非以將軍澳南命名。不過，根據香港討論區於2008年7月刊登車站內部裝修照片，此站將以康城為站名。2008年10月18日港鐵正式將此站命名為康城，並於2009年7月26日啟用，而車站承建商為前田建設工業株式會社。
康城站 (香港) 歷史
康城站亦是目前在港鐵系統中位處於最東端的車站，也是兩鐵合併後第一個啟用的車站。
港鐵在規劃車站時已預留一個出入口連接未來的車站上蓋物業，而該出入口已於2020年10月31日隨著新落成的康城站公共運輸交匯處啟用，並且被編名為B出口。
為配合日出康城第13期物業發展，自車站在2009年啟用的A出口已於2022年3月14日起永久關閉。
康城站 (香港) 批評
港鐵將軍澳綫的走綫為「Y」形分支，繁忙時間的班次安排以2班往寶琳站列車加1班往康城站列車制度作為一個循環，此舉被指分薄來往寶琳站的班次；另外，康城站登車前往寶琳站的乘客須於將軍澳站轉車，但前往康城站或寶琳站的列車到達將軍澳站均會同樣停靠在1號（往寶琳／康城）月台，來自康城站的乘客有機會於未清楚列車目的地的情況下上車，結果導致乘錯前往康城站的列車。此安排被指折騰了不了解將軍澳綫班次運作的區外乘客，「康城無限輪迴」此都市傳說於網上不徑而走。
另外，康城站車站較為狹窄，加上車站出入閘機較少，在日出康城屋苑及康城商場陸續入伙後，車站更容易擁擠，乘客往往需要花費數分鐘排隊出入閘。
青岛海牛足球俱乐部
青岛海牛足球俱乐部是一家位于中国青岛市的足球俱乐部，简称青岛海牛或海牛队，于1993年12月31日成立，前身为山东经贸委（青岛）足球代表队。1997年，颐中集团接手球队，俱乐部更名为“青岛颐中海牛足球俱乐部”。2004年，中能集团获得球队经营权，俱乐部更名为“青岛中能足球俱乐部”。2021年1月，为满足中国足协有关俱乐部名称非企业化的规定，俱乐部改回原名。
1994年，青岛海牛参加甲B联赛并在该赛季夺得冠军，升入甲A联赛，但在下赛季，青岛海牛仅以1分之差降回甲B联赛。1996赛季，青岛海牛又以联赛次名的成绩再次升入甲A联赛，此后便一直参与最高级别联赛，直至2013赛季因排名垫底而降入中甲，2016赛季又从中甲降至中乙。2021赛季，青岛海牛以联赛头名的身份升入中甲，又于第二年夺得联赛积分榜次席，时隔十年再次升入中超。
1997年起，因赞助商及股东多次更迭，球队曾使用青岛颐中海牛、青岛啤酒、青岛哈德门、青岛贝莱特、青岛中能、青岛工艺品城等队名。2002年，青岛颐中哈德门队赢得中国足协杯冠军，第二年获得超霸杯亚军。
青岛海牛足球俱乐部 文化
青岛海牛队的队歌是由青岛本土音乐人王志新于1996年创作的《海牛之歌》（又名《海牛海牛》）。歌曲凭借着简单易唱的旋律和朗朗上口的歌词在球迷间传唱，被中国中央电视台体育频道前主持人刘建宏评为“球迷之歌里最朗朗上口的一首”。在中能集团入主球队后，曾发起征集队歌的活动，但此后没有下文。2021年球队恢复原名，《海牛之歌》再次成为队歌，并在每次主场比赛前后播放。
青岛海牛足球俱乐部 球员
更新日期：2025年7月19日
註釋：國旗表示球員在國際足聯資格規則定義的國家隊。球員可能擁有一個以上非國際足聯國籍。
带粗体者为海牛30周年历史最佳阵容
青岛海牛足球俱乐部 轶闻
位于山东省济南市的山东泰山足球俱乐部是青岛海牛的德比对手。两队在历史上渊源很深，海牛队的前身山东经贸委队主要由从山东队退役的青岛籍球员组成，而山东队在职业联赛初期的主力阵容也大部分为青岛籍球员，宿茂臻、李霄鹏、舒畅三位青岛籍球员更是球队的三代领袖人物。由于济南和青岛这两座城市在山东省的重要地位，每一次山东队和青岛队的交手都会引起很大关注，被称为“齐鲁德比”。1995年中国足球甲A联赛第5轮，济南泰山主场迎战青岛海牛，开启了职业联赛齐鲁德比的历史，最终两队以0：0和气收场。第16轮，青岛海牛主场对济南泰山，山东队当时已经保级，而青岛队则急需胜利三分，比赛下半时青岛队1：0领先，正当大家认为比赛进入垃圾时间时，青岛籍山东队球员李霄鹏的一脚远射攻破青岛队球门，比赛最终1：1收场。而在95赛季最后6轮，山东队连续输给青岛队的保级对手八一、天津和延边，间接致使青岛队降级，两队自此结下梁子。在1999年以前，青岛队对山东队6战3胜3平保持不败，后来山东队逐渐将战绩拉平，在甲A联赛阶段，青岛队对山东队16战6胜3平7负，基本持平。
青岛海牛足球俱乐部 轶闻
2004年进入中超联赛后，尤其是在2005年青岛颐中海牛足球俱乐部被中能集团收购以后，由于中能集团在商业活动上有赖于山东鲁能集团，而且青岛队也聘请了在山东足坛人脉颇深的殷铁生担任主教练，所以青岛队在与山东队的交锋中，基本上都以放水为主。截至2010年中超联赛结束，青岛队对山东队14战1胜4平9负，为山东队7年3夺联赛冠军立下汗马功劳。2011年中超联赛，青岛队在韩籍主教练张外龙的指挥下，主客场双杀山东队，一扫前7年逢鲁必输的阴霾。
值得一提的是，青岛队和山东队都曾获得中国足协杯冠军，但自1995年开始至2006年足协杯停办，两队从未在足协杯赛场上相遇。2011年足协杯复办后，两队也未曾再战，直至2022年足协杯才首次相遇，青岛海牛以0-2负于山东泰山。
青岛海牛足球俱乐部 轶闻
除青岛海牛外，在职业联赛史上，青岛市也曾出现多家职业足球俱乐部，其中历史最久远，战绩最突出的是在2010年被中国足协取消注册资格的青岛海利丰足球俱乐部。在职业联赛初期，青岛媒体和民间都有实现“青岛双雄”的想法，但由于青岛海利丰队多年不能晋升甲B，后不得不以购买甲B参赛资格的方式晋级，之后又由于青岛球市低迷而转战外地，所以青岛海利丰冲A的想法也渐行渐远。而在足协杯中，青岛中能队与青岛海利丰队也从未相遇。因而虽然两队非正式比赛频繁，但在正式比赛中从未相遇，球迷期盼的“岛城德比”从未上演。
2013年，青岛中能降入中甲，当时新组建的青岛海牛足球俱乐部（后更名为青岛黄海足球俱乐部、青岛足球俱乐部）夺得中乙联赛冠军，2014年中甲联赛首现“岛城德比”，此后连续3年，双方共交手6次，中能以3胜1平2负的战绩与对手持平。2016年中能降入中乙，青岛（黄海）队则于2019年升入中超，双方再也没能交手。2022年，青岛足球俱乐部决定退出中国职业足球联赛。
青岛海牛足球俱乐部 轶闻
2019年，青岛红狮足球俱乐部从中冠联赛升入中乙。在中乙赛场上，两队共交手3次，青岛中能以1胜1平1负的战绩收场。2021年中乙联赛，青岛海牛与青岛红狮因分属不同小组而没能交手，而后青岛海牛升至中甲。青岛红狮则勉强保级。2023年，青岛红狮在孙新波的指导下获得中乙殿军，并于次年递补升入中甲。
2020年，青岛中创恒泰足球俱乐部（后更名青岛青春岛足球俱乐部，现名青岛西海岸足球俱乐部）从中冠联赛升入中乙，在中乙赛场上，青岛海牛（中能）以1胜1平的战绩占优。2021年，青岛海牛与赢得升级附加赛的青岛青春岛携手升入中甲。在中甲赛场，青岛海牛以1胜1平的战绩继续占优，并以积分榜第2的成绩升入中超联赛。2023年，青岛西海岸（青春岛）升入中超，成为史上第三个升入中超的青岛球队，中超首次出现“岛城德比”。
飛行器發動機製造商列表
主要的民用航空发动机生产厂商有：
以下是從過去至今的飛行器引擎製造商列表。較重要的那些被顯示為粗體。
丈夫团
丈夫团，又称铁血丈夫团，1904年，由黄郛、李烈钧发起的在日本学习军事的同盟会会员组织的一个政治团体。以孟子“富贵不能淫，贫贱不能移，威武不能屈”作为成员的品格。团长是黄郛，成立时有成员25名，后来扩大到近40名。丈夫团的成员回国后在清末组织的新军中担任中下级军官。在辛亥革命时，丈夫团的成员在各地响应武昌起义，发挥了很大的力量。中华民国成立以后，后来很多成员成为割据一方的军阀。
丈夫团 成员
关于丈夫团的成员，根据不同人的回忆，有不同说法。其中一个争议是蒋介石是不是丈夫团成员，李敖的观点认为蒋介石没有加入丈夫团。
以下丈夫团成员名单主要参考了李书城等人所述。
香港通訊
香港通訊業市場發展成熟，基礎設施完善。電訊市場競爭激烈，無論固網及流動電訊，都有多家營辦商經營，為消費者帶來更多選擇。今日，手提電話、互聯網等電訊服務已成為香港人生活一部分。
香港通訊 歷史
香港的電訊服務，早期由大東電報局及其屬下的香港電話公司提供，之后隨着香港政府開放專營權，及收購合併後，踏入21世紀，香港的電訊業已呈現全新的局面。
早在1871年，香港第一條海底電報電纜在香港薄扶林鋼綫灣，即今日數碼港附近著陸。1877年，貝爾取得發明電話專利只一年，香港經由東方電話電力有限公司（Oriental Telephone and Electric Company）發展電話服務。1882年，香港首部電話安裝於《士蔑西報》（Hong Kong Telegraph）編輯部，但由於價錢昂貴，電話公司數年後便虧本倒閉。
至於香港境內第一條電報線，則由怡和洋行鋪設，連接位於銅鑼灣東角的總行與位於中環的分行。
香港通訊 歷史
1905年，香港成立中日電話公司，首次在維港鋪設海底電纜，電話服務伸展至九龍。1925年，中日電話改組成香港電話公司，獲得香港政府發出為期50年的電話服務的專營權。1931年5月1日，線路轉駁全面自動化。1941年日治時期前，160萬人口中電話用戶達1萬7000戶；1973年約400萬人口中，電話機數目更躍升至100萬。1976年，首次推出國際直撥長途電話服務。
1980年代，傳呼機、流動電話及撥號上網開始引入香港，但當時只有傳呼機普及起來。踏入1990年代，流動電話及撥號上網亦開始流行，而傳呼機則逐漸被淘汰，電報服務也在當時終止提供。2000年代，寬頻上網也取代了撥號上網，同時流動電訊也發展得相當成熟。
香港通訊 固網電話服務
香港的固網電訊網絡已十分成熟，直至2011年8月，按人口計算的固網電話線普及率達102.0%。2017年12月，普及率數字回落至91.5%。
固網電訊網絡早期只可作話音通訊，但其後傳真機，以至互聯網的出現，令用戶可使用固網作撥號上網之用；近年亦有固網商推出固網及資訊等增值服務。1993年底，全港共有380萬部電話，平均每100人有65部，以及300萬條電話線。1990年代，在全港各區都隨處可見由固網服務營辦商設立的公共電話亭，而且很多電話亭都設有國際電話服務。同期，流動電話用戶有50萬戶，使用率位列全球第二位，傳呼機平均每4.7人就有一部。2000年，公共收費電話亭數量曾高達11710部，隨着流動電話逐漸普及，至2018年3月底僅餘約2800部，逾半的收入平均每天不多於一元，而2014年電訊業就提供公眾收費電話機的補貼額為2160萬港元。
香港通訊 固網電話服務
香港自1870年代引入電話服務的百多年以來，香港電話有限公司／香港電訊（即現電訊盈科）曾長期是固網電話服務營辦商。1995年7月，固網電話電訊市場開放，政府發出3個新固定電訊服務牌照，分別是和記廣訊、香港新電訊及新世界電話，破香港電訊壟斷，使固網電話服務營辦商數量，由1間增至4間。3間新營辦商，開始在全港鋪設網絡，提供住宅及商業電話服務。新營辦商在鋪設網絡未完成時，亦可租用香港電訊的現有網絡提供服務。
此3間新營辦商，後來均被收購：
2003年1月起，香港固網電話服務市場全面開放，政府不設營辦商牌照數目上限及申領牌照的時限。截至2019年12月，實際擁有本身網絡，兼有向公眾提供固網電話服務的營辦商，有以下4間——
除了住宅用戶及商業用戶的固網電話系統，固網服務營辦商也在香港街頭設立公共電話亭，在2000年代中開始，這些電話亭更開始提供免費或收費的公共Wi-Fi服務。然而隨著流動電話的迅速普及，現時的公共電話亭已經買少見少。
香港的電話號碼，也曾長期由香港電話公司管理，至1993年7月1日電訊管理局（現改組成通訊事務管理局辦公室）成立，轉由該局管理。
電話系統
香港通訊 固網互聯網服務
香港的互聯網國家及地區頂級域為「.hk」。
香港的寬頻網絡覆蓋完善，全港大部分家庭和商業用戶皆在覆蓋範圍，只有部分離島及新界村屋未獲覆蓋。近年，使用寬頻上網的用戶不斷上升，令香港的寬頻滲透率在全球名列前茅。2017年11月，住宅寬頻普及率達92.3%，已登記的寬頻上網用戶超過263萬戶，全港共有231間互聯網服務供應商，同期，光纖到戶的住宅滲透率亦有42.2%。2011年11月時，撥號上網用戶帳戶有778,814戶。由於撥號上網的速度比寬頻慢得多，加上電訊商會額外收取PNETS附加費，因此寬頻上網正逐漸取代撥號上網。
據2018年Speedtest Global Index報告，香港的寬頻上網速度位處世界前列，固定網絡平均連線速度有136.15Mbps。
香港通訊 固網互聯網服務
此外，截至2015年6月30日，香港有IPv4位址量12,126,464個，IPv6位址量217塊/32。
現時香港實際擁有本身網絡的固網互聯網服務營辦商，有以下4間——
按照住宅及商業用戶分類，又可分為——
住宅用戶：
住宅用戶（虛擬網絡商）：
商業用戶：
近年亦有收費電視透過寬頻網絡為用戶提供服務，包括電訊盈科Now TV、已停播的香港寬頻bbTV等，而已停播的無綫網絡電視（現改組成myTV SUPER）則曾同時以衛星、和記環球電訊寬頻網絡及電訊盈科寬頻網絡傳播。
香港通訊 流動電話及互聯網服務
香港的流動電訊服務競爭激烈，服務滲透率是全球最高的地區之一。截至2017年11月，香港流動電話服務用戶比香港整體人口更多，超過1,828萬，表示在數字上，每個香港人最少擁有一個或以上的流動電話帳戶；而按人口計算，流動電話服務用戶滲透率達到247.4%。同期，流動寬頻客戶也有超過1,698萬。
由1999年3月1日起，香港已實施流動電話號碼可攜服務，是世界上最早提供此服務的地區之一。消費者無需為保留使用中的電話號碼而不能轉用其他流動電訊營辦商。現時每月平均有超過6萬個戶口申請把電話號碼轉攜至其他流動電訊營辦商。
香港的流動網絡覆蓋完善，除部分郊區地點外，大部分地方皆有流動網絡覆蓋，而大氣電波較難到達的隧道、港鐵、商場地庫等地方，網絡亦能覆蓋。
香港流動電訊網絡制式，現時採用歐洲第二代制式的GSM-900、PCS（GSM-1800），第三代的UMTS，以及第四代的LTE制式網絡。GSM是除了日本、韓國、中華民國以外，全世界大部分國家採用的網絡制式，而UMTS及LTE則可通行幾乎全世界。
香港通訊 流動電話及互聯網服務
個別網絡商曾經在1990年代提供CT2、CDMA (cdmaOne)及TDMA (D-AMPS)服務，後兩者分別由和記新幹線及訊聯電信獨家提供（訊聯電信1997年被當時香港電訊旗下的CSL收購，改以香港電訊CSL 1+1品牌提供服務），但因種種因素，如技術發展和手機款式等，已經於1990年代中期至2000年代中期陸逐停止服務。
現時香港擁有頻譜的流動網絡營辦商，有以下4間——
部份有香港地產商背景，部分則有海外電訊集團背景。另外還有多家流動虛擬網絡商(MVNO)提供流動通訊服務。
香港的第三代流動通訊服務（3G），由和記電訊、數碼通、CSL及SUNDAY 4間電訊商持有牌照。2004年1月，和記電訊的3香港率先拍出3G服務。2004年12月，數碼通及CSL亦相繼開始提供3G服務；而餘下的SUNDAY，由於資源不足，一直未能推出3G服務。至2006年1月，以電訊盈科收購SUNDAY，以電訊盈科流動通的品牌，提供為期8個月的免費3G試用服務。截至2005年7月，採用3G服務的用戶有1,648,989人。
香港通訊 流動電話及互聯網服務
由於技術及利益上的問題，各3G網路商在啟用初期，客戶不能與其他3G網路商作視像通話，各個網路商均加快互連進度，但問題一直遲遲未有解決。當時，數碼通聯同其他3G網路商，對和記電訊的3香港作出批評，指對方一直就利益問題，多次以技術問題拖延而不肯互連，但3香港則聲明正進行測試。數碼通亦曾經嘗試向電訊管理局希望介入事件。結果，於2005年初，數碼通與CSL互相作出視象通訊互連，互連費每分鐘大約$0.5至$1.5港元；而最後3香港亦於2005年中與各個3G網路商互連。
於2011年尾，CSL旗下品牌新世界傳動網升級其服務至3G，推出月費$72元的限速3G上網計劃。由於當時的3G上網月費計劃動輒過百元，其收費之低廉成功吸引大批對上網速度要求不高的客戶轉台。此計劃之下載速度限於384kbps，但不設用量上限，公平使用守則亦不適用。由於成功開拓一批新客源，其後3香港及一向走高檔路線的數碼通亦推出相應計劃搶客。於2013年1月，一向只以便宜的2G GPRS/EDGE計劃吸客的中國移動香港更租用電訊盈科流動通訊的3G網絡，以提供限速3G計劃，並全面取代旗下的2G GPRS/EDGE月費計劃。
香港通訊 流動電話及互聯網服務
香港政府於2009年拍賣2600MHz頻譜。當年由和記電訊香港與電訊盈科的合營公司，以及CSL和中國移動香港投得。數碼通則於現行的1800MHz頻段中加入4G LTE的支援。香港所有投得2600MHz頻譜的電訊商均採用歐美的FDD-LTE制式。。
事隔兩年多，CSL旗下品牌One2Free成為香港第一家推出4G LTE服務的電訊商。One2Free表示其全球首創4G LTE/DC-HSPA+網絡能給予用戶極速寬頻的網絡體驗。CSL旗下品牌1010於2012年2月公布與HTC合作，在香港推出首部支援4G網絡的智能手機，並表示月費價錢將會極具競爭力，或與現時的3G月費計劃相若。。
各電訊商所採用的網絡基建商各有不同。CSL的網絡由華為建設，和電香港與電訊盈科的合營公司Genius Brand採用華為的網絡設備，數碼通則指定使用愛立信的網絡基建作為其4G網絡的供應商，而中國移動香港採用愛立信及中興通訊提供的4G網絡基建。
香港通訊 流動電話及互聯網服務
新鴻基地產旗下的數碼通則於2012年傳媒春茗上宣布率先取消無限3G數據（最終因另一電訊商CSL維持無限3G數據服務而使數碼通撤回有關決定），並同時透露將於同年推出4G LTE服務，但未有透露具體時間表。由於數碼通並無投得2600MHz頻譜，其4G LTE頻譜其實是利用技術與現有的2G頻譜共用。而且由於支援數碼通4G LTE 1800MHz頻譜的智能手機比支援其他電訊商4G LTE所投得的2600MHz頻譜更少，因此能否吸引客戶轉用頓成疑問。
2012 年初，香港五大電訊商配合多部4G手提電話推出，相繼推出4G LTE服務。當時4G LTE的室外市區覆蓋率普遍達到約八成，並預計將於 2013 年達至超過九成覆蓋。但由於電訊商在港鐵內安裝電訊發射器須向港鐵支付近億元牌照費及租金，當中連建設機站的費用，亦全數由參與的網絡商分擔，當各電訊商打算升級至4G LTE時，港鐵提出近千萬的溢價，令電訊商不滿，使4G LTE推出超過半年仍未有任何電訊商4G信號覆蓋港鐵。於10月初時，有電訊商放出消息，指與港鐵的商討陷於膠著，或令港鐵的新鐵路成為「無網鐵路」。
香港通訊 流動電話及互聯網服務
於該報道登出後4天，港鐵終於陸續與電訊商達成4G LTE覆蓋協議。所有電訊商均會利用現有的1800MHz頻譜以提供4G LTE覆蓋。PCCW Mobile成為第一家於金鐘站有4G LTE網覆蓋的電訊商。其後其他電訊商亦相繼覆蓋港島線，並於2013年1月22日完成覆蓋所有港鐵內的舊地鐵網絡。
於2012年12月，中國移動通訊與ZTE（中興）及愛立信（Ericsson）一同推出FDD-LTE及TD-LTE雙制式網絡。中國移動香港TD-LTE網絡採用2300MHz頻段，而FDD-LTE網絡則採用2600MHz網絡。測試結果顯示，TD-LTE網絡的上傳速度明顯比FDD-LTE差，而且尚未有手提電話支援自動調較網絡，雙制式網絡LTE距離成熟尚有一大段距離。
2013年9月，CSL宣佈將於2014年提供300Mbps LTE Advanced技術。CSL是使用旗下兩條分別為1800MHz和2600MHz LTE頻譜的20MHz頻寬集合而成，惟預計至2014年中才會陸續有手提電話芯片支援此高速網絡。
香港通訊 流動電話及互聯網服務
2013年11月7日，CSL率先公佈其4G LTE網絡將覆蓋舊九鐵網絡（即現時的東鐵綫和屯马线），3香港、PCCW及數碼通亦於數日內作出相同公佈。
2013年11月11日，PCCW宣佈4G語音通話服務（Voice over LTE，簡稱VoLTE）將於年底前就緒。PCCW是與華為合作提供此服務，也會是香港首間應用eSRVCC（enhanced Single Radio Voice Call Continuity）技術，實現語音通話在3G/LTE間無縫轉換的網絡商。惟要實現4G語音通話，客戶須使用支援此技術的手提電話，否則仍會如現時般，跳回3G網絡作語音通話。
2013年12月5日，CSL亦宣佈聯同ZTE（中兴通讯）正式啓動VoLTE網絡。如同PCCW般，其VoLTE同樣支援eSRVCC（enhanced Single Radio Voice Call Continuity）技術；CSL在記者會上亦示範其技術可以讓用戶在通話中在語音通話與視訊通話之間作即時轉換。CSL預計在2014年上半年會有更多的支援VoLTE的裝置推出市場。
香港通訊 流動電話及互聯網服務
2014年5月15日，PCCW正式推出VoLTE服務，首部支援的智能電話為三星Galaxy Note 3，但需先更新軟件才能啟動功能。
2014年12月26日，CSL正式提供300Mbps LTE Advanced（Cat.6 制式）服務，首部支援的智能電話為三星Galaxy Note 4。初期覆蓋範圍爲新界北區、上水、粉嶺、元朗東、大埔、沙田、美孚、荔枝角等地區，以及於尖沙咀的國際廣場iSquare商場。於2015年年初，LTE Advanced網絡分段升級工程將覆蓋至馬鞍山及西貢地區。
香港電訊是全港首家推出5G網絡的本地流動通訊營運商。
3香港、CSL、中國移動香港、及1010於二零二零年四月推出商用5G服務。SmarTone於2020年5月26日推出商用5G服務。
根據香港通訊事務管理局的資料，5G網絡於2023年1月1日前已覆蓋逾香港九成人口。
網絡商除提供話音服務外，也提供各種不同的增值服務，包括SMS及MMS短訊、流動數據服務、留言信箱、鈴聲、歌曲及圖案下載服務等。透過GPRS數據技術提供新聞天氣、股票價格、賽馬投注等服務；3G網絡的高頻寬，更可以進行視像通話、收看串流影片，甚至手機定位（LBS）等服務。
香港通訊 對外電訊
早在 1871 年 4 月 1 日，香港第一條海底電報纜已在今天華富邨附近的鋼線灣著陸，連接上海。這條東亞地區第一條海底電報線是由香港最早的電報局丹麥大北電報局 (The Great Northern Telegraph Company) 鋪設，同年 6 月 14 日上午 9 時 45 分，港督接收到第一個從倫敦傳來的電報訊息。
至於香港接駁海外的通訊，從 1936 年起便由「英國大東電報局」是為今天香港電訊的前身接管。政府在 1962 年正式發出專營權，因此當時市民打電報或打長途電話到外國，統統只能去大東電報局。
香港對外電訊服務，即長途電話服務，原本亦由香港電訊擁有專營權，有效期至2006年9月30日。
1998年3月，香港政府與香港電訊達成協議，由政府向香港電訊支付67億港元補償，並讓香港電訊分期提高住宅及商業電話線收費，香港電訊則交回對外電訊服務專營權。
香港通訊 對外電訊
1999年1月1日，對外電訊市場正式開放，三家固網服務供應商開始提供對外電訊服務，直至2005年9月為止，香港提供對外電訊服務的營辦商多達227家。引入競爭令客戶成為贏家，近年來，多番減價戰令國際長途電話費大幅下降，為消費者節省數以百億港元計的長途電話費用。
香港現有兩家公司提供衛星通訊服務，分別為亞太通信衛星有限公司及亞洲衛星有限公司，兩家公司合共經營六枚衛星，向香港及整個亞太地區提供通訊及電視廣播服務。
海底電纜對香港對外通訊十分重要，第一條海底電纜早在19世紀已于香港開始舖設，供傳送電報之用。
近年，隨着互聯網普及，數據傳送需求大增。 截至2017年，香港有11個電纜系統著陸，令香港的對外通訊容量大幅增加。
高阶逻辑
在数学与逻辑中，高阶逻辑（缩写HOL）是谓词逻辑的一种形式，与一阶逻辑的主要区别在于增加了量词的作用元，命题变元和谓词变元也能作约束变元（受量词约束）且作谓词变元的主目，有时语义也更强。例如，可量化谓词的系统就是二阶逻辑。
高阶逻辑区别于一阶逻辑的其他方式是在构造中允许下层的类型论。高阶谓词是接受其他谓词作为参数的谓词。一般的，阶为  的高阶谓词接受一个或多个  阶的谓词作为参数，这里的 。对高阶函数类似的评述也成立。
高阶逻辑更有表达力，但它们的性质，特别是有关模型论的，则不如一阶逻辑完善，使它们对很多应用不能表现良好。
“高阶逻辑”一般指高阶简单谓词逻辑，“简单”表示基础类型论是简单类型论。雷奥·屈斯克特和弗兰克·普伦普顿·拉姆齐提出的简单类型论是对阿尔弗雷德·诺思·怀特海和伯特兰·罗素的《数学原理》的简化。简单类型有时也指不考虑多态类型和依赖类型。
高阶逻辑的一个实例是构造演算。
高阶逻辑 量化范围
一阶逻辑只量化个体；二阶逻辑也量化集合；三阶逻辑可以量化集合的集合，以此类推。
高阶逻辑是一阶、二阶、三阶……n阶逻辑的结合，也就是说允许对任意嵌套的集合进行量化。
高阶逻辑 语义
高阶逻辑有两种可能的语义。
在标准语义或完整语义中，对高阶对象的量化包含其中所有可能的对象。例如，对个体集合的量化范围是个体集合的整个幂集。因此，在标准语义中，一旦指定了个体集合，就足以指定所有量词。高阶逻辑的标准语义也因此比一阶逻辑更有表达力，例如其允许对自然数与实数进行范畴公理化，这在一阶逻辑中是不可能的。但根据哥德尔的结论，高阶逻辑的标准语义不容许（递归的公理化的）可靠、完备的证明演算。高阶逻辑标准语义的模型论性质也比一阶逻辑复杂，例如二阶逻辑的勒文海姆数甚至大于一阶逻辑的可测基数（若存在这样的基数）。一阶逻辑的勒文海姆数则有ℵ0个，是最小的无穷基数。
在Henkin语义中，每种高阶类型的解释都包含单独的域。所以，对个体集合的量化可能只涉及个体集合幂集的一个子集，配备此种语义的高阶逻辑等同于一阶多类逻辑，而非强于一阶逻辑。特别地，高阶逻辑的Henkin语义具有一阶逻辑的所有模型论性质，且从一阶逻辑继承了可靠、完备的证明系统。
高阶逻辑 性质
高阶逻辑包括阿隆佐·邱奇的简单类型论的分支和直觉类型论的各种形式。Gérard Huet已经证明，三阶逻辑的类型论中，合一是不可判定问题，也就是说不会有算法可以决定二阶（遑论高阶）的任意方程是否有解。
在同构意义下，幂集运算在二阶逻辑在可以定义。利用这一观察结果，亚科·欣蒂卡在1955年确定，二阶逻辑可以模拟高价逻辑，即对高阶逻辑的所有公式，都可在二阶逻辑中找到其等可满足公式。
“高阶逻辑”一词在某些情况下被认为是指经典高阶逻辑，但模态高阶逻辑也有研究。根据一些逻辑学家的说法，哥德尔本体论证明最好（在技术上）在这样的语境中研究。
吴芮
吳芮（？—前202年），西漢吳氏長沙國第一代王，秦朝時任番陽令，號称番君。戰國末期，父吳申曾任楚國大司馬。秦二世元年（前209年），吳芮率部將梅鋗及女婿英布響應陳勝的大澤之變。前206年，項羽攻入咸陽，因其率百越人民起兵，又跟隨大軍入函谷關，封其為衡山王，都邾（今湖北黃岡）。不久受項羽密令與臨江王共敖，九江王英布擊殺義帝於郴州（今湖南郴州）。
漢高祖五年（前202年）二月，徙封長沙王，都臨湘（今湖南長沙）。領長沙郡（今湖南省）、豫章郡（今江西省）、象郡、桂林郡（今广西壮族自治区）及南海郡（今廣東省）五郡。但當時象郡、桂林郡及南海郡已被南越王趙佗所佔，豫章郡又早已封給淮南王英布，長沙國實際上版圖只有長沙一郡。
漢高祖五年（前202年）七月，奉命率兵定閩，病死於途中，諡文，長子吳臣襲位。
三国时期，处于孙吴控制区的吴芮坟墓被挖开，发现吴芮尸体和衣服不朽。之后坟墓内的砖块被用于兴建孙坚庙。
吴芮 延伸阅读
[在维基数据编辑]
《漢書·卷034》，出自班固《漢書》
樱花 (民谣)
《樱花》（日語：）是一首描写春天美景的日本传统民谣，创作於江户时代幕末，是为儿童学习日本筝而作。春天是樱花盛开的季节。本曲调式为日本小调，只有do、mi、fa、la、ti五个音。
本曲在中国广为人知，目前中国大陆各小学的音乐课本就有《樱花》这首歌曲。本曲也是日本国际广播电台各语言广播节目的开场曲及JR山手線駒込站與JR中央線快速武藏小金井站的發車音樂。
瑪拉基書
《玛拉基书》或譯《瑪拉基亞》（希伯來語：，Malʾaḫi, Mál'akhî），是圣经全书第39本，作者是玛拉基先知。这本书属于十二先知书，也是圣经的希伯来语部分最后一本书。在本書裡，耶和華對利未子孫（在以色列中間的祭司）和雅各子孫（以色列人）的對付，有很多比喻跟耶稣基督有关联。在基督教看來，这些预言在400多年后得到应验。
瑪拉基書 背景
瑪拉基的預言顯示，猶太人重建聖殿時由先知哈該和撒迦利亞所激發的宗教熱忱和熱心已經泯滅了。祭司變得粗心大意、驕傲狂妄、自以為義。聖殿的服務變成虚有其表。由於人民以為上帝已不再關心以色列，他們便停止繳納十一奉獻和獻祭。他們對所羅巴伯所懷的期望並沒有實現，有些人熱切期待的彌賽亞也沒有來臨。
瑪拉基書 关于作者
瑪拉基（希伯來文：מַלְאָכִי）意思是“我神的使者”（3:1）。他的家系或個人背景資料無從稽考。但從他所説的預言的要旨看來，他顯然在事奉耶和華上帝方面極為熱心。他擁護上帝的聖名，竭力持守純真的崇拜。此外，他對那些聲稱事奉上帝，但骨子裏卻自私自利的人大感憤怒。尽管只有4章内容，执笔者却提及耶和華這個名字共達48次之多。
希伯來聖經的希臘文譯本《七十士譯本》及聖經各書按成書時間先後的編排全把瑪拉基書列在12本所謂小先知書的末了。根據“大猶太會堂”的傳統，瑪拉基生於先知哈該和撒迦利亞之後而與尼希米同期。
瑪拉基書 寫作时间
玛拉基书的寫作是在猶大70年荒涼期滿之後，耶路撒冷復興而有省長治理他們的時候。（玛拉基书1:8）經文提及聖殿服務，但又沒有談及重建聖殿，因此這本書完成的時間应当後於在任內把聖殿建成的省長所羅巴伯的日子。聖經所提及的這段時期只有另一位省長，他就是尼希米。書中的預言跟尼希米日子的情況吻合。瑪拉基書完全沒有提及任何有關重建耶路撒冷及城牆的資料，故不會是尼希米初任省長的日子。但書內卻詳細描述當時的祭司如何貪污瀆職，瑪拉基所説的這種情況與公元前443年，亞達薛西在位第32年，尼希米奉王命回巴比倫述職，然後第二次返回耶路撒冷時的情形十分吻合。（玛拉基书2:1、尼13:6）瑪拉基書及尼希米記的類似記載表明書中的預言是針對這段特别時期而發的。
瑪拉基書 正典地位
猶太人一向都接納瑪拉基書，視之為可信。基督教希臘文聖經曾引用其中多節經文，並表明這本書的預言已獲得應驗，從而證明瑪拉基書是真确的，是基督徒會衆所認可、接納的希伯來文聖經正典的一部分。
瑪拉基書 主題特色
瑪拉基書中，“約”的觀念佔了很重要的地位。全書以神對雅各家立約的愛開始，說明神如何厚待祂的子民，可惜猶太人没有履行他們的責任：祭司背棄了神與利未人的约（2:10），夫妻間的盟約（2:14）。由于他们蔑視神，於献祭，什一奉献，社會道德上，悖逆神的命令，所以他們不蒙祝福。
然而神仍不棄絕祂的百姓，一方面勉勵他們堅守神昔日頒佈的律例典章（4:4），另一方面預言神的日子要來到，屆時神要施行煉淨和審判的工作。這回顧與前瞻，於舊約的最後一卷出現，實在恰當。
先知經常强调他的信息根源於耶和華神，使听者不能輕忽待之。
瑪拉基的文章風格率直有力。他先把意見陳述出來，然後答覆聽衆的異議。最後，他重申原來的見解。此舉使他的論據更有力，更生動。他並沒有滔滔雄辯，相反，他所採用的是豪邁有力的議論文體。
瑪拉基書 本书大纲
1. 開始的呼籲：神對以色列人的愛（1:1-5）
2. 對祭司的斥責（1:6-2:9）
3. 對百姓的斥責與警戒 （2:10-4:3）
4. 總結：勸民守律法及預言以利亞來臨 （4:4-6）。
瑪拉基書 主要內容
（玛拉基书1:1-2:17）耶和華首先向百姓表達祂對他們的愛。祂愛雅各，惡以掃。任由以東重建荒廢之處好了；耶和華必把它們拆毁，那地必稱為“罪惡之境”，其上的居民受耶和華所譴責，因耶和華必“在以色列境界之外被尊為大”。
現在耶和華直接向那些藐視祂名的祭司説話。他們企圖自辯，所以耶和華直斥其非，指出他們竟把瞎眼的、瘸腿的及有病的牲畜獻上為祭。然後祂質問他們：「省長會悦納這樣的禮物嗎？」耶和華絶不喜悦這樣的祭物。祂的名在列邦中必稱為大，但這些人竟褻瀆他説：“耶和華的桌子是污穢的。”他們必受咒詛，因為他們把毫無價值的祭物獻上，以這種詭詐的方式避免履行自己的誓言。“因為我是大君王，我的名在外邦中是可畏的。這是萬軍之耶和華説的。”
瑪拉基書 主要內容
現在耶和華把誡命傳給衆祭司，指出他們若不把誡命謹記在心，祂便會使他們的福分變為咒詛。祂會把他們在節期所獻祭牲的糞抹在他們臉上，因他們沒有緊守利未人的約。“祭司的嘴裏當存知識，人也當由他口中尋求律法，因為他是萬軍之耶和華的使者。”（2:7）瑪拉基承認以色列和猶大均犯了大罪。他們彼此以詭詐相待，甚至娶了事奉外邦神祇的女子為妻，大大褻瀆他們的父和創造主耶和華的聖潔。他們不斷煩擾頂撞耶和華。他們竟然問道：“公平的上帝在哪裏呢？”
（覆盖玛拉基书3:1-18）現在預言來到“萬軍之耶和華”的話語的高潮：“看吧，我將要差遣我的使者在我前面預備道路；你們所尋求的主必忽然進入他的殿堂；你們所愛慕的、盟約的使者、看哪，他快來了！”他來是要精煉人；他必潔淨利未人，並且必速速作見證，審判一切邪惡及不畏懼他的人。耶和華是不改變的。既然以色列人是雅各之子，他們若轉向上帝，上帝必慈悲地轉向他們。
瑪拉基書 主要內容
他們奪取上帝之物，雖然如此，現在他們務要將當納的十分之一送入上帝的倉庫，使上帝的家有糧，以此試試上帝。上帝必敞開天上的窗户，傾福與他們，到無處可容的地步。列邦列國必稱他們為快樂的，因他們必成為喜樂之地。敬畏耶和華的人彼此談論，耶和華也留意傾聽。“有紀念册在他面前，記錄那敬畏耶和華、思念他名的人。”（玛拉基书3:16）在上帝提供一項特别產業的日子，他們必特定歸於耶和華。
（覆盖玛拉基书4:1-6）那日已臨近，必把惡人連根帶枝一併吞滅。公義的日頭必光照一切敬畏耶和華之名的人，他們必蒙醫治。耶和華叮囑他們要記念摩西的律法。在耶和華大而可畏之日未到之前，上帝應允必差遣預言者以利亞到他們那裏去。“他必使父親的心轉向兒女，兒女的心轉向父親，免得我來咒詛遍地。”（玛拉基书4:6）
瑪拉基書 基督新教觀點
瑪拉基書有助于明白耶和華上帝永不更改的原則和慈悲的愛心。本書自始即强調耶和華對
祂的百姓“雅各”所懷的深摯之愛。祂向雅各的後人宣布説：“我耶和華是不改變的。”即使他們罪大惡極，只要他們歸向耶和華，祂就必轉向他們。耶和華透過瑪拉基强調祭司的嘴“當存知識”。所有受託以上帝的話語從事教導的人都應該留意這點，務要肯定他們傳授給人的是確切的知識。耶和華不容忍偽君子，就是那些辯稱「耶和華把行惡的看為善」的人。他們假裝獻祭給大君王，騙不倒耶和华。耶和華必定迅速指控一切違反祂的公義律法和原則的人；沒有人能行惡而始終逍遙法外。耶和華必定會審判他們。義人可以確信耶和華會記得他們的善行而獎賞他們。并且记念摩西的律法。
瑪拉基書 基督新教觀點
在希伯來文聖經中，瑪拉基書是最後一本。這本書指向與彌賽亞來臨有關的事件。彌賽亞在四個世紀之後出現，這件事成為撰寫新约聖經的理由。萬軍之耶和華在瑪拉基書3:1説：“我要差遣我的使者在我前面預備道路。”年老的撒迦利亞表明這節經文應驗在他的兒子約翰身上。（路加福音1:76）耶穌基督證實了這件事，並且説：“凡婦人所生的，沒有一個興起來大過施洗約翰的；然而天國裏最小的比他還大。”正如瑪拉基所預言，約翰奉差是要“預備道路”，因此他自己並不屬於启示录所提及的144000人之列。
後來耶和華在瑪拉基書4:5-6應許説：“看哪，⋯⋯我必差遣先知以利亞到你們那裏去。”這位“以利亞”就是耶穌和向撒迦利亞顯現的天使指出的施浸者約翰，表明他便是“復興萬事”的那位。他要“為主預備合用的百姓”，使他們能接受彌賽亞。然而瑪拉基也説，“以利亞”是“耶和華大而可畏之日”來到以前的先鋒，由此表明這個預言還會在審判的日子獲得一次未來的應驗。
瑪拉基書 基督新教觀點
萬軍之耶和華預見到這日子的來臨，説：“從日出之地到日落之處，我的名在外邦中必尊為大。⋯⋯因為我是大君王，我的名在外邦中是可畏的。”祂的名的確可畏！“那日臨近了，勢如燒着的火爐，凡狂傲的和行惡的必如碎秸。”可是，敬畏耶和華之名的人快樂了，因為“必有公義的日頭向他們出現，其光線有醫治之能”。預言將注意力集中在人類家庭中順服分子所享的快樂時光之上；屆時他們會在靈性、精神和身體等方面均獲得醫治。（启示录21:3-4）瑪拉基指向这个日子，鼓勵所有人要盡心竭力把祭物帶進耶和華的殿裏，因為萬軍之耶和華説：“以此試試我，是否為你們敞開天上的窗户，傾福與你們，甚至無處可容。”
在先知書中位列最後的瑪拉基書雖然繼續警告説「全地必遭受毁滅」，卻仍然使人有樂觀和歡欣的理由。這與耶和華對祂子民所説的話完全一致：“萬國必稱你們為有福的，因你們的地必成為喜樂之地。”
殷剑
殷劍（1978年12月25日—），四川省凉山州西昌市人，中國帆船運動員。2004年希腊雅典奥运会女子米斯特拉板个人赛亚军，2008年北京奥运会女子帆板个人赛冠军。
殷剑 生平
殷剑出生于四川西昌市海南乡岗瑶村，父母均系农民，共有四兄妹，殷剑排行最小。她于1986年入西昌市钟楼小学，1991年西昌市川兴中学。1993年入邛海水上运动学校试读，1994年正式入邛海水上运动学校，1995年于邛海水上运动学校集训，1997年转为正式运动员至今；1997年进入国家队代训，2001年正式入选中国国家帆船队。
殷剑自1993年入邛海水校试读开始水上运动生涯，1997年开始参加全国性和国际帆板竞赛，竞赛水平逐步走向成熟。1998年全国帆板冠军场地赛第1名，这是她的第一个全国赛冠军；2002年获得亚洲锦标赛冠军，这是他的第一个国际赛冠军。
殷剑 运动生涯
殷劍在1997年至2000年获得多項國家賽事冠軍，又在七運會中的帆船項目中排名第四。
後來入選國家隊的次年在亞運會中得到一面銀牌，又在其後的亞洲錦標賽贏得了一個冠軍。一年後在全國賽中獲得冠軍。2004年，殷劍在幾乎在賽前落選的情況下為中國摘下了一面極難能可貴的雅典奧運米氏板賽事的銀牌，該銀牌是中國在奧運上第二面的帆船項目獎牌，對上一面只是在12年之前的事。2008年北京奧運會女子RS-X級帆船（板）第一名，為中國代表團獲得第44枚金牌。
经济危机
经济危机指的是一个或多个国民经济或整个世界经济在一段比较长的时间内不断收缩（负的经济增长率）。
经济危机 原因
经济危机直接原因可能是：
马克思主义认为资本主义经济危机的根本原因是：