Samantha912/NLP_A2_WTH huggingface dataset:
Slashdot

Slashdot 是一個資訊科技網站，每天以網誌的形式在主頁發表科技資訊，所有的新聞都源於網友投稿，經編輯篩選後發表，文中會附上源新聞的連結。

2016 年 1 月，BIZX 收購了 Slashdot 傳媒，包括 slashdot.org 和 SourceForge。

2019 年 12 月，BIZX 更名為 Slashdot 傳媒。

2020 年 7 月 20 日，該網站位列 Alexa Internet 全球排名第 10,685 位，訪問量前 3 名的國家為印度（58.9%）、美國（21.6%）和巴基斯坦（5.0%）。該站的新聞主題包括電影和書籍的評論、訪問和 Ask Slashdot 等。

在 Slashdot 的使用高峰期，一篇新聞報道釋出到該網站上的連結可能會致使一些小型或獨立的網站癱瘓。這種現象被稱為 “Slashdot 效應”。

歷史

Slashdot 的前身是羅伯・馬爾達（Rob Malda）的個人網站《薯條和蘸醬》（ "Chips & Dips"），該網站於 1997 年 10 月 5 日推出。當時，馬爾達是密歇根州霍蘭霍普學院的學生，主修計算機科學。9 月，該網站成為 "Slashdot"，口號是 “為宅男推送新聞；重要事情大放送”，並迅速成為網際網路上計算機極客感興趣的新聞和資訊的熱點。

"Slashdot" 這個名字的字面含義是 "/."—— 這也是該網站的標誌，創始人有意選擇了這個容易讓人和 URL 混淆的名稱，因為 http://slashdot.org/ 讀起來就會成為：h-t-t-p-colon-slash-slash-slash-dot-dot-org。

截止到 1998 年 6 月，該網站每天的頁面瀏覽量達 10 萬次，廣告商開始注意到這一點。Slashdot 是由羅伯・馬爾達和傑夫・貝茨共同創辦。到 1998 年 12 月，Slashdot 的淨收入為 1.8 萬美元，然而，隨著它在網際網路上的知名度的提高，營收也隨之增加。

讀者

Slashdot 的核心讀者群包括 Linux 與開放原始碼運動的狂熱份子，顯然也包含支援 Windows 的讀者群。在一次 Slashdot 的投票中顯示有幾乎半數投票者使用 Microsoft Windows 作業系統，三分之一使用 Linux, Mac OS X 使用者則大概佔了 10% 左右。但最有意思的可能在於一定數目的跨平臺使用者，也就是不只使用一種上述提到之作業系統的使用者。

如同大多數網際網路上的相似活動，Slashdot 上的投票亦著名地不可信賴。甚至蒐集來的瀏覽器類別資訊都較投票可靠，此結果顯示 Microsoft 的客戶遠小於一般網際網路上的量，而 Linux 與 Mac 使用者則高出許多。然而，很多 Slashdot 的訊息都與 Microsoft Windows 之遊戲、應用程式或是安全漏洞有關。關於 Slashdot 為 Linux 導向的臆測則因著名的比爾・蓋茨 “博格” 圖示不脛而走。此外，在判斷 Slashdot 使用者作業系統結果傾斜方面，一個事實是很多 Slashdot 使用者在日常工作中接觸此網站，而在只有在家裡他們才使用 Linux。

著名的 "Slashdotters"（Slashdot 者）包含演員威爾・惠頓（使用者代號 "CleverNickName"）, id Software 的技術指導約翰・卡馬克（使用者代號 "John Carmack"）, ReiserFS 創始者漢斯・裡瑟（使用者代號 "hansreiser"）與開放原始碼的宣揚者布魯斯・佩倫斯（使用者代號 "Bruce Perens"）。另外一些值得注意的人士是參予火星探勘計畫（rover exploration projects）的 NASA 工程師。
巨型共價結構

巨型共價結構是一些有巨型結構的共價化合物，這些化合物中的共價鍵遍佈了整個結構，鍵合了所有原子。

例子

碳
鑽石
石墨
二氧化矽
沙
石英
矽
碳化矽
硼
碳化硼
氮化硼
太谷區

太谷區位於山西省中部、晉中盆地東部，隸屬晉中市，總面積 1050 平方公里。區人民政府駐水秀鎮。

歷史

春秋時稱陽邑，隋時更名太谷。

太谷與鄰近的平遙、祁縣一樣，都是晚清時期中國的金融中心之一，晉商雲集之所，歷來有 “金太谷、銀祁縣、吃不完米麵的榆次縣” 之讚譽。

2019 年 12 月 9 日，山西省人民政府網站釋出《國務院批覆同意晉中市部分行政區劃調整》，同意太谷縣撤縣設區，為太谷區。

人口

根據第七次人口普查資料，截至 2020 年 11 月 1 日零時，太谷區常住人口為 322099 人。

行政區劃

下轄 3 個鎮、6 個鄉：。

地理與氣候

太谷東南為山地，西北地勢平坦。

氣候有華北高地特徵。

交通

同蒲鐵路，太焦鐵路、大運公路、、龍城高速、、、、大西高鐵途經縣境。

經濟

太谷經濟以農業為主，主要經濟作物有小麥、玉米、高粱、各種雜糧。經濟果林有壺瓶棗、蘋果、梨子、桃等。

物產

特產太谷餅和太谷壺瓶棗為中國地理標誌產品。

龜齡集酒、定坤丹。

方言

太谷話屬晉語幷州片方言，有五個聲調，其中兩個入聲調，保留有喉塞音的入聲韻尾。

教育

境內的太谷中學、太谷二中在附近較有影響。

山西農業大學、山西農業大學資訊學院、山西省交通技師學院等也都在太谷境內。原太谷師範學校經與其他師範學校合併，成立晉中師範高等專科學校，已遷往榆次區辦學。

風景名勝

全國重點文物保護單位 10 處：安禪寺、無邊寺、真聖寺、光化寺、曹家大院、淨信寺、新村妙覺寺、範村圓智寺、山西銘賢學校舊址、孔家大院
山西省文物保護單位 10 處：白燕遺址、太谷鼓樓、法安寺、遷善莊寨址、太谷文廟、範村東閣、北田受奶奶廟、胡村狐爺廟、中咸陽聖果寺、李順庭宅院、
晉中市文物保護單位 2 處：天寧寺、聖果寺
太谷縣文物保護單位 80 處：太谷城隍廟、太谷縣衙署、趙鐵山宅院、縣城舊街、永興東錢莊舊址、正心裕錢莊舊址、喬家宅院、志成信票號舊址、協成乾票號舊址、聚利川舊址等等
中國歷史文化名村 2 處：太谷縣北洸鎮北洸村、太谷縣範村鎮上安村

鄉村振興

沿太谷南山一線，20 公里鄉村振興示範廊帶形成了獨具特色的精品鄉村旅遊線路。

遊客可在田森現代農業科技示範園體驗科技的奧秘，也可在小白萬畝紅棗園感受採摘的樂趣，還可在怡園酒莊品嚐舌尖上的美味……

10 個產業觀光園、12 個生態莊園，讓 “一二三產” 融合。
No Protection

《No Protection》是香港歌手側田的第二張個人大碟，主題是 “不受保護的瀕臨絕種動物，踩上紅館前最新大碟”，於 2006 年 3 月 24 日推出。Dual disc version 則於 7 月 5 日推出。

曲目

製作背景

這張大碟取名《No Protection》，是因為側田覺得上一張《側田 Justin》的保護程式令聽眾太不方便，所以這張唱片將不會有任何保護程式。 另一個原因是側田覺得當了歌手之後沒有了私隱，沒有甚麼保護（Protection）可言。

這張唱片的另一特式是其唱片公司（金牌唱片公司）並沒有在唱片發售之前推出任何派臺歌，是香港流行樂壇極為罕見。

