Samantha912/NLP_A2_WTH huggingface dataset:
滯洪池

滯洪池（detention basin）是於河溪湖泊周邊、鄰接處或支流上開挖出的低窪區域，平時的水位通常較低甚至時常乾涸，功能是在暴雨來臨時將突增的地表逕流暫時儲存，以控制洪水的蔓延速度，降低尖峰流量對下游低勢地區所帶來的傷害。長期保持有水並且周邊有植被圍繞的滯洪池稱作調整池。

一般來說，滯洪池絕大多數為人造坑地，除了一般收納洪水功能外，在天候良好的季節可充當遊憩功能（如公園、運動場等）或成為生態湖泊為野生動物提供棲息地。
完者都

完者都（；波斯語：اولجایتو或محمد خدابنده Muhammad Khodābandeh；）原名閤兒班答，蒙古人，阿魯渾第三子，合贊之弟，伊兒汗國的第八任君主。1304 年 7 月 21 日 -1316 年 12 月 16 日在位。

完者都的母親兀魯克哈敦是聶斯妥裡教徒，他本人早年以尼古拉斯之教名接受洗禮，後改宗回教什葉派。他開始鎮守呼羅珊。1304 年 5 月 17 日，哥哥合贊去世，完者都受遺命，繼承汗位。

他建立新都蘇丹尼葉城，在新都建立學校。以拉施德丁為宰相，由他編著史書《史集》。殺死海合都的兒子阿剌弗朗和支援他的呼羅珊統帥哈兒忽答。他先後征服歧蘭、也裡，進軍敘利亞。元成宗、元武宗也多次派人出使伊兒汗國，命都哇、察八兒與完者都議和，頒賜印璽 “真命皇帝和順萬夷之寶”。完者都和羅馬教宗、英格蘭國王、法蘭西國王，也有書信往來。

1313 年，伊兒汗蒙古人在所建的首都蘇丹尼葉城修建了完者都（Öljaitü）陵墓。陵墓是波斯建築的典範，內部裝飾出色， 50 米高覆蓋藍陶片的圓頂，是伊朗現存的最早雙層圓屋頂建築，是伊斯蘭建築史上的重要里程碑，學者形容為 “泰姬陵的先驅”。2005 年列聯合國文化遺產。
薩爾瓦多足球協會

薩爾瓦多足球協會是專門管轄薩爾瓦多足球事務的組織。薩爾瓦多足球協會成立於 1935 年，並在 1938 年加入國際足協。此外，它還是中北美洲及加勒比海足球協會和中美洲足球聯盟的成員之一。
楊紹先

楊紹先（？－535 年或以後），仇池氐人，是仇池首領楊集始的兒子。

楊集始在 503 年去世後，北魏立楊紹先為武興王。由於楊紹先年幼，國事由兩位叔父楊集起、楊集義取決。

505 年，楊集起、集義立楊紹先為帝，北梁州刺史邢巒派建武將軍傅豎眼進攻武興。506 年初，魏軍攻佔武興，俘楊紹先，把他送到洛陽。楊集起、集義逃走，武興國滅亡，魏以其地為武興鎮，後改為東益州。

後來楊紹先趁北魏內亂逃歸武興，復稱王，仍向魏稱藩。楊紹先死後，《北史》稱政權由其子楊辟邪繼承，《梁書》稱由其子楊智慧繼承。
羅伯特・麥基

羅伯特・麥基（Robert McKee，）是一名美國創意寫作指導者，因其在南加州大學發展舉辦起來流行的 “故事研討會” 而聞名。他是有 “編劇聖經” 之稱的書籍《故事的解剖：跟好萊塢編劇教父學習說故事的技藝，打造獨一無二的內容、結構與風格！》（Story: Substance, Structure, Style and the Principles of Screenwriting）的作者，該書在美國翻印 32 次，英國翻印 19 次，已成為哈佛大學、耶魯大學、加州大學洛杉磯分校、南加州大學以及其它全球頂尖影視學府的必讀書目。他被譽為 “好萊塢編劇教父”，是許多好萊塢經典電影編劇的師父。

生平

他於 1981 年開辦的 “故事培訓班”，已經讓全球 6 萬名學員收益，他的學生中獲得奧斯卡獎、金球獎、艾美獎等著名獎項 “最佳編劇” 提名的數以百計。繼 2011 年的 “中國故事之旅” 和 2012 年的 “中國編劇訓練營” 之後，2013 年 10 月底他將第三度來華授課，舉辦 “2013 年德稻麥基中國電影故事創作講習班”。

榮譽

據統計，他門下的學生曾榮獲得 53 次奧斯卡獎、170 次艾美獎、30 次美國編劇工會獎、26 次美國導演工會獎，還有英國年度圖書獎和普利策專題寫作獎。
不賽因

不賽因（波斯語： ابو سعید بہادر خان ；1304 年 6 月 2 日 -1335 年 11 月 30 日），蒙古人，完者都之子，伊兒汗國的第九任君主。1317 年 4 月 - 1335 年 11 月 30 日在位。

生平

不賽因本來受封於呼羅珊。1316 年 12 月 16 日完者都去世，由兒子不賽因即位。他年幼，元帥楚邦（出班）掌權，殺死宰相拉施德丁。1318 年平定牙撒吾兒之亂，擊退欽察汗國月即別對打耳班（達爾班特）的進犯。因為作戰英勇被尊稱八哈都兒汗。1323 年，與埃及議和。1324 年，遣使恭賀泰定帝即位，為出班請封，元朝封楚邦為翊國公。之後至元文宗時多次向元朝進貢駝馬、珍寶。其中 1326 年，進貢六次。出班擅權，1327 年，不賽因殺死出班第三子的馬失火者，出班於是造反，兵敗被殺。不賽因為拉施德丁平反。不賽因統治 19 年後去世，由於不賽因死後無嗣，大臣一度提出找阿里不哥後人阿兒巴當可汗，但也無法阻止各方勢力爭相推出自己的傀儡；包括出班的孫子建立的丘拜尼王朝，伊兒汗國遂陷於分裂局面、走向瓦解，直到帖木兒將波斯納入帖木兒帝國的版圖後才終結。
偉江河

偉江河，位於中國湖南省西南部和廣西壯族自治區北部，是平等河左岸支流，發源於湖南省城步苗族自治縣西南的南山牧場，西南流入廣西龍勝各族自治縣境，經偉江鄉，至樂江鄉河口村匯入平等河。河長 62 千米，流域面積 338 平方千米，是平等河最大的支流。
菲洛梅娜

《菲洛梅娜》（Philomena）是一部 2013 年英國導演斯蒂芬・費雷斯執導的劇情片，史蒂夫・庫根編劇，朱迪・丹奇與史蒂夫・庫根主演。入圍第 70 屆威尼斯電影節主競賽單元，並獲最佳編劇獎。

影片取材於記者馬丁・思科史密斯於 2009 年發表的紀實文學報告，內容關於 1950 年代愛爾蘭數千名未婚少女因被天主教會判定 “墮落” 而不得不與自己的孩子骨肉分離的真實事件。

劇情

講述愛爾蘭老婦菲洛梅娜在記者馬丁的陪伴下，赴美國首都華盛頓特區，尋找自己年輕時被美國夫婦收養的兒子安東尼的故事。

1951 年，年輕的菲洛梅娜未婚先孕，被父親送至位於羅斯克裡的修道院，在 1952 年 7 月生下一個兒子後，她與其他年輕女性還必須為修道院工作四年。

一天，其子安東尼與另一女孩瑪麗被院長賣給了一對美國夫婦。從此兒子的音訊全無，如今（2002 年）年老的菲洛梅娜想起兒子有 50 歲了，自己希望生前能見他一面。在其女兒的介紹下，菲洛梅娜認識了記者馬丁，馬丁想了解並寫下這段歷史故事，而菲洛梅娜需要馬丁陪伴她去美國幫忙尋找兒子。

