Samantha912/NLP_A2_WTH huggingface dataset:
利基控股

利基控股有限公司，簡稱利基控股（Build King Holdings Limited，），在 1980 年由惠記集團有限公司分拆建築業務，主要經營承建盤平整，道路，橋樑，渠務，汙水處理設施，水務，機場基礎設施，鐵路基礎設施，港口，填海，海事結構，海底管線，住宅 / 商業樓宇，公園，隧道，堆填區，廢物管理和廢水處理廠等行業。

在 2004 年 7 月 23 日，在香港交易所透過已清盤的 I-China Holdings Limited 換取上市，董事會主席為單偉彪，總裁為張錦泉，還有新建立集團有限公司。業務地區為香港為首，其次是中國內地，以及阿聯酋。總部位於香港九龍觀塘偉業街 223 號宏利金融中心 B 座六樓 601 至 605A 室。

承建專案

1.1 土木工程

中環站至香港站行人隧道
機場快線九龍南隧道
港鐵小蠔灣車廠
將軍澳線百勝角隧道
西鐵線錦上路站及八鄉車廠
西鐵線荃灣西站及葵青隧道
西鐵線美孚站至南昌站區段
廣深港高速鐵路香港段雞公嶺段隧道
金鐘站擴建部分
東湧新市鎮擴充套件 - 填海及前期工程工程合約（與南韓三星物產聯營，合約總額 120.76 億港元）

1.2 教育機構

香港科技大學賽馬會大樓
保良局何壽南小學新校舍及聖公會聖十架小學
港島中學校舍重建專案
香港中文大學新亞書院梅雲堂
東華三院蔡榮星小學
郭怡雅神父紀念學校新校舍

1.3 住宅

映灣園海珀名邸

1.4 公共設施

康寧道公園
馬鞍山運動場
新界東文化中心（利基 - 安保聯營）
文敏生

文敏生，男，山西垣曲人，中華人民共和國政治人物。曾任河南省省長、中華人民共和國郵電部部長。

生平

文敏生早年參加中國工農紅軍，擔任豫南紅軍游擊隊宣傳隊長、豫南人民抗日軍獨立團政治處主任等職。1941 年，擔任中共鄂中地委書記兼新四軍五師第二軍分割槽政委。國共內戰期間，擔任江漢區黨委副書記兼江漢軍區政委、湖北荊州地委書記兼荊州軍分割槽政委等職。

中華人民共和國成立後，擔任中南軍政委員會副秘書長。1953 年，擔任廣東省人民政府副主席、廣東省副省長、廣東軍區第三政委等職。1959 年，擔任中共廣東省委書記。1962 年，轉任中共河南省副省長、省長、代理書記，文化大革命期間被批鬥迫害。1977 年起用，任中共哈爾濱市委副書記等職。1981 年，任中華人民共和國郵電部部長，在任期間對中國郵政進行改革。著有《文敏生回憶錄》。
T33/34 次列車

T33/34 次列車是中國鐵路曾運行於天津站至上海站之間的特快旅客列車，由中國鐵路北京局集團天津客運段負責客運任務，1978 年 4 月 1 日開行，當時車次為 123/124 次列車，1995 年 8 月，123/124 次列車變更車次為 33/34 次，不久更換車底，成為天津至上海間的普通空調快速列車，2000 年 10 月 21 日變更車次為 K33/34 次列車，2007 年 4 月 18 日中國鐵路第六次大提速後升級為 T33/34 次列車。列車在停運前使用 25K 型客車，沿京滬鐵路、滬昆鐵路執行，全程 1512 公里，途經天津、河北、山東、安徽、江蘇、上海、浙江七省市。其中天津站至杭州站下行使用車次為 T33 次；杭州站至天津站上行使用車次為 T34 次。2011 年 7 月 1 日，京滬高鐵正式開通運營，T33/34 次列車成為鐵道部取消的 6 對普通列車車次之一。。

歷史時刻
吳志達

apprehended= 1985 年 7 月 6 日

sentence = 死刑 1999

imprisoned = 聖昆丁州立監獄

}}

吳志達（Charles Chitat Ng，），生於香港，1980 年代移居美國，在當地謀殺約 25 人，不少家庭全家被擄走，囚禁於密室之中，迫令女士擺出性感姿勢，但最終一一被殺害，案件轟動美國及香港。

背景

吳志達於香港一個富裕家庭出生，父親為一家公司的董事。曾在著名學府聖若瑟書院接受初中教育，但因企圖縱火燒校內的崇拜堂而被開除出校。吳之父親將其送往英國寄宿學校讀高中，但他又因偷竊而被學校開除。

1978 年，吳志達獲得美國那慕爾聖母大學錄取，以學生簽證身分前往美國加州，但在一個學期後退學；後因交通肇事逃逸而被起訴。雖然他並非美國籍，但他虛報其出身地為美國，成功入伍美國海軍陸戰隊，翌年被擢升為軍士，但又因偷竊軍火而被革職及判監，中途逃獄返回加州。

案情

1980 年代初，吳志達和聯合犯案，在北加州一帶擄走最少 25 名男女，將其禁錮在位於舊金山以東 240 公里 (150 英里)，由力克擁有的農場。受害者多為女性，她們飽受虐待、折磨、強姦、直至虐殺；部份過程更被拍攝紀錄。

1985 年，力克因非法持有槍械罪在舊金山被捕，後在獄中服食藏在衣服內的氰化物毒藥自殺。警察前往力克的農場搜查，發現人類骸骨。吳志達則及時逃亡至加拿大，但於當地因偷竊而被捕及判監禁。美國遂向加拿大提出引渡請求，但因引渡即會有判處死刑之虞，最初奉行 “死刑不引渡” 原則拒絶引渡。後來迫於美方的壓力，加拿大最終在 1991 年將吳引渡回美國受審。

1999 年 2 月，吳志達被控以 12 項謀殺罪，受害者包括 6 男、3 女及 2 名男嬰。吳志達利用一切司法程式的方法延宕，以致訴訟費用高至 1400 萬美元，是當時加州有史以來費用最高昂的案件。最後 11 項罪名成立，判處死刑。截至 2022 年 5 月，吳志達仍為死刑犯，但是加利福尼亞州自從 2006 年開始就沒有執行過死刑。

2022 年 7 月 28 日，加州最高法院裁定維持吳志達原判及其死刑裁決。
呼叫堆疊

as = 稱}} 別稱有：執行棧（execution stack）、控制棧（control stack）、執行時棧（run-time stack）與機器棧（machine stack），是電腦科學中儲存有關正在執行的子程式的訊息的堆疊。英文有時直接簡稱 “棧”（the stack），但堆疊中不一定僅儲存子程式訊息。幾乎所有電腦程式都依賴於呼叫堆疊，而高階語言一般將呼叫堆疊的細節隱藏至後臺。

呼叫堆疊最經常被用於存放子程式的返回位址。在呼叫任何子程式時，主程式都必須暫存子程式執行完畢後應該返回到的位址。因此，如果被呼叫的子程式還要呼叫其他的子程式，其自身的返回位址就必須存入呼叫堆疊，在其自身執行完畢後再行取回。在遞迴程式中，每一層次遞迴都必須在呼叫堆疊上增加一條位址，因此如果程式出現無限遞迴（或僅僅是過多的遞迴層次），呼叫堆疊就會產生堆疊溢位。

