hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
科那斯 (將軍)
科那斯（古希臘語： Koινoς，？－前326年），他是波利摩克拉提斯之子，也是帕曼紐的女婿，是相當有能力的將領。在亞歷山大大帝遠征期間。科那斯是最忠誠的將領之一。

在前334年，當亞歷山大進軍至卡里亞時，他讓著剛結婚的士兵回馬其頓與新婚妻子過冬，而科那斯就是受命帶著他們回歐洲的將領之一，在來年，即前333年，科那斯再帶著這些馬其頓士兵於戈爾迪烏姆（Gordium）與亞歷山大會合。科那斯在亞歷山大的軍隊中占有一席之地，並在許多場合有傑出表現，在所有亞歷山大的戰爭中，他通常率領最右邊馬其頓方陣部隊，在古希臘軍事中，最光榮就是這個位置，通常會給軍隊中最精銳的部隊，而他能率領這支最精銳的方陣部隊意味著，他相當可靠，很可能是軍事上富有才華，或戰場上很英勇，他很可能因自己常以身做則，而受到敬重。

前330年，帕曼纽之子菲罗塔斯被控谋反，帕曼纽亦遭株连。

當前326年亞歷山大遠征印度，到了希達斯皮斯河時，與印度當地國王波羅斯進行希達斯皮斯河戰役，科那斯當時率領一部份的騎兵與亞歷山大的騎兵成功擊退敵人騎兵，戰功顯赫。當戰役勝利後，亞歷山大依舊想繼續進軍，但他的士兵卻相當疲憊不想再前進之時，科那斯當時大膽挺身而出，勸建亞歷山大回家的必要。最後亞歷山大採納他的意見，啟程返鄉，但科那斯不久之後因病病逝，亞歷山大為他舉辦隆重的葬禮，為他哀傷不已，並說科那斯當時如此堅定提出歸程的必要，而他自己卻注定無法再看到家鄉一面。

帕曼紐
帕曼紐（希臘語：；約前400年—前330年）為馬其頓王國腓力二世和亞歷山大大帝時的著名將軍。他跟隨亞歷山大遠征波斯阿契美尼德帝國，在士卒中享有極高的聲譽，在遠征軍中是僅次於亞歷山大的二號人物。帕曼紐參與多場與波斯的戰役，在高加米拉戰役中指揮馬其頓聯軍左翼。在前330年因其子菲羅塔斯被控訴對亞歷山大謀反，而使帕曼紐遭到株連，於埃克巴坦那被滅族。
夜愿
（Nightwish，）是一支来自芬兰基泰的劇院金属乐團，成立于1996年。乐團大多数歌曲的词由键盘手托马斯·霍洛帕尼所撰写，前任女主唱塔雅·圖倫尼的声音让夜愿在全球范围内都受到好评。塔雅毕业于芬兰的西貝流士音樂學院，并且还在德国进修过古典演唱技巧。在2005年10月塔雅·圖倫尼離開後，他们找到了安妮特·奥尔森接任，並且也增加讓贝斯手马尔科·希耶塔拉唱的比例。2012年10月，乐队主唱安妮特离队，前万世沉沦主唱芙洛尔·扬森成为乐队的代理主唱。2013年10月，弗洛尔與長期合作的風笛演奏家特洛伊·多诺克利均正式入團，樂團也隨之擴充成為六人編制。2014年鼓手内瓦莱宁因病暫時轉任行政，改由凯·哈赫托代頂空缺，但樂團仍維持現有編制。

夜愿的音乐空灵悲怆，风格被描述成交響金属、力量金属 ，哥特金属和民谣金属，并且还有其他元素存在。托马斯曾经形容他们的音乐为「用女声表现的旋律金属」。

Endless Forms Most Beautiful世界巡演
Endless Forms Most Beautiful世界巡演（英語：）是芬兰交响金属乐队夜愿为支持其第八张录音室专辑《Endless Forms Most Beautiful》（万类竞妍）举办的巡回演唱会。

这是主唱芙萝·杨森首次全程参与的巡演，她于2012年底接替安妮特·奥尔森；也是鼓手凯·哈托的首秀，他临时替代因健康问题休团的尤卡·尼维莱宁。
拉宾-卡普算法
在计算机科学中，拉宾-卡普算法（英語：）或卡普-拉宾算法（），是一种由理查德·卡普与迈克尔·拉宾于1987年提出的、使用散列函数以在文本中搜寻单个模式串的字符串搜索算法单次匹配。该算法先使用旋转哈希以快速筛出无法与给定串匹配的文本位置，此后对剩余位置能否成功匹配进行检验。此算法可推广到用于在文本搜寻单个模式串的所有匹配或在文本中搜寻多个模式串的匹配。

若要在一段文本中找出单个模式串的一个匹配，此算法具有线性时间的平均复杂度，其运行时间与待匹配文本和模式串的长度成线性关系。虽然平均情况下，此算法表现优异，但最坏情况下，其复杂度为文本长与模式串长的乘积。当在文本中搜寻多个匹配时，其具有线性时间的平均复杂度（与文本串长、模式串长、模式串所有匹配总长三者的和成线性关系）。相对地，另一种用于找出模式串所有匹配的AC自动机算法的最坏情况复杂度与文本串长、模式串长、模式串所有匹配总数（而非总长）成正比。

此算法的一个实际应用为内容相似度检验（如论文查重）。在给定原材料与待查重论文的情况下，此算法可以迅速在论文中搜寻原材料中的句子，同时忽略诸如大小写与标点等细节。由于原材料中的字符串过多，故单字符串搜索算法在此处不适用。

散列函數
散列函数（英語：）又称，是一种从任何一种数据中创建小的数字“指纹”的方法。散列函数把消息或数据计算成摘要，使得数据量变小，将数据的格式固定下来。该函数将数据打乱混合，重新创建一个叫做散列值（又叫哈希值）（，，，或）的指纹。散列值通常用一个短的随机字母和数字组成的字符串来代表。好的散列函数在输入域中很少出现散列冲突。如果在散列表和数据处理中，不抑制冲突来区别数据，会使得数据库记录更难找到。

如今，雜湊演算法也被用來加密存在資料庫中的密碼（password）字串，由於雜湊演算法所計算出來的雜湊值（Hash Value）具有不可逆（無法逆向演算回原本的數值）的性質，因此可有效的保護密碼。
新國民黨 (南非)
新國民黨（阿非利卡語：，英語：）是一個於1997年成立的南非政黨，其為1948年至1994年統治南非的國民黨的繼承者。改名是為了與過去的種族隔離保持距離，並將自身重塑為一個溫和、主流的保守主義與非種族主義的聯邦政黨。這次嘗試基本上並不成功，2005年，新國民黨投票決定解散。其政治地位由民主聯盟繼承。

民主联盟 (南非)
民主联盟（南非語：，英語：；簡稱為DA）是南非的一個政黨，2009年大選后成为西开普省的执政党。2024年大選后，加入联合政府，为南非的执政党之一。

民主联盟屬於广泛的中间派，但政策有時會傾向中间偏左或中间偏右。该党是國際自由聯盟及非洲自由黨網絡的成员。曾经是南非最大反對黨。該黨主要代表南非白人和有色人的利益。

在2024年大选前夕，民主联盟加入了多方宪章，这是一个因应執政黨非国大支持率下降而组建的选举联盟。选举后，非国大未能获得国民议会的多数席位，而民主联盟同意组建民族团结政府，首次成为执政党。
共产主义渠
共产主义渠是中華人民共和國河南省的一條人工渠道，全长约160公里（一說192公里），开挖于1958年，開挖目的是灌溉和减轻卫河防洪负担。渠水來自黃河，西起焦作市武陟县黄河北岸，途经武陟县、新鄉市获嘉县、在新鄉市新乡县与卫河交汇，再途徑新鄉市衛輝市（汲县）、鶴壁市淇县、安陽市滑县，在安陽市汤阴县五陵镇附近流入卫河。