到了華盛頓特區後，兩人發現安東尼改名為邁克爾，曾是里根政府的法律顧問，遺憾的是他因患上了艾滋病已於 1995 年 8 月病逝。菲洛梅娜為了瞭解更多兒子的資訊，先後去找瑪西亞（邁克爾同事）、瑪麗（與邁克爾一起被領養的愛爾蘭人）和皮特（邁克爾生前的伴侶），發現邁克爾生前也在尋找著母親，並造訪過羅斯克裡修道院，由於修女欺騙他是母親拋棄之的緣故，造成母子二人沒能重逢。而邁克爾也最終選擇葬在了那個修道院裡。

兩人很快趕回去，馬丁對 Hildegarde 老修女故意拆散和欺騙母子二人的做法很生氣，老修女則為自己堅守的天主教女性貞潔立場辯護，而菲洛梅娜此時原諒了修女，兩人最後來到了邁克爾的墓地前看望之，菲洛梅娜告訴馬丁要把這段故事寫好後發表出來，以讓世人能瞭解這段歷史。

角色

茱蒂・丹契 - 菲洛梅娜・李，安東尼的母親
Sophie Kennedy Clark - 年輕時的菲洛梅娜
史帝夫・庫根 - Martin Sixsmith，失意記者，曾在 BBC 工作，在白宮遇見過法律顧問邁克爾；後來寫了一些俄國曆史書籍
Barbara Jefford - Hildegarde 修女
Kate Fleetwood - 年輕時的 Hildegarde 修女
Sean Mahon - 邁克爾・赫斯，菲洛梅娜的親生兒子，原名安東尼，位於華盛頓特區的大律師，曾任里根政府法律顧問，是名同性戀，1995 年死於艾滋病，葬於修道院的墓地
Mare Winningham - Mary Hess，與安東尼在小時候是好友，一起被美國夫婦所收養
Michelle Fairley - Sally Mitchell
Ruth McCabe - Barbara 修女院院長
Anna Maxwell Martin - Jane
Peter Hermann - Pete Olson，Michael Hess 生前的伴侶
Simone Lahbib - Kate Sixsmith
Amy McAllister - Anunciata 修女
Cathy Belton - Claire 修女
烏米・馬薩庫 - 年輕修女 (現代)

評價

在威尼斯影展上，本片是收到掌聲與笑聲最多的影片，也成為場刊評分最高的影片。以詼諧對白擅長的導演 “將英式冷幽默和人情之凝重間的關係處理得微妙得當，讓觀眾時而開懷大笑，時而沉重嘆息，抑或是笑著流淚，心酸著幸福。” 女主角朱迪・丹奇亦憑此片提名第 86 屆奧斯卡金像獎最佳女主角獎。

爛番茄新鮮度 91%，媒體綜評 76 分，獲得廣泛肯定。

票房

美國票房為 3593 萬美元，全球累計近 8500 萬美元。

獎項

第 71 屆金球獎

最佳戲劇類影片提名
最佳戲劇類電影女主角提名：茱蒂・丹契
最佳劇本提名：史蒂夫・庫根、Jeff Pope

第 20 屆美國演員工會獎

最佳女主角提名：茱蒂・丹契

倫敦影評人協會獎

年度英國女演員：茱蒂・丹契

第 11 屆愛爾蘭電影電視獎

電影類最佳國際女演員：茱蒂・丹契

第 67 屆英國電影學院獎

最佳影片提名：Gabrielle Tana、史蒂夫・庫根、Tracey Seaward
最佳英國影片提名：斯蒂芬・費雷斯、Gabrielle Tana、史蒂夫・庫根、Tracey Seaward、Jeff Pope
最佳改編劇本：史蒂夫・庫根、Jeff Pope
最佳女主角提名：茱蒂・丹契

第 86 屆奧斯卡金像獎

最佳影片提名
最佳女主角提名：茱蒂・丹契
最佳改編劇本提名：史蒂夫・庫根、Jeff Pope
最佳配樂提名：Alexandre Desplat
法興王

法興王，姓金，名原宗，是新羅第 23 代君主。

生平

法興王姓金名原宗，是新羅第 23 代君主，智證王與延帝夫人的長子，妃保道夫人乃炤知麻立幹與善兮夫人之女。梁天監十三年即位。《梁書》記載，王姓名募秦。法興王四年（517 年）四月開始置兵部。十五年近臣異次頓從高句麗引進佛教，法興王欲建興輪寺，引起朝臣反對，異次頓殉教，死時現異跡，頸中出白血，天地晦暗，眾臣驚詫，於是允許佛教行於國內。此後，新羅人民團結，國力增長。十九年，降服了金官國主金仇亥（金官國即駕洛國，又稱伽倻，後改稱金官；金仇亥即金仇衡），二十三年（536 年）始稱年號建元元年。二十七年七月，王薨。真興王嗣位，時年七歲，由太后攝政。
王凱 (足球運動員)

王凱，是一名中國足球運動員，現效力中國足球超級聯賽球隊武漢卓爾，司職中場。

俱樂部生涯

王凱曾先後在秦皇島中國足球學校、陝西國力青年隊接受足球訓練，之後加入浙江綠城青訓體系。 2007 年，王凱入選由浙江綠城青年隊組成的杭州三超征戰中乙聯賽，2009 年進入一隊。2009 年 10 月 5 日，他在該賽季中超第 26 輪杭州綠城客場挑戰山東魯能泰山的比賽第 86 分鐘替補蔡楚川出場，上演中超聯賽首秀，但綠城在最後時刻被對手絕殺，最終 0 比 1 告負。

職業生涯統計

2.1 俱樂部資料
魚鰓

魚是魚類的鰓，位於其咽部左右。鰓中有蛋白絲結構，其中含有毛細血管以交換氧氣與二氧化碳。它們透過將含有氧氣的水由嘴吸入鰓中來獲取之，一些魚類毛細血管中血液流向與水流相反，可以造成逆流交換，最終將含氧量減少的水從鰓中排出。

一些魚類，諸如鯊魚和七鰓鰻，擁有不止一對鰓，這與硬骨魚大相徑庭。幼年多鰭魚也有多個鰓，是一種同兩棲類幼體相似的原始結構。

呼吸

首先並不是所有的魚都要用鰓呼吸，不過可以直接呼吸空氣的魚也分兩種，例如非洲肺魚是必須要隔一段時間就需要呼吸空氣的，否則它們將窒息而死。而像下口鯰這一類的魚雖然可以直接呼吸空氣，但這對它們來說並非是必要的。大部份可呼吸空氣的魚都屬於後一種，因為這樣可以最大程度地避開水面上的捕食者。 一些鰻鱺科魚類還可以直接透過皮膚吸收氧氣。

除此之外，基本上所有的有脊椎魚類都是要用鰓呼吸的，其每一個鰓頁都有鰓弓支撐。 典型的魚鰓位於咽部兩側，透過鰓裂與外部溝通。鰓中的蛋白絲結構稱為鰓小片，可以增大魚鰓與水中氧氣的接觸面積。 當一條魚呼吸時，它會規律地將水從嘴中吸入，並強迫其透過鰓流出。硬骨魚有三對鰓弓，軟骨魚則有五到七對，原始的無顎魚也有七對。而有脊椎魚類的遠祖們則更多，一些脊索動物門動物甚至有五十對鰓。

蛋白絲組成的大受氧面積對魚類換氣至關重要，因為水中溶解的氧氣只有很少一部份且速度極慢，標準狀況下水中每立方米僅僅含有二百五十克氧氣，一升淡水中只有八立方厘米氧氣，而同樣條件下空氣中則含有二百一十立方厘米， 於此同時水的粘性是空氣的一百多倍，密度則是七百多倍。 不過隨著逐漸適應，大多數魚類已不能離水存活，水的密度可以保證其鰓不相互粘連而失去呼吸能力。

高等脊椎動物不會發展出鰓，雖然它們會在生前發育階段長出鰓弓，但最終都會變成其他器官諸如甲狀腺、喉部、聽小骨的基礎。

硬骨魚

硬骨魚的鰓位於鰓蓋下，鰓蓋可以調整咽部水壓以保證有合適的水量透過腮部，因此並不需要 “衝撞換氣”（即不停地遊動），其嘴內部的閥門構造也可以防止水倒流而出。

硬骨魚的鰓弓之間沒有隔膜，每個鰓弓支撐單獨的鰓條，一些種類的魚還有鰓耙。幾乎大部份的原始硬骨魚都缺少噴水孔，而保有與之相連的假鰓，位於鰓蓋基部，大部份又已然退化，沒有保留一絲的鰓狀構造。