功能

呼叫堆疊的主要功能是存放返回位址。除此之外，呼叫堆疊還用於存放：

本地變數：子程式的變數可以存入呼叫堆疊，這樣可以達到不同子程式間變數分離開的作用。
引數傳遞：如果暫存器不足以容納子程式的引數，可以在呼叫堆疊上存入引數。
環境傳遞：有些語言（如 Pascal 與 Ada）支援「多層子程式」，即子程式中可以利用主程式的本地變數。這些變數可以透過呼叫堆疊傳入子程式。

例項

2.1 組合語言

以下 MIPS 組合語言程式計算，並將結果存至暫存器 s0。

main:

li $a0, 3

li $a1, 4

jal sumsq

move $s0, $v0

j mainend

sumsq:

addi $sp, $sp, -4 # 在堆疊上分配空間

sw $ra, 0 ($sp) # 將 sumsq 的返回位址存入堆疊中

jal square

move $t0, $v0

move $a0, $a1

jal square

add $v0, $v0, $t0

lw $ra, 0 ($sp) # 從堆疊中取回 sumsq 的返回位址

addi $sp, $sp, 4 # 釋出堆疊上分配的空間

jr $ra

square:

mult $a0, $a0

mflo $v0

jr $ra

mainend:

這裡，主程式（main）呼叫「sumsq」子程式並將返回位址存入暫存器 ra，但是「sumsq」子程式需要呼叫「square」子程式。為保證 sumsq 的返回位址不被重寫，這個位址被儲存在堆疊中。在 square 子程式返回後，sumsq 再從堆疊中取回其自身的返回位址。

安全性

在較底層語言（如組合語言與 C 語言中），程式控制訊息與資料可能一同被存入呼叫堆疊中，因此造成安全隱患，可能允許惡意程式透過棧緩衝區溢位（stack buffer overflow）來獲取程式的控制權。
鄭攻陳之戰

鄭攻陳之戰，鄭國攻打陳國的戰爭，主要有兩次。

前 716 年

前 718 年，陳國參加以宋國為首的盟軍在東門之戰中攻打鄭國。

前 717 年，鄭莊公主動請求與陳國講和，陳桓公並不準許，大夫五父勸諫陳桓公應親仁善鄰，答應講和。陳桓公因已答應宋國及衛國，不想被兩國責難，所以拒絕。轉年（前 716 年）五月，鄭莊公入侵陳國，大獲全勝，但是陳國不同意停戰。

前 715 年十二月，陳國及鄭國講和。翌年四月，鄭國世子忽遣使如陳求婚，陳桓公答應，世子忽至陳，親迎媯氏以歸鄭國。自此陳鄭結為同盟。

前 548 年

前 549 年二月，鄭簡公去晉國，請求攻打陳國。前 549 年冬季，陳哀公會合楚王攻打鄭國，在陳軍經過的路上，水井被填塞，樹木被砍伐，鄭國人怨恨他們。前 548 年六月，鄭卿公孫舍之（子展）和子產率領七百輛戰車攻打陳國，夜間突然襲擊，於是攻進了城。公孫舍之命令軍隊不要進入陳哀公的宮室，和子產親自監守著宮門。陳哀公派司馬桓子把宗廟的祭器贈送給他們，然後自己穿上喪服，抱著土地神的神主，讓他手下男男女女分開排列捆綁著，在朝廷上等待。公孫舍之手拿馬僵繩進見陳哀公，再拜叩頭，捧著酒杯進獻。子產進來，數點俘虜的人數就出去了。鄭國人向土地神祝告除災去邪，司徒歸還民眾，司馬歸還兵符，司空歸還土地，隨後就撤兵回國。子產向晉國奉獻戰利品，穿著軍服主持事務。晉國計程車莊伯質問陳國的罪過。
李元陽

李元陽，字仁甫，號中谿，雲南大理人，明朝政治人物、理學家、文學家，同進士出身。

生平

明嘉靖元年（1522 年）壬午科舉人，雲貴鄉試第二名。嘉靖五年（1526 年）丙戌科第三甲第 65 名進士，初授翰林院庶吉士，六年十一月授江西分宜縣知縣。因為仗義執言，受到同僚排擠，他因此藉故歸家賦閒。嘉靖十年（1531 年）復出，官授江陰知縣，在任期間，外抗擊 “海寇”，內施惠政於人民。後升為戶部主事，監察御史，再次因直言而被貶為荊州知府，政聲顯著。因識張居正於童試，在張居正擔任首輔之後亦與之通書信。最終因看不慣官場黑暗，回到大理老家隱居，與謫居於雲南的楊升庵相契最深，兩人常常一起吟詩作畫，同遊景勝。與張含、楊士雲、胡廷祿、王廷表、唐錡，相互酬唱，並稱楊門六學士。

著作

李元陽在文學上貢獻卓著，與楊士雲同修《大理府志》，並修訂《雲南通志》。著有《心性圖說》、《豔雪臺詩》、《中谿漫稿》，詩文彙編為《中谿家傳匯稿》。在閩中曾校刻《史記題評》、《十三經注疏》、《杜氏通典》等計 764 卷。

墓葬

李元陽墓位於蒼山應樂峰麓，崇聖寺內，東距三塔 200 米，北與段功墓相望。李元陽墓為圓形圍石封土墓，直徑約 3 米，墓前建有石牌坊，墓道兩旁立有翁仲、獅、象、鹿、馬等石雕 10 軀，四周砌以圍牆。“文革” 中被當地村民盜掘破壞，墓前石碑及石像等被毀。現僅存遺址和殘損的墓誌銘。1985 年公佈為第一批大理市文物保護單位。
天寧機場

天寧國際機場（Tinian International Airport，）是一座位於美屬北馬裡亞納群島天寧島的對外航空交通機場。雖名為國際機場，但鮮少有國際航班。大多數航班皆為馬裡亞納群島之間的島際航班。臺灣復興航空曾於 2014 年底向美國交通部提出申請，飛航來往臺北臺灣桃園國際機場的航班。

航空公司與目的地

塞班國際機場
張慧慈

張慧慈（英文名：Cheung Wai Tsz，），香港作家及節目主持，曾經香港有線電視、亞洲電視新聞記者及主播和無綫電視前女藝員，籍貫廣東惠州惠東縣多祝鎮。

經歷

1995 年畢業於香港浸會大學文學院中國語言及文學系，隨即加入壹週刊擔任財經記者。 一年後加入精英廣告公司任創作部撰稿員。

她在 1997 年以自薦的方式，加入香港有線電視成為新聞主播。

2003 年初辭任香港有線電視新聞主播一職，同年加盟亞洲電視新聞部；在出任新聞主播之餘，還參與各類節目主持。但是，她在 2007 年 4 月起不再出任新聞主播，而是專注於培訓事業。

