hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
直通王國
直通王國（孟語：；緬甸語：，發音：[θətʰòʊɴ kʰɪʔ]）是下缅甸地區的一個孟族王國，在約前4世纪時出現生存至11世紀中葉。該國基本上是一個以直通為中心的城邦，並直接與印度南部和斯里蘭卡交易，該國也是上座部佛教引入東南亞的起點。直通王國與其他孟族王國一樣，受到吳哥王朝的侵略蠶食，最後在1057年被阿奴律陀的蒲甘王朝所滅。
直通王國 王國的名稱
直通王國被孟族稱為苏伐那蒲迷，意為「黃金之地」，苏伐那蒲迷也被用作泰國中部的美稱。孟族認為直通王國是在前6世紀佛陀時代建立的。直通Thaton（）一詞是緬甸語，源於孟語Sadhuim、巴利語Sudhammapura、梵語Sudharma，意為「諸神的會堂」。
直通王國 歷史
根據孟族的傳統説法，直通王國在佛陀時代成立，傳至摩奴訶有59代國王，《琉璃宮史》則記載是48代國王。傳統説法還認為勃固是直通王國的一些政治避難者在573年建立的。然而歷史學者戈·埃·哈威引用史料認為勃固是建立於825年。最早提及勃固的則是1266年的緬文史料。
1057年，阿奴律陀在孟族國師善阿羅漢建議下改宗上座部佛教，之後以直通國王摩奴訶拒绝奉獻佛教三藏為名發兵。根據《得楞史》（Paklat Talaing Chronicle），阿奴律陀圍城三月，直通城中人飢餓相食，摩奴訶於1057年5月17日出城投降。戰後，大批直通王國的工匠和宗教文獻傳入上緬甸，其文學和宗教傳統有助於塑造早期缅族及蒲甘文化。
奇米什嶺
奇米什嶺（保加利亞語：）是南極洲的山嶺，位於葛拉漢地的弗因海岸，長8.55公里、寬2公里，北面是阿特利冰川，南面是貝文冰川，以保加利亞西北部鄉鎮命名，現時由南極條約體系管理。
委內瑞拉鋸脂鯉
委內瑞拉鋸脂鯉，為輻鰭魚綱脂鯉目脂鯉亞目锯脂鲤科的其中一個種。分布於南美洲委內瑞拉沿岸淡水流域，體長可達18公分，棲息在底中層水域，生活習性不明。
巴特森嶺
68°5′S 66°53′W﻿ / ﻿68.083°S 66.883°W﻿ / -68.083; -66.883
巴特森嶺（英語：）是南極洲的山嶺，位於葛拉漢地的法利埃海岸，處於東北冰川的北岸，最高點海拔高度1,305米，在1936年由英國探險隊測量，現時由南極條約體系管理。
布爾嶺
64°41′S 63°28′W﻿ / ﻿64.683°S 63.467°W﻿ / -64.683; -63.467
布爾嶺（英語：）是南極洲的山嶺，位於葛拉漢地中帕默群島的昂韋爾島東南部，處於法蘭西山以南，由英國研究隊測量，現時由南極條約體系管理。
薛楷莉
薛楷莉（1973年12月9日—），中華民國（臺灣）電視新聞主播、節目主持人、澳亞衛視總經理，現任醫院加護病房護理師。
薛楷莉 薛楷莉事件
2002年時，當時擔任TVBS主播的薛楷莉在新聞圈中名氣不小，但薛楷莉當年被旅居日本的畫家姚旭燈指控，她在1小時內大刷日本企業家德原榮玉信用卡，買下價值超過新台幣百萬元名錶，還拿現款10萬日圓，讓德原榮玉覺得自己被敲詐了，引爆轟動全台的「削凱子事件」。當時外界除了對新聞圈的隱私界線有許多討論；薛楷莉的主播名聲也大受影響；後來沒過多久，薛楷莉又爆出美國學位造假，TVBS最後批准了薛楷莉辭呈。
2004年，薛楷莉與顏冠得結婚。2013年5月，兩人協議離婚，但薛楷莉指控顏冠得對女兒家暴且與簡姓女子小三有婚外情。2015年1月21日，士林地方法院裁定，薛楷莉獲得女兒監護權。
博爾丁嶺
68°2′S 66°55′W﻿ / ﻿68.033°S 66.917°W﻿ / -68.033; -66.917
博爾丁嶺（英語：）是南極洲的山嶺，位於葛拉漢地的法利埃海岸，處於托德冰川和麥克拉里冰川之間，以英國研究隊的測量師命名，現時由南極條約體系管理。
托德冰川
68°3′S 67°3′W﻿ / ﻿68.050°S 67.050°W﻿ / -68.050; -67.050
托德冰川（英語：），是南極洲的冰川，位於葛拉漢地的法利埃海岸，長13公里，最終注入卡爾梅特灣，由美國探險隊拍攝空中照片，現時由南極條約體系管理。
蓋特韋嶺
64°43′S 63°33′W﻿ / ﻿64.717°S 63.550°W﻿ / -64.717; -63.550
蓋特韋嶺（英語：），是南極洲的冰川，位於葛拉漢地中帕默群島的昂韋爾島，處於倫尼山東南部，海拔高度超過715米，是威廉冰川和威廉冰川的分界點，現時由南極條約體系管理。
倫尼山
64°41′S 63°35′W﻿ / ﻿64.683°S 63.583°W﻿ / -64.683; -63.583
倫尼山（英語：）是南極洲的山峰，位於帕默群島的昂韋爾島南部，處於法蘭西山西南面，海拔高度1,555米，由英國研究隊測量，現時由南極條約體系管理。
灰黑鋸脂鯉
灰黑鋸脂鯉（學名：），為輻鰭魚綱脂鯉目脂鯉亞目锯脂鲤科的其中一個種。屬於食人魚的一種，分布於南美洲亞馬遜河流域，體長可達18公分，棲息在底中層水域，生活習性不明。
威廉冰川
64°43′S 63°27′W﻿ / ﻿64.717°S 63.450°W﻿ / -64.717; -63.450
威廉冰川（英語：）是南極洲的冰川，位於帕默群島的昂韋爾島，最終在東南岸注入伯爾根灣，由比利時探險隊發現，現時由南極條約體系管理。
胡珀冰川
64°44′S 63°37′W﻿ / ﻿64.733°S 63.617°W﻿ / -64.733; -63.617
胡珀冰川（英語：）是南極洲的冰川，位於帕默群島的昂韋爾島，發源自威廉山以北，最終注入伯爾根灣西部，在1955年由英國研究隊測量，現時由南極條約體系管理。
貝角
64°46′S 63°26′W﻿ / ﻿64.767°S 63.433°W﻿ / -64.767; -63.433
貝角（英語：），是南極洲的海岬，位於帕默群島的昂韋爾島東南岸，是伯爾根灣入口處東部，由比利時探險隊發現，在1927年由英國研究隊命名和繪入地圖，現時由南極條約體系管理。
菲什胡克嶺
64°27′S 59°36′W﻿ / ﻿64.450°S 59.600°W﻿ / -64.450; -59.600
菲什胡克嶺（英語：），是南極洲的山嶺，位於葛拉漢地的努登舍爾德海岸，海拔高度約100米，處於索布拉爾半島東部，由英國南極名稱諮詢委員會命名，現時由南極條約體系管理。
波德維斯山口
波德維斯山口（Podvis Col），是南極洲的山口，位於葛拉漢地的戴維斯海岸，全長1.6公里，處於科爾滕嶺和底特律高原之間，海拔高度1,494米，以保加利亞東南部鄉鎮命名，現時由南極條約體系管理。
63°58′51″S 59°46′39″W﻿ / ﻿63.98083°S 59.77750°W﻿ / -63.98083; -59.77750
科皮托嶺
科皮托嶺（Kopito Ridge），是南極洲的山嶺，位於葛拉漢地，處於特里尼蒂半島南部底特律高原東南部山腳，長6公里、寬2.7公里，海拔高度900米，以保加利亞西部山峰命名，現時由南極條約體系管理。
64°08′14″S 59°05′07″W﻿ / ﻿64.13722°S 59.08528°W﻿ / -64.13722; -59.08528
迪普洛克冰川
64°3′S 58°50′W﻿ / ﻿64.050°S 58.833°W﻿ / -64.050; -58.833
迪普洛克冰川（英語：）是南極洲的冰川，位於葛拉漢地的特里尼蒂半島，長16公里，流經底特律高原，最終在阿萊克托里亞島以南8公里注入古斯塔夫王子海峽，根據英國探險隊的測量繪入地圖，以英國工程師命名，現時由南極條約體系管理。
洛博什峰
洛博什峰（英語：）是南極洲的山峰，位於葛拉漢地中特里尼蒂半島南部的底特律高原東南部山腳，處於佩特科夫冰原島峰西南面7.11公里和穆雷諾峰東北面5.18公里，海拔高度1,000米，以保加利亞西部鄉鎮命名，現時由南極條約體系管理。
佩特科夫冰原島峰
佩特科夫冰原島峰（英語：）是南極洲的冰原島峰，位於葛拉漢地中特里尼蒂半島南部的底特律高原東北部山腳，處於萊科冰原島峰西南面6.9公里、威爾德山西北面15.32公里、胡馬冰原島峰以北2.73公里和洛博什峰東北面7.11公里，海拔高度800米，現時由南極條約體系管理。
穆雷諾峰
穆雷諾峰（英語：）是南極洲的山峰，位於葛拉漢地的特里尼蒂半島南部，屬於阿爾多米爾嶺的一部分，海拔高度1,100米，處於洛博什峰西南面5.18公里、威爾德山西北面16.9公里、韋特羅瓦拉峰西北面7.15公里、德拉卡冰原島峰以北11.94公里和霍恩斯比山東北面10.34公里，現時由南極條約體系管理
萊科冰原島峰
萊科冰原島峰（英語：）是南極洲的冰原島峰，位於葛拉漢地中特里尼蒂半島南部的底特律高原東北部山腳，處於波維恩峰東南面6.67公里和佩特科夫冰原島峰東北面6.9公里，海拔高度750米，以保加利亞詩人命名，現時由南極條約體系管理
菱鋸脂鯉
菱鋸脂鯉(學名:Serrasalmus rhombeus)，又叫黑食人鱼，為锯脂鲤属的一個種，分布於南美洲亞馬遜河、奧里諾科河、圭亞那及巴西東部沿岸淡水流域，體長可達41.5公分，能適應各種環境，以魚類、哺乳類、爬蟲類及甲殼類等為食，生活習性不明，可作為觀賞魚及食用魚，利牙會造成創傷。
波維恩峰
波維恩峰（英語：）是南極洲的山峰，位於葛拉漢地中特里尼蒂半島南部的底特律高原東北部山腳，處於馬爾拉冰川和迪普洛克冰川上游之間，海拔高度1,550米，現時由南極條約體系管理。
馬爾拉冰川
64°00′30″S 58°53′00″W﻿ / ﻿64.00833°S 58.88333°W﻿ / -64.00833; -58.88333
馬爾拉冰川（英語：）是南極洲的冰川，位於葛拉漢地的特里尼蒂半島南部的底特律高原東北部，處於艾肯黑德冰川以南、迪普洛克冰川以北，長14公里、寬1.5公里，最終注入古斯塔夫王子海峽，現時由南極條約體系管理。
胡馬冰原島峰
胡馬冰原島峰（英語：）是南極洲的冰原島峰，位於葛拉漢地中特里尼蒂半島南部的底特律高原東北部山腳，處於沃韋拉雪原西部，海拔高度580米，現時由南極條約體系管理。
SN 2014J
SN 2014J是一颗位于大熊座雪茄星系（M82）的Ia型超新星，发现于2014年，是四十年来爆发的距离地球最近的Ia型超新星。
SN 2014J 发现
这颗超新星由伦敦大学学院教师史蒂夫·福西于1月21日晚在伦敦北部磨坊山的校天文台发现。当时他在教授4个本科学生（本·库克Ben Cooke，盖伊·波拉克Guy Pollack，马修·王尔德Matthew Wilde和托马斯·怀特Thomas Wright）使用一座0.35米（14英寸）望远镜。这一发现是偶然的，他后来说：“当时的天气并不好，眼看着云层越来越厚，于是我决定不再继续计划的天文课，而是给学生演示如何使用天文台的自动0.35米望远镜上的CCD相机。”
格林威治标准时间2014年1月21日19:20，福西和他的学生观察到获得的M82星系照片上有一个不寻常的亮点，他们比较了此星系之前的图片，并使用天文台的另一座望远镜观测，确认不是仪器误差造成的假象，而且在下午约7:40云层彻底遮蔽天空前确认了该对象的位置。此后，他们将发现报告给国际天文学联合会的中央天文电报局。经确认，这是一颗超新星，并命名为「SN 2014J」。2014年1月31日，「SN 2014J」亮度幅度達到10.5的峰值，停止增亮。
桑切氏鋸脂鯉
桑切氏鋸脂鯉，為輻鰭魚綱脂鯉目脂鯉亞目锯脂鲤科的其中一個種。分布於南美洲秘魯Ucayali河流域，體長可達11.4公分，和納氏臀點脂鯉一樣具有泛紅的下腹側，棲息在底中層水域，生活習性不明。
沃韋拉雪原
沃韋拉雪原（英語：）是南極洲的冰川，位於葛拉漢地中特里尼蒂半島南部的底特律高原東北部山腳，處於迪普洛克冰川以南、威爾德山以北和科皮托嶺東北面，長18公里、寬16公里，最終注入古斯塔夫王子海峽，現時由南極條約體系管理。
德拉卡冰原島峰
德拉卡冰原島峰（英語：）是南極洲的冰原島峰，位於葛拉漢地的特里尼蒂半島南部，處於肖格倫灣西南岸，長4.2公里、寬1.9公里，海拔高度750米，現時由南極條約體系管理。
韋特羅瓦拉峰
64°12′07″S 59°06′19″W﻿ / ﻿64.20194°S 59.10528°W﻿ / -64.20194; -59.10528
韋特羅瓦拉峰（保加利亞語：）是南極洲的山峰，位於葛拉漢地的特里尼蒂半島南部，處於蘇爾瓦卡里冰原島峰東南面8.2公里，屬於阿爾多米爾嶺的一部分，海拔高度800米，現時由南極條約體系管理。
蘇爾瓦卡里冰原島峰
64°09′40″S 59°14′45″W﻿ / ﻿64.16111°S 59.24583°W﻿ / -64.16111; -59.24583
蘇爾瓦卡里冰原島峰（保加利亞語：）是南極洲的冰原島峰，位於葛拉漢地中特里尼蒂半島南部的底特律高原東南部山腳，處於肖格倫冰川上游，海拔高度600米，現時由南極條約體系管理。
黑鰭鋸脂鯉
黑鰭鋸脂鯉，為輻鰭魚綱脂鯉目脂鯉亞目锯脂鲤科的其中一個種。分布於南美洲Branco河流域棲息在底中層水域，生活習性不明。
哈澤爾巴薩諾夫嶺
64°15′06″S 59°10′06″W﻿ / ﻿64.25167°S 59.16833°W﻿ / -64.25167; -59.16833
哈澤爾巴薩諾夫嶺（保加利亞語：）是南極洲的山嶺，位於葛拉漢地的特里尼蒂半島南部的肖格倫冰川西南部，處於蘇爾瓦卡里冰原島峰以南6.57公里和韋特羅瓦拉峰西南面8.51公里，長5.5公里、寬2.4公里，海拔高度750米，現時由南極條約體系管理。
洛馬斯嶺
64°22′S 57°35′W﻿ / ﻿64.367°S 57.583°W﻿ / -64.367; -57.583
洛馬斯嶺（英語：）是南極洲的山嶺，位於葛拉漢地的詹姆斯羅斯島東南部，處於傑福德角和烏龜山之間，長3公里，以英國探險隊的地質學家命名，現時由南極條約體系管理。
蘭登嶺
66°50′S 63°54′W﻿ / ﻿66.833°S 63.900°W﻿ / -66.833; -63.900
蘭登嶺（英語：）是南極洲的山嶺，位於葛拉漢地的弗因海岸，處於科爾半島東端，在1947年12月由英國研究隊繪入地圖，現時由南極條約體系管理。
科爾半島
66°50′S 64°0′W﻿ / ﻿66.833°S 64.000°W﻿ / -66.833; -64.000
科爾半島（英語：）是南極洲的半島，位於葛拉漢地中弗因海岸的蘇朗伊海崖以東，長15英里、寬8英里，處於卡比納特灣和米爾灣之間，現時由南極條約體系管理。
蘇朗伊海崖
66°48′S 64°45′W﻿ / ﻿66.800°S 64.750°W﻿ / -66.800; -64.750
蘇朗伊海崖（英語：），是南極洲的海崖，位於葛拉漢地的弗因海岸，以南極洲學家命名，在1947年12月22日由美國探險隊發現，現時由南極條約體系管理。
銳齒鋸脂鯉
銳齒鋸脂鯉（学名：Serrasalmus serrulatus）為輻鰭魚綱脂鯉目脂鯉亞目锯脂鲤科的其中一個種。分布於南美洲亞馬遜河流域，體長可達19公分，棲息在底中層水域，生活習性不明。
其种加词“Serrulatus”意为“有小锯齿的”。
天長節 (唐朝)
天長節，乃唐朝玄宗皇帝李隆基的生日，於每年八月初五，後在玄宗退位後改爲八月十五。曾稱千秋節。日本沿用此法，曾將天皇生日叫做天長節。
天長節 (唐朝) 歷史
唐玄宗李隆基生於685年9月8日（八月初五），712年即位爲帝，改年號開元。開元十七年（729年），唐玄宗的44歲生日時，百官奏表請求將八月五日設作「千秋節」，寓意「千秋萬歲」。唐玄宗准奏，千秋節由此而設，全國休假三日，前後各一天。
天寶七年（748年），皇宮大同殿的柱子上忽生灵芝，被認爲是吉兆，於是百僚於五月壬午日合奏，尊唐玄宗为「开元天宝 圣文神武 应道皇帝」，請他順應天意改「千秋節」爲「天長節」，天長一詞取自《老子》「天長地久」。唐玄宗龍顏大悅，遂改。
天長節 (唐朝) 慶祝方式、風俗傳統
每年千秋节，唐玄宗與杨贵妃都會在兴庆宫內的花萼相辉楼前举行盛宴及歌舞演奏，与百官同乐。在一整天的庆祝活动结束後，官員們會向皇帝敬献铜镜，唐玄宗也向四品以上官員發賜铜镜。唐玄宗還特设「天长节使」的职位，由鄂州刺史韦公担任。唐朝屬國每年都會遣使來賀，其中日本國最勤。
當時有詩篇記錄了盛景：
《奉和聖製天长节赐宰臣歌应製》
（唐）王维
太阳升兮照万方。
开阊阖兮临玉堂。
俨冕旒兮垂衣裳。
金天净兮丽三光。
彤庭曙兮延八荒。
德合天兮礼神遍。
灵芝生兮庆云见。
唐尧後兮稷契臣。
匝宇宙兮华胥人。
尽九服兮皆四邻。
乾降瑞兮坤降（一作献）珍。
《天长节》
（唐）梁锽
日月生天久，年年庆一回。
时平祥不去，寿远节长来。
连吹千家笛，同朝百郡杯。
愿持金殿镜，处处照遗才。
《千秋节赐群臣镜》
（唐）李隆基（皇帝自提）
铸得千秋镜，光生百炼金。
分将赐群後，遇象见清心。
台上冰华澈，窗中月影临。
更衔长绶带，留意感人深。
天長節 (唐朝) 影響
開元十七年千秋節慶典結束後，羣臣紛紛進獻銅鏡，唐玄宗還賜銅鏡，這些銅鏡被冠以節日之名，叫做「千秋鏡」。此後，唐玄宗便在當時鑄造業最發達的揚州定製銅鏡，每年大約有400名官員可以得此待遇。
民間受到影響，也形成於八月初五鑄銅鏡相送的習俗，寓意祝福。這段時期鑄造的銅鏡，也可稱爲千秋鏡，這一名稱延續了十四年，直到安史之亂唐玄宗退位。
742年唐玄宗改元天寶，天寶元年「割江都、六合、高邮三县地置千秋县」，与千秋节呼应，屬淮南道揚州（廣陵郡）。天寶七年，千秋節改爲天長節，千秋縣也改爲天長縣。天長縣今为安徽省天長市。
開元十七年，在花萼樓（卽花萼相輝樓）前舉行天長節慶典時，唐教坊專門創作了一部《千秋樂》（也稱《千秋萬歲》、《千秋節》），曲作者是龟兹人白明达。慶典上還演奏了唐玄宗親自編寫的《霓裳羽衣曲》。
天長節 (唐朝) 影響
《千秋樂》由此成爲曲牌，又稱《千秋岁》、《千秋萬歲》、《念奴娇》。另有《千秋岁引》。
756年，唐玄宗因安史之亂而退位，唐肃宗李亨即位後效仿玄宗，將自己的生日九月三日定为「天成地平节」。因爲唐玄宗退位後尚還身爲太上皇，天成地平节與天長節還共存過一段時間。
因八月初五和九月三日相隔不遠，朝廷便將兩個節日折中爲八月十五天長節。唐代宗、唐德宗延續了八月十五天長節，但慶典規模越來越小，中唐後不再舉行慶典。受到八月十五天長節的影響，在此前不在民間流行的中秋節，在天長節不再慶祝後反而開始在民間流行起來。
日本奈良時代光仁天皇沿用天長節，將日本天皇的生日稱作天長節，當天休假一日。皇后的生日則叫做地久節，不休假。
二戰後，日本天長節改稱天皇誕生日，明治天皇誕生日成爲了文化日；地久節改稱皇后誕生日。
协变与逆变
协变与逆变（Covariance and contravariance）是在计算机科学中，描述具有父/子型别关系的多个型别通过型别构造器、构造出的多个复杂型别之间是否有父/子型别关系的用语。
协变与逆变 概述
許多程式設計語言的型別系統支持子型別。例如，如果Cat是Animal的子型別，那麼Cat型別的表達式可用於任何出現Animal型別表達式的地方。所謂的變型（variance）是指如何根據組成型別之間的子型別關係，來確定更複雜的型別之間（例如List<Cat>之於List<Animal>，回傳Cat的函數之於回傳Animal的函數...等等）的子型別關係。當我們用型別構造出更複雜的型別，原本型別的子型別性質可能被保持、反轉、或忽略───取決於型別構造器的變型性質。例如在C#中：
程式語言的設計者在制定陣列、繼承、泛型數據類別等的型別規則時，必須將“變型”列入考量。將型別構造器設計成是協變、逆變而非不變的，可以讓更多的程式俱備良好的型別。另一方面，程式員經常覺得逆變是不直觀的；如果為了避免執行時期錯誤而精確追蹤變型，可能導致複雜的型別規則。為了保持型別系統簡單同時允許有用的編程，一個程式語言可能把型別構造器視為不變的，即使它被視為可變也是安全的；或是把型別構造器視為協變的，即使這樣可能會違反型別安全。
协变与逆变 形式定义
在一門程式設計語言的型別系統中，一個型別規則或者型別構造器是：
下文中將敘述這些概念如何適用於常見的型別構造器。
协变与逆变 数组
首先考虑数组类型构造器： 从Animal类型，可以得到Animal[]（“animal数组”）。 是否可以把它当作
如果要避免类型错误，且数组支持对其元素的读、写操作，那么只有第3个选择是安全的。Animal[]并不是总能当作Cat[]，因为当一个客户读取数组并期望得到一个Cat，但Animal[]中包含的可能是个Dog。所以逆变规则是不安全的。
反之，一個Cat[]也不能被當作一個Animal[]。因為總是可以把一個Dog放到Animal[]中。在協變陣列，這就不能保證是安全的，因為背後的存儲可以實際是Cat[]。因此協變規則也不是安全的—陣列構造器應該是不變。注意，這僅是可寫（mutable）陣列的問題；對於不可寫（只讀）陣列，協變規則是安全的。
這示例了一般現像。只讀數據型別（源）是協變的；只寫數據型別（彙/sink）是逆變的。可讀可寫型別應是“不變”的。
协变与逆变 数组
早期版本的Java與C#不包含泛型（generics，即參數化多態）。在這樣的設置下，使陣列為“不變”將導致許多有用的多態程式被排除。
例如，考慮一個用於重排（shuffle）陣列的函數，或者測試兩個陣列相等的函數，使用Object與equals方法. 函數的實現並不依賴於陣列元素的確切型別，因此可以寫一個單獨的實現而適用於所有的陣列：
然而，如果陣列型別被處理為“不變”，那麼它僅能用於確切為Object[]型別的陣列。對於字符串陣列等就不能做重排操作了。
所以，Java與C#把陣列型別處理為協變。在C#中，string[]是object[]的子型別，在Java中，String[]是Object[]的子型別。
如前文所述，協變陣列在寫入陣列的操作時會出問題。Java與C#為此把每個陣列对象在創建時附標一個型別。 每當向陣列存入一個值，編譯器插入一段代碼來檢查該值的運行時型別是否等於陣列的運行時型別。如果不匹配，會拋出一個ArrayStoreException（在C#中是ArrayTypeMismatchException）：
协变与逆变 数组
在上例中，可以从b中安全地读。仅在写入数组时可能会遇到麻烦。
這個方法的缺點是留下了運行時錯誤的可能，而一個更嚴格的型別系統本可以在編譯時識別出該錯誤。這個方法還有損性能，因為在運行時要執行額外的型別檢查。
Java與C#有了泛型後，有了型別安全的編寫這種多態函數。陣列比較與重排可以給定參數型別
也可以強制C#方法只讀方式訪問一個集合，可以用界面IEnumerable<object>代替作為陣列object[]。
协变与逆变 函数类型
支持一等函数的语言具有函数类型，比如“一个函数期望输入一只 Cat 并返回一只 Animal（写为 OCaml 的 Cat -> Animal 或 C# 的Func<Cat,Animal>）。
這些語言需要指明什麼時候一個函數型別是另一個函數型別的子型別—也就是說，在一個期望某個函數型別的上下文中，什麼時候可以安全地使用另一個函數型別。
可以说，函数f可以安全替换函数g，如果与函数g相比，函数f接受更一般的参数类型，返回更特化的结果类型。
例如，函數型別Cat->Cat可安全用於期望Cat->Animal的地方；類似地，函數型別Animal->Animal可用於期望Cat->Animal的地方——典型地，在 Animal a=Fn(Cat(...)) 这种语境下进行调用，由于 Cat 是 Animal 的子类所以即使 Fn 接受一只 Animal 也同样是安全的。一般規則是：
协变与逆变 函数类型
S1 → S2 ≦ T1 → T2  當T1 ≦ S1且S2 ≦ T2.
换句话说，类型构造符→对输入类型是逆变的而对输出类型是协变的。这一规则首先被Luca Cardelli正式提出。
在處理高階函數時，這一規則可以應用多次。例如，可以應用這一規則兩次，得到(A'→B)→B ≦ (A→B)→B 當 A'≦A。即，型別(A→B)→B在A位置是協變的。在跟蹤判斷為何某一型別特化不是型別安全的可能令人困擾，但是比較容易計算哪個位置是協變或逆變：一個位置是協變當且僅當在偶數個箭頭的左邊。
例如，在Visual Basic中，允许把lambda表达式（匿名函数）赋值给委托（delegate）类型的实例，如果参数是widen，返回值是narrowen：
协变与逆变 面向对象语言中的继承
当一个子类重写一个超类的方法时，编译器必须检查重写方法是否具有正确的类型。虽然一些语言要求类型必须与超类相同，但允许重写方法有一个“更好的”类型也是类型安全的。对于大部分的方法子类化规则来说，这要求返回值的类型必须更具体，也就是协变，而且接受更宽泛的参数类型，也就是逆变。
对于以下示例，假设 Cat 是 Animal 的子类，而且我们以及拥有了这两个类（使用Java语法）
问题是：如果我们子类化 AnimalShelter，我们可以让 getAnimalForAdoption 和 putAnimal 具有什么类型？
在允许协变返回值的语言中, 子类可以重写 getAnimalForAdoption 方法来返回一个更窄的类型：
主流的面向对象语言中，Java和C++允许返回值协变，C#不支持。添加返回值协变是1998年C++标准委员会最先允许的对C++语言核心的修改之一。 Scala和D语言也支持返回值协变。
类似地，子类重写的方法接受更宽的类型也是类型安全（type safe）的：
协变与逆变 面向对象语言中的继承
允许参数逆变的面向对象语言并不多——C++和Java会把它当成一个函数重载。
然而，Sather既支持协变，也支持逆变。对于重写的方法，出参数和返回值是协变的，而常规的参数是逆变的。
在主流的语言中，Eiffel 允许一个重写的方法参数比起父类中的那一个有更加具体的类型，即参数类型协变。因此，Eiffel 版本的 putAnimal 会如下所示：
这并不是类型安全的。通过把 CatShelter 转换为 AnimalShelter，程序员可以把“狗”放进猫庇护所里。这种类型安全性的缺失（在 Eiffel 社区里称为“猫调用问题”）由来已久。许多年以来，人们组合使用各种全局 / 局部静态分析以及新的语言特性来进行补救
，有些已被写进了一些 Eiffel 编译器。
抛开类型安全问题不谈，Eiffel 的设计者认为在对现实世界建模这一点上，协变的参数类型是不可或缺的。猫庇护所问题演示了一种常见现象：它是一种动物庇护所，但有着额外的限制；而用继承和受限参数类型又似无不可。通过提出继承的这种应用方式，Eiffel 设计者们拒绝了 Liskov 代换原則（即子类对象受的限制一定比它们父类对象少）。
协变与逆变 面向对象语言中的继承
另一个参数类型协变可能有益的例子是所谓二元方法，即其参数与方法所在对象的类型相同。例如 compareTo 方法：a.compareTo(b) 检查 a 和 b 在某种排序下的先后关系，但比较不同类型对象——比如，比较两个有理数以及比较两个字符串——的方式可以大相径庭。其它的常见二元方法例子还有相等性比较、算术运算、以及诸如求交集 / 并集的集合运算。
在旧一点的 Java 版本中，比较方法是以接口 Comparable 的方式指定的：
这种方式的缺点是方法参数类型指定为 Object。一个典型的实现可能是先把这个参数向下强制转换——如果不是期望的类型，那么报错：
在有参数协变的语言中，compareTo 的参数可以直接定为希望的类型（RationalNumber），从而把类型转换消除掉。（当然，该报运行时错误的时候还是会报错的，比如对一个 String 调用 compareTo）。
协变与逆变 面向对象语言中的继承
其它语言特性可能用来弥补缺乏参数类型协变的缺乏。
在有泛型（即参数化多态及受限量词）的语言中，前面的例子可用更类型安全的方式重写
：不定义 AnimalShelter，改为定义一个参数化的类 Shelter<T>。（这种方法的缺点之一是基类实现者需要预料到哪些类型要在子类中特化）
相似地，在新版本的 Java 中 Comparable 接口也被参数化了，从而允许以一种类型安全的方式省去向下类型转换：
另一个有助的语言特性是多分派。二元方法难写的一个原因就是在类似于 a.compareTo(b) 的调用中，对 compareTo 的正确选择其实依赖于 a 和 b 两者的类型，但在经典的面向对象语言中只有 a 的类型被纳入考虑。在有CLOS 样式多分派特性的语言中，比较方法可以写成一个泛型方法，其两个参数类型都在方法选择中被考虑。
协变与逆变 面向对象语言中的继承
Giuseppe Castagna 观察到在一个有类型而且有多分派的语言中，泛型函数的各个参数有些控制分派而余下那些则否。因为方法选择的规则是在可用方法中选择特化程度最高的，如果一个方法重写了另一个方法那么，它（前者）就会在那些控制性的参数上有更特化的类型。而另一方面，为了保证类型安全，语言又得要求剩下的参数越泛化越好。用上面的术语来说，运行时方法选择中使用的类型是协变的，而没用到的类型则是逆变的。常规的单分派语言，例如 Java，也遵循这种规则：只有在其上调用方法的对象（this）类型才用来选择方法，而在子类方法里的 this 的类型也确实要比在父类那里更特化。
Castagna 提议在需要参数类型协变的地方——尤其是二元方法——改用多分派，它本性就是协变的。然而不幸的是，大多数编程语言都不支持多分派。
下表总结了在上面讨论的语言有关覆写方法的规则。
协变与逆变 泛型类型
在支持泛型（即参数化多态）的语言中，程序员可以用新的构造器扩展类型系统。例如，C# 的泛型接口 IList<T> 可以构造 IList<Animal> 和 IList<Cat> 这样的新类型。那么接下来的问题就是这些类型构造器应具有何种变型性质。
有两种主要的处理方式。在有着声明点变型标记法（如 C#）的语言中，程序员在泛型类型处标注其类型参数的预想变型方式；而在使用点变型标记法（如 Java）的语言中，程序员改在泛型类型实例化的位置标注。
具有这种记法的最流行语言包括 C#（使用关键字 in 和 out）、Scala 以及 OCaml（这两者使用加号减号）。其中，C# 只允许在接口类型上标记变型，而 Scala 和 OCaml 既允许在接口类型上标记、也允许在具体的数据类型上标记变型。
在 C# 中，每个泛型接口的类型参数都可被标注为协变（out）、逆变（in）或不变（不标注）。例如，可以定义一个接口 IEnumerator<T> 作为只读的迭代器，并声明它在其类型参数上具有协变性：
协变与逆变 泛型类型
通过这样声明，IEnumerator<T> 就会在其类型参数上具有协变性。例如，IEnumerator<Cat> 是 IEnumerator<Animal> 的子类型。
类型检查器保证接口里每个函数声明都通过符合 in/out 规则的方式使用其类型参数。也就是说，被声明为协变的参数不得出现在任何逆变的位置（一个位置称为逆变的，如果它经过了逆变类型构造器的奇数的应用）。精确的规则是接口里所有函数的返回值类型都必须协变合法，而所有函数参数的类型都必须逆变合法。具体来说，协 / 逆变合法定义如下：
举例而言，考虑下面的 IList<T> 接口：
Insert 函数的参数类型 T 必须逆变合法，即 T 不得被标注为 out。相似地，由于 GetEnumerator 函数以一个协变的接口类型 IEnumerator<T> 为返回值类型，T 必须不是 in。这样一来，IList<T> 既不能是协变，也不能是逆变。
协变与逆变 泛型类型
在诸如 IList<T> 这种泛型数据结构的通常情况下，上述的限制意味着 out 参数只能用在从对象中读出数据的函数上，而 in 参数只能用在写入数据的函数上。这也就是为何选择这两个单词作为关键字的原因。
C# 允许在接口的类型参数上标注变型，但不能在类上应用。由于 C# 的成员变量永远是可变的，类型参数可变型的类在 C# 中并没有多大用途。不过强调不可变数据的语言就可以利用协变数据类型，例如在 Scala 和 OCaml 中不可变列表类型是协变的：List[Cat] 是 List[Animal] 的子类型。
Scala 的变型类型检查规则基本上跟 C# 相同。然而，有一些习惯用法会被套用到不可变数据结构上，如下从 List[A] 类中摘抄的代码所示：
首先，具有变型类型的类成员必须是不可变的。在这里，head 成员具有类型 A，其声明为协变（+），而且 head 成员确实被声明为函数（def）。试图将其声明为可变成员变量（var）将会得到一个类型错误。
协变与逆变 泛型类型
其次，即使数据结构是不可变的，它也经常会有返回值类型逆变的函数。例如，考虑向列表头添加元素的函数 ::。（这个实现创建一个同名类 ::——即非空列表的类——的新对象。）这个函数最显然的类型莫过于
然而这是个类型错误，因为协变的参数 A（作为函数参数而）出现在了逆变位置。不过也有绕过这个问题的方法：给 :: 一个更泛化的类型，使其能添加具有任何 A 的超类型 B 的元素。注意这依赖于 List 是协变的，因为 this 具有类型 List[A]、而我们要把它作为 List[B] 对待。乍看之下这个泛化的类型似乎不那么可靠，但如果程序员真拿那个简单的声明出来的话、类型错误会指出需要泛化的地方的。
理论上，一个设计完善的类型系统可以让编译器能在所有类型参数上自动推算出最好的变型。。然而，分析过程可能由于许多原因而变得复杂：其一，分析过程不是局部的，因为一个接口的变型性质取决于其所有使用到的接口；其二，为了得到最优解，类型系统必须允许双向变型——既是协变、同时也是逆变——的类型参数；其三，类型参数的变型性质应当是接口设计者深思熟虑的结果，而不是随机发生的事情。
协变与逆变 泛型类型
因此，许多语言都几乎对变型不做干预。C# 和 Scala 完全不推断任何变型注；而 Ocaml 虽然可以推断具体数据类型的变型，程序员还是需要显式指定抽象类型（接口）的变型。
例如，考虑一个 OCaml 的数据类型 T，其包装了一个函数：
编译器会推断出第一参数是逆变、第二参数是协变的。程序员也可以显式提供标注、让编译器检查是否满足，因此下面的声明等价于上面：
当定义接口时，OCaml 中的显式标注就有用了。例如，标准库给关联表的接口 Map.S 包括一个标注，指明类型构造器 map 的返回类型是协变的：
这保证了 IntMap.t cat 是 IntMap.t animal 的子类型。
声明点标记法的一个缺点是许多接口类型必须是不变的。例如，前面的 IList<T> 需要是不变的，因为其中既有协变的函数也有逆变的函数。为了暴露更多的变型性，API 设计者可以提供附加的接口以提供可用方法的子集——例如，一个只提供 Insert 函数的“只写列表”。然而这太笨拙了。
协变与逆变 泛型类型
使用点标记法试图给某个类的用户以更多的机会去继承，而不要求该类的设计者分开定义具有不同变型性质的若干接口。当某个类或接口被应用于类型声明中时，程序员可以指明用到的只有成员函数的一个子集。就效果而言，类的定义同时也给出了相当于该类的协变和逆变的“部分”的接口。因此，类的设计者不再需要把变型纳入考虑，从而提高了可重用性，
Java 通过通配符提供使用点变型标记，这是一种有界的约束存在量化形式。一个参数化类型可以通过通配符 ? 加上上下界的形式实例化，例如 List<? extends Animal> 或者 List<? super Animal>。（诸如 List<?> 这样不加约束的通配符等价于 List<? extends Object>，因为 Java 的所有类型都派生自 Object）。List<X> 这样的类型表明了未知类型 X 满足约束这件事。例如，如果变量 l 是 List<? extends Animal> 类型，那么类型检查器会接受
因为已知类型 X 是 Animal 的子类，相反
协变与逆变 泛型类型
将会导致类型错误，因为一个 Animal 并不一定是个 X。一般而论，给定某个接口 I<T>，一个 I<? extends A> 的记法禁止使用需要 T 逆变的函数；反之，如果 l 的类型是 List<? super Animal>，我们可以调用 l.add 但不能调用 l.get。
虽然 Java 中的普通泛型类型是不变的（即在 List<Cat> 和 List<Animal> 之间没有子类关系），通配符类型仍可以通过指定一个更严格的界来变得更加特化。例如，List<? extends Cat> 是 List<? extends Animal> 的子类型。这显示了通配符类型是在上界协变（以及在下界逆变）的。总而言之，给定一个诸如 C<? extends T> 的通配符类型，有三种方式可以形成子类：特化类 C、指定更加严格的约束 T、或者把通配符 ? 替换成一个更特化的类型（见图）。
协变与逆变 泛型类型
通过把子类化的两个步骤合并，我们就可以做到诸如给期望 List<? extends Animal> 类型参数的函数传递一个 List<Cat> 参数这样的事。这正是协变接口类型所允许的程序。List<? extends Animal> 类型就像一个只包含 List<T> 的那些协变的函数的接口，然而 List<T> 的实现者并不需要预先作出定义。这就是使用点变型。
在 IList<T> 这种常见的泛型数据结构中，协变参数用于从结构中读出数据，而逆变参数用于写入数据。Joshua Bloch 所著《Effective Java》中提出的助记短语 PECS（Producer Extends, Consumer Super）提供了一个合适使用协变 / 逆变的好记方法。
通配符很灵活，但也有个缺点。虽然使用点变型意味着 API 设计者不需要考虑接口的类型参数的变型性质，他们却经常需要使用更复杂的函数签名。一个常见例子涉及到 Java 中的 Comparable 接口。假设我们要写一个查找集合中最大元素的函数，这些元素需要实现 compareTo 函数，所以首先我们可能会做如下尝试：
协变与逆变 泛型类型
然而这并不够泛型——我们会发现能够找到一个 Collection<Calendar> 集合中的最大值，但对 Collection<GregorianCalendar> 而言则否。问题在于 GregorianCalendar 并不实现 Comparable<GregorianCalendar> 接口，而是实现了（更好的）Comparable<Calendar>。不像 C#，在 Java 中 Comparable<Calendar> 并不被认为是 Comparable<GregorianCalendar> 的子类。因此 max 的类型要改成这样：
有界通配符 ? super T 用来表明 max 只调用 Comparable 接口的逆变函数。这个示例令人沮丧的原因是 Comparable 接口中的所有函数都是逆变的，因此条件是平凡真、所有用到这个接口的函数都要这样。声明点变型的系统就可以让这个例子不那么啰嗦：只需要在 Comparable 接口上标注即可。
协变与逆变 泛型类型
使用点变型提供了额外的灵活性，允许更多程序得以通过类型检查。然而，它们因为给语言带来的复杂性、以及所引发的复杂类型签名和错误消息而饱受批评。
一个评判这种额外灵活性是否有用的方法是看它能否应用在现存程序里。一个对大量 Java 库的调查发现 39% 的通配符标记本可以用一个声明点标记直接换掉，也即那剩下的 61% 是 Java 受益于有这么个使用点变型系统的地方。
在声明点变型语言中，库必须要么更少地暴露变型、要么定义更多的接口。例如，Scala 集合库给每个接口都定义了三个分开的版本：基本版本是不变型的、也不提供任何写操作，有带副作用函数的可写版本，还有不可写但把类型参数（通常）标为协变的版本。这种设计跟声明点标注配合得很好，但大量的接口给库的用户带来了复杂性开销。并且，修改库接口可能不是一个可行选项——具体来说，Java 泛型的一个目标就是要维持二进制向后兼容性。
协变与逆变 泛型类型
另一方面，Java 的通配符本身就有够复杂。在一场会议讲演，Joshua Bloch 就批评它们太过难懂难用，声称当添加闭包支持时“再来一个通配符简直就是不能承受之重”。早期版本的 Scala 使用使用点标注，然而程序员觉得它们难于实际应用，而声明点标注就在设计类时有大用。后期版本的 Scala 添加了 Java 样式的存在类型和通配符；然而据 Martin Odersky 所说，假如没有跟 Java 的互操作性需求的话，这些根本都不会被加进来。
Ross Tate 争辩说 Java 通配符的复杂性有一部分是因为决定了要用存在类型的记法来标记使用点变型。原本的提案
是使用专门用途的语法来标记变型，写作 List<+Animal> 而不是 Java 这么啰嗦的 List<? extends Animal>。
既然通配符是存在类型的一种形式，它们就不仅可以用来做变型这一种事。一个诸如 List<?>（某种列表）的类型允许对象不必指定类型参数就能被传递给函数或者放进变量里。这对于像 Class 这样的类而言尤其有用，因为其中的大多数函数都根本不管类型参数是什么。
然而，对于存在类型的类型推导是一个难点。对于编译器实现者来说，Java 的通配符提出了类型检查器终结、类型参数推导、以及歧义程序的问题。对程序员来说，它则带来了复杂的类型错误消息。Java 通过把通配符换成新类型变量的方式进行类型检查（所谓捕获检查），这会让错误信息更难读，因为它们现在指向了程序员根本没直接写出的类型变量。例如，试图将一个 Cat 加到 List<? extends Animal> 会得到类似这样的错误：
由于声明点变型和使用点变型都有各自的用处，有些类型系统干脆两者都提供了。
Dart 语言并不跟踪变型，而是把所有参数化类型都当作协变对待。语言规约是这么说的：
由于泛型类型的协变性，类型系统并不稳健。这是故意为之（当然也无疑会引起争论）。经验表明稳健的泛型类型规则在程序员的直觉面前如同废纸。如果想的话，工具仍可简单地提供稳健的类型分析，这可能对诸如重构之类的任务有所帮助。
协变与逆变 “协变”一词的来源
这些术语来源于范畴论中函子的记法。考虑范畴 C，其中的对象是类型、其态射代表了子类关系≦（这是一个任何偏序集合可被看成范畴的例子）；那么诸如函数的类型构造器接受两个类型 p 和 r 并创建一个新类型 p→r，即它把 C2 中的对象映射到 C 中。通过函数类型的子类规则，这个运算逆转了第一参数上的≦顺序而在第二参数上保持该顺序，即它是一个在第一参数上逆变、而在第二参数上协变的函子。
暗帶鋸脂鯉
暗帶鋸脂鯉，為輻鰭魚綱脂鯉目脂鯉亞目锯脂鲤科的其中一個種。屬於食人魚的一種，分布於南美洲Guaporé河流域，體長可達21公分，棲息在底中層水域，生活習性不明，可作為觀賞魚及食用魚。
麥克拉里嶺
66°55′S 64°9′W﻿ / ﻿66.917°S 64.150°W﻿ / -66.917; -64.150
麥克拉里嶺（英語：）是南極洲的山嶺，位於葛拉漢地的弗因海岸，處於海斯山東南面9公里的科爾半島南部，在1947年12月由英國研究隊發現，現時由南極條約體系管理。
海斯山 (南極洲)
66°50′S 64°10′W﻿ / ﻿66.833°S 64.167°W﻿ / -66.833; -64.167
海斯山（英語：）是南極洲的山峰，位於葛拉漢地東岸，處於科爾半島，海拔高度1,140米，在1947年由英國研究隊發現，現時由南極條約體系管理。
利特爾頓嶺
66°22′S 63°7′W﻿ / ﻿66.367°S 63.117°W﻿ / -66.367; -63.117
利特爾頓嶺（英語：）是南極洲的山嶺，位於葛拉漢地東岸，處於邱吉爾半島西部，長7公里，海拔高度425米，在1947年由英國研究隊發現，現時由南極條約體系管理。
池沼鋸脂鯉
池沼鋸脂鯉，為輻鰭魚綱脂鯉目脂鯉亞目锯脂鲤科的其中一個種。分布於南美洲埃塞奎博河流域，體長可達21公分，棲息在底中層水域，生活習性不明。
梅涅勞斯嶺
64°35′S 63°40′W﻿ / ﻿64.583°S 63.667°W﻿ / -64.583; -63.667
梅涅勞斯嶺（英語：），是南極洲的山嶺，位於帕默群島的昂韋爾島中部，屬於亞該亞山脈的一部分，海拔高度1,370米，在1955年由英國研究隊測量，現時由南極條約體系管理。
馬爾冰山麓
64°33′S 63°40′W﻿ / ﻿64.550°S 63.667°W﻿ / -64.550; -63.667
馬爾冰山麓（德語：）是南極洲的冰山麓，位於帕默群島的昂韋爾島西北部，由德國探險隊發現，以英國海洋生物學家命名，現時由南極條約體系管理。
液化空气集团
液化空气集团（法語：Air Liquide S.A），是一家法國工业气体公司。
液化空气集团 历史
成立于1902年，总部位于法国巴黎，是世界上最大的工业、健康和环保气体供应商之一。法液空集团向众多的行业提供氧气、氮气、氢气和其它气体及相关服务。目前，该公司在八十多个国拥有约五万名员工。
2016年5月27日，以每股143美元現金，斥资134亿美元收购美国同業Airgas公司。
液化空气集团 财务数据
来源 :OpesC （页面存档备份，存于）
截至2016年2月29日，该公司的股票价值为334.34亿欧元，配股344,222,603份。
富克斯冰山麓
67°10′S 68°40′W﻿ / ﻿67.167°S 68.667°W﻿ / -67.167; -68.667
富克斯冰山麓（Fuchs Ice Piedmont），是南極洲的冰山麓，位於帕默群島的阿德萊德島西岸，長130公里，在1909年由讓-巴蒂斯特·夏古率領的法國探險隊繪入地圖，現時由南極條約體系管理。
亞馬遜河鋸脂鯉
亞馬遜河鋸脂鯉，為輻鰭魚綱脂鯉目脂鯉亞目锯脂鲤科的其中一個種。分布於南美洲亞馬遜河流域，體長可達21公分，棲息在底中層水域，生活習性不明。
抹香鯨嶺
65°47′S 62°48′W﻿ / ﻿65.783°S 62.800°W﻿ / -65.783; -62.800
抹香鯨嶺（英語：）是南極洲的山嶺，位於葛拉漢地的奧斯卡二世海岸，處於沃登高地北部，海拔高度約800米，由英國南極名稱諮詢委員會命名，現時由南極條約體系管理。
爬蟲嶺
67°33′S 68°11′W﻿ / ﻿67.550°S 68.183°W﻿ / -67.550; -68.183
爬蟲嶺（英語：）是南極洲的山嶺，位於葛拉漢地的阿德萊德島，長3.7公里，海拔高度約250米，在1977年由英國南極名稱諮詢委員會命名，現時由南極條約體系管理。
桂林市第十三中学
桂林市第十三中学，简称十三中，是直属桂林市教育局的一所公办初级中学，现有教学班24个，学生1087人，教职工90人。学校地处桂林市中心的四会路口，位于老人山下，两江四湖的桂湖湖畔。1947年即在此建立学校。十三中的前身是桂林市立实验中心小学，中共建政后更名为桂林市立第一小学。1954年，再次更名为四会路小学，1969年9月开始附设初中班，1972年取消小学，桂林市第十三中学正式成立。
薩米特嶺
63°27′S 57°2′W﻿ / ﻿63.450°S 57.033°W﻿ / -63.450; -57.033
薩米特嶺（英語：）是南極洲的山嶺，位於葛拉漢地的特里尼蒂半島東北端，長0.9公里，海拔高度380米，在1945年由英國研究隊命名和繪入地圖，現時由南極條約體系管理。
帕塞斯峰
63°27′S 57°3′W﻿ / ﻿63.450°S 57.050°W﻿ / -63.450; -57.050
帕塞斯峰（英語：）是南極洲的山峰，位於葛拉漢地的特里尼蒂半島，海拔高度535米，在1945年由英國研究隊繪入地圖，現時由南極條約體系管理。
斯托克嶺
67°31′S 68°12′W﻿ / ﻿67.517°S 68.200°W﻿ / -67.517; -68.200
斯托克嶺（英語：）是南極洲的山嶺，位於葛拉漢地的阿德萊德島東南部，處於羅瑟拉角西北面6公里，長1.9公里，海拔高度約420米，現時由南極條約體系管理。
斯蒂克爾嶺
63°56′S 57°55′W﻿ / ﻿63.933°S 57.917°W﻿ / -63.933; -57.917
斯蒂克爾嶺（英語：）是南極洲的山嶺，位於葛拉漢地的詹姆斯羅斯島，處於聖馬撒灣以西，海拔高度約720米，由英國南極名稱諮詢委員會命名，現時由南極條約體系管理。
聖馬撒灣
63°56′S 57°50′W﻿ / ﻿63.933°S 57.833°W﻿ / -63.933; -57.833
聖馬撒灣（英語：）是南極洲的海灣，位於葛拉漢地的詹姆斯羅斯島，處於克羅夫特灣西北部，在1959年的阿根廷地圖中被命名，現時由南極條約體系管理。
宙斯嶺
64°35′S 63°34′W﻿ / ﻿64.583°S 63.567°W﻿ / -64.583; -63.567
宙斯嶺（英語：）是南極洲的山嶺，位於帕默群島的昂韋爾島中部，處於亞該亞山脈和特洛伊山脈之間，在1955年由英國研究隊測量，現時由南極條約體系管理。
布羅克赫斯特嶺
71°2′S 67°6′E﻿ / ﻿71.033°S 67.100°E﻿ / -71.033; 67.100
布羅克赫斯特嶺（英語：）是南極洲的山嶺，位於麥克羅伯特森地，屬於查爾斯王子山脈的一部分，由澳大利亞探險隊繪入地圖，現時由南極條約體系管理。
埃弗谢德效应
埃弗谢德效应（英語：）由英国天文学家约翰·埃弗谢德于1909年发现，从太阳黑子的本影和半影间，有气体向二边水平輻射流。流速距出发点越运，速度越快，气体流的典型速度为1-4Km每秒，达到太阳黑子外边界处突然停止，这种现象称为埃弗谢德效应。此效应对太阳黑子的形成，稳定和动力过程都起重要作用；而且是太阳物理的基本问题之一。
现在关于埃弗谢德效应的理论主要有二大类：
但对其物理机制尚未有统一的认识。
布拉德利嶺
70°14′S 65°15′E﻿ / ﻿70.233°S 65.250°E﻿ / -70.233; 65.250
布拉德利嶺（英語：）是南極洲的山嶺，位於麥克羅伯特森地，處於彼得山東南面13公里，屬於查爾斯王子山脈中阿索斯山脈的一部分，由澳大利亞探險隊繪入地圖，現時由南極條約體系管理。
邦德嶺
70°16′S 65°13′E﻿ / ﻿70.267°S 65.217°E﻿ / -70.267; 65.217
邦德嶺（英語：）是南極洲的山嶺，位於麥克羅伯特森地，處於斯庫拉冰川北岸，屬於查爾斯王子山脈的一部分，由澳大利亞探險隊繪入地圖，現時由南極條約體系管理。
巴戈特嶺
70°19′S 64°19′E﻿ / ﻿70.317°S 64.317°E﻿ / -70.317; 64.317
巴戈特嶺（英語：）是南極洲的山嶺，位於麥克羅伯特森地，處於鮑德溫冰原島峰以西3公里，屬於查爾斯王子山脈的一部分，根據澳大利亞探險隊的測量和空中照片繪入地圖，現時由南極條約體系管理。
阿利森嶺
70°45′S 66°19′E﻿ / ﻿70.750°S 66.317°E﻿ / -70.750; 66.317
阿利森嶺（英語：）是南極洲的山嶺，位於麥克羅伯特森地，屬於查爾斯王子山脈中阿拉米斯山脈的一部分，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
古多爾嶺
71°2′S 66°50′E﻿ / ﻿71.033°S 66.833°E﻿ / -71.033; 66.833
古多爾嶺（英語：）是南極洲的山嶺，位於麥克羅伯特森地，屬於查爾斯王子山脈的一部分，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
戈爾茲沃西嶺
67°41′S 63°3′E﻿ / ﻿67.683°S 63.050°E﻿ / -67.683; 63.050
戈爾茲沃西嶺（英語：）是南極洲的山嶺，位於麥克羅伯特森地，屬於弗拉德山脈的一部分，挪威製圖師根據該國探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
克萊格嶺
71°14′S 65°40′E﻿ / ﻿71.233°S 65.667°E﻿ / -71.233; 65.667
克萊格嶺（英語：）是南極洲的山嶺，位於麥克羅伯特森地，處於阿爾莫尼尼冰原島峰西南面9公里，屬於查爾斯王子山脈的一部分，根據澳大利亞探險隊在1960年拍攝的空中照片繪入地圖，現時由南極條約體系管理。
查普曼嶺
67°28′S 60°58′E﻿ / ﻿67.467°S 60.967°E﻿ / -67.467; 60.967
查普曼嶺（英語：）是南極洲的山嶺，位於麥克羅伯特森地，處於伯德角西南面，長6公里，海拔高度300米，由澳大利亞探險家率領的探險隊發現，現時由南極條約體系管理。
哈爾孔布嶺
70°24′S 66°15′E﻿ / ﻿70.400°S 66.250°E﻿ / -70.400; 66.250
哈爾孔布嶺（英語：）是南極洲的山嶺，位於麥克羅伯特森地，屬於查爾斯王子山脈中波爾托斯山脈的一部分，處於維格納爾峰以西6公里，長3公里，根據澳大利亞探險隊在1956年拍攝的空中照片繪入地圖，現時由南極條約體系管理。
維格納爾峰
70°24′S 66°24′E﻿ / ﻿70.400°S 66.400°E﻿ / -70.400; 66.400
維格納爾峰（英語：）是南極洲的山峰，位於麥克羅伯特森地，處於麥卡錫山以西，屬於查爾斯王子山脈中波爾托斯山脈的一部分，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
麥卡錫山 (查爾斯王子山脈)
70°24′S 66°31′E﻿ / ﻿70.400°S 66.517°E﻿ / -70.400; 66.517
麥卡錫山（英語：）是南極洲的山峰，位於麥克羅伯特森地，屬於查爾斯王子山脈中波爾托斯山脈的一部分，海拔高度1,860米，以氣象學家命名，現時由南極條約體系管理。
哈維嶺
70°59′S 65°18′E﻿ / ﻿70.983°S 65.300°E﻿ / -70.983; 65.300
哈維嶺（英語：）是南極洲的山嶺，位於麥克羅伯特森地，處於哈斯基山以東4公里，屬於查爾斯王子山脈中阿拉米斯山脈的一部分，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
哈里斯嶺
70°8′S 65°8′E﻿ / ﻿70.133°S 65.133°E﻿ / -70.133; 65.133
哈里斯嶺（英語：）是南極洲的山嶺，位於麥克羅伯特森地，處於多佛斯山東北面4公里，屬於查爾斯王子山脈中阿索斯山脈的一部分，由澳大利亞探險隊繪入地圖，現時由南極條約體系管理。
多佛斯山
70°8′S 64°59′E﻿ / ﻿70.133°S 64.983°E﻿ / -70.133; 64.983
多佛斯山（英語：）是南極洲的山峰，位於麥克羅伯特森地，處於德懷爾山西北面4公里，屬於查爾斯王子山脈中阿索斯山脈的一部分，現時由南極條約體系管理。
德懷爾山
70°11′S 65°4′E﻿ / ﻿70.183°S 65.067°E﻿ / -70.183; 65.067
德懷爾山（英語：）是南極洲的山峰，位於麥克羅伯特森地，處於多佛斯山東南面4公里，屬於查爾斯王子山脈中阿索斯山脈的一部分，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
麥克拉倫嶺
70°52′S 67°38′E﻿ / ﻿70.867°S 67.633°E﻿ / -70.867; 67.633
麥克拉倫嶺（英語：）是南極洲的山嶺，位於麥克羅伯特森地，處於拉多克湖以西9公里，屬於查爾斯王子山脈中阿拉米斯山脈的一部分，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
孟加拉蘇丹國
孟加拉蘇丹國，是指中世紀五個在孟加拉半獨立王朝。首先是蘇丹法赫爾丁·穆巴拉克·沙阿，1338年從德里蘇丹國獨立和自封蘇丹。在接下來的三個世紀中，由來自突厥，孟加拉，阿拉伯，阿比西尼亞和阿富汗起源的統治者統治蘇丹國。
蘇丹國在十六世纪初垮台，並於1576年被吸收到莫臥兒帝國。
凱澤嶺
73°57′S 63°28′E﻿ / ﻿73.950°S 63.467°E﻿ / -73.950; 63.467
凱澤嶺（英語：）是南極洲的山嶺，位於麥克羅伯特森地，屬於查爾斯王子山脈的一部分，長20公里，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
肯尼思嶺
70°57′S 71°30′E﻿ / ﻿70.950°S 71.500°E﻿ / -70.950; 71.500
肯尼思嶺（英語：）是南極洲的山嶺，位於麥克羅伯特森地，屬於曼寧冰原島峰的一部分，由美國海軍拍攝照片，以無線電操作員命名，現時由南極條約體系管理。
惠特沃思嶺
70°24′S 66°8′E﻿ / ﻿70.400°S 66.133°E﻿ / -70.400; 66.133
惠特沃思嶺（英語：）是南極洲的山嶺，位於麥克羅伯特森地，屬於查爾斯王子山脈中波爾托斯山脈的一部分，處於萊基山東北面3.7公里，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。
萊基山
70°26′S 66°0′E﻿ / ﻿70.433°S 66.000°E﻿ / -70.433; 66.000
萊基山（英語：）是南極洲的山峰，位於麥克羅伯特森地，屬於查爾斯王子山脈中波爾托斯山脈的一部分，處於馬丁山以東6公里，由澳大利亞探險隊踏足該山峰，現時由南極條約體系管理。
馬丁山 (麥克羅伯特森地)
70°28′S 65°40′E﻿ / ﻿70.467°S 65.667°E﻿ / -70.467; 65.667
馬丁山（英語：）是南極洲的山峰，位於麥克羅伯特森地，屬於查爾斯王子山脈中波爾托斯山脈的一部分，處於利德山以東，根據澳大利亞探險隊拍攝的空中照片繪入地圖，現時由南極條約體系管理。