海生硬骨魚也用鰓來排出電解質，同時它們的鰓可能還與其體內液的同滲容摩有關。鹹水比體內液稠一些，因此鹹水魚在呼吸時會失去一部份體內的水份。為了重新獲取，它們會喝下大量海水並排除鹽分。而淡水因為比體內液濃度低，淡水魚在呼吸時反而可以吸收到水份。

一些原始硬骨魚同兩棲動物一樣，幼體擁有從鰓弓上分出的外鰓。 成年之後退化，硬骨魚的外鰓由鰓本身控制，兩棲類則由肺部控制。在硬骨魚向四足動物進化的早期階段，內部鰓系統就已經完全消失了。

軟骨魚

鯊魚和新鰩目通常有五個鰓裂，直接與體外聯通，一些更原始的鯊魚則有六到七對。相鄰的鰓裂由軟骨鰓弓上長出的頁裝隔膜分割開來。單獨的鰓薄片位於隔膜兩側，鰓弓基部可能也支撐著鰓耙，用以過濾水。

噴水孔位於第一對鰓裂的後部，它們還有假鰓。 噴水孔可能與高等脊椎動物的耳孔是同源的。

大部份鯊魚依靠 “衝撞換氣”，即透過不斷迅速遊動強迫水從腮部流過。一些底棲或者遊速緩慢的軟骨魚，例如新鰩目的一些魚類，有更大的噴水孔，它們透過噴水孔來吸入水，而不是靠嘴。

銀鮫目是軟骨魚中的一個另類，它沒有噴水孔，又失去了第五對鰓裂，剩下的鰓由第一對鰓前面的隔膜進化出的鰓蓋保護。

七鰓鰻和八目鰻

七鰓鰻和八目鰻沒有鰓裂，它們的鰓部有一個球形囊，並有圓孔與外界聯通，每個球性囊中有兩個鰓。一些種類的圓孔已經融合，形成一個鰓蓋。七鰓鰻有七對這樣的囊，而不同種的八目鰻可能由六到十四對。八目鰻的球形囊在內部與咽相接。

寄生蟲

魚鰓是許多皮外寄生蟲（寄生於鰓的外部）的寄生地，最常見的是單殖亞綱生物和一些種類的橈足動物，其數量龐大。其他寄生蟲還包括蛭、顎水蝨類幼蟲。體內寄生蟲（寄生於鰓的內部）有被囊的囊雙科吸蟲成蟲。Huffmanela 屬的少數線蟲，諸如 Huffmanela ossicola 會寄生在魚鰓骨中，渦蟲綱的被囊寄生蟲 Paravortex 也是其中一種。寄生蟲有時是致命的，密集的寄生在鰓部可能會造成魚隻缺氧而死。
源融

源融，是日本嵯峨天皇的十二皇子。曾擔任侍從、右衛門督、大納言等職。最高官位為從一位左大臣，因曾居住在六條河原院，故又稱河原左大臣（かわらのさだいじん）。死後追贈正一位。

後人猜測他是紫式部《源氏物語》主人公光源氏的原型之一。

生平

承和五年（838 年），皇太子加元服，源融同日加冠，為正四位下，賜宸筆位記，同年任侍從。八年，任相模守。十四年，轉任近江守，不久任美作守。

嘉祥元年（848 年），兼任右近衛中將。三年，升從三位，任右衛門督。

齊衡元年（854 年），任伊勢守。三年，任參議。

貞觀初年，升正三位，任近江守。五年，兼左衛門督。六年，任中納言，兼任陸奧出羽按察使。十二年，升大納言。十四年，升左大臣。十五年，升從二位，兼東宮傅。源融上表告老封千戶，天皇不許。

元慶元年（877 年），陽成天皇即位，授正二位。源融上表辭職，天皇不許。八年，陽成天皇被廢讓位出宮。

源融自貞觀十八年冬至元慶八年（884 年），閉門不上朝。之後才開始視事理政。宇多天皇即位後，升從一位。寬平七年去世，享壽七十四歲。

喜好

源融好造庭園。他在宇治設有別墅（至藤原賴通時，改造為佛寺平等院），在嵯峨又建有山莊棲霞觀（後改造清涼寺），特別是修建於賀茂川河畔的河原院，“臺閣水石，巧窮華詭”，院內有仿造陸奧國燒製海鹽的鹽釜景觀而造的鹽屋，每月派人從大阪灣北（今尼崎市）運來潮水倒入池中，欣賞燒鹽時騰起的青煙。

源融死後，河原院由其子源昇繼承，後獻給宇多法皇。17 世紀時，河原院故地改造為涉成園。

2.1 傳說

《今昔物語集・卷 27・2》：源融死後，宇多法皇一日夜半在河原院中遇見源融的鬼魂說：“這是臣之家宅”，法皇喝道：“你的兒子已將其獻於朝廷”，至此後，源融的鬼魂再也沒有出現。《江談抄・卷 3・32》故事與上相似。

和歌

小倉百人一首・河原左大臣

系圖

嵯峨源氏源融流

5.1 系圖
直通春晚

《直通春晚》是中國中央電視臺製播的 2013 年央視春晚新人選秀節目，由 2012 年全國各地上星頻道舉辦的選秀節目各自派選 3 個代表參加該節目的選拔。第一屆從 2012 年 10 月 30 日開始進行，2012 年 12 月 30 日結束。以後每年為一屆，每年 10 月底開始進行，最終選出的年度 3 強參加央視春晚。

節目簡介

2012 年 10 月 30 日，中國中央電視臺主辦、恒大音樂協辦《直通春晚》宣傳記者會在北京市舉行，2013 年央視春晚總導演哈文表示，會從多家衛視中的選秀歌手中選出 3 位上春晚，其中就有《中國好聲音》《聲動亞洲》《星光大道》等 12 個選秀節目，評委更是由劉德華、宋祖英、成龍和《中國好聲音》四位導師等組成。雖然選秀歌手上春晚不是第一次，但選秀歌手再選秀上春晚在國內尚屬首次，這也是中央電視臺 “開門” 辦春晚的一次創新。
以後每年舉辦一次，每年邀請的節目按照當年全國各上星頻道舉辦的節目來定。

第一屆

首屆《直通春晚》比賽於 2012 年 11 月 4 日開始、2012 年 12 月 30 日晚結束，最終年度三強分別是平安、許藝娜、阿普薩薩，他們三人攜手踏上 2013 年央視春晚的舞臺。

詳見詞條：2012 直通春晚

2.1 參賽選手

2.2 比賽結果

2012 年 12 月 30 日晚，總決賽 5 進 3 直播，淘汰金池、木江子組合，《直通春晚》三強誕生分別是：平安、許藝娜、阿普薩薩。

第二屆

2013 年《直通春晚》確定了 “歌唱版” 的 6 個參賽節目，他們是：浙江衛視《中國好聲音》、東方衛視《中國夢之聲》、湖南衛視《快樂男聲》、北京衛視《最美和聲》、廣西衛視《一聲所愛・大地飛歌》以及山東衛視《中國星力量》。此外，各地將派出一名當紅明星主持人或者本地形象大使，在節目當中對節目亮點和選送理由做闡述，並現場拉票，2014 年馬年春晚劇組主創人員將攜眾專家坐鎮現場，進行挑選。《直通春晚》將從 12 月 18 日起，每週六晚 21:00 在中央電視臺綜藝頻道播出，週日晚 20:00 在中央電視臺綜合頻道重播。

詳見詞條：2013 直通春晚

3.1 參賽選手

2013 年直通春晚參賽選手

央視《直通春晚》公佈歌曲類節目參賽選手名單
緊緻性定理

緊緻性定理是符號邏輯和模型論中的基本事實，它斷言一階句子的（可能無限的）集合是可滿足的（就是說有一個模型），當且僅當它的所有有限子集是可滿足的。

命題演算的緊緻性定理是吉洪諾夫定理（它聲稱緊緻空間的積是緊緻的）應用於緊緻 Stone 空間的結果。

應用