張慧慈曾接受亞洲電視節目《電視風雲 50 年》訪問。2004 年在亞視時首次與繆美詩及黃子雄擔任雅典奧運主持，其後在 2007 年 7 月離開亞洲電視，同年前往英國艾塞克斯大學修讀心理學系碩士課程，在學期間曾一度向學校申請告假一星期，特意回港接受亞洲電視節目《電視風雲 50 年》的訪問。2008 年畢業後再回港繼續從事培訓工作，同年 3 月 9 日並加入無綫電視。

2009 年 3 月 8 日，張慧慈曾接受無綫電視節目《星期日檔案》訪問。同年 3 月 30 日起，張慧慈擔任無綫電視節目東張西望主持，期間亦曾在節目香港築跡擔任主持。2015 年 3 月 19 日，張慧慈在主持無綫電視節目東張西望最後時段，宣佈是最後一次主持東張西望，及後約滿離職無線電視，目前則現今已專注發展其個人兒童培訓教育事業。

張慧慈目前已婚，丈夫是何偉光 (Chris)。兩人於 1998 年結婚，並於 2012 年 12 月初誕下兒子何日楠 (Ethan)。

當上培訓師

張慧慈在修讀本科時期已選修心理學，之後更積極鑽研身心語言程式學（NLP）、九型人格、邁爾斯 - 布里格斯性格分類法等實用心理學。近年更隨 Dr.Wyatt Woodsmall 及 Marvin Oka 學習，並成為認可 NLP 培訓師。

2006 年，張慧慈更獲得「亞洲十大企業培訓師暨最傑出溝通學培訓師」榮譽。她是十位得獎傑出培訓師中，年紀最輕和知名度最高的行業代表人物。

專欄

張慧慈現於星期一至五，於《頭條日報》刊登名為《主播看世界》（現稱《慧眼看世界》）的專欄。

張現在亦於 she.com 主持《在職空間》環節，為網民解答職場疑難。

3.1 「愛的承諾」事件

2007 年，張在其《頭條日報》專欄內，發表一篇名為《愛的承諾》的文章，當中提及到：「如果男人不能夠把他的財產全部奉獻給妻子，則應視之為嫁不得的男人。」其後她更奉勸其他女性效法她這套對愛情的理念，而文章刊登後受到網友熱議，有網友在她的頭條日報留言版上留言，狠批其思想過份拜金。

個人作品

《自信你可以》張慧慈 著 明窗出版社 2005 年 6 月初版 ISBN 9628871978
《慧眼看世界》張慧慈 著 星島出版社 2007 年 2 月初版 ISBN 9789626725955
《慧眼看世界 2》張慧慈 著 星島出版社 2007 年 2 月初版 ISBN 9789626726396
《慧眼看世界 3》張慧慈 著 星島出版社 2010 年 5 月初版 ISBN 9789626727690
《自信心理 T.E.A.》張慧慈 著 明窗出版社 2013 年 3 月初版 ISBN 9789888206193
幻夢境

幻夢境（Dreamlands、Dream Cycle）是由霍華德・菲利普・洛夫克拉夫特所創作的一系列幻想小說中的虛構世界。其重要的構成元素在其發表於 1926 年的長篇小說《》有詳細的描寫。幻夢境是潛意識與想像力構成的平行空間，其中的物理法則跟現實有極大差距，在其中夢境就是真實。

進入幻夢境的方法

1.1 作夢

要到幻夢境最方便的方式是經由作夢，一個途徑是走下七十階淺眠的階梯（the seventy steps of light slumber）進入火燄洞窟（Cavern of Flame）去見兩位守門人 Nasht 和 Kaman-Thah，經過他們的同意再走下七百階深眠的階梯（the seven hundred steps of deeper slumber），開啟通往幻夢境的迷魅森林（Enchanted Wood）的大門。

另一條路是在夢中的懸崖邊，向著無盡的虛空一躍而下，身旁會有不可思議甚至駭人的黑暗無形（dark shapeless）、閃耀的光球（faintly glowing spheres），以及狂笑的有翼之物（laughing winged things），然後會見到一個發光的裂隙，經此進入幻夢境。

若造夢者是在海邊，在夢中可能會有白船來接他進入幻夢境，白船停泊於幻夢境中的大部分港口，船長瞭解幻夢境的各地風俗情況（地球上）。

1.2 經由空間的縫隙

若是要用肉身進入，食屍鬼的巢穴中往往有連線幻夢境的通道，此外謠傳現實中某處的樹海有與迷魅森林相連的空間，而在中亞的山脈中有與冷原（The Plateau of Leng）相連的洞穴，除了這些之外，還有許多通往異空間的門可以前往幻夢境。

造夢者

在現實中造夢者（Dreamer）可能是個不得意的人，但只要擁有豐富的想像力並接受夢境的合理性，造夢者可以創造土地、宮殿、財寶，若是有夠強的執唸的話，甚至可以在肉身死去之後在幻夢境中永生。另一方面，越是接受成人世界的一切（如科學邏輯），則會失去作夢的能力，另外若是在幻夢境的冒險中死亡，則夢中的自我也死亡，就不能再經由作夢進入。對有些造夢者，如倫道夫・卡特，追回其逝去的夢中世界是其終身的目標。

幻夢境

由人類的潛意識構成的平行空間，在其中人類可以互相溝通 (不論語言)，登上月球只需要海船，地球是平面，生活方式仍是中世紀。

3.1 地區

塞勒菲斯城（Celephais）
迷魅森林（Enchanted Wood）
卡達斯（Kadath）
冷原（The Plateau of Leng）
納斯峽谷（The Vale of Pnath）
茲恩洞穴（The Vault of Zin）

3.2 種族

人類
食屍鬼：信仰古神諾登斯的食屍鬼在地底有不少聚落。
貓；在幻夢境具有空間跳躍的能力隨時都能跳到月面並在地球上大部分地點出現，另外他們有組織軍團，由主據點烏撒（Ulthar）的貓將軍統領。
月獸（Moonbeast）；建造巨大的有星際航行能力黑色戰艦的生物，體形像蟾蜍、嘴旁有觸手，一口就能吞噬冒險者，是奈亞拉託提普的手下。
zoog：褐色長得像囓齒類的肉食動物，群居在迷魅森林。剛進入幻夢境的冒險者若是在林中過夜就有遇難的可能。會用林中特產的真菌釀酒，跟 zoog 交情夠好的話，可以得到這種珍釀。

3.3 神祇

大部分的舊日支配者與外神都不會在幻夢境活動，除了跟人類意識有關的奈亞拉託提普。許多地球神祇會在此現身並活動，包括了貓神芭絲特。

3.4 其他

FGO2020 泳裝活動《從者夏令營～迦勒底驚魂夜～》登場從者艾比蓋兒・威廉斯（泳裝）的演出寶具設計靈感參考 “幻夢境” 場景。

相關小說

可參見洛夫克拉夫特作品列表。

《北極星》 (1918)
《翻越睡夢之牆》(1919)
《降臨在鹿野苑的災難》 (1919)
《白船》(1919)
《烏撒的貓》 (1920)
《塞勒菲斯》(1920)
《其它神》 (1921)
《許普諾斯》(1922)
《夢尋秘境卡達斯》(1926)
《銀鑰匙》 (1926)
《霧中怪屋》 (1926)
《穿越銀鑰匙之門》 (1932)
《魔女屋中之夢》 (1933)
楊嶸