卫河
卫河是海河的一條支流，卫河上游为大沙河，发源于山西省陵川县的太行山，全长115km，在新乡西北辉县合河村与共产主义渠交汇后始称卫河。再向东北流经豫、冀、鲁三省14个市县，左岸支流峪河、石门河、沧河、淇河、思德河、洪河、安阳河流入卫河，右岸支流有西孟姜女河、东孟姜女河。卫河最后在馆陶县徐万仓和漳河会合后称为卫运河(永济渠)或者漳卫河（长157km），作为河北和山东省界河。卫运河在山东省临清与京杭运河的会通河(鲁运河)相接，卫运河在山东省临清–德州市段为京杭运河，在德州市的四女寺水利枢纽，分别入漳卫新河入海、入南运河（长360km）最终在天津三岔河口汇入海河。
九州朝日放送
九州朝日放送株式會社（日语：／ Kyūshū Asahi Hōsō Kabushiki-gaisha */?，英語：），簡稱KBC，是日本的一家以福岡縣為播出範圍的廣電兼營台。九州朝日放送的廣播服務於1954年1月1日開播，識別呼號為JOIF，是NRN聯播網成員。電視服務於1959年3月1日開播，電視識別呼號為JOIF-DTV，遙控器號碼是1頻道，是ANN聯播網成員。

西日本電視台
株式會社西日本電視（日語：，羅馬化：Terebi Nishi-Nippon，英語：），通稱西日本電視台，簡稱TNC，是日本一家以福岡縣為放送地域的電視台，1958年8月28日開播，為富士電視台系列聯播網（FNS及FNN）成員，呼號為JOJY-DTV，遙控器號碼是8頻道。西日本電視台是富士電視台系列聯播網最早開播的電視台，但開播時是日本電視台系列聯播網的成員。
霍洛德涅 (涅德里蓋利夫區)
50°56′23″N 34°1′12″E﻿ / ﻿50.93972°N 34.02000°E﻿ / 50.93972; 34.02000

霍洛德內（烏克蘭語：）是位於烏克蘭東北部的村莊，由蘇梅州羅姆內區的內德里哈伊利夫市鎮負責管轄。該村處於捷爾恩河左岸，分別距離巴巴科韋0.5公里和戈羅季謝1公里，海拔高度135米，2001年人口17。

巴巴科韋
50°56′47″N 34°0′51″E﻿ / ﻿50.94639°N 34.01417°E﻿ / 50.94639; 34.01417

巴巴科韋（烏克蘭語：）是位於烏克蘭東北部的村莊，由蘇梅州羅姆內區的內德里海利夫市鎮負責管轄。該村處於捷爾恩河左岸，分別距離霍洛德涅0.5公里和捷爾尼2公里，海拔高度136米，2001年人口43。
亞平寧半島鱒
亞平寧半島鱒，為輻鰭魚綱鮭形目鮭科的一種，為溫帶淡水魚，分佈於歐洲義大利、斯洛維尼亞、瑞士間的亞平寧山脈的淡水流域，體長可達80公分，棲息在水流快速、清澈的山地溪流底中層水域，以水生昆蟲、無脊椎動物為食，生活習性不明。

鮭科
鮭科（学名：）為輻鰭魚綱鮭形目唯一现存的一科，下分3个亞科约11個屬，皆为有纯淡水或溯河洄游习性的广盐性鱼类，都是位于水域食物网中层的掠食性鱼类，也常是在海洋、淡水和陆地生态系统之间起联系作用的基石物种。鲑科鱼类广泛分布于北半球高纬度或高海拔的低温水体，但在现代因为水产养殖和增殖放流等人类活动已被引进到除南极洲外的世界各地，其中一些物种（如虹鳟和褐鳟）在新栖息地已成为威胁本土生态系统的入侵物种。

鲑科在英文中常称为“鲑类鱼”（），而其词根来源于拉丁语中对大西洋鲑的称呼，后缀-id源于法语（源于新拉丁语和希腊语，意思是“后代”）。汉语的「鮭」字在康熙字典成書時有數義，其一爲河魨之意；但自杜亚泉主编的《动物学大辞典》始，原意卻消失，演變成對數種鮭科魚的中文通稱。
噍吧哖社
噍吧哖社（Taivoan：；白話字：）又名礁吧哞社，為一大武壠族部落，是大武壠社的從屬部落之一。該社族人原居於今臺南市新化區那拔里，後遷至玉井區玉井、沙田、竹圍里，再移居竹圍里之「番仔厝」，最後遷至臺南市楠西區龜丹。乾隆初年，噍吧哖社與大武壠頭社、大武壠二社組成大武壠社，共同遷徙至楠梓仙溪流域之甲仙一帶。

大武壠族
大武壠族（大武壠語：）或稱大滿族，為台灣原住民的一支，清朝文獻稱之為「四社熟番」、「倚山熟番」，原鄉在臺南玉井盆地（更早位於大內區、山上區一帶），現今主要分佈在台南、高雄兩地區的丘陵和河谷地帶，2009年八八風災前，高雄縣小林村曾為台灣大武壠族人口最多的部落。台灣東部的花蓮、台東也有來自西部遷入的平埔原住民族群，其中多數為大武壠族。據簡文敏等學者以日治時期的種族登記推估，目前臺灣的大武壠族後裔可能超過兩萬，是人數次多的未正名臺灣原住民族，僅次於馬卡道族。

2013年11月15日在花蓮縣富里鄉鄉長正式認定當地包括大武壠族在內的平埔族群為「鄉定原住民」，成為第一個認定平埔族群為「鄉定原住民族」的鄉鎮。2024年8月向原住民族委員會遞交族別認定申請書。
古国时代
古国时代是2002年至2018年开展的中华文明探源工程提出的中国历史新时期之一。

过去，它也被称为传说时期或上古时期，但近年来，其中夏朝之前的状态正在通过考古挖掘得到证实。而夏朝开始后的时期被中华文明探源工程称为王朝时代。

中华文明探源工程
中华文明探源工程是继夏商周断代工程之后又一项由中国官方立项的大规模多学科古史研究项目，主要目的是为了探索中华文明的起源问题。该项目的预研究项目于2002年列入中华人民共和国“十五计划”，2004年夏季，“中華文明探源工程”正式啟動，2018年公佈研究結果。
怀兴城际铁路
怀兴城际铁路，前称首都机场至北京新机场城际铁路联络线，是一条连接北京市怀柔区怀柔南站与河北省廊坊市大兴机场站的一条城际铁路。其亦属于北京市市郊（域）铁路网规划的一条地铁快线，原规划为S7线。

怀兴城际铁路自怀柔南站起向南出岔，经北京首都国际机场后进入地下，在徐辛庄与S6线汇合后穿过北京城市副中心，在北京通州站与京唐城际铁路及规划京秦城际铁路交汇后转向西南，在花庄站附近设施园站后，抵至既有北京地铁17号线嘉会湖站，随即向南与S6线分开，进入廊坊市区后向西转弯，设廊坊北站后继续向西，直至抵达北京大兴国际机场，并与津兴城际铁路二期工程顺接。

怀兴城际铁路分两期建设，先期建设廊坊北站至大兴机场站区间于2017年动工，但到2019年3月才进入实质性施工阶段，原定2022年完工，受2019冠状病毒病疫情及京津冀城际铁路公司资金紧张等因素，实际于2024年12月28日开通运营；二期工程为廊坊北站至怀柔南站。其中：廊坊北站至冀京界段已随怀兴城际一期动工建设；冀京界至嘉会湖站段尚在规划中（与通武廊市域铁路部分共线）；嘉会湖站至首都机场站（3号航站楼站）区间已纳入北京地铁S6线工程，近期将与其共线；首都机场站至怀柔南站区间尚在规划中。

津兴城际铁路
津兴城际铁路（又名天津至北京大兴国际机场铁路、天津至北京大兴国际机场联络线）是中国一条连接北京大兴国际机场与天津市的城际铁路，新建线路起自京雄城际铁路大兴机场站，自固安东站转向东与京雄城际铁路分离，经永清县东部、安次区南部后，终至津霸客运专线胜芳站，经津霸客运专线引入天津铁路枢纽。该线是京津冀城际铁路网的组成部分，同时也是北京大兴国际机场的配套工程之一。

津兴城际铁路于2020年4月开工建设，2023年12月18日开通运营。
乙醇
乙醇（英語：），俗稱酒精（英語：），是醇类的一种，也是酒的主要成份。分子式為C2H6O，結構简式（示性式）為CH3CH2OH或C2H5OH，或簡寫為EtOH（Et代表乙基）。乙醇易燃，是常用的燃料、溶剂和消毒剂，也用于有机合成。工業酒精含有少量有毒性的甲醇。医用酒精主要指体积百分浓度vol% 为75%左右（或质量百分浓度wt% 为70%）的乙醇，也包括医学上使用广泛的其他浓度酒精。

