hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
佩頓·羅伊斯
卡桑德拉·麥金托什（英語：，1992年11月10日—）是澳大利亞職業摔角選手。她以在世界摔角娛樂時期而聞名，並以「佩頓·羅伊斯」（）為擂台名稱，曾與比莉·凱組成標誌雙子雙打團隊。

2009年2月，麥金托什在職業摔角女子聯盟（PWWA）上以KC·卡西迪的身份參加職業摔角比賽， 並在獨立巡迴賽上晉升數年，成為一次PWA女子冠軍。麥金托什於2015年與WWE簽訂合約，並被分配到WWE位於佛羅里達州奧蘭多的發展品牌NXT。

比莉·凱
潔西卡·麥凱（英語：，1989年6月23日—）是澳大利亞職業摔角選手。她以在世界摔角娛樂時期而聞名，並以「比莉·凱」（）為擂台名稱，曾與佩頓·羅伊斯組成標誌雙子雙打團隊。

2007年6月，凱在職業摔角聯盟（PWA）進行其職業生涯的首場比賽， 一年後，她在職業摔角女子聯盟的宣傳活動中首次亮相，並在那裡贏得兩次PWWA冠軍。之後數年，她開始在美國獨立巡迴賽上爭奪晉升的機會，尤其是在微光女運動員身上。
旗山區
旗山區，舊稱「蕃薯寮」，後稱「旗山」，得名自境內的最高峰旗尾山，前身「旗山鎮」，位於中華民國高雄市地理中心。北鄰杉林區，西北鄰内門區，西及西南鄰田寮區、燕巢區，東鄰美濃區，東南接臺灣省屏東縣里港鄉，南接大樹區。地形西側屬嶺口丘陵；東北側為楠梓仙溪河階；西南側則為屏東平原北端。

內門區
內門區，舊稱「羅漢內門」，前身「內門鄉」，位於台灣高雄市東北部，境內多為山坡地，平地極少，東北連杉林區，東南連旗山區，西北連臺南市龍崎區、左鎮區、南化區，西南接田寮區，氣候上則屬亞熱帶季風氣候。經濟產業上主要為農業與畜牧業，由於當地有不少居民為從事辦桌服務的廚師，被稱為「總舖師之鄉」。

每年三月底至四月初舉辦的「高雄內門宋江陣嘉年華會」是當地重要民俗慶典，並曾入選交通部觀光局主辦「臺灣十二大地方節慶活動」的三月份活動。內門紫竹寺與南海紫竹寺每年舉辦的「羅漢門迎佛祖」是慶祝觀音佛祖聖誕舉辦的平安祈福繞境活動，已於2014年由文化部指定為國家重要民俗活動，為該區的代表特色文化活動。
尼古拉·齐奥塞斯库
（羅馬尼亞語：，發音：[nikoˈla.e tʃe̯a.uˈʃesku] ⓘ，，1918年1月26日—1989年12月25日），罗马尼亚政治人物，1965年至1989年间担任罗马尼亚共产党总书记及罗马尼亚社会主义共和国最高领导人。1933年加入罗马尼亚共产党，其后多次因参加革命斗争和反法西斯活动而被捕入狱。1944年被营救出狱后，历任罗马尼亚共青团中央书记、多布罗加和奥尔特尼亚州委书记、农业部国务秘书、武装部队部副部长和武装部队总政治部主任等职。1952年获中将军衔。1955年当选为党中央政治局委员、中央书记。1965年3月22日当选为罗马尼亚工人党第一书记，同年7月，工人党改名为共产党，齐奥塞斯库任罗共中央总书记。1965年至1989年任罗马尼亚共产党总书记，1967年至1989年间任国务委员会主席，1974年起出任羅馬尼亞總統，為該國首任總統。

齐奥塞斯库当政的第一个十年间，与冷战期间其他华沙公约組織国家不同，罗马尼亚对西欧和美国实行了开放的政策。罗马尼亚前任领导人格奥尔基·乔治乌-德治于1958年成功使苏联军队撤出罗马尼亚。而齐奥塞斯库则继承了前任领导人的策略，与苏联保持距离的同时大力发展国内经济、改善民生。因此在1970年之前，其被認為是溫和開明的共產黨領袖。

然而，自1970年代起，齐奥塞斯库统治下的罗马尼亚逐渐成为东欧集团中斯大林主义最为严重的政權。他的统治中个人崇拜和民族主义泛滥，与西方国家和苏联的关系恶化。齐奥塞斯库政权在1989年罗马尼亚革命中被推翻，齐奥塞斯库夫妇一起被罗马尼亚特别军事法庭以「实施种族灭绝，屠杀六万人」、「危害国家」、「破坏公共财产」、「破坏国民经济」、「在国外银行有超过10亿美元的秘密存款并企图叛逃国外」等5大罪名判处死刑并立即执行。1989年12月25日下午4时，齐奥塞斯库及其夫人被处决。罗马尼亚政府在处决了齐奥塞斯库夫妇后立即宣布廢除死刑。

齐奥塞斯库夫妇审判及处决
对齐奥塞斯库夫妇的审判于1989年12月25日由特别军事法庭进行，该法庭是应新設組織“救国阵线”要求而专门设立的战地法庭。审判结果事先已经敲定，在这场“作秀公审”中，前罗马尼亚共产党中央委员会总书记、罗马尼亚社会主义共和国总统尼古拉·齐奥塞斯库及其妻，罗马尼亚社会主义共和国部长会议副主席埃琳娜·齐奥塞斯库被认定罪名成立，判处死刑。

对齐奥塞斯库夫妇的指控主要是种族灭绝——即在蒂米什瓦拉革命期间“谋杀六万余人”（其他消息来源认为死亡人数在689至1200人之间）。尽管如此，这些指控并不影响审判。斯坦库勒斯库将军派遣一支从特種部隊中甄选的伞兵队来充当行刑队。开庭前夕，施泰库列斯库已经指定了刑场：军营广场墙的一侧。

尼古拉·齐奥塞斯库拒绝承认该法庭的合法性，称其缺乏宪法依据，并声称革命是苏联阴谋的一部分。
亨德森-哈塞尔巴尔赫方程
亨德森-哈塞尔巴尔赫方程（）是化学中关于酸碱平衡的一个方程。该方程使用pKa（即酸解离常数）描述pH值的变化。它可以用来估算缓冲体系的pH。方程的创始人是美国化学家勞倫斯·約瑟夫·亨德森和丹麦科学家卡爾·阿爾伯特·哈塞爾巴爾赫。

若有弱酸HA离解如下：

则方程写作：

又写作：

其中A−是HA失去质子后的形式，即其共轭碱。中括号表示物质浓度。

若有碱离解如下：

则方程可根据写作：

，表示碱的离解常数。

类比可得：

， 表示B的共轭酸。

采用摄氏25度下酸度系数与碱度系数的关系的性质，可以推导出以下表示pH的公式：

缓冲溶液
缓冲溶液（德語：；英語：；法語：）指由「弱酸及其共轭碱之鹽類」或「弱碱及其共轭酸之鹽類」所组成的缓冲对配制的，能够在加入一定量其他物质时减缓pH改变的溶液
。

前述定義中之所以要兩種成對物質，是因為反應可以同時朝向酸或鹼來緩衝，舉例醋酸与醋酸钠的混合溶液就是缓冲溶液。若加盐酸，pH不会下降太快，因为盐酸会跟醋酸钠反应，生成醋酸。相反，若加氢氧化钠，pH也不会增加太快，因为氢氧化钠会跟醋酸反应，生成醋酸钠。
在许多化学反应中，缓冲溶液被用于使溶液的pH值保持恒定。
缓冲溶液对生命的产生与进化具有重要意义，因为多数生物都只能在一定pH范围内生长，例如血液就是一种缓冲溶液。
黄渤
黄渤（1974年8月26日—），祖籍甘肃臨洮，出生成长于山东青岛，中国男演员、歌手，中国电影家协会副主席、中国文艺志愿者协会副主席。毕业于北京电影学院2002年級配音系高职班。主要电影有《疯狂的石头》《疯狂的赛车》《鬥牛》《人再囧途之泰囧》《西遊·降魔篇》《心花路放》《亲爱的》《寻龙诀》。2009年以《鬥牛》獲得金馬獎影帝，黃渤與徐崢、鄧超、吳京并稱為「票房四巨頭」。

