hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
越北
越北者（：／），韓國方面简称入北（：／）和脫南，是指從韓國越過三八線或經其他途徑進入朝鮮的韓國人，朝鮮官方一般以「義舉入北」（：／）稱之。除對政治體制有共鳴者（以宋斗律為代表）及早期受李承晚、朴正熙獨裁政權迫害的人士（以崔德新、崔泓熙等為代表）和上世紀大批投北軍人外，也包括因在韓國受到歧視、思念家人或不適應韩国社會等而決定回歸朝鮮的脫北者。

宋斗律
宋斗律（朝鲜语：，1944年—），哲學社會學學者。出生於日本東京，並在韓國光州接受教育。1967年移至西德，1982年始任教於明斯特大學。

由於嚮往北韓的制度，反對朴正熙的獨裁政權，1973年，宋斗律首訪北韓，後加入朝鮮勞動黨，並於1991年受金日成接見。據叛逃的北韓高官黃長燁披露，宋斗律以金哲洙（朝鲜语：）之名擔任朝鮮朝鮮勞動黨政治局候補委員。2003年，宋斗律返回韓國，隨即被首爾地方法院以違反《国家保安法》為由進行拘留起訴，並於翌年被判囚7年。及後，他向法院提出上訴，雖然刑期不變，但獲緩刑5年，當庭釋放，隨即於同年8月5日返回德國。
天橋驕子第四季
《天橋驕子》第四季是美國有線電視台「Bravo」頻道的服裝設計實境節目。節目於2007年11月14日首播。

該季的主持人仍為超級名模Heidi Klum，她並會聯同時裝設計師Michael Kors及《ELLE》時尚總監Nina Garcia擔任常座評審，而Tim Gunn仍為設計師的指導顧問。

而第四季一共有15位設計師爭取冠軍的頭銜，而獲勝設計師可獲得《ELLE》雜誌內頁特別專訪、「TRESemmé」贊助的10萬美元創業金、在「Bluefly」銷售其時裝產品以及一輛2008年「Saturn Astra」；而聯同勝出設計師獲勝的模特兒亦可獲得登上《ELLE》的雜誌內頁。

Elle
《Elle》是一份創始於法國的女性雜誌，「Elle」在法文解作「她」。雜誌聚焦於时尚、美容、健康、休闲等軟性議題。發行者為法國拉加代尔集团活力集團旗下的樺榭菲力柏契媒體，並以特許經營的方式在世界各國發行在地版，至今在60餘個国家发行50个版本。
軍事航空
軍事航空，是透過軍用航空器進行軍事行動的手段，包括透過國家的空運（貨物）能力，以運送部隊投入戰場，或提供前線的後勤支援。為進行這樣的空中戰爭，足夠的空中力量是必要的，包括運輸和作戰用飛機。有各種各樣的軍用航空器，包括轟炸機、戰鬥機、運輸機、電戰機、教練機和偵察機。這些不同類型的飛機可以用於完成各種軍事目標。

各國軍隊的空軍為負責軍事航空的軍種，而部分國家的陸軍航空兵或海軍航空兵亦有分擔此一機能。

战斗机
戰鬥機（英語：）是一種空對空戰鬥用的軍用飛機，主要用以對抗敵方的航空器，攻擊空中目標，奪取、維護戰場上的制空權，故其設計著重於提升機動力與運動性能。戰鬥機通常也被視為一個國家最重要的空中戰力，亦是歷來最複雜和精密的單人用武器。

史上第一款名義上的戰鬥機是1913年法國的莫蘭-索尼耶L單翼機。法國人率先實現了在螺旋槳上安裝鋼鐵製子彈偏導片，使機槍子彈不會擊中螺旋槳。這個系統讓飛行員可專​​心駕駛飛機並進行射擊，同時也無須額外配置機槍手，但會使機槍的射速變慢。

蘇聯將對抗空中目標的飛機稱為「殲滅用航空器」（俄語：），並且最終將戰鬥機稱為「殲滅者」（俄語：，殲滅者為字面意義，相對於英文fighter字面意義為戰鬥者）。由此也可以把戰鬥機稱為殲擊機。

另外為對應空中轟炸和空中偵查的發展，戰鬥機還發展出一個分支：攔截機（Interceptor）。攔截機的用途是在敵方轟炸機（bomber）和偵察機（reconnaissance aircraft）進入己方空域前，以其速度和爬升能力爭取時間及高度優勢並將其摧毀。由於攔截機是針對飛行高度較高的轟炸機與偵察機，在設計上以爬升率和飛行速度為優先。二次大戰後，有鑑於原子彈的威脅，許多國家一度將攔截機視為與一般戰鬥機同等重要的機種。不過由於空對空飛彈科技的成熟和戰鬥機技術的發展，攔截機的功能已可通過配備飛彈的空優戰機以及多用途戰機來滿足，不再發展專門的攔截機。
视亮度
视亮度（brightness）或表观亮度（apparent brightness），又称主观亮度（subjective brightness），是对于光源或物体表面明暗的视知觉特性。属于感知量，其大小主要决定于心理物理量光亮度，视亮度大小明显地受到刺激条件（包括被观察物的色品、周围的亮度和色品）和观察者条件（包括色觉特性和色适应状态）的影响。视亮度是视觉的特性，对视觉目标的辐射或反射的光亮度的感知。这种感知并不是对光亮度为线性的，而是依赖于视觉环境，例如芒克-怀特错觉。

视亮度是色貌模型的一个参数。典型表示为。视亮度表示某物“看起来发光”的程度。视亮度是一种不同于明度的感知。明度是与同样亮的白色物体相比，某物的亮的程度。

美国联邦电信术语表（Federal Glossary of Telecommunication Terms）美國聯邦標準1037C规定视亮度用于光的非定量心理感知和认知

亮度
亮度（英語：）又稱輝度，是表示人眼对发光体或被照射物体表面的发光或反射光强度实际感受的物理量；可理解为：单位面积内看上去有多亮。

亮度和光强这两个量在一般的日常用语中往往被混淆使用。簡而言之，當任兩個物體表面在照相時被拍攝出的最終結果是一樣亮、或被眼睛看起來兩個表面一樣亮，它們就是亮度相同。

国际单位制中规定，「亮度」的符号是Lv，单位为燭光每平方米（cd/m2），舊稱尼特（nit）。
塔吉克語語法
塔吉克語語法（Tajik grammar）描述塔吉克斯坦口語以及書面語的標準塔吉克語之語文結構。 總的來說，塔吉克語的語法符合分析語形態。語法格系統所剩無幾，語法關係主要通過附著語素、詞序以及其他分析語結構來表達。與其他現代波斯語的變體一樣，塔吉克語語法與古典波斯語語法幾乎相同，儘管在某些動詞時態上存在些差異。

波斯語語法
波斯語語法（波斯語：دستور زبان فارسی  (Dastur-e Zaban-e Farsi)；Persian grammar）是波斯語的語法。波斯語方言變體在伊朗、阿富汗、烏茲別克斯坦（撒馬爾罕、布哈拉以及蘇爾漢河州地區）與塔吉克斯坦等地使用。 波斯語類似於許多其他的印歐語言。 而波斯語在中古波斯語時期成為一種更具分析性的語言；語法上格位的使用減少，並且摒棄了語法性別的區分。 現代波斯語中的語法創新仍然持續存在，波斯語是為數不多的缺乏語法性別區分表達的印歐語言之一。
是的加利福尼亚
加利福尼亞獨立運動（英語：）是一個美國的政治行動委員會，在2015年成立，訴求內容是透過2019年的公民投票決定加州是否要退出美國。它由右翼政治活动家 Louis J. Marinelli 创立，他的该活动得到了俄罗斯政府的支持。2016年美國總統選舉後，因加州支持的民主黨總統候選人希拉里沒有當選，許多加州居民支持Yes California獨立運動，最近的民調支持獨立的人数在14%左右。但是即使加州通过公民投票独立，分裂国家却还需要美国众议院和参议院三分之二多数通过美国宪法修正案，然后得到 38 个立法机构的批准。 因此分析师认为加州几乎没有可能独立。