乙醇与二甲醚是同分异构体。

醫用酒精
乙醇是醫療中最常用的殺菌劑、消毒劑及解毒剂。

乙醇的副作用包括對皮膚的刺激。若在電灼的場合，要謹慎使用，因為乙醇有可燃性。醇類的分類有乙醇、變性乙醇、1-丙醇及2-丙醇。乙醇對許多種類的微生物都有效，不過無法使其孢子不活化，一般濃度在60%至90%之間效果最好。

乙醇是世界卫生组织基本药物标准清单中的藥物之一，是醫療系統中最安全及有效的藥物之一。在发展中国家的售價是一公升的70%變性乙醇約美金1.80至9.50元。在英國，一公升99%的變性乙醇，需要讓國民保健署支出3.90英磅。市面上也有一些商用的產品以及其配方，例如消毒搓手液，或是加入其他物質的產品，例如氯己定。
.int
.int（源自“国际的”一词的英語：的缩写“Int”）是互联网域名系统中赞助类顶级域的一种，正如中文“国际的”所示，该顶级域用于国际组织和公约。首个使用该顶级域的是北大西洋公约组织（NATO），用于取代其早前使用的.nato顶级域。

.nato
.nato曾是互联网域名系统的通用頂級域之一，现已废止使用。

.nato于20世纪80年代末由互联网络信息中心为北大西洋公约组织（英文缩写NATO，中文简称北约）而设。然而不久后，域名系统设计者保罗·莫卡派乔斯建议北约代表转用nato.int域名。随后，.int应运而生。.nato於1996年7月被删除。
朱清时
朱清时（1946年2月7日—），男，四川彭州人，中国物理化学家，中国科学院院士，第三世界科学院院士，中国科学技术大学第七任校长（1998年－2008年），南方科技大学首任校长（2009年-2014年）。

南方科技大學
南方科技大学（英語：，缩写：），简称南科大，是一所位於中国广东省深圳市的全日制公办新型研究型大学。学校筹建于2010年，正式建校于2012年，被确定为国家高等教育综合改革试验校，致力于成为世界一流研究型大学，是国家“双一流”高校，現時13所廣東省高水平大學之一。其创校之初目的在于提升地区科技水平，探索中国教育改革的道路，创建具有中国特色的现代大学制度，培养创新型人才，适配特区经济发展。南方科技大学是当代中国大陆第一所自授文凭（仅第一年招生）的大学，同时也是大陆地区最早探索将大学章程写入法律的高等院校（類似香港法定大學的做法）。

南方科技大學同时是繼深圳大學後第二所深圳市属本科高校。
紅娘的異想世界之在西廂
紅娘的異想世界之在西廂（英文：The Doppelgänger）是一部由「非常林奕華」製作，在2011年公演的舞台劇，故事改編自古典名著《西廂記》，以現在大都會裡豪門望族的感情生活，及現代人依賴博客等社交網絡服務作為主題，為紀念「非常林奕華」創立20周年的劇目之一，另一齣為同年10月公演的舞台劇《賈寶玉》。

本劇為劉若英繼《半生緣》後第二次參演「非常林奕華」的舞台劇，其他主要演員包括王耀慶、時一修、戴旻學等，並加入趙逸嵐、楊芷纓、朱育宏及黃俊傑等4名通過「2011非常林奕華港台兩地演員甄選」的新成員。本劇同以德語「The Doppelgänger」為名，意即分身。

刘若英
劉若英（英語：，1969年6月1日—），台灣女歌手、演員、作家、導演及編劇。1997年凭借剧情片《美丽在唱歌》获得第10届东京国际电影节最佳女主角。1998年，凭借《征婚启事》获得第35届台灣金马奖审团特别奖、第44届亚太影展最佳女主角以及第1届台北电影节年度最佳演员。2000年，以《人间四月天》打开在中國大陸的知名度；凭借《住在十字架裡的母亲》榮獲第35屆金鐘獎最佳女主角。2003年獲邀擔任義大利第60屆威尼斯影展逆流而上單元評審。2005年，凭借《天下无贼》并获得第10届香港电影金紫荆奖最佳女主角和第28届中國大众电影百花奖最佳女主角。2013年担任第32届香港金像奖和第50届台北金马奖決審评審 。2017年執導首部電影《後來的我們》，2018年4月28日上映，在中國取得13.6億人民幣的總票房佳績。並入圍台灣金馬獎最佳新導演及最佳改編劇本獎，成為少數編、導、演、唱項目皆入圍過金馬獎的藝人。
情梟的黎明
《》（英語：，）是一部1993年的美國犯罪電影，由白賴仁·龐馬執導，本片改編自愛德溫·托雷斯的小說《Carlito's Way》和《After Hours》。大衛·柯普負責編劇。主演是阿爾·柏仙奴、辛·潘、潘妮洛普·安·蜜勒、路易·古茲曼、約翰·李古查摩、豪爾赫·波塞爾、約瑟夫·席拉佛和維高·摩天臣。

本片的主角柏仙奴飾演Carlito Brigante，一位虛構的波多黎各犯罪分子發誓改邪歸正及退休。然而，他的犯罪過去證明他難以逃脫，他不知不覺中徹底地被拖入起初讓他被監禁的同樣活動中。本片主要是基於《After Hours》，但使用了第一部小說的標題，以避免與馬田·史高西斯的1985年英文同名電影混淆。

《情梟的黎明》得到了混雜不一的反響，在票房上有類似冷淡的結果，但隨後又獲得了邪典追捧。辛·潘和潘妮洛普·安·蜜勒都獲得金球獎提名。根據第一部小說的前傳《情梟的黎明前傳》，於2005年以錄影帶首映形式發行。

路易·古茲曼
路易·古茲曼（英語：，1956年8月28日—），波多黎各男演員。出演過保羅·湯瑪斯·安德森電影《不羈夜》（1997年）、《心靈角落》（1999年）和《戀愛雞尾酒》（2002年），以及史蒂芬·索德柏電影《戰略高手》（1998年）、《辣手鐵漢》（1999年）和《毒品网络》（2000年）；其中憑藉《辣手鐵漢》入圍獨立精神獎最佳男配角。其他知名作品如電影《警察大亨》（1990年）、《小生當差》（1991年）、《情梟的黎明》（1993年）、《亡命快劫》（2009年）和《搶救基努貓》（2016年）。

在電視圈，古茲曼出演過《监狱风云》（1998年至2000年）、《毒梟》（2015年）、《黑色代碼》（2015年至2018年）、《无限恩典有限公司》（2019年）和《星期三》（2022年）。
Idris
Idris是一个通用的依赖类型纯函数式编程语言，其类型系统与Agda以及Epigram相似。

Idris语言具备堪与Coq媲美的交互式定理证明能力，自带tactics，而其设计目标侧重于通用系统编程更甚于辅助证明。Idris的其他设计目标还包括“可观的”代码性能，对副作用的控制，以及对于实现嵌入式领域特定语言（Embedded Domain Specific Language，EDSL）的支持。

Idris通过一个依赖类型的核心语言TT生成C语言的中间代码并编译到本地机器码，并利用了一个基于Cheney算法的垃圾收集器实现。Idris亦拥有 JavaScript、Java和LLVM的编译器后端。

Idris的名字来自于20世纪70年代的英国儿童动画片《火车头艾弗》里，一条会唱歌的龙。

Agda
Agda 是一个依赖类型的纯函数式编程语言。目前的版本，Agda 2，最初由瑞典查尔摩斯工学院的 Ulf Norell 作为博士论文课题设计并实现。先前的版本 Agda 1 由 Catarina Coquand 在 1999 年开发，而现今的版本则是对其的彻底重写，因此可视作一个全新的语言，但保留了 Agda 的命名和传统。

Agda 的类型系统体现了柯里-霍华德同构（Curry-Howard correspondence），因此亦可作为一个构建构造性证明的证明辅助工具。它的类型理论基于 Zhaohui Luo 提出的 UTT（unified theory of dependent types），与 Per Martin-Löf 的直觉类型论相似。

