stanford-oval/wikipedia huggingface dataset:
书 (图论)
书的定理

可定义满足拉姆齐数的两个三角形书为 r(B_{p},\ B_{q})。当 r取最小值时，任意一个有 r个顶点的图中，该图不是本身包含子图 B_{p}就是它的补图包含子图 B_{q}。
如果  1\leq p\leq q，那么 r(B_{p},\ B_{q})=2q+3。
当 q\geq cp时，存在一个常数 c=o(1)使得 r(B_{p},\ B_{q})=2q+3。
如果  p\leq q/6+o(q)并且 q数值较大，拉姆齐数的值为 2q+3。
将 C取为常数，并且取 k=Cn。那么每一个有 n个顶点和 m条边的图都包含(三角形) B_{k}。
北京医院

| 北京医院 Beijing Hospital |
| --- | --- |

基本
地址: 中国北京市东城区东单
组织结构
医保系统: 中国医疗保障
经营性质: 公立医院
醫院类型: 綜合醫院、教學醫院
醫療劃分: 国家医学中心
医院等级: 三级甲等
主管机构: 国家卫生健康委员会
医疗服务
: 有
專科: 老年医学
床位数: 1247
歷史
建立时间: 1905年9月25日
联系方式
網站: bjhmoh.cn
地圖

| 医院排名 |
| --- | --- |
北京医院
老年医学
中国医院排行榜（2023）
全国综合: A+
中国医院专科声誉排行榜（2023）
全国专科声誉: 第1名
华北区专科声誉: 第1名
复旦大学医院管理研究所
德国医院旧照（约摄于1927年）
北京医院，是直属于中华人民共和国国家卫生健康委员会的一所大型全科三级甲等医院，位于北京市东城区东单大华路1号。
历史沿革 > 前身——德国陆军医院

其前身可追溯至德国政府于1904年秋用庚子赔款在东交民巷使馆区开工建设的德国陆军医院（德語：）。1905年正式建成。德国医院从初建到1945年前，陆续有数十位德籍医师、护士在该院工作。1917年，德籍医生埃德蒙·狄博尔在北京受德国教会委托，将军事医院改为教会医院性质的民间医院，即德国医院（英語：；德語：），由总会设在德国斯图加特的基督教福音派女修道院协管。
由于抗日战争结束前德国医院归德国大使馆管辖，对于日德籍人员有特殊待遇，有收容藏匿纳粹分子的嫌疑；事后时任医院院长的史蒂夫也向北平市政府外事处自首，承认曾于1933年加入纳粹党，一度导致接收医院工作十分复杂。1945年日本投降后，10月15日北平市政府卫生局以吴洁博士为首任院长，接管该院。同年11月2日，经北平市政府卫生局局长韩云峰签署训令，将原德国医院更名为“市立北平医院”。当时医院留用德籍人员23名，不久相继回德国。到1949年2月，全院职工256人（其中职员116人，工友140人），建筑面积14000平方米。
历史沿革 > 前身——延安中央医院、延安白求恩国际和平医院

该院的另一前身是延安的中央医院。1938年冬，中共中央派傅連暲负责组建中央卫生处，负责中央机关的卫生保健工作。1939年3、4月份，中共中央接受中央卫生处处长傅連暲的提议，决定在延安建一所正规化的医院，中央委托何穆在中央卫生处领导下筹建该医院。1939年9月，中央医院开始接收病人。1939年11月7日举行开院典礼。傅连暲、何穆、魏一斋先后任院长。1940年后，中央医院也称白求恩国际和平医院第一部（这个白求恩国际和平医院是指延安白求恩国际和平医院，与今中国人民解放军白求恩国际和平医院无关）。延安学生疗养院1941年1月成立后，也和该院同设在一个地址，直到1941年11月迁至杨家湾。1947年初，中央医院组成“陕甘宁晋绥联防军卫生部第一后方医院”，同时继承了白求恩国际和平医院总院的名义，随后迁往华北解放区。后来该医院改成中央门诊部。1949年3月迁往北平。（陕甘宁晋绥联防军卫生部第一后方医院另一部分留在西北，后来演变为今西安市儿童医院、唐都医院）。
第二次国共内战后期，中共中央由延安迁至河北省平山县西柏坡，同时在邻近的建屏县朱壕村建医疗点。该医疗点称“朱壕医院”，其人员由延安中央医院和延安白求恩和平医院的医务人员组成。
历任领导

埃德蒙·狄博尔（1913年—1933年3月8日）
克礼（1921年—1938年9月14日）
史悌夫
义克德（1945年—1945年）
吴洁（1945年10月15日—1946年7月1日）
韩云峰
傅连暲（1939年11月）
何穆
魏一斋
| --- | --- |
 院长 刘敏（1949年2月14日—1949年4月25日，中国人民解放军北平市军事管制委员会军管代表）  黄树则（1949年4月—1950年5月）  蒲荣钦（1950年5月—1952年）  周泽昭（1952年—1957年12月）  崔义田（1959年4月—1973年）  林钧才（1973年8月—1984年9月22日）  蒋葆生（1984年10月—1991年）  耿德章（1991年—1999年）  张忠辉（1999年1月—2003年）  林嘉滨（2003年9月—2015年11月）  曾益新（2015年11月—2017年2月）  王建业（2017年4月—） 名誉院长 吴蔚然（1984年—2016年8月8日）  钱贻简（1997年—2011年7月6日）  高润霖  :  党委书记 齐涛（1958年7月—1973年）  林钧才（1973年8月）  郭普远  张家增（1994年11月17日）  张忠辉  张爱莉  王建业（2017年）  汪耀（2017年4月—）
院内逝世名人