徐峥
徐峥（1972年4月18日—），上海人，中國大陸男演員、導演。徐峥畢業於上海戲劇學院。主要電影有《命运呼叫转移》、《夜·店》、《人在囧途》、《人再囧途之泰囧》、《无人区》、《心花路放》、《催眠大师》、《港囧》、《爱情神话》。徐崢與黃渤、鄧超、吳京並稱為「票房四巨頭」。

2018年以電影《我不是藥神》榮獲第55屆金馬獎最佳男主角。在福布斯2019年發佈的中国100名人榜，名列第4名。
小保加體育會
小保加體育會（西班牙語：），一般稱小保加，是一家阿根廷布宜諾斯艾利斯博卡区的職業體育會，以男子足球隊最為知名。該隊自1913年升入阿根廷足球甲級聯賽後始終維持頂級聯賽資格，截至2024年賽季共獲得74項官方賽事冠軍，為阿根廷足球史上最成功俱樂部。

小保加在國內賽事累積35次甲級聯賽冠軍與17座國內盃賽冠軍，其中包含阿根廷足球協會為表彰其1925年歐洲巡迴賽表現而頒授的榮譽冠軍稱號。國際賽事方面，俱樂部六度問鼎南美自由盃，並三奪洲際盃，另擁有四座南美足聯盃冠軍與四座南美超級盃等殊榮。

小保加與河床體育會之間存在激烈的宿敵關係，兩隊之間的比賽被稱為超級經典賽，是阿根廷乃至世界足壇最激烈的宿敵之一，因為這兩個俱樂部是在國內最受歡迎的。小保加的主場是阿尔韦托·J·阿曼多体育场，通俗地稱為拉邦博內拉。青訓學院培養許多著名阿根廷國腳，他們曾經為或正在為頂級歐洲俱樂部效力，如 奥斯卡·鲁杰里, 塞巴斯蒂安·巴塔利亞, 尼古拉斯·布尔迪索, 卡洛斯·特维斯, 埃韦尔·巴内加, 费尔南多·加戈, 莱昂德羅·帕雷德斯及纳维尔·莫利纳。

河床體育會
河床競技俱樂部（西班牙語：），一般稱為河床（River Plate），阿根廷國內更有稱其為河（River），是非常出名的阿根廷足球俱樂部，该俱乐部在1901年5月25日布宜诺斯艾利斯博卡区由圣罗莎俱乐部（Santa Rosa，或译作圣玫瑰）和罗萨莱斯俱乐部（或译作玫瑰），而名称来源于英文对拉普拉塔河的称呼。其主要活动为男子职业足球，其球队现为阿根廷甲级联赛球队，主场是位于贝尔格拉诺（Belgrano）的纪念碑球场，该球场为该国最大，可容纳83,196名观众。

「河床」有時用作拉普拉塔河（Rio de la Plata）的英文名稱，這是流經布宜諾斯艾利斯的河流。據聞早年是因為俱樂部創辦人之一 Martínez 發現河上的船隻有水手在踢足球，故以此命名。
元朗新市鎮
元朗新市鎮（英語：）是香港九個新市鎮之一，座落於香港新界西的元朗區，是元朗第一個新市鎮，人口約16萬，由大橋、水邊圍、雞地、水牛嶺等地方發展而成。現在也向北延伸至東頭工業區、元朗創新園（前稱元朗工業邨）及朗屏邨等地，及向南延伸至大旗嶺。元朗新市鎮大致範圍東至新時代廣場附近，南面被元朗公路包圍，西面則伸延至朗天路。

朗屏邨
朗屏邨（英語：）是香港的一個公共屋邨，位於新界元朗區元朗市中心北面，屏山東面，於1982年規劃，1983年動工，1986年-1989年竣工並且入伙，其後成為房屋署租者置其屋計劃（第6期乙）的其中一個出售的公屋之一，於2005年讓居民購買現時租住的單位。單位總數達到8491伙，是39條租置屋邨中提供第二多單位的屋邨，僅次於屯門山景邨，亦與山景邨併列兩條超過八千伙的租置屋邨。現時由創毅物業服務顧問有限公司管理。
天津市南开中学
天津市南开中学，曾名私立敬业中学堂、私立南开学校、天津市第十五中学等，始建於1904年。校址位于天津市南开区南开四马路22号，是南开系列学校的发源地。

1904年，严修、张伯苓创办私立中学堂，1907年迁至现址改称私立南开中学堂。1919年，学校在中学部基础上筹建南开大学。1937年7月，南开学校遭日军炸毁，师生或辗转南迁至重庆南开中学，或转入天津英租界内耀华学校，直至1945年复校。

1952年，学校由天津市政府接管。1978年由教育部确定为全国重点中学。2023年，牵头成立天津南开学校教育集团。

目前，天津市南开中学是天津市教育委员会直属重点中学、国家级示范性高中校，由校园内部多座历史建筑构成的天津南开学校旧址是全国重点文物保护单位和特殊保护等级天津历史风貌建筑。

南开学校
南开学校泛指南开系列学校，是严修和张伯苓创办的一系列旨在促进中国近代教育发展的学校，包括南开大学、南开中学、南开女子中学、重庆南开中学、南开小学等。

1937年，南开学校受到日军摧毁。1946年4月9日，南开大学改为国立；1952年12月23日，南开中学改为公立。南开学校内部的从属关系不复存在，但各校都视张伯苓为第一任校长，有着相同的校歌、校训、类似的校徽以及其他文化传统。
中央廣播電視總台
中央广播电视总台（英語：，缩写：），标准简称中央广电总台，为正部级国务院直属事业单位，由中共中央宣传部归口领导，是中华人民共和国的国营广播电视机构。此外，中央广播电视总台的内部简称“总台”，对外呼号为“中国之声”（英語：）。

中央广播电视总台的前身是原国家新闻出版广电总局直属的三家副部级中央级广播电视媒体（合称“中央三台”），即中央人民广播电台、中国国际广播电台、中国中央电视台（中国环球电视网）。中央广电总台於2018年3月21日合并组建成立。

中央人民广播电台
中央人民广播电台（英語：，簡寫：），一般简称央广和中央台，是中华人民共和国国家级广播电台之一。开播于1940年12月30日，是中国最重要的、最具有影响力的传媒之一，2018年起隸屬於中央广播电视总台。

中央人民广播电台的英语名称中，“”的前名为“”（簡寫：），并于2002年经中华人民共和国国家广播电影电视总局批准其改为现名。

中央人民广播电台是中华人民共和国覆盖全国的广播电台，在中国拥有听众超过7亿，是世界上拥有国内听众最多的广播电台，现办有17套无线广播频道，全天累计播音324小时。拥有“中国广播网”（央广网）、“中国民族广播网”、“你好台湾网”、“云听”等网站，另外开设1套数字电视频道。此外，还主办了《中国广播》杂志、《中国广播报》等平面媒体，设有中国广播音像出版社等机构。
東八尾站
東八尾站（日语：／ Higashi-Yatsuo eki */?）是是隸屬於西日本旅客鐵道（JR西日本）高山本線的鐵路車站，座落於富山縣富山市，現時只停靠普通列車。為請願站。最初，為方便居住在杉原地區周邊的乘客，免於前往距離近四公里的越中八尾站乘車，當地的婦女協會開展了設立中間車站運動。1955年成立了「東八尾站開設期成同盟會」，並與町議會共同向日本國有鐵道提出請願書。最終在眾多的其他提請要求中，本站被選為較優先開展建設車站事業。

越中八尾站
越中八尾站 （日语：／ Etchū-Yatsuo eki */?）是隸屬於西日本旅客鐵道（JR西日本）高山本線的鐵路車站，座落於富山縣富山市，屬於未合併入富山市前的八尾町中心車站，除停靠普通列車外，亦停靠所有來回富山站的特急列車「飛驒號列車」班次。同時本站亦是區間車班的終點站，現時約半數由富山開出的普通列車班次以本站為起訖。由於在關西本線早已出現八尾站，因此本站設立時加上舊令制國名稱前綴「越中」以作區別。
浦田涉
浦田涉（1989年8月9日— ），是日本的男性聲優。出生於埼玉縣。血型A型。所屬於Swallow事務所。