Agda 与另一个基于依赖类型的证明辅助工具 Coq 设计上存在着显著的不同之处：它本身并不提供单独的证明策略语言（tactics），所有的证明均以函数式编程的方式书写；Agda 拥有许多常规的函数式程序语言要素，诸如：数据类型（data types）、模式匹配（pattern matching）、记录类型（records）、let表达式和模块（modules）等，而其语法设计则高度仿照 Haskell 语言。

用户可通过 Emacs 或 Atom 编辑器的界面与 Agda 系统进行交互。Agda 系统亦可藉由命令行单独调用。

通过类型检查的 Agda 程序可以被编译到 Haskell，并由 GHC 编译器最终编译为可执行的本地机器码；亦有编译到 JavaScript 的后端实现。

Agda 的名字来自于一首由音乐家 Cornelis Vreeswijk 创作的瑞典语歌曲“Hönan Agda”，歌词讲述了一只名叫 Agda 的母鸡的故事。这实际上影射了 Coq（Coq 在法语中意为公鸡）。
慕容軍
慕容軍（?—?），昌黎棘城（今辽宁省义县西北）人，前燕宗室，慕容鲜卑慕容廆的兒子，慕容皝的兄弟。

333年，慕容皝的同母弟征虏将军慕容仁在平郭（今辽宁省盖州市南）起兵反对慕容皝，慕容皝派军祭酒封奕慰抚辽东。命高诩为广武将军，领兵五千与异母弟、建武将军慕容幼、慕容稚、广威将军慕容军、宁远将军慕容汗、司马佟寿共同讨伐慕容仁，在汶城以北与慕容仁交战，慕容幼、慕容稚、慕容军都被掳获。佟寿归降慕容仁。孙机据辽东城响应慕容仁，封奕和慕容汗返回。慕容仁尽占辽东。

336年正月十九日，慕容皝率领弟弟军师将军慕容评等从昌黎东行踏冰而进三百多里。在历林口弃辎重，轻兵赴平郭。慕容仁率全军在城西北结阵，慕容军率部归降慕容皝，慕容皝乘机攻袭，慕容仁被擒获，慕容皝赐死慕容仁。慕容幼、慕容稚、佟寿、郭充、翟楷、庞鉴等人都向东逃亡，慕容幼中途返回。翟楷、庞鉴被追上斩首。佟寿、郭充逃奔高丽。

339年，前燕国前军师慕容评、广威将军慕容军、折冲将军慕舆根等人攻袭后赵辽西，俘获一千多家百姓。后赵镇远将军石成、积弩将军呼延晃、建威将军张支等人追击，呼延晃和张支被慕容评等人斩杀。344年，慕容皝攻伐宇文逸豆归。任命慕容翰为前锋将军，刘佩为副；命慕容军、慕容恪、慕容霸及折冲将军慕舆根率军，分三路同时进发。

扶馀居住在鹿山，为百济所侵，部落衰落离散，向西迁徙靠近前燕，不设防备。346年，前燕王慕容皝派世子慕容儁率慕容军、慕容恪、慕舆根三位将军、一万七千骑兵进攻扶馀。慕容儁居中指挥，具体军务委派给慕容恪，攻克扶馀，掳获扶馀玄王和五万多民众。慕容皝任玄王为镇军将军，把女儿许配给他为妻。

352年，前燕王慕容儁派广威将军慕容军、殿中将军慕舆根、右司马皇甫真等人率二万人步、骑兵协助慕容评攻打冉魏邺城。353年，卫将军慕容恪、抚军将军慕容军、左将军慕容彪等人屡次荐举给事黄门侍郎慕容霸，说他有显赫于世之才，应总揽重任。前燕皇帝慕容儁任命慕容霸为使持节、安东将军、北冀州刺史、镇守常山。354年，慕容儁封抚军将军慕容军为襄阳王。

慕容皝
燕文明帝慕容皝（）（297年—348年10月25日），字元真，小字万年，昌黎棘城（今遼寧義縣）鲜卑族人。中國五胡十六國時代前燕政權奠基人，不過當時仍名義上臣屬於東晉，直至其子慕容儁正式稱帝後，才追尊廟號太祖，諡號為文明皇帝。
哈莉特：廢奴之戰
《》（英語：）是2019年美国传记片，改编自废奴主义者哈莉特·塔布曼的经历。影片由卡茜·莱蒙斯执导，莱蒙斯与格雷戈里·艾伦·霍华德共同编剧，演员阵容包括饰演塔布曼的辛西娅·埃里沃、小莱斯利·奥多姆、乔·阿尔文和贾奈尔·梦内。

关于哈莉特·塔布曼的传记作品电影已经谋划多年，包括维奥拉·戴维斯在内的多位女演员谣传会出演。2017年2月，埃里沃加盟剧组，其他大多数主创人员于翌年加入。摄影于2018年10月到12月在美国弗吉尼亚州举行。

全球首映礼于2019年9月10日多伦多国际电影节举行，2019年11月1日影片登陆美国剧院，由焦点影业发行。影片获得影评人的普遍好评，埃里沃的表现获得赞许，他们认为影片有诚意但老套。因在电影中的表演，埃里沃获得奥斯卡金像奖、金球奖和美国演员工会奖的提名，而影片主题曲《站起來》获得奥斯卡最佳原创歌曲提名。

辛西婭·艾利沃
辛西婭·奇納紹庫·歐涅迪瑪納蘇·阿瑪拉楚庫·歐威祖凱·埃奇米諾·艾利沃，MBE（英語：，/əˈriːvoʊ/；1987年1月8日—），伊博裔英國女演員、歌手與詞曲作者，她得過多個獎項，包括一座艾美獎、東尼獎和葛萊美獎，還曾獲得過奧斯卡獎和金球獎的提名。

艾利沃於2011年參演《秋水伊人》的改編舞台劇，開始其演藝生涯，她的首部英國電視劇上是2015年的《口香糖》。艾利沃在2015至2017年間上演的《紫色姐妹花》百老匯音樂劇的演技獲得認可，並憑此獲得2016年東尼獎最佳音樂劇女主角和葛萊美獎最佳音樂劇專輯。艾利沃在2018年開始嘗試參與電影拍攝，包括《寡婦》和《壞事大飯店》，其中在《哈莉特》中飾演廢奴主義者哈莉特·塔布曼的演技更讓她獲得奧斯卡最佳女主角獎和金球獎最佳戲劇類電影女主角的提名，她為該片演唱並作詞的主題曲《站起來》亦獲提名奧斯卡最佳原創歌曲獎與最佳原創歌曲。
庇利街
22°18′44.3″N 114°11′20.9″E﻿ / ﻿22.312306°N 114.189139°E﻿ / 22.312306; 114.189139

庇利街（英語：）是香港九龍城區的一條街道，毗鄰馬頭圍道及紅磡道，為紅磡及土瓜灣分界（庇利街以北為土瓜灣，以南為紅磡鶴園）。街道由馬頭圍道及機利士北路／新柳街交界作始，沿途經過崇志街、環安街、崇安街、紅磡道，至近海岸的崇平街而終。

土瓜灣
土瓜灣（英語：，古稱土家灣）是位於香港九龍半島東南部的一個海灣。土瓜灣行政上屬於九龍城區的五個分區之一（即紅磡、土瓜灣、九龍城及九龍塘、何文田和啟德）。土瓜灣之大致位置為紅磡以北，何文田以東，九龍城以南，啟德以西。
富豪B6
富豪B6型（Volvo B6）是瑞典富豪巴士於1990年代期間生產的一款後置引擎單層巴士。基本型B6於1991年生產，B6在亞太地區被稱為B6R，B6的低地台版本富豪B6LE型（Volvo B6LE）則於1994年推出。此車型的主要競爭對手是丹尼士車廠的丹尼士飛鏢型單層巴士。B6和B6LE型已經停產，而後繼車型是富豪B6BLE型低地台單層巴士。

青年尼奥普兰都市航线
青年尼奧普蘭都市航線是金華青年汽車生產的一系列單層巴士，2005年開始生產，原型為Neoplan Centroliner。該系列車型目前在杭州、北京、上海、香港等地服役，也出口哈薩克斯坦、伊朗等國。該車系亦有雙層版本（JNP6130GSC）。
都城嘉慕威曼-斯堪尼亞大都會型
都城嘉慕威曼－斯堪尼亞大都會型（MCW-Scania Metropolitan）是英國都城嘉慕威曼與瑞典斯堪尼亞合作開發的後置引擎雙層巴士，於1973年亮相，在當時是一款設計十分先進的雙層巴士，但生產線只維持了五年。