1920年：杨昌济（教育家，毛泽东老师及岳父）
1924年：熙礼尔（英国外交官禧在明之兄，汇丰银行北平分行首任经理）
1939年：钱玄同（文学家）
1948年：朱自清（文学家）
1953年：徐悲鸿（画家）
1955年：张澜（中国民主同盟主席）
1957年：袁仲贤（外交部副部长）、齐白石（画家）
1959年：章次公（北京医院中医科主任，第三届全国政协委员）
1963年：罗荣桓（中华人民共和国元帅）
1972年：陈正人（原第八机械工业部部长）、曾山（原内务部部长）、邓子恢（原国务院副总理、中共中央农村工作部部长）
1974年：傅作义（第四届全国政协副主席、水利部部长）
1976年：周恩来（国务院原总理、全国政协原主席）、朱德（全国人大常委会委员长、中华人民共和国元帅之首）
1978年：杨奇清（公安部副部长）、郭沫若（文学家、政治家）
1979年：童第周（生物学家）
1981年：曹菊如（中国人民银行行长）
1982年：王观澜（第五届全国人大常委会委员）
1984年：贾庭三（中顾委委员）
1986年：陈永贵（原国务院副总理）
1988年：廖梦醒（第六届全国政协委员）、许涤新（经济学家）、蒋南翔（马克思主义教育家，中共中央党校第一副校长）、梁漱溟（国学大师）、杨寿山（卫生部原副部长）、马海德（医学家）
1989年：胡耀邦（前中共中央主席、中共中央总书记）
1992年：邓颖超（全国政协原主席）
1993年：周培源（流体力学家）
1995年：夏衍（剧作家）、陈云（原中共中央副主席）
1996年：曹禺（中国现代话剧奠基人）、陈景润（数学家）
1997年：彭真（第六届全國人大常委会委員長）
1998年：帅孟奇（第三届全国人大常委会委员，原中共中央组织部副部长）
1999年：冰心（作家）
2005年：赵紫阳（前中共中央总书记，国务院总理，中央军委副主席，全国政协副主席）
2007年：傅铁山（第十届全国人大常委会副委员长、中国天主教爱国会主席、天主教北京教区主教）
2008年：吴学谦（原国务院副总理、原外交部部长）
2009年：任继愈（哲学家）、李丁（表演艺术家）
2010年：吴冠中（画家）、范敬宜（原人民日报总编辑）
2011年：刘华清（原中共中央政治局常委、原中央军委副主席）、周海婴（鲁迅之子）
2012年：诺罗敦·西哈努克（柬埔寨王国太王）、陈强（演员）、李默然（演员）、王忠诚（中国工程院院士）
2013年：石宗源（贵州省委原书记）、梁伯琪（原中共中央总书记赵紫阳夫人）、沈谱（原轻工业部科研院学术委员会副主任，大公报记者范长江夫人）
2014年：李清（交通部原部长）、周巍峙（中国文联名誉主席）、王昆（歌唱家）
2015年：张洁清（第六届全國人大常委会委員長彭真夫人）、喬石（原中共中央政治局常委、原中纪委书记、第八届全國人大常委会委員長）、萬里（原中共中央政治局委员、第七届全國人大常委会委員長）、尉健行（原中共中央政治局常委、原中纪委书记）、邓力群（原中共中央书记处书记、原中共中央宣传部部长）、张劲夫（原国务委员、原中共中央顾问委员会常委）、汪东兴（原中共中央副主席）、张震（原中央军委副主席）、杜润生（中国农村改革之父）、张万年（原中央军委副主席）、成思危（原全國人大常委会副委員長、原中國民主建國會主席）、溥任（末代皇帝溥仪之幼弟）、曹庆泽（原中华人民共和国监察部部长）、陆维钊（原中华人民共和国外交部亚洲司司长）、魯平（原國務院港澳事務辦公室主任）
2017年：钱其琛（原国务院副总理、原外交部部长）
2018年：袁木（原国务院发言人、李鹏办公室主任）、王光英（原全國人大常委会副委員長）
2019年：柯华（中国外交家、原中国驻英国大使）、李锐（原中顾委委员、原中组部副部长）、袁宝华（原中顾委委员、原国家计委主任）、陈舜瑶（原清华大学党委副书记、中共元老宋平夫人）
2020年：焦若愚（原中顾委委员、原北京市市长）、胡平（原商业部部长、原福建省省长）
朱英㷿

楚恭王朱英㷿（1541年—1571年），明朝第八代楚王，愍王朱顯榕的第三子。嘉靖二十四年（1545年）父亲朱顯榕遭世子朱英燿殺害，是為楚藩宮變。朱英燿被處死於北京。六年後，朱英㷿嗣位。
隆慶五年（1571年）朱英㷿薨逝，在位二十年。明沈德符《万历野获编》卷四·宗藩：《楚府前后遭变》、《楚府行勘》、《存楚》等条称朱英㷿“不男”（阳痿），曾屡次暗示其所亲厚的藩僚“如晋海西公晚年为后计”，但皆“惧祸不敢承”。沈德符乡人楚王府纪善官沈樟亭曾与朱英㷿有“鱼水之欢”，朱英㷿示以春申君、吕不韦二人传记，沈樟亭知其意，以死辞谢不敢当，遂失宠。朱英㷿后移情于其他嬖幸的男宠，后有孪生子朱華奎及朱華壁。两人被認為是他人之子假冒楚嗣，后在万历年间引发了伪楚王案。朱華奎即位後，先由兩位宗理贊理楚府事，至萬曆八年（1580年）才嗣位。
家庭 > 高祖父

東安恭定王朱季塛
家庭 > 曾祖父

楚靖王朱均鈋
家庭 > 祖父

楚端王朱榮㳦
家庭 > 叔父

二叔：保康榮康王朱顯樟
三叔：武岡王朱顯槐
家庭 > 父

楚愍王朱顯榕
家庭 > 兄弟

庶長兄：朱英燿
家庭 > 子

嫡一子：楚定王朱華奎
嫡二子：楚貞王朱華壁
庶三子：楚王朱華堞
庶四子：楚王朱華廛
| 0 | 1 | 2 |
| --- | --- | --- |
| 前任者： 父愍王朱顯榕 | 明楚國國王 1551年－1571年 | 繼任： 叔朱顯槐 楚府宗理 |
| 前任者： 父愍王朱顯榕 | 明楚國國王 1551年－1571年 | 繼任： 子定王朱華奎 |
参考资料

《明史》卷116
民國百年蟲

民國百年蟲問題演示：上面2行所顯示的日期時間無民國百年蟲問題，下面2行所顯示的日期時間有民國百年蟲問題
民國百年蟲問題，或称民國一百年問題、民國一百年年序問題，通常簡稱百年蟲，是指一般由中華民國開發以民國紀年的正體中文的電腦軟件系統，因為程式設計上的問題，使電腦在處理民國一百年（公元2011年）以後的日期可能會出現錯誤或無法正常操作。
原因