從這個定理可以得出，如果某個一階句子對於特徵值為零的所有域都成立，則存在著一個常量 p，使得這個句子對特徵值大於 p 的所有域都成立。這可以被看作為如下：假定 S 是要考慮的句子。那麼它的否定～S，和域公理與句子的無限序列 1+1 ≠ 0, 1+1+1 ≠ 0, ... 一起，不能被假定所滿足。所以這些句子的有限子集是不可滿足的，意味著 S 在有足夠大特徵值的這些域中成立。

從這個定理還得出，有一個無限模型的任何理論都有任意大基數的模型。所以，有著帶有不可數多個自然數的皮亞諾算術有非標準模型。非標準分析是出現無限個自然數的另一個例子，是不能被任何公理化所排除的可能事物，也是緊緻性定理的一個推論。

證明

緊緻性定理可以使用哥德爾完備性定理來證明，它確立了一組句子是可滿足的，當且僅當沒有矛盾可以證明自它們。事實上，緊緻性定理等價於哥得爾完備性定理，並且二者都等價於超濾子引理，它是弱形式的選擇公理。因為證明總是有限的，所以只涉及有限多個給定句子，就得出了緊緻性定理。

哥德爾最初就是以這種方式證明緊緻性定理的，但是後來又找到了緊緻性定理的一些 “純語義” 證明，就是說提及 “真理” 但不提及 “可證明性” 的證明。這些證明倚賴於依仗選擇公理的超乘積：

證明：固定一個一階語言 L，並設 Σ 為 L - 句子的蒐集，使得所有 L - 句子的子蒐集 i ⊆ Σ 都有模型。還設是這些結構的直接乘積，和 I 是 Σ 的有限子集的蒐集。對於 I 中每個 i 設 Ai := {j ∈ I : j ⊇ i}。所有這些集合 Ai 的家族形成一個濾子（filter），所以有一個超濾子（ultrafilter）U 包含形如 Ai 的所有集合。

現在對於 Σ 中任何公式 φ 我們有：

集合 A {φ} 在 U 中
只要 j ∈ A {φ}，則 φ ∈ j，因此 φ 在中成立
帶有 φ 在中成立的性質的所有 j 的集合是 A {φ} 的超集，因此也在 U 中

使用Łoś定理我們看到 φ 在超乘積中成立。所以這個超乘積滿足 Σ 中所有的公式。

緊緻性定理（版本 2）

3.1 緊緻性定理的定義

緊緻性定理定義：

1）在一階邏輯中，如果我們有一個公式集合（記作）並且是一個不滿足式的公式集合，那麼至少有一個有限個數元素的子集（記作）並且也是不滿足式的集合

我們注意到：

2)（換一句話說），如果我們有一個公式集合（記作）並且是一個可滿足式的公式集合，那麼對於所有有限個數元素的子集（記作） , 也是可滿足式的集合

3)（換一句話說），前提假設我們有一個子句（Clause）集合（記作）S，並且 S 中的所有子句是封閉的（Clause Fermee，也就是說子句中不含有變數），如果 S 是不可滿足式的子句集合，當且僅當 S 至少有一個子集合 S'，S' 是有限集合並且 S' 是不可滿足的集合

我們注意到：

在 3) 中我們把公式集合轉化成子句集合 S，（根據定理：），我們說的可滿足性和轉化成的子句集合 S 的可滿足性是等價的

3.2 緊緻性定理的證明

我們對 1) 的證明如下：

在證明前，我們需要知道如下定義：

a) 完備性（Completude）定理的定義：前提假設我們有一個有限個數元素的子句集合（記作）S 並且 S 中不含有變數（符號），如果 S 是不可滿足的集合，那麼 S 必定擁有一個駁斥（Refutation）

b) 駁斥（Refutation）的定義：一個子句集合 S 的駁斥是一個透過應用衍生方法產生的一系列子句並且最後的是一個空子句，我們叫做 S 擁有（或接受）一個駁斥，記作

我們注意到當 S 擁有一個駁斥時，那麼很顯然集合 S 是有限的，產生的子句也是有限的，這是因為我們不能再運用衍生規則產生其它新的子句

c) 衍生（Derivation）的定義：從一個子句集合 S, 透過應用解決規則（regle de resolution）或因式分解規則（regle de factorisation）產生得到的一系列子句叫做衍生

d) 正確性（Correction）定理的定義：前提 S 是一個不含變數符號的子句集合，如果子句 C 是子句集合 S 透過應用解決規則或因式分解規則所的到的子句，那麼子句 C 是子句集合 S 的邏輯子序列（Consequence Logique），記作，也就是說集合 S 的所有模型（或稱解釋，指派）也是子句 C 的模型

e) 邏輯子序列（Consequence Logique）的定義：一個公式（或公式集合）是另一個公式（或公式集合）的邏輯子序列，當且僅當所有的模型（或稱解釋，指派）是的模型，記做

證明：

根據完備性定理我們可以知道子句集合 S 擁有一個駁斥，那麼對應的集合也擁有駁斥，那麼這兩個集合都是有限的，所以一個 S 的子集合 S' 在衍生駁斥中也是有限的，我們根據正確性定理可以知道，透過應用衍生規則，S' 也是不可滿足的，那麼很顯然存在對應於 S' 的公式集合來說，由於含有以子句形式的集合 S', 那麼集合必定是不可滿足的
西康賓館

}}

西康賓館是一間四星級的賓館，位於南京市鼓樓區西康路 33 號。

沿革

西康路 33 號原為汪精衛的私人住邸。1946 年，西康路 33 號修建成美國駐華大使館，有三幢造型相同、規模相等的西式樓房和三幢西式平房，房屋依山而建。三幢西式樓房為公寓式建築，原為大使館官員的住所，磚石結構，高三層，另有一層地下室，四面坡屋頂，屋脊兩側及後牆豎有用來取暖壁爐。樓房正面為門廊、陽臺，中間是客廳、辦公室，後面為廚房和休息場所。1949 年 4 月 23 日，中國人民解放軍攻佔南京，當時美國駐華大使司徒雷登滯留在大使館內，毛澤東派黃華在使館內與司徒雷登密探，司徒雷登曾表示訪問北京意願，得到毛澤東回應。6 月 30 日，司徒雷登致電美國國務院，但在 7 月 2 日收到覆電稱不得訪問北京。同年 8 月 2 日，司徒雷登被迫返回美國。8 月 18 日，毛澤東撰寫《別了，司徒雷登》一文紀念。1950 年 2 月 18 日，美國政府的最後一名外交官（培根）撤離此處大使館，之後大使館由南京市軍管會接管。

1952 年至 1960 年曾是中共江蘇省委駐地。1953 年 3 月 22 日，毛澤東來南京巡視時，曾下榻於此，住中間樓（是柯慶施、江渭清的宿舍）。後成為省委辦公廳西康路招待所，1988 年改稱西康賓館，是中共江蘇省委辦公廳下屬事業單位，主要承擔江蘇省的政治接待任務。1994 年 11 月 5 日，中國共產黨中央紀律檢查委員會常委劉麗英率領調查組入住西康賓館，調查無錫新興實業公司非法集資案（當時中華人民共和國涉案金額最大的金融案件）。2002 年，西康賓館被列為江蘇省文物保護單位。
智證王

智證王姓金名智大路或智度路、智哲老，是新羅第 22 代君主。奈勿麻立幹與保反夫人的曾孫，卜好公 (寶海) 與聖明夫人之孫，習寶與鳥生公主之子，炤知麻立幹再從弟，曾祖母保反夫人為味鄒王與光明王后之女，祖母聖明夫人為奈勿王與內留夫人之女，母鳥生公主金氏為納祗麻立幹與阿孝夫人之女，正妃延帝夫人樸氏，伊飡登欣與牟梁宮主之女。

智證王嗣位時年六十四歲，他形體鴻大，膽力過人。智證王四年正式定國號為新羅，取意「新」者德業日新，「羅」者網羅四方之義。在位十五年去世，年七十八。從智證王起新羅國王才有諡法。
214 省道

214 省道可以指：

214 省道 (江西省)
214 省道 (四川省)
214 省道 (浙江省)
神遊機

神遊機（iQue Player），是由神遊科技開發的家用電視遊戲機。 神遊機執行的遊戲軟體為日本公司任天堂開發的任天堂 64 遊戲的簡體中文版。

