ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
1912年3月19日，胡敦復和他的立達學社同仁募捐私款在上海南市肇周路南陽里租屋，創辦了大同學院。“大同”，系取義《禮記·禮運篇》中“天下為公，是為大同”之意，以“在明明德，在新民，在止于至善”為校銘，以“研究學術，明體達用”為宗旨，西文譯作Utopia School（意為改良的新式學校）。當年招收學生91人，由立達學社社長胡敦復親任院長。1914年1月，學校遷址南車站路。
大同大學早期辦學無比艱辛，因為其辦校經費不向社會募捐，不接受私人或團體贈款，僅靠立達學社社員自籌，所以幾乎難以為繼。后來學社同仁改變了“但憂毅力不充，不患度支之不足”做法，開始接受社會資助，學校各方面才得以有較大發展。也正是辦學經費的緊張，造就了大同教員刻苦耐勞、精神貫注和學生樸素好學、奮發向上的優良傳統。
1922年9月，大同學院被政府立案，改稱大同大學，為私立性質，在校生約600人。在20世紀20年代，大同大學發展成為中國最好的私立大學之一。學校占地90畝，有15幢教學樓。1920年代的教育部報告稱：“綜合言之，此次視察六校（復旦、滬江、大同、大夏、光華、暨南），……據視察結果，辦學精神，極為貫注者，為大同、滬江二校。理學院辦理較有成績者，亦為滬江、大同二校。……”
1930年，大同大學南車站路校址擴至110余畝，先后落成大禮堂、圖書館、體育館、科學實驗室、學生宿舍等17座建筑，擁有運動場、綠地等，建筑頗具規模，圖書儀器充實完備，學生人數近千人，教育事業大有發展。
在大學迅速發展的基礎上，大同大學于1928年開始創辦附中。1932年2月6日，上海市教育局準予中學部立案，改稱附屬中學，除教室、宿舍分開外，行政和經費仍與大學統一辦理，大學預科停辦。至1939年又分附中一院和二院，其分別是以后上海市大同中學和五四中學的前身。《三十年之上海教育》1935年對大同大學（包括附中）的評價為：「該校辦理，處處經濟，絕不浪費。教員刻苦耐勞，精神貫注，學生樸素好學，教師輔導學生自動研究，尤為可貴」。
1937年“八.一三”淞滬抗戰中，因連天炮火和飛機轟炸，大同學府被毀于一旦。1937年10月，華界淪陷，大同被迫從南市遷至租界，借中國無線電工程學校及位育小學繼續上課。大同師生沒有經濟實力轉移到后方，胡敦復只好率領部分師生留守孤島上海，再次依靠立達學社社友員、團結廣大師生員工，在學校董事會的支持下，開始了第二次艱苦的創業歷程，使“大同”獲得了新生。
1938年9月，租用辣斐德路（今復興中路）律師公會大廈為臨時校舍。中學部979人，大學部850人。后大學部改借公共租界光夏中學校舍。1939年9月，新閘路新校舍建成，并附設附中二院（高中部），律師公會校址稱附中一院（初中部）。1946年11月，原上海南市大同校舍修復部分竣工，附中一院遷回南車站路，即今上海市大同中學；大學部及附中二院（即今上海市五四中學）仍在新閘路。
大同大學在抗戰爆發后毅然創辦工學院，從1941年至1952年，工學院共畢業學生2228人。至1940年代，大同大學已發展有商學院、文學院、理學院和工學院四個學院，下設14個系，學科涵蓋史、地、文、哲、經濟、會計、化學、化工、土木、電機、機械等領域，為社會培養了一大批棟梁之材。
至1948年，大同大學部學生人數已達2700人，中學部學生達2500人，在當時上海公立和私立學校中占第一位，是1912年初辦時學生人數的50倍。
在其四十年的大學歷史中，大同一直是上海乃至全國私立大學中的翹楚，享有“北南開，南大同”的美譽。大同大學（含附中）先后培養出39名兩院院士，其中中國科學院院士24人，中國工程院院士16人，其中1人為雙院士。
文學院（文學系、史地政治系、哲學教育系）
理學院（數學系、物理系、化學系）
商學院（經濟系、銀行系、工商管理系、會計系）
工學院（機械工程系、電機工程系、土木工程系、化學工程系）
附屬中學一院（初中部）、附屬中學二院（高中部）
1952年10月，全國高等院校院系調整，大同大學撤校停辦。商學院并入上海財經學院，文學院并入華東師范大學，理學院并入復旦大學，工學院相關科系分別并入同濟大學、交通大學和華東化工學院，附中一院和二院獨立為大同中學、五四中學。
*徐慕云（1900-1974）原名徐長虞、徐州市人。著名戲劇理論家、戲曲教育家。畢業于上海大同大學。
*顧靜徽（1900-1983）物理學家，物理教育家，中國第一位物理學女博士。
*林迪生（1903-1997）原名林攸綿，浙江三門縣人。教育家。1921年考入上海大同大學專修英文。
*周煦良（1905-1984）安徽至德（今東至）人。著名英國文學翻譯家、教授、詩人、作家。1920年入上海大同學院。
*何挺穎（1905-1929）生于陜西省南鄭縣。中國工農紅軍高級指揮員。1925年考入上海大同大學數學系。
*林淡秋（1906-1981）生于浙江省寧海縣，原名林澤榮。現代著名作家、翻譯家。1922年考入上海大同大學。
*錢臨照（1906-1999）江蘇無錫人。物理學家，中國科學院院士，1955年選聘為中國科學院院士（學部委員）。1925-1929年就讀于上海大同大學物理系。
*許思園（1907-1974）無錫西門外人，原名壽康，號思玄。著名學者。16歲考入上海大同大學。
*顧功敘（1908-1992）浙江嘉善人。地球物理學家，中國地球物理學會和中國地震學會的發起人之一，1955年選聘為中國科學院院士（學部委員）。1929年畢業于上海大同大學。
*楊承宗（1911-2011）生于江蘇省吳江縣。中國放射化學家。1932年畢業于上海大同大學獲理學士學位。
*葛一虹（1913-2005）生于上海嘉定，原名葛曾濟，字作舟，號巨川。著名戲劇理論家、翻譯家、戲劇史家、出版家，新中國戲劇事業的開拓者和奠基人之一。1932年考入上海大同大學專攻物理化學。
*侯毓汾 (1913-1999) 女，江蘇省無錫市人。著名的染料化學家，我國染料化學專業的創始人。1935年上海大同大學化學系畢業。
*于光遠（1915-2013）生于上海。經濟學家，1955年被推選為中國科學院哲學社會科學學部的學部委員。1932-1934年在上海大同大學學習。
*殷之文（1919-2006）江蘇吳縣人。材料科學家，中國科學院院士。1938-1939年在上海大同大學土木系學習。
*徐光憲（1920-2015）生于浙江紹興。無機化學家和物理化學家，中國科學院院士。1939年考入上海大同大學化學系。
*朱維衡（1919-）浙江杭州人。電機工程專家。1942年畢業于上海大同大學電機系。
*陳敬熊（1921-）浙江鎮海（今寧波）人。電磁場與微波技術專家，中國工程院院士。1947年畢業于上海大同大學。
*錢正英（1923-）女，生于上海。水利水電專家，中國工程院院士。1939-1942年在上海大同大學土木工程系學習。
*周毓麟（1923-2021）生于上海。計算數學家、力學家，中國科學院院士。1945年畢業于上海大同大學數學系。
*沈天慧（1923-2011）女，浙江嘉善人。半導體材料學專家，1980年當選為中國科學院院士（學部委員）。1949年畢業于上海大同大學化工系。
*沈復（1924-2015）男，江蘇常熟人。化學工程專家，1946年參與組建清華大學化學工程系，1953年參與北京石油學院創建工作，1984年成為石油大學首批博士生導師。1945年畢業于上海大同大學化工系。
*查全性（1925-2019）生于江蘇南京。著名電化學家，中國科學院院士。1942年大同附中畢業并入大同大學深造。
*江樺（1928-）生於上海。香港著名女高音及音樂教育家。
*丁石孫（1927-2019）江蘇鎮江人。數學家。1944-1947年在上海大同大學學習。
*徐志磊（1930-）出生于上海。核武器工程設計專家，中國工程院院士。1948-1951年上海大同大學肄業。
*倪嘉纘（1932-）浙江嘉興人。化學家，1980年當選為中國科學院院士。1952年畢業于上海大同大學化學系。
此外，大同大學附中也培養了眾多杰出人才，翻譯巨匠傅雷、漫畫家華君武、錢其琛、曾培炎以及隧道與地下工程專家劉建航院士、工程熱物理學家和熱工教學家王補宣院士、天文儀器與方法專家朱能鴻院士等都曾就讀于此。
日式綁縛是起源于日本的一種綁縛性行為，是性虐戀的一種表現形式，通常需要將受施者用繩索捆綁起來，用以滿足實施者的征服欲或受施者的被限制欲。
不同於西式捆綁單純將人固定住，日式綁縛的受施者往往需要承受來自繩索捆綁所帶來的壓迫感，包括對乳房及陰部的擠壓或刺激。在日式綁縛中，受施者的姿勢亦是非常重要，樣式非常繁多，比如站立縛、坐縛、盤腿縛、開腿縛、后手背縛、上手縛、吊縛等等。
雖然日式綁縛起源于捕繩術，但經過演化它已經變得非常專業且安全了，受施者不會在綁縛的過程中受傷。日式綁縛受日本戰國時代的影響甚深：在那個動亂的年代，酷刑種類繁多且殘酷，綁縛術亦是一種重要的行刑手段。
日式綁縛對道具特別是繩索的要求很高，與一般的繩子有很大區別，這種特制的繩索不會對被綁縛者的身體造成傷害。一般來說，每條繩子的長度在7米左右，原料一般為大麻或黃麻，并經過嚴格的制作以達到適當的柔軟程度。
經過長期發展，日式綁縛逐漸演變成一門專門的文化。如今在日本有許多專門的公司制作大量關于綁縛的影視作品，并有眾多演員參與其中。
片手首縛り(かたて　くび　しばり)
Single wrist binding
両手首縛り(りょうて　くび　しばり)
Both wrists binding
手錠縛り(てじょうしばり)
Handcuff binding
連行手錠縛り (れんこうてじょうしばり)
Prisoner handcuff binding
後ろ手縛り (うしろてしばり)
Hands behind the back binding
後高手小手縛
後ろ高手小手縛り(いしろたかてこてしばり)
High hands behind the back binding
後頭後ろ手縛り (こうとううしろててしばり)
Hands behind the head tie
襷縛り (たすきしばり)
Tasuki (kimono string) tied
また縄縛り (またなわしばり)
Crotch rope tie
亀甲縛り(菱縄縛り)(きっこうしばり(ひしなわしばり)
Turtle (diamond pattern) binding
直立不動一本縛
直立不動一本縛り (ちょくり　つふどう　いっぽん　しばり)
Upright standing binding
胡座縛り (あぐら　しばり)
Cross-legged binding
海老縛り (えび　しばり)
Shrimp tie
逆さ海老縛り (さかさ　えび　しばり)
Reverse shrimp binding
立ち吊り縛り (たち　つり　しばり)
Standing partial suspension
片足上げ吊り縛り (かたあし　あげ　つり　しばり)
One foot lifted partial suspension
M字開腳吊縛
Ｍ字開腳吊り縛り (Mじかいきゃくつりしばり)
Hanging letter M, open leg binding
逆海老吊り縛り (ぎゃくえびつりしばり)
Reverse hanging shrimp binding
立ち吊り縛り
後手 合掌 縛り
Reverse prayer hands
前手 肘 縛り
Arms bound in front
雙腿直立一本縛
両足 合體 一文字 縛り
Legs bound together
Rifle tie
前方 高手 縛り
High Hands on Front Tie
* Master "K". ''The Beauty of Kinbaku (Or everything you always wanted to know about Japanese erotic bondage when you suddenly realized you didn't speak Japanese.)''. King Cat Ink, 2008. ISBN 978-0-615-24876-9.
* Harrington, Lee "Bridgett".  ''Shibari You Can Use: Japanese Rope Bondage and Erotic Macramé''. Mystic Productions, 2007.  ISBN 061514490X.
* Master "K". ''Shibari: The Art of Japanese Bondage''. Secret Publications, 2004. ISBN 90-807706-2-0.
* Midori and Craig Morey (photographer). ''The Seductive Art of Japanese Bondage''. Greenery Press, 2001. ISBN 1-890159-38-7.
九廣鐵路局是九廣鐵路公司的前身，為香港政府的其中一個部門，於1910年10月1日至1983年2月1日間運作，負責管理在香港境內的九廣鐵路－英段（現港鐵東鐵綫）。1979年九廣鐵路英段鋪設雙軌工程時，分別由侯韋志、黃汝霖擔任正副局長。
1910年，九廣鐵路－英段啟用，由九廣鐵路局管理，為香港交通史豎立了重要的里程碑。九鐵自此成為往來香港市區、新界及中國內地之間的主要交通工具，在香港的經濟和社會上起了相當大的作用。
1981年9月16日，香港政府原則上決定於1983年之前，把九廣鐵路局由政府部門改為公共法團（即所謂公司化）。該項計劃是先成立臨時管理局進行管理，然後把整個部門轉到一個新公司之下，而管理局則相似於一般公司的董事局，對公司的任何政策都有最終的決定權。由於九廣鐵路局的規模相當龐大，事件引起員工關注，要求在過程中保障自身的利益。此決定被認為與同樣由政府擁有的地下鐵路系統以獨立公司營運有關。
1982年12月24日，《九廣鐵路公司條例》通過，規定成立一所不在香港政府架構內的新公司（即九廣鐵路公司），按商業原則經營。但由於香港政府是新公司的唯一股東，管理局的成員都由政府委任，通常包括公司高級行政人員、運輸及財務官員，及少量公眾人士。
1983年，九廣鐵路公司正式成立。同年2月1日，九廣鐵路正式改由九鐵公司管理。大部分原有員工都順利轉投到新公司繼續工作，部分員工轉職後還繼續保留公務員身份。
鄭畋，字臺文，滎陽（今屬河南）人，唐末宰相。以鎮壓黃巢民變而知名。
曾祖鄭鄰、祖父鄭穆皆進士及第。外祖父李翱。其父鄭亞更連中進士、賢良方正、書判拔萃三科，官桂管觀察使。寶歷元年（825年）鄭畋生於桂州，小字桂兒。會昌二年（842年）中進士，仕藩鎮幕府。咸通五年（864年）進入朝廷，累次升官至中書舍人。十年，遷戶部侍郎。十一年，充翰林學士。后來因在起草貶劉瞻的詔書時名貶實褒，被宰相路巖貶為梧州刺史。
唐僖宗即位后，鄭畋先官內徙郴、絳二州，后被封為右散騎常侍。乾符四年（877年），兼兵部尚書、集賢殿大學士。乾符五年（878年），因反對招安黃巢被罷官。廣明元年（880年），鄭畋出任鳳翔節度使。同年冬，黃巢攻入長安，僖宗出逃蜀地。鄭畋組織軍隊抗擊黃巢軍。中和元年（881年），鄭畋敗黃巢部將尚讓等于龍尾陂（今陜西岐山東），又與西北諸鎮約盟，號召藩鎮合兵攻打長安。不久，其部將李昌言兵變，趕走了鄭畋。于是鄭畋被罷黜為太子少傅。二年，朝廷召鄭畋至成都，復官以司空、門下侍郎、同中書門下平章事，主管軍務。三年，黃巢軍從長安撤退，僖宗回到長安。時權宦田令孜及其兄劍南西川節度使陳敬瑄與鄭畋不和，排擠鄭畋，乃投其子于彭州（今四川彭州）。不久病逝。
有子鄭凝績字裕圣，戶部侍郎；孫鄭紹余，字垂芳。女兒嫁給相如令李德休。
玄宗回馬楊妃死，雲雨雖亡日月新。
終是聖明天子事，景陽宮井又何人。
*《舊唐書》卷一七八《鄭畋傳》
my pp hard太平市可以指：
* 太平區 (臺灣)，原為臺中縣的太平市，臺中市下轄的一個區。
* 太平市 (越南)，越南太平省的省會。
*太平市 (馬來西亞)，馬來西亞霹靂州的城市。
在數理邏輯中，自然演繹是證明論中嘗試提供象“自然”發生一樣的邏輯推理形式模型的一種方式。這種方式對比於使用公理的公理系統。
自然演繹來源自對共通于弗雷格、羅素和希爾伯特系統的判句公理化(希爾伯特演繹系統)的不滿。這種公理化最著名使用是在羅素和懷特海的《數學原理》的數學論述中。在1926年由揚·武卡謝維奇在波蘭發起的一系列研討會提倡一種對邏輯的更加自然處理，斯坦尼斯瓦夫·亞希科夫斯基做了定義更自然的演繹的最早嘗試，首先在1929年使用了一種圖表表示法，并在1934年和1935年的一序列論文中更改了他的提議。但是他的提議沒有流行起來。現代形式的自然演繹是由德國數學家格哈德·根岑于1935年在一篇提交給哥廷根大學數學系的學位論文中獨立提出的。術語自然演繹就是在那篇論文中出現的:
::首先我希望構造盡可能緊密于實際推理的一種形式化主義。所以提議了“自然演繹演算”。
— Gentzen, 《Untersuchungen über das logische Schlie?en》(Mathematische Zeitschrift 39, pp.176-210, 1935)
根岑被建立數論的一致性證明的目標所推動，因而找到了他的自然演繹演算的直接使用。但他不滿意自己證明的復雜性，并在1938年使用他的相繼式演算給出了一個新的一致性證明。在1961年和1962年的一系列研討會中，Dag Prawitz 給出了自然演繹演算的全面總結，并把根岑對相繼式演算做的很多工作轉運到了自然演繹框架中。他在1965年的專著《Natural deduction: a proof-theoretical study》成為關于自然演繹的權威著作，并包括了模態和二階邏輯的應用。
在本文中提供的系統是根岑或 Prawitz 的公式化的一個小變體，但忠實于 Per Martin-L?f 對邏輯判斷和連結詞的描述(Martin-Lof, 1996)。
判斷是可知的事物，就是說知識的對象。如果有人實際上知道它則它是顯然(有證據的)的。所以"正在下雨"是一個判斷，對于知道實際上正在下雨的人而言它是顯然的；在這種情況下，你可以通過看窗外或走出屋子來輕易的找到這個判斷的證據。但是在數理邏輯中，證據通常不是直接可觀測到的，而是從更加基本的顯然判斷演繹來的。演繹的過程構成了一個證明；換句話說，一個判斷是顯然的，如果你有對它的證明。
在邏輯中最重要的判斷是“A 為真”這種形式的。字母 ''A'' 表示代表一個命題的任何表達式；這個真理判斷要求更基本的判斷:“A 是命題”。很多其他判斷也已經被研究了；比如“A 為假”(參見經典邏輯)，“A 在時間 t 為真”(參見時間邏輯)，“A 必然為真”或“A 可能為真”(參見模態邏輯)，“程序 M 有類型 τ”(參見編程語言和類型論)，“A 從可用的資源是可完成的”(參見線性邏輯)，等等。作為開始，我們先只關注最簡單的兩個判斷 “A 是命題”和“A 為真”，分別縮寫為“''A'' prop”和“''A'' true”。
判斷“''A'' prop”定義了 ''A'' 的有效證明的結構，它們進而定義了命題的結構。出于這個原因，判斷的推理規則有時叫做形成規則。作為展示，如果我們有兩個命題 ''A'' 和 ''B'' (就是說，判斷“''A'' prop” 和“''B'' prop”是顯然的)，則我們形成了復合命題 ''A 與 B''，符號化寫為 ""。我們可以用推理規則的形式把它寫為:
這個推理規則是“模式性”的: ''A'' 和 ''B'' 可以示例任何表達式。推理規則的一般形式為:
這里的每個  都是一個判斷，而推理規則被命名為“name”。橫線上的判斷叫做前提，而橫線下的判斷叫做結論。其他常見的邏輯命題是析取，否定，蘊涵，和邏輯永真 和永假。它們的形成規則如下。
現在我們討論“''A'' 為真(是真理)”判斷。在本文余下部分中，我們將在已被理解的地方省略“prop”判斷。在結論中介入邏輯連結詞的推理規則叫做介入規則。要介入合取，就是說從命題 ''A'' 和 ''B'' 推導出“''A and B'' 為真” ，你需要“''A'' 為真和 ''B'' 為真”的證據。作為一個推理規則:
上述規則實際上是省略命題判斷的簡寫。
在空無(nullary)的情況下，你可以從沒有前提中推導出真理。
注意在空無的情況下，對于虛假是沒有介入規則的。所以你永遠不能從更簡單的判斷推導出虛假。
如果一個命題的真實性可以通過多于一種方式來確立，則相應的連結詞有多個介入規則。
對偶于介入規則的是描述如何把關于復合命題的信息解構為關于它的成員的信息的除去規則。因此，從“''A ∧ B'' 為真”，我們可以推導出 “''A'' 為真”和 “''B'' 為真”:
我們已經見到的推理不足以陳述蘊涵介入或析取除去的規則；為此我們需要假言推導的更一般的概念。
作為推理規則的使用例子，考慮合取的交換律。如果 ''A ∧ B'' 為真，則 ''B ∧ A'' 為真；這可以通過以底下推理的前提匹配上面推理的結論的方式構成推理規則來完成這種推導。
在數理邏輯中普遍性的操作是“依據假定的推理”。例如，考慮下列推導:
這個推導不確立 ''B'' 為真；而確立了下列事實:
:如果“A ∧ (B ∧ C) true”則“B true”。
在邏輯中，我們讀做“假定 A ∧ (B ∧ C) 為真，我們證實 B 為真”；換句話說，判斷“B true”依賴于假定的判斷“A ∧ (B ∧ C) true”。這叫做假言推導，它可寫為如下:
釋義為: “B true”推導自“A ∧ (B ∧ C) true”。當然，在這個特定的例子中我們實際上知道“B true”來自“A ∧ (B ∧ C) true”的推導，但是一般而言，我們不可以先驗的知道這個推導。假言推導的一般形式為:
每個假言推導都有寫在頂行的一組前件推導(''Di'')，和寫在底行的一個后件判斷(''J'')。每個前提自身都可以是一個假言推導。(出于簡單性，我們把這種判斷處理為無前提推導。)
假言判斷的概念被主觀化為蘊涵的連結詞。蘊涵介入規則和蘊涵除去規則如下。
在介入規則中，命名為 ''u'' 的前件被“注入”到結論中。這是界定假設的范圍的機制: 它存在的唯一理由是確立 “B true”；它不能被用做任何其他目的，特別是，它不能被用在這個介入之下。作為一個例子，考慮“A  (B  (A ∧ B)) true”的推導:
這是個沒有不滿足前提的完整推導；但是，子推導是假設的。例如“B  (A ∧ B) true”的推導假設了前件“A true”(命名為 ''u'')。
通過假言推導，我們現在寫出析取除去規則:
用口語說，如果“A ∨ B true”，并且我們可以從“A true”和“B true”二者推出“C true”，則確實“C true” 。注意這個規則不依靠于“A true”或“B true”中的任何一個。
在空無的情況下，我們得到下列有關虛假的除去規則:
這讀做: 如果虛假為真，則任何命題 ''C'' 為真。
否定介入規則和否定除去規則類似于蘊涵。
介入規則注入了假設 ''u'' 的名字。因為這些規則是模式性的，介入規則的釋義為: 如果我們可以從“A true”推導出“P true”和“&not;P true”，就是 ；則 ''A'' 必定為假，也就是“&not;A true”。對于除去規則，如果 ''A'' 和 ''&not;A'' 二者都被證明為真，則這是個矛盾 ，在這種情況下所有命題 ''C'' 為真。因為蘊涵和否定的規則如此的類似，很容易看出 ''&not;A'' 和 ''A  ⊥'' 是等價的，就是可以相互推導的。
一個理論被稱為是一致(相容)的，如果虛假(從沒有前提)是不能證明的，被稱為是完備的，如果所有定理都可以使用這個邏輯的推理規則來證明。這是關于整體的邏輯的陳述，并通常和某種模型的概念聯系在一起。但是，還有對推理規則的純粹語法檢查的一致性和完備性的局部的概念，而不需要訴諸模型。首先是局部一致性，也叫做還原性，它聲稱包含了一個連結詞的介入、并立即跟隨著它的除去的任何推導都可以被轉換成不包含這種迂回的等價推導。這是對除去規則力量的檢查: 它們不能強大得包含了在前提中沒有包含的知識。作為一個例子，考慮合取。
&rArr;
作為對偶，局部完備性聲稱除去規則足夠強大來把一個連結分解成適合它的介入規則的形式。再次考慮合取:
使用Curry-Howard同構，除去規則和介入規則分別精確的對應于lambda 演算中的 β-歸約和 η-展開。通過局部完備性，我們看到所有推導都可以被轉換成介入主要連結詞的等價推導，實際上，如果整個推導都服從除去跟隨著介入的這種次序，則可以被稱為是規范的。在規范推導中，所有除去都出現在介入上面。在大多數邏輯中，所有推導都有等價的規范推導，叫做規范形式。規范形式的存在使用自然演繹自身一般是難于證明的，這種理由確實存在于文獻中，其中最著名的是 Dag Prawitz 1961年的書《Natural deduction: a proof-theoretical study》，A&W Stockholm 1965,沒有ISBN。通過免切相繼式演算表達的方式做間接的證明是非常容易的。
一階系統總結
前面章節中的邏輯是“單類”邏輯的例子，單類邏輯只帶有單一一類對象: 命題。已經提出了對這個簡單框架的很多擴展；在本章中我們將向它擴展上第二類對象：個體或項。更精確地說，我們將增加新的一類判斷 “''t'' 是項”(或“''t term''”)，這是的 ''t'' 是模式性的。我將固定一個變量的可數集合 ''V''，函數符號的可數集合 ''F''，并如下這樣構造項:
對于命題，我們考慮第三個謂詞的可數集合。并用如下規則定義“在項之上的原子謂詞”:
此外，我們增加一對“量化的”命題: 全稱和存在:
這些量化的命題有如下的介入和除去規則。
在這些規則中，符號 ''t''/''x'' ''A'' 表示代換 ''A'' 中 ''x'' 的所有(可見)實例為 ''t''，避免它被其他量詞捕獲；關于這種標準操作的詳細描述請參見 lambda 演算。同前面一樣，名字上的上標表示被注入的成分: 在 的結論中不能出現項 ''a''(這種項叫做本征變量或參數)，在 中指名為 ''u'' 的假設被局部化到假言推導的第二個前提中。盡管早先章節中的命題邏輯是可判定的，增加量詞使邏輯成為不可判定的。
迄今為止量化擴展是“一階的”: 它們用把命題區別于在其上量化的對象的種類。高階邏輯采用了一種不同的方式，它只有一個種類的命題，量詞的量化范圍是同種類的命題，反映于形成規則:
關于高階邏輯的介入和除去規則的討論超出了本文的范圍。有介于一階和高階邏輯之間的邏輯。例如，二階邏輯有兩類命題，第一類量化于項，第二類量化于第一類命題之上。
迄今為止對自然演繹的表述集中于命題的本質而沒有給出證明的形式定義。要形式化證明的概念，我們要稍微更改假言推導的表述。我們向前件標簽上證明變量(來自某個變量的可數集合 ''V'')，并用實際證明裝飾后件。通過十字轉門(turnstile)的方式把前件或假設同后件分隔開。這種修改有時叫做局部化假設。下列圖示總結變更。
假設的搜集將被寫為 Γ，當它們的精確內容是無關的時候。要使證明直接了當，我們把無關證明的判斷“''A true''”換成判斷“π 是證明(A true)”，它在符號上被寫為“π : ''A true''”。服從標準方式，證明用它們自己的對“π ''proof''”的形成規則來指定。最簡單的可能的證明是使用帶標簽的假設；在這種情況下證據是標簽自身。
為了簡短，我們在本文余下部分去掉判斷標簽 “true”，就寫為“Γ  π : ''A''”。讓我們通過明確的證明來重新檢驗某些連結詞。對于合取，我們查看介入規則 ∧I 來發現合取的證明形式: 它們必須是兩個合取項的一對證明。就是:
除去規則 ∧E1 和 ∧E2 選擇要么左面的要么右面的合取項；所以證明是一對投影 — 第一個(fst) 和第二個(snd)。
對于蘊涵，介入形式的局部化或約束，書寫要使用 λ；這對應于注入標簽。在規則“Γ, ''u'':''A''”中表示一組假設 Γ，同增補的一個假設 ''u'' 在一起。
通過明確可用的證明，你可以操縱和思辯證明。證明的關鍵操作是用一個證明去替換在另一個證明中使用的假定。這通常叫做“代換定理”，并可以通過關于第二個判斷的深度(或結構)的歸納法證明。
; 代換定理: 如果  并且 , 則  。
迄今為止判斷“Γ  π : ''A''”有一個純邏輯釋義。在類型論中，邏輯觀點被調換為更加可計算的對象的觀點。在邏輯釋義中的命題現在被看作類型，而證明被看作使用lambda 演算寫的程序。所以“π : ''A''”的釋義是“程序 π 有類型 ''A''”。邏輯連結詞也有不同的讀法: 合取被看作乘積(×)，蘊涵被讀做函數箭頭(→) 等等。區別只是裝飾。類型論有使用形成、介入和除去規則的自然演繹表示；事實上，讀者可以用前面的章節重新構造一個“簡單的類型論”。
在邏輯和類型論之間的區別主要是把焦點從類型(命題)轉移到了程序(證明)。類型論主要感興趣于程序的可轉換性和可歸約性。對于所有類型，都有這個類型的一個不可歸約的規范程序；它們叫做“規范形式”或“值”。如果每個程序都可以歸約到規范形式，則這個類型論被成為是“規范化”的(或“弱規范化”的)。如果規范形式是唯一性的，則這個理論被稱為“強規范化”的。可規范化性是多數非平凡的類型論所稀有的特征，這是對邏輯世界的巨大違背。(回想起所有邏輯推導都有一個等價的正規推導)。概述其理由: 在接受遞歸定義的類型論中，有可能寫出用不歸約到一個值的程序；比如循環程序一般可以給予任何類型。特別是，有類型 ⊥ 的循環程序，盡管沒有“⊥ ''true''”的邏輯證明。為此，“命題為類型；證明為程序”范例只在一個方向上成立: 把一個類型論解釋為邏輯一般會給出一個不一致的邏輯。
象邏輯一樣，類型論也有很多擴展和變體，包括一階和高階版本。叫做依賴類型論的一個有趣的類型論分支允許量詞設定范圍于在程序自身上。這些量化的類型被寫為 Π 和 Σ 替代  和 ，并有如下形成規則:
這些類型分別一般化了箭頭和乘積類型，通過它們的介入和除去規則。
完全一般性的依賴類型論是非常強力的: 它可以把幾乎所有程序的可想象的性質直接表達為程序的類型。這種一般性來自于高代價 — 檢查一個給定程序是否有給定類型是不可判定的。為此，依賴類型理論在實踐中不允許在任意程序上的量化，而是限制于給定的可判定的“索引域”的程序，例如整數，字符串或線性程序。
因為依賴類型論允許類型依賴于程序，有一個自然的問題要問，程序依賴于類型或者任何其他組合是否是可能的。對這個問題有很多種回答。類型論中一個流行的方式是允許程序量化在類型上，也叫做“參數多態”；這還有兩個主要的種類: 如果類型和程序保持分離，則得到更好行為的系統，叫做“直謂多態”；如果在程序和類型之間的區別被模糊了，將得到高階邏輯的類型論對應，叫做“非直謂多態”。文獻中已經考慮了依賴性和多態性的各種組合，最著名的是 Henk Barendregt 的lambda立方。
邏輯和類型論的交集是廣闊和活躍的研究領域。新邏輯通常以類型論架構來形式化，這叫做邏輯框架。流行的現代邏輯框架比如構造演算和 LF 是基于高階依賴類型論，帶有在可決定性和表達能力上的各種妥協。這些邏輯框架自身總是規定為自然演繹系統，這是對自然演繹方式的多功能性的明證。
為了簡單性，迄今為止提出的邏輯都是直覺的。經典邏輯向直覺邏輯擴展了補充的排中律公理或原理。
:對于任何命題 p，命題 p ∨ &not;p 為真。
這個陳述沒有明顯的介入和除去；實際上，它涉及兩個不同連結詞。Gentzen 對排中律的最初處理規定了它是下列三個(等價)的公式之一，它們在希爾伯特和 Heyting 的系統中已經已類似形式存在了:
排中律的這種處理，除了被純粹主義者所反對之外，把額外的復雜介入到了規范形式的定義中。
相對更加另人滿意的以單獨的介入和除去規則處理經典自然演繹首次由 Parigot 在 1992 年提出，采用了叫做 λμ 的lambda 演算的形式。他的方式的關鍵性洞察是把真理中心的判斷 ''A true'' 替代為更加經典的概念: 在局部化形式中，不再使用 Γ  ''A''，他使用 Γ  Δ，而 Δ 是類似于 Γ 的一個命題的搜集。Γ 被處理為一個合取，而 Δ 是一個析取。這種結構本質上是直接從經典的相繼式演算轉移過來的，但是革新為 λμ 給予了經典自然演義證明一種計算性的意義，通過在 LISP 和它的后代中可見到的 callcc 或 throw/catch 機制的方式。(參見: 一級控制)。
另一個重要擴展是模態和其他不只需要基本的真理判斷的邏輯 。它們由 Prawitz 在 1965 年以自然演繹的樣式首次描述，并累積了大量有關的工作。給出一個簡單的例子，必然性的模態邏輯需要一個新判斷，“''A valid''”，它是無條件的真理:
:如果“A true”不在形如“B true”的假定之下，則“A valid”。
這個無條件判斷被主觀化為一元連結詞 ''A''(讀做“必然性的 ''A''”)，帶有如下的介入和除去規則:
注意前提“''A valid''”沒有定義規則；有效性的無條件定義替代了它的位置。這個模式在局部化形式中變得更加清楚，這時假設是明確的。我們寫“Ω; Γ''A true''”，這里的 Γ 象以前一樣包含真假定，而 Ω 包含有效假定。在右面只有一個單一的判斷“''A true''”；這里不需要有效性，因為“Ω''A valid''”被定義為同于“Ω;  ''A true''”。介入和除去形式為:
模態假設有自己版本的假設規則和代換定理。
; 模態代換定理: 如果  并且 , 則 。
把判斷分解到不同假設搜集中的這種框架也叫做“多區”或“多價”上下文，是非常強力和可擴展性的；它已經被用于很多不同的模態邏輯5，線性邏輯6和其他亞結構邏輯中。
相繼式演算是自然演繹作為數理邏輯基礎的主要替代者。在自然演繹中信息流是雙向的: 除去規則流向下解構，而介入規則流向上構造。所以，自然演繹證明不能純粹自上而下或自下而上的閱讀，這使得它不適于證明查找的自動化，甚至不適于證明檢查(或類型論中類型檢查)。為此，根岑在1935年提出了他的相繼式演算，他最初打算把它作為澄清謂詞邏輯的一致性的技術手段。克萊尼在 1952 年于著作《Introduction to Metamathematics》(ISBN 978-0-7204-2103-3)中，給出了相繼式演算的第一個現代樣式的形式化。
在相繼式演算中，所有推理規則都可以純粹的自底向上的閱讀。推理規則可以應用于十字轉門兩側的元素之上。(為了區分于自然演繹，本文對相繼式使用雙箭頭 &rArr; 來替代 。自然演繹的介入規則被看作相繼式演算中“右規則”，并且在結構上非常類似。在另一方面除去規則對應相繼式演算中“左規則”。作為例子，考慮析取；右規則是常見的:
讓人想起局部化形式的自然演繹的 ∨E 規則:
命題 ''A ∨ B''，是在 ∨E 中的一個前提的后件，轉變成在左規則 ∨ 中結論的一個假設。所以，左規則可以被看作某種反向的除去規則。
在相繼式演算中，左和右規則銜接著(lock-step)進行，直到到達初始相繼式，它對應于自然演繹中除去規則和介入規則的匯合點。這些初始化規則粗淺的類似于自然演繹的假設規則，但是在相繼式演算中它們描述左和右命題的換位(transposition)或“握手”:
在相繼式演算和自然演繹之間的對應是一對可靠性和完備性定理，它們都是可以通過歸納論證來證明的。
; 關于  的可靠性: 如果 , 則 。
; 關于  的完備性: 如果 , 則 。
很明顯通過這些定理，相繼式演算不改變真理的概念，因為同一組命題仍然是真的。所以，你可以使用同樣的證明對象，如以前在相繼式推導中一樣。作為例子，考慮合取。右規則實質上等同于介入規則
但是，左規則進行了在相應的除去規則中不進行的額外替換。
所以在相繼式演算中生成證明的種類和從自然演繹中生成的是相當不同的。相繼式演算生成的證明叫做“β-正規η-長”形式，它對應于自然演繹證明的正規形式的規范表示。如果你嘗試使用自然演繹自身來描述這些證明，你將得到所謂的“插入演算”(由 John Byrnes 3 首先描述的)，它可以用來形式化的定義自然演繹的“正規形式”的概念。
自然演繹的代換定理在相繼式演算中采用了結構規則或叫做切的結構定理的形式。
; 切(代換) : 如果  并且 , 則 。
在多數有良好行為的邏輯中，切作為推理規則不是必需的，盡管它仍是可證明為一個元定理；切規則的多余通常表現為一個計算過程，叫做“切除去”。這是自然演繹的一個有趣的應用；通常直接在自然演繹中證明特定性質是非常冗長的，因為有無限制數目的情況。例如，考慮證明給定的命題在自然演繹中是不可證明的。一個簡單歸納論證將失敗，因為規則如 ∨E 或 E，它們介入了任意的命題。但是，我們知道相繼式演算關于自然演繹是完備的，所以在自然演繹中證明這中不可證明性就足夠了。現在如果切不能獲得為一個推理規則，則所有相繼式規則要么介入一個連結詞于右側要么于左側，所以相繼式推導的深度完全受限于在最終結論中的連結詞。所以，證明不可證明性是非常容易的，因為只有有限數目的情況要考慮，而每個情況都完全由結論的子公式組成的。一個簡單的實例是“全局一致性”定理:“''true''”是不可證明的。在相繼式演算中，這明顯為真，因為沒有規則可以有“”作為結論! 由于這個性質，證明論學者經常偏好免切相繼式演算公式化。
*Jon Barwise and John Etchemendy, 2000. ''Language Proof and Logic''. CSLI (University of Chicago Press) and New York: Seven Bridges Press. A gentle introduction to first-order logic via natural deduction, by two first rate logicians.
*  Translated and with appendices by Paul Taylor and Yves Lafont.
*  Lecture notes to a short course at Università degli Studi di Siena, April 1983.
*  Introduction to natural deduction
*  Domino On Acid. Natural deduction visualized as a game of dominoes.
*  Pelletier, Jeff, "A History of Natural Deduction and Elementary Logic Textbooks"
灣仔半島西面
灣仔（英語：Wan Tsai；亦稱灣仔半島或南風半島）是香港一個位於西貢半島北部，大灘海和海下灣之間的一個半島。灣仔與西貢半島於攔路坳相連。攔路坳是一個位於南風灣和海下灣之間的狹窄山坳。半島主要由大嶺墩組成，東端是灣仔排，南端是南風角，西端是三抱石，北端是棺材角。從灣仔東望，可見高流灣咀、塔門口、塔門、赤洲口、赤洲；南望大灘海；西望海下灣、串螺角咀、銀洲和磨洲；北望則是大赤門。
灣仔本來是一個採泥區。因為採泥工程完成，政府於1996年把它納入西貢西郊野公園（灣仔擴建部份），並進行綠化工程，半島上有很多專為露營人士而設的設施。
香港童軍總會在1999年年末曾在這裏舉辦一星期的露營，慶祝2000年的來臨。及後於2001年也在這裏舉辦露營慶祝香港童軍總會成立90周年。
File:HK_WanTsai_TaiLengTun.JPG|大嶺墩
File:HK_WanTsai_OceanPoint.JPG|半島西北端的三抱石，前方小島是磨洲及較大的銀洲
File:HK_WanTsai_LanLoAu_Sign.JPG|攔路坳的路標
File:HK_WanTsai_SouthCampsite_HKScout_JCMillenniumJamboree.JPG|香港童軍總會「賽馬會跨世紀大露營」紀念牌
File:TSUI WAH 1 Wong Shek to Wan Tsai and Chek Keng 27-01-2019.jpg|黃石碼頭至灣仔、赤徑街渡（普通渡輪）
File:Yam O 18 Wong Shek to Wan Tsai and Chek Keng 17-04-2016.jpg|黃石碼頭至灣仔、赤徑街渡（高速渡輪）
灣仔雖近西貢半島，但行政區劃上屬於大埔區。不劃入西貢區的原因是以前往西貢十四鄉的西沙公路並未通車，和未有標準道路開往北潭坳、黃石碼頭等地區。而且西貢地區的鄉村如深涌、荔枝莊、榕樹澳，和島嶼赤洲等都依賴街渡、渡輪往來馬料水和大埔滘。
*可於西貢碼頭乘搭專線小巴7號線前往海下灣，再步行約20分鐘至半小時。
* Hong Kong Hiking Web: 棺材角半島 (西貢西灣仔擴建部份)
琶洲站是廣州地鐵八號線上的一座車站，以此車站位于琶洲街辦轄區內而得名。車站位於中國廣東省海珠區新港東路會展東路口以西的地底。本站以黑色作為車站主色。於2003年6月28日啟用。
本站共有兩層，地面為車站各出入口，周邊為新港東路、廣交會展館B區/C區、保利世界貿易中心與其它建筑；地下一層為南北站廳以及8號線月臺；地下二層為聯絡通道。
琶洲站分為南北兩個站廳，均位于地下一層。兩個站廳及兩個月臺無論在收費區范圍以及非收費區范圍均可由兩條路軌下方的聯絡通道前往。
兩個站廳分別設有售票機和客務中心；同時設有自動售卡/充值機和“好易”自助服務機。
本站設有兩個側式月臺，位于新港東路地底。
本站月臺東端設有一條交叉渡線，從本站啟用至2005年12月26日前本站仍為2號線終點站時便使用該渡線折返2號線列車。另外，在月臺西端亦設有單渡線，當8號綫琶洲至萬勝圍段出現故障時，往萬勝圍站的列車將會通過此單渡線進行折返，以本站為臨時總站。
2號月臺全景圖（攝于2014年9月）
琶洲站目前設有4個出入口供乘客進出，南北站廳各自設有2個帶編號出入口，而南站廳的兩個出入口之間亦設有保利世貿中心專用的出入口。
為配合設置站外安檢工程，本站的A出入口于2020年10月5日暫時關閉，經改造后至12月底重新開放，并增設站外安檢房。
廣交會展館B區
琶洲大橋南公交車站（西行）
廣交會展館A區、琶洲公交車站（西行）
廣交會大廈、廣交會展館C區、琶洲公交車站（東行）
浦發銀行（琶洲支行）、琶洲大橋南公交車站（東行）
琶洲站位于新港東路，B出口可換乘途徑此處的西行方向公交。C出口和D出口可換乘途徑此處的東行方向公交。
換乘巴士車站主要有：琶洲站、琶洲大橋南站。
本站是廣州國際會議展覽中心的交通配套之一。本站附近會有少數住宅區及酒店。因此車站附近沒有展覽活動的時候，本站的人流量一般。不過當有廣交會展覽活動或其它活動舉行的時候，由于眾多客商及參觀遊客都會取道本站前往，因此車站人流則會翻倍，甚至會水泄不通。如遇有特殊情況或者客流激增，琶洲站將采取客流控制及臨時封站措施以控制人流。如2009年10月1日廣州在會展中心附近的珠江江面舉行迎國慶60周年焰火晚會，當晚因晚會散場時人流過大而封站。
本站最早出現在1997年的《廣州市城市快速軌道交通線網規劃研究（最終報告）》，是當時5號線的其中一座中途站。後來本站確定與二號線首期工程一同先行建設，建成并正式投入使用則于2003年6月28日，當時是廣州地鐵二號線已開通段（琶洲站至三元里站區間）的東端終點。2005年12月26日，萬勝圍站建成并投入運營，原二號線從琶洲站向東延伸至萬勝圍站作為終點，琶洲站由線路終點站變為中途站。直至2010年9月21日，本站一直都是舊2號線中途站之一。同年9月22日至24日，本站隨舊2號線一同停運，進行線路拆解。最終本站於2010年9月25日重新啟用，並改屬新的8號線。
而於2008年的規劃方案中，8號線成為新增的大環線，本站至萬勝圍的路段將拆解延長成另一線路，於本站換乘。而最終環線於2010方案中成為現時11號線（特大環線），而8號線恢復現時規劃走向，11號線與8號線於本站交匯。
11號線將在會展東路西側的地底設有琶洲站，與8號線交匯。但11號線車站離現有8號線車站有百餘米的距離，同時8號線在規劃及建造時並沒有預留未來換乘11號線，因此兩線只能使用通道換乘。11號線月臺屆時將位於地下三層，8號線月臺的東北邊。換乘通道則設有兩層，分別連接兩線車站的付費區和非付費區。
11號線施工時亦需要對8號線車站進行改造，分別在8號線月臺增加共4組扶梯來往地下二層，以適應換乘需要。
;未來車站結構
穗深城際鐵路琶洲支線以及廣佛環線同樣將設有琶洲站，位於會展東路地底，西側緊鄰11號線琶洲站。車站將設有兩個島式月臺，以雙島四線形式佈置，位於地下三層。
值得一提的是，城際鐵路車站為廣州地鐵11號線工程一座代建的車站，因此城際鐵路車站工程與11號線車站建設同步進行。
特萊姆森（阿拉伯語：??????）位于阿爾及利亞西北部，是特萊姆森省的首府，人口約130,000人。特萊姆森以橄欖樹種植園和葡萄園而聞名。
*波斯尼亞和黑塞哥維那薩拉熱窩
ISO 3166-2:BI是定義白俄羅斯地理區碼的ISO標準。它是ISO 3166-2的子集，範圍涵蓋白俄羅斯下的6洲和首府明斯克。
代碼由（ISO 3166-1的白俄羅斯代碼）與兩個字母組成，中間用連接號連接。
維捷布斯克州
2000-06-21
修正拼字錯誤
*  Regions of Belarus, Statoids.com
翁啟惠，前中央研究院院長，是出生臺灣嘉義的化學家，專長生物化學、有機及合成化學，他的以酵素技術大量合成複雜多醣體及醣蛋白更是世界首創。現任國家生技醫療產業策進會會長、斯克里普斯研究所研究員、中研院特聘研究員、國立中山大學榮譽講座教授，亦為中央研究院院士、美國人文與科學學院院士、美國國家科學院院士。2014年在有關醣分子合成及醣蛋白的傑出研究獲得沃爾夫化學獎。2015年獲得英國皇家化學會羅賓遜獎；2021年再獲得威爾許化學獎。
2006年擔任中央研究院第9任院長、2011年獲提名連任，2016年因浩鼎案而辭職，2018年浩鼎案一審獲判無罪，士林地檢署決定不上訴後無罪定讞。
* 世界首位成功以酵素技術大量合成複雜多醣物（多醣及醣勝肽）的科學家。這兩種方法目前也被工業界用來開發治療心臟病、中風及各種發炎疾病的新藥。也是首位發展多醣分子自動化化學合成的科學家。
* 有機生物和合成化學，包括以酵素和化學酵素方法為基礎的新合成辦法研發、合理的設計和酵素抑制劑的合成、碳水化合物和相關物質的結構功能以及合成研究、碳水化合物模擬疾病的發展、分子同本生物和蛋白質工程學，以及結構方法學。
* 首次開發醣分子相關的乳癌疫苗，廣效流感疫苗及醣晶片。
* 曾在諾貝爾研討會上發表了有關「催化非對稱性合成」的專題演講。
* 發表科研論文超過700篇。
* 擁有的專利有100項以上。
* 其團隊用雞蛋開發單醣流感疫苗。
翁啟惠與基因體研究中心研究員馬徹團隊開發廣效疫苗，研發不怕病毒突變的單醣化棘突蛋白（S蛋白）疫苗，並找到超級單株抗體「m31A7」，該單株抗體對抗新型冠狀病毒的能力，較當前世界上所有單株抗體療法優越百倍以上。
* 美國麻省理工學院有機化學博士〈1979年—1982年〉。
* 國立臺灣大學生化科學研究所碩士〈1977年〉。
* 國立臺灣大學農業化學系學士〈1966年—1970年〉。
* 臺灣省立臺南第一中學（現國立臺南第一高級中學）初中部、高中部畢業〈1960年-1966年〉。
* 嘉義縣義竹鄉義竹國民學校（現嘉義縣義竹鄉義竹國民小學）〈1954年-1960年〉
* 1970年—1971年，中華民國義務役。
* 1971年—1979年，國立臺灣大學化學研究所研究助理（實驗室指導人為中研院王光燦院士）。
* 1982年—1983年，美國哈佛大學博士後研究。
* 1983年—1989年，美國德州德克薩斯州農工大學化學助理教授、副教授、教授。
* 1987年—1989年，美國德州德克薩斯州農工大學生物化學系、生物物理系，以及生物科學和技術學院教授。
* 1989年—2006年, 美國加州斯克里普斯研究所化學講座教授（Ernest W. Hahn Professor of Chemistry, The Scripps Research Institute, U. S. A.）。
* 1991年—1999年，日本理化學研究所尖端科學醣科技實驗室主任。
* 1993年—1999年，美國國立衛生研究院 Bioorg. and Natural Products Chemistry Study Section，
* 1993年–2010年，Bioorganic & Medicinal Chemistry主編
* 2000年—2003年，美國國家科學研究委員會Chemical Sciences and Technology Board Member
* 2000年—2008年，德國馬克斯·普朗克學會（Dortmond）Scientific Advisor
* 2000年，主持中央研究院化學所多醣體研究。
* 2003年—2006年，中央研究院特聘研究員兼中央研究院基因體研究中心主任。
* 2006年—2016年，中央研究院院長。
* 2019年至今，國家生技醫療產業策進會會長。
* 1994年當選中華民國“中央研究院第20屆院士”。
* 2000年應中央研究院院長李遠哲邀請，回臺灣主持中央研究院生物化學多醣體研究室。
* 2002年當選美國國家科學院院士。2003年到2006年間以中央研究院特聘研究員兼中央研究院基因體研究中心主任。
* 2006年5月當選中央研究院院長（同時入選的2位候選人為中央研究院院士陳定信和吳茂昆），2006年9月22日獲陳水扁總統特任為中央研究院第9任院長，2006年10月19日正式接任。他是依據《中華民國國籍法》第20條，經總統府核定的中華民國史上第1位具有美國、中華民國雙重國籍的中央研究院院長。
* 2007立法院通過生技產業發展條例，翁啟惠對法案內容扮演關鍵角色。
* 2008年至2012年擔任行政院首席科技顧問。
* 2011年6月則促成“國家生技研究園區”的開發，歷經3次環評初審，於第3次環評初審時，環評委員開出近10項條件以有條件的通過。預估總園區預算約225億，最快能於5至6年內完成。
* 2011年8月14日更是對外公布“人才宣言”，這是翁院長廣邀國內重要的產業、教育、科技、媒體與藝術等各界代表，共同連署的。意在指“國家正面臨一個空前的人才失衡危機”。
* 2012年獲得美國化學會有機化學最高榮譽之（Arthur C. Cope Award）。
* 2014年1月17日獲得沃爾夫化學獎榮譽。
* 行政院生技產業策略諮議委員。
* 國立臺灣大學化學及生化科學特聘研究講座教授。
* 國立清華大學（新竹）化學系合聘特聘講座教授。
* 德國馬克斯·普朗克學會科學諮詢委員、生物有機及藥物化學期刊主編、Tetrahedron Publications 主席。
* 國立中山大學榮譽講座教授。
* 國家生技醫療產業策進會總顧問。
* 國家生技醫療產業策進會會長。
* 嘉義縣清新閣文化藝術基金會董事長。
* 1985年—1991年，年輕領袖研究發現獎，美國生物醫學西樓學者獎（Searle Scholar Award in Biomedical Sciences）、化學獎（Presidential Young Investigator in Chemistry）。
* 1993年，美國化學學會（American Chemical Society A. C. Cope Scholar Award）。
* 1994年，當選中華民國中央研究院第20屆院士（Academician, Academia Sinica,R.O.C.）、國際純化學和應用化學聯合會國際碳水化合物獎（The IUPAC International Carbohydrate Award）。
* 1995年，Carbohydrate Division Wolfram Award
* 1996年，當選美國人文與科學學院院士（Fellow, American Academy of Arts and Science）。
* 1998年，美國化學學會哈理遜化學獎(Harrison Howe Award in Chemistry）。
* 1999年，國際酵素化學獎（The International Enzyme Engineering Award)
* 1999年，美國化學學會醣化學獎（The American Chemical Society Claude S. Hudson Award in Carbohydrate Chemistry）。
* 2000年，美國總統綠色化學獎（The Presidential Green Chemistry Award）。
* 2002年4月30日，當選美國國家科學院院士（Member, The US National Academy of Sciences）。
* 2005年，美國化學學會合成有機化學獎（American Chemical Society Award for Creative Work in Synthetic Organic Chemistry）。
* 2006年5月，當選中央研究院院長。
* 2006年，德國（Humboldt Research Award for Senior Scientists, Germany）。
* 2007年，以色列理工學院（Technion–Israel Institute of Technology）名譽博士。
* 2008年，科頓傑出化學研究獎章（The F.A. Cotton Medal for Excellence in Chemical Research）。
* 2008年，國立中山大學名譽博士。
* 2011年，國立交通大學名譽博士。
* 2011年，國立清華大學名譽博士。
* 2012年，。美國化學學會亞瑟·科普獎（2012年，American Chemical Society Arthur C. Cope Award）
* 2014年，當選院士（Fellow, National Academy of Inventors）。
* 2014年，因為「對複雜的多醣體和醣蛋白的程式化應用合成的創新方法發展，做出很多原創性的貢獻」，榮獲沃爾夫化學獎。
* 2015年，因為「發展化學與酵素合成方法的貢獻，尤其用於瞭解醣分子在生物體中扮演的角色，並開創藥物研發的新契機」，榮獲英國皇家化學會羅伯特·魯賓遜獎（Robert Robinson Award）。
* 2021年，威爾許化學獎。
2011年12月12日，在2012年中華民國總統選舉前30天，由行政院經濟建設委員會主委劉憶如出面指控宇昌案涉及不法，翁啟惠發表聲明認為目前輿論對民進黨總統候選人蔡英文不太公平，不久後翁表示該聲明不一定是針對蔡英文，所有參與的人都有責任呈現事實，幫助社會了解前後過程。2012年1月14日總統選舉，蔡英文敗選；同年8月14日，特偵組查無不法事實，簽結此案。
2016年3月23日，時任中研院院長翁啟惠捲入浩鼎案，當時他人在美國，同月28日透過電話請辭、29日再提書面辭呈但皆不被獲準，4月翁啟惠返臺後聲明會留任至總統圈選下一任院長，因為考量到院長辭職會使副院長、院內的一級行政主管都得一起離開行政職，而且原定其任期至同年10月18日屆滿，下一任院長的遴選作業已在進行，為避免院務推動出現空窗期，授權三位副院長代理其職務，待選出新院長後最快在一、兩周內辦理提前交接，然而5月10日總統馬英九核準他在3月29日提的辭呈，下一任院長留待即將上任的新任總統蔡英文圈選。
2017年1月，士林地檢署依貪污罪起訴。7月，被監察院以涉及8項違失通過彈劾，送交公務員懲戒委員會處理。2019年4月3日，被公懲會以8項違失成立2項記申誡，分別是以浩鼎股東鄭秀珍名義和女兒持有浩鼎股票未依法申報，還有中研院和浩鼎的合作案未依利益衝突迴避處理原則可能使其直接或間接獲利，其餘則為事證不足或無違失；同年7月，翁啟惠向公懲會聲請再審，但被審判長石木欽駁回。2020年，翁啟惠再度向公懲會提再審，但仍遭駁回。2021年3月10日，監察院「司法及獄政委員會」，依照監察院「訴願審議委員會」和「廉政委員會」的決議，再行釐清說明，認定翁啟惠無財產申報不實，亦無違反公職人員利益衝突迴避法。2022年1月，翁啟惠再度向懲戒法院聲請再審，但仍被駁回。
翁啟惠本人發表聲明指出，當年的起訴、彈劾，及公懲會因此做出申誡，都是基於錯誤事實，已嚴重傷害名譽。在上屆及這屆監察院分別於2019年及2020年經過「訴願委員會」詳查，皆確認沒有不實申報財產。中研院也從未認定他有違背任何規定。他聲明表示，此次監察院在收到陳情後，願意依據彈劾後所發生的新事實及新證據，重新檢視，還予清白，致上誠摯的謝意。在另一份委任律師的聲明則強調，監察院訴願會是公務人員財產申報事件的最終認定機關，特定監察委員不服其決定，仍繼續以片段事實做主觀推測，甚至對外發言，令人遺憾。
2018年12月28日，士林地方法院一審判決翁啟惠、張念慈無罪，在翁啟惠借名購得3000張浩鼎股票部分，合議庭認為翁啟惠長期透過張念慈理財已經以自有資金購買1460張浩鼎股票（以每股110元，至少1億6000萬），雖然事先向中嘉尹衍樑借錢，但並非「無償贈與」，更不能說是賄賂。2019年1月4日，法院裁定準許翁啟惠解除境管。1月21日，檢方就浩鼎案決定不上訴，全案無罪定讞。
* 哥哥翁崇惠（Chorng-Huey, Wong）是國際貨幣組織前處長、現任研究院高級顧問。
* 弟弟翁英惠是樹德科技大學應用設計研究所講座教授、前設計學院院長。
* 女兒翁郁琇是臺灣浩鼎生技股份有限公司股東。
* 姪子翁竟期是文化大學美術系助教，2017年7月19日因車禍逝世。
《翁啟惠生平大事與科研年表》---科學人雜誌