stanford-oval/wikipedia huggingface dataset:
2024年夏季奧林匹克運動會男子輕中量級拳擊比賽
外部連結

奧運官方網站 （页面存档备份，存于）
籤表 （页面存档备份，存于）
|  论 编 奥林匹克运动会拳击比赛男子沉量级冠军 |
| --- | --- |
1904：135–145 lb (61.2–65.8 kg) · 1920–1936：135–147 lb (61.2–66.7 kg) · 1948：62–67 kg · 1952–2000：63.5–67 kg · 2004–2012：64–69 kg · 2016：65–69 kg · 2020–：64–69 kg
 1904： 阿爾伯特·揚（英语：）（美国）  1920： 伯特·施奈德（加拿大）  1924： 珍·德拉格（英语：）（比利时）  1928： 泰德·摩根（英语：）（新西兰）  1932： 愛德華·弗林（英语：）（美国）  1936： 斯滕·苏维奥（芬兰）  1948： 尤利乌斯·托尔马（捷克斯洛伐克）  1952： 齐格蒙特·黑赫瓦（波兰）  1956： 尼古拉·林卡（罗马尼亚）  1960： 尼诺·本韦努蒂（意大利）  1964： 马里安·卡斯普日克（波兰）  1968： 曼弗雷德·沃尔克（东德）  1972： 埃米利奥·科雷亚（古巴）  1976： 约亨·巴赫费尔德（东德）  1980： 安德烈斯·阿尔达马（古巴）  1984： 馬克·布里蘭（英语：）（美国）  1988： 羅伯特·萬吉拉（英语：）（）  1992： 迈克尔·卡鲁思（爱尔兰）  1996： 奧列格·薩伊托夫（英语：）（俄罗斯）  2000： 奧列格·薩伊托夫（英语：）（俄罗斯）  2004： 巴赫蒂亞爾·阿爾塔耶夫（英语：）（）  2008： 巴哈特·薩爾塞克巴耶夫（英语：）（）  2012： 謝里克·薩皮耶夫（英语：）（）  2016： 達尼亞爾·葉列烏西諾夫（英语：）（）  2020： 罗涅尔·伊格莱西亚斯（古巴）  2024： 阿薩德庫亞·邁丁庫耶夫（英语：）（）
天津市第四中学

天津市第四中学北门
天津市第四中学，简称天津四中，位于天津市河西区澧水道11号，始建于1949年8月，2018年迁至澧水道新校区，是河西区下属的天津市市级重点中学。
校歌

天津第四中学的校歌名为《明天更灿烂》。
校训

天津四中的校训是“勤学、自立、成才、报国”。
参考资料

↑  天津市河西区地方志编修委员会 (编). . 北京: 方志出版社. 2018. ISBN 9787514432664.
↑  .   [2012-01-09]. （原始内容存档于2012-01-11）.
索基列齊 (涅米羅夫區)

48°52′19″N 28°43′17″E﻿ / ﻿48.87194°N 28.72139°E﻿ / 48.87194; 28.72139
索基萊齊（烏克蘭語：），是烏克蘭西南部的村莊，隸屬文尼察州的文尼察區。該村面積1.7平方公里，海拔高度251米，2001年人口853，人口密度每平方公里501.76人。
參考資料

Сокілець
Погода в селі Сокілець （页面存档备份，存于）
На Вінничині рейдер відлупцював захисника пам'ятки архітектури
中國湖

此条目的主題是美国加州的一个地名。中国的湖泊，請見「」。
| 中國湖 |
| --- | --- |
非建制地區
中國湖中國湖在加利福尼亞州的位置
坐标：35°39′03″N 117°39′42″W﻿ / ﻿35.65083°N 117.66167°W﻿ / 35.65083; -117.66167
國家: 美国
州份: 加利福尼亞州
縣: 克恩縣
海拔: 690 公尺（2,264 英尺）
时区: 太平洋時區（UTC-8）
 • 夏时制: PDT（UTC-7）
電話區號: 661（英语：）
地名信息系统ID: 240554
印第安維爾斯谷，顯示出里奇克萊斯特以及中國湖海軍航空武器站地區。
中國湖（英語：）是位於美國加利福尼亞州克恩縣的一個非建制地區。現為美軍的中國湖海軍航空武器站（Naval Air Weapons Station China Lake）所在地。該地的面積和人口皆未知。
二十世纪初美国华人有在此地开采钾盐而谋生，因此命名。
地理

中國湖的座標為35°39′03″N 117°39′42″W﻿ / ﻿35.65083°N 117.66167°W﻿ / 35.65083; -117.66167，而該地的平均海拔高度為690（2,264英尺）。
史前歷史

該地區最初由科索人（英语：）定居，他們創作了許多岩石藝術。科索人留下的考古文物證實了他們和其他美洲原住民部落之間的貿易。考古發現的黑曜石證實科索人與丘馬什人的貿易，遠達加州聖路易斯-奧比斯波縣的史前遺址。
參考文獻