2003 年 9 月 25 日，在日本京都舉行的 “神遊 - 任天堂全球新聞釋出會” 上，新上任的任天堂社長巖田聰宣佈將與神遊科技合作在中國大陸發售一款家用遊戲機。由於當時中國大陸自 2000 年 6 月以來受電子遊戲機禁令影響（至 2014 年解除），因此以「三維互動系統」名義公佈。2003 年 11 月 17 日，神遊機在上海上市。2016 年 10 月 31 日，神遊宣佈神遊機的相關配套服務會在 2016 年 12 月底結束運營。

神遊機是到目前為止，神遊科技所引進的任天堂遊戲機當中唯一一款家用遊戲機。

硬體規格

神遊機的硬體總體規格與任天堂 64 相同，並加入了一定的技術創新，比如：神遊機將主機與手柄一體化、採用專用卡帶 “神遊卡” 儲存遊戲、提供網路下載作為購買遊戲渠道之一、提供硬體系統升級服務等。

處理器：R-4300 64BIT CPU (93.75MHz)
記憶體：RAMBUS 記憶體，共 4MB
顯示：每秒 10 萬多邊形以上，同顯 209 萬色
音源：ADPCM 64 路

200px

1.1 配件

共遊盒

共遊盒是神遊科技為神遊機實現線下多人聯機遊戲而推出的相關配件。由於任天堂 64 在多人遊戲時只需將手柄插入主機上即可，但是由於神遊機採用了手柄與主機的一體化設計，故其無法與神遊機連線進行多人遊戲。共遊盒可以將神遊機插入連線並增購共遊機實現多人遊戲。

遊戲
吳川站

吳川站為深湛鐵路茂湛段和在建廣湛高速鐵路的三等站，位於廣東省湛江市吳川市長岐鎮，於 2018 年 7 月 1 日開通客運服務。

車站結構

吳川站設有正線 2 條、到發線 3 條，設基本站臺和中間站臺各一座，站臺間設旅客地道 1 處，站臺設等長雨棚。本站設貨場一處，貨物線 1 條，牽出線 1 條，貨物站臺 1 座。

歷史

2.1 第一代站房

吳川站於 2012 年 9 月 14 日開工建設，2013 年 12 月 28 日隨茂湛鐵路開通而啟用。因進站公路、車站廣場等配套設施尚未建成，車站初期不辦理客運及貨運業務，僅辦理數對列車的透過和會讓作業。

2018 年 1 月，本站提質改造工程隨茂湛鐵路電氣化配套工程一同進行，包括重新裝修站場和站房內候車室等。同年 7 月 1 日，車站隨深湛鐵路江茂段開通一併開通客運。

2.2 第二代站房

建設中的廣湛高速鐵路將設有吳川站。為接入廣湛高鐵，吳川站站房在 2024 年進行了改造工程。該工程以 “飄色疊翠，騰飛吳川” 為設計理念，融合了吳川當地的坡屋頂元素。車站停運期間，當局開通了臨時接駁茂名站的專線車，以便利當地民眾乘坐高鐵。

2024 年 6 月 18 日，吳川站新站房主體結構封頂，為廣湛高鐵首座封頂車站。8 月 9 日，新站房完成主體結構施工。同月 22 日，吳川站完成訊號系統改造，正式啟用新站型。10 月 28 日，站房金屬屋面施工完成。

2025 年 1 月 14 日，吳川站恢復運營。

鄰近車站

方向}}
後漢皇陵

後漢皇陵，是位於河南省禹州市的皇家陵墓。2013 年 5 月，被國務院列入第七批全國重點文物保護單位名單中。

簡介

後漢皇陵是禹州市唯一的皇家陵寢。它位於禹州市萇莊鄉柏村柏嘴山，現存有五代後漢高祖劉知遠睿陵、後漢李氏高後陵和後漢隱帝劉承祐潁陵，是一處儲存較為完整的五代後漢帝后墓群。
老街溪河川教育中心

老街溪河川教育中心位於桃園市中壢區中原路 58 號 (中壢、平鎮交界處)，為一以河川為主題的環境教育中心，成立於 2011 年 6 月 5 日。

歷史

1983 年（民國 72 年）桃園縣中壢市公所招標加蓋老街溪，以掩蓋河川惡臭問題並振興市街。
1989 年（民國 78 年）老街溪上方長 725 公尺、高 5 公尺的加蓋建物建成。
2008 年（民國 97 年）桃園縣政府環境保護局規劃推動「老街溪及南崁溪流域汙染整治調查及水岸活化整體規劃計畫」。
2010 年（民國 97 年）桃園縣政府成立「桃園縣河川汙染整治推動委員會」以整治老街溪，並規畫將加蓋段開蓋。
2011 年（民國 100 年）7 月，老街溪開蓋工程完工。
2011 年 6 月 5 日，老街溪河川教育中心動土典禮。
2012 年（民國 101 年）5 月 13 日，老街溪河川教育中心啟用。
2013 年 1 月 28 日，老街溪河川教育中心透過行政院環境保護署環境教育設施場所認證。

設施

老街溪河川教育中心位於老街溪畔，由原有兩棟客家三合院古老磚厝改建而成。主要介紹有關老街溪的河川整治過程、河川生態等資料。入口處有四座時光隧道滑梯，供孩童們遊玩。

位於中壢平鎮交界處，是全國第一個以「河川」為主題的教育中心，該中心比鄰老街溪畔，見證河川整治過程。河川教育中心在桃園市平鎮區新榮國民小學右側所保留的 0.4 公頃上，改建原有兩棟客家三合院古老磚厝，透過緊鄰老街溪的地理空間及老厝建築的歷史營造，做為大眾溯源尋根的文史基地、探索河川的體驗場域，也同時藉由空間與體驗結合，轉換成永續的態度

河川教育中心設有故事館、生態館、時空隧道溜滑梯、老水井、公廁（舊有豬圈）等。另外，除了常態性的展覽之外，也為十人以上團體提供預約解說導覽，以及教師、團體的研習課程。

教育中心內的展區透過設計讓人由淺入深，有系統地去吸收學習。從人文歷史到生態教育的層面，逐步達成教育效果。戶外解說區設有縮小版的老街溪，以實際的地貌呈現改造老街溪的生態工法，讓人們與大自然接觸的同時，也能夠瞭解老街溪改造的歷程。

河川生態教育館則是透過詳細的文字解說、互動裝置以及全區縮小模型，讓人更進一步瞭解「大掀蓋計畫」，並且同時透過展品普及環境教育。

老街溪故事館則是透過修復的民房，保留了傳統的建築空間，並以歷史照片等展示，呈現出過去老街溪與人們的關係，透過空間設計同時連結了過去與現在。
世田谷 (世田谷區)

世田谷是日本東京都世田谷區的町名。現行行政地名為世田谷一丁目至四丁目。人口 15,700 人，面積 0.772 平方公里。

地理

位於東京都世田谷區中央，鄰接梅丘、若林、上馬、弦卷、櫻、豪德寺。也是世田谷區役所所在地。

北邊烏山川綠道下方是已暗渠化的烏山川。烏山川也在町內留下了八幡橋、城向橋、青葉橋、品川橋等橋名。水準點（世田谷 2 丁目 13 番）海拔為 38.6993 公尺（2006 年（平成 18 年）1 月 1 日）。

歷史

繩文前期的聚落遺跡「元宿遺跡」在四丁目內。繩文中期包藏地「淨光寺遺跡」在一丁目。江戶時代，此地多為彥根藩井伊家領地，1633 年（寛永 10 年）至 1871 年（明治 4 年）為大場家屋敷，東京都史蹟世田谷代官屋敷在一丁目。

2.1 地名由來

「世田谷」的「世田」原為「瀨田」，也寫作同音的「勢田」、「勢多」。之後此地屬勢田鄉，因谷地眾多而稱「せたかい」，後「狹」（かい）轉變為同義語「谷」，發音也變為「せたがや」，寫作「世田谷」或「世田ヶ谷」。因此，「世田谷」意為勢田鄉的谷地 。

交通

東急世田谷線世田谷站、上町站
世田谷通
駒留通
駒澤公園通：巴士

設施

4.1 公共設施