一些以中華民國曆紀年的電腦軟件系統，只使用2個位來表示年份，導致無法表達和處理民國100年後的數字。
案例

部分未更新的電子告示牌及電子時鐘在民國一百年的元旦，年份欄位出現00或其他無法顯示100的特殊情形，也有iPhone的使用者表示其內建的鬧鐘無法在2011年1月1日發聲。
參見

2000年問題
2038年問題
10000年問題
参考资料

↑  魏, 紜鈴. . 資安人. 2009-10-23. （原始内容存档于2016-12-29）.
↑  .   [2016-12-29]. （原始内容存档于2016-12-30）.
外部連結

民國百年年序問題服務網
因應資訊系統民國百年年序問題服務網
|  论 编年問題（日语：） |
| --- | --- |
技術問題:  1999年8月21日問題  2000年问题（Y2K）  民国100年問題（2011年問題）  2019年4月6日問題  昭和100年問題（日语：）  2038年问题  10000年问题 
社会問題:  1953年問題  2011年問題  2014年問題（日语：）（Windows XP）  2018年問題  2045年問題 
其他問題:  農曆2033年問題 
相關條目:  算術溢出
中国工农红军第七军、第八军会师旧址

| 中国工农红军第七军、第八军会师旧址> 广西壮族自治区文物保护单位 |
| --- | --- |
地址: 乐业县县城三乐街292号中国工农红军第七军、第八军会师纪念馆
分类: 革命遗址及革命纪念建筑物
时代: 1930
认定时间: 1994年7月8日
中国红军第七第八军乐业会师纪念馆
中国工农红军第七军、第八军会师旧址，位于中国广西壮族自治区百色市乐业县同乐镇三乐街292号，为一个省级文物保护单位，类型为革命遗址及革命纪念建筑物，为第四批广西壮族自治区文物保护单位，公布时间为1994年7月8日。
历史

该建筑原为覃家老宅，始建于1754年，原为一幢三进一花园，卧龙式的木质结构房屋，现仅存第二进。
1930年10月23日，中国工农红军第七军和中国工农红军第八军在乐业县城会师，此后覃家老宅成为红七、红八军的宿营地之一。
塞纳路

| --- | --- |
塞納路（2024年3月）
道路長度: 665（2,182英尺）
道路度: 11.7米（38英尺）
區:  巴黎第六区
座標: 48°51′15″N 2°20′13″E﻿ / ﻿48.85417°N 2.33694°E﻿ / 48.85417; 2.33694
起點: 3 quai Malaquais
終點: 16 rue Saint-Sulpice
建造
竣工: 1259
塞纳路（法語：）是巴黎第六区的一条街道。塞纳路是巴黎最受追捧的街道之一，因為它的歷史，以及非常接近卢浮宫和巴黎其他著名的地標。塞纳路和周圍的街道是世界上画廊和古董店最集中的地方。
建筑

1号：天主教神父、遣使会的创办者圣文生·德·保禄住所，1610-1612
参考

1 2  Paris, Instant. . Instant Paris.   [2014-05-23]. （原始内容存档于2016-03-04）.
齐默特多尔济

齐默特多尔济（蒙古語：，轉寫：，藏語：འཆི་མེད་རྡོ་རྗེ།，？—1782年），博尔济吉特氏，科尔沁蒙古人，郡王罗卜藏喇什子。
雍正三年（1725年）袭封科尔沁扎萨克多罗郡王；雍正八年（1730年）十二月尚和硕端柔公主。乾隆四十七年（1782年）去世。
參考資料

↑  . Christopher Buyers.   [2020-02-02]. （原始内容存档于2024-11-30）.
真機伶

| 日語寫法 |
| --- | --- |
日語原文: 
平文式罗马字: 
真機伶（日语：，英語：），是日本純種競賽馬匹。生涯活躍於短途賽事，曾於2011年勝出短途馬錦標並獲得最佳短途馬頭銜，後2012年勝出高松宮紀念並獲得最佳4歲以上雌馬頭銜。
出賽前

2007年3月31日出身於北海道千歲市社台牧場，被馬主鈴木隆司於拍賣會以2625萬日圓購入。
其後交由栗東訓練中心練馬師安田隆行訓練。
競賽生涯 > 2歲

2009年12月26日出戰阪神競馬場的2歲新馬，由武豐策騎，但最終1 1/2馬位差距屈居第二。
競賽生涯 > 3歲

2010年1月16日出戰3歲未勝利戰，於第一人氣下獲得首勝。
其後出戰條件戰萌黃賞，於有利位置追走下，進入直路後衝出率先衝線獲勝。
3月14日出戰二級賽雌馬賽，於中團位置推進，但於直路上未能進一步加速而以第八完賽。
5月15日出戰葵錦標，獲得第二人氣。比賽開始後，其處於先頭部隊推進。進入直路後，其開始內閃，並於最後100米成功衝出，但於終點線前被Keiai Daisy超越，獲得第二。
其後出戰潮騷錦標，再次獲得第二人氣。比賽途中一直保持於先頭部隊，進入直路後發揮強大的加速力衝刺，最終奪得領先下以2 1/2馬位獲勝。
完成賽事後，其進入半年左右的放草，備戰下年度的賽事。
競賽生涯 > 4歲

2011年1月23日出戰首戰伏見錦標，獲得第一人氣，但於直路上未能保持速度而獲得第三。
2月19日出戰山城錦標，於直路上成功追上前方領放的馬匹，並繼續衝刺加速，輕鬆奪得冠軍。
其後出戰阪神牝馬錦標，獲得第一人氣。比賽開始後，其選擇於先頭位置推進，並於途中搶佔有利位置。進入直路後，其開始加速並超越前方對手，最終以1/2馬位奪冠，獲得首個分級賽冠軍。
完成賽事後，其再次進入放草，調整狀態爲夏季的賽事作準備。
7月3日復出出戰函館競馬場的函館短途錦標。比賽途中一直處於中團位置，並於直路上由外檔衝出，發揮其末腳的實力，於終點線前成功超越飛鷹雄風再次獲得冠軍。
8月28日出戰堅蘭盃，獲得第一人氣。比賽開始後，其處於先頭位置，並於進入直路後加速一舉超越更前方的加登快駒，達成分級賽三連勝。
其後出戰短途馬錦標，其比賽途中於第六的位置追走，並以相同節奏通過最後彎道。直路上，憑藉其跑出全場第二快末腳的實力，其成功超越前方的三人共舞，以1 3/4馬位優勢率先衝線，成功奪得首個一級賽冠軍。
其後陣營安排其遠征香港，出戰香港短途錦標。比賽途中其處於中團位置推進，但於直路上未能發揮以往實力，以第五完賽。
年末評選中，其以270票當選最佳短途馬。
競賽生涯 > 5歲