1 2 3  . . United States Geological Survey.
↑  . 美国人口调查局.   [2011-05-14]. （原始内容存档于2013-09-11）.
↑  Allan, Lois.  (PDF). Newsletter of the China Lake Museum Foundation 19 (3) (China Lake Museum Foundation). Summer 2013  [25 January 2021]. the name, which comes from the Chinese workers who toiled in the potash mines in the area early in the 20th century, has become the unofficial and more commonly used identification
↑  Durham, David L. . Clovis, Calif.: Word Dancer Press. 1998: 1016. ISBN 1-884995-14-4.
↑  C. Michael Hogan. Morro Creek （页面存档备份，存于）
|  论 编克恩縣行政區劃 |
| --- | --- | --- |
：贝克斯菲尔德
| 城市 |  阿文  貝克斯菲爾德  加利福尼亞城  德拉諾  馬里科帕  麥克法蘭  里奇克萊斯特  沙夫特  塔夫脫  蒂哈查皮  沃斯科  |  |
| 普查規定居民點 |  貝爾瓦利斯普林斯  博德菲什  博朗  巴頓威洛  切羅基斯特里普  中國湖英畝  德比埃克斯  达斯廷埃克斯  埃德蒙森埃克斯  爱德华兹空军基地  費洛斯  福德城  弗雷澤公園  富勒埃克斯  金山  格林埃克斯  格林菲爾德  因約克恩  約翰內斯堡  基恩  克恩維爾  伊莎貝拉湖  伍茲湖  拉蒙特  勒貝克  洛斯特山  麥基特里克  梅特勒  墨西哥人殖民地  莫哈維  芒廷梅薩  北愛德華茲  奧爾代爾  縞瑪瑙  派恩芒廷會  蘭茲堡  羅莎蒙德  羅斯代爾  工匠角  南塔夫脫  松鼠山谷  種馬泉  塔夫脫高地  塔普曼  山谷英畝  雜草  韋爾登  沃福德高地  |  |
| 非建制地區 |  阿克蒂斯  天線英畝  阿拉米達  阿爾戈索  阿爾塔謝拉  安妮特  安塞爾  阿米斯特德  貝克  班尼斯特  貝爾維爾  貝薩  比塞爾  布萊克威爾斯角  鮑爾班克  布雷迪斯  布朗  伯頓米爾  纜車  考爾德斯角  卡利科  卡利恩特  卡梅倫  歐文斯營地  藤叢  坎蒂爾  卡韋洛  塞內達  查菲  中國湖  欽科  克拉拉維爾  科納  克羅姆  卡迪峽谷  卡迪谷  沙漠湖  迪吉奧吉奧  道  東貝克斯菲爾德  愛迪生  愛德華茲  埃爾麗塔  埃爾莫  費莫索  費格果園  五點  弗萊塔  弗魯特瓦爾  格倫維爾  戈勒高地  戈斯福德  格雷普維恩  格爾夫  土石膏  中途之家  哈珀敦  哈茨普萊斯  哈維拉  黑澤爾頓  海茨角  霍利斯  伊爾蒙  印第安維爾斯  傑斯明  傑斯特羅  卡揚迪  凱克斯角  克恩湖  克內爾  凱耶斯維爾  基洛沃特  拉基普萊斯  萊克維尤  蘭德科  勒多  洛克恩  朗斯密斯  洛林  馬貢登  軟瀝青  馬塞爾  梅費爾  梅瑞迪安  中油  米勒斯維爾  米勒克斯  明特村  奇蹟溫泉  密蘇里三角  米切爾斯角  莫諾利斯  莫爾蘭米爾  邁里克斯角  諾伊費爾德  北貝里奇  北沙夫特  奧爾城  奧爾章克申  舊加洛克  舊河  舊城  帕爾莫  帕納馬  帕奇  彭特蘭  佩蒂特廣場  皮尼翁派恩斯莊園  池塘  普洛斯彼羅  南瓜中心  闊利蒂  蘭喬塞科  蘭德  雷沃德  里比爾  里卡多  里奇  里奧布拉沃  里弗克恩  羅文  薩科  塞奇蘭  索爾特代爾  聖埃米迪奧  桑伯恩  沙峽谷  瑟爾斯  塞古諾  副熱帶  雪莉草甸  斯利特  斯拉特  南湖  斯佩拉西  斯派塞城  史蒂文斯  薩米特  托馬斯萊恩  雙湖  雙橡樹  烏納  韋諾拉  文蘭  沃克盆地  華萊士中心  瓦弄  惠勒嶺  韋伯果園  威洛斯普林斯  伍德福德  伍迪  澤特納  |  |
| 鬼鎮 |  十八英里屋（英语：）  阿拉德（英语：）  艾米莉（英语：）  阿特威爾（英语：）  阿斯法爾托（英语：）  巴恩斯聚居地（英语：）  貝妮塔（英语：）  大布魯米爾（英语：）  博雷爾（英语：）  伯克維爾（英语：）  赤霞珠（英语：）  坎比奧（英语：）  藤叢（英语：）  坎菲爾德（英语：）  查恩茲（英语：）  克拉克森（英语：）  科德（英语：）  克拉夫特（英语：）  卡滕  沙漠泉（英语：）  多米諾（英语：）  艾利斯（英语：）  埃里克（英语：）  弗盧爾（英语：）  法拉姆（英语：）  弗里曼章克申（英语：）  甘巴（英语：）  加洛克（英语：）  吉拉德（英语：）  格倫本（英语：）  黃金鎮（英语：）  格林威治（英语：）  蓋爾（英语：）  印第安斯普林斯（英语：）  因曼斯（英语：）  伊莎貝拉（英语：）  喬沃克鎮（英语：）  嘉福悅（英语：）  克恩河斯勞（英语：）  克恩瓦爾（英语：）  克恩維爾（英语：）  凱恩（英语：）  拉羅斯（英语：）  蘭登（英语：）  拉弗斯克羅辛（英语：）  萊利特（英语：）  利奧納茲（英语：）  利維（英语：）  利維斯普爾（英语：）  利特爾迪克西（英语：）  馬滕代爾（英语：）  米德韋（英语：）  米拉蒙特  蒙特里奧  莫斯曼（英语：）  山屋（英语：）  穆羅克（英语：）  納多（英语：）  尼爾（英语：）  紐拉利亞（英语：）  諾姆（英语：）  北穆羅克（英语：）  奧利格（英语：）  帕克伍德  佩奇（英语：）  帕洛馬（英语：）  帕森斯（英语：）  彼得斯堡（英语：）  佩特羅（英语：）  派恩（英语：）  派尤特（英语：）  普羅克特（英语：）  普羅格雷斯（英语：）  皮勒馬（英语：）  夸茲堡（英语：）  雷德羅克（英语：）  里弗城（英语：）  雷瑟沃爾（英语：）  里奧布拉沃  里弗維尤（英语：）  羅克斯普林斯（英语：）  羅傑斯維爾  塞吉（英语：）  聖米格爾德洛斯之夜（英语：）  桑德卡特（英语：）  斯科文溫泉（英语：）  塞德威爾（英语：）  沙迪雷斯特（英语：）  沙爾（英语：）  沙姆羅克（英语：）  士麥那（英语：）  索倫（英语：）  索雷爾斯（英语：）  斯特拉德（英语：）  斯特蘭德（英语：）  蘇利文（英语：）  薩默斯（英语：）  森塞特（英语：）  蒂格爾（英语：）  特希奇帕（英语：）  特洪（英语：）  特雷斯（英语：）  特雷斯賽丁（英语：）  圖爾沃斯（英语：）  特雷斯凱普（英语：）  特雷夫斯（英语：）  烏納賽丁（英语：）  烏納迪拉（英语：）  瓦卡羅（英语：）  沃恩（英语：）  弗內特（英语：）  沃倫（弗勞斯）（英语：）  沃倫（莫哈維）（英语：）  沃特站（英语：）  西貝克（英语：）  威斯基弗拉特（英语：）  威廉斯堡（英语：）  溫特加登（英语：）  |  |
2024年夏季奧林匹克運動會男子60公斤級柔道比賽