世田谷區役所（本廳）：道路另一邊是第一廳舍（第一廳舍、世田谷區民會館、第二廳舍、第三廳舍、停車場）設施群。

4.2 教育

青葉學園幼稚園：學校法人青葉學園的幼稚園。與東京醫療保健大學世田谷校區同建地。
世田谷區立櫻小學校
東京醫療保健大學世田谷校區。與青葉學園幼稚園同建地。
國士館大學：世田谷校區。鄰接國士館中學校及高等學校。
世田谷中央看護高等專修學校

4.3 商業、金融

世田谷一郵便局
世田谷四郵便局
世田谷信用金庫本店
三菱東京 UFJ 銀行世田谷上町支店
世田谷站前商店街振興組合
襤褸市通櫻榮會商店會
上町銀座會
城山通商店會
OZEKI 上町店
SUMMIT STORE 松陰神社前店
7-11 世田谷 1 丁目店，世田谷中央病院店，世田谷上町店
FamilyMart 世田谷一丁目店
Lawson 世田谷二丁目店，世田谷三丁目店

4.4 觀光

世田谷代官屋敷：東京都史跡，大場家住宅主家與表門建物是國家指定重要文化財。
世田谷區立鄉土資料館：世田谷代官屋敷建地內的登入博物館

活動

襤褸市（ボロ市）：襤褸市通為中心，12 月與隔年 1 月舉行。

管轄公署

世田谷總合支所
上町社群營造中心（まちづくりセンター）
世田谷保健所
世田谷稅務署
世田谷都稅事務所
東京都水道局世田谷東營業所
東京法務局世田谷出張所
世田谷年金事務所
世田谷警察署
世田谷交番
世田谷消防署
郵便事業世田谷支店 郵遞區號為 154-8799。
明星大學

明星大學（、英語: Meisei University）是日本東京都的一所大學，主校區位於日野市，在青梅市有分校。1964 年建立。

概要

1923 年（大正 12 年）成蹊學園的事務局長兒玉九十創立了明星實務學校。1964 年（昭和 39 年）明星大學開學。

其日野校理工學部、人文學部、經濟學部、教育學部、經營學部、情報學部、青梅校造形藝術學部共計七個學部 11 學科（學生數は約 8,000 人），後來又設定了通訊教育課程。

根據週刊東洋經濟 2012 年 10 月 22 日號，該大學排全日本國 37 位、私立大學中排 14 位、圖書館學生平均資産擁有量居全國第 2 位。

其畢業生有許多都是公立學校教員。其舊圖書館中有亞伯拉罕・林肯的著書及手稿， 此外還有莎士比亞 1623 年發行的《莎士比亞戲曲全集》初版。

沿革

1923 年，明星實務學校創立
1964 年，已有理工學部 5 學科的明星大學開學，第一代校長兒玉九十就任
1965 年，人文學部（英語英文學科、社會學科、心理 / 教育學科）開設
1966 年，人文學部、經濟學科開設
1967 年，通訊教育部心理、教育學科開設
1969 年，日本大學生運動爆發，11 月 16 日參與全學共鬥會議的 14 名學生被退學，後來又解僱了支援鬥爭的教師石谷行
1971 年，大學院人文學研究科開設
1972 年，大學院理工學研究科開設
1978 年，兒玉三夫第 2 代校長、理事長就任
1982 年，東京林肯中心開所
1983 年，戰後教育史研究中心及情報科學研究中心開所
1984 年，田老宇宙線觀測所及同鉱山史料館開所
1985 年，物性研究中心開所
1992 年，青梅校開設，此時形成 4 學部 13 學科 2 専修體制，同年情報學部（經營情報學科、電子情報學科）、日本文化學部（言語文化學科、生活藝術學科）開設
1994 年，莎士比亞館開館
1996 年，因前年的土地糾紛，創立者兒玉一族從學苑經營中撤出，學苑民主化，經營與教學分離
1998 年，大學院情報學研究科開設
1999 年，通訊制大學院教育學専攻開設
2000 年，日本文化學部生活藝術學科改名為造形藝術學科
2001 年，人文學部經濟學科改組為經濟學部經濟學科開設，此時形成 5 學部 13 學科 2 専修體制
2003 年，人文學部社會學科改名為人間社會學科，人文學部心理、教育學科開設保育士養成課程設定
2005 年，學部學科改組，形成 6 學部 14 學科 2 専修體制
2006 年，大學院經濟學研究科開設
2010 年，學部學科改組，形成 6 學部 11 學科 9 課程體制
2012 年，經濟學部經營學科改組為經營學部經營學科

學部・大學院構成

3.1 學部

理工學部
理工學科
物理學系
生命科學・化學系
機械工學系
電氣電子工學系
環境科學系
人文學部
國際交際學科
人間社會學科
日本文化學科
福利實踐學科
經濟學部
經濟學科
情報學部
情報學科
教育學部
教育學科
小學校教員路線
教科專門路線（國語路線、社會路線、數學路線、理科路線、音樂路線、美術路線、保健體育路線、英語路線）
特別支援教員路線
孩子臨床路線
經營學部
經營學科
設計學部
設計學科
心理學部
心理學科
建築學部
建築學科
資料科學學環

3.2 大學院

理工學研究科（博士前期課程・博士後期課程）
物理學專業
化學專業專攻
機械工學專業
電氣工學專業
建築・建設工學專業
環境系統學專業
人文學研究科（博士前期課程・博士後期課程）
社會學專業
社會學路線
社會福祉學路線
國際交際專業
情報學研究科（博士前期課程・博士後期課程）
情報學專業
教育學研究科（博士前期課程・博士後期課程）
教育學專業
經濟學研究科（修士課程）
應用經濟學專業
心理學研究科（博士前期課程・博士後期課程）
心理學專業

3.3 通訊教育部

通訊教育部人文學部
心理・教育學科
通訊教育部教育學部
教育學科
小學校教員路線
教科專門路線
特別支援教員路線
孩子臨床路線
教育學路線
通訊制大學院人文學研究科
博士前期課程
博士後期課程
明星大學大學院教育學研究科教育學專業通訊課程
博士前期課程
博士後期課程

3.4 附屬機關

教育研究機關
附屬圖書館 (約 90 萬本所藏)
明星大學圖書館
明星大學資料圖書館
明星教育中心
情報科學研究中心
連攜研究中心
心理相談中心
學生支架機關
學生支架中心
教務事務中心
教職事務中心
學部支援中心
國際教育中心
地域交流中心
普適的設計中心
志願者中心
就職中心
保健管理室
學生相談室
醫療所

3.5 出版

明星大學出版部
物競天擇 2

是一個多人電子遊戲，它結合了第一人稱射擊和即時戰略。它被設定在一個科幻宇宙，在其中人類團隊在大型並複雜的室內設施與外星團隊戰鬥，試圖搶奪資源與領土。

遊戲

如同一代《物競天擇》一樣，《物競天擇 2》分為兩隊玩家，Kharaa（外星生物）和海軍陸戰隊，遊戲成功條件是摧毀對方的基地。雖然兩隊都有相同的基本目標，但是兩隊的遊戲方式是迥然不同。海軍陸戰隊員在很大程度上依靠槍支和其他技術來消滅外星生物的存在。而外星生物則主要依靠近戰攻擊。某些外星生命種類可以在牆壁上行走，飛行，甚至瞬移。玩家也有他們用來購買裝備或進化的一個貨幣體系。海軍陸戰隊的資源是共享的，而外星生物的則是各自區分開來。

區分《物競天擇》與其他第一人稱射擊題材的主要特點是它的戰略組成部分。雙方隊伍都有一個玩家作為一名指揮官，指揮模式是一個自上而下的全地圖俯檢視，並且是以即時戰略的角度來玩遊戲。指揮官可以用資源來建立建築物，研究、升級能力，或以各種方式來及時支援他的團隊（空投補血包和彈藥包，或豎立的牆壁，阻擋敵人的行動），在《物競天擇》的建築物被設計為幫助玩家提升他們的進攻、防禦、隱身和速度能力等。

發展

專為遊戲開發的遊戲引擎最初被稱為 “Evolution”，後被更名為 “Spark”。遊戲引擎使用的 Lua 指令碼語言，可以很容易地由多個第三方庫來擴充套件遊戲的力學、物理支援。該遊戲於 2006 年 10 月正式宣佈。