2012年3月3日出戰海洋錦標，爲高松宮紀念作熱身，但其於直路上無法保持優勢，最終獲得第四。
其後出戰高松宮紀念，比賽途中一直處於先頭位置。進入直路後，其超越失速的領放馬榮進德民進佔領先位置，並繼續保持速度抵擋後方聖卡羅及龍王的追擊，最終以頸位率先衝線，再次奪得一級賽冠軍。此次勝利，其成爲了計花公園及信念後第三匹贏得兩場短途一級賽的雌馬。
經過夏季放草後，9月9日出戰人馬錦標，但未能保持此前狀態，獲得第四。
其後出戰短途馬錦標，以短途一級賽三連霸爲目標。比賽開始後，其處於中團位置推進，並以第五的位置通過最後彎道。進入直路後，雖然其發力進佔領先的位置，但隨即被由後方來襲的龍王超過，最終以3/4差距落敗，獲得亞軍。
其後再次遠征香港出戰香港短途錦標，由於漏閘的影響，其處於不利局面，最終以第七完賽並目睹龍王達成完成勝利的壯舉。
年末，由於其本年度表現良好，以177票當選最佳4歲以上雌馬，但於最佳短途馬評選則以大比數落敗勝出短途馬錦標及香港短途錦標的龍王。
其後陣營宣佈正式安排其退役，並取消日本中央競馬會的賽駒註冊。
競賽生涯 > 詳細賽績

| 日期 | 舉辦國家/地區 | 馬場 | 距離 | 級別 | 賽事名稱 | 負重 | 騎師 | 馬號 | 出馬 | 名次 | 時間 | 頭馬（二馬） |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 26/12/2009 |  日本 | 阪神 | 泥1200 |  | 2歲新馬 | 54 | 武豐 | 1 | 12 | 2 | 1:14.3 | Takano King |
| 16/1/2010 |  日本 | 京都 | 泥1200 |  | 3歲未勝利 | 51 | 國分恭佳 | 16 | 16 | 1 | 1:13.1 | （Pretty Star） |
| 7/2/2010 |  日本 | 中京 | 草1200 |  | 萌黄賞 | 54 | 鮫島良太 | 14 | 18 | 1 | 1:09.7 | （Jody's Line） |
| 14/3/2010 |  日本 | 阪神 | 草1400 | GII | 雌馬賽 | 54 | 鮫島良太 | 7 | 16 | 8 | 1:23.2 | 靜音 |
| 15/5/2010 |  日本 | 京都 | 草1200 | OP | 葵錦標 | 54 | 池添謙一 | 7 | 16 | 2 | 1:07.6 | Keiai Daisy |
| 19/6/2010 |  日本 | 函館 | 草1200 |  | 潮騷特別 | 54 | 池添謙一 | 1 | 9 | 1 | 1:08.8 | （Sakura Idaten） |
| 23/1/2011 |  日本 | 京都 | 草1200 |  | 伏見錦標 | 54 | 池添謙一 | 7 | 15 | 3 | 1:09.3 | Orion Stars |
| 19/2/2011 |  日本 | 京都 | 草1200 |  | 山城錦標 | 55 | 川田將雅 | 2 | 15 | 1 | 1:09.2 | （華倫之夢） |
| 9/4/2011 |  日本 | 阪神 | 草1400 | GII | 阪神牝馬錦標 | 55 | 池添謙一 | 1 | 18 | 1 | 1:20.4 | （蔚藍天空） |
| 3/7/2011 |  日本 | 函館 | 草1200 | GIII | 函館短途錦標 | 54 | 池添謙一 | 2 | 12 | 1 | 1:08.0 | （飛鷹雄風） |
| 28/8/2011 |  日本 | 札幌 | 草1200 | GIII | 堅蘭盃 | 54 | 池添謙一 | 8 | 16 | 1 | 1:08.6 | （加登快駒） |
| 2/10/2011 |  日本 | 中山 | 草1200 | GI | 短途馬錦標 | 55 | 池添謙一 | 10 | 15 | 1 | 1:07.4 | （三人共舞） |
| 11/12/2011 |  香港 | 沙田 | 草1200 | GI | 香港短途錦標 | 55.5 | 池添謙一 | 11 | 14 | 5 | 1:09.36 | 天久 |
| 3/3/2012 |  日本 | 中山 | 草1200 | GIII | 海洋錦標 | 56 | 池添謙一 | 13 | 16 | 4 | 1:09.4 | 一卡美鑽 |
| 25/3/2012 |  日本 | 中京 | 草1200 | GI | 高松宮記念 | 55 | 池添謙一 | 10 | 18 | 1 | 1:10.3 | （聖卡羅） |
| 9/9/2012 |  日本 | 阪神 | 草1200 | GII | 人馬錦標 | 56 | 池添謙一 | 6 | 16 | 4 | 1:07.4 | 辛辣風味 |
| 30/9/2012 |  日本 | 中山 | 草1200 | GI | 短途馬錦標 | 55 | 池添謙一 | 14 | 16 | 2 | 1:06.8 | 龍王 |
| 9/12/2012 |  香港 | 沙田 | 草1200 | GI | 香港短途錦標 | 55.5 | 池添謙一 | 12 | 12 | 7 | 1.09.19 | 龍王 |
退役後

退役後，真機伶成爲了繁殖雌馬，於北海道千歲市社台牧場休養，在2013年進行配種，但該胎其後被證實流產。首匹子嗣Curren Slay於2015年出生，可於2017年出賽，但未有於中央賽事勝出。
退役後 > 詳細繁殖資料