| 2024年夏季奥林匹克运动会 柔道比赛 |
| --- | --- | --- |

个人
|  | 男子 | 女子 |
|  | 60公斤级 | 48公斤级 |
|  | 66公斤级 | 52公斤级 |
|  | 73公斤级 | 57公斤级 |
|  | 81公斤级 | 63公斤级 |
|  | 90公斤级 | 70公斤级 |
|  | 100公斤级 | 78公斤级 |
|  | 100公斤以上级 | 78公斤以上级 |
团体
: 混合
 论 编
2024年夏季奧林匹克運動會男子60公斤級柔道比賽，是2024年夏季奧林匹克運動會其中一個比賽小項，於2024年7月27日在埃菲米爾大皇宮舉行。共有來自25個代表團的25名運動員參與本項賽事。
賽程

除特別註明外，此条目或章節的時間均以歐洲中部夏令時間（UTC+2:00）為準。
| 日期 | 時間 | 賽事 |
| --- | --- | --- |
| 2024年7月27日 | 10:00 | 三十二強賽 十六強賽 半準決賽 |
| 2024年7月27日 | 16:00 | 復活賽 準決賽 銅牌賽 金牌賽 |
比賽結果

在半準決賽之前的階段及復活賽中落敗的選手直接出局，半準決賽中落敗的選手進入復活賽，復活賽中獲勝的選手及準決賽中落敗的選手進入銅牌賽。
比賽結果 > 決賽

| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
|   | 準決賽 | 準決賽 |  |  | 金牌賽 | 金牌賽 |
 
|   |   |   |  |  |  |  |
|   |   |   |  |  |  |  |
|   |  叶尔多斯·斯梅托夫（） | 10 |  |  |  |  |
|   |  叶尔多斯·斯梅托夫（） | 10 |  |  |   |   |
|   |  弗朗西斯科·加里戈斯（西班牙） | 00   |  |  |   |   |
|   |  弗朗西斯科·加里戈斯（西班牙） | 00   |  |  |  叶尔多斯·斯梅托夫（） | 01 |
|   |   |   |  |  |  叶尔多斯·斯梅托夫（） | 01 |
|   |   |   |  |  |  盧卡·姆凱德澤（法国） | 00  |
|   |  Salih Yıldız（西班牙语：）（土耳其） | 00 |  |  |  盧卡·姆凱德澤（法国） | 00  |
|   |  Salih Yıldız（西班牙语：）（土耳其） | 00 |  |  |  |  |
|   |  盧卡·姆凱德澤（法国） | 01   |  |  |  |  |
|   |  盧卡·姆凱德澤（法国） | 01   |  |  |  |  |
比賽結果 > 復活賽

| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
|  | 復活賽 | 復活賽 |  |  | 銅牌賽 | 銅牌賽 |
:  


|  |  楊勇緯（中华台北） | 00 |  |  |  |  |
|  |  楊勇緯（中华台北） | 00 |  |  |  |  |
|  |  永山龍樹（日本） | 01   |  |  |  |  |
|  |  永山龍樹（日本） | 01   |  |  |  永山龍樹（日本） | 10 |
|  |  |  |  |  |  永山龍樹（日本） | 10 |
|  |  |  |  |  |  Salih Yıldız（西班牙语：）（土耳其） | 00  |
|  |  |  |  |  |  Salih Yıldız（西班牙语：）（土耳其） | 00  |



| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
|  | 復活賽 | 復活賽 |  |  | 銅牌賽 | 銅牌賽 |
:  


|  |  乔治·萨尔达拉什维利（） | 10 |  |  |  |  |
|  |  乔治·萨尔达拉什维利（） | 10 |  |  |  |  |
|  |  金源镇（韩国） | 00   |  |  |  |  |
|  |  金源镇（韩国） | 00   |  |  |  乔治·萨尔达拉什维利（） | 00 |
|  |  |  |  |  |  乔治·萨尔达拉什维利（） | 00 |
|  |  |  |  |  |  弗朗西斯科·加里戈斯（西班牙） | 01  |
|  |  |  |  |  |  弗朗西斯科·加里戈斯（西班牙） | 01  |
參考資料

↑  . The-Sports.org.   [2024年7月26日]. （原始内容存档于2024年7月25日）.
外部連結

奧運官方網站 （页面存档备份，存于）
國際柔道總會官方網站 （页面存档备份，存于）
|  论 编 奥林匹克运动会柔道比赛男子超轻量级冠军 |
| --- | --- |
1980–：-60 kg
 1980： 蒂埃里·雷伊（法国）  1984： 细川伸二（日本）  1988： 金载烨（韩国）  1992： Nazim Huseynov（独联体）  1996： 野村忠宏（日本）  2000： 野村忠宏（日本）  2004： 野村忠宏（日本）  2008： 崔敏浩（韩国）  2012： 阿尔森·加尔斯强（俄罗斯）  2016： 別斯蘭·穆德拉諾夫（俄罗斯）  2020： 高藤直壽（日本）  2024： 叶尔多斯·斯梅托夫（）
邦杜里夫卡 (涅米羅夫區)

49°2′15″N 29°2′59″E﻿ / ﻿49.03750°N 29.04972°E﻿ / 49.03750; 29.04972
邦杜里夫卡（烏克蘭語：），是烏克蘭西南部的村莊，隸屬文尼察州的文尼察區。該村面積1.42平方公里，海拔高度273米，2001年人口328，人口密度每平方公里230.99人。
參考資料

Погода в селі Бондурівка （页面存档备份，存于）
罗纳德·里根华盛顿国家机场

38°51′08″N 077°02′16″W﻿ / ﻿38.85222°N 77.03778°W﻿ / 38.85222; -77.03778
罗纳德·里根华盛顿国家机场（英語：；IATA代码：；ICAO代码：；FAA代码：）是美国首都华盛顿市中心以南5公里处的一座民用机场，是距离华盛顿最近的机场，本名华盛顿国家机场（英語：），后为了纪念前总统罗纳德·里根而改今名。同時也是美國航空的重点机场，相對於主要起降中長程國內航班和絕大多數國際航班的華盛頓杜勒斯國際機場，雷根華盛頓機場主要飛行國內航線。
航廈