此次和上一張唱片的製作模式剛好相反 —— 當一首歌製作完成後便立即派到傳媒播放。

本唱片封面有兩隻 King Kong，是他的寫照。側田較早前被狗仔隊偷拍後，將自己比作為電影中的 King Kong，刀槍不入，狗仔隊的偷拍事件不會對他有任何傷害，反而他要倒過來安慰其歌迷。

《Intro》是一段當時只得六歲的小側田於 1980 年代 (按：1982 年) 模彷歌手譚詠麟唱《小生怕怕》時的錄音，以表示側田小時候已經對音樂產生濃厚的興趣。
《運》和《Kong》是兩首勵志歌曲，創作靈感來自狗仔隊的偷拍事件。運是希望人們凡事都要化負面為正面（Turn negative to positive）。「Kong」是「King Kong」的簡稱。歌中他質問：“當自己愛上一個女孩子時，為什麼 — 不可以在一起？他們並沒有傷害別人，為什應硬要分開他們？”
《情永落》是寫給側田的一位前度女友。歌名就是她名字的諧音 —— 程詠樂。側田解釋，跟女朋友分手的時候像世界末日，心情掉到谷底。但是他相信好的事情很快就會來臨，而失戀也會得到得多 —— 他也是因為該次分手而開始作曲。
《美麗之最》是描述男主角與前女友分手後仍然愛著對方，被她深深吸引而眼裡只有她，最後默默看著對方出嫁。
《走音》本來是希望由頭至尾都故意用走音的方式唱出，但是其監製雷頌德不批准。在錄音時側田將耳筒的聲音調高，然後扮作很陶醉般去唱。現在的版本只有一句的走音（而情感偏偏走音），以達到歌名所指的效果，但又不會令人覺得太誇張，太礙耳。
《You'll Shine Again》是電影《天生一對》的主題曲。主角希望其女朋友像太陽般再次閃耀，再次美麗。

銷售紀錄
浙江省湖州中學

浙江省湖州中學位於浙江省湖州市，簡稱湖中。

校訓

湖州中學校訓為 “自強不息，厚德載物”，出自《周易》：“天行健，君子以自強不息；地勢坤，君子以厚德載物” 這句古訓。

校史

湖州中學創辦於 1902 年，由湖州知府錫守綸籌備，定名為湖州府中學堂，承襲愛山書院校址。學校宗旨為 “為國植賢”。1909 年，學校改名為 “浙江省立第三中學堂”。1912 年，改稱為 “浙江省立第三中學校”，遷址天寧巷，原愛山書院改名為吳興中學校，兩校血脈相連。1924 年改稱 “浙江省立第三中學”。1933 年改稱 “浙江省立湖州初級中學”。1936 年 8 月改名 “浙江省立湖州中學”。1937 年 11 月湖州淪陷，師生部分轉入 “浙江省臨時聯合中學”，部分轉入浙西繼續辦學，後改部發展為 “浙江省浙西臨時中學”。1945 年複名 ““浙江省立湖州中學”，遷入現蓮花莊校區。1954 年定名 “浙江省湖州中學”，沿用至今。現為浙江省一級重點中學。

現狀

2004 學年，弁山校區建成投入使用後，公費生與自費生開始分校區教學，蓮花莊校區（亦稱老校區）供自費生使用（現已成為新世紀校區），弁山校區供公費生使用。

校區

蓮花莊校區，位於湖州市南，比鄰趙孟頫故居蓮花莊。
弁山校區，位於湖州市北郊，為本世紀新建校區。

知名教師

沈尹默，著名書法家、詩人。曾任北京大學文學系教授、北平大學校長。五四新文化運動主將。
錢玄同，著名語言文學家、作家。歷任北京大學、北京師範大學教授。“五四” 新文化運動時期文字改革先驅。
錢恂
陳其採
諸樂三

知名校友

沈雁冰
錢壯飛
陳立夫
胡宗南
雷震

歷任校長

（1902~1912） 姚學仁，朱廷，王樹榮，俞宗濂，錢恂，沈譜琴。
（1913~1927） 張孝曾（後調任北京大學教務長），王念蒟，羊乃康，羅偉，鄭彤華，周翔。
（1927~1945） 雷震（後調任教育部總務司司長），周翔， 汪浩，方秉性。
（1945~1984） 齊克菲（時任市長，兼任校長），王祥長（時任市長，兼任校長），李玉璽。
（1984~2004） 馮團，馬建福，王慧才
（2004~2012）沈培建
（2012-2014）吳維平
（2014-2017） 黃麗君
（2017-2021）周國平
（2021 - 至今）蔡軼佳
葡萄酒博物館

葡萄酒博物館（Museu do Vinho）是位於澳門新口岸填海區高美士街旅遊活動中心地庫的一所以葡萄酒為主題的博物館，與大賽車博物館相鄰，也毗鄰澳門綜藝館、金蓮花廣場。博物館主要介紹葡萄酒的歷史、葡萄種植歷史、釀製過程、釀製工具器皿和各種陳年葡萄酒之外，也設有品嚐葡萄酒區域。

歷史

澳門政府為了讓參觀人士瞭解葡萄酒在葡萄牙傳統、日常生活以及慶典禮儀中在社會、經濟和文化等方面的重要性，因而於 1995 年 12 月 15 日設立葡萄酒博物館；這所博物館是亞洲第一所以葡萄酒為題的博物館。

2017 年 7 月 1 日，葡萄酒博物館連同全幢澳門旅遊活動中心正式關閉。

2017 年 7 月 16 日，旅遊局長文綺華表示，大賽車博物館將由原來半層擴充套件至整幢大樓，葡萄酒博物館已暫停開放。博物館原有位置已改建為全新的澳門大賽車博物館，並於 2021 年 6 月 1 日開幕。

博物館原有設施

葡萄酒博物館位於高美士街旅遊活動中心地庫，其面積為 1400 平方米；博物館藏有 1050 個品牌的葡萄酒，展出近 700 種行銷酒和 300 種珍藏酒；而博物館主要分為葡萄種植和葡萄酒釀造歷史區、酒窖、展覽區合共三個展區外，也設有葡萄酒品嚐區域。葡萄種植和葡萄酒釀造歷史區（Informação histórica）介紹有關葡萄的種植以及葡萄酒的釀造歷史；酒窖（Adega）則收藏了 359 種來自不同酒區的葡萄酒，當中收藏了一瓶在葡萄牙波爾圖一個葡萄莊園於 1815 年出產的馬德拉酒外，也展有 200 年歷史的葡萄壓榨機、羊皮酒容器、銅蒸餾器、釀酒酒莊模型等與釀製葡萄酒過程相關的展品；而展覽區（Sala de Exposições）展出葡萄牙不同酒區的民族特色服裝。
澳門記略

《澳門記略》，亦作《澳門紀略》，是專記澳門的地方誌書，是世界和中國歷史上第一部系統介紹澳門的古籍著作。著作由印光任、張汝霖所編撰，於 1751 年完成。

《澳門記略》的著者由於 “歷海島，訪民蕃，搜卷帙”，蒐集了大量澳門地方的第一手資料。《澳門記略》介紹了澳門歷史、地理風貌、中西文化、風俗民情、民間技藝等，並附有插圖 21 幀和 400 多條中葡對照詞語。

編纂