| 數目 | 馬名 | 出生年 | 性別 | 父系 | 練馬師 | 馬主 | 戰績 |
| --- | --- | --- | --- | --- | --- | --- | --- |
|  | （流產） |  |  | 大震撼 |  |  |  |
| 第一匹 | Curren Slay | 2015 | 雄 | 小說名家 | 栗東・安田隆行 →笠松・尾島徹 | 鈴木隆司 | 15戰6冠1亞3季（退役） |
| 第二匹 | 機伶夢 | 2016 | 雌 | 龍王 | 栗東・安田隆行 | 鈴木隆司 | 13戰4冠4亞2季（退役・繁殖） |
| 第三匹 | Curren Hime | 2017 | 雌 | 野田尚城 | 栗東・安田翔伍 | 鈴木隆司 | 14戰2冠1亞2季（退役・繁殖） |
| 第四匹 | Curren Yuan Meng | 2018 | 雄 | 機伶獵駒 | 栗東・安田翔伍 | 鈴木隆司 | 2戰0冠0亞0季（退役） |
| 第五匹 | Curren Emotion | 2019 | 雄 | 真心呼喚 | 栗東・安田翔伍 | 鈴木隆司 | 3戰0冠0亞0季（退役） |
| 第六匹 | 真機伶2020 | 2020 |  | 一路通 |  |  | （出生後夭折） |
|  | （受胎失敗） |  |  | 一路通 |  |  |  |
|  | （流產） |  |  | 大鳴大放 |  |  |  |
|  | （受胎失敗） |  |  | 白日彗星 |  |  |  |
| 第七匹 | 真機伶2024 | 2024 | 雌 | 帝王加冕 |  |  | （出賽前） |
血統簡介

父系大洋船爲美國生產的日本賽駒，於草地泥地賽事均有表現，曾勝出NHK一哩賽及日本盃泥地大賽。祖父French Deputy爲美國賽駒，生涯戰績不俗，曾勝出二級賽。
母系Spring Ticket爲日本賽駒，生涯戰績可圈可點，雖然有勝場，但並未突破條件戰級別賽事。外祖父爲愛爾蘭生產的意大利賽駒東來兵，曾勝出凱旋門大賽，退役後於日本配種，和週日寧靜及百仁時間被一同稱爲改變日本賽馬的三匹種馬。
血統簡介 > 血統表

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
父線：Vice Regent系（北地舞人系）
| 種馬  大洋船 1998年（灰色） |  French Deputy 1990年（栗色） |  Deputy Minister |  Vice Regent |
| 種馬  大洋船 1998年（灰色） |  French Deputy 1990年（栗色） |  Deputy Minister |  Mint Copt |
| 種馬  大洋船 1998年（灰色） |  French Deputy 1990年（栗色） |  Mitterand |  Hold Your Peace |
| 種馬  大洋船 1998年（灰色） |  French Deputy 1990年（栗色） |  Mitterand |  Laredo Lass |
| 種馬  大洋船 1998年（灰色） |  Blue Avenue 1990年（灰色） |  Classic Go Go |  Pago Pago |
| 種馬  大洋船 1998年（灰色） |  Blue Avenue 1990年（灰色） |  Classic Go Go |  Classic Perfection |
| 種馬  大洋船 1998年（灰色） |  Blue Avenue 1990年（灰色） |  Eliza Blue |  Icecapade |
| 種馬  大洋船 1998年（灰色） |  Blue Avenue 1990年（灰色） |  Eliza Blue |  Corella |
| 繁殖雌馬  Spring Ticket 1997年（深棗色） |  東來兵 1983年（棗色） |  Kampala |  Kalamoun |
| 繁殖雌馬  Spring Ticket 1997年（深棗色） |  東來兵 1983年（棗色） |  Kampala |  State Pension |
| 繁殖雌馬  Spring Ticket 1997年（深棗色） |  東來兵 1983年（棗色） |  Severn Bridge |  Hornbeam |
| 繁殖雌馬  Spring Ticket 1997年（深棗色） |  東來兵 1983年（棗色） |  Severn Bridge |  Priddy Fair |
| 繁殖雌馬  Spring Ticket 1997年（深棗色） |  Kazumi Harukoma 1984年（棕色） |  丸善斯基 |  尼真斯基 |
| 繁殖雌馬  Spring Ticket 1997年（深棗色） |  Kazumi Harukoma 1984年（棕色） |  丸善斯基 |  Shell |
| 繁殖雌馬  Spring Ticket 1997年（深棗色） |  Kazumi Harukoma 1984年（棕色） |  Senshu Takara |  Venture |
| 繁殖雌馬  Spring Ticket 1997年（深棗色） |  Kazumi Harukoma 1984年（棕色） |  Senshu Takara |  Shadai Wing |
雌系：Black Tarquin系（號族：13-c）
五代內近親交配：北地舞人 5×5
命名由來

名字中，Curren（）是馬主鈴木隆司冠名，出自其千金之名字，Chan（）則是日語中對親近之人的愛稱，香港原先採用音譯譯为「真機靈」，但後來因为馬主鈴木隆司要求，改为「真機伶」。
相關條目

李察靈駒、不眠之夜、捕鯨之旅、太空隕石、純淨之輝、大海女神：同父馬
機伶迷宮、機伶獵駒、機伶金花：同主馬
參考資料

↑  . JBISサーチ. 公益社団法人日本軽種馬協会.   [2023-05-04]. （原始内容存档于2023-05-29） （日语）.
↑  . netkeiba.com. 株式会社ネットドリーマーズ.   [2023-05-04]. （原始内容存档于2023-05-07） （日语）.
↑  . netkeiba.com. 株式会社ネットドリーマーズ.   [2023-05-04]. （原始内容存档于2023-05-07） （日语）.
↑  . netkeiba.com. 株式会社ネットドリーマーズ.   [2023-05-04]. （原始内容存档于2023-05-05） （日语）.
↑  . netkeiba.com. 株式会社ネットドリーマーズ.   [2023-05-04]. （原始内容存档于2023-05-07） （日语）.
↑  . netkeiba.com. 株式会社ネットドリーマーズ.   [2023-05-04]. （原始内容存档于2023-05-13） （日语）.
↑  . netkeiba.com. 株式会社ネットドリーマーズ.   [2023-05-04]. （原始内容存档于2023-05-07） （日语）.
↑  . netkeiba.com. 株式会社ネットドリーマーズ.   [2023-05-04]. （原始内容存档于2023-05-07） （日语）.
驻马哨站

驻马哨站是位于云南省开远市羊街乡的一个铁路车站，邮政编码661002。车站建于1909年，有昆河铁路经过该站，现不办理正式客运，办理货运业务，车站及其上下行区间均未电气化。车站距离昆明北站268公里，隶属昆明铁路局，是四等站。
协变与逆变