雷根機場目前有59座配備空橋的登機門，其中9座在1號航廈、50座在2號航廈。2022年之前，雷根機場航廈編號分成A/B/C三座，在2022年後變更編號邏輯，A航廈更名為1號航廈，B/C航廈因位在同一建築物內，整合為2號航線。登機門數字前會因大廳不同而有A-E不一的前贅字母。因此，33号门变成了C33号门。其他变化包括B停车场和C停车场改为2号楼南停车场和2号楼北停车场。
航廈 > 1號航廈

由建築師查爾斯·古德曼（英语：）設計。1941年開始使用，1955年擴建，並在21世紀初與2015年進行翻修，目前1號航廈有9座配備空橋的登機門，主要由西南航空、加拿大快運航空、邊疆航空使用。
航廈 > 2號航廈

目前經營的2號航廈是1997年完工的建築物，替換1960年代興建的B航廈。2號航廈整合了華盛頓地鐵羅納德·里根華盛頓國家機場站出入口，可以從航廈直接與華盛頓特區的捷運網接駁，2號航廈最初建築了35座帶空橋的登機門，在2021年擴建了E大廳，所以目前有50座登機門。
2號航廈有4組大廳，B大廳（B10-B22登機門）由阿拉斯加航空、聯合航空、達美航空使用；C大廳（C23-C34登機門）由美國航空與捷藍航空使用；D大廳（D34-D45登機門）與E大廳（E46—E59登機門）由美鷹航空與美國航空共同使用。
2號航廈中由航空公司經營的貴賓室包括達美的Delta Sky Club與聯合航空的United Club，與3座美國航空經營的American Admirals Clubs。
进近

里根国家机场附近空域属于波托马克终端管制（英语：）维农山庄扇区。
與航線經營上受到限制的拉瓜地亞機場相同，雷根華盛頓機場同樣受到嚴格限制：起降本機場的航班，航程不得超過2010公里/1250哩。僅有獲得美國交通部特別許可的每天三十架次航班得以豁免。由于夹在华盛顿特区两个禁飞区（英语：）重叠区域之间，在进出机场容易因为偏航而进入禁飞区，所以要求飞行员进场时在机场半岛急转弯着陆并注意避免触及附近中央情报局、五角大楼的禁飞区域，离场时也必须迅速左转爬升，避免飞过白宫上空。
航空公司及航点

华盛顿国家机场的航班受到联邦政策的限制，主要以短途航班为主。华盛顿特区的大部分长途航班于杜勒斯国际机场起降。1966年的规定限制除既有航班外，国家机场的航班运营距离不得超过650規里（1,050），1980年代先后延长至1,000規里（1,600）及1,250規里（2,010）。美国国会和交通部制定了许多例外条款，允许一些航司在特定情况下运营超出法定里程的航班。根据2024年的授权法案，美国联邦航空管理局允许以下航司运营以下豁免航线：
| 航空公司 | 目的地 |
| --- | --- |
 阿拉斯加航空 :  总时刻10：西雅图2对；洛杉矶1对；波特兰1对；旧金山1对； 
 美国航空 :  总时刻12：洛杉矶2对；凤凰城3对；拉斯维加斯1对； 
 达美航空 :  总时刻4：盐湖城1对；洛杉矶1对； 
 边疆航空 :  总时刻6：丹佛3对； 
 捷蓝航空 :  总时刻2：圣胡安1对； 
 西南航空 :  总时刻2：奥斯汀1对； 
 联合航空 :  总时刻4：丹佛1对；旧金山1对； 
| 航空公司 | 目的地 | 航廈 |
| --- | --- | --- |
|  加拿大快運航空  |  蒙特利尔、渥太华、多伦多  |  A  |
|  阿拉斯加航空  |  洛杉矶、波特兰、旧金山、西雅图  |  B  |
|  美国航空  |  亚特兰大、波士顿、夏洛特、芝加哥（奥黑尔）、达拉斯-沃斯堡、麦尔兹堡（英语：）、拉斯维加斯、洛杉矶、孟菲斯、迈阿密、纽约（拉瓜迪亚）、奥兰多、费城、菲尼克斯、坦帕  季节性：匹兹堡、罗利、西棕榈滩  |  B/C  |
|  美鹰航空  |  阿克伦-坎顿（英语：）、奥尔巴尼（英语：）、阿什维尔（英语：）、亚特兰大、奥古斯塔（佐治亚州）（英语：）、班戈（缅因州）（英语：）、伯明翰（阿拉巴马州）、波士顿、布法罗、伯灵顿（佛蒙特州）（英语：）、查尔斯顿（南卡）（英语：）、查尔斯顿（西弗吉尼亚州）（英语：）、夏洛特、查塔努加（英语：）、芝加哥（奥黑尔）、辛辛那提、克利夫兰、哥伦比亚（南卡罗来纳州）（英语：）、哥伦布（俄亥俄州）、代顿（俄亥俄州）（英语：）、得梅因、底特律、麦尔兹堡（英语：）、费耶特维尔（英语：）、大急流城（英语：）、格林斯伯勒（英语：）、格林维尔-斯帕坦堡（英语：）、哈特福德、亨茨维尔（英语：）、印第安纳波利斯、杰克逊 (密西西比州)（英语：）、杰克逊维尔、堪萨斯城、基韦斯特、诺克斯维尔（英语：）、兰辛、小石城（英语：）、路易维尔、曼彻斯特（新罕布什尔州）（英语：）、孟菲斯、明尼阿波利斯-圣保罗、蒙哥马利、默特尔比奇（英语：）、纳什维尔、新奥尔良、纽约（肯尼迪）、纽约（拉瓜迪亚）、诺福克（弗吉尼亚州）、俄克拉荷马城、巴拿马市海滩（佛州）（英语：）、彭萨科拉（英语：）、费城、匹兹堡、波特兰（缅因州）、普罗维登斯、罗利-达拉姆、罗彻斯特（纽约州）（英语：）、萨拉索塔（佛州）（英语：）、萨凡纳（英语：）、圣路易斯、锡拉丘兹/雪城、塔拉哈西（英语：）、多伦多、西棕榈滩、白原市（纽约州）（英语：）、威尔明顿（北卡）（英语：）  季节性： 德斯坦-华尔顿堡滩（英语：）、希尔顿黑德岛（英语：）、马萨葡萄园岛（英语：）、南塔克特（英语：）、拿骚、特拉弗斯城（英语：）  |  B/C  |
|  达美航空  |  亚特兰大、底特律、洛杉矶、明尼阿波利斯-圣保罗、纽约（肯尼迪）、盐湖城 |  B  |
|  达美连接航空  |  波士顿、辛辛那提、列克星敦（肯塔基州）、麦迪逊（英语：）、纽约（肯尼迪）、纽约（拉瓜迪亚）、奥马哈（英语：）、罗利-达拉姆  |  B  |
|  边疆航空  |  丹佛  |  A  |
|  捷蓝航空  |  波士顿、劳德代尔堡、麦尔兹堡（英语：）、拿骚、奥兰多、圣胡安、坦帕、西棕榈滩  季节性：马萨葡萄园岛（英语：）、南塔克特（英语：）  |  B/C  |
|  西南航空  |  亚特兰大、奥斯汀、芝加哥（中途）、哥伦布（俄亥俄州）、达拉斯（爱田）、劳德代尔堡、休斯顿（霍比）、堪萨斯城、密尔沃基（英语：）、纳什维尔、新奥尔良、俄克拉荷马城、奥马哈（英语：）、奥兰多、普罗维登斯、圣路易斯、坦帕、西棕榈滩  季节性：麦尔兹堡（英语：）  |  A  |
|  联合航空  |  芝加哥（奥黑尔）、丹佛、休斯顿（洲际）、旧金山  |  B  |
|  联航快运  |  芝加哥（奥黑尔）、休斯顿（洲际）、纽约（纽瓦克）  |  B   |
统计数据 > 最热门航点