《澳門記略》乃由印光任、張汝霖所撰，兩位皆曾出任澳門海防軍民同知（簡稱澳門同知）。1744 年，印光任成為第一任澳門海防軍民同知後，已發現澳門的歷史地理資料非常缺乏，欲編撰一部澳門地方誌書；印光任隨即開始蒐集相關資料，於 1745 年完成了初稿。其實，早在 1741 年在香山任職縣令的而張汝霖，已開展了對澳門的研究；1748 年，張汝霖更被派出任澳門海防軍民同知一職。印光任與張汝霖各於在任澳門同知時，各自蒐集並累積了大量澳門地方之第一手資料。在 1751 年（即清乾隆十六年）印光任署潮州知府，張汝霖則在潮州出任鹽運通判。兩位著者同時在潮州任職，於是開始合力展開《澳門記略》的編撰工作。《澳門記略》以印光任的初稿為藍本，再進行增刪修改，於 1751 年底便公諸於世。

內容

《澳門記略》共三篇，分上下兩卷：

上卷分別為《形勢篇》和《官守篇》。《形勢篇》主要介紹澳門及附近地方之地理、氣候與軍事佈防等；《官守篇》則集中歷史沿革，明朝與清朝的管治、相關政令與歷史事件等。
下卷為《澳蕃篇》。主要詳述外蕃之貿易往來、宗教信仰和傳教士在中國之風俗習慣等。

影響

由於《澳門記略》的史料詳實、圖文並茂，更是中國歷史上第一部有系統介紹澳門的古籍著作，故被譽為 “安邊緯略” 之書。《澳門記略》更被收錄在清乾隆中葉時所編纂《四庫全書》當中，而其後的《皇清職貢圖》、《粵海關誌》和《海國圖誌》等歷史著作均曾參考或抄錄《澳門記略》之內容。

現知的《澳門記略》中文版本有 12 個，其中有：乾隆原刊本、嘉慶重刊本、光緒再刊本、臺灣重刊本（1963 年）、《嶺南叢書》點校本（1988 年）和《澳門記略校注》（1992 年）等版本。在 19 世紀初，《澳門記略》的全部或部分內容，更被譯成日文、法文、英文與葡萄牙文等。今天，澳門記略已成為研究澳門歷史的必讀的文獻資料。
莫氏硬度

莫氏硬度（Mohs scale of mineral hardness）是一種利用礦物的相對刻劃硬度來劃分的礦物硬度標準，由德國礦物學家弗里德里希・莫斯（Friedrich Mohs）於 1812 年提出。莫氏硬度是一種相對標準，與絕對硬度並無正比關係。

莫氏硬度標準將十種常見礦物的硬度由小至大分為十級，即（1）滑石、（2）石膏、（3）方解石、（4）螢石、（5）磷灰石、（6）正長石、（7）石英、（8）黃玉、（9）剛玉、（10）金剛石（鑽石）。具體鑒定方法是，在未知硬度的礦物上選定一個平滑面，用上述已知礦物的一種加以刻劃，如果未知礦物表面出現劃痕，則說明未知礦物的硬度小於已知礦物；若已知礦物表面出現劃痕，則說明未知礦物的硬度大於已知礦物。如此依次試驗，即可得出未知礦物的相對硬度。

若某種礦物的硬度在兩種標準礦物之間，則會用 0.5 表示，例如黃鐵礦的莫氏硬度為 6.5。

硬度表

下表為「莫氏礦物硬度表」（Mohs scale of mineral hardness）：

一些常見物質的莫氏硬度

在生活中，也可以使用已知硬度的常見物質進行莫氏硬度測定。如指甲硬度約 2.5，銅幣為 3.5-4，鋼刀為 5.5，玻璃為 6.5。

下表列舉了一些常見礦物或材料的莫氏硬度：
平壤之戰 (1894 年)

平壤之戰是中日甲午戰爭中的一場戰役。1894 年 9 月初，日軍開始向平壤推進，參戰部隊共 20000 餘人，清軍防禦部隊為 15000 餘人。日軍至 9 月 15 日完成部署，隨即展開進攻，經過一整日激戰，日軍元山、朔寧兩支隊於 9 月 16 日上午八時三十分攻下平壤北邊的戰略要地牡丹臺。清軍駐守平壤的總兵力，計步、馬、炮約 15000 人，平壤城中貯存足夠全軍一個月食用的軍糧，而日軍因種種原因而糧食嚴重不足，當夜平壤下雨，日軍冒雨露宿，處境較為困難。若清軍多堅守一日，日軍便會因斷糧而撤軍。但葉志超畏敵怯戰，棄城逃走。清軍撤退途中遭到日軍伏擊，死傷慘重。而日軍奪得平壤城，獲得城中所有戰略物資和糧食。

日軍在平壤所繳獲的戰利品有：各類大小口徑炮 35 門，步騎連發槍 550 支，後膛單發槍及其他槍 610 支，炮彈 792 發，子彈 56 萬發，行軍帳篷 1092 頂，軍用鍋 354 口，各種粗細雜糧 4700 石，大車 156 輛，乘馬及馱馬 250 匹，金磚 43 公斤，金錠 540 公斤，以及火藥、信管、紙幣和其他物資無數。9 月 15 日平壤之戰與 9 月 17 日的黃海海戰一起，成為中日甲午戰爭的轉折點，自此以後，日軍完全掌握了戰場主動權，並開始在中國境內迅速推進。

平壤之戰中，山東費城傑出將領左寶貴面對友軍潰逃、敵軍壓境的境況，毅然殊死抵抗，直至殉國。皇帝由此，贈太子少保銜，予諡忠壯。
離域電子

苯分子中的離域電子以圖中圓圈表示。

離域電子（delocalized electron），也稱遊離電子、非定域電子，是在分子、離子或固體金屬中不止與單一原子或單一共價鍵有關係的電子。

遊離電子包含在分子軌道中，延伸到幾個相鄰的原子。一般來講，離域電子存在於共軛系統和介離子化合物中。人們漸漸地瞭解到，σ 鍵中的電子也會遊離。例如甲烷中的成鍵電子是由五個原子共享的。更多細節詳見分子軌域理論。

例子

在簡單芳香環（如苯環）中，六個碳原子上的 π 電子的遊離在圖上常以畫一圈來表示。事實上六個 C－C 鍵之間的距離都是相等的，這也是電子游離的一個跡象。在價電子鍵結理論中，苯環中的遊離被描述為共振。

離域電子也存在於固態金屬的結構中，其 d 軌域和 s 軌域之間相互干涉。金屬的結構中包含排列整齊的帶正電離子（陽離子），在「電子海」中形成離域電子。這意味著電子在結構中可以自由移動，產生了導電性。

在鑽石中，每個碳上面的四個外層電子，彼此都是以共價鍵的形式鍵結，電子的移動受到限制，也因此無法傳導電流。

在石墨中，碳原子只使用四個外層電子中的三個來形成與另外三個原子間的共價鍵，並形成一個平面；每一個碳原子貢獻一個電子到遊離系統中，這些電子也是化學鍵的一部分（π 鍵）。離域電子能在整個平面自由移動，因此石墨可以沿著碳原子平面導電，但無法沿著與平面垂直的方向導電。

在離子中，離域電子常常被稱為遊離電荷。一個典型的在離子中的離域電子（遊離電荷）的例子是羧酸根，其負電荷在兩個氧原子上的分佈是相等的。電荷遊離是決定負離子反應能力的一個重要因素（一般來說，遊離程度越高，反應能力越低），還有特別是共軛酸中酸的強度。一般來說，陰離子中電荷遊離得越好，其共軛酸也越強。例如在過氯酸陰離子中，負電荷均勻分佈在的氧原子上（還有部分穩定在中央的氯原子上）。這個絕佳的電荷遊離與高氧原子數（四個）以及高電負度中心（氯原子）的協同作用，導致過氯酸成為。（pKa 值在 - 7 至 - 10 之間）。在陰離子中電荷遊離的程度可以透過 WAPS 引數來定量。

反應當中的遊離