：此条目的主题不是。
协变与逆变（Covariance and contravariance）是在计算机科学中，描述具有父/子型别关系的多个型别通过型别构造器、构造出的多个复杂型别之间是否有父/子型别关系的用语。
概述

許多程式設計語言的型別系統支持子型別。例如，如果Cat是Animal的子型別，那麼Cat型別的表達式可用於任何出現Animal型別表達式的地方。所謂的變型（variance）是指如何根據組成型別之間的子型別關係，來確定更複雜的型別之間（例如List<Cat>之於List<Animal>，回傳Cat的函數之於回傳Animal的函數...等等）的子型別關係。當我們用型別構造出更複雜的型別，原本型別的子型別性質可能被保持、反轉、或忽略───取決於型別構造器的變型性質。例如在C#中：
IEnumerable<Cat>是IEnumerable<Animal>的子型別，因為型別構造器IEnumerable<T>是協變的（covariant）。注意到複雜型別IEnumerable的子型別關係和其介面中的參數型別是一致的，亦即，參數型別之間的子型別關係被保持住了。
Action<Animal>是Action<Cat>的子型別，因為型別構造器Action<T>是逆變的（contravariant）。（在此，Action<T>被用來表示一個參數型別為T或sub-T的一級函數）。注意到T的子型別關係在複雜型別Action的封裝下是反轉的，但是當它被視為函數的參數時其子型別關係是被保持的。
IList<Cat>或IList<Animal>彼此之間沒有子型別關係。因為IList<T>型別構造器是不變的（invariant），所以參數型別之間的子型別關係被忽略了。
程式語言的設計者在制定陣列、繼承、泛型數據類別等的型別規則時，必須將“變型”列入考量。將型別構造器設計成是協變、逆變而非不變的，可以讓更多的程式俱備良好的型別。另一方面，程式員經常覺得逆變是不直觀的；如果為了避免執行時期錯誤而精確追蹤變型，可能導致複雜的型別規則。為了保持型別系統簡單同時允許有用的編程，一個程式語言可能把型別構造器視為不變的，即使它被視為可變也是安全的；或是把型別構造器視為協變的，即使這樣可能會違反型別安全。
形式定义

在一門程式設計語言的型別系統中，一個型別規則或者型別構造器是：
協變（covariant），如果它保持了子型別序關係≦。該序關係是：子型別≦基型別。
逆變（contravariant），如果它逆轉了子型別序關係。
不变（invariant），如果上述两种均不适用。
下文中將敘述這些概念如何適用於常見的型別構造器。
数组

首先考虑数组类型构造器： 从Animal类型，可以得到Animal[]（“animal数组”）。 是否可以把它当作
协变：一个Cat[]也是一个Animal[]
逆变：一个Animal[]也是一个Cat[]
以上二者均不是則為不变
如果要避免类型错误，且数组支持对其元素的读、写操作，那么只有第3个选择是安全的。Animal[]并不是总能当作Cat[]，因为当一个客户读取数组并期望得到一个Cat，但Animal[]中包含的可能是个Dog。所以逆变规则是不安全的。
反之，一個Cat[]也不能被當作一個Animal[]。因為總是可以把一個Dog放到Animal[]中。在協變陣列，這就不能保證是安全的，因為背後的存儲可以實際是Cat[]。因此協變規則也不是安全的—陣列構造器應該是不變。注意，這僅是可寫（mutable）陣列的問題；對於不可寫（只讀）陣列，協變規則是安全的。
這示例了一般現像。只讀數據型別（源）是協變的；只寫數據型別（彙/sink）是逆變的。可讀可寫型別應是“不變”的。
数组 > Java与C#中的协变数组

早期版本的Java與C#不包含泛型（generics，即參數化多態）。在這樣的設置下，使陣列為“不變”將導致許多有用的多態程式被排除。
例如，考慮一個用於重排（shuffle）陣列的函數，或者測試兩個陣列相等的函數，使用Object與equals方法. 函數的實現並不依賴於陣列元素的確切型別，因此可以寫一個單獨的實現而適用於所有的陣列：
boolean equalArrays (Object[] a1, Object[] a2);
    void shuffleArray(Object[] a);
然而，如果陣列型別被處理為“不變”，那麼它僅能用於確切為Object[]型別的陣列。對於字符串陣列等就不能做重排操作了。
所以，Java與C#把陣列型別處理為協變。在C#中，string[]是object[]的子型別，在Java中，String[]是Object[]的子型別。
如前文所述，協變陣列在寫入陣列的操作時會出問題。Java與C#為此把每個陣列对象在創建時附標一個型別。 每當向陣列存入一個值，編譯器插入一段代碼來檢查該值的運行時型別是否等於陣列的運行時型別。如果不匹配，會拋出一個ArrayStoreException（在C#中是ArrayTypeMismatchException）：
// a 是单元素的 String 数组
    String[] a = new String[1];

    // b 是 Object 的数组
    Object[] b = a;

    // 向 b 中赋一个整数。如果 b 确实是 Object 的数组，这是可能的；然而它其实是个 String 的数组，因此会发生 java.lang.ArrayStoreException
    b[0] = 1;
在上例中，可以从b中安全地读。仅在写入数组时可能会遇到麻烦。
這個方法的缺點是留下了運行時錯誤的可能，而一個更嚴格的型別系統本可以在編譯時識別出該錯誤。這個方法還有損性能，因為在運行時要執行額外的型別檢查。
Java與C#有了泛型後，有了型別安全的編寫這種多態函數。陣列比較與重排可以給定參數型別
<T> boolean equalArrays (T[] a1, T[] a2);
    <T> void shuffleArray(T[] a);
也可以強制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：
' 定义委托 Del1
Delegate Function Del1(ByVal arg As Integer) As Integer

' 合法的 lambda 表达式赋值，不论 Option Strict 是开是关：
' 整数匹配于整数
Dim d1 As Del1 = Function(m As Integer) As Integer

' 整数扩展到长整数
Dim d2 As Del1 = Function(m As Long) As Integer

' 整数扩展到双精度浮点
Dim d3 As Del1 = Function(m As Double) As Integer

' 合法的返回值赋值（Option Strict 打开）：
' 整数匹配于整数
Dim d6 As Del1 = Function(m As Integer) As Integer