未知世界（Unknown Worlds）是《物競天擇》的創造者新成立的公司。Charlie ‘Flayra’ Cleveland 繼續研發遊戲，而 Cory Strader（NS 的概念藝術家）將繼續他的工作，也將貢獻概念藝術品。

2006 年 12 月 1 日 宣佈的第一次重大宣佈一個可能的新功能，名為 “動態侵擾”（Dynamic Infestation）。一個包含動態侵擾的影片於未知世界的研發部落格被張貼公佈。
2007 年 8 月 31 日 麥克斯麥圭爾 (Max McGuire) 和查理克利夫蘭 (Charlie Cleveland) 的播客被釋放。這些音訊自從被釋出後陸陸續續有不定時的更新。他們討論發展過程，資金和重點，並作為訪談的基礎。
2008 年 4 月 6 日 成立了未知世界（Unknown Worlds）辦公室
2008 年 7 月 10 日 未知世界宣佈他們的從 Source 引擎轉移到自主研發被稱為 “星火” 的引擎，概念作品時常發布在未知世界的研發部落格。
2009 年 10 月 未知世界證實計劃支援 Mac OS X 與 Linux 平臺。
2010 年 2 月 未知世界煩惱宣佈，遊戲發布初期並不會支援 Mac OS X、Linux 和 Xbox。另據透露，《物競天擇》在前期訂單積累了超過 20 萬美元，透過天使投資 50 萬美元。
2010 年 4 月 9 日 一個獨立的引擎打造成為其中包括外部地圖製作工具。在 5 月 7 日，引擎構建開始使用 Steam 作為其主要的分發與更新源。
2010 年 7 月 13 日 宣佈一個非公開的 alpha 測試版本將於 2010 年 7 月 26 日透過 Steam 發布給所有特別版預購的客戶。此版本將是隨著遊戲開發來持續更新，最終將會成為測試版本。隨後版本的遊戲將充分釋放。
2010 年 11 月 18 日 UWE (Unknown Worlds Entertainment) 更新從非公開的 alpha 測試狀態，改為允許任何曾購買預購版本遊戲的人來進行測試，隨著此訊息公佈之後帶來了額外一萬份預購並進入測試。這主要是帶來更多的資金。
2010 年 7 月 26 日 alpha 測試開始，由那些預先訂購 “特別版” 遊戲的玩家，能夠透過 Steam 來啟用。
2012 年 10 月 31 日 在 Steam 上發布了比賽。

評價

《物競天擇 2》在第一週售出 144,000 份，收入超過 100 萬美元。普遍受到好評，並取得 80 Metascore 的評分成績。

相關

物競天擇
唐道碧

唐道碧（Toby Philip Down，），生於英國雅士谷，英國裔香港足球運動員，司職防守中場，曾效力香港超級聯賽球會東方龍獅。

早年生活

唐道碧生於英格蘭，在 3 歲時因為父親的工作關係而整家搬到香港。

球員生涯

2013 年 7 月 18 日，唐道碧與甲組球會公民簽約一年，

直至 2014 年 4 月，唐道碧因為要專注學業發展，在雙方同意下已經取消球員註冊。

2015 年，唐道碧經現時陸志豪與朋友所成立的運動員公司，獲發獎學金到美國內布拉斯加州的康考迪亞大學升學，同時代表校隊徵戰全國大學校際聯賽。

2018 年 8 月 4 日，唐道碧加盟由青年軍時期教練李志堅執教的港超聯球會和富大埔。

2020 年 7 月 6 日，唐道碧加盟港超聯球會東方龍獅。隨後連續兩個球季他被外借至冠忠南區。

榮譽

傑志

香港足總盃冠軍（2012–13 季度）
季後附加賽冠軍（2012–13 季度）

和富大埔

香港超級聯賽冠軍（2018–19 季度）

東方龍獅

香港菁英盃冠軍（2020–21 季度）
於明加

於明加，吉林長春人，中國演員，畢業於中央戲劇學院表演系 2000 級本科。

影視作品

1.1 電視劇 / 網路劇

1.2 電影

2019《助理女王》(網路電影)
2025《陽光照耀青春裡》

1.3 話劇

《樓梯的故事》卡爾米娜
《流鶯》
《開市大吉》
《心靈遊戲》
《萬家燈火》
《情人》薩拉
《駱駝祥子》小福子
《蔡文姬》蔡文姬
《老爸開門》查燕兒
《榆樹下的慾望》

奬項

2013 國劇盛典 年度人物
2014 年 第十屆 全國十佳電視製片 十佳電視劇演員
明周王墓

明周王墓，是位於河南省禹州市的明代周定王朱橚的墓。2013 年 5 月，被中國國務院列入第七批全國重點文物保護單位名單中。

簡介

禹州有明代周藩、徽藩親王、郡王墓葬合計 20 餘處。周藩封於開封，周定、恭、端三王葬於禹州城北太白山南麓，康僖郡王葬於城東金牛山北麓。

明周王墓（周定王墓）修於明初，雖處深山，幾百年來多次被盜掘，現面積 1400 平米的地宮內 10 個大墓室一空如洗。嬪妃陪葬墓地宮面積 400 餘平米，雙曲拱券覆盆狀，18 券洞同穴分室，門朝向高大寬敞、能容 “大客車” 行駛的環形甬道，拱券青磚弧面曲率預先燒製，渾然天成，為中國已發現的地宮建築形制中所獨有。
南京東郊國賓館

南京東郊國賓館是一間五星級賓館，建於 1957 年，地址在南京市中山陵 5 號，位於中山陵和明孝陵之間的紫霞湖畔，處於紫金山風景區核心地帶，環境優美。東郊國賓館是中共江蘇省委辦公廳的直屬事業單位，主要承擔江蘇省的政治接待任務，毛澤東曾下榻此處。
廖富源

廖富源（Liu Fu Yuen，），生於香港，香港足球運動員，司職守門員，現時效力香港超級聯賽球會東方。

球員生涯

廖富源生於香港，於 2013 年夏天加盟甲組新升班球會元朗，在加盟後首個球季，他協助元朗最終以第 7 名完成聯賽，保住頂級聯賽資格。可是隨著港超聯於 2014/15 年球季的成立，取替甲組成為香港的頂級聯賽，廖富源大部份時間都擔當後備。

直到 2015 年夏天，廖富源加盟甲組半職業球會晨曦，最終協助晨曦奪得足總盃初賽冠軍和聯賽季軍。其後，他在翌季協助晨曦禪聯足總盃初賽冠軍和以全季不敗姿態奪得聯賽冠軍，結果晨曦沒有選擇升班挑戰港超聯。

2017 年 12 月 1 日，廖富源轉會到甲組球會黃大仙，並在各項賽事上陣 20 場，協助黃大仙最終以聯賽第 7 名完成球季。球季完結後，廖富源轉會到港超聯球會東方龍獅。

在 2021/22 季初菁英盃賽事分組賽，廖富源為東方龍獅連續 3 場正選上陣。

榮譽

公民

香港高階組銀牌冠軍（2010–11 季度）

晨曦

香港初級組足總盃冠軍（2015–16、2016–17 季度）
香港甲組聯賽冠軍（2016–17 季度）

東方

香港足總盃冠軍（2023–24 季度）
鬥江河

鬥江河，又稱四甲河，位於廣西壯族自治區北部，是古宜河（尋江）左岸支流，發源於融安縣板欖鎮水鴨村，北流入三江侗族自治縣境，經高基瑤族鄉，至鬥江鎮匯入古宜河。河長 44.41 千米，流域面積 419 平方千米。
活額寄居蟹科

活額寄居蟹科（學名：Diogenidae）是節肢動物甲殼綱十足目歪尾下目寄居蟹總科之下的一個科，特徵是左鉗比較右鉗大，而其他總科內的科大多數是右鉗比較大。本科在世界上現存 429 個物種，另外還有 46 個已滅絶的物種，是海洋寄居蟹中繼寄居蟹科（Paguridae）之後的第二大分支。

下屬分類

本科包括以下屬：
維也納工業大學

維也納工業大學（Technische Universität Wien）是奧地利首都維也納的主要大學之一。