離域電子很重要的原因有多個，主要原因是電子游離使分子變化到一個更穩定的構型，導致預期的化學反應不會發生，或在不同的位置發生。其中一個例子是傅 - 克反應用 1 - 氯 - 2 - 甲基丙烷甲基化苯環；異丁基碳陽離子重排成為叔丁基碳正離子，而叔丁基是超共軛（一種特別的遊離形式）穩定的。遊離會使電子的波長變長，導致電子的能量下降。
耿仲明

耿仲明，明末遼東蓋州（今遼寧蓋州）人，字雲臺。崇禎初年為登州參將，清初三藩之一。

生平

原籍山東，礦工出身，當過遼東海盜，後投靠毛文龍，初與孔有德、尚可喜同為總兵毛文龍部屬，被稱為 “山東三礦徒”。

袁崇煥督師薊遼，斬殺毛文龍，耿隨孔有德走登州，山東巡撫孫元化任為步兵左營參將。孔、耿出兵禦後金軍，軍餉不至，憤怒不已。崇禎五年（1632 年），隨孔有德叛明，攻陷登州，耿自稱總兵官，孫元化逃回京師，以罪論死。明朝派兵四萬，圍攻山東重鎮登萊二州。

崇禎六年（1633 年），隨孔有德投降皇太極。崇德元年（1636 年）年，封懷順王，隸漢軍正黃旗。

順治元年（1644 年），隨清兵入關，從清將多鐸入秦，鎮壓民變，又下江南，入湖南。

順治五年（1648 年）十二月，多爾袞召孔有德、耿仲明、尚可喜從遼東入燕京。

順治六年（1649 年），改封靖南王，與吳三桂、尚可喜合稱清初三藩，清刑部查獲耿仲明屬下魏國賢私自收匿逃人，十一月廿七，在南下徵廣州途中，畏罪自縊於江西吉安，其子耿繼茂襲靖南王，後移鎮福建。
臺灣文庫

臺灣文庫，成立於 1901 年，是日治時代臺灣第一座公共圖書館，也被視為目前國立臺灣圖書館最早的前身。

臺灣自清代以來就有大家世族的私人藏書，不過並未對外開放。1898 年，當時的臺灣日報記者栃內正六，動了創立圖書館的念頭。該報社社長守屋善兵衛大為贊同，並且宣告願意提供其本身所藏圖書以資贊助。於是官民多人在民政長官後藤新平官邸開了「臺北圖書館發起人會」。當時之發起人共有官民：石塚英藏、藤田嗣章、堀內文次郎、松岡辨、木村匡、町田則文、栃內正六、草場謹三郎、守屋善兵衛、木下新三郎、大島邦太郎、兒玉善八等八位。他們認為，臺灣當時民智未開，公共道德落後；要矯正弊端，必須由研究自修開始。「所謂研究自修途徑，唯有設定公共圖書館，也別無他途」。於是會中議決透過「創辦圖書館案」，並於隔年以慶祝日本皇太子嘉仁之名義，向民眾捐募基金、現款、圖書，其中一部份書籍，為日後創立石坂文庫的石坂莊作所贈與，石坂莊作也被稱為國立臺灣圖書館的開山祖師。1901 年，臺灣文庫在淡水館正式開幕。

臺灣文庫一開始藏書有 6000 餘冊，後擴充套件至一萬多冊。臺灣文庫為了維持圖書館的正常運作，援引日本圖書館舊例，訂出了普通及特別閱覽的收費標準，收費金額分別為三錢、五錢，士兵與巡察（警察）半價優惠。不過因為臺灣當時的生活水準普遍低落，因此利用率不高。1901 年全年，臺灣文庫的閱覽人數 1680 人；1902 年全年更降到 762 人，平均每天只有 2 個人到館。加上日後的「市區改正」及房屋腐朽，1906 年 8 月 16 日淡水館被拆除，「臺灣文庫」關閉，圖書移交「東洋協會臺灣支部」來保管。該批圖書本來收藏在新公園中的「天后宮」，後來移動到大稻埕六館街板橋富豪林本源商號所有之房屋內，日後為臺灣總督府圖書館接收。目前剩餘約三千冊的圖書，由國立臺灣圖書館保管，為重要的日治時代史料。
梁耀祖

梁耀祖（Leung Yiu-cho, Henry，）是香港前律師，同時擔任前中西區區議員。

生平

梁耀祖早年在香港赤柱聖士提反書院寄宿。中學畢業後，考入香港大學法律系，並於 1996 年獲法律榮譽學士。畢業後，到位於中環德輔道中的一家律師事務所擔任見習律師，師承該律師行的合夥人伍兆榮。2002 年梁自立門戶，在旺角登打士街柏裕中心自資開辦律師事務所，主要辦理離婚及破產事務。

1999 年，加入民主黨，同年代表該黨參加區議會選舉，於中西區正街選區參選，以 1,063 票（得票率 58.1%）擊敗民建聯的唐偉源而當選。2003 年在同一選區以 1,693 票（得票率 66.0%）擊敗民建聯劉揚勳與獨立人士蘇麗容，成功連任。

梁耀祖在擔任區議員的 6 年間，曾擔任區議會屬下「交通運輸委員會」副主席及及「中區交通及行人天橋系統工作小組」主席等職務，獲視為民主黨在中西區的「生力軍」。此外亦積極協助乏人管理的唐樓組織業主立案法團，在 2004 年至 2005 年間，曾負責的義務法律諮詢超過 400 宗，並贏得「社群律師」的美譽。

2005 年 10 月 29 日晚上 10 時半左右，梁與家人晚膳後，獨自駕駛電單車沿告士打道西行快線行駛，當駛至分域街附近，尾隨一輛密鬥貨車收掣不及撞向梁之電單車。梁被捲入車底重傷昏迷，送往律敦治醫院搶救，翌日再轉東區醫院深切治療部救治。梁耀祖身體沒有骨折且沒有內出血，情況危殆。民主黨多名成員及其親友先後前往探望。

家屬表示，腦內科專家已替梁抽出腦細胞積水，但梁病情長期未見好轉。2006 年 3 月初，梁母去信為梁辭任區議員。終在 2006 年 3 月 24 日 0 時 2 分宣告不治，終年 32 歲，梁於 4 月 14 日早上出殯。

政府於是在同年的 6 月 11 日舉行補選，民主黨派出黃堅成爭奪梁耀祖逝世後遺留下來的中西區區議會正街選區議席，但敗於獨立侯選人李志恆，而民主黨直到 2019 年區議會選舉才再次取得正街選區議席。

2000 年 1 月 1 日 —2006 年 3 月 24 日}}
教學醫院

教學醫院（teaching hospital），是指具有教學用途，提供在學的醫學院及護理學院等醫療相關科系學生見習、實習和作研究的醫院。通常這類醫院由大學的醫學院開設，有些與大學醫學院位於同一地點，因此也被概括性地稱為大學醫院（university hospital）；某些公營或民營醫院則是與學校簽約或由政府指定，而成為教學醫院。
古德明

古德明（Koo Tak Ming，），生於廣東中山石岐，香港英語教育作家、時事評論家。

背景

1.1 早年生活

古德明在 1957 年搬遷至澳門定居，母親是一名車衣女工，而父親則是位於澳門水坑尾大井頭的宏漢學校的中文老師；古德明於該校就讀小一至小五年級。1964 年再遷至香港，及後就讀於香港潮商學校（小五及小六，1966 年畢業）及聖保羅書院（1966 年入讀）。就讀後者時與前香港電臺助理廣播處長（電臺及節目策劃）張文新為同班同學。當時，古德明與家人同住於香港島西營盤，家人把寓所間成數間房間分租出去收租以賺取生活費。

1.2 投身教育界