楊嶸，清朝官員，同進士出身。

乾隆丙戌科（1766 年）三甲進士，曾任廣西省武緣縣知縣、賓州同知，署理知府。為官清廉，兩袖清風，死於任上時其子無力歸葬，後由其孫楊曇多方籌措得以扶柩還鄉安葬。詩作有《張貞女》等。
大時代 (專輯)

《大時代》是古巨基久違 3 年之後，於 2011 年發行的國語專輯，也是其加入英皇娛樂的首張國語大碟。在香港與中國內地同步於 2011 年 4 月 8 日發行，臺灣版則是於 2011 年 12 月 9 日發行。英皇娛樂在臺舉行發行記者會時宣佈該專輯全亞洲銷量突破 30 萬張。

曲目

獲獎紀錄

新城國語力頒獎禮 2011 - 新城國語力合唱歌曲 《夠朋友》
新城國語力頒獎禮 2011 - 新城國語力歌曲 《窮我一生》
第八屆勁歌王金曲金榜頒獎禮 - 年度最佳專輯《大時代》
音樂先鋒榜 2011 頒獎典禮 -「港臺十大先鋒金曲 - 窮我一生」
音樂先鋒榜 2011 頒獎典禮 -「22 家電臺聯頒最佳專輯最佳專輯 - 大時代」

發行歷史

相關網站
國家工程研究中心

國家工程研究中心指中華人民共和國國家發展和改革委員會組織等建設的研究開發實體。國家工程研究中心的建設計劃於 1987 年由國家計劃委員會組織實施，1992 年利用世界銀行貸款大規模建設。國家工程研究中心依託大型企業、研究院和大學，主要功能是提高自主創新能力、促進科學成果的轉化、實現科技成果的工程化和商業化，從而提升相關產業的競爭力。國家工程研究中心強調研究機構與企業的結合，強調科技成果能夠源源不斷的推向市場，強調自身能夠良性迴圈。從 1987 年到 2011 年，已經有 100 多個國家工程研究中心建成，它們在能源、材料、醫藥、農業、生物、交通、通訊和環保等領域成為國家重要的研究開發機構。
傑佛瑞・伯比奇

傑佛瑞・羅納德・伯比奇，FRS（Geoffrey Ronald Burbidge，），英國天文學家，最後工作地點是美國聖地牙哥加利福尼亞大學。妻子是天文學家瑪格麗特・伯比奇。

教育

傑佛瑞・羅納德・伯比奇一開始在布里斯托大學主修歷史，後將主修改為物理，之後在 1951 年於倫敦大學學院取得物理學博士。他在就讀博士班期間他遇到了他的妻子瑪格麗特・伯比奇（原姓 Peachey），兩人在 1948 年結婚。

工作經歷

瑪格麗特・伯比奇在加州理工學院獲得職位以前，伯比奇夫婦曾在哈佛大學、芝加哥大學和劍橋大學工作，後來傑佛瑞在威爾遜山天文臺和帕洛馬山天文臺工作。1962 年時伯比奇夫婦獲得聖地牙哥加利福尼亞大學的教職。1978 年到 1984 年之間傑佛瑞擔任基特峰國立天文臺臺長。

B2FH 理論

1957 年伯比奇夫婦和美國物理學家威廉・福勒以及英國天文學家弗雷德・霍伊爾提出了關於恆星核合成的一篇著名論文，也就是以四人姓氏第一個字母命名的 B2FH 理論。該論文描述了恆星如何將較輕元素經由核融合組成較重元素，然後這些重元素被釋放到恆星之外形成宇宙中包含行星在內的其他結構。

替代宇宙學

伯比奇晚年為人所知的則是他的替代宇宙學：和大爆炸理論相牴觸的「穩恆態宇宙學」。根據伯比奇的理論，宇宙是處於振盪狀態，且會在無限時間中膨脹和收縮。這個理論的爭議性讓伯比奇帶來了一定的知名度甚至罵名。

榮譽

獎項

1959 年和妻子瑪格麗特・伯比奇一起獲得美國天文學會海倫・B・華納天文學獎
1999 年布魯斯獎
2005 年英國皇家天文學會金質獎章
2007 年美國國家科學院科學回顧獎

命名事物

小行星 11753
塞薇利婭・加比奧尼

塞薇利婭・加比奧尼馬可斯・布魯圖斯的母親。塞薇利婭是少數在古羅馬的歷史紀錄中被提名的婦女。她非常有雄心。為了得到凱撒的青睞，她給凱撒寫了一封情書，並讓人將它送到元老院去交給凱撒，當凱撒在會議間偷偷讀這份情書時，塞薇利婭・加比奧尼的同母異父弟弟（小加圖）以為凱撒在搞陰謀控告凱撒。凱撒說他讀的不是陰謀信，而是一封情書，但因為許多在場的元老不相信他，他被迫交出這封情書，導致了一場轟然醜聞。塞薇利婭與凱撒之間的情人關係一直持續到凱撒被刺。

雖然刺殺凱撒的是塞薇利婭的兒子，刺殺者還在凱撒死後到塞薇利婭的家裡聚會，且塞薇利婭也在會議當中為他們出謀劃策，但是塞薇利婭在後來沒有遭到迫害。
斯坦頓街猶太會堂

斯坦頓街猶太會堂（Stanton Street Shul）是一座古老的猶太會堂，位於曼哈頓的下東城斯坦頓街 180 號，由來自加利西亞東南部 Brzezan（今屬烏克蘭）的猶太移民興建於 1913 年。它是少數倖存的住宅猶太會堂之一。該猶太會堂在 2000 年幾乎被關閉。2002 年列入國家史蹟名錄，目前正在修復。
袴田巖

袴田巖（ (Hakamada)，後經其家人證實，正確讀法為はかまた (Hakamata)。}}，），原日本、世界拳擊理事會，後因袴田事件成為死刑判決者而受到關注。

生平

金氏世界紀錄

2013 年 4 月 9 日，袴田巖被金氏世界紀錄認定為世界上服刑時間最長的死囚。根據金氏世界紀錄官方網站介紹，從 1968 年 9 月被判處死刑到 2014 年 3 月，袴田巖共被監禁 45 年半，因此獲認可為金氏世界紀錄。

出演

3.1 電影

全部均為紀錄片。

『ふたりの死刑囚』東海テレビ放送、2015 年
『袴田巌 夢の間の世の中』キムーンフィルム、2016 年
『獄友』キムーンフィルム、2017 年
『48 years – 沈黙の獨裁者』2018 年

3.2 節目

『死刑囚と姉 －袴田事件 50 年－』テレビ靜岡、2016 年 7 月 26 日放送
ETV 特集「獄友たちの日々」（2017 年、NHK E テレ）
NNN ドキュメント '18『我、生還す －神となった死刑囚・袴田巖の 52 年－』中京テレビ放送、2018 年 10 月 15 日放送
ドキュメンタリー解放區『袴田事件 57 年 ～再審の壁～』TBS、2023 年 08 月 07 日放送
醫療輔助隊少年團