公民投票
公民投票（英語：），簡稱公投，别称全民公決，是指全體選民就修憲等重要公共議題進行的直接投票。跟選舉不一樣，在公民投票中，主要是通过投票去确定某种政府形式或者某种行动的合法性，而不是去要求投票人在几个供选择的政黨或者建议中去任选其一。

公民投票是一種直接民主的展現，學理上有分為重要投票（plebiscite）、創制（initiative）、複決（referendum）。
溴化钾
溴化钾，分子式：KBr。它是一种白色稍具潮解性的晶体或粉末。易溶於水，在乙醇中微溶。可以用作神经镇静剂。

标准状态下，溴化钾是一种白色结晶粉末。易溶于水。在稀溶液中，溴化钾显甜味，稍浓则显苦味，极浓时显咸味（主要是因为钾离子的存在；溴化钠在任何浓度下皆显咸味）。浓溴化钾溶液强烈刺激胃粘膜，引起恶心、呕吐（这也是任何可溶性钾盐的性质）。

碳酸钾
碳酸钾（化学式：K2CO3， 英文名：Potassium carbonate），呈无色结晶或白色颗粒，能吸湿，可溶于水。其溶液呈碱性。不溶于醇和醚。

常用肥料草木灰中有碳酸钾。石鹼指的就是含有碳酸鉀和水合碳酸鈉的礦石。
Navlab
Navlab是一个自动和半自动的机动车系列，由美国卡内基·梅隆大学计算机科学学院下属机器人学院的研究团队开发，后有一个专门为其设立的新机构接手，即卡内基·梅隆大学导航实验室（）。其中，这个团队用无人驾驶汽车Navlab 5从匹兹堡一路开到圣地亚哥，这次旅行被称为“不用手穿越美国”（）。

匹兹堡
匹兹堡（英語：；/ˈpɪtsbɜːrɡ/）位于美国宾夕法尼亚州西南部，阿勒格尼河与莫农加希拉河汇合成俄亥俄河的河口。宾夕法尼亚州第二大城市，阿利根尼縣縣治。2018年人口大约302,407 （七县大都区人口2,462,571）。匹兹堡曾是美国著名的钢铁工业城市，有“世界鋼都”之稱。但1980年代後，匹茲堡的鋼鐵業務已經淡出，現已轉型為以醫療、金融及高科技工業為主之都市。市內最大企業為匹茲堡大學醫學中心，並為全美第六大銀行匹茲堡國家銀行所在地。

由於近年的經濟發展堪為典範，於2009年獲選主辦世界二十國集團（G20）高峰會。匹兹堡交通便利，公路、铁路和水上运输发达，匹兹堡國際機場位於該市西部，为美国东部著名的大型機場，有18家航空公司聚集此地。匹兹堡大学和卡内基梅隆大学是美国著名的高等学府。
桂山發電廠
桂山發電廠，全名為台灣電力股份有限公司桂山發電廠，是台灣電力公司所轄的水力發電廠之管理機關，位於臺灣新北市新店區，鄰近臺北翡翠水庫管理局，目前管轄分布於新北市新店溪水系流域境內及新竹縣竹東鎮共5處的發電廠，分別為烏來、桂山、粗坑、翡翠、軟橋機組，總裝置容量為11萬瓩。

竹東鎮
24°44′11.80″N 121°5′29.68″E﻿ / ﻿24.7366111°N 121.0915778°E﻿ / 24.7366111; 121.0915778

竹東鎮，舊稱「樹杞林」，位於臺灣新竹縣中心，為新竹縣頭前溪以南地區的交通樞紐及商業重鎮。鎮內人口約9.8萬人，是新竹縣人口第二多的行政區，亦為臺灣人口最多的鎮，結構上以清朝時來自廣東移民客家後裔族群為主，亦有不少泰雅族、賽夏族等原住民族居住。

竹東鎮在漢人移民未開發前，是泰雅族、賽夏族以及其他原住民族人的聚集地、狩獵地。早期以製造樟腦聞名，其後石油的鑽探、水泥及玻璃工業的設廠及林場集散場的拓展下，成為新竹縣溪南地區的工商重鎮，並曾與東勢、羅東共稱為臺灣三大林業集散地。隨著1973年工業技術研究院設置於頭重里、以及1980年新竹科學園區設置於西鄰的新竹市東區及新竹縣寶山鄉，該地的二重埔地區已逐漸轉型為高科技研發中心，而竹東舊市區則維持傳統產業發展。
張建英
張建英（1953年7月28日—2023年5月10日），籍貫福建長樂，台灣知名企業家、影視工作者，曾任海視傳播公司董事，經營影視節目代理業務，與兩岸三地政商關係良好。同時是台灣黑幫四海幫前幫主，綽號「弟哥」，早年多被稱呼為「張小弟」，在2008年至2010年間擔任四海幫第六任幫主而廣為人知。

張建英同時是台灣各大幫派之中，少數擔任幫主卻沒有前科的幫主。在擔任幫主任內期間成立社團法人「中華四海同心協會」，使得四海幫往後皆以此合法法人名義舉辦公開活動。也因其外貌俊俏神似香港明星劉德華，而被媒體封為「台版劉德華」。

法人
法人（英語：，德語：，日語：）是由法律所創設，代表社會團體的一種抽象權利主體，相對的概念為自然人（）。創設法人的目的，是要讓團體作為一個整體，能和團體成員的個人財產及法律上的權利義務區分開來，成為單一的獨立實體，對外則由「董事」或「理事」作為法人代表人，最常見的法人形式即是公司。
寂蓮
寂蓮（日语：／ Jakuren */?，1139年—1202年8月9日）是日本平安時代後期至鎌倉時代初期僧人和歌人，本名藤原定長（日语：／ Fujiwara no Sadanaga */?），藤原北家御子左家出身，《百人一首》歌人和釋教三十六歌仙之一，有117首作品收錄於敕撰和歌集，其養父是同為《百人一首》歌人的藤原俊成。關於寂蓮的出生年份，《日本古典文學大辭典》、《和歌文學大辭典》、《國史大辭典》、《和歌文學辭典》、《大英國際大百科事典》和《世界大百科事典》均主張是不明，不過《日本古典文學大辭典》、《和歌文學大辭典》、《國史大辭典》和《和歌文學辭典》均提到保延5年（1139年）的說法，其中《和歌文學大辭典》和《和歌文學辭典》指出此說法源於久曾神昇，《和歌文學辭典》另外也提到八島長壽的康治2年（1143年）說法，《朝日日本歷史人物事典》、《大辭泉》、《日本大百科全書》、《日本人名大辭典》和《日本國語大辭典》均採用保延5年（1139年）的說法，《書道辭典》則採用康治2年（1143年），逝世日期則見於《明月記》。

藤原俊成
藤原俊成（日语：／ Fujiwara no Toshinari，1114年—1204年12月22日，永久2年－元久元年11月30日）是日本平安時代後期鎌倉時代初期的公家、歌人，藤原北家御子左流、權大納言藤原俊忠之子，初名顯廣。母親是藤原敦家之女，有子藤原定家等，作為《千載和歌集》的作者而廣為人知。
蒙大拿大學理工學院
蒙大拿大學理工學院（英語：，縮寫：蒙大拿理工 ）是一所位於美國蒙大拿州比尤特的公立大學。前身為創立於1990年的蒙大納州立礦業學校（），學校的土地和資金來自1889年授權法案（），這個法案使得蒙大拿加入了聯邦，並且該法案分配了公共土地以建立一座州立冶金學校。礦業學校剛開始只提供兩種專業，冶金工程和電子工程，只有一座建築，就是現在的主館，容納了21名學生。這所學校在1994年開始隸屬於蒙大拿大學。

在2017年，蒙大拿大學理工學院有接近3000名學生，13座校園建築，提供73個學士學位，還有18個輔修專業，14個認證學位和10個職前職業項目。 該學校也提供21個研究生學位和一個在材料科學的博士學位。