古德明在聖保羅書院完成中一至中七年級，高中時為一名文科生；他在中六時以自修方式考入香港中文大學，同時完成中七的大學入學試。1976 年，古德明在香港中文大學崇基學院英文系以全系第一名的成績畢業，自己因批評文化大革命，並未獲得任何獎學金。1981 年考獲香港大學中文系哲學碩士學位。古德明曾在聖貞德中學任英文教師，後於香港大學新聞組擔任翻譯員，1986 年任職於中文大學人事組，1989 年曾任《明報月刊》總編輯，1991 年出任香港科技大學翻譯組主管。1997 年曾隨家人移民紐西蘭，1998 年迴流香港。回港後在香港教育學院當資訊主任；一年多後不獲時任香港教育學院語文教育學院院長陳永明續約。

1.3 創作與論政

古德明之後於香港的《蘋果日報》“生活名採” 版每日撰寫專欄 “東拼西湊”，回答讀者關於英語、中文和時政的提問；以及星期六於 “論壇” 版撰寫另一時事評論專欄 “常山月旦”，非議中國及香港時弊。另外，古德明亦在《讀者文摘》擔任特約編輯，翻譯英文版讀者文摘為中文，及曾於香港免費報紙《AM730》設有 “中華正聲” 專欄，旨在扶持正統中文，批評中共現代漢語，但因政見與報社相左，已於 2014 年停刊。

家庭生活

古德明已婚，其妻為其任職香港教育學院時的舊同事。

筆戰

古德明經常評點名人學者的中英文錯誤，然而一些被批評者並不認同他的意見，較主要的筆戰如下：

3.1 中文

在《蘋果日報》《常山月旦》專欄，就陳永明主持的節目《中文一分鐘》內「層出不窮的悖謬」，與該節目的負責人展開筆戰。
在《蘋果日報》《征服英語》專欄，就可立中學一中文教師贈予當時教統局常任秘書長羅範椒芬的「古典詩」(實為藏頭詩︰羅範椒芬功在教苑) 作批評，指這首詩平仄、對仗及文辭出了問題，其後與一名教師展開筆戰。

3.2 英文

在《明報》《英語聞問切》專欄，就一篇香港某大學的公函內的英文文法訛錯，與瑪利亞書院英文學會展開筆戰。
在《明報》《英語聞問切》專欄，多次指出陸谷孫主編的《英漢大詞典》內容有誤，及指該字典聲稱的「獨立研編」是假的，因為詞典中例句大量剽竊英美英文詞典，還有反駁陸氏於《亞洲字典會議》發表、針對古氏指控的駁論。
在《蘋果日報》《征服英語》專欄，就英語 Ensign（艦旗或商船旗）的使用問題，與名流鄧永鏘展開筆戰，及後兩人斷斷續續就英語文法互相批評。古最終拋下戰書，以「每題賭一萬港元」，賭他跟鄧討論的八個英語問題誰對誰錯，但是鄧沒有應戰。
於《蘋果日報》《征服英語》專欄就唐英年的一句「I think that is completely rubbish that」與讀者筆戰了數天。

著作

4.1 時事評論

《常山月旦》七集 -- 次文化堂出版
《明月晚濤》三集 -- 次文化堂出版
《以古非今》甲至丁篇 -- 次文化堂出版
《胡不仆街》 -- 香港蘋果日報 二零零九年四月四日（https://web.archive.org/web/20090407075233/http://www1.appledaily.atnext.com/template/apple/artmain.cfm?issid=20090404&secid=4104&subsecid=15337&artid=12602042&colnid=263%5D% EF% BC%89

4.2 英語學習

《古德明英語典藏──從對話速學地道英語》-- 紅出版 (青森文化)
《英語對錯 —— 字典不教你的 141 個英文用法》-- 紅出版 (青森文化)
《聽講英語 Easy Way》-- 青桐社出版
《為甚麼說不好英語》-- 青桐社出版
《英語聞問切》1-25 集 -- 明窗出版社出版 (本系列第 26 集後作者為魯效陽先生)
《征服英語》1-6 集 -- 次文化堂出版
《英文，放馬過來！— 文字的意義和差異》-- 青桐社出版
《英文其實不困難 — 文字的正確用法》-- 青桐社出版
《錯英文．大道理》-- 青桐社出版
《好壞英語》-- 亮光文化有限公司

4.3 文化研究

《尋根究底》三集 -- 次文化堂出版

4.4 散文

《少年翰墨》 -- 次文化堂出版
《少年殊調》 -- 次文化堂出版

4.5 譯著

《西洋詼諧小品新譯》 -- 明窗出版社出版
《西洋幽默小品新譯》 -- 明窗出版社出版
《泰西筆記小說選》 -- 次文化堂出版
《泰西筆記小說選 2》 -- 次文化堂出版

4.6 中文專著

《實用中文商務公函寫作》 -- 明窗出版社出版
《中華正聲》 -- 次文化堂出版
總

總可以指：

總 (湘潭地名)
總 (越南)
胡啟立

胡啟立，陝西省榆林市人，中華人民共和國政治家，原正國級領導人（後降為副國級）。1948 年 4 月加入中國共產黨並參加工作，北京大學機械系畢業，大學文化。新中國成立後歷任北大團委書記，全國學聯主席。“文革” 時期遭受打擊。粉碎四人幫後歷任清華黨委副書記兼副校長，團中央書記處書記，全國青聯主席。改革開放後歷任中共天津市委書記兼市長，中央辦公廳主任，中央書記處書記和中央政治局委員。1987 年 11 月被選為中共中央政治局常委，同時擔任中共中央書記處排名第一的書記，負責常務工作。1989 年在六四天安門事件中，因同情學生運動，支援時任中共中央總書記趙紫陽，在中共十三屆四中全會上被免去黨內領導職務，僅保留中央委員會委員資格。1991 年復出工作。1998 年 3 月，當選第九屆全國政協副主席，名義上恢復 “黨和國家領導人” 地位（國家級副職）。

生平

1.1 早年生活

1946 年至 1951 年，胡啟立在北京大學物理系、機械系學習。大學畢業後，留校從事學生、共青團委工作，1951 年至 1956 年任共青團北京大學委員會書記，受到時任共青團中央負責人胡耀邦的賞識。1955 年 8 月，胡啟立在當選中華全國學生聯合會主席後，受到毛澤東的接見。1956 年被調入共青團中央聯絡部，曾經擔任駐捷克布拉格國際學生聯合會書記處書記、副主席。1961 年，在胡耀邦的推薦下，共青團九屆三次會議破格增選胡啟立為團中央書記處候補書記 ，為其日後的政治生涯奠定了堅實的基礎。

文化大革命開始後，毛澤東在 1966 年 8 月警告共青團中央，稱胡耀邦、胡克實、胡啟立等負責人犯了 “錯誤”。胡啟立隨即被下放到 “五七幹校” 勞動，直到 1972 年才被恢復工作。 此後，他歷任中共寧夏回族自治區西吉縣委副書記，固原地委副書記，中共寧夏回族自治區委辦公廳主任等職。1977 年，返回北京，出任清華大學黨委副書記、副校長。1978 年，出任團中央書記處書記、中華全國青年聯合會主席。

1.2 進入中央

1980 年，隨著胡耀邦接任中共中央總書記，胡啟立迅速成為當時中國政壇上的一顆新星。於 1980 年 6 月出任中共天津市委書記、天津市市長。1982 年 4 月，升任中央辦公廳主任；同時，在當年 9 月召開的中共十二大上，當選中央委員；後又當選中央書記處書記，正式進入中共領導層。在 1985 年 9 月召開的中共十二屆五中全會上，中共高層人事大調整，一批元老退休，胡啟立與田紀雲、喬石、李鵬等 “新秀” 被增補為中央政治局委員。