| 排名 | 机场 | 旅客人数 | 承运航空公司 |
| --- | --- | --- | --- |
| 1 | 亚特兰大 | 668,000 | 美国航空，达美航空，西南航空 |
| 2 | 波士顿 | 598,000 | 美国航空，达美航空，捷蓝航空 |
| 3 | 芝加哥（奥黑尔） | 596,000 | 美国航空，联合航空 |
| 4 | 达拉斯-沃斯堡 | 369,000 | 美国航空 |
| 5 | 迈阿密 | 368,000 | 美国航空 |
| 6 | 奥兰多 | 363,000 | 美国航空，达美航空，捷蓝航空，西南航空 |
| 7 | 夏洛特 | 291,000 | 美国航空 |
| 8 | 明尼阿波利斯-圣保罗 | 242,000 | 美国航空，达美航空 |
| 9 | 底特律 | 241,000 | 美国航空，达美航空 |
| 10 | 纽约（拉瓜迪亚） | 225,000 | 美国航空，达美航空 |
统计数据 > 航空公司的市场份额

| 排名 | 航空公司 | 旅客人数 | 市场份额 |
| --- | --- | --- | --- |
| 1 | 美国航空 | 5,769,000 | 26.36% |
| 2 | 西南航空 | 3,393,000 | 15.50% |
| 3 | 达美航空 | 2,546,000 | 11.63% |
| 4 | 捷蓝航空 | 1,677,000 | 7.66% |
| 5 | 联合航空 | 986,000 | 4.51% |
| / | 其他 | 7,516,000 | 34.34% |
统计数据 > 年客运量

| 年份 | 吞吐量 | 年份 | 吞吐量 | 年份 | 吞吐量 | 年份 | 吞吐量 |
| --- | --- | --- | --- | --- | --- | --- | --- |
|  |  | 2020 | 7,574,966 | 2010 | 18,118,713 | 2000 | 15,888,199 |
|  |  | 2019 | 23,945,527 | 2009 | 17,577,359 | 1999 | 15,185,348 |
|  |  | 2018 | 23,464,618 | 2008 | 18,028,287 | 1998 | 15,970,306 |
|  |  | 2017 | 23,903,248 | 2007 | 18,679,343 | 1997 | 15,907,006 |
|  |  | 2016 | 23,595,006 | 2006 | 18,550,785 | 1996 | 15,226,500 |
|  |  | 2015 | 23,039,429 | 2005 | 17,847,884 | 1995 | 15,506,244 |
|  |  | 2014 | 20,810,387 | 2004 | 15,944,542 | 1994 | 15,700,825 |
|  |  | 2013 | 20,415,085 | 2003 | 14,223,123 | 1993 | 16,307,808 |
| 2022 |  | 2012 | 19,655,440 | 2002 | 12,881,601 | 1992 | 15,593,535 |
| 2021 | 14,044,724 | 2011 | 18,823,094 | 2001 | 13,265,387 | 1991 | 15,098,697 |
接驳交通 > 地铁

条目：雷根華盛頓國家機場站
罗纳德·里根华盛顿国家机场的B和C航站楼与华盛顿地铁蓝线和黄线上的罗纳德·里根华盛顿国家机场站隔南史密斯大道相望；B和C航站楼的2层有行人通道连接至该地铁站。
事故和空难

1949年：美國東方航空537號班機空難
1982年：佛罗里达航空90号班机空难
2025年：2025年波托馬克河空中相撞事故
参考资料及注释

↑  DCA的美国联邦航空局机场记录 (PDF)
↑  . web.archive.org. 2022-06-09  [2022-11-28]. （原始内容存档于2022-06-09）.
↑   (PDF). Potomac TRACON. NTSB. 2015  [2024-05-07]. （原始内容存档 (PDF)于2021-03-23）.
↑  . travel.sina.com.cn.   [2018-10-26]. （原始内容存档于2020-08-14）.
↑  . Metropolitan Washington Airports Authority. July 17, 2015.
↑  Mutzabaugh, Ben. . USA Today.
↑  FAA bill adds 5 long-distance flights to Reagan National airport
↑  . Bureau of Transportation Statistics.   [August 25, 2020]. （原始内容存档于2021-04-13）.
↑  . www.transtats.bts.gov. Bureau of Transportation Statistics.   [17 June 2020]. （原始内容存档于2021-04-13）.
↑  .   [March 25, 2019]. （原始内容存档于March 27, 2019）.
|  论 编美國主要機場 |
| --- | --- |
 亞特蘭大（ATL）  奥斯汀（AUS）  巴爾的摩（BWI）  波士頓（BOS）  夏洛特（CLT）  芝加哥 MDW  ORD  達拉斯-沃思堡（DFW）  丹佛（DEN）  底特律（DTW）  勞德代爾堡（FLL）  檀香山（HNL）  休士頓（IAH）  拉斯维加斯（LAS）  洛杉磯（LAX）  邁阿密（MIA）  明尼阿波利斯-聖保羅（MSP）  纳什维尔（BNA）  紐約 JFK  LGA  紐華克（EWR）  奧蘭多（MCO）  費城（PHL）  鳳凰城（PHX）  鹽湖城（SLC）  聖地牙哥（SAN）  舊金山（SFO）  西雅圖（SEA）  坦帕（TPA）  華盛頓特區 DCA  IAD 