' 短整数扩展到整数
Dim d7 As Del1 = Function(m As Long) As Short

' 字节扩展到整数
Dim d8 As Del1 = Function(m As Double) As Byte
面向对象语言中的继承

当一个子类重写一个超类的方法时，编译器必须检查重写方法是否具有正确的类型。虽然一些语言要求类型必须与超类相同，但允许重写方法有一个“更好的”类型也是类型安全的。对于大部分的方法子类化规则来说，这要求返回值的类型必须更具体，也就是协变，而且接受更宽泛的参数类型，也就是逆变。
对于以下示例，假设 Cat 是 Animal 的子类，而且我们以及拥有了这两个类（使用Java语法）
class AnimalShelter {
    Animal getAnimalForAdoption() {
      ...
    }

    void putAnimal(Animal animal) {
      ...
    }
}
问题是：如果我们子类化 AnimalShelter，我们可以让 getAnimalForAdoption 和 putAnimal 具有什么类型？
面向对象语言中的继承 > 返回值的协变

在允许协变返回值的语言中, 子类可以重写 getAnimalForAdoption 方法来返回一个更窄的类型：
class CatShelter extends AnimalShelter {
    Cat getAnimalForAdoption() {
        return new Cat();
    }
}
主流的面向对象语言中，Java和C++允许返回值协变，C#不支持。添加返回值协变是1998年C++标准委员会最先允许的对C++语言核心的修改之一。 Scala和D语言也支持返回值协变。
面向对象语言中的继承 > 方法参数的逆变

类似地，子类重写的方法接受更宽的类型也是类型安全（type safe）的：
class CatShelter extends AnimalShelter {
    void putAnimal(Object animal) {
       ...
    }
}
允许参数逆变的面向对象语言并不多——C++和Java会把它当成一个函数重载。
然而，Sather既支持协变，也支持逆变。对于重写的方法，出参数和返回值是协变的，而常规的参数是逆变的。
面向对象语言中的继承 > 协变的方法参数类型

在主流的语言中，Eiffel 允许一个重写的方法参数比起父类中的那一个有更加具体的类型，即参数类型协变。因此，Eiffel 版本的 putAnimal 会如下所示：
class CatShelter extends AnimalShelter {
        void putAnimal(Cat animal) {
           ...
        }
    }
这并不是类型安全的。通过把 CatShelter 转换为 AnimalShelter，程序员可以把“狗”放进猫庇护所里。这种类型安全性的缺失（在 Eiffel 社区里称为“猫调用问题”）由来已久。许多年以来，人们组合使用各种全局 / 局部静态分析以及新的语言特性来进行补救
，有些已被写进了一些 Eiffel 编译器。
抛开类型安全问题不谈，Eiffel 的设计者认为在对现实世界建模这一点上，协变的参数类型是不可或缺的。猫庇护所问题演示了一种常见现象：它是一种动物庇护所，但有着额外的限制；而用继承和受限参数类型又似无不可。通过提出继承的这种应用方式，Eiffel 设计者们拒绝了 Liskov 代换原則（即子类对象受的限制一定比它们父类对象少）。
另一个参数类型协变可能有益的例子是所谓二元方法，即其参数与方法所在对象的类型相同。例如 compareTo 方法：a.compareTo(b) 检查 a 和 b 在某种排序下的先后关系，但比较不同类型对象——比如，比较两个有理数以及比较两个字符串——的方式可以大相径庭。其它的常见二元方法例子还有相等性比较、算术运算、以及诸如求交集 / 并集的集合运算。
在旧一点的 Java 版本中，比较方法是以接口 Comparable 的方式指定的：
interface Comparable {
    int compareTo(Object o);
}
这种方式的缺点是方法参数类型指定为 Object。一个典型的实现可能是先把这个参数向下强制转换——如果不是期望的类型，那么报错：
class RationalNumber implements Comparable {
    int numerator;
    int denominator;

    ...
    
    public int compareTo(Object other) {
        RationalNumber otherNum = (RationalNumber)other;
        return Integer.compare(numerator*otherNum.denominator,
                               otherNum.numerator*denominator);
    }
}
在有参数协变的语言中，compareTo 的参数可以直接定为希望的类型（RationalNumber），从而把类型转换消除掉。（当然，该报运行时错误的时候还是会报错的，比如对一个 String 调用 compareTo）。
面向对象语言中的继承 > 去除对参数类型协变的依赖

其它语言特性可能用来弥补缺乏参数类型协变的缺乏。
在有泛型（即参数化多态及受限量词（英语：））的语言中，前面的例子可用更类型安全的方式重写
：不定义 AnimalShelter，改为定义一个参数化的类 Shelter<T>。（这种方法的缺点之一是基类实现者需要预料到哪些类型要在子类中特化）
class Shelter<T extends Animal> {
    T getAnimalForAdoption() {
        ...
    }

    void putAnimal(T animal) {
        ...
    }
}


class CatShelter extends Shelter<Cat> {
    Cat getAnimalForAdoption() {
        ...
    }

    void putAnimal(Cat animal) {
        ...
    }
}
相似地，在新版本的 Java 中 Comparable 接口也被参数化了，从而允许以一种类型安全的方式省去向下类型转换：
class RationalNumber implements Comparable<RationalNumber> {
    int numerator;
    int denominator;
  
    ...
     
    public int compareTo(RationalNumber otherNum) {
        return Integer.compare(numerator*otherNum.denominator, 
                               otherNum.numerator*denominator);
    }
}
另一个有助的语言特性是多分派。二元方法难写的一个原因就是在类似于 a.compareTo(b) 的调用中，对 compareTo 的正确选择其实依赖于 a 和 b 两者的类型，但在经典的面向对象语言中只有 a 的类型被纳入考虑。在有CLOS 样式多分派特性的语言中，比较方法可以写成一个泛型方法，其两个参数类型都在方法选择中被考虑。
Giuseppe Castagna 观察到在一个有类型而且有多分派的语言中，泛型函数的各个参数有些控制分派而余下那些则否。因为方法选择的规则是在可用方法中选择特化程度最高的，如果一个方法重写了另一个方法那么，它（前者）就会在那些控制性的参数上有更特化的类型。而另一方面，为了保证类型安全，语言又得要求剩下的参数越泛化越好。用上面的术语来说，运行时方法选择中使用的类型是协变的，而没用到的类型则是逆变的。常规的单分派语言，例如 Java，也遵循这种规则：只有在其上调用方法的对象（this）类型才用来选择方法，而在子类方法里的 this 的类型也确实要比在父类那里更特化。
Castagna 提议在需要参数类型协变的地方——尤其是二元方法——改用多分派，它本性就是协变的。然而不幸的是，大多数编程语言都不支持多分派。
面向对象语言中的继承 > 变型和继承的总结