蒙大拿大學
46°51′36″N 113°59′7″W﻿ / ﻿46.86000°N 113.98528°W﻿ / 46.86000; -113.98528

蒙大拿大學（英語：University of Montana，簡稱UM）是一所位於美國蒙大拿州米蘇拉市的公立大學。該校於1893年創立，當今是蒙大拿州最具規模的大學之一。
絕地再生
《》（英語：，）是一部2005年科幻電影，由麥可·貝執導，伊旺·麥奎格和史嘉蕾·喬韓森領銜主演。本片結合1960年代至70年代反烏托邦科幻片，《華氏451度》、《五百年後》、《攔截時空禁區》 等片。電影花費1.26億美元製作， 北美票房僅開出近3600萬美元， 而在各地進帳1.27億美元，全球票房總計1.629億美元。

逃离地下天堂
《》（英語：，）是1976年上映的美国科幻动作片（台灣首映時譯名為《我不能死》），由麥可·安德森执导，麥可·約克、珍妮·艾格特、理查德·乔丹、罗斯科·李·布朗、花拉·科茜、皮特·乌斯蒂诺夫主演，大卫·泽拉格·古德曼编剧，改编自威廉·F·诺兰和乔治·克莱顿·约翰逊于1967年出版的同名小说。故事发生在一个表面上是乌托邦，实质上反乌托邦的未来社会，讲述这个社会为了平衡人口和资源消耗，不惜杀掉所有年满30岁的人。“睡魔”主角罗根5号一直以来阻止其他人为了逃避死亡而逃跑，这次轮到自己面临死亡的命运。

影片只用了原著小说的两个前设，一是人但凡到了既定年龄都要死，二是罗根和同伴杰西卡在另一名睡魔法兰西斯的追捕下逃跑。改编小说故事失败后，剧本历经多次更改，包括将“最后一天”的年龄从21岁上调到30岁、引入消灭30岁人口的“轮回”（Carrousel）概念；其中轮回场景为特效摄影带来了挑战，制作团队特意采用全息摄影和广角镜头拍摄，最终因视觉特效获得奥斯卡特别成就奖及土星奖六项大奖，包括最佳科幻电影。同名电视剧于1977年到1978年在CBS播出，共14集。
动态语言
动态编程语言是高级编程语言的一个类别，在计算机科学领域已被广泛应用。它是一类在运行时可以改变其结构的语言：例如新的函数、对象、甚至代码可以被引进，已有的函数可以被删除或是其他结构上的变化。动态语言目前非常具有活力。众所周知的ECMAScript（JavaScript）便是一个动态语言，除此之外如Lua、Ruby、Python等也都属于动态语言，而C、C++、Java等语言则不属于动态语言。

大部分动态语言都使用动态类型，但也有些不是。

C语言
C语言（英語：C Language）是一种通用的、过程式编程程式語言，支持结构化编程、词法作用域和递归，使用静态类型系统，并且广泛用于系统软件与应用软件的开发。

C语言于1969年至1973年間，為了移植與開發UNIX作業系統，由丹尼斯·里奇與肯·汤普逊，以B语言为基础，在贝尔实验室設計、开发出來。二十世纪八十年代，C语言应用日渐广泛。為了避免各開發廠商用的C語言的語法產生差異，美國國家標準局為C語言訂定了一套完整的國際標準語法，稱為ANSI C，作為C語言的標準。与此同时，国际标准化组织也接受该标准为国际标准。因此，ANSI C也同时被称为ISO C。二十世纪八十年代至今的有关程式開發工具，一般都支持符合ANSI C的語法。

C语言具有高效、灵活、功能丰富、表达力强和較高的可移植性等特点，在程式設計中备受青睐，成为最近25年使用最为广泛的编程语言。目前，C语言編譯器普遍存在於各種不同的操作系统中，例如Microsoft Windows、macOS、Linux、Unix等。C語言的設計影響了众多後來的程式語言，例如C++、Objective-C、Java、C#等。现行的许多软件都是由C语言或者其影响和衍生的编程语言开发出来的。
大說謊家
《》（英語：，）是一部2019年美國犯罪驚悚片，由比爾·坎登執導，傑弗瑞·哈特奇編劇，改編自尼古拉斯·希爾勒（）的同名小說。故事敘述由伊恩·麥克連飾演的一名職業騙徒遇上了由海倫·米蘭飾演的有錢寡婦，原本想騙取對方財產的他發現了有著意想不到的障礙。

《大說謊家》於2019年11月15日在美國上映，並在影評界獲得了褒貶不一的反響。

海倫·美蘭
海倫·美蘭女爵士，DBE（英語：，1945年7月26日—），英國女演員。她获得了无数的荣誉，是唯一一个在美国和英国都获得表演奖大满贯的人，包括多次奪得美國演員工會獎、英國電影學院獎、金球獎和艾美獎，并获两次戛纳影后和一次威尼斯影后。於2007年憑電影《女王》贏得第79届奥斯卡金像奖最佳女主角奖。2014年获得英国电影学院奖终身成就奖。2020年獲得柏林國際影展榮譽金熊獎（終身成就獎）。2022年获得美国演员工会终身成就奖。2026年获得金球獎塞西尔·B·德米尔奖（终身成就奖）。
陳力生
陳力生（2002年9月16日—）為臺灣男子籃球運動員，場上位置為控球后卫，現效力於P. LEAGUE+桃園璞園領航猿。

陳力生就讀安坑國小三年級時跟隨哥哥陳力行進入籃球校隊，五年級開始代表校隊參加比賽。2018年3月與陳將、羅世恩和林宇謙以國中生身分入選U16亞青男籃賽中華臺北代表隊，2018年4月與陳將幫助金華國中奪下隊史第五座國中籃球聯賽冠軍。高中進入南山恰巧碰上陳又瑋畢業，陳力生在高中一年級就成為球隊先發控球后卫，2019年3月球隊在107學年度高中籃球聯賽男子組冠軍賽輸給能仁家商以亞軍作收，陳力生抱走新人王頭銜。2019年夏天扭傷左腳、腳踝韌帶撕裂。高中畢業後升學至國立體育大學，剛好哥哥陳力行從臺北市立大學轉學到國立體育大學，兄弟倆成為隊友。2022年夏天入選中華培訓隊參加BE HEROES籃球經典賽與跨聯盟籃球邀請賽。2024年7月12日，陳力生在P. LEAGUE+新人選秀會第一輪第四順位獲得桃園璞園領航猿青睞。8月2日，陳力生與桃園璞園領航猿完成簽約。

媽媽是尹湘雲的表姐。2021年陳力生在右胸使用英文刺上「媽媽是我永遠的英雄」。

桃園璞園領航猿
桃園璞園領航猿（英語：）為臺灣職業籃球隊，以桃園市作為球隊所在地，並以會員身份參與P. LEAGUE+賽事，球隊主場館為桃園市立綜合體育館。

桃園璞園領航猿成立於2020年，在2020-21賽季成為P. LEAGUE+創始球隊。
解释力
解释力是指一个假设或理论对其所针对的主题，能够进行"有效且清晰"解释的能力。它的反义词是解释无力。

解释力也可以说是一种衡量一个假设或理论能否对其所涉及的主题做出精准且易于理解的解释的能力。

在过往的学术研究中，研究者们提出了多样化的标准与方法来衡量解释力。具体来讲，如果一个假设、理论或解释在同一主题上比其他假设、理论或解释具有更强的解释力，通常意味着它能够更准确、更全面地阐释所观察到的现象或数据并揭示其背后的深层逻辑与联系。

如果一个假设、理论或解释满足以下条件，它通常会被认为具有更强的解释力：

要能够涵盖更多的事实或观察。

要将更多“令人惊讶的事实”转化为“理所当然的事情”。这意味着它能够合理地阐述之前看似异常或出乎意料的观察结果，使其变得合情合理且易于理解。（根据查尔斯·桑德斯·皮尔斯的观点）