里根机场19跑道进近示意图
因机场北侧和西侧即华盛顿特区核心区域的禁飞区，因此使用19跑道进场的飞机在五边前需急转。图为达美航空客机降落，背景为特区内的華盛頓紀念碑
OCaml

：此条目的主题不是。
| --- | --- |

: 多范型：函数式，指令式，模块化，面向对象
语言家族: ML
設計者: Xavier Leroy（英语：）, Damien Doligez（英语：）, Didier Rémy, Jérôme Vouillon
實作者: INRIA
: 1996年，​29年前​（1996）
当前版本: 5.3.0（2025年1月8日；穩定版本）  
型態系統: 静态，强，类型推论
操作系统: 跨平台
許可證: GNU宽通用公共许可证
網站:  
衍生副語言
F#, JoCaml（英语：）, MetaOCaml
啟發語言
C, Caml, Modula-2, Standard ML
影響語言
ATS（英语：）, Coq, Elm, F#, F*, Haxe, Opa（英语：）, Rust, Scala
OCaml（/oʊˈkæməl/ oh-KAM-əl），是一个函数式、指令式、模块化、面向对象的通用的编程语言。在Xavier Leroy（英语：）和Damien Doligez（英语：），于1990年和1991年实现的ML方言Caml Light之上，Didier Rémy和Jérôme Vouillon，于1996年增加了面向对象特征，从而形成了“Objective Caml”，在2011年时重命名为“OCaml”。
OCaml工具链包括交互式顶层解释器、字节码编译器、优化的本机代码编译器，可逆调试器和一个包管理器（OPAM）。OCaml最初开发于自动定理证明的场景中，并在静态分析和形式方法软件中有超凡的存在感。此外，它在系统编程、网页编程和金融工程及其他应用领域都有严肃的应用。
历史上，Ascánder Suárez于1987年基于Guy Cousineau（法语：）的范畴抽象机器（英语：）（CAM），重新实现了Gérard Huet（英语：）早先的ML方言，并用“范畴抽象机语言”的首字母简写将其命名为Caml，Caml Light放弃了这个抽象机器又进行了重新实现。OCaml是开放源代码项目，此项目的管理和大部分维护工作，已经交由法国国家信息与自动化研究所（INRIA）。在2000年代早期，来自OCaml的元素被很多语言接纳，特别是F#和Scala。
哲学

ML派生语言最著称的是静态类型系统和类型推论编译器。OCaml将函数式、指令式和面向对象编程统一于类ML的类型系统之下。因此编程者不需要为了使用OCaml而非常熟悉纯函数式编程范型。
通过要求编程者在静态类型系统的约束下工作，OCaml消除了关联于动态类型语言的很多有关于类型的运行时间问题。还有，OCaml的类型推论编译器，极大的减少了在多数静态类型语言中对手工类型标注的需要。例如，变量的数据类型和函数的签名，通常不需要像Java和C#语言中那样显式的声明，因为它们可以从应用于这个变量和代码中其他值的算符和其他函数推论出来。有效的使用OCaml的类型系统可能要求一个编程者面对一些复杂性，但是这种规矩能得到可靠的、高性能软件作为回报。
OCaml与源于学术界的其他语言的最显著区别可能是强调了性能。它的静态类型系统防止了运行时间类型不匹配，从而排除了动态类型语言运行时间类型和安全检查的性能负担，却在除了关闭数组边界检查，和使用一些类型不安全特征比如序列化之外的情况下，仍能保证运行时间安全性。这些运行时间检查需求足够罕见，在实践中完全可以避免。
在类型检查开销之外，函数式编程语言，要编译成高效的机器语言代码，由于如函数参数问题（英语：）这样的要点，一般而言是具有挑战性的。与标准的循环、寄存器和指令优化一起，OCaml的优化编译器采用静态程序分析方法，来优化值包装（英语：）（boxing）和闭包分配，帮助结果代码得到最大化的性能，即使它大量使用了函数式编程构造。
Xavier Leroy（英语：）曾经宣称：“OCaml至少提供了像样的C编译器的50%的性能”，尽管直接比较是不可能的。在OCaml标准库中的一些函数，是采用比在其他语言标准库中等价的函数更快的算法实现的。例如，在OCaml标准库中集合并集的实现，在理论上比指令式语言（例如C++、Java）的标准库中的等价函数，要渐进性的更快，因为OCaml实现利用了集合的不可变性，而在输出中重用了输入集合的一些部份（参见可持久化数据结构）。
特征

OCaml的特征包括：静态类型系统、类型推论、参数多态、尾递归、模式匹配、头等词法闭包、函子（参数化模块）、例外处理和增量分代自动垃圾回收。
OCaml著称于将ML风格类型推论，扩展到通用语言中的对象系统。这允许了结构子类型（英语：），这里的对象类型是兼容的，如果它们的方法签名是兼容的，不用管它们声明的继承，这是在静态类型语言中不寻常的特征。
OCaml提供了链接到C原语的外界函数接口（英语：），包括了兼容于C和Fortran二者格式的对高效数值数组的语言支持。OCaml还支持建立可以链接到用C写的main程序的OCaml函数库。
OCaml发行包含了：
词法分析和语法解析工具分别叫做ocamllex和ocamlyacc。
支持步进回溯的调试器用来调查错误。
文档生成器（英语：）。
剖析器用来测量性能。
很多通用函数库。
本机代码编译器可以在很多平台上获得，包括Unix、Microsoft Windows和Apple macOS。可移植性是通过至此主要架构的本机代码生成（英语：）实现的：IA-32、X86-64（AMD64）、Power（英语：）、RISC-V、ARM和ARM64。
OCaml字节码和本机代码程序可以用多线程风格书写，具有抢占式上下文切换。但是由于当前唯一可得的语言完全实现INRIA OCaml的垃圾回收器，不是为并发性而设计的，对称多处理是不支持的。在相同进程中的OCaml线程只能分时执行。但是有一些分布式计算库比如Functory和Plasma。
代码例子

OCaml的代码片段可以通过键入到顶层REPL中来很容易的研习。这是一个交互式的OCaml会话，它打印结果或定义的表达式的推论出的类型。OCaml顶层可以通过简单执行OCaml程序来启动：
$ ocaml
OCaml version 5.2.0
Enter #help;; for help.