舊名為「高橋涉」，原屬於「Kenyu Office」事務所。

2016年5月2日、正式表明自己就是於niconico動畫活動的「浦島坂田船」的成員之一・うらたぬき (Uratanuki) 。

浦島坂田船
浦島坂田船是由四位日本男性組成的音樂組合，現以YouTube、TwitCasting為中心活動，成員分別是うらたぬき、となりの坂田。、志麻、センラ，四人皆是出自niconico直播上的唱見。目前所屬唱片公司為NBC環球娛樂。團體名稱取自每個成員的名字（うらたぬき，志麻（しま）、となりの坂田。、セン（せん）ラ）。隊長是うらたぬき（Uratanuki），粉絲名稱是「crew（船員）」。
閃電俠
閃電俠（英語：）由DC漫畫出版，是一個繼承過四代的超級英雄，由加德纳·福克斯和哈里·兰伯特首創，第一代的閃電俠在1940年的閃電俠漫畫第一期首次出現。

人稱“紅衣跑者”的閃電俠擁有快速步行、快速跑步、超越所有的物理定律等的能力，至今，閃電俠經過了時間的交替，在DC漫画史中曾有多位角色曾使用过闪电侠这一称号。一般被人熟知的闪电侠是在1956年10月《陈列橱 #4》中登场的貝瑞·艾伦。他曾带动了整个北美漫画的白银时代。在2011年以后发行的新52系列里只有巴里·艾伦担任过闪电侠；该系列中初代闪电侠杰伊·加里克则被修改成地球二（平行世界）的闪电侠并且重获青春不再以老人形象出现；第三代闪电侠沃利·韦斯特在该系列曾短暂接任巴里·艾伦的位子，但是他并没有用过闪电侠的称号；第四代闪电侠巴特·艾伦在2007年就不再担任闪电侠。而是以以前的身份闪电小子身份拯救世界。

巴特·艾伦
巴塞洛缪·亨利·“巴特”·艾伦二世（英語：）是DC漫画宇宙中的一名超级英雄。艾伦首次亮相时作为超级英雄脉冲，在成为第二名闪电小子之前，脉冲是闪电侠的青年副手。该角色最初在1994年《闪电侠》#91中客串出场，在第92期中正式亮相，之后在《脉冲》（英語：，1995年～2002年）和《闪电侠：现世跑得最快的人》（英語：，2006年～2007年）担任主要角色。在后者中，该角色成为担任闪电侠身份的第四名英雄。巴特在《少年正义联盟》和《少年泰坦》这两个英雄战队的漫画书里也是重要的主角之一。作为闪电侠，巴特在的十期《美国正义联盟》中担任核心角色。
卡羅琳·肯尼迪
卡羅琳·布维尔·肯尼迪（英語：，1957年11月27日—），美国律師、外交官，曾任美國駐澳洲大使（第27任）、美國駐日本大使（第29任），第35任美国总统約翰·肯尼迪的女兒，也是肯尼迪总统夫婦四名子女中唯一在世者。

约翰·肯尼迪
约翰·菲茨杰拉德·肯尼迪（英語：，1917年5月29日—1963年11月22日），縮寫JFK，是第35任美国总统。1963年11月22日，肯尼迪總統在德州達拉斯遭人行刺，成为第四位遇刺身亡的美国总统。肯尼迪的死自此改變了美国政壇的发展方向，被视为影响美国历史的關鍵轉捩點。

第二次世界大战期间，刚从哈佛大学毕业的肯尼迪加入美国海军，后因英勇表现获颁紫心勋章。1946年至1960年期间先后推任美国众议院和美国参议员组别。1960年当选美国总统，成为美國首位信奉天主教的總統。任内的主要事件包括：與聯邦儲備券變革相關的第11110號行政命令、猪湾事件、古巴导弹危机、柏林圍牆的建立、太空競賽、越南战争以及非裔美國人民權運動。
九蟠山山脉
九蟠山山脉是云南省石林彝族自治县和弥勒市的一座山脉，位于石林县中部，长约60千米。因山势蜿蜒似龙，九起九伏而得名。山脉北起石林街道的天生关，纵贯县南北进入弥勒市，称为弥勒西山。九蟠山山脉将石林县划为东西两个部分，以西为巴江盆地，地势平缓，因位于盆地以东，也称东山；以东是圭山地区，是石林县的山区。主峰是山脉南段的文笔山，彝名阿子龙坡，海拔2,204米，清代建有一座石塔（文笔塔）。山脉地处喀斯特地区，有石林、溶洞等景观，地下水资源丰富。

老圭山山脉
老圭山山脉又称圭山山脉，是云南省昆明市、曲靖市、红河哈尼族彝族自治州的一座山脉，全长200千米，主要位于石林彝族自治县，最高峰是海拔2,601米的主峰老圭山，也是石林县的最高点。主峰由于看似一只巨大的海龟而被称为“龟山”，后改成圭山；老圭山的彝语名意为“大雁山”，因远看似大雁而得名。山脉东部因受普拉河切割，海拔1,600米，形成相对低洼的谷地，北部起伏平缓，土层肥厚开阔。明代山上建有土司城堡，清代建起佛教圭山寺，是附近各县居民朝拜的圣地。

2000年12月28日，中华人民共和国林业局审核批准主峰老圭山建立圭山国家森林公园，面积3,206亩。
一九八五
《一九八五》是乔治·奥威尔的小说《一九八四》的续作。作者是匈牙利作家道洛什·久尔吉，最初出版于1983年。

小说中的故事发生在一个中间时期，处于1984年之后，一个极权主义逐渐衰落的、乐观的未来到来之前。小说情节始于老大哥之死，反映了随之而来的权力斗争，以及大洋国空军即将被欧亚国摧毁的命运。

一九八四
《一九八四》（英語：），是英國作家喬治·歐威爾所創作的一部反乌托邦小說，出版於1949年。它重點探討党和政府權力過分伸張、推行極權主義、實施壓抑性統治的后果。故事發生的時間設於1984年——為當時作者對未來的虛構想像。在其構想中，世界大部分地區都陷入了一場永久的戰爭、政府監控無處不在、資料記錄中滿是歷史否定主義及政治宣傳。其為反烏托邦小說類三部代表作之一（另外两部是《我們》和《美麗新世界》）。

在小說中，英國（第一空降场）成了超級大國大洋国的一个省，整個國家由黨所支配，它僱用了思想警察去迫害個人以及個人思考。老大哥是黨的領導人，喜歡強烈的個人崇拜，但他可能根本不存在。小說的主角温斯顿·史密斯，是一名外围党员，他在真理部（新語稱为真部）工作，真理部負責宣傳和修改歷史，他的工作是重新編寫过去的报紙，好讓歷史記錄一如既往地支持政黨的發展路線。真理部的工作者會視此行為為糾正錯誤，儘管他們實際上是以虛假的資訊取代真相。該部的大部分工作者也積極地銷毀沒經修訂的所有文件；這樣一來，就沒有證據證明政府干擾歷史記錄。温斯顿是一個勤勞且精巧的工人，但暗地裡憎恨黨並且夢想着反叛老大哥。温斯顿通過與小說部的工作者茱莉亞保持性關係來逐渐开始他的反叛行為。

《一九八四》是一本經典的政治讽喻和反烏托邦科幻小说。自1949年出版以來，它的許多用語和概念在英語中已被普遍使用，例如老大哥、雙重思想、犯罪思想、新話、101室、電幕、2+2=5、忘怀洞。《一九八四》令形容詞「奧威爾式的」（Orwellian）普及，它是用於形容官方欺騙、秘密監視並且修改歷史的極權主義或獨裁狀態。在2005年，本書被時代雜誌評為1923年至2005年最好的100本英文小說之一，还在1998年被列入20世紀百大英文小說（讀者票選：第6位；編輯小組：第13位）。2003年，《一九八四》在BBC的書籍票選活動大閱讀中獲得第8位。還在1956年、1984年改編成電影上映。
Caml
Caml（英語：：範疇抽象機語言），是一種函數式、指令式的程式語言。最早由法國的INRIA和ENS联合的Formel项目發展出來，是ML语言的两种方言之一，現在主要由INRIA負責維護與發展。Caml是一种语言规范；它早期有过几个实现，目前除了仍然活跃的OCaml，发布于2002年的Caml Light是Caml的另一个实现。