要提供更多因果关系的细节，从而提升描述的准确性和精确度。

要具备更强的预测能力。（即能更详细地预测"应该观察到"和"不应观察到"的现象）

要更依赖于观察而非权威。

要基于更少的假设。

要更具可证伪性。（根据卡尔·波普尔的观点，即更易通过观察或实验进行检验）

要更有效地减少描述观察数据所需的比特数，即实现了数据的高效压缩，表明其更加简洁高效，能以更少信息量描述更多现象。（根据所罗门诺夫的归纳推理理论）

近期，戴维·多伊奇提出了一种评估理论或解释优劣的新视角，即一个好的理论或解释要满足“难以变化”的标准。所谓“难以变化”，指的是其所有细节都扮演着不可或缺的功能性角色。这意味着，这些细节不能被随意更改或删除，否则将直接改变理论的预测结果。反之，那些“易于调整，容易变化”即较差的解释，则由于其细节与所研究的现象联系较为松散，可以轻易地被调整，以适应新的观察数据或事实，这种随意性使得它们缺乏科学解释所应有的严谨性和精确性，容易导致解释的泛化和空洞化。

可证伪性
可證偽性（英語：）或可反駁性（英語：），或譯可反證性、可否證性、可检验性（英語：）等，是評估科學理論和假說的演繹標準，由科學哲學家卡爾·波普爾在其1934年出版的論著《科學發現的邏輯》（The Logic of Scientific Discovery）中提出。波普爾指出，如果一個理論或假說可以在經實證檢驗後，被發現邏輯上與實證檢驗結果存在相牴觸之處，它即是可被證偽的（或可被反駁的）（或理論的結論有邏輯上的反例存在）。
玉面侠
《玉面侠》（英語：）是1971年上映的一部香港電影，由嚴俊执导，黃楓编剧，何莉莉等領銜主演。该电影主演讲述一对儿武林兄妹通过一些方式相认的故事，该影片根据古龙小说《绝代双骄》进行改编，同时该作也是严俊最后执导的电影。

何莉莉
何莉莉（英語：，1947年11月25日—），出生於南京，1948年與父母移居台灣，父亲是安徽庐江人，母親是淮陰人。16歲參演導演袁秋楓的《蘭嶼之歌》進而出道。19歲前往香港邵氏電影發展。在《文素臣》、《愛奴》、《十四女英豪》的豪放形象引起國際注目，但就在25歲那年與航運業鉅子趙世光結婚。
黄国松
黄国松（英語：；1948年2月11日—），是新加坡投资者、基金经理和企业家，于 2007 年至 2013 年期间担任新加坡政府投资公司 (GIC)首席投资官，并于1985年至1986年期间担任新加坡金融管理局董事。他也是资产管理公司Avanda Investment Management （Avanda投资管理公司）的创始人之一。

除了在GIC和新加坡金融管理局 (MAS)担任职务外，黄国松还是新加坡国际货币交易所（新交所集团的前身）的创始主席。他还于 2013 年至 2018 年期间担任新交所集团董事会成员，并于 2003 年至 2005 年期间担任淡马锡控股公司董事会成员。

2023年，黄国松宣布将竞选原定于当年举行的新加坡总统选举。他成功获得总统选举委员会颁发的资格证书，并随后在提名日获得提名。

投资管理
投资管理（Investment management），是一項針對證券及資產的金融服務，以投資者利益出發並達到投資目標。投資者的定義非常广泛，可以是機構譬如保險公司、退休基金及公司或者是私人投資者。

资产管理公司是一種投资機構，它的核心业务是投资，核心人员是投资经理，他们会与客户签订合同，根据合同约定方式、条件、要求及限制对客户资产进行经营运作。投資管理包含了幾個元素，例如金融分析、資產篩選、股票篩選、計畫實現及長遠投資監控。投資管理在全球行業中有非常重要的責任看管上萬億元的資產。
2009年第一号热带低气压
第一号热带低气压（英語：）于2009年5月28日成形，是2009年大西洋飓风季发展形成的第一个热带气旋，这也是自2007年开始连续第3年在飓风季正式开始前就有热带气旋形成。系统源于北卡罗莱纳州近海一片杂乱无章的低气压区，在墨西哥湾暖流上空迅速发展。达到持续风速每小时55公里，最低气压1006毫巴（百帕，29.71英寸汞柱）的最高强度后，气旋开始因风切变逐渐增多、海面温度越来越低而减弱。5月29日下午，低气压关联的对流已经大幅偏离环流中心，美国国家飓风中心因此发布最后一份公告，宣布系统已退化成残留低气压区。

第一号热带低气压在热带气旋阶段没有对陆地产生影响，不过其低气压区前身在北卡罗莱纳州沿海部分地区产生小雨和微风。系统的移动路线、形成和持续时间与1940年的第一号热带风暴都很相近。

帕斯卡
帕斯卡（英語：；符號：Pa）是國際單位制（SI）的壓強單位。在不致混淆的情況下也可簡稱為「帕」。它等於每平方米一牛頓。以法國學者（數學家、物理學家、化學家、音樂家、宗教家、教育家、氣象學家、哲學家）布莱兹·帕斯卡之名而命名。

氣象上常用的“百帕”（hPa）、“千帕”（kPa）、地球物理學上常用的“吉帕斯卡”（GPa）和工程上常用的“兆帕”（MPa），均是自Pa衍生出來的單位。
日本資源回收標誌
日本資源回收標誌是根據日本1991年制定的《資源有效利用促進法》（資源の有効な利用の促進に関する法律）的規定所必須標示的。當產品廢棄時，收集再利用時即可以以此當作分類的標記。

日本資源回收標誌與塑膠分類標誌十分類似，兩者皆有圍繞的箭頭，內文皆依照材質的不同而標示在被箭頭圍繞的中間。除了可以用內文判斷材料的種類之外，箭頭圍繞的方式也可以用來判斷材料的種類：

三角形代表鋁

方形代表塑膠

圓形代表鋼

橢圓形代表紙

而其中的內文，常常用縮簡寫表示，如用「」代表「」（讀音：pura māku，來自於英文中的plastic mark，塑膠標誌）或是用「」代表「」（讀音：aruminiumu，來自於英文中的aluminium，鋁）等。

铝
铝（英語：（美國、加拿大）或（其他地區）），是一種可燃烧化學元素，化學符號为Al，原子序數为13，原子量為7001269815384000000♠26.9815384 u，属于硼族元素，相对密度是2.70。铝是较软的易延展的银白色金属，也是地壳中第三大丰度的元素（仅次于氧和硅），也是丰度最大的金属，在地球的固体表面中占约8%的质量。铝金属在化学上很活跃，因此除非在极其特殊的氧化还原环境下，一般很难找到游离态的金属铝。被发现的含铝的矿物超过270种。最主要的含铝矿石是铝土矿。

铝因其低密度以及耐腐蚀（由于钝化现象）而受到重视。其合金根據工藝的不同性質差異很大，利用铝及其合金制造的结构件不仅在航空航天工业中非常关键，在交通和结构材料领域也非常重要。最有用的铝化合物是它的氧化物和硫酸盐。

尽管铝在环境中广泛存在，但没有一种已知生命形式需要铝元素。铝是自然资源 (natural resources)，也是可再生资源 (renewable resources)。
少衛 (右垣)
少衛 (右垣) ，也稱為紫微右垣六，拉丁化的名稱是是鹿豹座α，是在北天球星座鹿豹座的一顆恆星。它的視星等為4.3等，是這個不太突出的拱極星座中第三亮的恆星； 第一和第二亮的恆星分別是八穀增十四（鹿豹座β）和鹿豹座CS。它是星座中距離最遠的恆星，根據視差的量測，距離地球約6,000光年。

鹿豹座CS
鹿豹座CS（CS Cam；HD 21291）是位於星座鹿豹座中的反射星雲，範登貝格星表VdB]]14中的聯星。