#
可以接着在#提示符处键入代码。例如计算1+2*3:
# 1 + 2 * 3;;
- : int = 7
OCaml推论出这个表达式的类型是int（机器精度整数）并给出结果7。
代码例子 > Hello World

下面的程序hello.ml:
print_endline "Hello World!"
可以被编译成字节码可执行文件：
$ ocamlc hello.ml -o hello
或者被编译成优化的本地代码可执行文件：
$ ocamlopt hello.ml -o hello
接着执行它：
$ ./hello
Hello World!
给ocamlc的第一个实际参数hello.ml，指定要编译的源文件而-o hello标志指定了输出文件。
代码例子 > 阶乘函数

很多数学函数，比如阶乘，可以很自然的表示为纯粹的函数形式：
let rec fact n =
  if n=0 then 1 else n * fact(n - 1);;
这个函数可以使用模式匹配等价的写为：
let rec fact = function
  | 0 -> 1
  | n -> n * fact(n - 1);;
后者形式是阶乘作为递推关系的数学定义。
编译器将这个函数的类型推论为int -> int，意味着这个函数将int映射到int。例如，12!：
# fact 12;;
- : int = 479001600
代码例子 > 斐波那契序列

下列代码计算输入数n的斐波那契数列。它使用了尾递归和模式匹配。
let fib n =
  let rec fib_aux m a b =
    match m with
    | 0 -> a
    | _ -> fib_aux (m - 1) b (a + b)
  in fib_aux n 0 1;;
代码例子 > 生日问题

下列程序计算在一个屋子里面有完全唯一的生日概率小于50%的最少人数，在生日问题中，对于1个人这个概率是365/365（或100%），对于2个人是364/365，对于3个人是364/365 × 363/365，最终答案是23个人：
let year_size = 365.
let rec birthday_paradox prob people =
  let prob = (year_size -. float people) /. year_size *. prob  in
  if prob < 0.5 then
    Printf.printf "answer = %d\n" (people+1)
  else
    birthday_paradox prob (people+1);;
# birthday_paradox 1.0 1;;
answer = 23
- : unit = ()
代码例子 > 合计整数列表

列表是OCaml中的基础数据类型之一。下面的代码例子定义递归函数sum，它接受一个实际参数integers，而它被假定为整数的列表。注意关键字rec指示了这个函数是递归的。这个函数递归的在给定整数列表之上进行迭代，并提供这些元素的一个总和。match语句类似于C的switch（英语：）语句，但要更加一般性。
let rec sum integers =                   (* 关键字rec含义为递归。 *)
  match integers with
  | [] -> 0                              (* 产生0，如果integers为空列表 []。 *)
  | first :: rest -> first + sum rest;;  (* 递归调用，如果integers是非空列表；
                                            first是这个列表的第一个元素，
                                            而rest是余下元素的列表，可能是[]。 *)
# sum [1;2;3;4;5];;
- : int = 15
另一种方式是对列表使用标准的fold高阶函数:
let sum integers =
  List.fold_left (fun accumulator x -> accumulator + x) 0 integers;;
# sum [1;2;3;4;5];;
- : int = 15
因为匿名函数是简单的+算符应用，它可以简写为：
let sum integers =
  List.fold_left (+) 0 integers
进一步的，还可以通过采用部份应用（英语：）省略列表实际参数：
let sum =
  List.fold_left (+) 0
代码例子 > 快速排序

OCaml自身可提供对递归算法的简介表达。下列代码例子实现了类似于以升序排序一个列表的quicksort的一个算法：
let rec qsort = function
   | [] -> []
   | pivot :: rest ->
     let is_less x = x < pivot in
     let left, right = List.partition is_less rest in
     qsort left @ [pivot] @ qsort right;;
代码例子 > 高阶函数