醫療輔助隊少年團（英文：Auxiliary Medical Service Cadet Corps，AMSCC ）是香港特別行政區政府醫療輔助隊架構下的一部分，隊員年齡由 12 至 18 歲，是香港青少年制服團體之一。少年團提供獨特的技能訓練，並且教授醫療、衛生及健康專業知識，藉以幫助團員建立良好品格，日後成為社會的棟樑。

歷史

根據於 1999 年修訂的《香港法例》第 517 章第 21 條，行政長官可以招募和維持一個稱為醫療輔助隊少年團的少年團，由已經登記加入該團的 12 歲以上但是未滿 18 歲的人士所組成。招募和維持少年團的費用須由立法會自政府一般收入中撥出的款項支付。在符合規例的情況下，少年團團員的活動、訓練、服務條件及福利須由醫療輔助隊總監決定。

2011 年，醫療輔助隊少年團成立，首屆總共收獲 2,200 份入團申請，經過兩輪面試的遴選，共有 403 人成功獲選，當中包括 235 女、168 男。

目的

鼓勵青少年積極參與少年團，透過群體活動和訓練，學習有用的技能，並且培育領導才能，藉以建立自信心，培養責任感、自律性格和服務精神。

活動

常規訓練、遠足、旅行、露營、爬山、游泳、划船及風帆等。此外，亦都包括探訪各個政府應變部門，例如政府飛行服務隊及民航處等等。同時亦會定時舉辦各式聯誼活動，例如週年閱操、開放日等，讓家長瞭解子女的表現和進度。

訓練內容

醫療輔助隊會提供獨特的技能訓練，並教授醫療、衞生及健康專業知識，藉以幫助少年團團員建立良好品格，日後成為社會的棟樑。

4.1 啟導課程（CIT）

包括醫療輔助隊訓令、急救技巧、步操、紀律、基本禮儀。

4.2 常規訓練（RUT）

包括醫療輔助隊訓令、災難醫療助理技巧、步操、紀律、基本禮儀、公民教育（國旗、國歌、區旗、區徽、基本法等）。

4.3 相關的進階訓練課程

體適能（步操、單車）；
公共衞生 / 感染控制；
健康教育 / 健康促進；
基本護理；
心理急救 / 心理健康；
急症室 / 醫院 / 其他醫療單位暫駐觀察；
個人發展，例如公開演說，或返回就讀學校主持關於遠離毒害和健康教育的講座；
其他：拯溺、獨木舟、野外定向、攀巖、領袖才能。

社會服務

少年團團員必須參加社會服務，例如植樹、郊野公園保護環境活動及探訪老人院舍等。

訓練時間

所有透過面試青少年將可以免費接受 32 小時啟導訓練課程

完成啟導訓練課程後，將會被派遣到就近住所的接受訓練

每月某星期六下午或其他訓練時間

出席率

少年團團員的出席率，每年須達 70 小時或所屬組別的總訓練時數 70%，以符合醫療輔助隊的效率要求。

津貼

醫療輔助隊少年團團員不獲發薪津。惟出席訓練連續 8 小時或以上，可以獲發口糧津貼；出席訓練連續 4 小時，口糧津貼減半。部分活動或課程以自我增值形式舉辦，並無津貼。

晉升機會

表現優異的團員可獲升為高階團員（一柴）（SC）（Senior Cadet）

副少年領袖（兩柴）（DCL）（Deputy Cadet Leader）

少年領袖（三柴）（CL）（Cadet Leader）

高階少年領袖（三柴半）（SCL）（Senior Cadet Leader）

參加資格

年滿 12 歲但不足 16 歲青少年；
持有香港特別行政區身份證；
能操流利粵語及閱讀中文；
獲家長或監護人書面同意；
填妥及交回入隊申請書，以便醫療輔助隊作出甄選。

入隊手續

如有意加入醫療輔助隊少年團，可以將填妥的申請書，寄交九龍何文田公主道八十一號醫療輔助隊總部。醫療輔助隊在收到申請書後，會以書面形式與申請人聯絡，並安排下開事宜：

面試
體格檢驗（辦公時間內進行）

費用

加入醫療輔助隊少年團無須繳交任何費用，醫療輔助隊將為各團員提供所需制服及裝備。
Android 版本列表

Android 是一個由 Google 和開放手機聯盟共同開發的移動裝置作業系統，其最初的版本（Android 0.5）在 2007 年 11 月 5 日發行。至今，Android 已發行多個更新版本，每個版本除了修復前一版本的漏洞外，還多了新的功能。

Android 作業系統有預發行的內部版本，分別為原子小金剛（Astro）與機器人班亭（Bender，電視動畫《乃出個未來》的角色）。

Android 的版本代號

從 2009 年 5 月開始，Android 的版本代號改以甜點來命名，且每個代號間的字首以英文字母序接續排列：Cupcake（紙杯蛋糕）、Donut（甜甜圈）、Eclair（閃電泡芙）、Froyo（優格冰淇淋）、Gingerbread（薑餅）、Honeycomb、Ice Cream Sandwich（冰淇淋三明治）、Jelly Bean（雷根糖）、KitKat（奇巧巧克力）、Lollipop（棒棒糖）、Marshmallow（棉花糖）、Nougat（牛軋糖）、Oreo（奧利奧）、Pie（派）。2019 年 8 月 23 日，Google 宣佈從 Android Q 開始不再以甜品命名，且直接稱 Android Q 為 Android 10。

居中

首個 Beta SDK

2007 年 11 月 12 日，谷歌釋出了首個公開的 Android Beta SDK（版本號 m3-rc20a）。這一軟體開發包（SDK）面向開發者，包含基本的 Android 模擬器、核心庫和除錯工具，旨在讓開發者提前熟悉 Android 的架構和 API。然而，其功能較為有限，缺乏成熟的使用者介面和完整的應用程式框架。

版本列表

3.1 Android 1.0

3.2 Android 2.0

3.3 Android 3.0

3.4 Android 4.0

3.5 Android 5.0

3.6 Android 6.0

3.7 Android 7.0

3.8 Android 8.0

3.9 Android 9

3.10 Android 10

3.11 Android 11

3.12 Android 12

3.13 Android 13

3.14 Android 14

3.15 Android 15

3.16 Android 16
北屯二交流道

北屯二交流道為臺灣臺 74 線位於臺中市西屯區與北屯區交界處的交流道，指標為 14K，可銜接國道一號大雅系統交流道北上，可有效紓解大雅交流道與中清路的車流，亦可通往大雅區、西屯區與北屯區。

雖然該交流道同時為國道一號「大雅系統交流道」之出口，但因為原北屯二交流道和大雅系統交流道合併為同一出入口，所以臺 74 線端仍以「北屯二交流道」為名；僅國道一號使用「大雅系統交流道」之名稱，以避免駕駛和大雅交流道混淆。

鄰近公路

：大雅系統交流道
（中清路）
（廣福路）

鄰近設施及出口預告

9B0D15}}
大里一交流道