大都會型是城嘉慕威曼及斯堪尼亞第二款合作生產的巴士。第一款是斯堪尼亞都會型（Metro-Scania）單層巴士，是以斯堪尼亞生產的BR110/CR110底盤配上由都城嘉慕威曼生產的單層巴士車身，針對英國市場而推出。其後雙方再度合作，開發雙層版的大都會型。

都城嘉慕威曼
都城嘉慕威曼（英文：Metropolitan Cammell Weymann、Metro-Cammell Weymann，縮寫MCW）總部設於英國伯明翰，於1932年由都城嘉慕巴士部及Weymann Motor Bodies合組而成。以製造巴士車身起家，後來開始發展巴士底盤，包括都城嘉慕威曼都城巴士、Metroliner及都城嘉慕威曼都城騎士，成為英國首間巴士底盤製造商兼備製造巴士車身的公司；亦有生產的士（Metrocab）。
枝鰓亞目
枝鰓亞目（Dendrobranchiata），是甲殼類動物十足目下屬的一個亞目，具有五對足。它現存540個物種，其最早的化石紀錄可追溯至泥盆紀。枝鰓亞目和蝦（真蝦下目）、蝟蝦（拳師蝦，蝟蝦下目）等其他甲殼類動物不同，它擁有枝狀的鰓，沒有育卵行為，而是直接將卵釋入水中。它的體長可達330毫米，重450克，是人類最廣為捕捉和養殖的蝦類之一。

虾
蝦，俗稱蝦子，是多種生活在水中的長身甲殼亞門節肢動物的共同泛稱，其具體語義可變。一般語境中蝦多指軟甲綱十足目下的真蝦下目與枝鰓亞目；在較嚴格的語境中可能僅指代真蝦下目或其中的更少部分；而許多名稱中帶有「蝦」的軟甲綱動物並不在此範圍，如磷蝦屬磷蝦目，而俗稱作瀨尿蝦的蝦蛄则属口足目。

虾字的来源，最早是通鰕，出现于《尔雅》，而后用蝦指代，则出现于公元前50年左右王褒的楚辞——「九怀•通路」：“鲸鱏兮幽潜，从蝦兮游陼”；《本草纲目》是最早解釋蝦之所以叫蝦：“入汤则红色如霞也”。
命帶追逐
《命帶追逐》（英語：），是臺灣導演蕭雅全編導的第一部電影長片，該片2000年在台北電影節首映後，獲得臺北電影獎年度最佳影片及年度導演新人獎；隔年進入第54屆坎城影展導演雙週單元。2002年在台北一家藝術戲院光點台北短暫上映過兩週。

2018年，該片完成數位修復，於台北電影節公開放映，並重新在台灣院線上映。

蕭雅全
蕭雅全（英語：Hsiao Ya-Chuan，1967年12月20日—）是台灣中生代電影導演、編劇。2000年代開始活躍於臺灣獨立電影圈，於2005年成立積木影像製作有限公司 （页面存档备份，存于）  。
美荷樓
美荷樓（英語：）位於清拆後分期重建的石硤尾邨，1954年建成，是香港最早期、現時碩果僅存的「H」形6層徙置大廈，獲評為二級歷史建築。石硤尾邨舊型大廈重建，第41座美荷樓則獲得保留，耗資2億2千萬港元改建為美荷樓青年旅舍及旗下之美荷樓生活館，於2013年12月開幕。

徙置區
徙置區（英語：）是香港早期的出租公共房屋，於1954年至1975年間興建，主要分布於較早開發的衛星城市和新市鎮（包括觀塘、葵涌、荃灣、屯門和元朗等），由徙置事務處管理。1973年，屋宇建設委員會（屋建會）改制成為香港房屋委員會（房委會）；徙置區與其他政府出租房屋統稱「公共屋邨」：徙置區（不包括第七型大廈）稱為「乙類屋邨」、屋建會廉租屋邨及政府廉租屋則稱為「甲類屋邨」，至1980年更進一步取消乙類屋邨稱呼，統一稱為公共屋邨。現時，第一至六型大廈除石硤尾邨第41座（美荷樓），均已拆卸或/及重建，而第七型大廈亦已有部份開始重建。
桂西僮族自治州
桂西僮族自治州，中华人民共和国广西省旧行政区划名，在今广西壮族自治区境。

1956年由桂西僮族自治区改置（副省级），自治州人民政府驻南宁市。辖

百色专区：百色、西隆、田阳、万冈→巴马瑶族自治县、田林、敬德、凤山、田西、天保、乐业、向都、凌云、田东等县

宜山专区：辖宜山、天峨、罗城、南丹、河池、环江、忻城、柳江、柳城、来宾、融县、三江→三江侗族自治县、石龙、大苗山苗族自治县

自治州直辖：凭祥镇（县级）→凭祥市；邕宁、宾阳、横县、武鸣、上林、马山、崇左、隆安、龙津、大新、镇都→天等、扶绥、上思、宁明14县和都安瑶族自治县。

1957年，镇都县改名天等县。1958年，成立省级广西僮族自治区，同时撤销桂西僮族自治州。百色、宜山2专区由广西僮族自治区直辖；复设邕宁专区，原由桂西僮族自治州直辖的1市、14县、1自治县划归邕宁专区。

宜山专区
宜山专区，1949－1950年为庆远专区，中华人民共和国广西省已撤消的专区，在今广西壮族自治区西北部。

1949年置，专员公署驻宜山县（今宜州市）。辖宜山、天峨、思恩、罗城、南丹、河池、天河、东兰、宜北9县。

1950年，庆远专区改名宜山专区；将东兰县划归百色专区。1951年，武鸣专区所属忻城县及南宁专区所属都安县划入宜山专区。1952年，宜山专区由桂西僮族自治区（副省级）领导；宜北、思恩2县合并为环江县。宜山专区辖9县。

1953年，原柳州专区所属柳江、柳城、来宾、融县、三江、象县、武宣7县划入宜山专区；都安县划归桂西僮族自治区；由融安、三江、罗城及贵州省从江4县析置大苗山苗族自治区；三江县改设三江县侗族自治区；象县、武宣2县合并为石龙县；撤销天河县，并入罗城县，宜山专区辖12县、2自治区。

1955年，三江县侗族自治区改设三江侗族自治县；大苗山苗族自治区改设大苗山苗族自治县。1956年，桂西僮族自治区改置桂西僮族自治州。

1958年，省级广西僮族自治区成立，宜山专区由广西僮族自治区直辖。其后撤销宜山专区，改置柳州专区。
陳桂棣
陳桂棣（1942年11月—）安徽省怀远县人，生於安徽蚌埠，現居於北京，中國國家一級作家；曾當教師、記者及編輯，1986年起從事文學創作，1990年任合肥作家协会主席，至今已有長篇小說、報告文學、散文、電影劇本等創作。

1996年憑《淮河的警告》獲首屆中華文學選刊獎和首屆魯迅文學獎（報告文學）、「人民文學」獎、《主人》獲1984年「當代」文學獎（與張鍥合作）、並憑《中國農民調查》獲2004年德國尤利西斯國際報告文學大獎，作品並譯介到美國，日本、加拿大等；亦憑《中國農民調查》一書帶來的封禁、官司或者得獎等等，他在中國以至全球的知名度亦大幅提高。2005年10月3日夫婦入圍《時代》雜誌亞洲版選出年度亞洲英雄人物。

代表作為《中國農民調查》、《包公遺骨記》（與妻子吳春桃合編）。其他作品有：《不死的土地》、《悲劇的誕生》、《一起詐騙的背後》、《焦裕祿怎樣走出蘭考》、《淮河的警告》等。

2006年5月22日下午五時半，陳與吳夫婦於北京德國駐北京大使館，與來訪之德国总理安格拉·默克爾見面40分鐘並接受台灣中央社訪問。會面談及三農、人權與其著作被禁問題。2007年4月26日在紐約宣傳該著作之英文版。