1987 年，胡耀邦因反 “資產階級自由化” 不力下臺，在趙紫陽的保護下，胡啟立並沒有受到影響。在 1987 年 11 月 2 日舉行的中國共產黨十三屆一中全會上，時年 58 歲的胡啟立晉升中共中央政治局常委（排名第四）；同時還兼任中央書記處排名第一的書記，負責書記處的常務工作。媒體評論認為，當時年富力強的胡啟立有力成為中共的第三代接班人。

1989 年六四天安門事件前後，因同情學生運動，胡啟立與閻明復、芮杏文等中共高階領導，隨總書記趙紫陽下臺。胡啟立被免去政治局委員、常委，中央書記處書記的職務，但仍保留中央委員會委員資格。

1.3 再度復出

1991 年，胡啟立復出工作，被安排到原機械電子工業部，擔任排名最後的副部長，級別為副部級。1993 年 3 月，出任恢復設立的電子工業部部長，成為正部級幹部。在任部長期間，胡啟立倡導對中國電信業進行改革，積極推動中國聯通的成立，引入競爭，最終促使郵政和電信於 1998 年分離。

1998 年 3 月舉行的中國人民政治協商會議第九屆全國委員會第一次會議上，68 歲的胡啟立當選為全國政協副主席，再次進入國家級副職黨和國家領導人行列，成為了其原來在天津的副手李瑞環（時任全國政協主席）的下級。2003 年 3 月，73 歲的胡啟立屆滿離任。自 2001 年起，胡啟立還一直擔任中國福利會主席和中國宋慶齡基金會主席等職務。2016 年 11 月，不再擔任中國宋慶齡基金會主席。2017 年 9 月，不再擔任中國福利會主席。

著作

《中國資訊化探索與實踐》電子工業出版社 2001，內容分為三篇。第一篇主要包括我國電子工業的形勢和任務，存在的主要問題。第二篇彙集了講述推進資訊化建設和實施 “金” 字系列工程。第三篇收錄的文章集中討論了發展微電子技術，打好電子工業基礎等方面的問題。
《“芯” 路歷程：909 超大規模積體電路工程紀實》電子工業出版社 2006-02

家庭

妻子：郝克明，曾為中國教育發展戰略學會會長。
妹妹：胡啟恆，曾任中國科學院副院長、中國科學技術協會副主席。
臺灣自救運動宣言

《臺灣自救運動宣言》乃是 1964 年 9 月由國立臺灣大學政治學系教授彭明敏與其學生魏廷朝、謝聰敏所印製的一份臺灣獨立運動宣言。

1966 年全美臺灣獨立聯盟（The United Formosans in America for Independence，簡稱 UFAI）成立後，即利用〈臺灣人民自救運動宣言〉作臺獨宣傳，陳以德將其翻為英文，透過募款把這篇文章刊登於 1966 年 11 月 20 日《紐約時報》，擴大臺獨的國際宣傳。

2020 年 1 月 2 日，彭明敏在《自由時報》刊登〈臺灣人民自救宣言續文〉。

宣言的正式名稱問題

雖然這份宣言是臺灣獨立運動史上的一項重要檔案，但是，關於這項檔案的正式名稱，卻似乎在既存文獻中可以找到極多不同的版本。當這個宣言的摘要經由「全美臺灣獨立聯盟（United Formosans in America for Independence） 」的努力，在 1966 年第一次以廣告的方式出現在西方媒體 —— 紐約時報 —— 時，它在註解內所列出的名稱是「Declaration of Formosans」（只有英文名稱）(李逢春等 1984，41)。Cohen and Teng (1990, 93) 也將這份檔案的名稱列為「Declaration of Formosans」（只有英文名稱）。

但是在彭明敏的英文版回憶錄中，他將這份檔案稱作「臺灣自救運動宣言」，後面附上的英文翻譯是「A Declaration of Formosan Self-salvation」(Peng 1972, 127)。然而，在中文版的回憶錄中，卻又出現了這份檔案另外兩個不同的中文名稱 ——「臺灣人民自救運動宣言」（彭明敏 1984，118，119）及「臺灣人自救運動宣言」（彭明敏 1984，129）。在 1994 年出版的《彭明敏看臺灣》當中，這份檔案的名稱又回到英文版回憶錄中所列的「臺灣自救運動宣言」（彭明敏文教基金會 1994，187-98）。綜觀這些不同的名稱，英文版回憶錄中的「臺灣自救運動宣言」似乎是比較一致的用法 (Shu 2005, 232, note 158)。

彭明敏等人起草該宣言的背景

在第二次世界大戰後，臺灣由中華民國政府自日本手中接管，臺灣人民對此滿懷期待，但後來，臺灣在行政上仍然維持著與日治時期相同的專制，並未把民主制度落實在臺灣。此外，政府在政治上的表現相當腐敗、經濟狀況也未好轉，臺灣人民人心相當失望，在民怨累積下，之後爆發了二二八事件。

在國共內戰後，中華民國政府播遷至臺灣，實施戒嚴，在頒佈了動員勘亂時期臨時條款後，就此進入了動員勘亂時期，中華民國憲法也被凍結，在宣言發表當時，已經歷近 20 年左右的不民主統治。

宣言的基本主張

指出蔣介石的「反攻大陸」政策是不可能加以實現的，並提出「一個中國，一個臺灣」及「重新制憲與尊重人權」的主張，認為臺灣有能力建立一個國家。

宣言的目標

確認「反攻大陸」為絕不可能，推翻蔣政權。團結一千二百萬人的力量，不分省籍，竭誠合作，建設新的國家，成立新的政府。
重新制定憲法，保障基本人權，成立向國會負責且具有效能的政府，實行真正的民主政治。
以自由世界的一份子，重新加入聯合國與所有愛好和平的國家建立邦交，共同為世界和平而努力。

軼事

彭明敏案爆發後，李煥請與彭明敏來往過的李敖吃飯。李煥對李敖旁敲側擊道，聽說臺灣自救運動宣言寫得極好，「是經過你李先生指點或潤飾過的？」李敖笑答，「若是我寫的、或經我潤飾過的，一定更好。」李敖沒看過臺灣自救運動宣言中文版，只有謝聰敏搞來的英文譯本，然而李敖因忙而未看；結果警總抄家時將英文譯本搜去，並誣指李敖為臺獨聯盟本部委員。
李敖在接受訪問時曾表示，確信臺灣自救運動宣言的英文版是連戰翻譯的；並稱連戰當時是在美國的臺獨分子，後來才投降回臺。
2015 年 6 月 9 日李敖在中天新聞臺《中天青年論壇》說，臺灣自救運動宣言只有兩條分別寫到臺灣應加入聯合國及臺灣應成立一個國家，「只有這兩條好像是跟臺灣獨立有關係」，其他都是有關自由民主；但傳到日本，被臺獨人士改為臺灣獨立宣言，歷史被改寫了，「其實根本沒有臺獨」。
龍華寺 (上海)

龍華寺是座落於中國上海市徐匯區的一座佛教寺廟。歷經戰亂，重建修復，今龍華寺的建築建於清朝光緒年間。上海四大佛寺之一。

歷史

始建於三國吳大帝赤烏年間，為孫權孝敬其母而建造，唐時被毀，北宋初吳越王重建。北宋治平元年改名空相寺。在元末明初寺院再次被摧毀。明朝永樂年間重建，稱龍華寺；嘉靖三十二年賜名萬壽慈華禪寺；萬曆年間賜毗盧遮那佛像、金印等。

清朝順治年間，臨濟宗第三十二世韜明禪師任寺院住持，清朝咸豐、同治年間又遭兵焚，經過僧俗的募捐修復，從清朝光緒元年至二十五年間修復寺院。

文化大革命時期，被譽為 “龍華三寶” 之一的毗盧佛以及蓮花座下配配有的千佛被紅衛兵用棍棒敲成碎片，而彌勒殿供奉的彌勒佛化身布袋和尚坐像被砍下了頭顱，紅衛兵還將廟內宗教藏品集中焚燒了 3 天。1977 年，入選上海市文物保護單位。