大里一交流道可以指：

大里一交流道 (臺 63 線)：臺灣臺 63 線 2 公里的交流道。
大里一交流道 (臺 74 線)：臺灣臺 74 線 30 公里的交流道。
大里二交流道

大里二交流道，可以指：

大里二交流道 (臺 63 線)：臺灣臺 63 線省道快速公路 3 公里的交流道，位於臺中市大里區夏田裡。
大里二交流道 (臺 74 線)：臺灣臺 74 線省道快速公路 32 公里的交流道，位於臺中市大里區大元裡。
鋸蛺蝶屬

鋸蛺蝶屬（學名：Cethosia）是蛺蝶科釉蛺蝶亞科中的一個屬。物種主要分佈於東南亞，澳洲南部亦可見。

物種

花裙鋸蛺蝶 Cethosia hypsea
彩紋鋸蛺蝶 C. h. gabinia
紅黑鋸蛺蝶 Cethosia penthesilea
Cethosia methypsea
白帶鋸蛺蝶 Cethosia cyane
露珠鋸蛺蝶 Cethosia luzonica
霓鋸蛺蝶 Cethosia nietneri
紅鋸蛺蝶 Cethosia biblis
Cethosia tambora
雅美鋸蛺蝶 Cethosia lamarcki
摩莎鋸蛺蝶 Cethosia moesta
鋸蛺蝶 Cethosia cydippe
金鋸蛺蝶 C. c. chrysippe
黑鋸蛺蝶 Cethosia obscura
Cethosia vasalia
波紋鋸蛺蝶 Cethosia lechenaulti
藍裙鋸蛺蝶 Cethosia myrina
金幣

金幣是一種全部或大部份由黃金製造的硬幣。黃金差不多在硬幣發明之初，就因其價值被用來當作硬幣。在現代，多數金幣被售予錢幣收集者或做金塊投資。

黃金作為貨幣有很多理由。它的買賣價差低。黃金也因價格重量比高較其它日用品，例如銀高，而容易運送。黃金可以分割成小單位，而不損害其價值；它也可以熔成錠，並且重鑄成硬幣。黃金的密度比大多數金屬高，使假幣很難流通。金很難起化學反應。由於黃金罕見而能維持其價值。

歷史

1.1 古代

金過去從青銅時代的古代近東用於貿易（除了其它貴金屬之外），但是硬幣起源於晚的多的西元前 6 世紀的安納托利亞。呂底亞的克羅伊斯國王的遺跡有發明金幣，（雖然帕羅斯島歷史（Parian Chronicle）提到菲敦（Pheidon）的阿爾戈斯也有可能）。在西元前 546 年，克羅伊斯佔領波斯，他採用黃金作為他們硬幣的主要金屬。

郢爰是古中國的早期金幣。
伊予富士

伊予富士（いよふじ）是位在愛媛縣和高知縣的山。標高 1,756 公尺。屬於四國山地西部的石鎚山地。日本三百名山之一。

概要

包含伊予富士的石鎚山地一帶被指定為石鎚國定公園。雖非獨立峰，但是從西側望狀似富士山。

關連專案

鄉土富士
日本三百名山
金錢龜遊戲

《金錢龜》（Money Turtle）是 myidea.is 開發的益智遊戲，於 2010 年 10 月 18 日在 App Store 發行第一個版本。遊戲以金融市場作為題材，模擬一個四人進行的卡片遊戲。設計者希望透過數位遊戲式學習帶出一些投資理論。

開發歷史

2009 年初開始設計構思，最初為實物卡片遊戲。因為遊戲本身需要大量數字的運算而加入了電腦的元素，利用 JavaFX 成為遊戲。考慮到 iOS 平臺的普及和發行上的便利，於 2010 年中改為在 iOS 平臺開發。遊戲畫面使用 OpenGL ES 1.1 驅動，最先以 iPad 的顯示器大小為設計基礎。iPhone 版本於同年 11 月推出。最新版本是 iPhone Lite 3.05，取消了之前 Lite 版的限制及加入 iAd，於 2011 年 9 月 30 日推出。

玩法

遊戲由玩家一人與三位由電腦控制的玩家以回合制進行。開始時每方玩家在 100 張卡片內抽出 7 張卡片，而卡片分為資產類或功能類。玩家可以將資產類卡片變賣出市場，也可以由市場上購入資產。資產的價格由 100 元開始，玩家可以使用功能類卡片去影響資產類卡片的價格，從而提高或降低玩家的資產價值。當 100 張卡片都已被抽，而所有功能類卡片都已使出時，各玩家將手上所有資產賣出。擁有最多金錢的一方則成為勝出者。

遊戲風格

部分卡片內容以香港為主題，例如丁蟹效應及沙士。

運營情況

遊戲與 am730 合作，於 2011 年 1 月 19 日至 2 月 27 日舉行比賽並在比賽期間推出比賽專用版本。除了加入提交得分的功能，專用版本在玩家使用指定功能類卡片時會同時顯示過去一版相關的報導。
豹蛺蝶屬

豹蛺蝶屬（學名：Argynnis）是蛺蝶科釉蛺蝶亞科中的一個屬，其物種分佈於古北界。

物種

綠豹蛺蝶 Argynnis paphia
青豹蛺蝶 Argynnis sagana
潘豹蛺蝶 Argynnis pandora
銀豹蛺蝶 Argynnis childreni
曲紋銀豹蛺蝶 Argynnis zenobia
斐豹蛺蝶 Argynnis hyperbius
紅老豹蛺蝶 Argynnis ruslana
老豹蛺蝶 Argynnis laodice
雲豹蛺蝶 Argynnis anadyomene
福蛺蝶 Argynnis niobe
金福蛺蝶 Argynnis auresiana
燦福蛺蝶 Argynnis adippe
爛福蛺蝶 A. a. pallescens
苔福蛺蝶 F. a. taigetana
科兒福蛺蝶 Argynnis coredippe
蟾福蛺蝶 Argynnis nerippe
Argynnis xipe
艾麗福蛺蝶 Argynnis elisa
Argynnis vorax
銀點福蛺蝶 Argynnis argyrospilata
宅福蛺蝶 Argynnis jainadeva
凱福蛺蝶 Argynnis kamala
綠帶斑豹蛺蝶 Argynnis diana
黃褐斑豹蛺蝶 Argynnis cybele
女神斑豹蛺蝶 Argynnis aphrodite
斑豹蛺蝶 Argynnis idalia
紅褐斑豹蛺蝶 Argynnis nokomis
青斑豹蛺蝶 Argynnis edwardsii
闊斑豹蛺蝶 Argynnis coronis
澤斑豹蛺蝶 Argynnis zerene
Argynnis carolae
麗斑豹蛺蝶 Argynnis callippe
隱斑豹蛺蝶 Argynnis egleis
阿迪斑豹蛺蝶 Argynnis adiaste
阿特斑豹蛺蝶 Argynnis atlantis
Argynnis hesperis
黑紋斑豹蛺蝶 Argynnis hydaspe
莫爾斑豹蛺蝶 Argynnis mormonia
鎂斑豹蛺蝶 Argynnis clara
銀斑豹蛺蝶 Argynnis aglaja
美斑豹蛺蝶 A. a. vitatha
A. a. lyauteyi = 麗美斑豹蛺蝶 S. liauteyi sic
亞仙斑豹蛺蝶 Argynnis alexandra
安家站