ML语言
ML（Meta Language：元语言），是一个函数式、指令式的通用的编程语言，它著称于使用了多态的Hindley–Milner类型推论。ML能自动的指定多数表达式的类型，不要求显式的类型标注，而且能够确保类型安全，已经正式证明了有良好类型的ML程序不会导致运行时间类型错误。

ML提供了对函数实际参数的模式匹配、垃圾回收、指令式编程、传值调用和柯里化。它被大量的用于编程语言研究之中，并且是全面规定了的和使用形式语义验证了的少数语言之一。它的类型和模式匹配使得它非常适合并且经常用于在其他形式语言上进行操作，比如在编译器构造、自动化定理证明和形式验证中。
新機動戰記GUNDAM W
《新机动战记GUNDAM W》（日語：，），是一部由日昇制作的日本机甲动画电视连续剧，是高达系列动画的第六部电视剧作品。本剧由池田成执导，隅泽克之统筹剧本，故事发生在“后殖民地纪元”世界中。与高达初始系列一样，《高达W》的剧情围绕着地球与其在地月系統中的轨道殖民地之间的未来（特别是在后殖民地历195年）展开的战争。

本剧在日本地面电视台朝日电视台上播出。首播始于1995年4月7日，到1996年3月29日结束，共播出49集。本剧之后有多部漫画改编以及動畫游戏衍生作品，其中包括了四集原創動畫錄影帶《无尽的华尔兹》是为本剧的续集。2010年，编剧隅泽克之开始创作轻小说《冰结的泪滴》作为该剧的另一部续集。本剧在日本获得了很多女性爱好者的支持，而在美国更是取得了巨大的成功，并由此在西方世界推广了高达系列作品。

新機動戰記GUNDAM W 無盡的華爾茲
《新機動戰記GUNDAM W 無盡的華爾茲》（日語：）是1997年發售的日本OVA作品，共三集，後來剪輯成動畫電影《新機動戰記GUNDAM W 無盡的華爾茲 特別篇》於1998年8月1日上映。故事承接《新機動戰記GUNDAM W》的劇情。
海東郡
海東郡為過去位於日本愛知縣西部的郡，已於1913年與海西郡合併為海部郡。

在1878年實施郡區町村編制法時的轄區包括現在的名古屋市中川區、港區的西半部地區、津島市的全部地區、愛西市的東部部分地區、清須市的南部部分地區、彌富市的東北部小部分地區、海部市的全部地區、大治町的全部地區、蟹江町的全部地區。

海西郡 (愛知縣)
海西郡為過去位於日本愛知縣西部的郡，已於1913年與海東郡合併為海部郡。

在1878年實施郡區町村編制法時的轄區包括現在的愛西市的大部分地區、彌富市的大部分地區、飛島村的全部地區，以及岐阜縣海津市東部的小部分河川地。
澳門君悅酒店
澳門君悅酒店（）位於澳門路氹連貫公路北面入口處，是新濠天地項目內其中一座酒店，於2009年9月29日開幕，但客房部分則於2009年11月1日才開放入住。澳門君悅酒店主要的服務對象是休閒及商務之旅客，酒店的獨特雙子主塔，為新濠天地提供791間客房和套房。

新濠天地
新濠天地（英語：）是澳門新濠博亞娛樂有限公司的博彩旗艦計劃，位處澳門路氹城金光大道區域，毗鄰澳門科技大學、永利皇宮及美獅美高梅，項目第一期於2009年6月1日在澳門路氹城開幕，內設娛樂設施、酒店、餐廳、購物商場及娛樂場等多元化設施。
伊川县
34°25′17.30″N 112°25′32.27″E﻿ / ﻿34.4214722°N 112.4256306°E﻿ / 34.4214722; 112.4256306

伊川县位于中国河南省中西部，是洛阳市南部下辖的一个县。辖境东南与汝州市、汝阳县接壤，南与嵩县毗邻，西与宜阳县交界，北与洛龙区、偃师区相邻，东与登封市相连。縣人民政府駐城關街道。

汝阳县
34°09′12″N 112°27′55″E﻿ / ﻿34.153336°N 112.465204°E﻿ / 34.153336; 112.465204

汝阳县，原称伊阳县，位于中国河南省中西部，是洛阳市东南部下辖的一个县。2003年人口43万人，其中农业人口37万人，非农业人口6万人。
费森尤斯
费森尤斯欧洲股份两合公司（德語：）是德国一家医疗技术公司，总部位于黑森州巴特洪堡。该公司是《财富》杂志评出的世界500强之一，也是德国最大的制药厂和私立医院运营商，于2007年7月13日正式建制为欧洲股份公司，并于2009年3月23日成为德国DAX指数的成分公司。此外，费森尤斯还持有透析企业费森尤斯医疗的多数股权。

费森尤斯医疗
费森尤斯医疗服务股份两合公司（德語：），简称费森尤斯医疗，是一家德国透析设备及透析服务供应商，产品主要用于救助慢性或急性肾功能衰竭。该公司是费森尤斯集团的子公司，后者持有费森尤斯医疗36%的股票，并拥有过半数表决权。自1999年9月20日起费森尤斯医疗成为德国DAX指数的成分公司。

该公司提供的血液透析和腹膜透析产品，例如血液透析机、透析器及相关的一次性产品和解决方案在全球范围内被广泛应用。
2010年冬季奥林匹克运动会
第二十一屆冬季奧林匹克運動會（英語：，法語：），一般稱為溫哥華，於2010年2月12日至28日間在加拿大卑詩省溫哥華舉行，而部分項目則會於鄰近的威士拿舉行。此屆奧運會是繼1976年蒙特利爾夏季奧運會和1988年卡加利冬季奧運會後，加拿大第三次舉辦的奧運會，亦是不列颠哥伦比亚省首次舉辦的奧運會。

最終，東道主加拿大憑冰球、冰壺、雪車等項目反超挪威，以14金7銀5銅完成賽事，除了成功登上獎牌榜首位外，也成為了歷屆冬季奧運中成績最傑出的主辦國，德國和美國則排名次位和第三。加拿大同時也是歷屆冬季奧運中取得最多金牌的國家，打破了前蘇聯在1976年創下的13金以及挪威在2002年同樣創下的13金紀錄，另外也一掃1976年蒙特利爾夏季奧運會和1988年卡加利冬季奧運會身為東道主卻未能夺得金牌的窘境。

1988年冬季奥林匹克运动会
1988冬季奥林匹克运动会，即第十五届冬季奥林匹克运动会（英語：，法語：），于2月13日至2月28日在加拿大阿尔伯塔省的卡尔加里举办，由加拿大总督让娜·索韦揭开序幕。这届奥运会在经济上非常成功，它带来了几百万加元的盈利。这次奥运会也为长时间影响了卡尔加里，为这座城市展开了新的篇章。共有57个国家、地区参加了这届运动会。本届冬奥会的吉祥物为两只小熊。
1988年的冬季残奥会也是最后一次在不同城市举行的一届，之后的各届的残奥会都在相同或临近城市举行。但直到2010年由同一國家的溫哥華冬季帕拉林匹克運動會起才確定奧運會與帕運會會相同城市。
滄龍屬
滄龍屬（學名：Mosasaurus ），簡稱滄龍，是一種巨型海洋蜥蜴，是白堊紀末期海洋中的頂級掠食者，也是整個中生代中最晚進化出的海洋爬行動物之一。滄龍屬在全球淺海中均有分佈，牠們和滄龍超科、非鳥恐龍、菊石、翼龍一同在白堊紀末滅絕事件中徹底滅絕。

拉丁文學名的含義為「默茲河的蜥蜴」，因為滄龍的化石於18世紀在荷蘭的馬斯垂克市被發現，因此城市旁有默茲河而得名。滄龍屬也是人類發現的第一個史前爬行動物，時間比發現第一個恐龍化石還要早。目前其化石於西歐發現較多，主要集中於荷兰、比利时、法国等默茲河附近，在北美海道也能發現。以地質年代來看的話，多發於在白堊紀的最後2000萬年期間的土侖階到馬斯垂克階，在7000萬至6500萬年前的馬斯垂克階中化石數量最多。