下表总结了在上面讨论的语言有关覆写方法的规则。
|  | 参数类型 | 返回类型 |
| --- | --- | --- |
| C++ （自1998年）, Java (自J2SE 5.0), Scala, D | 不变 | 协变 |
C#: 不变
| Sather | 逆变 | 协变 |
Eiffel: 协变
泛型类型

在支持泛型（即参数化多态）的语言中，程序员可以用新的构造器扩展类型系统。例如，C# 的泛型接口 IList<T> 可以构造 IList<Animal> 和 IList<Cat> 这样的新类型。那么接下来的问题就是这些类型构造器应具有何种变型性质。
有两种主要的处理方式。在有着声明点变型标记法（如 C#）的语言中，程序员在泛型类型处标注其类型参数的预想变型方式；而在使用点变型标记法（如 Java）的语言中，程序员改在泛型类型实例化的位置标注。
泛型类型 > 声明点变型标记法

具有这种记法的最流行语言包括 C#（使用关键字 in 和 out）、Scala 以及 OCaml（这两者使用加号减号）。其中，C# 只允许在接口类型上标记变型，而 Scala 和 OCaml 既允许在接口类型上标记、也允许在具体的数据类型上标记变型。
泛型类型 > 声明点变型标记法 > 接口

在 C# 中，每个泛型接口的类型参数都可被标注为协变（out）、逆变（in）或不变（不标注）。例如，可以定义一个接口 IEnumerator<T> 作为只读的迭代器，并声明它在其类型参数上具有协变性：
interface IEnumerator<out T>{
    T Current{
        get;
    }
    bool MoveNext();
}
通过这样声明，IEnumerator<T> 就会在其类型参数上具有协变性。例如，IEnumerator<Cat> 是 IEnumerator<Animal> 的子类型。
类型检查器保证接口里每个函数声明都通过符合 in/out 规则的方式使用其类型参数。也就是说，被声明为协变的参数不得出现在任何逆变的位置（一个位置称为逆变的，如果它经过了逆变类型构造器的奇数的应用）。精确的规则是接口里所有函数的返回值类型都必须协变合法，而所有函数参数的类型都必须逆变合法。具体来说，协 / 逆变合法定义如下：
非泛型类型（类、结构、枚举等）既协变合法、也逆变合法。
类型参数 T 如果没有标 in，那么是协变合法；如果没有标 out，那么是逆变合法。
数组类型 A[] 是协 / 逆变合法，如果相对应地 A 是协 / 逆变合法。（C# 的数组是协变的）
泛型类型 G<A1, A2, ..., An> 是协 / 逆变合法，如果对于每个类型参数 Ai：
Ai 是协 / 逆变合法，并且 G 中的第 i 个参数被声明为协变；或者
Ai 是逆 / 协变合法（反转），并且 G 中的第 i 个参数被声明为逆变；或者
Ai 既协变合法又逆变合法，并且 G 中的第 i 个参数被声明为不变。
举例而言，考虑下面的 IList<T> 接口：
interface IList<T>{
    void Insert(int index, T item);
    IEnumerator<T> GetEnumerator();
}
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] 类中摘抄的代码所示：
sealed abstract class List[+A] extends AbstractSeq[A] {
  def head: A
  def tail: List[A]

  /** 向列表头添加元素 */
  def ::[B >: A] (x: B): List[B] =
    new scala.collection.immutable.::(x, this)

  ...
}
首先，具有变型类型的类成员必须是不可变的。在这里，head 成员具有类型 A，其声明为协变（+），而且 head 成员确实被声明为函数（def）。试图将其声明为可变成员变量（var）将会得到一个类型错误。
其次，即使数据结构是不可变的，它也经常会有返回值类型逆变的函数。例如，考虑向列表头添加元素的函数 ::。（这个实现创建一个同名类 ::——即非空列表的类——的新对象。）这个函数最显然的类型莫过于
def :: (x: A): List[A]
然而这是个类型错误，因为协变的参数 A（作为函数参数而）出现在了逆变位置。不过也有绕过这个问题的方法：给 :: 一个更泛化的类型，使其能添加具有任何 A 的超类型 B 的元素。注意这依赖于 List 是协变的，因为 this 具有类型 List[A]、而我们要把它作为 List[B] 对待。乍看之下这个泛化的类型似乎不那么可靠，但如果程序员真拿那个简单的声明出来的话、类型错误会指出需要泛化的地方的。
泛型类型 > 声明点变型标记法 > 变型的推断

理论上，一个设计完善的类型系统可以让编译器能在所有类型参数上自动推算出最好的变型。。然而，分析过程可能由于许多原因而变得复杂：其一，分析过程不是局部的，因为一个接口的变型性质取决于其所有使用到的接口；其二，为了得到最优解，类型系统必须允许双向变型——既是协变、同时也是逆变——的类型参数；其三，类型参数的变型性质应当是接口设计者深思熟虑的结果，而不是随机发生的事情。
因此，许多语言都几乎对变型不做干预。C# 和 Scala 完全不推断任何变型注；而 Ocaml 虽然可以推断具体数据类型的变型，程序员还是需要显式指定抽象类型（接口）的变型。
例如，考虑一个 OCaml 的数据类型 T，其包装了一个函数：
type ('a, 'b) t = T of ('a -> 'b)
编译器会推断出第一参数是逆变、第二参数是协变的。程序员也可以显式提供标注、让编译器检查是否满足，因此下面的声明等价于上面：
type (-'a, +'b) t = T of ('a -> 'b)
当定义接口时，OCaml 中的显式标注就有用了。例如，标准库给关联表的接口 Map.S 包括一个标注，指明类型构造器 map 的返回类型是协变的：
module type S =
  sig
    type key
    type (+'a) t
    val empty: 'a t
    val mem: key -> 'a t -> bool
    ...
  end
这保证了 IntMap.t cat 是 IntMap.t animal 的子类型。