它形成了一組被稱為鹿豹座 R1星協的恆星，是鹿豹座OB1星協的一部分。幾乎完全相同的超巨星鹿豹座CE位於南面半度處。

做為一顆聯星，鹿豹座CS被命名為斯特魯維（英語：，STF 385，Σ385）。

主要成員鹿豹座CS A是一顆藍白B型超巨星，平均視星等為4.21m。它被歸類為天鹅座α型變星，亮度從4.19m至to 4.23m。它的伴星鹿豹座CS B是一顆8.7等的藍巨星，距離主星2.4弧秒。
薩爾滸之戰
薩爾滸之戰是西元1619年明朝與女真族的後金政權在萨尔浒（滿語：，穆麟德轉寫：sarhū错误：{{Transl}}：无法识别转译标准 $1（帮助）错误：{{Transl}}：拉丁字母轉寫第 14 個字元「穆」不是拉丁字母。（帮助）；山名，位于今遼寧省撫順市東部渾河中上游大夥房水庫東南岸）發生的一场大战，明軍大敗於金军，从而改变了辽东的战略格局。

辽东
辽东在现代汉语中多指中国东北的辽东半岛，是位于辽宁最南部在大辽河和鸭绿江河口之间的一个半岛，将渤海的辽东湾与黄海的西朝鲜湾分开。而在中国历史上，辽东范围大于辽东半岛，指的是辽泽以东（辽泽是历史上辽河以西、医巫闾山以东曾长期存在的一片大沼泽，大致在现今的新民、辽中、台安、盘山、北镇之间），大概对应现在辽宁省在辽河以东、铁岭开原以南包括千山山脉的地区，是古代汉族地区最东方的组成部分。
证明助手
在计算机科学和数理逻辑中，证明助手​（英語：，亦称​​交互式定理证明器​​）是一类基于形式化逻辑的计算机软件工具，旨在辅助用户开发形式化证明（以数学上严格的方式构造、验证和管理证明过程）。其核心功能是通过将命题转化为可计算的逻辑框架（如类型论或高阶逻辑），自动化检查每一步推理的正确性，从而确保证明的完整性与无矛盾性。此类工具通常结合了交互式编程环境，允许用户逐步构建证明并即时获得反馈，既可用于验证复杂数学定理的严谨性（如四色定理、开普勒猜想的计算机辅助证明），亦广泛应用于软件工程领域（如操作系统内核、加密协议的形式化验证）。

证明助手的理论基础可追溯至20世纪中叶计算机科学与数理逻辑的交叉发展，早期的里程碑包括荷兰数学家尼古拉斯·霍文特·德布鲁因等人开发的Automath系统（1967年），以及20世纪80年代Coq和Isabelle等工具的诞生。其技术实现依赖于对形式系统（如直觉逻辑、策梅洛-弗兰克尔集合论）的严格编码，并通过柯里-霍华德同构（）将数学命题的证明过程映射为可执行的计算程序。随着验证需求的增长，此类工具逐渐在学术界和工业界普及，例如微软研究院开发的Lean定理证明器被用于规范数学基础库Mathlib，而亚马逊公司则采用​​TLA+​​验证分布式系统的正确性。该领域近期的一项研究重点，是借助人工智能技术实现常规数学的形式化过程自动化。

内核
内核（英語：，又稱）在計算機科學中是一個用來管理軟體發出的資料I/O（輸入與輸出）要求的電腦程式，將這些要求轉譯為資料處理的指令并交由中央處理器（CPU）及電腦中其他電子元件進行處理，是現代操作系统中最基本的部分。它是为众多应用程序提供对计算机硬件的安全访问的一部分软件，这种访问是有限的，并由内核决定一个程序在什么时候对某部分硬件操作多长时间。直接对硬件操作是非常复杂的。所以内核通常提供一种硬件抽象的方法，来完成这些操作。有了這個，通过进程间通信机制及系统调用，应用进程可间接控制所需的硬件资源（特别是处理器及IO设备）。

严格地说，内核并不是计算机系统中必要的组成部分。有些程序可以直接地被调入计算机中执行；这样的设计，说明了设计者不希望提供任何硬件抽象和操作系统的支持；它常见于早期计算机系统的设计中。但隨著電腦技術的發展，最终，一些辅助性程序，例如程序加载器和调试器，被设计到机器核心当中，或者写入在只读记忆体里。这些变化发生时，操作系统内核的概念就渐渐明晰起来了。
香港1997—屠殺令
《香港1997—屠殺令》（英語：，或記為）是一部1994年美國政治動作驚悚片，由亞伯特·派努執導，藍道爾·豐塔納（）編劇，羅伯特·派屈克、溫明娜、布瑞恩·詹姆斯及提姆·湯默森主演，講述1997年香港交接儀式的夜裡，一名英國殺手刺殺中國高官，為此遭到通緝，被人陷害的他必須設法逃往海外。電影1994年11月9日在美國以錄影帶首映發行。

香港交接儀式
香港交接儀式，或称中英香港政權交接儀式，是指香港從大不列颠及北爱尔兰联合王国轉交至中华人民共和国所舉行的儀式，其於1997年6月30日晚上十一時半開始，並於1997年7月1日完成。整個儀式在灣仔香港會議展覽中心新翼舉行。
鄧律敦治
鄧傑沙·傑汗智·律敦治，CBE，JP[?]（英語：，1903年7月10日—1974年7月28日），世稱鄧律敦治（Dhun Ruttonjee），香港帕西商人、慈善家和政治家，1953年至1968年擔任立法局非官守議員，任內於1962年至1968年任該局首席非官守議員。

鄧律敦治早年受教於聖若瑟書院和香港大學，曾經在華工作，其後返回香港協助打理父親的洋酒進出口貿易和房地產業務。鄧律敦治的父親J·H·律敦治也是慈善家，兩人在香港淪陷期間積極接濟印度社群，1944年更曾因從事反日活動遭日軍拘捕下獄，期間受盡折騰，到1945年香港重光後始獲釋放。二戰過後，鄧律敦治的父親在1948年參與創立香港防癆會，其後又分別於1949年、1956年和1957年斥資創立律敦治療養院、傅麗儀療養院和葛量洪醫院。鄧律敦治對其父的公益慈善事業也十分支持，並在父親於1960年逝世後擔任律敦治療養院和葛量洪醫院等院所的管治委員會主席，以及在1964年至1974年出任防癆會主席。

鄧律敦治在二戰後也十分積極參與社會事務，除了立法局的工作，他曾自1950年至1957年出任市政局非官守委任議員。在立法局內，鄧律敦治敢於批評時政，涉及的民生議題包括教育、醫療和房屋等各方面。此外，他對於香港的政制發展也有不少看法，但當中不少意見未獲當局採納，而有一些構思則要到多年以後才得到實踐。六七暴動期間，鄧律敦治多番嚴辭斥責左派滋事份子，而且是最早在亂事中公開支持港府的人士之一。為肯定他歷年來擔任社會公職和公益慈善方面的表現，他曾經多番獲得英廷授勳，並在1969年獲母校香港大學頒授榮譽法學博士學位。

聖若瑟書院
聖若瑟書院（英語：, SJC）創立於1875年，是香港現存的首間天主教男子中學和喇沙會學校。該校於1879年加入香港補助學校議會，亦即被坊間稱為「傳統名校」的22間學校之一。書院在學術、體育、文化及課外活動均有卓越表現，亦是香港學界體育比賽及童軍運動的發源地。

書院校舍位於香港島中半山堅尼地道7號及26號。分別建於1920年及1925年的校舍北座（舊大樓/高錕樓）和西座（教堂座）被列為法定古蹟，建於1935年的堅尼地道26號則為一級歷史建築。

書院的直屬學校為聖若瑟小學（1968-）及聖若瑟幼稚園（1974-2012）。
Proton VPN
ProtonVPN是由瑞士公司Proton AG运营的VPN服务提供商，该公司最初以电子邮件服务ProtonMail起家。根据ProtonVPN的官方网站，ProtonVPN和ProtonMail拥有共同的管理团队、办公室和技术资源，并且在瑞士法的保护下在瑞士日内瓦的Proton公司总部运营。