滄龍屬是滄龍超科中最大型化、最知名、發現最早、化石證據也是最多的一屬，其中的模式种——霍夫曼沧龙体长為13～15米，滄龍屬和海王龙屬以及傾齒龍屬齊名為白堊紀最大的海洋肉食動物，滄龍屬的物種們擁有比例細長但尖銳的頜、更加強健的胸部肌肉、較小的鰭狀肢、鯊魚尾鰭、以及粗壯的身材。雖然滄龍屬擁有二重關節的下顎，但縫合線卻已經閉合，無法像早中期滄龍類一樣大幅度張開下顎關節並對獵物進行丸吞。其軀幹的骨骼和移動方式都接近早期的魚龍，甚至蛇類，變得流線型且適合游泳，大幅度遠離了原本蜥蜴狀的身體。

海王龍屬
海王龍屬（屬名：Tylosaurus）又名瘤龍、節龍，意為「鼻部呈球状的蜥蜴」，是一種已灭绝的擁有活動關節下顎的大型海洋爬行动物，屬於晚白堊紀晚期西部內陸海道中的頂級掠食動物。海王龍演化出圓筒狀的前上頜骨和雙鉸鏈狀的牙槽，既可用來撞擊、打昏獵物，也可用在物種內打鬥。海王龍在阿拉巴馬州的Eutaw組與Mooreville的白堊層中偏好淺海環境，但在美國西部的尼奧布拉拉白堊層中則能适应深海。

船首海王龍（T. proriger）為海王龍屬的模式種，海王龍自身可長到約14公尺或更長，與傾齒龍屬、滄龍屬並列為最大的滄龍類。作為較早大型化的滄龍類，海王龍的鯊魚狀尾鰭和魚形身體較為不明顯，身軀和滄龍屬相比保留著更多的蜥蜴特徵。海王龍的鰭狀肢大且身體豐滿，呈現鮪魚型，具有活動關節化的下顎骨，能像蛇一樣丸吞這個獵物，這項能力是較晚期的滄龍超科所沒有的，顯示出牠們的生活習慣更加接近於現代的巨蜥和蛇，可動式下顎骨還讓海王龍胃部中發現了眾多完整的動物化石，例如蛇頸龍類、鯊魚、魚類、菊石與其他小型滄龍類，這對於研究海王龍及當時海洋的生態具有正面意義。
彰化商業銀行
彰化商業銀行（英語：），簡稱彰化銀行（）、彰銀（），為台灣大型商业银行之一，由日治時期中部仕紳於1905年6月5日創立，為三商銀之一，因總行初設於彰化而得名，地點位於現今彰化銀行彰化分行位置，但由於臺中發展迅速，逐漸取代彰化在中臺灣的影響力，故營業部成立5年後即遷往臺中至今。彰化銀行同時為台灣「八大行庫」之一。

由於在2000年代第二次金融改革中引入民間資本救援，使台新金控取得最大單一股權，但隨後逐漸產生官民股爭奪經營權，直至2022年8月與財政部達成台新金降低股份佔比共識，泛公股拉高佔比至38.33%，2023年6月16日由泛公股足額取得董事席次而讓經營權之爭落幕。

台新彰銀案
彰化銀行經營權問題，俗稱台新彰銀案，為台灣發生於2005年二次金改的金融增資的事件。經歷本土金融風暴，彰化銀行累積許多呆帳，財政部決議以招標發行特別股的方式引進策略投資人救援彰銀，並由台新金控以新台幣365億，溢價114億取得彰銀22.5％股權，成為彰銀單一最大股東，拿下經營權。

第二次政黨輪替後，2014年，馬英九政府的財政部長張盛和宣稱不再支持台新金掌握彰銀經營權，於是和泛公股事業聯手加碼買進彰銀股份，並委託券商徵求委託書，最後讓台新金失去經營權。台新金於失去經營權後向法院提出確認財政部和台新金要約存在之民事官司，2017年5月17日，二審宣判結果出爐，台灣高等法院宣判台新金勝訴，代表財政部應支持台新金取得過半數的彰銀董事席次。2020年8月20日，更一審（二審），高等法院再次宣判台新勝訴，判決財政部應依約支持台新金取得彰銀經營權。

2020年6月18日，彰銀股東會進行改選，台新金取得3席獨董，公股陣營取得4席一般董事、1席自然人董事。 同年8月蘇貞昌首次公開談論彰銀案，並指示要讓台新金不吃虧退場。
香港駐美總經貿專員
香港駐美國總經濟貿易專員（英語：），簡稱駐美總經貿專員（），設於1993年5月，在擬設階段時的中文官銜為香港駐華盛頓經濟及貿易事務公使。駐美總經貿專員為香港特別行政區政府駐美国的最高官方代表，負責香港與美國關係，並監督香港駐華盛頓、駐紐約及駐三藩市經濟貿易辦事處的工作。

香港駐華盛頓經濟貿易辦事處
香港駐華盛頓經濟貿易辦事處（英語：，縮寫：），簡稱香港駐華盛頓經貿辦，駐華盛頓貿辦或駐華盛頓辦，中華人民共和國香港特別行政區政府在美國華盛頓哥倫比亞特區設立代表處。

它是香港特別行政區政府在美國設立的三個代表處之一，成立於1987年，管轄美國華盛頓哥倫比亞特區。辦事處位於華盛頓哥倫比亞特區西北區18街1520號。

辦事處促進與香港的雙邊貿易和投資，向商界和促進機構通報香港的重要發展。它亦會在有關國家的組織舉辦官方訪問，研討會和聯絡活動，並作為支持上述國家投資者在香港和中國大陸尋找商機的樞紐。 辦事處推動美國與香港在經貿、投資、旅遊、文化交流等各領域的相互合作。 它還幫助美國企業在香港投資和開展業務。美國其他地區由香港駐紐約經濟貿易辦事處和香港駐三藩市經濟貿易辦事處管轄。
耿舒
耿舒（?—?），扶風茂陵人。東漢初年軍事人物。耿氏一門舉家為國，襄助劉秀，其父上谷太守、隃麋侯耿況，兄建威大將軍、好畤侯耿弇均在東漢統一戰爭中立下功勞，被封爲列侯，而耿舒協助父親駐守上谷，曾擊破過匈奴部隊，也被封爲牟平侯。天下平定后，耿舒又隨伏波將軍馬援征伐武陵蠻夷，途中反對馬援的進軍路綫，但未被采納，結果大軍受暑氣困擾，馬援也病死軍中。

耿弇
耿弇（）（3年—58年），字伯昭，扶風茂陵人，上谷太守耿況之子。东汉名将、军事家。耿弇勸説父親耿況支持劉秀，協助劉秀獲得上谷、漁陽等地的精兵突騎，轉戰各地，22岁便被光武帝封为大将军，后受命率兵東征，以圍城打援、聲東擊西、以逸待勞等計策擊破張步，一舉平定齊地。耿弇一生征戰，“平郡四十六，屠城三百，未嘗挫折”，是漢光武帝平定天下的功臣，為雲台二十八将的第四位。
四边拱廊
四边拱廊（希臘語：；英語：），也被音譯成派力斯塔西斯建築，在古希臘圍柱式建築（peripteros）神廟之中是走廊或是門廳四邊的圓柱圍繞著這內殿（Naos or Cella）的一種格局配置。這乃是讓祭司能夠在祭祀儀禮的列隊行進中環繞通過內殿（沿著這翼廊〔pteron〕，或稱為飛柱廊）。假使這樣的圓柱大廳圍繞著庭院（patio）或是花園，其則被稱之為列柱中庭而不是四边拱廊。在教會的建築裡，祂也能使用在該教區的一座天主教教堂的欄杆和高的聖壇之間（通常所謂的聖所或高壇、聖壇所）。