中國農民調查
《中國農民調查》是一部報告文學作品，由陳桂棣和吳春桃所著，他們透過造訪中國農民的生活境況，揭露了農業社會裡的不公平現象和問題。該作品於2003年年末首度節錄公開發表。由於該書內容揭露了官場黑暗一面和農民慘況，並引用真實資料，大膽公開了當事人名字，发行之初获得巨大关注，成为当时的流行书籍，销量可观。之后遭到中國政府查禁，禁止继续出版。约在2004年12月，《中国农民调查》一文在网络上解禁。2015年7月，百度百科删除“中国农民调查”词条。

2011年前国务院總理朱鎔基在清華大學百年校慶發表講話，說要給學生們送書，特別提到要送《中國農民調查》。他說「這本書受到很多國外異見分子的吹捧」，攻擊他的分税制改革讓農民陷於貧困。送書的目的是讓同學們有批判意識，用事實去對比書中的內容。
向忠发
向忠发（1879年—1931年6月24日），字仲发，笔名忠发、科发、拜发、独中、独用、特生、之夫，化名许白英、杨特生、余达强，祖籍湖北汉阳府汉川县，出生于江苏松江府上海县:5。曾任中共中央政治局主席、中共中央总书记，是中共中央主要负责人之一。

向忠发早年参与、组织京汉铁路大罢工，任湖北省总工会委员长。1928年，担任中国共产党中央政治局主席兼中共中央常委会主席，是名义上中国共产党的最高领导人（他也是中共早期为数不多真正出身于工人階層的黨員之一）。1931年6月，向忠发在上海被南京政府方面逮捕，仅仅26小时后就被处决。长期以来，向忠发被认为在被捕后立即叛变，但在文革结束后，就向忠发死前是否出卖组织、向忠发是死于枪决亦或酷刑出现争议。

瞿秋白
瞿秋白（1899年1月29日—1935年6月18日），谱名瞿懋淼，乳名阿雙，號雄魄、熊伯，別號鐵柏、鐵梅、滌梅、梅影山人，中學後期改名瞿艭、瞿爽、瞿霜，字秋白，以字行；筆名雙林、巨緣、屈維它；俄语名维克多·斯特拉霍夫（），男，江苏常州人，中国社会主义革命家、作家、诗人、翻译家、文学评论家。

瞿秋白是中国共产党早期领袖之一，曾两度担任中国共产党实际最高领导人（1927年8月—1928年7月，1930年9月—1931年1月）。1935年，瞿秋白在福建长汀被南京国民政府逮捕并枪决。
岘港市
岘（）港市（越南語：，發音：[ʔɗaː˨˩ naŋ˦ˀ˥] ⓘ），越南語本名“沱（）㶞（）”，华文世界习作“峴港”或“蜆港”，是越南南中部的中央直辖市。峴港是越南第四大城市，僅次于胡志明市、河内市和海防市，是越南中部重要的大城市。

黄沙特区
黄沙特區（越南语：／），根据越南法律，是越南岘港市下辖的一个特區。越南宣称对整个西沙群岛（越方称之为“黄沙群岛”）拥有主权，并将整个西沙群岛区域划归黄沙特区管辖，但西沙群岛全境于1974年西沙之战后便被中国海军完全占领，越南并未控制西沙群岛中的任何一个岛屿。

1982年12月9日，越南政府批准在西沙群岛（越南原划归和荣县管辖）设立黄沙县，其法定的行政中心为珊瑚岛（越方称之为“黄沙岛”）。与长沙县的设置一样，黄沙县是出于战略方面考虑而设置的。虽然越方没有控制任何一个岛屿，但仍设置县政权，其办公地点设置于岘港市山茶坊。2025年，黄沙县改制為與坊、社同級別的黄沙特區。

与长沙特区一样，黄沙特区自设立以来，中华人民共和国政府一直拒绝承认该地区的合法性。西沙群岛现由中国海南省的三沙市管理。
清水祖師
清水祖師，法號普足，俗名陳昭應（一說為陳榮祖、陳昭或陳應，1045年—1101年），本籍福建永春，是北宋時代福建泉州安溪的僧人。由於在蓬萊山（今屬安溪縣蓬萊鎮）清水巖修道，鋪橋造路，廣施醫藥，被尊稱為清水祖師，又稱蓬萊祖師、麻章上人，俗稱「祖師公」，圓寂後，求雨驅蟲，屢禱屢靈，南宋宋孝宗時成為朝廷敕封的神靈，直到宋寧宗追封為昭應廣惠慈濟善利大師，原屬於佛教禪宗臨濟宗的清水祖師，逐漸民間化、道教化（道教信徒稱之為「清水真人」），被安溪人視為地方最重要的守護神。許多安溪人以種茶為業，再加上清水祖師以求雨聞名，也被視為安溪鐵觀音的保護神。另外，許多安溪人信奉的神祇，如保儀大夫、清水祖師都被視為有保護茶葉種植的職能。隨著安溪移民來臺，清水祖師的信仰在臺灣也蓬勃發展，1994年時有清水祖師為主神的廟宇有98座，大臺北就有63座，尤其是大文山地區。大臺北地區可說是清水祖師信仰最盛之地，艋舺清水巖、三峽長福巖祖師廟、淡水清水巖、瑞芳龍巖宮，號稱「大臺北四大祖師廟」。

安溪县
安溪县（白話字：），古稱小溪、清溪，位于福建省東南部，厦、漳、泉閩南金三角西北部，隶属泉州市。东接南安市，西连华安县，南毗厦门市同安区，北邻永春县，西南与漳州市长泰区接壤，西北与漳平市交界。安溪以茶業聞名全中國，號稱中国茶都。全县拥有各级文物保护单位88处，其中以清水岩、文庙、城隍庙最为著名，縣政府駐凤城镇大同路1號。
曇摩羅闍四世
曇摩羅闍四世（泰語：，生年不詳—1438年），又稱摩訶曇摩羅闍四世（），本名波隆摩班（）或班孟（），他是素可泰王國帕鑾王朝的末代君主，約1419年至1438年間在位。曇摩羅闍四世是前任國王曇摩羅闍三世的兒子。

曇摩羅闍三世逝世後，兩位王子波隆摩班與披耶蘭（）爭奪王位。阿瑜陀耶國王膺陀羅闍率兵介入，素可泰王國被分為兩部份，波隆摩班（即曇摩羅闍四世）統治彭世洛，披耶蘭統治甘烹碧。1430年，曇摩羅闍四世回到素可泰。1438年，曇摩羅闍四世逝世，阿瑜陀耶國王波隆摩羅闍二世以其子拉梅萱為素可泰總督，素可泰王國正式滅亡。

素可泰王国
素可泰王國（泰語：，皇家轉寫：Anachak Sukhothai，泰語發音：[āːnāːt͡ɕàk sù.kʰǒː.tʰāj]），是泰國历史上的首個有史料可以查證的王國，存在於1238年至1438年。首都素可泰，位於泰國中央平原，曼谷以北427公里，意為「快樂的開始」，今天這裡有國家歷史遺址。
烏山頭水庫
烏山頭水庫，舊稱烏山頭貯水池，是一座位於台灣台南市六甲區、官田區的水庫，具有水力發電功能，與烏山頭水力發電廠和烏山頭風景區相併在一起。地理位置在海拔468公尺的烏山嶺。由於水庫完成後，官田溪谷遭淹沒。自空中往俯看，其型珊瑚，故有珊瑚潭之美譽。

六甲區
23°13′54″N 120°20′50″E﻿ / ﻿23.2317771°N 120.3472013°E﻿ / 23.2317771; 120.3472013

六甲區（臺灣話：），前身「六甲鄉」，位於臺灣臺南市中央偏北部，北臨柳營區、東山區，東鄰楠西區，西臨下營區，南接官田區、大內區。屬於大曾文地區的一部分。本區呈東西寬南北窄的長條形，東半部屬阿里山山脈的一部分，地勢較為崎嶇，西半部則屬嘉南平原，地勢平坦，氣候屬熱帶季風氣候。
硼酸鹽礦物
硼酸鹽礦物是含有硼酸根陰離子團的礦物。硼酸鹽（BO3）單元可以聚合，類似於矽酸鹽礦物類的SiO4單元。這會產生B2O5、B3O6、B2O4陰離子以及更複雜的結構，包括氫氧根或鹵素陰離子。[B(O,OH)4]−陰離子也存在。