歷史

其前身為成立於 1815 年的帝國與王國理工學院（k.u.k. Polytechnisches Institut）. 現有 17931 名學生（含 28% 的國際學生和 29% 的女生），4000 名教職工（其中 1800 名教師）。學校的教學與科研以工程學和自然科學見長。

知名教授和校友

（1806 - 1873），經濟學教授
（1907 - 1992），印刷電路板發明人
（1879 - 1936），克羅埃西亞建築師
，達特茅斯學院工程學教授，生物工程學家和企業家，GlycoFi 及 Adimab 公司創始人
（1903 - 1992），奧地利機車設計師與工程師
（1861 - 1916），奧地利機車設計師與工程師
（1900），卡布蘭式水輪機發明人
米盧廷・米蘭科維奇（1879 – 1958），地球物理學家，土木工程師
（1867 - 1932），19 世紀末 20 世紀初傑出的保加利亞建築師
理查德・馮・米澤斯（1883 - 1953），科學家
（1913 - 1997），建築師（畢業於 Graz University of Technology）
費迪南德・皮耶希（1937），奧地利企業家，工程師，前任大眾集團監事會主席
（1901 - 1941），克羅埃西亞猶太裔物理學家，哲學家，政治人物及公共活動家
Irfan Skiljan，影像瀏覽器 IrfanView 作者
（1877 – 1949），克羅埃西亞建築師。
（1940），發明人，IBM 院士
（1920），奧地利計算機先驅
（1962），伊朗電子工程師，現為諾基亞西門子部門主管
弗裡茨・朗，知名導演
安娜・基森霍夫，奧地利奧運金牌。

體育

2007 年 10 月，維也納工業大學承辦了世界校際運動會。

畫廊
中共江蘇省委辦公廳

中國共產黨江蘇省委員會辦公廳，簡稱中共江蘇省委辦公廳，是中國共產黨江蘇省委員會的一個直屬工作機構。

1952 年 11 月 1 日，中國共產黨江蘇省委員會正式發出 “省委業已成立” 的通知，在南京市西康路 33 號的美國駐中華民國大使館舊址（現為西康賓館）開始辦公。辦公廳集中在西康路 33 號前院的主樓。省委委員歐陽惠林任辦公廳秘書長。

主要職責

協助江蘇省委領導人處理省委日常工作。

機構設定

廳機關內設機構：秘書處、省委總值班室、綜合處、經濟處、農村處、省委督查室、資訊處、黨刊處、幹部人事處（機關黨委）、法規和政法處、黨群處、宣傳科教處、機要交通處、接待處、財務處、行政處、技術室、老幹部處、後勤服務中心

代管二級局：省委機要局、省國家保密局、省檔案局、省信訪局

直屬事業單位：東郊國賓館、西康賓館、印刷廠

歷任主任

歐陽惠林（1952 年 11 月 1 日 ——？，秘書長）
……
OSTER project

OSTER project 是日本的音樂團體，音樂製作人 OSTER（1986 年 11 月 24 日－）的個人企劃樂團。女性。別名義「ふわふわシナモン」「OSTER "BIG BAND" project」。

概要

自小學二年級至高中時代學習了十年的鋼琴，

中學時代學習用電腦軟體製作音樂、中學二年級開始作曲，

2003 年起始在 muzie 網站發表純演奏樂曲（目前已關閉使用者頁面）。

2007 年 9 月，在 NICONICO 動畫網站投稿了使用 VOCALOID 初音未來所製作的「戀スル VOC@LOID（戀愛 VOC@LOID）」，一夕廣受歡迎，至今點閱率已超過百萬。「戀スル VOC@LOID」描寫初音未來與創作者之間的戀愛歌曲，賦予初音未來的角色形象並帶起 VOCALOID 原創曲風潮，對當時的 VOCALOID 音樂圈帶來極大的影響，成為初音未來流行文化的推手。

在 NICONICO 網站投稿時使用「ふわふわシナモン（軟綿綿大耳狗）」的名義發表作品，也常使用大耳狗在作品動畫中。另一個網路聽眾所取的別名「ふたなり P」來自模擬 VOCALOID 主持電臺的影片「戀スルラジオ（戀愛廣播）」之中，初音未來詢問 OSTER 的性別、得到回答是「ふたなり（扶他那裡）」，也曾經使用過簡寫「FTNR-P」名義創作歌詞。

1.1 特徵

OSTER project 的樂曲特徵，包括強調女孩子視點撰寫的歌詞、配以可愛的 J-pop 風格。帶有哀愁感的敘事曲風和爵士系的歌曲也十分受到歡迎。使用 VOCALOID 製作歌曲時會尊重每一個 VOCALOID 的角色設定。

VOCALOID 的調整技術相當受到好評，曾受邀撰寫 VOCALOID 的調整教學。

不限於歌唱，OSTER project 也使用 VOCALOID 模仿人類說話，，在個人專輯中收錄有 VOCALOID 的對談橋段。

OSTER project 另一個作品特徵，便是使用朋友Ｙおじ所繪製的影像製作音樂影片，兩人經由 OSTER project 投稿的 VOCALOID 作品而認識。

VOCALOID 樂曲以外，也參與 beatmania 等音樂遊戲製作，也擔任偶像團體的音樂製作人，與歌手合作提供樂曲。

1.2 經歷

2007 年，發表自主製作的純音樂專輯《ねこのかんづめ》。

2008 年末，正式出道，發表第一張 VOCALOID 商業專輯《みくのかんづめ》，獲得 Oricon 當日排行榜第８名。2009 年初，再版純音樂專輯《ねこのかんづめプレミアム》。

2009 年，參與遊戲「初音未來 -Project DIVA-」，以及初音未來二週年紀念合輯《初音ミク ベスト〜impacts〜》《初音ミク ベスト〜memories〜》提供 VOCALOID 樂曲。年末與香港歌手ほんこーん合作單曲《つきうさぎ》。

2010 年，參與日本現場演唱會「ミクの日感謝祭 39's Giving Day」提供樂曲並擔任演奏，持續參與遊戲「初音未來 - 歌姬計劃 - 2nd」提供 VOCALOID 樂曲。同年末，發行第二張 VOCALOID 商業專輯《Cinnamon Philosophy》。

2011 年，參與網路音樂家為主體的音樂公司「BALLOOM」，

以別名義 OSTER "BIG BAND" project 發表專輯《GOSSIP CATS》

，此張專輯邀請實際的管絃樂團現場演奏錄音，並與歌手合作。

同年，提供樂曲給美國現場演唱會「MIKUNOPOLIS in LOS ANGELES "はじめまして、初音ミクです"」、參與日本現場演唱會「ミクパ♪ 東京＆札幌公演」提供 VOCALOID 樂曲並擔任演奏。與音樂家 minato 、doriko 一同合作，發表遊戲「初音未來 - 歌姬計劃 - 2nd」的相關單曲《カラフル × メロディ》。

2012 年，發行首張 VOCALOID 精選輯《OSTER さんのベスト》。

持續參與遊戲「初音未來 - 歌姬計劃 - f」，以及現場演唱會「ミクの日大感謝祭」提供 VOCALOID 樂曲。參與遊戲「beatmania IIDX 20 Tricoro」提供樂曲。

同年，與法國歌手 Clementine 合作樂曲「魔法使いのショコラティエ -Le Chocolatier Enchanté-」擔任日本新宿伊勢丹百貨公司的巧克力祭典『Salon du chocolat』主題曲。擔綱女子偶像團體「Sweety」的音樂製作人，兩張單曲《back into my world》《UNLUCKY GIRL

》皆為電視動畫《戰國 Collection》的主題片頭曲與片尾曲。年末，擔綱三麗鷗大耳狗角色歌曲輯《Cinnamon Trip

》全張專輯製作。

2013 年，參與遊戲「初音未來 - 歌姬計劃 - f」以及「Megpoid the Music♯」提供 VOCALOID 樂曲。參與遊戲「beatmania IIDX 21 SPADA」提供樂曲。和音樂家 sasakure.UK 共同合作、參與全家便利商店與初音未來企劃單曲《COMING DAYS》。

歷來作品

2.1 商業專輯

2.2 商業單曲

2.3 合作作品

2.4 同人專輯