函数可以接受函数作为参数并且返回函数作为结果。例如，应用twice到函数f产生应用f到它的实际参数两次的一个函数：
let twice (f : 'a -> 'a) = fun (x : 'a) -> f (f x);;
let inc (x : int) : int = x + 1;;
let add2 = twice inc;;
let inc_str (x : string) : string = x ^ " " ^ x;;
let add_str = twice(inc_str);;
# add2 98;;
- : int = 100
# add_str "Test";;
- : string = "Test Test Test Test"
函数twice使用类型变量'a，来指示它可以应用于映射一个类型'a到自身的任何f，而非只应用于int->int函数。特别是，twice甚至可以应用于自身：
# let fourtimes f = (twice twice) f;;
val fourtimes : ('a -> 'a) -> 'a -> 'a = <fun>
# let add4 = fourtimes inc;;
val add4 : int -> int = <fun>
# add4 98;;
- : int = 102
代码例子 > 邱奇数

下列代码定义自然数的邱奇编码，具有后继（succ）和加法（add）。邱奇数n是接受一个函数f和一个值x的一个高阶函数，它应用f到x精确的n次：
let zero f x = x
let succ n f x = f (n f x)
let one = succ zero
let two = succ (succ zero)
let add n1 n2 f x = n1 f (n2 f x)
let to_string n = n (fun k -> "S" ^ k) "0";;
为了将一个邱奇数从函数值转换成一个字符串，这里把它传递给向其输入和常量字符串"0"前置上字符串"S"的函数to_string：
# let _ = to_string (add (succ two) two);;
- : string = "SSSSS0"
代码例子 > 对象例子

在OCaml中对象，通过它们的方法的名字和类型，按结构来确定类型。对象可以直接创建（立即对象），而不用通过有名称的类。例如：
# let x =
    object
      val mutable x = 5
      method get_x = x
      method set_x y = x <- y
    end;;
val x : < get_x : int; set_x : int -> unit > = <obj>
这里OCaml交互式运行时间系统打印出这个对象的推论类型。它的类型< get_x : int; set_x : int -> unit >，只由它的方法来定义。换句话说，x的类型由方法类型get_x : int和set_x : int -> unit而非任何名字来定义。类只充当建立对象的函数，例如上例中的对象可以用类来定义，并接着用new算符来建立：
# class simple_cls =
    object (self)
      val mutable x = 5
      method get_x = x
      method set_x y = x <- y
    end;;
  let x = new simple_cls;;
要定义有相同的方法和方法类型的另一个对象：
# let y =
    object
      method get_x = 2
      method set_x y = Printf.printf "%d\n" y
    end;;
val y : < get_x : int; set_x : int -> unit > = <obj>
OCaml将它们视为有相同的类型。例如，等式算符被确定类型为只接受有相同类型的两个值：
# x = y;;
- : bool = false
所有尽管它们有不同的值，却必定是相同类型的，否则连类型检查都不会做完。这展示了类型等价是结构性的。可以定义调用一个方法的函数：
# let set_to_10 a = a#set_x 10;;
val set_to_10 : < set_x : int -> 'a; .. > -> 'a = <fun>
第一个实际参数的推论类型< set_x : int -> 'a; .. >是值得关注的。..意味着第一个实际参数，可以是有接受一个int作为实际参数的set_x方法的任何对象。所以它可以用在对象x之上：
# set_to_10 x;;
- : unit = ()
另一个对象可以碰巧有这个方法和方法类型；其他方法是无关紧要的：
# let z =
    object
      method blahblah = 2.5
      method set_x y = Printf.printf "%d\n" y
    end;;
val z : < blahblah : float; set_x : int -> unit > = <obj>
set_to_10函数对它也有效：
# set_to_10 z;;
10
- : unit = ()
这展示了对于事物比如方法调用的兼容性是由结构来确定的。下面为只有一个get_x方法而没有其他方法的对象定义一个类型同义词（synonym）：
# type simpler_obj = < get_x : int >;;
type simpler_obj = < get_x : int >
对象x不是这个类型的；但在结构上x是这个类型的一个子类型，因为x包含它的方法的一个超集。所以x可以强制（coerce）成这个类型：
# (x :> simpler_obj);;
- : simpler_obj = <obj>
# (x :> simpler_obj)#get_x;;
- : int = 10
但是对象z不行，因为它不是一个结构子类型：
# (z :> simpler_obj);;
Error: Type < blahblah : float; set_x : int -> unit > is not a subtype of
         simpler_obj = < get_x : int > 
       The first object type has no method get_x
这展示了拓宽强制的兼容性是结构性的。
代码例子 > 任意精度阶乘函数

可以从OCaml访问各种各样的库。比如，OCaml有内建的任意精度算术。由于阶乘函数增长得非常迅速，会很快溢出机器精度的整数。因此阶乘很适合选用任意精度算术。
在OCaml中，Num模块（现在被ZArith所取代）提供了任意精度算术，比如在Ubuntu中安装它：sudo apt install libnum-ocaml-dev，它可以如下这样装载到运行中的顶层中：
#use "topfind";;
#require "num";;
open Num;;
阶乘函数可以使用任意精度算符=/、*/和-/写为：
let rec fact n =
  if n =/ Int 0 then Int 1 else n */ fact(n -/ Int 1);;
这个函数可以计算非常大的阶乘比如120!：
# string_of_num (fact (Int 120));;
- : string =
"6689502913449127057588118054090372586752746333138029810295671352301633557244962989366874165271984981308157637893214090552534408589408121859898481114389650005964960521256960000000000000000000000000000"
代码例子 > 绘制图形例子

下列程序simple.ml使用OpenGL呈现一个缓慢旋转的2D三角形:
let () =
  ignore (Glut.init Sys.argv);
  Glut.initDisplayMode ~double_buffer:true ();
  ignore (Glut.createWindow ~title:"OpenGL Demo");
  let angle t = 10. *. t *. t in
  let render () =
    GlClear.clear [ `color ];
    GlMat.load_identity ();
    GlMat.rotate ~angle: (angle (Sys.time ())) ~z:1. ();
    GlDraw.begins `triangles;
    List.iter GlDraw.vertex2 [-1., -1.; 0., 1.; 1., -1.];
    GlDraw.ends ();
    Glut.swapBuffers () in
  GlMat.mode `modelview;
  Glut.displayFunc ~cb:render;
  Glut.idleFunc ~cb:(Some Glut.postRedisplay);
  Glut.mainLoop ()
需要事先安装负责绑定到OpenGL的LablGL，比如在Ubuntu中安装它：sudo apt install liblablgl-ocaml-dev，这个程序可以如下这样编译成字节码：
$ ocamlc -I +lablGL lablglut.cma lablgl.cma simple.ml -o simple
或编译成本机代码：
$ ocamlopt -I +lablGL lablglut.cmxa lablgl.cmxa simple.ml -o simple
或者简单的使用ocamlfind建造命令：
$ ocamlfind opt simple.ml -package lablgl.glut -linkpkg -o simple
然后运行：
$ ./simple
可以使用OCaml开发非常复杂、高性能的2D和3D图形程序。使用OpenGL和OCaml，结果的程序可以跨平台编译而在主要平台上无需改动。
用OCaml写成的程序

Coq，一个形式证明辅助器。
HOL Light（英语：），一个形式证明辅助器。
Coccinelle（英语：），用于C程序源代码变换（英语：）的实用工具。
Frama-C（英语：），分析C程序的一个框架。
Flow，Facebook创建的用于推论和检查JavaScript的静态类型的一个静态分析器。
Infer，Facebook创建的用于Java、C、C++和Objective-C的静态分析器，用来检测iOS和Android应用中的缺陷。
pyre-check，Facebook创建的用于Python的类型检查器。
Hack编程语言编译器，Facebook创建，扩展PHP具有静态类型。
Haxe编程语言编译器。
WebAssembly参考解释器，它是意图在web浏览器内执行的低层字节码。
FFTW（英语：），C的FFT库，它的多数性能关键代码是由用OCaml写的一个程序生成的。
Owl科学计算（英语：），用于科学和工程计算的专用系统。
MirageOS，用纯OCaml写的一个单一内核编程框架。
Ocsigen（英语：），一个OCaml的web应用框架。
Opa（英语：），用于Web开发的自由和开源的一个编程语言。
0install（英语：），一个多平台包管理器。
MLDonkey，一个多网络P2P程序。
Unison（英语：），一个文件同步器。
有关书籍

Yaron Minsky, Anil Madhavapeddy. . 2021  [2021-09-10]. （原始内容存档于2022-05-14）.
Emmanuel Chailloux, Pascal Manoury, Bruno Pagano.  (PDF). 2000  [2021-09-10]. （原始内容 (PDF)存档于2022-02-23）.
Jason Hickey. . 2002  [2021-09-10]. （原始内容存档于2021-09-10）.
阿覽歐虎

阿覽歐虎（日语：／ Aran Hakutora，1984年1月31日—），原名阿蘭·加巴拉耶夫，俄羅斯出身前大相撲力士。他在2007年1月開始專業相撲生涯，最高位置是東關脇（2010年9月場所），身高187cm、體重156kg、血型O型。所屬的相撲部屋是三保關部屋。