許多硼酸鹽礦物，如硼砂、硬硼鈣石和鈉硼解石，都是柔軟、易溶，並在蒸發岩環境中發現。 然而有些，如方硼石堅硬且耐風化，更類似於矽酸鹽。

有超過100種不同的硼酸鹽礦物。硼酸鹽礦物包括：

四水硼砂 Na2B4O6(OH)2·3H2O

硼砂 Na2B4O5(OH)4·8H2O

鈉硼解石 NaCaB5O6(OH)6·5H2O

硬硼鈣石 CaB3O4(OH)3·H2O

方硼石 Mg3B7O13Cl

鋁硼鋯鈣石 CaZrAl9O15BO3

硼砂
硼砂（英語：）是一種硼酸鹽礦物，化學式為Na2B4O5(OH)4·8H2O。它發現於鹼性湖泊環境的蒸發岩沉積物中，在乾旱地區作為地表風化結殼。它是從加利福尼亞博朗和附近地區開採的主要礦物，也是四硼酸鈉的主要來源。硼砂的英文「Borax」來自阿拉伯語「」（bauraq，意為白色）。
刘向
劉向（前77年—前6年），字子政，原名更生，西漢宗室。著有《別錄》《新序》《说苑》《列女传》《洪範五行傳論》《五紀論》等書，並且編訂了《戰國策》《楚辭》《孫卿新書》。劉向曾官中壘校尉，故世称劉中壘。明人张溥辑有《刘中垒集》，收入《汉魏六朝百三家集》中。又有赋33篇，今仅存《九歎》一篇。經學家劉歆為其子。劉向的詳細事跡可以參考《漢書•楚元王列傳》。

別錄
《別錄》是中国最早的综合性系统分类藏書目錄。漢朝宗室劉向、劉歆父子整理图书近20年，為每部圖書寫成篇目及解題「敘錄」，附於書后。之后将其汇集成书，即《别录》20卷。《别录》节录为《七略》。后由班固以《七略》之分类再编《汉书·艺文志》。
高皇產靈尊
高皇產靈尊（）為《日本書紀》裡的記述，《古事記》則記作高御產巢日神（），祂是日本神話裡的別天神，別名作高木神（）。不過在《延喜式》卷第八神祇八祝詞的出雲國造神賀詞篇中，卻寫成神王高御魂命。

高皇產靈尊的兒子為思兼神（），女兒為栲幡千千姬命（）。

古事記
《古事記》（日语：）為日本和銅四年（711年）9月18日，日本元明天皇命太安萬侶（）編撰日本古代史。和銅五年（712年）1月28日，將完成的內容《古事記》獻給元明天皇，其內容大略可分成：「本辭」、「帝紀」兩個項目，以及「上卷」、「中卷」、「下卷」三個部份。全書採用漢文与万叶假名混杂寫成。
2024年歐洲青少年歌唱大賽
2024年歐洲青少年歌唱大賽是第二十二屆年度舉行的歐洲青少年歌唱大賽。本屆大賽由歐洲廣播聯盟（EBU）和西班牙廣播電視公司（RTVE）於2024年11月16日在西班牙马德里的魔術盒球場舉行。這是第一次在西班牙舉行的歐洲青少年歌唱大賽，同時也是繼1969年歐洲歌唱大賽之後第一次在西班牙舉行的欧洲电视网賽事。

本屆大賽一共有17國參賽，其中賽普勒斯和聖馬利諾各自從6年和8年的缺賽中回歸，而回歸沒多久的英國則再次撤賽。

本屆大賽最終由11歲的安德里亞·普特卡拉澤勇奪大賽冠軍獎盃，並讓喬治亞得以以四勝的佳績重新坐上贏過最多次歐洲青少年歌唱大賽之國家的寶座。葡萄牙以亞軍之姿刷新了自己的最佳成績紀錄並贏得線上投票，剩餘的前五名則依序由烏克蘭、去年的冠軍法國以及馬爾他佔據。地主國西班牙得到第六名，阿爾巴尼亞刷新自己的第二佳成績紀錄，而本次歸來的聖馬利諾則慘遭墊底。

西班牙在歐洲青少年歌唱大賽之歷年表現
西班牙在歐洲青少年歌唱大賽的參賽歷史始於在丹麥哥本哈根舉辦的2003年首屆歐洲青少年歌唱大賽。歐洲廣播聯盟（EBU）正式會員西班牙廣播電視公司（RTVE）轄下的西班牙电视台（TVE）負責該國的選拔與參賽事宜。西班牙原本使用自己的國家選拔節目《Eurojunior》挑選參賽人選。第一位為西班牙出賽的代表塞爾吉奧（Sergio）和他的歌曲〈從天而來〉（Desde el cielo）在16國的選手中以收穫125分取得了亞軍的好成績。西班牙是歐洲青少年歌唱大賽中最成功的國家之一，9次參賽有7次進軍前五名。西班牙自2007年退出大賽，直到2019年才回歸參賽。
羅馬公民
羅馬公民，羅馬帝國的一種身分。古羅馬的社會階層是等級分明的，具有多重重疊的社會等級。一個人在一個人中的相對地位可能高於或低於另一個人，這使羅馬的社會構成複雜化。
212年之後，依據安东尼努斯敕令，所有的羅馬帝國自由人，被授與公民權。

安东尼努斯敕令
安东尼努斯敕令（Constitutio Antoniniana），又译卡拉卡拉法令，乃是一道羅馬皇帝卡拉卡拉（瑪爾庫斯·奧列里烏斯·安东尼努斯）在公元212年所宣佈的敕令。這道法令宣佈，所有羅馬帝國出身自由的男人將被給予完整的羅馬公民權，同样地，所有帝國自由出身的女人拥有与羅馬女人相同的權利。

212年以前，完整的罗马公民权只属于部分人，比如亚平宁半岛上的居民握有完整的羅馬公民權。還有，建立于其它行省的殖民地、居住于行省的羅馬人（及他們的後裔）、帝國各个城市的居民，以及少數地方上的貴族（例如属国国王）也握有完整的公民權。此外大多數國民，大多握著有限的公民權，例如拉丁公民权。

卡拉卡拉通過這條宪令的原因主要是增加提供稅收与服役的居民数量（具有罗马公民权者才能夠在罗马军团中服役）。然而，这却无心引发了外省人对于皇位的觊觎，导致了以此为目的的暴乱。這道敕令之後僅僅二十三年就出现了第一位起义者馬克西米努斯·色雷克斯。它將在三世紀危機，以及最後終於發生了的罗马帝国的衰落中扮演重要角色。
羅賓·胡溫貝里
羅賓·胡溫貝里（瑞典語：，1991年2月22日—）是出生於瑞典的海斯勒霍爾姆的一位流行音乐歌手。他由参加瑞典歌唱選秀節目《瑞典偶像》出道。2013年，他凭借歌曲《You》在《2013年瑞典旋律节》中夺冠，并代表瑞典参加了《2013年歐洲歌唱大賽》決賽。

2013年瑞典旋律节
2013年瑞典旋律节（瑞典語：）是第53屆瑞典進入歐洲歌唱大賽的國內選拔賽。最後由羅賓·胡溫貝里以《You》一曲贏得冠軍，並成為史上第一個進到敗部復活賽，而拿下決賽冠軍的歌手。

2013年3月9日決賽在連續使用12年的斯德哥爾摩友谊竞技场舉行，賽程包括四場預賽和一場敗部復活賽，及一場總決賽。每場預賽由分別有8首歌曲角逐，預賽第一、二名直接進入決賽名單，而三、四名則進入敗部復活賽，其餘歌曲則直接淘汰。
京都
京都（日语：／ Kyōto）是位於日本近畿地方的都市，約等同於今日京都市的市中心區域。其歷史起於8世紀建立的「平安京」，於794年起被定為日本首都，此後發展成為日本中古及近世重要的政治與文化中心，至1869年遷都東京為止。歷經千年的發展，京都與東京並列為現今日本最具代表性的文化櫥窗。

在平安時代之前，飛鳥京和恭仁京等故都称为京都，平安京则是在平安时代後才定为都城，曾同时被称为“京”或“京都”。此后，曾依次被称为“京之都”（）、“京”（）。京都最后成为平安京的固有名称被沿用下来。建都之时曾被称为“北京”、“北都”，相對於被稱為「南京」或「南都」的奈良（平城京）。