佈局

龍華塔：龍華塔位於現今的龍華寺外，為八角磚木塔。總高七層，每層八面。相傳始建於東吳時期，現存結構建成於北宋。該塔在歷史上進行過多次整修，但在歷代整修過程中被添加了大量非宋代風格的結構。1949 年以後，這些後來新增的結構被先後拆除，並依照宋代風格重建，基本恢復了塔的原貌。2006 年 5 月 25 日，該塔單獨被國務院公佈為第六批全國重點文物保護單位。
彌勒殿：供奉彌勒菩薩像。
天王殿：供奉四大天王像。
大雄寶殿：供奉三尊金身佛像：毗盧遮那佛、文殊菩薩、普賢菩薩。內有一口古鐘，於明朝萬曆十四年鑄造。大殿前供奉二十諸天，大殿後供奉十六羅漢。釋迦牟尼佛像背後是一幅海島壁塑，描繪的是善才童子求法圖，海島壁有觀世音菩薩像。
三聖殿：供奉阿彌陀佛、觀世音菩薩和大勢至菩薩的金身佛像。殿內有前任龍華寺方丈明暘法師和已故中國佛教協會首任會長圓瑛法師的手跡。
方丈室：方丈接待和說法的地方，通常外賓禁止入內。
藏經樓：收集有各種版本大藏經和佛教經籍，以及法器、古玩、歷史珍貴文物等。
鐘樓：高三層，懸掛青龍晚鐘，其鐘建於清光緒二十年。
鼓樓：古代計時，擊鼓，敲鐘的地方。
切消定理

切消定理（cut-elimination theorem (or Gentzen's Hauptsatz)）是確立相繼式演算重要性的主要結果。它最初由格哈德・根岑在他的劃時代論文《邏輯演繹研究》對分別形式化直覺邏輯和經典邏輯的系統 LJ 和 LK 做的證明。切削定理聲稱在相繼式演算中，擁有利用了切規則的證明的任何判斷，也擁有無切證明，就是說，不利用切規則的證明。

相繼式是與多個句子有關的邏輯表示式，形式為 ""，它可以被讀做"A, B, C, 證明 N, O, P"，並且（按 Gentzen 的註釋）應當被理解為等價於真值函式" 如果（A & B & C ）那麼（N or O or P）"。注意 LHS（左手端）是合取（and）而 RHS（右手端）是析取（or）。LHS 可以有任意多個公式；在 LHS 為空的時候，RHS 是重言式。在 LK 中，RHS 也可以有任意數目的公式 -- 如果沒有，則 LHS 是個矛盾，而在 LJ 中，RHS 只能沒有或有一個公式：在右緊縮規則前面，允許 RHS 有多於一個公式，等價於容許排中律。注意，相繼式演算是相當有表達力的框架，已經為直覺邏輯提議了允許 RHS 有多個公式的相繼式演算，而來自 Jean-Yves Girard 的邏輯 LC 得到了 RHS 最多有一個公式的經典邏輯的更加自然的形式化；邏輯和結構規則的相互作用是它的關鍵。" 切 " 是在相繼式演算的正規陳述中的一個規則，並等價於在其他證明論中的規則變體，給出

（1）

和

（2）

你可以推出

（3）

就是說，在推論關係中 "切掉" 公式 "C" 的出現。

切消定理聲稱（對於一個給定的系統）使用切規則的任何相繼式證明也可以不使用這個規則來證明。如果我們認為是一個定理，則切消簡單的聲稱用來證明這個定理的引理可以被內嵌（inline）。在這個定理的證明提及引理的時候，我們可以把它代換為的證明。因此，切規則是可接納的。

對於用相繼式公式化的系統，分析性證明是不使用切規則的證明。這種證明典型的會很長，當然沒有必要這麼做。在散文《不要消除切呀！》中，George Boolos 展示了可以使用切在一頁中完成的推導，而它的分析性證明要耗盡宇宙的壽命來完成。

這個定理有很多豐富的推論。一旦一個系統被證明有切消定理，這個系統通常立即就是一致的。這個系統通常也有子公式性質，這是達成證明論語義的重要性質。切削是證明插值定理的最強力工具。基於歸結原理的完成證明查詢的可能性，導致 Prolog 程式語言的本質洞察，依賴於在適當的系統中接納切規則。
演繹定理

演繹定理是數理邏輯的一個核心規則，它清晰地描述元語言的純符號組合所做的演繹與邏輯語言裡的實質條件的聯絡。

簡介

演繹定理通常被視為元定理，也就是以元語言來描述的符號組合規則（也就是推理規則，如肯定前件）為基礎，配上邏輯公理（被認為＂永遠為真＂的一套合式公式）為前提去證明的某種規則，通常都有以下的形式：（以下 、 為任意合式公式）

「若根據前提 和公理與推理規則，可以推出 ，那對任意 也可以推出 」

視為元定理的例子請參見一階邏輯條目的演繹元定理。

但在某些邏輯系統中，演繹定理被定為基礎的推理規則。這種系統跟視為元定理的系統比較起來，推理的效力是等同的，所以在此並不贅述。

演繹的例子

證明 ((P→(Q→P))→R)→R:
(P→(Q→P))→R 1. 假設
P→(Q→P) 2. 公理 1
R 3. 肯定前件 2,1
((P→(Q→P))→R)→R 4. 演繹自 1 到 3 QED

從使用演繹元定理的演繹轉換到公理化證明

在公理化版本的命題邏輯中，通常有著公理模式和推理規則 (這裡的 P、Q 和 H 可以被替換為任何命題)：

公理 1：P→(H→P)
公理 2：(H→(P→Q))→((H→P)→(H→Q))
推理規則肯定前件：從 P 和 P→Q 推出 Q

從這些公理和推理規則你可以快速的演繹出定理模式 P→P (參見命題演算)。選擇這些公理模式使你能夠容易的從它們推匯出演繹定理。可以透過使用真值表驗證來證實它們為重言式，而肯定前件保持真理。

假如我們有了 Γ 與 H 證明 C，並且我們希望證實 Γ 證明 H→C。對於在演繹中的每個步驟 S:

如果這個步驟是在 Γ 中的前提 (重複步驟) 或一個公理，我們可以應用肯定前件於公理 1：S→(H→S)，來得到 H→S。
如果這個步驟是 H 自身 (假設步驟)，我們應用這個定理模式來得到 H→H。
如果這個步驟是應用肯定前件於 A 和 A→S 的結果，我們首先確保它們已經被轉換成 H→A 和 H→(A→S)，並接著採用公理 2：(H→(A→S))→((H→A)→(H→S))，並應用肯定前件來得到 (H→A)→(H→S)，並接著再次應用來得到 H→S。

在這個證明的結束處我們有了所需要的 H→C，除了它現在只依賴於 Γ 而不再依賴於 H 之外。所以這個演繹步驟將消失，合併到是從 H 推匯出的結論的前面步驟中。

為了最小化結果證明的複雜性，在轉換之前要進行某些預處理。實際上不依賴於 H 的任何步驟 (除了結論) 都應當被移動到假設步驟之前並去縮排一個層次。並且任何其他不必要步驟 (不用來得到結論或可以被繞過的)，比如不是結論的重複應當除去。

在轉換期間，在演繹開始處 (緊接著 H→H 步驟之後) 放置所有的對公理 1 的肯定前件應用可能是有用的。

在轉換肯定前件的時候，如果 A 在 H 的範圍之外，則必須應用公理 1：A→(H→A)，和肯定前件來得到 H→A。類似的，如果 A→S 在 H 的範圍之外，應用公理 1：(A→S)→(H→(A→S)) 和肯定前件來得到 H→(A→S)。做這二者不是必須的，除非肯定前件步驟是結論，因為二者都在這個範圍之外，那麼肯定前件應當已經被移動到 H 之前並且因此也在這個範圍之外。

在 Curry-Howard 同構下，上述對演繹元定理的轉換過程類似於從 lambda 演算項到組合子邏輯項的轉換過程，這裡的公理 1 對應於 K 組合子，而公理 2 對應於 S 組合子。注意 I 組合子對應於定理模式 P→P。

轉換的例子

要展示如何把自然演繹轉換成公理化形式的證明，我們應用它於重言式 Q→((Q→R)→R)。實際上，知道可以這麼做通常就足夠了。我們通常使用自然演繹形式來替代更長的公理化證明。

首先，我們寫使用自然演繹的證明:
Q 1. 假設
Q→R 2. 假設
R 3. 肯定前件 1,2
(Q→R)→R 4. 演繹自 2 到 3
Q→((Q→R)→R) 5. 演繹自 1 到 4 QED

其次，我們轉換內層的演繹為公理化證明:

(Q→R)→(Q→R) 1. 定理模式 (A→A)
((Q→R)→(Q→R))→(((Q→R)→Q)→((Q→R)→R)) 2. 公理 2
((Q→R)→Q)→((Q→R)→R) 3. 肯定前件 1,2
Q→((Q→R)→Q) 4. 公理 1
Q 5. 假設
(Q→R)→Q 6. 肯定前件 5,4
(Q→R)→R 7. 肯定前件 6,3
Q→((Q→R)→R) 8. 演繹自 5 到 7 QED

第三，我們轉換外層的演繹為公理化證明:

(Q→R)→(Q→R) 1. 定理模式 (A→A)
((Q→R)→(Q→R))→(((Q→R)→Q)→((Q→R)→R)) 2. 公理 2
((Q→R)→Q)→((Q→R)→R) 3. 肯定前件 1,2
Q→((Q→R)→Q) 4. 公理 1
((Q→R)→Q)→((Q→R)→R)→Q→(((Q→R)→Q)→((Q→R)→R)) 5. 公理 1
Q→(((Q→R)→Q)→((Q→R)→R)) 6. 肯定前件 3,5
Q→(((Q→R)→Q)→((Q→R)→R))→(Q→((Q→R)→Q)→Q→((Q→R)→R))) 7. 公理 2
Q→((Q→R)→Q)→Q→((Q→R)→R)) 8. 肯定前件 6,7
Q→((Q→R)→R)) 9. 肯定前件 4,8 QED