安家站是位於黑龍江省哈爾濱市五常市安家鎮的一個鐵路車站，郵政編碼 150229。車站建於 1934 年，有拉濱鐵路經過該站，現辦理客貨運業務。車站距離拉法站 167 公里，隸屬哈爾濱鐵路局，是四等站。

業務辦理

客運辦理旅客乘降，行李，包裹託運業務。
貨運辦理整車貨物到發。
宋朝文化

宋朝文化是中國文化歷史中的豐盛時期，藝術、音樂、文學、哲學各方面都很有成就。為篩選官員而建立的科舉考試推進了教育制度的發展，印刷品的廣泛流創促進了文學的交流與對藝術的鑑賞。與唐朝不同，一般的官員都具有學者、詩人、畫家、政治家的特質，喜愛字畫，善於詩詞，收藏古董。一般百姓鍾愛戲曲，酒家林立菜式繁多，市場充斥衣服鞋物。

藝術

中國畫特別是山水畫到了宋代發展已經非常成熟。不僅僅把風景描繪，還強調畫中意境。道家強調陰陽，宋代理學注重天人合一，追求暗藏在社會與自然之間的義理。自宋代，人們懂得製作半透明的瓷器和混合使用搪瓷的青瓷製品。其中龍泉青瓷在宋代已經非常受歡迎。宋代的黑色和紅色漆器都配上以自然山水，歷史人物和簡單的裝飾圖案為題材的精美雕刻。譬如黃地剔紅後赤壁賦圖盤、朱錦地剔黑赤壁賦盤、樓閣人物堆黑盒、醉翁亭朱錦地剔黑盤。雖然鑄銅藝術、瓷器藝術、漆器藝術、玉器雕刻、雕塑、建築、描繪動物的水墨畫受到文人高度評價，但是山水畫仍然為列最高。 山水畫大師掌握瞭如何構造仔細擬真的近景，並且利用穿插雲間的高山流水製造無限的遠景。

兩宋畫風有別。北宋山水畫多燦爛輝煌轉，質感強烈，時而柔和溫雅，氣勢宏大。在蘇軾的提倡下，慢慢走向最求自我表現，追求意境，務求神似。南渡後，多描繪秀麗江南山水景色，構圖簡約，但花鳥畫則更趨嚴謹精緻。

1.1 字畫

宋代繪畫藝術風格受宋代理學影響，從花鳥看精密佈局，所以注重寫實。花鳥畫代表作品，有崔白的《雙喜圖》，兔鳥呼應，葉草同指一方，暗射秋風蕭瑟，還有趙昌的《歲朝圖》，李迪的《雞雛待飼圖》，林椿的《果熟來禽圖》，李嵩的《花籃圖》。 山水畫的代表作品有李成的《寒林平野》，範寬的《谿山行旅圖》，燕文貴的《溪山樓觀圖》。

1.2 陶瓷

文學與典籍

2.1 文學

在宋代的中國文學作品種類繁多，派別林立，隨著社會發展變得非常繁盛。雖然唐朝早期能以詩被譽為中國文學的高峰，但宋代卻能夠以詞創造另一個高峰。宋代文學人才輩出，有宋代議論先驅梅堯臣，大文豪蘇軾，行為瘋狂的米芾，首位著名女詞人李清照等等。雖然詞始於南梁，但到了宋代卻大受歡迎，成了宋代文學的主要體裁。政治家范仲淹，理學家歐陽修，書法家黃庭堅，領軍文人辛棄疾都是以詞著名。
杜家站

杜家站，位於黑龍江省哈爾濱市五常市杜家鎮，建於 1933 年，現隸屬瀋陽鐵路局，為四等站。拉濱鐵路經過此站。

業務辦理

不辦理客運業務。貨運業務辦理整車發到。
山河屯站

山河屯站，位於黑龍江省哈爾濱市五常市山河鎮，建於 1933 年，現隸屬瀋陽鐵路局，為四等站。拉濱鐵路經過此站。2022 年 6 月 10 日，由於 4342/1 次列車停運，山河屯站正式停止辦理客運業務。

歷史

建於 1933 年。

2022 年停止辦理客運業務。

業務辦理

不辦理客貨運業務。
平安站 (吉林)

平安站位於中國吉林省吉林市舒蘭市平安鎮，建於 1934 年，為瀋陽鐵路局管轄的四等站。經過的鐵路有拉濱鐵路。

業務辦理

客運辦理旅客乘降，行李，包裹託運業務。貨運業務辦理整車，零擔貨物到發。
珠蛺蝶屬

珠蛺蝶屬（學名：Issoria）是蛺蝶科釉蛺蝶亞科豹蛺蝶族中的一個屬。物種主要分佈於古北界。Yramea 由 Simonsen (2006a) 及 Simonsen et al (2006) 從本屬分裂出另一個屬。

物種

曲斑珠蛺蝶 Issoria eugenia
芤蛺蝶 Issoria gemmata
高提芤蛺蝶 Issoria altissima
白斑珠蛺蝶 Issoria hanningtoni
Issoria baumanni
愛珠蛺蝶 I. b. excelsior
綠寶石珠蛺蝶 Issoria smaragdifera
珠蛺蝶 Issoria lathonia
吳世正

吳世正，臺灣省基隆市出生，祖籍遼寧省義縣，國立政治大學政治系政治所畢業，美國紐約州立大學石溪分校管理及政策研究所畢業，曾在金門服預官役，擔任步兵排長。曾任中華電視臺晨間新聞記者（1988）中國電視公司新聞記者兼主播（1993-1998）。現任臺北市議員，選區為內湖南港區，從 1998 年第八屆連任迄今第十四屆。

問政

2015 年 5 月 25 日，吳世正就遠雄董事長趙藤雄一身酒氣事件質詢，遭柯文哲質疑：「現在是你選舉還沒結束！」

2018 年 6 月 7 日，在議會質詢時任臺北農產總經理吳音寧：「妳（吳音寧）怎麼認識她（蔡英文）的？」，吳音寧脫口回答：「總統就是我們中華人民……」，遭吳世正揶揄：「啊？兩岸一家親喔。」，引起網友熱議。
2003 年世界擊劍錦標賽

2003 年世界擊劍錦標賽在古巴哈瓦那舉行。賽事於當年 10 月 5 日到 10 月 11 日期間舉行，共七天。本次比賽有來自 84 個國家或地區的 1500 多名運動員參加，參賽選手的大幅增加是因為國際劍聯改變了奧運會擊劍參賽名額的分配的方式。

獎牌榜

獲獎者

2.1 男子

2.2 女子
弗雷格命題演算

在數理邏輯中弗雷格命題演算是第一個公理化的命題演算。它由弗雷格發明，他還在 1879 年發明了謂詞演算，作為他的二階謂詞邏輯的一部分 (儘管查爾斯・桑德斯・皮爾士首次使用了術語 “二階” 並獨立於 Frege 開發了自己版本的謂詞演算)。

