ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
另外在西南方向，黎塞留的副司令，法國將軍夏爾·德·羅昂 (蘇畢茲親王)（Soubise）會合了德意志諸侯聯軍（他們是集合在奧地利皇室神聖羅馬帝國旗下的），總兵力6萬以上，穿過薩克森前來夾擊腓特烈。腓特烈現在是四面楚歌，只是他佔有內線作戰優勢，希望可以利用各路聯軍配合上的失誤，集中兵力快速各個擊破。
面對四方大軍雲集，腓特烈留下貝費恩公爵的41,000人，命令他在西里西亞境內進行防禦，牽制住奧地利道恩元帥的10萬大軍。自己帶少量普軍，以塞德利茨為騎兵總指揮，星夜趕去迎擊西南方向的蘇貝斯。同時，腓特烈給西方的法軍黎塞留元帥送去一筆賄賂，買得他按兵不動，將斐迪南親王的部隊也抽調回來集中。正當蘇貝斯和腓特烈之間的大戰將要開始的時候，突然傳來一個消息：道恩元帥分出哈迪克（Haddik）中將的一支3,400人的小部隊，偷襲柏林得手，腓特烈連忙去救，所幸哈迪克只佔領柏林一天就撤退了，腓特烈反正趕不上救援，又回到羅昂親王指揮的聯軍正面。聯軍41,000人對21,000普軍，幾乎佔有2比1的優勢，蘇貝斯決定發動進攻，以求一戰定乾坤。11月5日，羅斯巴赫會戰開始。
Médaille commémorant la Bataille de Rossbach, bronze, 48 mm.
Revers de la médaille commémorant la Bataille de Rossbach.
羅斯巴赫是為數極少的腓特烈取守勢的戰役之一。戰場在薩爾河（Saar）北面，普軍防線成南北走向，面向西方。聯軍上午上午11點走出營帳，列3路縱隊向東行進，意圖是插入普軍陣地和薩爾河之間。因為聯軍人數占絕對優勢，聯軍統帥部判斷腓特烈有可能後撤避免會戰，下午腓特烈判明法軍進攻方向之後，才命令軍隊收拾營帳準備迎戰，而法軍正好以為普軍開始撤退，加緊以縱隊前進接敵。實際上，腓特烈計畫以陣線右翼（北端）前面的一列小山丘為掩蔽，悄悄集中兵力於右翼，把左翼回縮，將法軍引誘到普魯士陣地南端和薩爾河之間的陷阱，加以殲滅。法軍還蒙在鼓裏，三路行軍縱隊還沒有等到展開，就遭到普魯士前鋒塞德利茨4,000騎兵的迎頭痛擊，先鋒被擊潰。但是塞德利茨初戰告捷並不窮追，收攏部隊，因為法軍畢竟勢大，一旦把敵人擠壓得太緊，反而容易形成僵持。真正的打擊來自普魯士步兵主力，他們已經完成了旋轉運動，把向西的正面改為向南，在高地上18門重炮掃射的掩護下，腓特烈的弟弟，普魯士海因里希親王率領7個步兵營殺進亂成一團的法軍，而經過休整的塞德利茨騎兵同時迂回到法軍背後，把戰鬥變成一場屠殺。激戰中，德國北方騎兵用方言喊出的呼號「Gah To」，竟然被法軍錯聽成法語「蛋糕」的諧音，官兵更加摸不著頭腦。羅斯巴赫戰役下午3點半才開火，但是一個半小時之內，法軍已經潰不成軍，死傷3,000人，被俘5,000人。而普魯士的損失，僅僅是165人陣亡，376人受傷。但是塞德利茨中將也在受傷之列，回國修養，沒有能參加下一場洛伊滕會戰。
羅斯巴赫戰役是一場一邊倒的勝利，經此一戰，路易十四朝和路易十五朝早期法軍勇敢善戰的形像被毀壞殆盡，路易十五竟然還在戰後授予羅昂親王法國元帥軍銜，簡直是滑天下之大稽。當年杜倫尼和孔代屢次入侵德意志，予取予求的時代，給德意志諸邦留下痛苦的記憶，而這次勝利大大振奮了德國人的民族精神。而且羅斯巴赫戰役是腓特烈斜線式戰術完美的表演之一，今天被美國西點軍校選作那個時代的經典戰役，以大模型重現在它的軍事博物館陳列中。 後世拿破崙評價腓特烈大帝的時候說：「越是在最危急的時候，就越顯得他的偉大，這是我們對於他能說的最高的讚譽之詞」。
張積慧，山東省榮成縣人。中國人民志愿軍空軍戰斗英雄，中國人民解放軍空軍飛行員、副司令員，中國共產黨第九、十、十一屆中央候補委員。
1945年參加八路軍并加入中國共產黨，1951年參加中國人民志愿軍入朝鮮半島作戰，任志愿軍空軍第4師12團3大隊飛行大隊長、副團長、團長。在抗美援朝作戰中曾10多次參加空戰，按中國說法1952年2月10日擊落美王牌飛行員。張積慧因此榮立特等功和一級戰斗英雄的稱號。朝鮮政府也授予他朝鮮民主主義人民共和國一級、二級自由獨立勛章、軍功章。
志愿軍回國后，張積慧先后任副團長、副師長、師長、副軍長、軍長。1973年5月，升任空軍副司令員。1978年7月至1980年8月被關押兩年。1980年9月，調任成都420廠副廠長。1983年11月，調任煙臺市副市長。1987年12月，任煙臺市人大常委會副主任。1990年7月，調回空軍，按大軍區副職待遇離職休養。
「鏞記」由著名書法家區建公題字
鏞記（全名：鏞記酒家，英文：）是香港知名食肆，以炭燒燒鵝馳名，店址位於中環威靈頓街，其分店位於香港赤臘角國際機場。
鏞記前身是一家咖啡茶檔，檔主麥鏞故取名「鏞記」。當時毗鄰經營燒臘檔的甘穗煇建議兩檔聯營，並成為鏞記股東之一。1942年，鏞記以4000港元租用上環永樂街32號鋪位，但其後毀於香港日佔時期，麥鏞退出轉行經營時裝。由甘穗煇繼續沿用鏞記字號經營下去。1944年，鏞記搬遷至石板街32號。
中環威靈頓街鏞記是1964年自置物業，甘穗輝在威靈頓街購入一個樓高四層的舖位，10年內相繼購入相連的四個舖位，分期拆卸進行重建，1978年完成工程，成為今天的鏞記大廈。 鏞記酒家亦有“富豪飯堂”之稱，曾蔭權、李嘉誠、周潤發等官員、富豪及名人曾光顧鏞記酒家。有附近上班的專業人士是鏞記的“常客”。鏞記門前部份路段原為禁止客貨上落的禁區，但部份名人及官員曾在光顧鏞記時，違例在此上落，如前財政司司長梁錦松。
1968年，美國《財富雜誌》選出鏞記為世界15大食府之一。在香港受到禽流感威脅，暫停供應家禽的時期，鏞記曾被迫暫停燒鵝的供應。
甘穗輝入行40年後，於66歲退休，業務雖交兒子甘健成打理，仍堅持每日到鏞記，更不時會親自“斬燒鵝”，他總喜歡坐在樓面的一角，觀賞食客品嚐燒鵝。 他在鏞記慶祝成立60週年的紀念刊撰文稱，“我喜歡酒家這種熱鬧感覺，我認為這裡是社會的縮影，當中有熟悉的人物事情，偶然幾位多年沒見的舊朋友，大家又可聚在一起話當年。”
2010年7月13日創辦人的長子甘健成因股權問題申請將酒家的母公司鏞記控股清盤，而在2010年7月21日，香港高等法院已經批準甘健成為鏞記控股清盤。2012年10月5日甘健成在家中感到身體不適，送往律敦治醫院搶救無效，終年66歲。2012年10月31日香港高等法院駁回甘健成生前入稟的鏞記清盤申請，冀甘氏家族能達成庭外和解。2015年11月11日，甘健成遺孀代表亡夫向終審法院提上訴，案件經審訊後，終院法院裁定遺孀上訴得直，頒令母公司須於28天內清盤。
File:Yung Kee Restaurant Interior 2008.jpg|鏞記酒家內貌
File:Yung Kee Restaurant Decoration.jpg|酒家樓梯旁的王羲之觀鵝雕像
鏞記三樓設龍鳳大禮堂，於1974年竣工。整個工程參照北京故宮設計，並邀請來自北京專造寺院木雕的師傅負責木雕。工程花費280萬，用了約一年建成。禮堂曾招待過不少名人與政要，包括泰國皇室成員、德國前總理科爾和前港督彭定康等。。
鏞記酒家自2009年起，曾連續3年獲得米芝蓮1星評價。2012年米芝蓮指南改列為一般推介食肆，2013年起未有再獲收錄。
甘健成二子甘崇轅另起爐灶, 成立甘牌燒鵝, 開業數月便在2014年10月成為一星食肆。
* 富寶軒酒家（甘健成堂弟主理）
* 甘飯館（甘健成長子甘崇軒主理）
* 甘牌燒鵝（甘健成次子甘崇轅主理）
* 甘棠燒鵝（前鏞記燒味部總管馮浩棠主理）
* 鏞記酒家已故的創辦人甘穗輝傅奇，2005年1月由其子甘建成兄弟繼承祖業。
以函數式編程寫作的：在Coq軟件中自然數加法交換性的證明。nat_ind 代表數學歸納，eq_ind 代替等於，f_equal 代表在等式兩邊取同樣的函數。 前面的定理參照顯示 m = m + 0和S（m + y）= m + S y。
柯里-霍華德對應是在計算機程序和數學證明之間的緊密聯系；這種對應也叫做柯里-霍華德同構、公式為類型對應或命題為類型對應。這是對形式邏輯系統和公式計算（computational calculus）之間符號的相似性的推廣。它被認為是由美國數學家哈斯凱爾·柯里和邏輯學家威廉·阿爾文·霍瓦德（William Alvin Howard）獨立發現的。
對應可以在兩個層面上看到，首先是類比層次，它聲稱對一個函數計算出的值的類型的斷言可類比于一個邏輯定理，計算這個值的程序可類比于這個定理的證明。在理論計算機科學中，這是連接λ演算和類型論的毗鄰領域的一個重要的底層原理。它被經常以下列形式陳述為“證明是程序”。一個可選擇的形式化為“命題為類型”。其次，更加正式的，它指定了在兩個數學領域之間的同構，就是以一種特定方式形式化的自然演繹和簡單類型λ演算之間是雙射，首先是證明和項，其次是證明歸約步驟和beta歸約。
有多種方式考慮柯里-霍華德對應。在一個方向上，它工作于“把證明編譯為程序”級別上。這裡的“證明”最初被限定為在構造性邏輯中—典型的是直覺邏輯系統中的證明。而“程序”是在常規的函數式編程的意義上的；從語法的觀點上看，這種程序是用某種λ演算表達的。所以柯里-霍華德同構的具體實現是詳細研究如何把來自直覺邏輯的證明寫成λ項。（這是霍華德的貢獻；柯里貢獻了組合子，它是相對于是高級語言的λ演算是能寫所有東西的機器語言）。最近，同樣處理經典邏輯的柯里-霍華德對應的擴展可被公式化了，通過對經典有效規則比如雙重否定除去和皮爾士定律關聯上明確的用續體比如call/cc處理的一類項。
還有一個相反的方向，對一個程序的正確性關聯上“證明提取”的可能性。這在非常豐富的類型論環境中是可行的。實際上理論家對推進非常豐富類型的函數式編程語言的開發的動機，已經部分地混合了希望帶給柯里-霍華德對應更加顯著的地位的因素。
依據λ演算，我們將使用λx.E來指示帶有形式參數x和函數體E的函數。在應用于參數比如a的時候，這個函數生成E，并帶有x的所有自由出現都被替換為a。有效的λ演算表達式有如下形式之一：
* λv.E（這裡的v是個變量，而E是個λ演算表達式）
* (E F)（這裡的E和F是λ演算表達式）
通常我們將縮寫(（A B）C)為(A B C)，縮寫λa.λb.E為λab.E。一個表達式被稱為是“閉合的”，如果它不包含自由變量。
類型可以依賴于類型變量，它被指示為小寫的希臘字母α, β等等。在我們概念中類型變量是被隱含的全稱量化的，就是說，如果一個值有包括類型變量的一個類型，則它必須由這個類型變量的所有可能實例組成。我們可以定義任意表達式的類型為如下：
*一個變量比如x可以有任意類型。
*如果變量x有類型α，而表達式E有類型β，則λx.E有指示為α→β的類型；就是說，它是取類型α的值，并映射到類型β的值。
*在表達式(E F)中，如果F有類型α，則E必須有類型α→β（就是說它必須是期望類型α的參數的函數）并且這個表達式有類型β。
例如，考慮函數K = λa.λb.a。假定a有類型α而b有類型β。則λb.a有類型
β→α，而λa.λb.a有類型α→(β→α)。我們接受→是右結合的約定，所以這個類型也可以寫為α→β→α。這意味著K函數接受類型α的參數并返回一個函數，它接受類型β的參數并返回類型α的值。
類似的，考慮函數B = λa.λb.λc.(a (b c))。假定c有類型γ，則b必須有形如γ→β的某種類型，表達式(b c)有類型β。a必須有形如β→α的某種類型，表達式(a (b c))有類型α。那么λc.(a (b c))有類型γ→α；λb.λc.(a (b c))有類型(γ→β)→γ→α，而λa.λb.λc.(a (b c))有類型(β→α)→(γ→β)→γ→α。你可以把這解釋為意味著B函數接受類型(β→α)的參數和類型(γ→β)的參數并返回一個函數，它接受類型γ的參數并返回類型α的結果。
很明顯λ-表達式可以有非常復雜的類型。你可能要問是否有帶有給定類型的λ-表達式。找到帶有特定類型的λ-表達式的問題叫做類型居留問題。
答案是非常引人注目的：有帶有特定類型的閉合λ-表達式，當且僅當這個類型對應于一個邏輯定理，在這裡的→符號再次解釋為意味著邏輯蘊涵的時候。
例如，考慮恒等函數λx.x，它接受類型ξ的參數并返回類型ξ的結果，所以有類型ξ→ξ。ξ→ξ當然是邏輯定理：給定一個公式ξ，你可以結論出ξ。
K函數的類型α→β→α也是一個定理。如果已知α為真，則你可以結論出如果β為真就能推出α。這有時也叫做重復規則。B的類型是 (β→α)→(γ→β)→γ→α。你可類似的把它解釋為邏輯重言式；如果已知(β→α)為真，則如果已知(γ→β)為真，你就能推出γ蘊涵α。
在另一方面，考慮α→β，它不是定理。明顯的沒有這種類型的λ-項；它必定是接受類型α的參數并返回某個完全無關的和未約束類型的結果的函數。這是不可能的，因為你不能從這種函數里得到什么東西，除非把它放到其他什么地方之中。
盡管有類型β→(α→α)的函數（比如，λb.λa.a，它接受一個參數b，忽略參數，并返回恒等函數），卻沒有類型(α→α)→β的函數，如果存在的話，它會是轉換恒等函數到任意值的函數。
盡管所有居留類型對應于邏輯定理為真，逆命題卻不為真。即使我們限制我們的嘗試到只包含→運算的邏輯公式，所謂的邏輯的蘊涵片段，不是所有經典有效的邏輯公式是居留類型。例如，類型((α→β)→α)→α是非居留的，盡管叫做皮爾士定律的對應邏輯公式是重言式。
直覺邏輯是比經典邏輯弱的系統。經典邏輯把自身關注于在抽象的、柏拉圖主義意義上為真的公式，而直覺邏輯只在可以為它構造一個證明的時候認為公式為真。公式α ∨ ?α示例了這種區別；它是經典邏輯的一個定理而不是直覺邏輯的定理。盡管它是經典的真的，在直覺邏輯中這個公式斷言了我們要么證明α要么證明?α。因為我們不是總能做到這些事情之一，它不是直覺邏輯的一個定理。
在居留類型和有效邏輯公式之間的對應完全是雙向的，如果我們限制我們的注意力到直覺邏輯的蘊涵片段（這也叫做希爾伯特代數）。
形式上刻畫直覺邏輯的一個簡單方式是希爾伯特演繹系統。它有兩個公理模式。所有形式為
: α→β→α
的公式都是公理，所有形式為
: (α→β→γ)→(α→β)→α→γ
的公式都是公理。
唯一的演繹規則是肯定前件，它聲稱如果我們已經證明了兩個定理，一個有形式α→β而另一個有形式α，我們可以結論出β也是定理。以這種方式推導出來的公式的集合正好是直覺邏輯的集合。特別的是，皮爾士定律不能以這種方式演繹。（對皮爾士定律不能以這種方式演繹的證明請參見海廷代數條目）。
如果我們增加皮爾士定律為第三個公理模式，這個系統就有能力證明在經典邏輯的蘊涵片段中的所有定理。
考慮λ-表達式的下列兩個函數：
: K: λxy.x
: S: λxyz.(x z (y z))
可以證明任何函數都可以通過適當的K和S相互應用來建立。（有關證明請參見組合子邏輯）。例如，上面定義的函數B等價于(S(K S)K)。如果一個函數比如B，可以表達為S和K的復合，則這個表達式可以直接轉換成類型B的一個證明，它被解釋為邏輯公式，是直覺邏輯的一個定理。本質上，K的外觀對應于第一個公理模式的使用，S的外觀對應于第二個公理模式的使用，而函數應用對應于肯定前件演繹規則的使用。
第一個公理模式是α→β→α，并且它精確的是K函數的類型；類似的第二個公理模式(α→β→γ)→(α→β)→α→γ，是S函數的類型。肯定前件聲稱如果我們有兩個表達式，一個類型是α→β（就是說，接受類型α的值并返回類型β的值）而另一個類型是α（就是說，類型α的值），則我們應當能夠找到類型β的值；明顯的，我們可以通過應用這個函數到這個值之上來得到；結果會有類型β。
希爾伯特式直覺蘊含邏輯
簡單類型的組合子邏輯
作為一個簡單的例子，我們將構造定理α→α的證明。這是恒等函數I = λx.x的類型。函數((S K)K)等價于恒等函數。作為對證明的描述，它聲稱了我們需要首先應用S到K。我們做如下：
如果我們在S中設γ = α，我們得到：
: (α→β→α)→(α→β)→α→α
因為這個公式的前件(α→β→α)是一個已知定理，并且實際上正好是K，我們可以應用肯定前件并推導出后件：
: (α→β)→α→α
這是函數(S K)的類型。現在我們需要應用這個函數到K。我們再次操縱公式使得前件看起來像K，這次我們替代β為(β→α):
: (α→β→α)→α→α
我們再次應用肯定前件來推出后件：
我們完成了。
一般的說，這個過程是只要程序包含形如(P Q)的應用，我們應當首先證明對應于P和Q的類型的定理。因為P要被應用于Q，對于某種α和β，P的類型必定有形式α→β而Q的類型必定有形式α。我們可以通過肯定前件規則推出β。
作為一個更加復雜的例子，我們看對應于函數B的定理的證明。B的類型是(β→α)→(γ→β)→γ→α。B等價于(S(K S)K)。這是對證明定理(β→α)→(γ→β)→γ→α的指引。
首先我們需要構造(K S)。我要使K公理的前件看起來像S公理，通過設置α等于(α→β→γ)→(α→β)→α→γ，和β等于δ:
: ((α→β→γ)→(α→β)→α→γ)→δ→(α→β→γ)→(α→β)→α→γ
因為前件正好是S，我們可以推出后件：
: δ→(α→β→γ)→(α→β)→α→γ
這是對應于(K S)的定理。現在我們要應用S到這個表達式。取得S
我們設置α = δ，β = (α→β→γ)和γ = ((α→β)→α→γ)，生成
:(δ→(α→β→γ)→(α→β)→α→γ)→(δ→(α→β→γ))→δ→(α→β)→α→γ
我們可以接著推出后件：
: (δ→α→β→γ)→δ→(α→β)→α→γ
這是類型(S(K S))的公式。這個定理的一個特殊情況有δ = (β→γ):
: ((β→γ)→α→β→γ)→(β→γ)→(α→β)→α→γ
我們需要應用最后這個公式到K。我們再次特殊化K，這次是替代α為(β→γ)，替代β為α:
: (β→γ)→α→(β→γ)
這同于前者公式的前件，所以我們推出后件：
: (β→γ)→(α→β)→α→γ
交換變量α和γ的名字得到
: (β→α)→(γ→β)→γ→α
這就是我們要證明的。
在下表第一列中的推導規則定義了直覺蘊涵自然演繹（為蘊涵連結詞準備一個介入和一個除去規則）的標準系統。在第二列中給出-演算的標準類型指派（賦值）系統。
直覺蘊涵自然演繹
lambda演算類型指派規則
希爾伯特式證明是很難構造的。證明邏輯定理的更加直覺的方式是根岑的相繼式演算。相繼式演算以同希爾伯特式證明對應于組合子表達式一樣的方式對應于λ-表達式程序。
直覺邏輯的蘊涵片段的相繼式演算規則是：
: (公理)
: (Right →)
: (Left →)
Γ表示上下文，它是假設的集合。指示假定上下文Γ我們可以證明a。邏輯定理完全由其證明不需要假設的那些公式t組成的；就是說，t是一個定理，當且僅當我們可以證明。詳情請參見相繼式演算。
在相繼式演算中的證明是樹，它的根是我們要證明的定理，而它的葉子是公理模式實例；每個內部節點必須標記為要么Right →要么Left →，并且必須包含依據指定規則從子節點推出的一個公式。
相繼式演算證明緊密的對應于λ-演算表達式。斷言可以被解釋為意味著，給定帶有在Γ中列出類型的值，我們可以制造帶有類型a的一個值。公理對應于帶有新的無約束的類型的新變量介入。
Right →規則對應于函數抽象：
什么時候我們能結論出某個程序Γ包含類型α→β的函數?在Γ加上類型α的一個值的時候，包含了足夠的機械來允許我們制造類型β的一個值。
Left →規則對應于函數應用：
:  (Left →)
如果我們可以制造類型α的一個值，并且如果給出類型β的一個值，我們還可以制造類型γ的一個值，則類型α→β的一個函數將允許我們制造類型γ的一個值：首先我們可以制造α，接著應用α→β函數于它，并接著使用結果的β值來制造類型γ的一個值。
例如，(β→α)→(γ→β)→γ→α的相繼式演算如下：
(β→α)→(γ→β)→γ→α的證明告訴我們如何制造帶有這個類型的一個λ-表達式。首先，介入分別帶有類型α和β的變量a和b。Left →規則聲稱制造程序 (λb.a b)，它構造類型α的一個值。我們再次使用Left →來構造(λb.a (λg.b g))，它仍有類型α。
* , with 2 sections by William Craig, see paragraph 9E.
* De Bruijn, Nicolaas (1968), ''Automath, a language for mathematics'', Department of Mathematics, Eindhoven University of Technology, TH-report 68-WSK-05. Reprinted in revised form, with two pages commentary, in: ''Automation and Reasoning, vol 2, Classical papers on computational logic 1967-1970'', Springer Verlag, 1983, pp. 159-200.
*  (original manuscript from 1969).
* . (Full version of the paper presented at ''Logic Colloquium '90'', Helsinki. Abstract in ''JSL'' 56(3):1139-1140, 1991.)
* . (Full version of a paper presented at ''Logic Colloquium '91'', Uppsala. Abstract in ''JSL'' 58(2):753-754, 1993.)
* . (Full version of a paper presented at ''2nd WoLLIC'95'', Recife. Abstract in ''Journal of the Interest Group in Pure and Applied Logics'' 4(2):330-332, 1996.)
* , the contribution of de Bruijn by himself.
*, contains a synthetic introduction to the Curry-Howard correspondence.
* , contains a synthetic introduction to the Curry-Howard correspondence.
*, reproduces the seminal papers of Curry-Feys and Howard, a paper by de Bruijn and a few other papers.
* , notes on proof theory and type theory, that includes a presentation of the Curry-Howard correspondence, with a focus on the formulae-as-types correspondence
* Girard, Jean-Yves (1987-90). '' Proof and Types ''. Translated by and with appendices by Lafont, Yves and Taylor, Paul. Cambridge University Press (Cambridge Tracts in Theoretical Computer Science, 7), ISBN 0-521-37181-3, notes on proof theory with a presentation of the Curry-Howard correspondence.
* Thompson, Simon (1991). '' Type Theory and Functional Programming '' Addison-Wesley. ISBN 0-201-41667-0.
Loft仙臺店 (西口)
仙臺站位在日本宮城縣仙臺市青葉區與宮城野區，是東日本旅客鐵道（JR東日本）、仙臺市地下鐵的鐵路車站，也是仙臺市的中心車站。
新幹線及在來線（仙石線除外）使用地面站房，爲地上4層及地下1層的建築，呈南北方向佈置。車站東、西口側分別建有車站大樓，名爲S-PAL仙臺東館及S-PAL仙臺本館。仙石線於地面站房東口對出、宮城野通的地底另設地下車站，呈東西向佈置。
在來線設有4個檢票口，其中3個通往在來線地面月臺，分別是2樓車站大堂西口側的「中央檢票口」和東口一側的「東檢票口」，經2樓的在來線中央通路通往各地面月臺；以及S-PAL本館地下1層的「地下南口」，經地下道通往各地面月臺；東口對出地下1層的仙石線站廳另設「地下東口檢票口」，通往仙石線地下月臺；仙石線站區另有付費區通道連接地面站房2樓的在來線中央通路。
新幹線在西口大堂3樓設有「新幹線中央檢票口」和「新幹線南檢票口」2個檢票口，需要在新幹線及在來線之間換乘的乘客可分別經「新幹線中央換乘口」或「新幹線南換乘口」直接前往2樓在來線中央通路進行換乘。
車站設有2組綠窗口（人工售票處），悉數位於西口一側，位於3樓新幹線大堂中央及2樓在來線中央檢票口旁。站內各檢票口旁亦設有自動售票機、指定席售票機以及自動補票/精算機。
JR車站設有地下通道，可從「地下南口」出站，透過西口地下自由通路到達地鐵站；或透過東西地下自由通路前往仙石線青葉通站。
本站爲設置站長的直營站，同時負責管理青葉通站的運作。本站爲JR的「特定都區市內」車費制度中，「仙臺市內」的中心站，所有到發地爲「仙臺市內」的車票以本站爲基準來計算車費。
車站出口分為西口與東口。2樓的東西自由通路連接西口（南町通側）與東口（宮城野通側）巴士站；位於南町通地底的西口地下自由通路連接JR仙臺站與地下鐵仙臺站；位於青葉通地底的東西地下自由通路則連接站房東側的仙石線仙臺站與西側的青葉通站。
*1～8號線（東北本線、常磐線、仙山線、仙石東北線）的月臺是位於地面的側式一面一線月臺與島式三面七線月臺。
*9、10號線（仙石線）的月臺是位於地下層的島式一面二線月臺。
*11～14號線（新幹線）是位於四樓高架的島式二面四線月臺。
在來線 地面月臺
利府、小牛田、一之關方向
鹽釜、高城町、矢本、石卷方向
■ 仙臺機場Access線
名取、仙臺機場方向
白石、福島、郡山、黑磯方向
利府、小牛田、一之關、盛岡方向
巖沼、亙理、濱吉田、磐城、上野方向
愛子、作並、山形方向
仙石線 地底月臺
多賀城、松島海岸、高城町、石卷方向
新幹線月臺（高架）
■ 東北、秋田、北海道新幹線
盛岡、新青森、秋田、新函館北斗方向
■ 東北新幹線
（此站始發）宇都宮、大宮、東京方向
宇都宮、大宮、東京方向
**1－8號線使用佐藤宗幸作曲的「青葉城戀歌」之旋律，演奏時間約30秒。回送列車的發車使用一般鈴聲。
**9、10號線（仙石線地下月臺）則是使用一般鈴聲。（青葉通站則是使用前述旋律的另一版本）
*新幹線：在人聲廣播之後播放仙臺市出身的榊原光裕作曲的旋律，整段約30秒。以新幹線而言發車音很長，但由於東北新幹線在仙臺站的停車時間約有2分鐘，乘客上下車及乘務員交替並不會有時間急迫的問題。
南北線月臺位於仙臺市愛宕上杉通地底，JR仙臺站西口西側400公尺，實際上比較接近仙石線的終點站——青葉通站。東西線車站月臺位於南町通地底，和南北線月臺組成十字形交叉，於2015年12月6日開業。
地下3樓月臺
地下4樓月臺
八木山動物公園方向
2014年度仙臺站每日平均乘車人數為84,951人（僅指在仙臺站登上列車的人數，下車人數未包含在內），是JR東日本首都圈以外使用人數最多的車站。
售票所得的盈利在JR東日本所有車站中排名第三，僅次於東京站及新宿站。
仙臺站的車站便當之種類繁多，為全日本之冠。
由「」、「」、「」三家公司相互競爭販賣，便當品質很高。
*一念發起飯/一念北寄貝飯
仙臺站於1887年12月15日開始營業。當時只有東北本線經過，也只有4個月臺。發展至今，先後有常磐線（1897年）、仙石線（1928年）、仙山線（1933年）、東北新幹線（1982年）與仙臺市地下鐵南北線（1987年）通車至本站。由4個月臺，增至十數個，也擴充成3層的車站大樓，成為東北地區的重要車站。2002年（平成14年）入選東北車站百選。2007年3月18日，連結本站與仙臺機場的仙臺機場鐵道通車。
站前是仙臺市商業區，名為青葉通。
新幹線各列車與在來線特急列車參見列車記事。
; link=東日本旅客鐵道東日本旅客鐵道
:  ■東北新幹線
::: 白石藏王－仙臺－古川
: 秋田新幹線、北海道新幹線
::: 大宮－仙臺－盛岡
: 東北本線
:: 快速「」
::: 長町－仙臺
::: 長町－仙臺－東仙臺
: 仙臺機場Access線
::: 名取－仙臺
: 仙石東北線
:: 特別快速、快速（赤快速）
::: 仙臺－鹽釜
:: 快速（綠快速）
::: 仙臺－東仙臺
:: 快速（A快速、B快速）
::: 仙臺－北仙臺
:: 快速（C快速）、普通
::: 仙臺－東照宮
::: 青葉通－仙臺－榴岡
; link=仙臺市地下鐵 仙臺市地下鐵
:  南北線
::: 廣瀨通（N-09）－仙臺（N-10）－五橋（N-11）
:  東西線
::: 青葉通一番町（T-06）－仙臺（T-07）－宮城野通（T-08）
* 仙臺站JR東日本列車時間表
此為臺北歷史的大事年表。
圓山遺址30px
圓山遺址，B.C.5000年-B.C.2700年
圓山遺址，芝山巖遺址，B.C.1600年-B.C.1000年
圓山遺址，芝山巖遺址，關渡B.C.2800-500年
植物園遺址，圓山遺址，芝山巖遺址，B.C.1000-200年
圓山遺址，芝山巖遺址，十三行遺址，新-{莊}-遺址
史載已有平埔族凱達格蘭族活動紀錄50px
荷蘭佔領臺灣南部
以臺灣臺南為主
西班牙佔領基隆 |
西班牙傳教於臺北凱達格蘭族北投等社 |
荷蘭人繪製《大臺北地圖》
首度出現臺北市地圖
明永曆15年
鄭成功佔領臺灣
以臺灣南部為主的鄭氏王朝開始
清康熙22年
征臺清將施瑯被冊封靖海侯
清郁永河到臺北採硫磺
與北投，麻少翁社（今士林）等平埔族23社交易
泉州人陳賴章墾號開墾大佳臘地方
今萬華，大龍峒，大稻埕，松山
賴科於關渡設廟|
皇輿全覽圖完成
清代地圖首度出現臺北市
新竹墾民開墾臺北景美|
粵人廖簡岳開墾公館一帶與平埔族衝突
簡岳數百人全數陣亡，清下連坐禁令不準漢人越界
臺北縣八里設巡檢範圍達臺北市
臺北南港與北投
郭錫瑠開墾臺北
漳州人首度大量移民臺北，今中崙松山
何士蘭開墾臺北士林
泉州人周黃清開闢臺北市木柵區|
清朝開放中國移民攜眷來臺的禁令
官員仍禁止攜眷
開放攜眷來臺禁令，補附條件
攜眷來臺需在一年內實行
漳州七縣移民於建芝山巖惠濟宮
臺北士林50px
淡水都司移至臺北艋舺
仍稱淡水廳，臺北市首度設立之行政中心
清朝設理番同知
臺北平埔族歸北路管轄
林爽文民變，波及松山，艋舺，內湖
領袖為林小文
泉州同安首開大龍峒
44家店舖，俗稱四四崁
大龍峒保安宮落成
泉州同安信仰中心50px
居民開墾錫口通水返腳道路
今松山往汐止
設於臺北艋舺的都司改艋舺縣丞
今萬華，官方文書首度出現艋舺
臺北艋舺設參將
臺北成為臺灣北部軍事與政經中心
臺灣班兵常設於臺北營
設於艋舺，臺北一詞首度出現於文書
設軍工廠於艋舺
艋舺營署升格為參將署|
芝山巖文昌宮設義塾
臺北地區漳泉械鬥
八芝蘭與艋舺
漳泉等四縣籍頂下郊拼
艋舺祖師廟燬，同安人敗走大稻埕
英國要求艋舺亦設通商碼頭
於艋舺設海關
漳州所居舊士林全燬
清朝批準臺北建立一府三縣
臺北城開始籌款興建
臺北城正式動工
臺灣道劉璈與臺北知府陳星聚興建
中法戰爭爆發，一度危及臺北
臺北府城完工
面積一點多平方公里，大稻埕與艋舺中間
設鐵路總局於臺北
在臺北試行電燈與郵政
巡撫邵友濂奏請正式將臺南府遷至臺北
實際上行政中心已移
臺灣民主國成立
臺灣日治時期開始
臺灣總督府仍設臺北
臺灣總督府醫學校於臺北成立
今臺灣大學醫學院前身
臺灣總督府拆除臺北城牆
只留四座城門
大稻埕成立臺北天然足會
臺北成為全臺灣人口最多城市
不含中國人，達八萬人
臺北開始通行公共汽車
臺灣同化會成立於臺北
臺北帝國大學成立
今國立臺灣大學
舉行始政四十周年記念臺灣博覽會
臺北出現第一座紅綠燈
盟軍加強空襲臺北
臺灣進入國民政府時期
起火線於臺北大稻埕
臺北發生四六事件
吳三連獲選為臺北市長
臺南人成為第一位民選臺北市長
雙十節舉行國慶閱兵
是歷年中華民國國慶在臺北舉行閱兵中參與校閱之三軍人數、車輛及飛機數最多的一次
臺北發生劉自然事件
美國駐臺北大使館遭搗毀
瑠公圳分屍案|
臺北升格為直轄市|
李師科搶劫土地銀行古亭分行
臺灣第一宗銀行搶案
臺北發生農民與警察衝突
總統為李登輝
野百合學運|
臺北市政黨輪替
陳水扁當選改制後首屆民選臺北市長
臺北第一條捷運開通
臺北捷運木柵線
臺北治安危機
國際地方政府聯合會「世界首都論壇」於臺北市召開
由臺北市政府主辦、市長陳水扁主持、總統李登輝接見
九二一大地震
臺北東星大樓倒塌，全國死亡人數最多的單一建築
中華民國中央政府政黨輪替
陳水扁當選總統
臺北車站與捷運淹水
SARS疫情
臺北市立和平醫院封院
3月20至4月20藍營集結府前抗議
三一九槍擊案、總統大選國民黨敗選
臺北101正式落成啟用
落成時為世界第一高樓，目前是第二高樓
中國海協會會長陳雲林來臺與江丙坤在圓山飯店舉行第一次江陳會談
場外爆發嚴重警民衝突
主辦聽障奧運
主辦國際花卉博覽會
展期至2011年4月
*又吉盛清，《臺灣今昔之旅：臺北篇》，臺北，前衛出版社，1997年。
*黃稱奇，《撐起的年代》，臺北，悅聖文藝，2001年。
世界排名第一的王牌飛行員Erich Hartmann  埃里希 哈特曼
王牌飛行員又稱空戰王牌、王牌機師或ACE，簡稱王牌，Flying ace。為一個最早出現在第一次世界大戰的稱號，一般稱呼曾經擊落敵機逾5架的飛行員，世界排名第一的王牌飛行員為埃里希·哈特曼，擊落過敵機352架，而世界頭號女性王牌機師是來自蘇聯空軍的莉狄亞·利特維亞克，獨自擊落過12架戰機。
最早在軍事飛行中使用“王牌”這一詞語是在第一次世界大戰期間，當阿道夫·佩古德成為首個擊落5架德軍飛機的飛行員之后，法國報紙稱他為“王牌”（)。“王牌”一詞在一戰之前的法國就是一個流行詞，通常用來運動明星，比如足球明星或者自行車明星，這也就是為什么人們也用“王牌”來形容除飛行外其他領域里的杰出人物（比如多次擊沉船只或多次擊毀坦克）。
而德意志帝國則以藍馬克斯勛章表彰擊落8架同盟國飛機的飛行員，德國并不使用“王牌”一詞，而是使用“大炮”來稱呼擊落10架以上敵機的飛行員，并公開他們的姓名和戰績以鼓勵民眾。隨著戰爭的進行，藍馬克斯勛章的頒發標準逐漸提高。1914年至1916年間，不列顛帝國并沒有集中記錄空戰戰績的系統，事實上一直到戰爭結束戰績也只是在中隊級別進行記錄。盡管有一些飛行員因為媒體報道而出名，但在一戰中的不列顛空軍中個人數據是沒有公開官方記錄的。不過當飛行員獲得擊落5架敵機的戰績時，他將自動獲得一枚軍人十字勛章。
對于戰績的確認，各國也有不同的計算方法。在德國空軍中，只有“確認戰績”才會記錄，“確認戰績”是通過檢驗敵機（或殘骸）或敵飛行員（或遺體），評估確定敵機被擊毀或俘獲的戰績。比如，曼弗雷德·馮·里希特霍芬擊落阿爾伯特·巴爾的戰績就是由不列顛空軍確認巴爾死亡才被記錄，盡管里希特霍芬自己聲稱擊落的是一架索普維斯三翼飛機，但巴爾的S.E.5座機的殘骸從未被辨認出。因為大部分空戰都發生在德軍戰線之后，所以德國空軍的計算方法只對德國空軍行之有效。
德國空軍的計算方法的另一特點就是當多架飛機同時攻擊一架敵機并擊落時，只有一名飛行員取得戰績（通常為編隊長機）。而大部分其他國家則使用法國空軍的計算方法，即參加戰斗的所有飛行員和炮手都取得戰績。而英國空軍采用了獨占和分享戰績共存的方法。在英國陸軍航空隊、英國海軍航空兵和英國空軍中，每次戰斗過后，參戰飛行員將提交一份交戰報告，由中隊指揮官審查之后這些報告將提交到大隊指揮部，大隊指揮官對報告審查后決定哪些戰績將被記錄和哪些戰績將不被記錄，最后這些報告將提交給旅司令部。一戰中德國最偉大的王牌飛行員是曼弗雷德·馮·里希特霍芬（Manfred von Richthofen）綽號“紅男爵”，擊落飛機80架。
世界上擊落飛機最多的幾個王牌飛行員均出現在第二次世界大戰時的德國，個人戰績百架以上者107人均為德國空軍飛行員，他們總共擊落了約2萬架飛機，自身也有51人陣亡。德軍王牌飛行員總人數超過3000人，其中排名第一的埃里希·哈特曼（Erich Hartmann）擊落敵機352架。相對而言盟國的王牌飛行員要遜色很多（不過盟國飛行員戰績較不出色是有原因的，以美國為例，美軍飛行員只要執行完一定數量的任務就會被調回國當教官，所以相較於從開戰一直打到戰爭結束的德軍飛行員，盟軍飛行員的戰績要遜色很多。這方面德國相同，王牌飛行員亦優先獲得回國當教官的機會，但王牌飛行員太多而需要的飛行教官數量有限。德國空軍的超前戰績，與兩戰間由政府廣泛成立青少年航空俱樂部，及德國有毛瑟公司提供的機炮、戴姆勒公司提供的發動機和當時領先的柏林風洞等技術優勢有關。）另外，身為主要軸心國之一的意大利王國則因為空軍的統計方式偏向集體勝利而非個人戰績，這使得在統計意大利王牌飛行員的個人戰績上有一定程度的困難，其中意大利的頭號王牌飛行員佛朗哥·魯基尼就是一個例子，他的戰績是26架。英國頭號王牌飛行員少校的戰績是40架，蘇聯伊萬·闊日杜布的戰績是62架，世界上第一位女性王牌飛行員莉狄亞·利特維亞克在蘇德戰場誕生。而太平洋戰線方面，大日本帝國海軍的巖本徹三的擊墜數是94架，而聞名世界的坂井三郎亦有64架（巖本及坂井的坐機同為零式艦上戰鬥機）。
中華人民共和國派兵入朝作戰，時任中國人民志愿軍空軍第4混成旅任飛行中隊長劉玉堤成為朝鮮戰爭中國空軍的頭號王牌飛行員（坐機為米格-15戰機）。曾一次擊落四架美軍F-86佩刀戰斗機，獲得一級戰斗英雄稱號。李漢中尉擊毀美軍戰機數為8架，因1951年1月21日因擊落一架美軍戰機，成為中國人民解放軍空軍建軍以來第一位擊落敵機的飛行員。美國空軍方面也毫不遜色。小約瑟夫·C·麥克康奈爾擊落中國戰機16架，成為韓戰中美國空軍頭號王牌飛行員。他的戰機曾在1953年4月12日被另一名隸屬于中國空軍的王牌飛行員蔣道平擊落，他本人則成功生還，并繼續戰斗，最終在1954年的一場飛行事故中喪生。
越南戰爭爆發後，空軍上尉成為美國空軍越戰期間首位王牌飛行員，而上尉武器管制官（WSO）則於1972年9月9日成為越戰期間擊落敵機數最多的王牌飛行員，一共擊落敵機六架。另一上尉武器管制官於1972年10月13日成為越戰期間最後一名取得王牌飛行員稱號的美國空軍飛行員。北越方面，實際上的王牌飛行員為擊落9架敵機的空軍軍官，但另有一位事蹟在西方廣為流傳的虛構北越飛行員「墳上校」，傳說中稱此人擊落了13架飛機。
二戰后隨著戰爭的減少，王牌飛行員也越來越少。二戰期間高達708位美軍飛行員達到王牌飛行員的標準，朝鮮戰爭期間的美軍產生39位王牌飛行員，在越戰期間的美軍僅產生3位王牌飛行員，以色列空軍在中東地區的多次戰爭中也產生許多王牌飛行員，打破了越戰及韓戰噴射戰鬥機擊毀數，許多紀錄至今沒有被打破。則以后則越來越少見，二戰中一次數十、甚至數百架戰機進行空戰的情況也不再出現。
很有可能是因為隨著時代的不同地面防空能力越來越強，很多時候不必出動己方飛機就可以對付敵機。還有可能就是因為傳統的機槍和機關炮因為導彈的發展而逐步淪為飛機上的輔助武器，而機載導彈的發展也使雙方害怕被攻擊，做成實際接戰率大大降低，戰機的性能、價格都往上提升，使人較想用地對空導彈為主要防空手段。
*第1名，曼弗雷德·馮·里希特霍芬上尉，確認擊殺80架
*第2名，恩斯特·烏德特中尉，確認擊殺62架
*第3名，埃里希·雷本哈特中尉，確認擊殺53架
*第4名，赫爾曼·戈林中尉，確認擊殺22架
*第1名，勒內·保羅·豐克上尉，確認擊殺75架
*第2名，喬治·居內梅上尉，確認擊殺53-54架
*第3名，夏爾·南杰塞中尉，確認擊殺45架
*第1名，亞歷山大·A·卡薩科夫上尉，確認擊殺18架
*第2名，帕爾·佛·達爾蓋夫上尉，確認擊殺15架
*第3名，A·P·謝韋斯基海軍少校，確認擊殺13架
*第1名，佛朗西斯科·巴勒可少校，確認擊殺34架
*第2名，威廉·C·蘭巴特上尉，確認擊殺21架
*第3名，佛萊迪里克·w·齊萊特上尉，確認擊殺20架
*第1名，威廉·A·畢曉普少校，確認擊殺72架
*第2名，愛德華·C·曼諾克少校，確認擊殺61架
*第3名，萊蒙·柯利曉少校，確認擊殺60架
*第1名，愛德華·V·里肯巴卡上尉，確認擊殺26架
*第1名，漢斯-烏爾里希·魯德爾上校，戰果9架、519輛戰車、1艘戰列艦、1艘巡洋艦、1艘驅逐艦、70艘登陸艇、800輛各式車輛、超過150門火砲、反戰車砲、防空砲陣地、4列裝甲列車和無數橋樑與補給線(由於其駕駛的是俯衝轟炸機，所以轟炸戰果也必須算在裡面)
*第2名，埃里希·哈特曼上校，戰果352架
*第3名，格爾哈德·巴克霍恩少校，戰果301架
*第4名，京特·拉爾中尉，戰果275架
*第5名，奧托·基特爾中尉，戰果267架
*第6名，埃里希·魯道弗少校，戰果224架(222)
*第7名，阿道夫·加蘭德中將，戰果208架
*第8名，海因里希·埃爾勒少校，戰果208架
*第9名，約翰內斯·施坦因霍夫上校，戰果176架
*第1名，西澤廣義海軍中尉，戰果120架
*第2名，巖本徹三海軍中尉，戰果97架
*第3名，上坊良太郎陸軍大尉 ，戰果76架
*第4名，福本繁夫海軍曹長 ，戰果72架
*第5名，坂井三郎海軍中尉，戰果64架(28)
*第6名，穴吹智陸軍曹長，戰果51-53架
*第7名，赤松貞明海軍中尉，戰果27架
*第8名，小町定海軍曹長，戰果18架
*第1名，伊萬·闊日杜布元帥，戰果62架
*第2名，亞歷山大·伊萬諾維奇·波克雷什金元帥，戰果50架
*第3名，瑪林娜·米哈伊洛芙娜·拉斯科娃上尉，戰果38架
*第4名，謝爾蓋·馬卡羅維奇·克拉馬連科少將，戰果16架
*第5名，莉狄亞·利特維亞克中尉，戰果12架
*第1名，理查德·邦少校，戰果40架
*第2名，大衛·希爾準將，戰果18架
*第3名，查克·葉格準將，戰果12架
*第1名，“帕特”·帕特爾少校戰果，40架
*第2名，威廉·韋爾少校戰果，30架
*第3名，莫里斯·邁可·史蒂芬斯少校，戰果17架
*第1名，柳哲生少將，老五大隊廿四中隊長，九星星序，戰果11架
*第2名，王光復，三大隊七中隊，八星星序，戰果8.5架
*第2名，高又新，四大隊副大隊長，七星星序，戰果8.5架
*第3名，陳瑞鈿少校，老五大隊廿八中隊長，戰果8架
*第3名，譚鯤上校，八星星序，三大隊三十二中隊，戰果8架(另一說為9架)
*第4名，劉粹剛少校，老五大隊廿四中隊長，戰果7架(自稱11架，官方戰史上排名第四)
*第4名，臧錫蘭少將，三大隊八中隊，七星星序，戰果7架
*第4名，黃新瑞中校(追授)，老五大隊大隊長，七星星序，戰果7架
*第5名，周志開中校(追授)，四大隊廿三中隊長，五星星序，戰果6.5架
*第6名，樂以琴少校（追授），四大隊廿一中隊副隊長，五星星序，戰果6架
*第7名，羅英德二級上將，空軍第一路司令部參謀長，五星星序，戰果5架
*第7名，高志航少將(追授)，四大隊大隊長，三星星序，戰果5架
*第8名，張光明少將，空軍第四大隊22中隊任飛行員，四星星序，戰果4架
*第1名，劉玉堤中將，戰果11架
*第2名，趙寶桐中校，戰果9架
*第5名，孫生祿中尉，戰果6架
*第1名，小約瑟夫·C·麥克康奈爾，戰果16架
*第2名，詹姆斯·賈巴拉，戰果15架
*第3名，曼努埃爾·J·費爾南德斯，戰果14架
*  第一次世界大戰的王牌飛行員
* 中國人民解放軍空軍金頭盔獎
會典之名始見於明代，意思是“典章會要”。會典是大多屬當代官修斷代式政書，會典與會要最大的差異是：會要以“職官”為綱，記錄中央與地方官職制度沿革；會典著重記述法令典章，而不詳備史實。現存的會典有：《唐六典》、《元典章》、《明會典》、《清會典》。歷代第一部會典為《唐六典》，唐玄宗開元十年（722年）召修，按《周官》分為理典、教典、禮典、政典、刑典、事典六個部分編成，故稱《唐六典》，並於開元二十六年（738年）撰成三十卷。明代弘治十年（1497年）仿《唐六典》制定了《明會典》。康熙二十三年（1684年）初修《大清會典》，又稱《康熙會典》，凡162卷，形式上仿《大明會典》，到了雍正、乾隆、嘉慶和光緒年間曾四次重修。
馬克·安東尼可以指：
*馬克·安東尼（拉丁語：Marcus Antonius）是古羅馬平民氏族安東尼氏族中許多位著名成員的名字。
**馬克·安東尼·奧雷托爾，羅馬演說家，執政官
**馬克·安東尼·克里提庫斯，羅馬政治家，副執政官
**馬克·安東尼，安東尼家族最著名的成員，愷撒的部將，后三頭之一
**馬克·安東尼·安泰魯斯，馬克·安東尼的長子，被屋大維殺害
*馬克·安東尼 (歌手)，美國歌手。
鵝鑾鼻燈塔是一座位於臺灣屏東縣恆春鎮墾丁國家公園鵝鑾鼻的燈塔。該燈塔一度被認定為臺灣最南端的標誌也是照射距離最遠的燈塔，後被臺灣最南點地標取代。最初落成於1883年，並經多次重修，現今建物為中華民國政府於1962年重修建成。
鵝鑾鼻附近的巴士海峽外海有七星巖暗礁，過去常有不熟悉附近水域的船隻觸礁沈沒。1867年（清同治六年），美國商船羅妹號從汕頭開往牛莊途中，在暴風中迷失方向，漂至七星巖附近觸礁沈沒，船長夫婦和船員游泳登岸後，除一大清帝國水手逃至打狗外，其他人均被龜仔角社（社頂）的原住民俘虜殺害，被稱為羅發號事件。另外，1871年時琉球人也在南岬一帶遇難，被稱為八瑤灣事件，還因此引發1874年日軍攻臺的牡丹社事件。美國和日本政府因此皆要求清朝在此處設燈塔。
在外交壓力下，清廷於1875年（清光緒元年）委託英國皇家地理學會會員 畢齊禮（ Michael Beazeley），於6月18日自打狗出發前往瑯嶠（今恆春）地區勘察燈塔建地，並支付一百銀兩向龜仔甪社（今墾丁國家森林遊樂區旁社頂部落）原住民購買燈塔預定用地建塔。燈塔於1881年（清光緒7年）動工，1883年（清光緒9年）建成。由於當地是原住民的地盤，因此在興建前後，官方還派了五百兵力守護。
砲壘式的外觀與滿佈槍眼的圍牆，圍牆外還有壕溝，而整個塔區建築屋頂都是「蓄水坪」，雨水沿著水管集流到地面下九座花崗石蓄水池，水源自給自足，這些都是為了防止原住民的侵襲與圍困而建造的設施，也因此鵝鑾鼻燈塔成為全世界獨一無二的武裝燈塔。建造費用總數為白銀20餘萬兩。
甲午戰爭後，1895年（清光緒21年）清軍在離臺前，恆春知縣歐陽萱奉令秘密焚毀南臺灣鵝鑾鼻燈樓、石牆，以及石路碼頭。燈塔在9月13日摧毀。
在1898年（日本明治31年）日治時代時燈塔整修完成，是大日本帝國最南端的燈塔，1904年（明治37年）燈塔架設電話線，是為恆春地區第一部電話。二次大戰時燈塔遭盟軍空襲毀壞。當時日本人重建的燈塔，白色的塔身在海拔五十五公尺，高出地面十八公尺，周圍一百公尺是鐵鑄圓柱形，內分四層，頂端有二萬六千燭光的一等白燭光，可照射二十海浬。
燈塔於1962年由政府整修後，塔高21.4公尺，塔頂換裝新式大型四等旋轉透鏡電燈，經過大型旋轉透鏡後，光力為180萬-{zh-cn:坎德拉; zh-tw:燭光; zh-hk:坎德拉; zh-sg:坎德拉}-，每十秒一閃，照射距離達27.2-{zh-cn:海里; zh-tw:海浬; zh-hk:海里;}-，是目前臺灣光力最強的燈塔，被稱為「東亞之光」。
鵝鑾鼻為臺灣南端海角，屬於珊瑚礁石灰巖地形，所以地理景觀上十分奇特，有怪石、巨礁及洞穴，海景更是一絕，被視為「臺灣八景」之一。在1982年成立鵝鑾鼻公園，以燈塔為主體，規劃出鄰近50公頃的風景區。
2017年5月，燈塔主任彭念陸發現燈塔內部鐵身出現鏽蝕，於月底進行啟用以來首次全面除鏽工程，也是燈塔啟用以來134年首次除鏽。
2017年10月18日，落山風文化藝術工作室林順隆行文臺灣墾丁國家公園管理處，呈請更正鵝鑾鼻燈塔解說文。
依據清史文獻「密稟籌防燈樓防番實以防洋附請會咨由」文中明白指出，燈樓的防禦建築是為防洋人自由活動勾結原住民肇事。文曰: 「防番之實，歸著防洋，
不過藉生番殺人，聊為引證。」墾管處解說為: 「防原住民侵擾」，曲解歷史原意，有礙教育視聽，污衊善良的臺灣原住民。
2017年10月27日，墾丁國家公園管理處回文(墾解字第1060009153號): 來函指正鵝鑾鼻燈塔解說牌文句有違史實乙節，經考證文獻，其文意確實過於簡化史實，
爰本處未來更新解說牌面時，將依貴工作室意見修正。
*塔身塗色?構造：外觀漆白，頂層外有環繞陽臺。
*燈高：56.4公尺〈以高潮面至燈火中心計〉。
*燈器：大型4等旋轉透鏡電燈。
*燈質（頻率）：每10秒白明光1閃。明1.0秒，暗9.0秒。
*光力：1,800,000支燭光。
*明弧：234度-099度但在距離該塔15浬內234度-266度為陸地遮蔽，不見燈光。
*管轄機關：燈塔原為中華民國財政部關務署管理，已於2013年1月1日轉交由中華民國交通部航港局管轄。
*開放參觀與否：可，但有時間限制。1982年12月起採半開放式：除星期一、國定假日隔日及三大節日（春節、端午節、中秋節）不對外開放外，其他時間上午九時至下午六時（夏令時間4月1日至10月31日），上午九時至下午五時（冬令時間11月1日至3月31日），每逢星期一內部整理不開放。免費自由參觀。
*電話：08-8851111。
File:鵝鑾鼻燈塔 屏東縣 歷史建築燈塔 Venation 2.JPG|鵝鑾鼻燈塔
File:Eluanbi Lighthouse, Kenting National Park, Pingtung County, Taiwan.jpg|鵝鑾鼻燈塔
File:Eluanbi stele 20060403.jpg|臺灣八景石碑，其中「鵝鑾鼻」模仿王羲之筆跡寫成「鵞鑾鼻」三字
File:Eluanbi Lighthouse 01.jpg|鵝鑾鼻燈塔
File:Eluanbi Lighthouse 20060404.png|鵝鑾鼻燈塔側面
File:Erluanbi-lighthouce-maindoor.jpg|鵝鑾鼻燈塔正門
File:Eluanbi Lighthouse Kenting National Park-ID9286.jpg|鵝鑾鼻燈塔
File:Oluampi.jpg|鵝鑾鼻燈塔
File:鵝鑾鼻燈塔除鏽.jpg|鵝鑾鼻燈塔除鏽
屏東縣縣徽為鵝鑾鼻燈塔，後為 大武山
* 李素芳 編著，《臺灣的燈塔》，遠足文化事業，臺北縣，2002年12月，pp.&nbsp;126–131。ISBN 957-28031-2-3
* 葉倫會 著，《海洋領航者－臺灣燈塔展》，高雄市立歷史博物館，高雄市，2000年12月，pp.&nbsp;71–73。ISBN 957-02-7455-7
* 財政部關稅總局編撰，《中華民國海關簡史》，臺北市，1998年7月。ISBN 9570048611
*  鵝鑾鼻燈塔-交通部航港局
*  鵝鑾鼻燈塔-交通部觀光局
* 臺博館藏屏東獅子鄉排灣族19世紀末相關古文書研究 國立臺灣博物館學刊 68(3):11-48, 2015
馬克·安東尼（演說家）Marcus Antonius Orator（前143年~前87年）古羅馬演說家、政治家。羅馬著名平民氏族安東尼氏族的代表人物。他是愷撒遇刺后主宰羅馬的后三頭之一的馬克·安東尼的祖父。
馬克·安東尼·奧雷托爾是他那個時代最杰出的演講者之一。前102年，他被選為擁有資深執政官（相當于行省總督）權力的裁判官，受命建立和管理奇里乞亞行省，并組織對奇里乞亞地區猖獗的海盜的圍剿。由于對海盜追捕的成功，羅馬元老院允許為他舉行一次凱旋儀式。前99年，馬克·安東尼·奧雷托爾第一次當選為執政官，與奧盧斯·波斯圖米烏斯·阿爾比努斯共職。前97年當選為監察官。在馬略和蘇拉的內戰時期，馬克·安東尼·奧雷托爾支持后者。在馬略及其同盟者秦納于前87年占領羅馬城之后，馬克·安東尼·奧雷托爾在馬略派的報復行動中被處決了。
馬克·安東尼·奧雷托爾留有一本關于演說術的書。
* Appian, ''Bell. Civ.'' i. 72
* Dio Cassius xlv. 47
* Plutarch, ''Marius'', 44
* Cicero, ''Orator'', 5, ''Brutus'', 37
* Quintilian, ''Instit.'' iii. 1, 19
* O. Enderlein, ''De M. Antonio oratore'' (Leipzig, 1882)
向秀（227-272），字子期，中國河內懷縣（今河南武陟）人，魏晉「竹林七賢」之一。
向秀好讀書，尤喜老莊之學，山濤曾經偶然間聽到向秀談論《莊子》，驚為天人，兩人遂結為忘年交，山濤更將向秀介紹給嵇康與阮籍。
與嵇康、呂安等人友善，在山陽隱居。嵇康鍛鐵，向秀便幫他佐鼓排；呂安種菜，向秀助其灌園，游離於仕途之外。
關於向秀在嵇康死前的職業有兩種說法。其一是據《晉書·向秀傳》中所記載之「上計吏」推測向秀當時是擔任地方小吏。另一說法是根據《太平御覽》引《向秀別傳》：“秀字子期，少為同郡山濤所知。又與譙國嵇康、東平呂安友善。其趨舍進止，無不必同。造事營生，業亦不異。”認為向秀當時並未擔任官職。
景元四年（264年），嵇康、呂安被司馬昭害死後，向秀選擇妥協應本郡的郡上計到洛陽任散騎侍郎、黃門散騎常侍、散騎常侍。受文王司馬昭召見，嘲諷：「聞君有箕山之志隱居的志向，何以在此？」，子期回答：「巢父、許由狷介之士潔身自好、孤傲不群，不足多慕。」文王大為讚賞。
向秀在朝只做官不做事，消極無為。泰始八年（272年），向秀去世。
主張本體論玄學，萬物自生、自化的崇有論哲學觀，驗證萬物「不生不化」同於「生化為本」之過程，探討「無待逍遙」及「與變升降」的立身處世哲理。《世說新語·言語》注引《向秀別傳》記載：「（秀）弱冠著《儒道論》，棄而不錄，好事者或存之。」向秀將自然與名教合而為一，化解儒、道兩家的分歧。
曾為《莊子》作注，初稿完成後嵇康、呂安兩人大為讚賞，《世說新語·向郭二莊》中認為魏晉時期以向秀所注之莊子最上，贊其為「妙析奇致，大暢玄風。」，向秀“逍遙”新義，使一代士人獲得了空前的解放感，從而振起玄風，但秋水、至樂領篇未注完向秀便辭世，郭象將其所注竊為己注而發表。
著《周易注》，傳稱「大義可觀」，現已亡軼。
一、《思舊賦》以懷念亡友嵇康與呂安，分為「序言」與「正文」兩部分，序文回憶亡友彈琴之模樣以及其臨死之時所彈《廣陵散》，歌頌亡友之風度；正文虛實相間，描寫自身所處之艱難處境，借景抒情，後人評論道「向秀作思舊賦，家國萬端，生機變亂，不可勝說。然而鬱結者，欲說還休，休又難止。」
思舊賦：「余與嵇康、呂安居止接近，其人並有不羈之才。然嵇志遠而疏，呂心曠而放，其後各以事見法。嵇博綜技藝，於絲竹特妙。臨當就命，顧視日影，索琴而彈之。余逝將西邁，經其舊廬。於時日薄虞淵，寒冰悽然。鄰人有吹笛者，發音寥亮。追思曩昔游宴之好，感音而嘆，故作賦云：
將命適於遠京兮，遂鏇反而北徂。濟黃河以泛舟兮，經山陽之舊居。
瞻曠野之蕭條兮，息余駕乎城隅。踐二子之遺蹟兮，歷窮巷之空廬。
嘆黍離之愍周兮，悲麥秀於殷墟。惟古昔以懷今兮，心徘徊以躊躇。
棟宇存而弗毀兮，形神逝其焉如。昔李斯之受罪兮，嘆黃犬而長吟。
悼嵇生之永辭兮，顧日影而彈琴。託運遇於領會兮，寄余命於寸陰。
聽鳴笛之慷慨兮，妙聲絕而復尋。停駕言其將邁兮，遂援翰而寫心。」
二、《難嵇叔夜養生論》
反對嵇康《養生論》中「清虛靜泰，少思寡慾」之生活主張，闡述口思五味、目思五色乃自然之理，但必須以禮節之，強調「自然與名教合而為一」之思想，化解儒、道兩家之分歧。
南朝 宋顏延之詩：「向秀甘淡薄，深心托毫素。探道好淵玄，觀書鄙章句。交呂既鴻軒，攀嵇亦鳳舉。流連河裡游，惻愴山陽賦。」
戴逵評向秀注《莊子》：「秀為此義，讀之 者無不超然，若已出塵埃而窺絕冥，始了視聽之表，有神德玄 哲，能遺天下，外萬物。雖復使動競之人顧觀所徇，皆悵然自有振拔之情矣。」
東晉謝靈運《辨宗論》評説：「昔向子期以儒道為一。」
*房玄齡、許敬宗、褚遂良等《晉書·向秀傳》
*劉義慶．《世說新語·向郭二莊》
*戴明揚．《嵇康集校注·附向秀難養生論》：中華書局，2014
*《向秀別傳》:「秀字子期，河內人。少為同郡山濤所知。又與譙國嵇康、東平呂安、友善。並有拔俗之韻，其進止無不同，而造事營生業亦不異。常與嵇康偶鍛于洛邑。與呂安灌園于山陽，不慮家之有無，外物不足怫其心……後康被誅。秀遂失圖。乃應歲舉。到京師。詣大將軍司馬文王。文王問曰：『聞君有箕山之志。何能自屈』。秀曰：『常謂彼人不達堯意。本非所慕也。』一坐皆悅。隨次轉至黃門侍郎。散騎常侍。」
*《世說新語》言語第十八則 ：嵇中散嵇康既被誅，向子期向秀舉郡計郡中計吏入洛，文王司馬昭引進，問曰：「聞君有箕山之志隱居的志向，何以在此？」 對曰：「巢父、許由狷介之士潔身自好、孤傲不群，不足多慕。」王大咨嗟贊賞。