京都市
35°0′42″N 135°46′6″E﻿ / ﻿35.01167°N 135.76833°E﻿ / 35.01167; 135.76833

京都市（日語：，日語發音：[kʲoːto] ⓘ）是位於日本京都府南部的城市，為京都府府治，也是政令指定都市之一。京都市的面積為827.83平方公里，下轄11個區，2020年時有人口1,467,856人，是日本人口第八多的都市。京都市還和京都府南部、滋贺县西部及大阪府的部份地區共同組成了“京都都市圈”，其人口數約有379萬。京都市也是「京阪神都會區」的一部份。

自794年桓武天皇遷都平安京到1868年明治天皇東京奠都為止，京都一直都是日本的首都。長年的歷史積澱使得京都市擁有相當豐富的歷史遺跡，也是日本傳統文化的重鎮之一。京都的一些傳統民俗祭典，諸如葵祭、祇園祭等已舉辦超過千年，成為京都獨有的風景。京都市的部份歷史建築在1994年以「古都京都的文化財」的名義被列为世界文化遺產。這些因素使得京都吸引了眾多觀光客，2008年造訪京都的日本國內外遊客數便已突破5000萬人。京都也是日本重要的工業城市，其中又以傳統產業和電子產業最為重要。京都是日本最重要的文化教育城市之一，市內共有37所大學，每百萬人平均擁有大學數量和學生佔人口比例皆在日本大都市中位居首位。
富士X卡口
富士X接口是一种由富士胶片设计并使用在其自己无反光镜可换镜头相机系统上的接口标准，具备17.7mm法兰距，采用卡口形式，也被称作富士X卡口，或直接称作X卡口。

目前除了富士自己的XF和XC镜头外，蔡司公司的Touit镜头和三阳光学也有为X卡口提供兼容镜头。此外，通过转接环，还可以使用Leica M 镜头在内的其他接口镜头。

"将镜头后组更深入镜头接口，更靠近传感器，分辨率会得到收益。机身和镜头间的信息交换也会确保不过的高响应体验。"

蔡司公司
卡爾·蔡司股份公司（德語：，德語：[kaʁl tsaɪs]）是一家德國的光學系統與光電設備製造商，於1846年由光學家卡爾·蔡司在耶拿創立。隨後與恩斯特·阿貝和奧托·肖特共同奠定了今日跨國企業的基礎。蔡司目前在全球近50個國家開展業務，分為四個營收大致相當的事業部門——工業品質與研究、醫療技術、消費市場及半导体製造技術——並於全球設有約30處生產基地及約25處研發據點。

卡爾·蔡司股份公司由卡爾·蔡司基金會所擁有，且為蔡司集團（Zeiss Gruppe）旗下所有子公司的控股公司，其中唯一在股票市場上市的子公司為卡爾·蔡司醫療技術股份公司。蔡司集團的總部位於德國南部小鎮上科亨，而其第二大據點則位於其創始地耶拿。
張善政
張善政（1954年6月24日—），中華民國政治人物，中國國民黨籍，籍貫天津，生於臺北市，臺灣企業高階主管、工程學學者，現任桃園市市長。曾任國立臺灣大學土木工程系教授、行政院國家科學委員會國家高速電腦中心主任、宏碁公司副總經理、Google公司亞洲硬體總監、行政院政務委員、科技部部長、行政院副院長及行政院院長。

張善政曾在馬英九政府時期擔任公職，但一直維持無黨籍身份，是馬政府任內最後一位及中華民國史上首位無黨籍的正任行政院院長。

卸任閣揆後，歷任東吳大學巨量資料管理學院唐松章校友講座教授兼榮譽院長、國立陽明交通大學電子與資訊研究中心終身講座教授兼亥客書院院長、中華大學特聘講座教授、國立臺北商業大學榮譽講座教授、聖約翰科技大學榮譽講座教授、國家生技醫療產業策進會會長、智網聯盟總網會長、台灣大哥大董事兼基金會董事長、華邦電子獨立董事、宏碁獨立董事、善科教育基金會董事長、癌症關懷基金會董事、數字王國執行董事及國家政策研究基金會副董事長等。

2019年擔任中國國民黨總統候選人韓國瑜的國政顧問團總召，後成為韓國瑜的搭檔，參選副總統，隔年敗選告終。2022年加入中國國民黨，參選桃園市市長並當選。

馬英九政府
馬英九政府（通稱馬政府）是指2008年5月20日至2016年5月20日，馬英九擔任第12任及第13任中華民國總統期間所領導的中華民國政府。2008年總統選舉中國國民黨候選人馬英九、蕭萬長以765萬票勝出，實現中華民國第二次政黨輪替；2012年總統選舉，馬英九搭檔吳敦義，再度以689萬票成功連任。

馬英九政府任內歷經六個內閣，分別為劉兆玄內閣、吳敦義內閣、陳冲內閣、江宜樺內閣、毛治國內閣和張善政內閣，共六位六任。其中，張善政是政府遷台後首位無黨籍的閣揆。國民黨在2008年立法委員選舉及2012年立法委員選舉中成為國會多數黨並單獨擁有過半席次，是自解嚴以降第二次「完全執政」。
暗夜情報員
《暗夜情報員》（英語：）是一部美國動作驚悚電視影集，尚恩·雷恩擔任主創，改編自馬修·奎克的同名小說。劇情講述聯邦調查局一名探員效力於暗夜行動（），以執行各種危險任務。影集由蓋布瑞爾·貝索擔任主角，2023年3月23日在Netflix全球上線；上線的前四天成為Netflix觀看數第三高的影集，之後很快地獲得第二季的續訂。第二季首播於2025年1月23日；第三季於此前的2024年10月8日續訂。第三季首播於2026年2月19日。

蓋布瑞爾·貝索
路易斯·蓋布瑞爾·貝索三世（英語：，1994年12月11日—），美國男演員，演藝事業以童星起步，知名演出包括2010年至2013年在電視劇《如果還有明天》中擔任的常駐角色，以及2023年起在《暗夜情報員》中擔任主角。在電影圈的知名作品如《超級8》（2011年）、《夏日之王》（2013年）和《乡下人的悲歌》（2020年）。
殺手遊戲 (電影)
《殺手遊戲》（英語：）是一部2024年美國動作喜劇片，由J·J·佩里執導，蘭德·拉維奇和詹姆斯·科因（）編寫劇本，主演陣容包括戴夫·巴帝斯塔、蘇菲亞·波提拉、泰瑞·克魯斯、史考特·艾金斯、龐·克萊門捷夫和班·金斯利。電影改編自傑·博南辛加的1997年同名小說，講述一名殺手被診斷出患有絕症時，決定僱用的同業殺手來殺死自己，但卻出了差錯令心愛的女友捲入其中。

《殺手遊戲》由獅門安排2024年9月13日在美國上映。電影在影評界收穫負評居多，並因商業失利而成為票房炸彈。

J·J·佩里
J·J·佩里（英語：，1967年—），美國男武術家、演員、導演、特技演員及製片人，擔任過多部電影的替身、武術指導和第二攝製組導演，包括《丛林奇兵》（2003年）、《勇者無敵》（2011年）、《捍衛任務2：殺神回歸》（2011年）、《玩命關頭8》（2017年）及《雙子殺手》（2019年）。2022年推出導演長片處女作《打卡獵人》。
火舞黃沙
《火舞黃沙》（，前名《黃土大地》），是香港電視廣播有限公司拍攝製作的民初恩仇劇集，由林保怡、陳豪、蔡少芬、黎姿、佘詩曼及邵美琪領銜主演，並由黃德斌、陳鴻烈、鍾景輝、王賢誌及周家怡聯合演出，監製戚其義。藝人黃德斌亦憑此劇中的精湛演技奪得萬千星輝頒獎典禮2006的「最佳男配角」。

王賢誌
王賢誌，BBS（英語：，1970年10月20日—），生於香港，籍貫江西南昌，加拿大華人。曾經於加拿大温哥華生活，畢業於卑詩大學。居住於温哥華時曾於華僑之聲任節目主持，後來回流香港，于無綫電視（TVB）及亞洲電視（ATV)工作。曾任歲次戊戌（2018年）東華三院主席，現時為王氏港建執行董事。2019年7月1日獲香港特別行政區政府頒授銅紫荊星章。