它只使用兩個邏輯運算元：蘊涵和否定，並且由六個公理和一個推理規則肯定前件構成。

公理

THEN-1: A→(B→A)
THEN-2: (A→(B→C))→((A→B)→(A→C))
THEN-3: (A→(B→C))→(B→(A→C))
FRG-1:	(A→B)→(¬B→¬A)
FRG-2:	¬¬A→A
FRG-3:	A→¬¬A

推理規則

MP: P, P→Q ├ Q

Frege 的命題演算等價於任何其他經典的命題演算，比如有 11 個公理的 “標準 PC”。Frege 的 PC 和標準的 PC 共享兩個公共的公理: THEN-1 和 THEN-2。注意從 THEN-1 到 THEN-3 的公理只使用 (和定義) 蘊涵運算元，而從 FRG-1 到 FRG-3 的公理定義否定運算元。

Frege 公理證明標準公理

下列定理致力於在 Frege 的 PC 的 “定理空間” 內找出標準 PC 的餘下九個公理，展示標準 PC 的定理被包含在 Frege 的 PC 的定理中。

(出於比喻的目的，這裡所謂的理論的 “定理空間”，是一個定理的集合，它是合式公式全集的子集。定理透過推理規則的直接方式相互連線起來，形成一種樹狀網路。)

約定 ((A→B)→B) 等同於 A∨B，¬(A→¬B) 等同於 A∧B。

規則 THEN-1*: A B→A

規則 THEN-2*: A→(B→C) (A→B)→(A→C)

規則 THEN-3*: A→(B→C) B→(A→C)

規則 FRG-1*: A→B ¬B→¬A

規則 TH1*: A→B, B→C A→C

定理 TH1: (A→B)→((B→C)→(A→C))

定理 TH2: A→(¬A→¬B)

定理 TH3: ¬A→(A→¬B)

定理 TH4: ¬(A→¬B)→A

¬(A→¬B)→A 就是公理 AND-1：A∧B→A。

定理 TH5: (A→¬B)→(B→¬A)

定理 TH6: ¬(A→¬B)→B

¬(A→¬B)→B 就是公理 AND-2：A∧B→B。

定理 TH7: A→A

定理 TH8: A→((A→B)→B)

A→((A→B)→B) 就是公理 OR-1：A→A∨B。

定理 TH9: B→((A→B)→B)

B→((A→B)→B) 就是公理 OR-2：B→A∨B。

定理 TH10: A→(B→¬(A→¬B))

A→(B→¬(A→¬B)) 就是公理 AND-3：A→(B→ A∧B) 。

定理 TH11: (A→B)→((A→¬B)→¬A)

TH11 就是標準 PC 叫做 “反證法” 的公理 NOT-1。

定理 TH12: ((A→B)→C)→(A→(B→C))

定理 TH13: (B→(B→C))→(B→C)

規則 TH14*: A→(B→P), P→Q A→(B→Q)

定理 TH15: ((A→B)→(A→C))→(A→(B→C))

TH15 是公理 THEN-2 的逆命題。

定理 TH16: (¬A→¬B)→(B→A)

定理 TH17: (¬A→B)→(¬B→A)

比較定理 TH17 與定理 TH5。

定理 TH18: ((A→B)→B)→(¬A→B)

定理 TH19: (A→C)→ ((B→C)→(((A→B)→B)→C))

(A→C)→((B→C)→(((A→B)→B)→C)) 就是公理 OR-3：(A→C)→((B→C)→(A∨B→C))。

定理 TH20: (A→¬A)→¬A

TH20 對應於標準 PC 的叫做 “排中律” 的公理 NOT-3: A∨¬A。

定理 TH21: A→(¬A→B)

TH21 對應於標準 PC 的叫做 “爆炸原理” 的公理 NOT-2。

在設定 A∧B := ¬(A→¬B) 和 A∨B := (A→B)→B 之後，標準 PC 的公理已經從 Frege 的 PC 推匯出來了。這些表示式不是唯一的，比如，A∨B 也可以被定義為 (B→A)→A，¬A→B 或 ¬B→A。注意，只有定義 A∨B := (A→B)→B 不包含否定。在另一方面，A∧B 不能只用蘊含而不用否定的方式定義。

在某種意義上，表示式 A∧B 和 A∨B 可以被當作 "黑箱"。在這些黑箱內部包含只由蘊涵和否定構成的公式。黑箱可以包含任何東西，在加入標準 PC 的 AND-1 到 AND-3 和 OR-1 到 OR-3 公理的時候，這些公理仍然是真的。這些公理提供了合取和析取運算元的完整語法定義。

標準公理證明 Frege 公理

下一組定理將致力於在標準 PC 的 “定理空間” 內找到 Frege 的 PC 的餘下的四個定理，展示 Frege 的 PC 的理論包含在標準 PC 的理論內。

定理 ST1: A→A

定理 ST2: A→¬¬A

ST2 是 Frege 的 PC 的公理 FRG-3。

定理 ST3: B∨C→(¬C→B)

定理 ST4: ¬¬A→A

ST4 是 Frege 的 PC 的公理 FRG-2。

證明 ST5: (A→(B→C))→(B→(A→C))

ST5 是 Frege 的 PC 的公理 THEN-3。

定理 ST6: (A→B)→(¬B→¬A)

ST6 是 Frege 的 PC 的公理 FRG-1。

每個 Frege 的公理都可以從標準的公理中推匯出來，而每個標準公理都可以用 Frege 的公理推匯出來。這意味著兩個公理集合是相互依賴的，而沒有一個集合中公理獨立於另一個集合的公理。所以兩個公理集合生成相同的理論: Frege 的 PC 等價於標準 PC。

(如果理論是不同的，則其中一個理論應當包含不能被另一個理論所包含的定理。這些定理可以從它們自己理論的公理集合中推匯出來：但是因為已經展示了這個完整的公理集合可以從另一個理論的公理集合中推匯出來，這意味著給定的定理實際上可以從另一個理論的公理集合獨立的推匯出來，所以給定的定理也屬於另一個理論。矛盾：所以兩個公理集合生成相同的定理空間。)

THEN-2 公理的真值表
包釐街

由東豪斯頓街沿包釐街北望帝國大廈

包釐街（Bowery，，）是美國紐約州紐約市曼哈頓南部的一條南北向街道和小型街區。街區東至艾倫街與下東區，西至包釐街與小義大利，南至運河街與華埠，北至東四街與東村。從南到北，與包釐街交匯的主要或知名街道還有德蘭西街、東豪斯頓街以及。

包釐街得名於新尼德蘭殖民地末任荷蘭彼得・斯泰弗森特的農場，即 lang|nl|bouwerij，街道由新尼德蘭當時更為穩定的定居區通往農場。lang|en|Bowery 則借譯自這個舊詞。1760 年時，這條街被叫作包釐巷（Bowery Lane），自 1807 年起以現名為人所知。
DTZ

可以指

戴德梁行 (2015 年前)，Debenham Thouard Zadelhoff
雙硫腙，Dithizone