虛擬私人網路
虛擬私人網路（英語：，缩写：VPN）将专用网络延伸到公共网络上，使用户能够在共享或公共网络上发送和接收数据，就像他们的计算设备直接连接到专用网络上一样。VPN的好处包括增加专用网络的功能、安全性和管理，它提供了对公共网络上无法访问的资源访问通常用于远程办公人员。加密很常见但不是VPN连接的固有部分。

VPN是通过使用专用线路或在现有网络上使用隧道协议建立一个虚拟的点对点连接而形成的。可从公共 Internet 获得的 VPN可以提供广域网（WAN）的一些好处。 从用户的角度来看，可以远程访问专用网络中可用的资源。
天巡者
《天巡者》（英語：），2020年三立華人電視劇週日十點檔系列的第五十部作品。由賀軍翔、邵雨薇領銜主演，
陳璽安、程雅晨、周曉涵、楊銘威、張洛偍主演。是部跨越時空的奇幻愛情神仙劇，被稱為是台版《孤單又燦爛的神－鬼怪》，是三立電視二度與Netflix合作作品，也是三立年度旗艦戲劇。本劇獲得中華民國文化部107年度電視節目製作補助案連續劇類補助2300萬元。於2020年2月20日開鏡，7月12日殺青。台視於10月25日首播。而三立都會台則於10月31日播出，劇末播出幕後花絮《天巡輪迴簿》播放漏網鏡頭，戲末後會在Vidol影音頻道上傳播出，接檔《浪漫輸給你》。

張洛偍
張洛偍（1992年7月25日—）台灣男演員，拍過多部廣告、電視劇與平面雜誌等。曾經參與模范棒棒堂，曾為4ever 團體一員，2018年他更參加大陸愛奇藝實境選秀節目《演員的品格》。擁有長達13年舞齡的他，曾於2012年前往韓國參加1對1培訓舞蹈，肢體平衡極強的張洛偍總能完美呈現許多高難度動作。

2025年，入選台北電影節非常新人。
英国同性婚姻
论

编

英國同性婚姻在所有地區都是合法的。由於蘇格蘭和北愛爾蘭的婚姻權並非權力下放中的保留或例外事項，因此各王國在不同時期將同性婚姻合法化。英格蘭和威爾斯自2014年3月起、蘇格蘭自2014年12月起、以及北愛爾蘭自2020年1月起。

英格蘭和威爾士的議會（英國下議院）於2013年7月三讀通過允許同性結婚的立法，並於2014年3月13日正式生效，第一例同性婚姻在同年3月29日产生。蘇格蘭议会于2014年2月通过對同性婚姻的立法，首例同性婚姻在同年秋天产生。

2014年北愛爾蘭政府表示無意就同性婚姻進行立法，北愛爾蘭議會亦多次投票反對立法。但2017年執政聯盟解散後至今都呈現無法組成政府的狀態。2019年7月，英國國會通過一項修正案，若北愛爾蘭於同年10月21日仍無法組成政府，墮胎除罪化與同性婚姻合法化便自動生效；最後兩案於10月21日自動生效。2020年1月正式生效。

北愛爾蘭議會
北愛爾蘭議會（英語：；愛爾蘭語：；阿爾斯特蘇格蘭語：）是北愛爾蘭的立法機關，成立於1998年。作為權力下放制度的憲政機關，其主要職責是就北愛爾蘭的自治事務制定法律及審批預算，並且委任及監察行政委員會的成員。

目前北愛爾蘭議會的最大派系是聯合派，共有37個議席。其次是民族派，共有35個議席。餘下的18席則不屬任何一方陣營。
如眠国度
《如眠国度》（英語：）是一部2018年的美國劇情電影，由Meredith Danluck執導和編劇。主演是凱薩琳·華特斯頓、麥可·夏儂、路克·伊凡斯和麥可·俞斯曼。本片在2018年翠貝卡電影節上首映，2019年1月4日由The Orchard公司負責公映。

麥可·俞斯曼
麥可·俞斯曼（荷蘭語：，荷蘭語發音：[miˈɣil ˈɦœysmɑn]，1981年7月18日—），荷蘭男演員、作曲家和音樂家。他較為知名的是於2014年起在HBO電視劇《冰與火之歌：權力遊戲》中飾演達里奧·納哈里斯一角。

俞斯曼起初在荷蘭的電視劇中開始他的職業生涯。後於2006年起開始在國際性的作品中演出，如英國電視劇《達爾齊爾和帕斯科》（2006年）。之後又相繼參演了多部美國電影，如《年輕的維多利亞》（2009年）、《末日之戰》（2013年）、《那時候，我只剩下勇敢》（2014年）、《詭宴》（2015年）和《時空永恆的愛戀》（2015年）。
富士川町
富士川町（日語：，羅馬化：Fujikawa chō）是位於日本山梨縣中西部的町，隸屬於南巨摩郡。轄區地處甲府盆地的南端，富士川流經東部地區的邊界並往南流。富士川町在江戶時代作為水路交通要衝及富士川河運的貨物集散地而相當繁榮，至明治時期則成為成為峽南地域的中心地帶。當地在對外通勤與就學上較依賴北邊的南阿爾卑斯市和東北邊的甲府市。

甲府盆地
甲府盆地（日语：／ Kōfu bonchi */?）是位於日本山梨縣中央區域的盆地，其形狀為東西較長的倒三角形，面積約275km²。甲府盆地與長野縣的松本盆地和諏訪盆地為連續的構造盆地。除了位在中心的縣廳所在地甲府市外，還包含甲州市、山梨市等都市。
藍信祺
藍信祺（1964年9月28日—），臺灣人，生於臺北市，籍貫山東。2016年召開記者會自行稱帝，號宇宙無體黑龍上帝、世界臺灣皇帝、大日昭明皇帝、「全人類唯一合法、民主憲政國家統治政權宇宙原體上帝本人」等。

藍信祺早年涉犯臺北市「虎山雙屍命案」，名列十大槍擊要犯，並被通緝，後協助同夥越獄時被捕，有竊盜、偽造文書等前科。1993年在信義計畫區引爆瓦斯桶，造成公眾危險。2016、2020、2024年三度獨立參選中華民國總統，為公民連署被連署人，其中2016、2020年因未遞交連署書，2024年則因連署份數不足而連署失敗無法參選。

信義計畫區
25°02′10″N 121°34′15″E﻿ / ﻿25.03611°N 121.57083°E﻿ / 25.03611; 121.57083

信義計畫區是位於臺灣臺北市信義區的都市開發區，總面積153公頃，自1970年代提出副都心計畫、1980年代開始進行開發，現為臺北重要的中心商業區（CBD），臺北市政府、臺北市議會、台北世界貿易中心、台北101等重要設施皆位於區內，並匯集眾多百貨商場、旅館、豪宅及企業總部於此。區內之商業區塊又常被稱為信義商圈。
九龍區專線小巴63線
九龍區專線小巴63線於1996年投入服務，來往藍田（廣田邨）及觀塘（裕民坊）。

九龍區專線小巴62S線同樣也是於1996年投入服務，來往藍田（廣田邨）至尖沙咀（海防道），為九龍區專線小巴63線的夜間服務。

海防道
22°17′53.1″N 114°10′14.9″E﻿ / ﻿22.298083°N 114.170806°E﻿ / 22.298083; 114.170806

海防道（英語：，原稱伊利近道，Elgin Road）是位於香港九龍尖沙咀的一條街道，街道呈東西走向，西起自廣東道，東止於彌敦道，街道全長約345米。而海防道亦是一條單程行車路，車輛只可由西面的廣東道駛往東面的彌敦道。
懂车帝
懂车帝是字节跳动旗下的一家汽车内容平台，于2017年正式上线。该平台原为字节跳动旗下新闻聚合应用今日头条的汽车频道。懂车帝主要以发布汽车相关内容起家，并推出了多个原创汽车节目，如《非常野》和《一万公里定律》等。