古希臘神廟
希臘神廟（古希臘語：，，“居所”；語義有別於拉丁文以及英文“temple”（“神廟、寺廟、廟宇”），也名為希臘神殿。在古希臘宗教中的希臘聖所內是為安座眾神神像的神聖建築結構。神廟內部不是做為集會的空間，因為奉獻給諸尊神明的供奉與儀式是在神廟外面舉行得。神廟常常必須使用到祈願奉獻物。在希臘建築中祂們是具有很重要的地位以及很廣泛普及的建築形式。此外西亞以及北非在希臘化時代中的王國，一座神廟搭建完成的宗教意向通常是為了延續遵循著當地的文化傳統。甚至連在當地的一個希臘人所受到當地文化的影響力也是明顯可見得，像這樣的建築結構一般認為是與希臘神廟分屬不同的建築系統。這些不同於希臘神廟建築採納的典範方面，譬如說，關於希臘─帕提亞以及巴克特里亞的神廟即是，或是關於埃及托勒密時代的神廟之典範，埃及托勒密時代的神廟祂是遵循古埃及宗教的傳統。還有一個重點是很多傳統的希臘神廟方位都是朝向著東方的天象。
富智康集團
富智康集團有限公司（英語：，簡稱富智康集團或富智康），前身為「富士康國際控股有限公司」（英語：，港交所：2038），是鴻海集團旗下子公司，香港上市公司，主營業務為蘋果手機外安卓系統手機代工，客戶包括有HMD Global、华为、華碩、联想、OPPO、錘子手機、魅族、中興通訊，小米以及其他大量知名中國大陸的本土手機企業。富智康除了夏普、富可視兩個智慧型手機自有品牌之外，2016年更向微軟買下諾基亞功能機業務，並在翌年年底和HMD Global合作推出諾基亞Android手機。

富智康集团有限公司(FIH)是富士康科技集团旗下从事无线通信产品研发设计、手机零组件加工制造与精密模具生产之事业单位。 2002年4月成立于深圳，2005年2月在香港挂牌上市，现有员工六万余名。因其名與富士康相似，常被混淆，然其僅為鴻海集團旗下負責手機事業的子公司，有鴻海小金雞之稱。

鴻海科技集團
鴻海科技集團（英語：）是源自臺灣的跨國企業集團，1974年創辦，以富士康（）做為商標名稱。其專注於電子產品的代工服務（EMS），研發生產精密電氣元件、機殼、準系統、系統組裝、光通訊元件、液晶顯示件等3C產品上、下游產品及服務。
第二次结集
七百結集，也通稱為毘舍離結集、毘舍離集結、第二次結集、第二次集結，佛教術語，“結集”或“集結”是指僧伽集會合誦經典。釋迦文佛佛滅百年後，因毘舍離比丘行十事（大眾部記載為「求乞金錢」一事），耶舍长老發起，七百阿羅漢比丘在毗舍离进行结集，進行羯磨表決其為非法，以保持戒律的嚴格執行。

结集
結集（梵文：），是释迦牟尼佛涅槃後諸弟子集會，為防止異見邪說，誦出佛說之法，結合集成大小乘經典。又作集結、集法、集法藏、結經、經典結集，亦稱為合誦或會誦。早期的佛教沒有書面和文字經典，僧眾以口頭傳誦方式傳承佛陀的教法。結集是指佛教僧團進行集會，由上座比丘主持，與會三藏比丘分別誦出佛的教法，由大眾對內容共同審定，再編成次第。不同的佛教宗派所共同承認的有二或三次的結集；經過多次結集，最终形成了現在經文的文字記錄。
珍妮特·耶倫
珍妮特·路易丝·耶倫（英語：，1946年8月13日—），美国犹太裔經濟學家，曾任第78任美国财政部长，以及美國联邦储备委员会主席。美国加州大学伯克利分校经济学教授、哈斯商學院教授。生於美國紐約州布魯克林。任職美國聯儲局副主席前，耶倫曾擔任三藩市聯邦儲備銀行的總裁兼首席執行官，以及總統比爾·克林頓提名出任第十八任美國總統經濟顧問委員會主席。2013年10月9日，總統奧巴馬提名耶倫接替伯南克出任联邦储备委员会主席，2014年2月3日就職，成為聯儲局成立一百年來首位女性主席。2020年12月，总统乔·拜登在就任前宣布提名耶伦担任新一任财政部长，並於2021年1月25日就任，她是美國歷史上首位女性財政部長。。

本·伯南克
本·沙洛姆·伯南克（英語：，/bərˈnæŋki/ bər-NANG-kee，1953年12月13日—），美国猶太裔经济学家、諾貝爾經濟學獎得主，曾任美國聯邦準備理事會主席。2015年4月，成為全球最大固定收益投資公司PIMCO高級顧問，同月亦就任城堡對冲基金高級顧問一職。
台語現代文
台語現代文（，簡稱：MLT，台羅拼音：Tâi-gí Hiān-tāi-bûn，閩南拼音：Dáiggî Hiândái Bbún）是一套將台語口語拉丁化的書寫系統。與其共同發展的台語現代拼字（，簡稱：TMSS）是一套台灣閩南語的正寫法。台灣日治時期，發明者林繼雄因受到日籍老師譏諷台灣沒有口語文體，遂與其同學以白話字為基礎拼寫法，改良為台語現代拼字。其聲調架構幾乎完全由拉丁字母來表示，不用額外的下標符號、上標符號等變音符號，作法類似於國語羅馬字。

閩南語聲調有8個（台語主流腔調第6聲調同第7聲調，即陽上同陽去，形成陽上、陽去不分之特性），當兩個音節結合（合字）時，不論後字（後音節）條件如何，前字（前音節）幾乎都得變調，而除了一些重覆尾調等特性外後字基本上维持原调。由於當時主流的白話字使用的調符反映的是「調類」而非「調型」，閱讀者若不熟悉變調規則，容易將應變調的音節讀為本調；台語現代拼字的發展者們對於白話字標寫調類的寫法不以為然。所以台語現代拼字法一般合字拼寫時均以拉丁字母來標記前字變調之語尾，並且前後音節合字以連寫來表示。

MLT一般合字拼寫時均以拉丁字母來標記前字變調之語尾，而基本調型全都採用拉丁字母來表示，並且前後音節合字以連寫來表示，以致見到文字即知是否變調且可快速的反推原調，如此對於形成全以拉丁字母來拼寫台文是一大進步。試舉一例說明："Aix suie mxkviaf laau phvixzuie."（愛媠 毋驚流鼻水。；（女孩子）愛漂亮，就算天冷也不怕穿得少。）中之mxkviaf（毋驚）與phvixzuie（鼻水）均為合調字。

台語現代文以變調之規則行合音節的字詞法，不但使台語拉丁拼字簡縮外，亦適合使台文能以全拉丁字母來書寫。

台語現代文和台語現代拼字常合稱為台語現代拼字文（MLT/TMSS或），但台語現代文不一定以台語現代拼字寫成，仍使用漢字的稱為台語現代音漢混合文。林繼雄博士還有一個拼寫客語的方案，稱為客家話現代拼字（Hakka Modern Spelling System，簡稱HMSS）。普實台文（PSDB）是以台語現代文為基礎的另類方案。而"簡式台語現代文"（SMLT）為"台語現代文基金會"（MLTF）對台語現代文（MLT）所作的改進版。

閩南話拼音方案
閩南話拼音方案是中華人民共和國一套將閩南地區之闽南语口语拉丁化的标音系統。该系统基於廈門话口音制定，同时制定了泉州话版本和漳州话版本。而另稱「普閩典方案」是來自於1982年10月廈門大學主編的「普通話閩南方言詞典」一書。閩南話拼音方案亦被稱「闽南话注音方案」。
雷姆音樂節大屠殺
2023年10月7日，在哈馬斯襲擊以色列之初，从加沙地带潜入以色列的哈马斯武裝分子對在雷姆基布兹附近参加音乐节的平民發動大屠殺。有364人遭到哈馬斯成員屠殺，多人身受重傷。在2023年10月7日的袭击中，哈马斯和其他巴勒斯坦武装组织共绑架了251名以色列人质。截至2025年1月，已有116名人质获释或被确认死亡。这意味着仍有约135名以色列人质处于哈马斯控制之下。人质的详细下落和状况尚未公开。

这是以色列历史上最大规模的恐怖袭击，是哈马斯「阿克薩洪水行動」的一部分，附近的貝埃里、卡法阿扎等社区也遭到恐怖袭击，引发了2023年以色列—哈马斯战争。