這三個步驟可以簡潔的使用 Curry-Howard 同構表述為:

首先，在 lambda 演算中，函式 f = λa. λb. b a 有型別 q → (q → r) → r
其次，透過在 b 上的 lambda 除去，f = λa. s i (k a)
第三，透過在 a 上的 lambda 除去，f = s (k (s i)) k
霍爾蘭六邊形

霍爾蘭六邊形（Holland Hexagon/Holland Codes)，又名霍爾蘭職業型別論，是由心理學家約翰・霍爾蘭 (又譯霍蘭德) 於 1990 年發明，主要應用於生涯規劃及職業輔導，藉以協助受測者瞭解自己人格特質，並選擇能反映個人人格特質的職業。

霍爾蘭最初是將他的六種型別分為「運動型、智力型、審美型、支援型、說服型和順從型」。隨著理論的發展，他後來就將其改成了「實做型（做事者）、研究型（思考者）、藝術型（創造者）、社會型（幫助者）、企業型（說服者）和事務型（組織者）」。霍爾蘭的六種型別彼此存在著一些相關性。他也在其理論中說道「職業的選擇是一種個性的表達」。

R: 實做型

喜歡面對「事」，對需要運動協調、技能和力量的工作感興趣。解決問題的方法是實際去做，而非坐下來談論或思考它。偏好具體方法而非抽象理論。例如：

工程師
太空人
牙醫
卡通片繪製
司機
外科醫生
考古學
武術
物理治療
建築師
飛機師
消防員
程式設計師
農學
運動員
運動醫學
廚師
機械工程 / 汽車工程
獸醫
醫生
護士

I: 研究型

喜歡面對「事」及「想法」。喜歡思考與觀察而非行動；喜歡組織並理解資訊，而非說服。例如：

化學家
心理學家
技術寫作人員
科學家
程式設計師
註冊會計師
金融分析師
經濟學家
電腦科學家
精神科醫生
精算師
數學家
醫生
藥劑師
護士

A: 藝術型

喜歡面對「想法」及「人」 。傾向有創造力、開放、創新性、原創性、洞察力、敏銳、獨立和情緒。他們反對結構及規則，但享受跟人或體力有關的任務。他們往往比其他型別的人更情緒化。例如：

公共關係
平面設計師
作家 / 詩人
技術寫作人員
音樂治療
音樂家
烹飪藝術
畫家
新聞業
聖職者
舞蹈治療
模特兒
翻譯員
攝影師

S: 社會型

喜歡面對「人」，並在教學與助人時感到滿足。相較於變得很聰明或富有，他們往往更對於與人的親密關係感到興趣。例如：

社工
居民組織
律師
音樂治療
消防員
教育
教學科技
教師
理財規劃師
聖職者
圖書館員
翻譯員
醫生
藝術治療
藥劑師
護士
顧問
顧客服務

E: 企業型

喜歡面對「人」及「資料」。他們往往是善於言談的人，並用此技巧來領導或說服人。重視名譽、權力、金錢和地位。例如：

公共衛生
公共關係
公共政策
出版業
地產
市場策劃 / 廣告策劃
法學 / 政治學
金融分析師
保險
律師
理財規劃師
新聞業
經紀人
聖職者
電話直銷
零售
管理
管理顧問
精算師
顧客服務

C: 事務型

喜歡面對「事」及「資料」。喜歡規則與規範，並強調自我控制；不喜歡無結構或含糊不清的工作或人際關係。重視名譽、權力和地位。例如：

工商管理
工程師
技術寫作人員
房產仲介
校對
秘書
接待員
教學科技
理財規劃師
程式設計師
會計師
零售
圖書館員
精算師
銀行 / 投資銀行
編輯
學術行政 / 辦公室行政
藥劑師
護士
顧客服務
蘇鑰機

蘇鑰機 (Clement So York Kee)，香港新聞社會學專家，曾任香港中文大學新聞與傳播學院，專門作從社會學的角度去研究各地社會的傳媒生態的研究。他現時是《傳媒生態調查報告》的主持人，每年都會就香港及中國大陸的傳媒生態發表報告，並推測社會發展形勢。

簡歷

蘇鑰機早年畢業於觀塘雞寮官塘循道學校（1968 年小六下午校）及青年會書院（1968 年入讀中一），其後升讀香港中文大學，修讀社會學學士、傳播哲學碩士。之後，他前往美國賓夕法尼亞大學的安那堡傳播學院深造，並取得傳播哲學博士。

畢業後，蘇鑰機曾任加拿大溫哥華《明報》副總編輯、《世界日報》記者及電視廣播有限公司的市場研究員。之後加入香港中文大學新聞與傳播學院成為助理教授，之後晉升為副教授、教授，曾任新聞與傳播學院院長，於 2011 年 9 月 1 卸任。

蘇鑰機的研究主要在香港的傳媒生態，從新聞社會學的角度，透過從香港的報章新聞及評論，去推測當前的社會生態環境，每年都會就香港及中國大陸的傳媒生態發表報告，並推測社會發展形勢。

2010 年，蘇鑰機與張宏艷、譚蕙芸和李玉茹等香港資深傳媒人，聯同新聞教育基金與香港中文大學新聞與傳播學院，推出一百四十一個本港新聞從業員撰寫的《一人一故事》。2013 年，再推出《一人又一故事》，並且擔任主編。