根据QuestMobile数据，其2023年1月流動應用程式月活跃用户为3111万，微信小程序月活跃用户为192万。

今日头条
今日头条是一款資訊類互聯網产品，它會基於数据挖掘的推荐引擎向用戶推薦文章。它由中国互联网创业者张一鸣于2012年3月创建，于2012年8月发布第一个版本，截至2015年12月，今日头条累计拥有激活用户3.5亿，日活跃度超过3500万。其中，“头条号”平台的账号数量已超过4.1万个，各类媒体、政府、机构总计超过11000家，其中签约合作的传统媒体过千家，“头条号”自媒体其账号总数超过3万个。2019年，今日头条房产频道從今日頭條分離，成為獨立房產平台品牌幸福里。
杰克·唐加拉
杰克·唐加拉（英語：，1950年7月18日—）是美国一位计算机科学家，英国皇家学会院士外籍院员，他是田納西大學电气工程与计算机科学系特聘教授。橡树岭国家实验室计算机科学与数学部杰出研究人员，曼彻斯特大学数学学院图灵奖学金，萊斯大學计算机科学系兼职教授。他曾在得克萨斯农工大学担任研究人员，他也是创新计算实验室的创始主任。

橡树岭国家实验室
橡树岭国家实验室（英語：，缩写为ORNL）是美国能源部所属的一个大型多学科研究国家实验室，位於田納西州橡树岭。此實驗室成立于1943年，最初是作为曼哈顿计划的一部分，以生产和分离铀和鈽为主要目的建造的，原称克林顿实验室。2000年4月以后由田纳西大学和巴特勒纪念研究所共同管理。
花蓮港
花蓮港，位於臺灣花蓮縣花蓮市，為臺灣的國際商港之一。東臨太平洋，西倚中央山脈，是一個由東、西防波堤合攏而成的人工港。1939年興建完成，民國52年9月1日（1963年）開放為國際商港，成立花蓮港務局。現有碼頭25座，年裝卸量可達3,400萬噸，另有倉庫六棟十五間、堆貨場三十八處、臨時貨櫃集散站一座、港勤拖船四艘、及交通艇一艘，港埠設施極為完備，足以擔負東部地區產業發展及港埠輸運功能。該港貨源主要以區域特性之大宗貨物為主，如砂石、水泥及其熟料等，旁有花蓮漁港。

自2012年3月起，由臺灣港務公司花蓮港務分公司管理。

因基隆臨港線廢除，台鐵新引進之列車會從台中港的台中港線及本港的花蓮港線吊運下船。案例包括城際列車EMU3000型（2021年起）及通勤電聯車EMU900型（2020年起；僅限EMU901及EMU902）。

臺灣港務公司
臺灣港務股份有限公司（簡稱臺灣港務公司、港務公司）是中華民國交通部出資成立的港務機構及國營企業，成立於2012年3月1日，主要業務為經營臺灣各商港。總公司設於高雄市，目前總部辦公室位於蓬萊路上，部分單位已搬遷至台灣國際郵輪旅運大樓。
人工湿地
人工湿地（英語：）是利用自然功能对植被、土壤和生物对废水进行二次处理的一种工程系统。人工湿地可以用于处理污水和工业废水，还可以用于恢复工业建设中的自然环境，防止水土流失。

人工湿地主要有两种类型：地下水流和地表水流人工湿地。它们是由流动状态的水、部分微生物和一些合适的植物构成。

现在的地下水流人工湿地通常设计成水平或垂直流过砾石和河床，垂直流动系统比水平流动需要的空间小。由沙子和砾石组成的滤池通常具有同等效果。

微生物
微生物（英語：或）是指體積極小、通常需藉助顯微鏡才能觀察到的生物個體或群體，常見型態包括單細胞生物，以及由多細胞組成、但仍在顯微尺度下的群體。

微生物的範圍涵蓋生命三域中多數單細胞生物。古菌域與細菌域的成員全屬於微生物，真核生物域除包含多細胞生物外，亦包含許多單細胞微生物，例如多數原生生物。另有少數多細胞生物仍屬顯微尺度，例如部分微型動物、真菌與藻類。

微生物幾乎遍布各種環境，從兩極到赤道，從沙漠、間歇泉、岩石縫隙到深海均可發現其蹤跡。部分微生物可在極端環境中生存，例如高溫、極低溫或高壓，亦有少數能耐受高輻射（如抗輻射奇異球菌）。微生物也構成多細胞生物體內與體表的微生物群。有研究指出，位於澳洲約34.5億年前的岩石中可能保留微生物活動的證據，常被視為目前所知地球早期生命的直接證據之一。

人類自古即推測存在肉眼不可見的微小生命，如公元前6世紀的印度耆那教文獻已有相關記載。對微生物的科學研究始於1670年代，安東尼·范·列文虎克以顯微鏡觀察到微生物。1850年代，路易·巴斯德指出微生物與食物变质相關，並推翻自然發生說。1880年代，罗伯特·科赫建立了微生物與結核病、霍亂、白喉及炭疽等疾病之致病關聯。

微生物在人類生活與工業中具有多種用途，例如食品發酵、汙水處理，以及生產燃料、酵素與生物活性化合物等，同時也是肥沃土壤不可或缺的重要組成。人類體內也生活著微生物群，如與健康息息相關的胃肠道微生物群。微生物亦是多種傳染病的病原體，是公共衛生的主要防治對象。微生物在生物學研究中是重要的模式生物，也曾被用於生物戰與生物恐怖主義。
霍賈雷機場
霍賈雷機場（阿塞拜疆語：），阿塞拜疆收复前称为斯捷潘納克特機場（亞美尼亞語：），是亞塞拜然東北方10公里城鎮霍賈雷的機場。1991年至2023年由有限承認國家阿爾察赫共和國控制，海拔為610公尺，只有一條05/23跑道，長2178公尺，寬37公尺。

霍賈雷機場在蘇聯時期即有營運，纳戈尔诺-卡拉巴赫战争爆發後停止運作。2009年，阿尔察赫方開始試圖修復機場，計劃於2011年5月9日恢復航班，機場開幕日期多次延後並引起相當爭議，亞塞拜然曾威脅可能擊落起降班機。至今機場仍未能重新啟用。

2023年9月阿爾察赫共和國宣布解散後，阿塞拜疆控制了該機場。

阿尔察赫共和国
阿尔察赫共和国（亞美尼亞語：），通称阿尔察赫（），又称纳戈尔诺-卡拉巴赫共和国（），位于西亚北部，是历史上的主权争端地区及有限承认国家。联合国和世界上的大部分國家均将其视为亞塞拜然的一部分；自1991年至2020年納戈爾諾-卡拉巴赫戰爭前它控制了原蘇聯亞塞拜然蘇維埃社會主義共和國治下的納戈爾諾-卡拉巴赫自治州的大部分領土以及週邊的一些區域，西接亞美尼亞，南連伊朗。自2020年至2023年納戈爾諾-卡拉巴赫攻勢前，阿尔察赫实际控制地区仅剩余原納戈爾諾-卡拉巴赫自治州的北部，并完全被阿塞拜疆控制领土包围。2023年9月28日，阿爾察赫總統薩姆韋爾·沙赫拉馬尼揚簽署命令宣布阿爾察赫共和國將於2024年1月1日解散所有政府機關，宣告國家滅亡。

阿尔察赫是一个山地国家，平均海拔高达1097米。绝大部分纳卡居民为基督徒亚美尼亚人，并且多数隶属于亚美尼亚使徒教会。阿尔察赫实行总统制，并设有一院制的国民议会。一些人認為阿尔察赫對亞美尼亞的依賴程度已使阿尔察赫在許多方面已儼然如亚美尼亚的一部分。
計算機代數
数学和计算机科学中，计算机代数或符号计算或代数计算，是研究、开发用于操作表达式等数学对象的算法与软件的科学领域。这通常被视为是运算科学的一个子领域，但运算科学一般基于近似浮点数的数值计算，而符号计算则使用含变量的表达式进行精确计算，其中变量没有赋值。
执行符号计算的软件系统称为计算机代数系统，“系统”暗示了软件的复杂性，其中至少包括一种在计算机中表示数学数据的方法、一种编程语言（通常异于用于实现的语言）、一种专门的内存管理器、一套供输入输出表达式的用户界面、一大套用于通常运算的子程序，如表达式简化、能实现链式法则、多项式因式分解、不定积分等等的求导算法。