貝埃里大屠殺
2023年10月7日，約70名哈馬斯恐怖分子對位於加沙地帶邊緣外圍的貝埃里基布茲發動恐怖襲擊。這次恐怖襲擊造成至少100名受害者被屠殺，其中包括婦女、兒童和嬰兒。此外，數十棟住宅也被焚毀。這一事件伴隨著一系列恐怖襲擊，同時在多個加沙地帶附近的以色列社區發生。多家報紙將這次大屠殺描述為恐怖主義行為。

多名貝埃里居民被哈馬斯恐怖分子綁架，以色列國防軍與之對峙
茶走
茶走是香港茶餐廳的一種飲品，屬於港式奶茶的一種變化，衍生自香港原有的絲襪奶茶。「茶走」的意思是「走奶」，是指使用煉奶取代淡奶和砂糖的奶茶。大部份茶走仍有淡奶這種成份，其味道會比一般的港式奶茶更加濃郁和甜滑，因為煉奶本身帶有濃厚的奶香和甜味。

「茶走」的名稱源於粵語中的「走」字，表示「去掉」或「不加某種東西」。但在這裡的意思是去掉原有的奶茶配方中的淡奶，改用煉奶代替。這種命名方式反映了茶餐廳文化的一大特色——簡潔直接卻充滿創意，方便顧客與店員快速溝通。香港的飲食文化因為中西融合而發展出獨特的風味，而「茶走」正是這種融合的體現之一。它以英式奶茶為基礎，經過港式改良，加入了煉奶這種帶有濃厚甜味的配料，使其成為一款地道的港式飲品。

港式奶茶
絲襪奶茶又稱港式奶茶，是具有香港特色的一種奶茶，是香港人日常早餐和下午茶時常見的飲品，已成為香港非物質文化遺產。基本上，在茶餐廳供應的奶茶都是用「絲襪奶茶」的方式泡制，所以準確點來說是早午晚餐也可以看到奶茶的身影。特色是茶的濃度與奶的香味平衡得恰到好處，通常會加入蒸煮過的淡奶或全脂奶，讓味道更加醇厚。它是香港茶餐廳中日常必見的飲品，尤其在早餐和下午茶時段，許多香港人習慣搭配西多士或菠蘿包來享用。
金性洙
金性洙（韓語：，1891年10月11日—1955年2月18日），字判錫（판석），號仁村（인촌），出生於朝鮮全羅北道高敞郡富安面仁村里。本贯蔚山，日治时期的朝鲜半島实业家、独立运动家。大韓民国政治人物、教育家、新聞工作者。畢業於日本早稻田大学政治經濟學部。韓國東亞日報創立者之一，也是高丽大学和韩国民主党的建立者之一。1951年5月-1952年6月任第2任副總統。

他与同为留日学生的宋鎮禹、白南薰、許政、白宽洙、趙炳玉、尹潽善、張德秀等人亲密的关系，形成“金性洙系列”呼称的政治集团，得到奖学财团湖南学会（湖南財閥）的财政支援，韓國光复以后最具代表性的右翼政党韩民党成功创立，宋鎮禹、白宽洙、張德秀等担任韩民党的重要干部。

1945年12月27日的莫斯科三国外长会议的确定朝鲜信託統治方針，慎重派的宋鎮禹12月30日被暗殺後，金性洙担任韩民党总务。1951年5月，李承晚总统任命他担任副总统一职。当李承晚在1950年代成为独裁者时，金圣洙带头进行了争取民主的斗争，并于1955年去世。

南韓政府認為他與朝鮮總督府關係太親密，以此累積财富，2002年他被列为“亲日反民族行为真相调查委员会”所发表的亲日派708人名单之内，亦同时纳入“民族问题研究所”于2005年所整理的亲日派名单之内。

2011年11月20日，首尔行政法院对金性洙的曾孙对“亲日反民族行为真相调查委员会”将其曾祖父列为亲日派的无效诉讼予以否决，再次被韩国政府认定为反民族亲日派。

李承晚
李承晚（韓語：，羅馬化：Yi Seung-man，1875年3月26日—1965年7月19日），初名承龍（韓語：），號雩南（韓語：），韓國首任總統（1948年－1960年）、大韩民国临时政府首任总统（1919年－1925年），亦曾被推舉為朝鲜人民共和国首任国家主席（1945年－1946年，未就任）。

1875年出生在朝鮮國黃海道平山郡，曾就读于培材大学（时称培材学堂），1905年獲得美國喬治華盛頓大學政治學學士學位，1910年獲普林斯頓大學國際政治博士學位。1912年後流亡海外三十餘年，期間于1919年任大韓民國臨時政府國務總理，同年受任臨時政府總統，1921年赴美推動韓國獨立運動。1945年歸國任民主議院議長。1948年任大韓民國制憲國會議長，同年獲議會選為總統，在任期間韓戰爆發。1951年創立自由党，自任總裁。其後在1952年、1956年及1960年在被指選舉嚴重舞弊的情況下，連續三次當選總統。1960年因對「4·19學運」負責，他辭去總統職務並流亡美國夏威夷，1965年於檀香山逝世。
鬼滅之刃劇場版 無限城篇
《鬼滅之刃劇場版 無限城篇》（日語：），是改編自吾峠呼世晴著作漫畫系列《鬼滅之刃》的日本動畫電影系列，由近藤光擔任總導演，外崎春雄執導，ufotable負責製作、編劇。該片分成三章上映，《第一章 猗窩座再襲》（日語：）於2025年7月18日在日本上映。故事承接電視動畫系列第四季《柱訓練篇》。

鬼滅之刃 柱訓練篇
《鬼滅之刃 柱訓練篇》（日語：）是日本電視動畫《鬼滅之刃》的第四季，改編自漫畫家吾峠呼世晴創作的漫畫系列《鬼滅之刃》的第十五卷至第十六卷（第128話至第139話）的故事，由外崎春雄執導，ufotable製作。故事承接電視動畫第三季《刀匠村篇》，下啟動畫電影《無限城篇》。

2023年12月10日，釋出第四季《柱訓練篇》的預告的同時，宣佈2024年2月2日將以《刀匠村篇》第十一集和《柱訓練篇》第一集為《鬼滅之刃 絆之奇蹟，邁向柱訓練》特別上映版播出。

2024年3月9日，官方宣布《柱訓練篇》將於2024年5月12日正式播出，並且釋出正式預告片。
三山五嶽
三山五嶽一般是泛指中國境內的名山。“三山”一般指神话传说中的三神山：蓬莱、瀛洲、方丈，或实指天山、长白山、昆仑山，“五嶽”則是：泰山、恒山、華山、嵩山、衡山。

“三山五嶽”最早出於清朝诗人曹寅（曹雪芹祖父）所写的《舟中望惠山举酒调培山》：“三山五岳渺何许？云烟汗漫空竛竮。”而現在的“三山五嶽”一詞，可泛指在中國的眾多名山、群山或各地。

五岳
五嶽，是中国五大名山的总称，分別為东岳山東泰安的泰山、西岳陝西华阴的华山、中岳河南登封的嵩山、北岳山西浑源的恒山、南岳湖南衡阳的衡山，有些研究认为，「五岳」一詞来源于中国的五行思想与对山岳、山神的崇拜，传说盘古死后，头和四肢化为五岳。雖然五嶽不是中国海拔最高的山群，但由於高耸在平原上，故在古人眼中格外险峻，加上不少名人雅士的祭祀、作詩、修行或到訪，留下遗迹，因此大大增添了五嶽的聲譽。
枝川站 (日本)
枝川站（日语：／ Edagawa eki */?）是一位於日本高知縣吾川郡伊野町枝川、隸屬於四國旅客鐵道（JR四國）的鐵路車站。車站編號為K06。於1986年開設，作為高知市及附近市郊居民的通勤之，現時只停靠普通列車。

由旭站至伊野站為止的土讚線，與土佐電氣鐵道的伊野線並行，本站和位於東北方土佐電氣鐵道的枝川站相距不足100米。

伊野站
伊野站（日语：／ Ino eki */?）是一位於日本高知縣高岡郡伊野町、隸屬於四國旅客鐵道（JR四國）的鐵路車站。車站編號為K07，所有等級的列車均停靠。另外約四分一由高知開出的普通列車以本站為終站。