计算机代数被广泛用于数学实验、设计数值程序所用的公式。纯数值方法失效时，计算机代数也可用于完整的科学计算，这见于公开密钥加密和一些非线性问题。

計算機代數系統
计算机代数系统（英语：computer algebra system，缩写作：CAS），或符号代数系统（symbolic algebra system，缩写作SAS），是能够以类似于数学家和科学家传统手动计算的方式操作数学表达式的数学软件。这种系统的要件是数学表达式的符号运算。 20世纪下半叶计算机代数系统的发展是“计算机代数”或“符号计算”学科的一部分，它刺激了多项式等数学对象的算法工作。

计算机代数系统按用途可分为两大类：专用、通用。

专用的计算机代数系统致力于数学的特定部分，例如数论、群论，亦或是初等数学的教学。

通用的计算机代数系统致力于任何需要操作数学表达式的科学领域。为了发挥其作用，通用计算机代数系统必须包含各种功能，例如：

允许用户输入和显示数学公式的用户界面，通常通过键盘、菜单选择、鼠标或触笔。

一个编程语言和与之配套的解释器（计算结果通常具有不可预测的形式和大小，因此经常需要用户通过其干预），

简化器，一个用于简化数学公式的重写系统，

内存管理器，包括垃圾收集器，用于处理可能在计算过程中出现的庞大中间数据。

高精度计算算法，用于处理可能出现的巨大整数。

大型的数学算法库、特殊函数库。

数学算法库、特殊函数库不仅要满足用户的需求，还要满足简化器的需求。例如，多项式最大公约数的计算被系统地用于简化涉及分数的表达式。

这些繁杂的功能要求解释了通用计算机代数系统的数量为何如此之少。一些重要的系统包括Axiom_计算机代数系统、Maxima、MAGMA、Maple、Mathematica和SageMath 。
外港新填海區25地段公共辦公大樓
外港新填海區25地段公共辦公大樓是一座澳門特別行政區政府擁有的辦公大樓，位於澳門半島新口岸新填海區25地段，佔地面積6,480平方米，位於澳門文化中心對面，項目將興建兩幢分別為12層及17層的政府辦公大樓，並設3層地庫停車場，供政府部門辦公用途。該地段與鄰近的12地段的政府辦公大樓建設模式相同，目前正在進行“上蓋”建造工程，而「基礎及地庫」工程已經通過臨時驗收，。

澳門文化中心
澳門文化中心（葡萄牙語：，英語：）位於澳門半島大堂區新口岸新填海區孫逸仙大馬路，是澳門一個大型表演場地，為澳門唯一的國際級文化藝術表演場地。澳門文化中心的建築工程於1998年竣工，並由葡萄牙總統桑帕約於1999年3月19日揭幕並投入使用。它是每年澳門國際音樂節、澳門藝術節的主要節目表演場地。
過海隧道巴士182線
過海隧道巴士182線是香港一條來往愉翠苑及中環（港澳碼頭）的過海隧道巴士路線，由九巴及城巴聯合經營，提供沙田第一城、乙明邨、沙角邨、秦石邨、新翠邨、九龍塘、何文田取道紅磡海底隧道來往灣仔、金鐘、中環及上環的過海隧道巴士服務。本線是紅隧目前僅有兩條往返新界區的全日專利過海巴士路線之一（另一條為170線）及紅隧至今編號最大的全日專利過海巴士路線。

於平日星期一至五黃昏繁忙時間，設有特別線182X，由中環（港澳碼頭）單向開往愉翠苑，港島區沿182線往沙田方向路線行駛及停站，但駛離紅磡海底隧道後於整個九龍區（紅磡海底隧道至獅子山隧道之間）不設車站直接駛入獅子山隧道往大圍，而且途經乙明邨街後則改經博康巴士總站及水泉澳邨，之後經多石街及沙田圍路直接駛往愉翠苑，不經182線途經的大涌橋路及沙田第一城一段。

愉翠苑
愉翠苑（英語：），在計劃興建時有意稱為圓翠苑，是香港房屋委員會在沙田區的居者有其屋屋苑之一，位於新界沙田圓洲角第十四B區，前身為圓洲角臨時房屋區，為香港居屋短樁醜聞的主角之一，因而廣為香港人所認識。而D及E座亦因此事件而需要拆卸。屋苑由房屋署總建築師（2）設計，分五期興建，均由保華建業集團施工，於2001-2002年間竣工，並分三期發售。該屋苑尚未成立業主立案法團，而屋苑管理則由業主委員會委託康業服務有限公司負責，並且為全港唯一集齊康和一、二及單向設計康和型作樓宇的居屋屋苑。

愉翠苑是沙田居屋綠表市場售價最高的屋苑，也是新界綠表市場售價高企的屋苑之一。2018年1月，該屋苑有三房650實呎單位，以696萬港元未補地價成交，實呎價10,708港元，創新界居屋新高。
威廉·D·波特號驅逐艦 (DD-579)
27°09′N 127°25′E﻿ / ﻿27.15°N 127.41°E﻿ / 27.15; 127.41

威廉·D·波特号驱逐舰（USS William D. Porter DD-579）是二战期间美國海軍的一艘弗莱彻级驱逐舰，以南北战争时美國海軍准将威廉·D·波特（1808–1864）命名，爱称“Willie Dee”，先后活跃于大西洋战场和太平洋战场，参与过阿留申群島戰役、菲律宾战役和沖繩島戰役等攻势。在两年的战斗生涯中，波特号大小事故不断，其中最出名的当属她曾向富兰克林·罗斯福总统搭乘的衣阿华号战列舰误射鱼雷的尴尬意外。1945年6月10日，威廉·D·波特号在冲绳海域执行警戒任务时遭遇神风特攻队攻击，虽然没有直接撞上，却仍因炸弹爆炸而最终沉没。接连的意外和离奇的击沉方式让她有了个“美国海军最倒霉驱逐舰”的名号。

弗萊徹級驅逐艦
弗萊徹級驅逐艦是第二次世界大戰中美國海軍的驅逐艦級，總計生產了175艘，是單一生產量最高的驅逐艦級，因此也常被當作二战美軍最具代表性的驅逐艦。弗莱彻级驱逐舰在众多方面都被认为性能优秀，胜任防空、反潜与水面作战各种任务，航程又足以覆盖美军舰队在太平洋上的行动。此級驅逐艦于二戰後大多仍繼續服役，加上之後移交美國盟友之海軍，總服役時間相當的長。
丁之發
丁之發（1935年11月25日—2025年2月2日），中華民國陸軍二級上將，生於安徽省合肥縣，受訓於美國陸軍遊騎兵，畢業於美國陸軍參謀大學，曾任中華戰略學會理事長、聯勤總司令、國防部督察部主任、陸軍副總司令、國防部常務次長、陸軍後令部司令、陸軍成功嶺班主任、陸軍澎防部參謀長，在1998年因涉入弊案請辭退役，並在退役後遊走於中國大陸與兩岸交流。

成功嶺
成功嶺營區，為中華民國國軍於臺灣臺中市烏日區大肚臺地設置的軍事基地，為國防部全民防衛動員署後備指揮部中部地區後備部隊訓練中心、陸軍步兵第一〇四旅（常山部隊）、陸軍步兵第三〇二旅（虎威部隊）、陸軍步兵第一〇一旅（堅實部隊）、陸軍第五地區支援指揮部衛生營、彈藥分庫以及內政部役政司替代役訓練班構成的營區。