車站外是土佐電交通伊野線的終站伊野站前停留場，兩站間的步行時間約為3分鐘。伊野線同時亦有一個伊野停留場，但是卻位於本站以南約200米外。
四大公司 (三合會)
四大公司，簡稱「四大」或「聯幫」，是香港三合會幫派的聯盟組織。該聯盟於20世紀中期形成，成員主要包括「聯公樂（單耳）」、「聯英社（老聯）」、「同新和」、「同樂別墅」、「全一志」、「馬交仔」及「東聯社」等黑幫社團。四大公司在1950年代至2010年代期間活躍於香港、澳門及廣州等地，至2020年代，仍活躍的只餘「聯公樂（單耳）」及「聯英社」。

四大公司最初由四個幫會——「聯公樂（單耳）」、「聯英社」、「同字頭」及「全字頭」——組成，旨在於抗衡其他三大黑幫聯盟（包括14K、和字頭派系及潮州幫），維護自身利益。隨著時間推移，其他中小型幫會陸續加入該聯盟，儘管成員已超出原本的四個社團，但仍沿用「四大公司」之名。

四大公司的合作模式被形容為「搭打唔搭食」，意指各社團在面臨外部衝突或利益爭端時會共同出面支援，如同一個整體組織；然而在日常運作與利益分配上，成員幫會則保持獨立，不相互干涉。

14K
14K 是香港一個三合會犯罪組織。其起源可追溯至國民黨葛肇煌中將，他於1945年佔領了廣州洪門幫會「洪發山」的會址，並將其改組為國民黨的反共情報機構，命名為「洪發山忠義堂」。國共內戰後，該組織遷移至香港，並改名為「14K」，最終發展為一個國際犯罪組織。

「14K」、「新義安」及「和字頭派系」被稱為三大香港黑幫。
機動戰士GUNDAM SEED
《机动战士高达SEED》（日語：，英語：）是一部由日本日昇動畫制作，福田己津央导演，于2002年首次播出的日本动画。

作为第9部GUNDAM系列作品电视剧动画，《機動戰士鋼彈SEED》（下文简称〈SEED〉）首次将故事的舞台设置在一个名为“宇宙纪元（Cosmic Era）”的虚构未来纪年。在这个时代，人类已经发展成两个亚种：居住在地球上依靠自然孕育诞下的“自然人”；以及经过先天基因调整优化后诞下、为了逃避“自然人”迫害而移民到人造轨道殖民地的“调整者”。故事围绕一个年轻的“调整者”基拉·大和，因“调整者”入侵其生活的中立地区太空殖民地，被迫卷入两个种族之间的战争而展开。

本剧在日本于2002年至2003年间由东京广播系统和每日放送播出，并由此开始与GUNDAM系列作品的广播合作伙伴关系。本剧之后又推出三集汇编电影并被改编成漫画和轻小说。续集《机动战士高达SEED DESTINY》（下文简称〈SEED DESTINY〉）随后于2004年上映。《SEED》电视动画由万代娱乐在北美地区授权，在美国和加拿大分别于2004年和2005年播出。电影和续集也由万代授权。漫画、轻小说以及附属作品系列《機動戰士鋼彈SEED ASTRAY》、电子游戏等也被授权在北美等地发售。

作爲21世纪首部高达作品，本作的收视率與周边商品包括模型、CD唱片以及电子游戏的銷量，都在整個高達系列中名列前茅，並創下了繼UC紀元后GUNDAM系列的第二個人氣高峰。同時，本作不僅在日本國内中广受欢迎，在海外也有著長久不衰的高人氣；而在中國大陸本作亦是前幾受歡迎的高達作品。但與此同時，由于与以往的高达系列的相似之处而引起GUNDAM爱好者的对比和评判。

機動戰士GUNDAM SEED DESTINY
《机动战士高达SEED DESTINY》（日语：，MOBILE SUIT  SEED DESTINY）是一部由日本日昇動畫制作的电视动画连续剧，既是《机动战士高达SEED》（下文简称〈SEED〉或者‘前作’）的续集，也是高达系列第11部长篇动画连续剧。本剧保留大部分参与过《SEED》制作的工作人员，包括导演福田己津央。故事发生在《SEED》两年之后，主人公是一名新登场角色——扎夫特（ZAFT）军士兵真·飞鸟。作为一名出生前就经过基因改造的“调整者”，真·飞鸟随扎夫特军深入新的战争，與未经基因改造的“自然人”及前作各个回归角色在战争中的經歷。本剧首次播映一共50集，从2004年10月9日到2005年10月1日，在日本新闻网络电视台东京广播系统和每日放送电视台播出。

2005年12月，日昇動畫播出特别篇，尝试重构原本电视台播映时的最后一集剧情。由电视剧版主线剧情改编的4集特别篇也已经在日本等地区上映。《机动战士高达SEED DESTINY》（下文简称〈SEED DESTINY〉）也被改编成各种漫画和轻小说，分别由讲谈社和角川书店出版。万代娱乐被授权在北美地区发行《SEED DESTINY》DVD。本剧也曾在香港、臺灣及加拿大等地的电视台播出，同时还以DVD的形式发行名为《特别篇》的合集影片。北美地区由Del Rey漫画授权出版由本剧改编的漫画。版权方还发行各种相关产品，包括音乐CD和各种视频游戏。

《SEED DESTINY》在日本地区十分流行，已经售出超过100万张DVD和原声碟，並在2004年和2005年連續兩年獲票選為“Anime Grand Prix”獎項冠军。另一方面，围绕人物的结局，对《SEED DESTINY》的也有不少批评。

2023年7月2日，万代南梦宫正式公开了睽违20年的系列剧场版—《机动战士高达SEED FREEDOM》，并宣布将于2024年1月26日在日本公开上映。
北京交通大学威海校区
北京交通大学威海校区（英文名：Beijing Jiaotong University Weihai Campus）是北京交通大学“一校多区”的重要组成部分，位于山东省威海市文登区南海新区。校区成立于2015年。作为“一校多区”的组成部分，北京交通大学威海校区也进入了“211工程”、“双一流”建设名单之中。威海校区与北京交通大学本部和雄安校区的定位有所不同。北京交通大学把威海校区作为学校中外合作办学的主阵地，国际化师资队伍的培养实训基地，学校综合改革的试验区以及服务地方区域经济社会发展的示范区。

北京交通大学
北京交通大学（英語：，縮寫：），简称北京交大、北交大，原名北方交通大学，該校校本部座落在北京市海淀区西直门外上园村3号，是中国第一所专门培养管理人才的高等学校，是中国近代铁路管理、电信教育的发祥校之一。

北京交通大学是教育部直属、教育部、交通运输部、北京市人民政府和中国国家铁路集团有限公司共建的全国重点大学，“211工程”、“985工程优势学科创新平台”（小985）项目建设高校、国家首批“双一流”建设高校，首轮建设任务已顺利完成，“智慧交通”一流学科领域建设得到评审专家高度评价。牵头的“2011计划”“轨道交通安全协同创新中心”是国家首批14个认定的协同创新中心之一。校训为王阳明之“知行”。
原始递归函数
在可计算性理论中，原始递归函数（英語：）对计算的完全的形式化而言是形成重要构造板块的一类函数。它们使用递归和复合作为中心运算来定义，并且是递归函数的严格的子集，它们完全是可计算函数。通过补充允许偏函数和介入无界查找运算可以定义出递归函数的更广泛的类。

通常在数论中研究的很多函数，近似于实数值函数，比如加法、除法、阶乘、指数，找到第 n 个素数等等是原始递归的（Brainerd and Landweber, 1974）。实际上，很难设计不是原始递归的函数，尽管某些函数是已知的(比如阿克曼函数)。所以，通过研究它们，我们能发现有广泛影响的结论的那些性质。

原始递归函数可以用总是停机的图灵机计算，而递归函数需要图灵完全系统。

原始递归函数的集合在计算复杂性理论中叫做PR。

递归函数
在数理逻辑和计算机科学中，递归函数或μ-递归函数是一类从自然数到自然数的函数。直觉上递归函数是"可计算的"。事实上在可计算性理论中已经证明了它确实是图灵机的可计算函数。递归函数与原始递归函数相关，而且递归函数的归纳定义（见下）建立在原始递归函数之上。但不是所有递归函数都是原始递归函数——其中最著名的是阿克曼函数。

其他等价的函数类是λ-递归函数和马尔可夫算法可计算的函数。

所有递归函数的集合叫做R。