Samantha912/NLP_A2_WTH huggingface dataset:
Turbo Pascal

Turbo Pascal 是 Borland 公司一個很有代表性的軟體開發產品。從語言角度說 Turbo Pascal 是 Pascal 語言的一個擴充套件。它擴充套件了標準 Pascal 的功能特性。在語法上，Turbo Pascal 吸取了其他語言如 C 等的特性，簡化了標準 Pascal 的語法；在功能上，Turbo Pascal 提供了包括螢幕控制、圖形處理、系統呼叫等有用的函式庫（Turbo Pascal 中稱為單元）。

Turbo Pascal 包括 CP/M、MS-DOS、Windows 等不同作業系統上的版本。

簡介

1983 年 11 月 20 日，Borland 公司釋出了 Turbo Pascal 的第一個版本。該版本的編譯器核心部分由安德斯・海爾斯伯格授權給 Borland 公司。同時，安德斯・海爾斯伯格也作為僱員加入了 Borland 公司，並且是後來所有 Turbo Pascal 版本與 Delphi 前 3 個版本的架構師。在第一個版本的 Turbo Pascal 中，Borland 公司的創始人菲利普・卡恩為該版本的 Turbo Pascal 添加了使用者介面與編輯器。第一版本 Turbo Pascal 是個人電腦上編譯器發展的一個里程碑。

1986 年 9 月 17 日 Turbo Pascal version 3.02 釋出。1989 年 5 月 2 日釋出的 Turbo Pascal 5.5 版是重要的版本，從這一版本起，Borland 公司把面向物件程式設計（OOP）引入 Pascal 語言，這就是大家所知道的 Object Pascal 的開端。

Turbo Pascal 6.0 推出用 OOP 思想封裝的 DOS 應用程式框架（Framework），叫做 TurboVision，這個版本的 IDE 據信即是使用該 Framework 開發的。

Turbo Pascal 最後一個版本叫做 Borland Pascal 7，包含增強的 DOS IDE 和編譯器，可以建立 DOS 和 Windows3.x 程式，後來為 Delphi1.0 代替。

語法

Pascal 不是大小寫敏感的。
歷史上，Pascal 註釋包圍在 {成對的花括號內} 或 ( 左圓括號 / 星號和星號 / 右圓括號之內 )，並可以延展任意多行。後期版本的 Borland Pascal 也支援 C++ 風格的註釋 // 前導著兩個斜線，它完結於行結束。
語句 case 的語法比標準 Pascal 更靈活。
集合可以有直到 256（28）個成員。
支援標準 Pascal 的前導著長度位元組的 String，並採用固定數量的儲存；後期版本增加了更加靈活的 null 終結型別，並把老式型別叫做 short string。以非標準方式處理字串的老式的原始碼（比如直接操縱長度位元組來截斷字串：S0:=14），必須要麼將其字串宣告為 short string，要麼重寫。

例子

下面是 Hello world 程式的 Turbo Pascal 版本：

program HelloWorld;

begin

WriteLn ('Hello World')

end.

提問一個名字並寫回螢幕一百次：

program WriteName;

var

i : Integer; {用於迴圈的變數}

Name : String; {宣告變數 Name 為字串}

begin

Write ('Please tell me your name: ');

ReadLn (Name); {ReadLn 返回使用者錄入的字串}

for i := 1 to 100 do

begin

WriteLn ('Hello ', Name)

end;

readln;

end.
明蜀王陵

明蜀王陵是位於中華人民共和國四川省成都市的一組明代墓葬，主要分佈在龍泉驛區十陵街道辦、洪河鎮，金牛區鳳凰山、錦江區三聖鄉等黃土丘地帶，是以明蜀僖王陵為中心，散佈於正覺山山麓及青龍埂等地的 10 餘座明代蜀王及王妃墓葬所組成的墓葬群。1996 年 9 月 16 日公佈為四川省第四批省級文物保護單位。1996 年 11 月 20 日列為第四批全國重點文物保護單位。

包括僖王陵、昭王陵、僖王趙妃墓、僖王繼妃墓、黔江悼懷王陵、成王陵、成王次妃墓、惠王陵、半邊墳郡王墓、懷王陵（草皇墳蜀王陵）、朱悅燫墓等墓葬。

明蜀王陵分佈

此外，還有位於金牛區鳳凰山的朱悅燫墓，於 2006 年第六批公佈全國重點文物保護單位，歸入第四批明蜀王陵。

保護規劃

明蜀王陵博物館所在的正覺山及青龍湖已建設成為青龍湖生態公園，並且列入國家大遺址保護名錄。
斯諾赫塔建築事務所

斯諾赫塔建築事務所 (Snøhetta) 是一家著名的國際建築、園林建築與室內設計公司，其總部位於挪威首都奧斯陸。

歷史

在 1989 年由 Craig Dykers 與 Kjetil Thorsen 成立。

其著名的設計有：

埃及的亞歷山大圖書館
德國柏林的挪威大使館
奧斯陸的新國家歌劇院
中國香港的啟德 AIRSIDE 超甲級綜合商業專案
美國紐約世界貿易中心的美術館與博物館

畫廊
OSType

OSType（也稱作 FourCC 或 ResType）通常作為一種 4 位元組的類別標示名被使用在 Mac OS 裡。雖然它們通常是來自 ASCII 碼或 Mac OS Roman 字元集，但是 4 個位元組原則上可以是任何二進位制值。
殖民地公路

殖民地公路位於美國維吉尼亞州東部，長 37 公里，連線威廉斯堡、詹姆斯鎮和約克鎮這三個維吉尼亞歷史三角的殖民地時期歷史景點。殖民地公路修造於 1930 年至 1957 年間，現在屬於美國國家公園署的及美國風景道路的一部分。殖民地國家歷史公園的主題是美國獨立前殖民地時期各方面的歷史原貌，殖民地公路的設計也考慮了這一點。路線選擇儘量的避開了有現代文明商業痕跡的區域。路面上沒有標示普通道路的車道線，路牌和交通標誌也在保證安全的前提下，控制到最少的程度。沿途建有觀景區，便於遊人停車觀景。

交通

殖民地公路穿過的區域有不少野生生物，因此道路限速較低，以保護遊客和動物的安全。除了公共汽車或轎車外，卡車和其他商用車輛不能進入。美國國家公園警察負責管理殖民地公路的交通和治安。

景點

2.1 詹姆斯鎮

殖民地公路的西端起點是詹姆斯鎮。1607 年，英國在美洲大陸建立的第一個殖民地就是詹姆斯鎮。今天，如果遊客從詹姆斯河南岸乘輪渡到達詹姆斯鎮的話，他們看到的景象可能與當年首批殖民者到來時的相差不多。輪渡碼頭附近陳列有三艘當年船隻的縮小複製品。

2.2 殖民地威廉斯堡

殖民地公路的中間點是威廉斯堡（即殖民地威廉斯堡），曾是維吉尼亞首府。20 世紀早期，牧師古德溫致力儲存和恢復殖民時代的建築。在他的努力下，很多殖民時代的建築得以修復或重建。現在，威廉斯堡有儲存最好的美國早期建築群。工作人員身著殖民時代的服裝，重現給遊客當時日常生活的各個方面。殖民地威廉斯堡因而成為一個吸引大量遊客的旅遊景點。

2.3 約克鎮

維吉尼亞歷史三角的第三點是約克鎮。1781 年英國康華裡將軍在這裡向華盛頓投降，標誌了美國革命的結束。
英尋

英尋是一種英美長度單位，1 英尋為 6 英尺，約合 1.8288 米；不屬於國際單位制。英尋（英語：Fathom）來自古英語 “Fæthm”，表示 “伸展開的雙臂”，因而一英尋也就是兩臂之長。如今這個單位的使用被嚴格限制在海洋測量中，特別是使用準繩測量水體深度的情況下。從前英語國家的海圖普遍使用 “英尋” 作為深度的單位，然而現在這種情況也在逐漸改變，甚至在美國也開始使用公制作為單位。
圖 - 334

圖 - 334（ Tu-334）是俄羅斯圖波列夫開發的客機型號之一，其目的是取代機齡漸長的圖 - 134 客機。在設計方面，圖 - 334 的機身使用圖 - 204 的設計，但其長度則被改短，機尾採用 T 字形設計。最大載客量 102 人（圖 - 334-100），航程 3000 公里。增加燃料箱後可增至 6400 公里。

開發

在 1990 年代早期，圖波列夫開始研發圖 - 334 客機，但因為隨後的蘇聯解體，以及研發資金的問題，而導致進展緩慢。至 1995 年，首架原型機公開展示。1999 年 2 月 8 日，圖 - 334 首度試飛，及後圖波列夫方面與軍機廠商米格簽約，要求米格生產飛機部分零件。

圖波列夫共接到 112 架圖 - 334 客機的訂單，但因為資金短缺，以致產品認證及量產等方面均需要延期進行。

2009 年中，由前蘇聯設計局合組的聯合航空製造公司考慮到資源短缺等因素，決定停止此專案，將資源集中在 SSJ100 與 MC-21 的開發上。Tu-334 最終只建造了原型機。
大頭綠衣鬥殭屍

《大頭綠衣鬥殭屍》（The Vampire Returns）是香港電視廣播有限公司製作的殭屍題材電視劇，全劇共 20 集，監製李添勝。

此劇曾分別於 1994 年及 1996 年 11 月逢星期一至五 11:45-12:45 在翡翠臺重播，2003 年 2 月 25 日至 3 月 26 日逢星期一至五 10:40-11:40 在翡翠臺再次重播，2007 年 8 月 23 日至 9 月 5 日逢星期一至五 03:15-05:00 在翡翠臺再次重播，每日播映兩集，2014 年 6 月 24 日至 7 月 24 日逢星期一至五 03:40-04:35 在翡翠臺再次重播，每集不設中文字幕。2013 年 8 月 17 日在 TVB 經典臺重播，2018 年逢星期一至五 18:00-18:55 在 TVB 星河頻道《好戲珍藏館》時段重播，2023 年 5 月 11 日至 6 月 7 日逢星期一至五 23:55-00:55 在翡翠臺再次重播，並首度在每集附加中文字幕。

故事大綱

清朝末年，天子仁弱難治中華，人間四處戰亂頻生，妖魔鬼怪大行其道。道教天師張可以（楚原飾）為了躲避戰亂，帶著兩個徒弟張北平（錢小豪飾）及張南京（黎耀祥飾），從京城來到香港，由於生活艱苦，三師徒被迫居於妓院柴房。北平後來轉職大頭綠衣（警察），剛巧殭屍大鬧香港，北平請求其師父可以重出江湖對付殭屍。北平戀上女鬼飄雪（鄭秀文飾），飄雪溫婉嫻淑，可惜人鬼殊途，此段情終告消逝。飄雪另外有一孿生姊姊飄紅（鄭秀文分飾），為人豪爽不羈，亦一直暗戀北平，北平曾一度弄錯人鬼身份，弄出笑話連篇。

另一方面，原來四個殭屍生前被香港首富屠萬富（江毅飾）所害，可惜天道輪迴，惡報卻報在萬富女兒屠天麗（關寶慧飾）身上。天麗在生時迷戀北平，後假扮自殺卻弄假成真，死後卻執迷不悟，到了冥府後 本來被判處墜入餓鬼道的刑罰，但屠天麗以大量 冥錢賄賂了判官，判官於是欺瞞閻羅王有關屠天麗的事情並教唆屠天麗變成殭屍，屠天麗於是報夢給其父親屠萬富，告知他將自己煉成殭屍之王要吸盡一百個凡人的陽氣一事，結果屠萬富卻成為第一百個被天麗吸取陽氣而死的凡人。張可以得知此事後率領眾人前去阻止屠天麗卻沒能成功。

屠天麗成為殭屍之王後四處為非作歹。由於屠天麗是殭屍，不歸冥府所管，因此十殿閻王無一願意派遣鬼差前去捉拿祂。眾人使用硃砂砲及請四大天王下凡來對付她未果。法力高強的欽天監福安寧本來與張可以等人結怨，但後來被老佛爺判處死刑，心灰意冷之下打算以死謝罪，但在張可以等人苦勸之下，決定不再嘗試自殺，之後接受張可以的請求，與其合作以尋找對付殭屍之王的方法，可是福安寧在戰鬥中為救其乾兒子福中玉而被屠天麗咬傷，其後離世。飄紅在鬼魂的幫助下救出被其劫走的張北平。張可以再次率領眾人前去試圖消滅屠天麗，但所採用的方法均以失敗告終，屠天麗狂妄地説自己已經超出三界外、不在五行中，並且表示連天庭也奈何不了祂。張可以十分不滿玉皇大帝對此坐視不理，憤而大罵蒼天無眼，結果夜空閃過多道閃電，屠天麗見形勢不妙，於是試圖逃走，但一道天雷瞬間把祂劈成灰燼，隨後昊天上帝在從天空中射出的光芒中顯現並威嚴地訓斥張可以、 罰他減壽五年，並且告誡他不要再以下犯上，最後祂宣稱這個世界 天理迴圈、報應不爽，並且要求眾人緊記在心，隨後便消失不見。張可以等人終於放下心頭大石。

張北平因被吸取大部份陽氣而奄奄一息，飄紅為了救他，便把陽氣轉移給他，結果飄紅因陽壽已盡而逝世，其後便投胎成為一個名叫 Kitty 的女子，十六年後，Kitty 已經長大，張北平和福中玉得知她上一輩子是飄紅一事後便渴望與她再續前緣，但 Kitty 沒有任何關於其上一輩子的記憶，因此十分害怕他們。後來張北平和福中玉等人因立下功勞而升職，在他們參與記者會的當天，Kitty 前往英格蘭讀書，眾人前去送別，張北平和福中玉追至碼頭後均表示會等她回來，本劇便在眾人對 Kitty 的目送下落幕。

演員表

2.1 女鬼

2.2 醉紅院

2.3 尋龍點穴布衣派

2.4 屠家

2.5 香港警察

2.6 殭屍（寶家）

2.7 欽天監府

2.8 陰間

2.9 其他演員

軼事

因 1980 年代中至 1990 年代由林正英所主演的殭屍片頗受歡迎，因此無線決定開拍殭屍片且由林正英、錢小豪、許冠英等主演，後來林正英因片酬問題而辭演。許冠英則因檔期問題而辭演，因此只剩下錢小豪一人擔綱主演，經過改編後才開拍此劇。

電視節目的變遷

無綫電視翡翠臺 | 播放檔次 = 星期一至五 03:15－05:00 每天播兩集 | 上一節目 = 緣來沒法擋 （2007 年 8 月 9 日－2007 年 8 月 22 日）| 節目名稱 = 大頭綠衣鬥殭屍 （2007 年 8 月 23 日－2007 年 9 月 5 日）| 下一節目 = 倩女幽魂 （2007 年 9 月 6 日－2007 年 9 月 27 日）}}

無綫電視翡翠臺 | 播放檔次 = 星期一至五 03:40－04:35 | 上一節目 = 待查 （ －2014 年 6 月 23 日）| 節目名稱 = 大頭綠衣鬥殭屍 （2014 年 6 月 24 日 - 2014 年 7 月 24 日）| 下一節目 = 奇幻潮 第 1-8 集（ 2014 年 7 月 25 日－2014 年 7 月 30 日 ） }}
APNG

動態可移植網路圖形（Animated Portable Network Graphics，縮寫 APNG）是一種繼承自行動式網路圖形（PNG）的檔案格式，它允許像 GIF 格式一樣播放動態圖片，並且擁有 GIF 不支援的 24 點陣圖像和 8 位透明性。 它還保留了與非動畫 PNG 檔案的向後相容性。

APNG 檔案的第一幀儲存為普通 PNG 流，因此大多數標準 PNG 解碼器都能夠顯示 APNG 檔案的第一幀。 幀速度資料和額外的動畫幀儲存在額外的資料塊中（如原始的 PNG 規範所規定）。 APNG 的競爭者是由 PNG 團隊建立的點陣圖動畫的全面格式 —— 多重網路圖形 （MNG）。與其相比，APNG 的優勢是更小的儲存大小以及對舊的 PNG 完全相容。

透過對比 GIF、APNG 和 WebP，可以看出 APNG 在質量相同的時候有著更小的體積。

歷史

2004 年，APNG 由 Mozilla 公司的 Stuart Parmenter 和 Vladimir Vukićević所創立，希望 Mozilla 社群將其用於圖形介面及 XUL，也期望廣泛用於網頁，但提案未能透過。

2006 年，Google Summer of Code 活動中，加拿大聖力嘉學院的學生為 libpng 程式庫加入 APNG 支援。

此後開發者繼續向 Mozilla 社群推薦 APNG，但一直沒有什麼進展。

2007 年 3 月 23 日，Mozilla Firefox 3.0 在開發測試中支援 APNG。

2007 年 4 月 20 日，PNG 組織投票以 10:8 否決 APNG 進入官方標準。PNG 組織決心繼續推廣 MNG，不過其權力有限，許多常見軟體陸續支援了 APNG。

軟體支援

有一種用於伺服器的庫透過使用 canvas 標籤而非對 APNG 的支援來顯示 APNG。
冷氣平快

臺鐵 35SPK2300 型鋼體客車，又稱冷氣平快車，是臺灣鐵路管理局（略稱臺鐵或臺鐵局，現改制為臺灣鐵路公司）於 1994 年託付唐榮鐵工廠將原本用於對號快車的 35SPK32700 型車廂 100 輛中挑選 50 輛加裝冷氣空調而成的客車，原欲加收冷氣費而改成復興號收費，後因變相漲價的輿論而改回普通車收費，車種也改回平快車。此政策意外使得臺鐵票價等級最低的快車、普通車部分班次也有空調裝置。

在臺鐵時刻表上，35SPK2300 型客車自降等為平快後至 2005 年 1 月 10 日改點（時刻調整）前，以本型行駛之列車車種均為 “平快”，車次範圍為 15xx 次，但由於當時臺鐵尚有無空調的平快車，故本型車常被鐵道迷以 “冷氣平快” 或 “冷平” 稱之；冷氣平快車種等級在 2005 年 1 月 10 日改點才正式出現在臺鐵時刻表上，車次為 201－212 次，惟此時冷氣平快實際上為各站均停靠。

在普快列車已退出多數臺鐵幹線的同時，冷氣平快因車齡太高 (原車型 35SPK32700 型為 1970 年至 1971 年出廠)，已全數退出定期運用，目前已有部份車廂解體。

簡介

該車廂改造自 1971 年出廠的 35SPK32700 型原對號特快／平快車使用車廂 100 輛中挑選 50 輛改造；改造重點除了加裝空調之外，還有電氣裝置，如接連電源車的線路；車廂外觀則封閉車窗並仿照復興號車廂塗裝。內裝與原來車廂相似，沿用原帆布旋轉座椅，椅背無法調整傾斜度，座位無中央扶手。第一批車廂甚至還留有電風扇的開關。

改造後的冷氣平快車廂車型編為 35SPK2300 型。因挑選改造的車廂為隨機挑選並未依車號排序，故 35SPK32700 型的第 100 輛，也是臺鐵第一輛個位數與十位數字均為 0 的車廂 35SPK32800 號，被改造為 35SPK2303 號而車號消滅。

營運

35SPK2300 型係因應 1994 年春節運輸運能不足，改造 50 輛 35SPK32700 型客車，改造完工後配屬於高雄檢車段，作為加班復興號使用 (有人稱為「改造復興號」)。該年春節後，將原本平快 161、164、165、170 次分別改為復興 135、136、137、140 次並維持原平快停靠站（170 次截短至高雄開）。輿論質疑只是更換車廂，行駛原平快車的時刻卻收取復興號票價，且車內座椅仍為原平快車相同之不可躺旋轉座椅，等同變相漲價，唯一超值的僅有冷氣實在夠冷。在此強大壓力下，臺鐵於次年 6 月 1 日將這四班車改回平快車，票價改回普快票價，並改車次為 1515 次（松山 — 高雄）、1516 次（高雄 — 松山）、1517 次（基隆 — 高雄）、1520 次（高雄 — 基隆）。2005 年 1 月 10 日長途平快車停駛前，臺鐵販售的旅客列車時刻手冊並未就平快車空調之有無加以區隔，均稱為「平快」。但為了與其他沒有加裝空調的平快車區分，有人將此型車廂稱為「冷氣平快」，部分車站自行製作的車站時刻表也將「冷氣平快」與「平快」分別列出。

最初開行時作為縱貫線長程平快車與北部區間（松山 — 苗栗間 1505 次與苗栗 — 基隆間 1506 次）平快車使用，1998 年 3 月 24 日時刻調整時，新增嘉義 — 松山間 1518 次與基隆 — 嘉義間 1519 次，沿途各站均停靠。2005 年 1 月 10 日時刻調整時，長程平快車停駛，但因通勤電車中南部運能不足，以本型客車在彰化 — 嘉義 — 高雄行駛冷氣平快 201－212 次，為「冷氣平快」首次出現在臺鐵時刻表上。雖列車名為平快車，然實際上均為各站停靠。

自 2006 年 3 月 15 日起，本型車也投入屏東線運用。屏東線的普通車全面改以 35SPK2300 型編組行駛，每站皆停。於 2008 年 5 月 15 日改點之後，35SPK2300 型全面下線，縱貫線以電聯車行駛之區間車取代，而屏東線以復興號編組行駛之區間車取代。

依交通部臺灣鐵路管理局公告，此型車輛已經於 2008 年 5 月停用。其中 2007 年已有 4 輛車除籍，2008 年、2009 年也分別有 16 輛、14 輛除籍，且前述共 34 輛皆已標售、解體。剩餘未除籍的 16 輛停用車中，其中 2 輛放置於高雄機廠內、3 輛放置於九曲堂站側線、11 輛放置於加祿站側線。當中九曲堂站為接辦因高雄市區鐵路地下化而停辦的鳳山站軍事運輸而新建汽車月臺，因而將原先停放於側線的 3 輛 35SPK2300 型與 6 輛藍皮車全數移置到臺東站的側線停放，後來又因臺東站施工而再度移至太麻里站的第一月臺 A 側停放。

2014 年，為配合「2014 仲夏寶島號花東首航」活動，需有空調又可開窗的客車，因此 6 月先將加祿站的其中 6 輛停用車迴送至高雄機廠，挑選車況較佳的 35SPK2302、2308、2314、2317、2327 等 5 輛進行修復，並更改塗裝為原先對號快車之藍底白線塗裝。但由於部份用料已無備品，因此在同年 7 月，將太麻里站的 3 輛 35SPK2300 型與 6 輛普快車車廂迴送回高雄機廠，全數作為器官車使用。這 5 輛於 7 月、8 月陸續修復完成後，放置於廠內未修復的 6 輛 SPK2300 型於同年 9 月報廢除籍。另外，由於當初改造成冷氣平快時，已將大部分的可開式窗戶塗上矽膠封死，在需修復成可開窗的狀態下，只能將同樣放在高雄機廠停用已久的二等車（包含二等客車 35SP32400 型、35SP32550 型，二等客守車 35SPK32600 型、35SPK32700 型）的窗框拆下來利用，此舉亦造成同年 9 月的大量除籍（二等客車由 7 輛減少為 1 輛，二等客守車由 13 輛減少為 5 輛），成為冷氣平快車復出時的遺珠之憾。

諸元

名稱：冷氣平快
製造廠商：日本 新潟鐵工所、近畿車輛、富士重工
改造廠商：臺灣 唐榮鐵工廠
車種：貳等車
註記：空調普通車
型式：35SPK2300（35 是車重（包含載人），SP 指二等客車，K 指有加裝手軔機，2300 為型號）
車籍：35SPK2301－35SPK2350
輛數：50 輛
皮重：32.65 公噸（改造前為 29.64 公噸）
換算噸數：空車重 30 公噸，重車重（載客時）35 公噸
座位：62，旋轉椅。
長寬高：長 20m，寬 2.65m，高 3.97m
最高車速：100km/hr
現存車輛：
臺東機務段：35SPK2302T、35SPK2308T、35SPK2314T、35SPK2317T、35SPK2327T
以上車輛因檢修屆期停用，且因久放有安全隱患，已於 2025 年 1 月全數報廢除籍。

照片集
殖民地威廉斯堡

殖民地威廉斯堡（Colonial Williamsburg）是美國弗吉尼亞州威廉斯堡市的一個歷史保護區域。18 世紀時，威廉斯堡曾是弗吉尼亞州的首府。但至美國革命戰爭後，威廉斯堡失去其重要的地位。直到 20 世紀早期， 牧師博士古德溫與一些人和組織一起致力儲存有歷史價值的殖民地時代的建築。在工程裡，被重建的有威廉斯堡，詹姆斯鎮和約克鎮，這三城鎮由殖民地大路相連，並被稱為維吉尼亞歷史三角。但在這三個重建的城鎮當中，最著名的就是殖民地威廉斯堡。

歷史

1.1 中央種植園

1632 年，最早的英國殖民者開始在威廉斯堡地區定居。當時，該地被稱為中央種植園（Middle Plantation）。弗吉尼亞殖民地最初的首府一直是詹姆斯鎮（Jamestown）。1676 年，貝肯叛亂（Bacon's Rebellion）期間的大火燒燬了詹姆斯鎮。在重建期間，殖民地的管理機關遷到了中央種植園。1693 年，殖民地獲得英王的批准創辦威廉與瑪麗學院，校址選在中央種植園。1698 年，詹姆斯鎮重建的州議會大樓再次被燒。殖民地的管理機關再次遷到中央種植園。

1.2 維吉尼亞的前首府

1699 年，威廉與瑪麗學院學生的建議將首府正式遷到中央種植園，這個建議得到了批准。該村莊被重新命名為 “威廉斯堡”，以英王威廉三世。1722 年，威廉斯堡被授予皇家憲章，成為一個城市。威廉斯堡曾經是大英帝國在北美的最大、最富有，同時也是人口最多的殖民地的首府。

直到 1779 年，裡士滿成為維吉尼亞的新首府。

1.3 今天的殖民地威廉斯堡

20 世紀初，威廉斯堡仍是一個安靜的小城。當地教堂的牧師古德溫博士試圖修復和儲存有歷史價值的教堂，並在 1907 年完成了他的計劃。但他意識到，其它許多殖民地時代的建築雖然同樣還存在，但是大多情況都很糟糕。古德溫開始尋找外界的支援和財務支援以進行更大規模的修復。

最終，古德溫得到了石油大王洛克菲勒的兒子小洛克菲勒夫婦的支援。他們提供了古德溫修復計劃主要的財務支援。他們聯合努力的結果是創立了殖民地威廉斯堡，其工程包括恢復威廉斯堡殖民時代的原貌，以儲存美國早期的歷史。今天，殖民地威廉斯堡是維吉尼亞歷史三角的核心，由殖民地大路與詹姆斯鎮和約克鎮相連。殖民地威廉斯堡也成為弗吉尼亞州接待遊客數量最多的旅遊目的地。

殖民地威廉斯堡這個歷史名城超過一英里長，內有八十八座公眾建築原物，五十座重建的主要建築，還有 90 英畝的殖民時期的花園，向人們展示美利堅合眾國成立之前的美國理念的起源。

殖民地威廉斯堡雖然溢著 18 世紀的氣氛，但仍有人對殖民地威廉斯堡存有不滿，如當地的環境太乾淨，而且沒有殘暴的奴隸制。

殖民地威廉斯堡有一個傳統方式去慶祝聖誕節，例如他們有一種特別的花圈，叫作 “殖民地威廉斯堡門飾”，加上了水果、蔬菜、乾了的花等等。他們還會安置一些蘋果在他們的房子附近，而且也會享受可口的膳食。而且人民會安置許多聖誕節蠟燭於戶外，從遠望，他們看起來極像星星。因此殖民地威廉斯堡的聖誕節氣氛很濃厚。

參觀殖民地威廉斯堡時，最好知道一些當地的術語，它們很有幫助。僱員會頻繁地叫殖民地威廉斯堡為 “C.W.”（Colonial Williamsburg 的縮寫）。部份人會稱殖民地威廉斯堡為 “被恢復的區域” 或 “歷史區域”。而威廉與瑪麗學院則是 “學院”。

威廉斯堡有兩個大型主題公園：和水世界。

遊客可以乘腳踏車，參加英國的草坪保齡球，槌球和其它草坪比賽。還有排球、小小高爾夫球、羽毛球和更多體育專案。
致愛好者的公開信

致愛好者的公開信（An Open Letter to Hobbyists）是一篇由微軟創辦者比爾・蓋茨在 1976 年 2 月 3 日寫的公開信，在這篇文章中，蓋茨對業餘愛好者群體中猖獗的軟體盜版行為表示失望。

在這封信中，蓋茨表達了對大多數電腦愛好者的失望，他們沒有付費就使用了微軟的 Altair BASIC 軟體。 他斷言，如此廣泛的未經授權的複製實際上阻礙了開發人員在建立高質量軟體上投入時間和金錢。他指出，在不支付報酬的情況下，從軟體作者的時間、精力和資本中獲得好處是不公平的。

Altair BASIC

1974 年 12 月，比爾・蓋茨還是哈佛大學的學生，保羅・艾倫在波士頓霍尼韋爾公司工作。1975 年 1 月，他們在《》雜誌上看到了 Altair 8800 電腦。自從他們在西雅圖湖濱學校 (Lakeside School) 學習以來，他們就編寫了基本的語言程式，並且知道 Altair 計算機的功能強大到足以支援一個基本的翻譯。

“小偷” 和 “寄生蟲”

公開信

蓋茨在公開信中說：「有誰會在沒有任何報酬的情況下來做這些專業的工作？什麼樣的愛好者可以為他的產品投入三人年（man-year）的開發時間，並且發現所有的錯誤、編寫文件以及無償釋出這個產品？」
抱朴子

《抱朴子》為東晉時期葛洪所著，分為內外兩篇，後來被道教作為經典。其中《外篇》主要是對葛洪生平的自述和談論社會上的各種事情；而《內篇》是葛洪對道家思想和丹道修煉方法的闡述。

內容

抱朴一詞源自《老子》之語 “見素抱樸，少私寡慾”。葛洪本人自號抱朴子，故以為書名，其思想涵蓋儒、道二家。《內篇》主要講述神仙方藥、鬼怪變化、養生延年，禳災卻病，屬於道家。其內容可以具體概括為：論述宇宙本體、論證神仙的確實存在、論述金丹和仙藥的製作方法及應用、討論各種方術的學習應用、論述道經的各種書目，說明世人修煉的廣泛性。

《外篇》則主要談論社會上的各種事情，屬於儒家的範疇，也顯示了作者先儒後道的思想發展軌跡。其內容可具體概括為：論人間得失，譏刺世俗，講治民之法；評世事臧否，主張藏器待時，克己思君；論諫君主任賢能，愛民節慾，獨掌權柄；論超俗出世，修身著書等。總之，《抱朴子》將玄學與道教神學，方術與金丹、丹鼎與符、儒學與仙學統統納為一體之中，從而確立了道教神仙理論體系。

《晉書・葛洪傳》記《抱朴子》內外篇原共有 116 篇。今本已亡佚 40 餘篇。南朝陶弘景曾作 “《抱朴子注》二十卷”，這是《抱朴子》的最早注本，已佚。清人嚴可均輯有《抱朴子內篇佚文》10 卷。現流行本則是孫星衍之校本。今人王明著《抱朴子內篇校釋》。

葛洪提出了修仙必須積累善行，建立功德，慈善為懷。《抱朴子》中強調人不能單純地從修煉方術入手，人生的抱負也不能僅僅是遁隱山林，要想真正修煉成仙還要建功立業、修身齊家治國平天下。主張在現實社會生活中獲得精神解脫和煉得肉體飛昇，既做到立時濟世，又得超凡入聖。如他說：“上士得道於三軍，中士得道于都市，下士得道于山林。” 他認為修煉既可以保德致長生，也可以治世致太平。透過修煉還可以獲得長生，身體不傷，是最大的孝道。

版本

宋紹興二十二年臨安府榮六郎家刊本
明萬曆六年吉藩崇德書院《二十家子書》本。

英譯本

Sailey, Jay. The Master Who Embraces Simplicity: A study of the philosopher Ko Hung, A.D. 283-343. San Francisco: Chinese Materials Center. 1978. ISBN 0-89644-522-4
Sunday Girls

Sunday Girls 是由佐藤麻衣、高垣朋子、千田愛紗、五島千佳四名成員所組成的女子偶像團體。

成員列表

專輯

徵選

Sunday Girls 是 2000 年 6 月華視綜藝節目《超級星期天》中，由豐華唱片、東風文化傳播（當時《超級星期天》製作單位）、吉本興業聯合舉辦的「超級動員令之日本美少女」活動徵選而出的。

四名 Sunday Girls 的成員是由 2000 多封從日本各地寄來的報名錶中，選出 130 名合格的參賽者，最後經現場選拔而出的六名成員，分別為安藤裕子、遠藤舞、佐藤麻衣、高垣朋子、五島千佳和佐藤梢（後來由千田愛紗補上中途退出的安藤裕子）。她們都是至臺灣訓練三個月，經過比賽的磨練而選拔出來的。

現況

目前佐藤麻衣與千田愛紗仍然以藝人的身份在臺灣發展。安藤裕子則在日本以創作型女歌手的身份出道並發行專輯，並且曾在電影《催眠》與電視劇《池袋西口公園》中參與演出。
肺炎病毒亞科

肺炎病毒亞科 (Pneumovirinae), 屬於副黏液病毒科。學名來自希臘語 pneuma，精神；靈魂的意思。

肺炎病毒亞科下的病毒分為兩個屬：

肺炎病毒屬 (Pneumovirus)，
人類呼吸道細胞融合體病毒 (Human respiratory syncytial virus)，又名人類呼吸道合胞病毒
間質肺炎病毒屬 (Metapneumovirus) 又名間質肺病毒屬
鳥類肺炎病毒 (Avian pneumovirus) 又名禽肺炎病毒
青藏高原

青藏高原，亦稱西藏高原，曾稱為青康藏高原、海藏高原，是亞洲的高原地區，世界上最高的高原，平均海拔高度 4500 米，面積 250 萬平方公里，有 “世界屋脊”、“雪域高原” 和 “第三極” 之稱，是橫跨中亞和東亞的巨大高原，其中主要位於中國西部的西藏自治區和青海省，以及在印度拉達克的一部分。它從南向北延伸，從東到西延伸約。廣義上的青藏高原除了自身外還包括橫斷山和喜馬拉雅山，西起帕米爾高原，東至橫斷山脈東部，南至喜馬拉雅山脈南緣，北至崑崙山‒祁連山北側。涵蓋國境有中國西藏自治區、青海省全境、新疆維吾爾自治區、甘肅省、四川省、雲南省部分，以及不丹、尼泊爾、拉達克、巴基斯坦、阿富汗、塔吉克、吉爾吉斯斯坦等地。

2023 年 9 月，中國開始實施《青藏高原生態保護法》，用以解決青藏高原地區生態退化等問題，但部分措施，如圍欄、控制齧齒動物、增加草籽和施肥可能會進一步破壞該地區的生態環境和生物多樣性。

名稱

青藏高原在中文原名為青康藏高原，此因中華民國政府曾在康區（今四川省西部和西藏自治區東部）之間設有西康省，高原上有青海、西康和西藏三省地。中華人民共和國政府於 1955 年撤銷西康省並將其拆分併入四川省和西藏自治區後，將此高原改為今名。臺灣坊間舊書刊、科書、參考書和部分民眾則仍習稱青藏高原為青康藏高原。1990 年代後，中華民國地理教科書上改為使用中華人民共和國實質管控之行政區劃，並統一改用青藏高原此一名稱。另外，西方國家則多以吐蕃的高原（Tibetan Plateau）稱之。

地形地貌

青藏高原的周圍有許多山脈，它們大多數呈西北一東南走向，相對於高原外的地面他們陡然而起，上升很多，其中南部的喜馬拉雅山脈中的許多山峰名列世界上前十位，特別珠穆朗瑪峰是世界上海拔最高的山峰。同時高原內部除平原外還有許多山峰，高度懸殊。高原上還有很多冰川、高山湖泊和高山沼澤。亞洲的主要河流（黃河、長江、瀾滄江、怒江、雅魯藏布江、恆河、印度河）皆發源於此。

青藏高原海拔列表

2.1 山脈

崑崙山脈
喀喇崑崙山脈
唐古拉山脈
橫斷山脈
岡底斯山脈
念青唐古拉山脈
喜馬拉雅山脈

水文與水產

3.1 冰川

從青藏高原上的太空向南方俯瞰喜馬拉雅山。

地球上中低緯度地區的冰川主要集中在高原上，青藏高原冰川覆蓋面積 4.7 萬平方公里，佔全中國冰川總面積 80％以上。

喜馬拉雅現代冰川
念青唐古拉山現代冰川
崑崙山現代冰川
喀拉崑崙山現代冰川
橫斷山現代冰川
唐古山現代冰川
岡底斯山現代冰川
羌唐高原現代冰川
祁連山現代冰川

3.2 河流

黃河
長江（金沙江）
瀾滄江（湄公河）
怒江（薩爾溫江）
雅魯藏布江（布拉馬普特拉河）
恆河
印度河（獅泉河）
阿姆河（噴赤河）
錫爾河
塔里木河（葉爾羌河）

3.3 湖泊

青海湖（庫庫淖爾）
班公錯
郭扎錯
魯瑪江冬錯
拉昂錯
瑪旁雍錯
昂拉仁錯
扎布耶茶錯
塔若錯
扎日南木錯
當惹雍錯
昂孜錯
格仁錯
錯鄂
阿牙克庫木湖
色林錯
烏蘭烏拉湖
納木錯
普莫雍錯
羊卓雍錯

3.4 魚類

鯉形目條鰍科高原鰍屬魚類與鯉科裂腹魚亞科魚類構成了青藏高原魚類區系的主體。

地質

}}

青藏高原是世界上最年輕的一個高原，2.4 億年前，印度板塊開始向北向歐亞板塊擠壓，由此引起崑崙山脈和可可西里的隆起。隨著印度板塊不斷向北推進，並不斷向亞洲板塊下插入，青藏高原在對此上升階段中形成。青藏高原的形成並不是一次就完成的，其上升速度曾幾度達到停止，但有時也非常迅速。一萬年前其上升速度曾達到每年 7 釐米。今天的青藏高原中部以風化為主，而邊緣仍在不斷上升。

4.1 周邊斷裂帶與地震活動

青藏高原的持續抬升及其周邊地區形成的、喀喇崑崙斷裂帶、、、、甘孜 - 鮮水河斷裂帶、龍門山斷裂帶、等活斷層，與相關地區較為活躍的地震活動有著密切的關係。

氣候

大氣在青藏高原上相較於低海拔地區來説十分稀薄，由於海拔高，青藏高原的空氣比較乾燥，太陽輻射比較強，氣溫比較低。由於其地形的複雜多變，青藏高原上氣候本身也隨地區的不同而變化很大。大致而言高原上降雨比較少。青藏高原本身也是影響地球氣候的一個重要因素。古生物學和地質學的考察表面，青藏高原的隆起使全球的氣候發生了巨大的變化。作為一個高大的阻風屏障，它有效地將北方大陸的寒冷空氣阻擋住了，使它們不能進入南亞。同時喜馬拉雅山脈阻擋了南方溫暖潮溼的空氣北進，是造成南亞雨季的一個重要因素。

夏季時，高原受熱明顯，因此形成一個位於高空的反氣旋 —— 青藏高氣壓，大大加強了南亞季風強度，並能影響副熱帶高壓的位置及強度。

冬季時，因高原地面冷卻，周遭氣溫較高，高原向四周空氣吸收熱量，形成低溫下沉氣流，高原上的冷空氣往四周下沉到附近地區。青藏高原下沉冷空氣一部分會流向蒙古，大幅加強蒙古地面高壓強度，形成冬季另一個冷高壓中心 - 蒙古高壓。

文化

青藏高原上人煙稀少，但雖然如此，這裡有可能在 4 萬年前就已經有舊石器文化的人類生存。青藏高原上的文化受到其周圍文化（漢文化、西域文化和印度文化）的影響，但同時它也儲存了它的獨有性。當地以高原農牧為主。
副黏液病毒亞科

副黏液病毒亞科（Paramyxovirinae），屬於副黏液病毒科，包括：

呼吸病毒屬 (Respirovirus)- 代表種：仙台病毒 (Sendai virus)
麻疹病毒屬 (Morbillivirus)- 代表種：麻疹病毒 (Measles virus)
德國麻疹病毒屬 (Rubulavirus)- 代表種：腮腺炎病毒（Mumps virus）流行性腮腺炎病毒；耳下腺炎病毒
亨德拉病毒屬 (Henipavirus) 亨立百病毒屬)- 代表種：亨德拉病毒 (Hendra virus)
鳥類德國麻疹病毒屬 (Avulavirus) 禽腮腺炎病毒屬 - 代表種：新城疾病病毒 (Newcastle disease virus)
舟山島

臨城新區，2014 年

舟山島位於中華人民共和國杭州灣東南方、浙江省東北部海域。第一次海島調查時面積為 476.1653 平方公里，為舟山群島的主島，浙江省第一大島，它是中華人民共和國法律上第四大島嶼（實際管轄為第三大），南與寧波市相望。由於東港海塗開發，以及最近的釣浜、釣梁等圍墾工程使得梁橫山等島嶼連陸，目前實際面積為 502.65 平方公里。

歷史

19 世紀之交，英國一直希望清朝賜予一島方便商人存貨和僑居，首選一直是浙江定海縣舟山島，因它鄰近浙江湖州，中英貿易的第二大商品 —— 絲綢 —— 主要是湖州湖絲。1793 年馬戛爾尼使團請求乾隆帝賜舟山，未果。後來英國目光改為香港。主因有：一，鴉片戰爭時英國佔領定海，英國駐華商務總監查理・義律才發現舟山島「航行充滿危險，除了動力汽船之外，其他船隻幾乎無法航行」；二，虎門銷煙後從東印度公司治下的印度運出的鴉片已改為在香港中轉，英國在香港保護鴉片走私遠比保護湖州絲綢貿易更有利可圖；三，舟山以北的上海開埠。

地理

該島除四周區域性狹窄的沖積平原外，其餘為山地、丘陵，高度一般為海拔 100－400 米。最高點黃楊尖，海拔 503.6 米。舟山島氣候是屬於亞熱帶季風氣候，由於舟山乃島嶼，易受東海帶來的海洋氣流影響，故舟山在冬天的時候的氣溫，比起上海和杭州等大陸城市為高。

交通

2004 年，舟山市開始建造舟山本島與中國大陸的跨海大橋，稱為舟山大陸連島工程，2008 年竣工，2009 年 12 月 25 日通車。舟岱大橋建成後，連線浙江舟山的富翅島、舟山本島、長白島、岱山島、魚山島 5 座島嶼。

行政區劃

舟山島東部屬舟山市普陀區，西部屬舟山市定海區。中部為臨城新區，是舟山市的行政中心。
初級中學

初級中學，簡稱初中，是中等教育的階段之一。許多國家的教育部門將普通中學劃分為初級中學和高階中學，廣義的初級中學包括普通初級中學和初級職業學校，狹義的初級中學專指普通初級中學。其中，初級中學是學生在小學結束後接續進行的教育，而在初級中學這一個階段結束之後，下一階段將會是高階中學。

概述

1.1 教育學上的意義

雖然在部分地區中等學校等同於初級中學，但在某些地方這種學制也發展出教育學上的特別意義。10－15 歲（5-9 年級）的學生在學科學習、社會情感和學校組織上會面臨斷層，中等學校則提供主要的引導功能，所以在教育上有其功能，而不單只是組織或名稱上的不同而已。

各地學制

2.1 中國大陸

初級中學屬於義務教育的一部分，通常由小學六年級升入（上海市、山東省煙臺市等實行五四年制的地區由小學五年級升入）。小學升入初中的政策由各區縣級教育委員會劃定，公辦初中主要有學區入學、電腦派位政策、以及九年一貫制學校直升，民辦初中以電腦派位政策招生；除少數城市特批的外國語學校可進行升學語言能力測試之外，絕大部分學校一律免試入學。根據中華人民共和國教育部的規定，初中作為義務教育階段的學校，不能有重點學校與非重點學校之分。不過民間把各所初中分為三六九等的情況在各地仍然十分普遍。大部分地區的初中有三年，2001 年，頒佈《義務教育課程標準（實驗稿）》，初中三個年級正式改名為七、八、九年級，但生活中亦稱作初一、初二、初三（上海市等地為四年，分別稱作預備年級、初一、初二、初三），不分文科及理科。學生畢業之後，根據中考成績和填報的志願，升入普通高階中學、中等專科學校或職業高階中學。

初中開設的課程為語文、數學、外語（通常為英語，某些地區有日語、俄語等課程）、道德與法治、歷史、地理、物理、生物、化學、資訊科技、美術、音樂、體育與健康、綜合實踐等，也有地區將物理、化學合併為科學課程，歷史、地理合併為歷史與社會課程。一般而言，語文，數學，英語，歷史，道德與法治等科目將貫穿初中三年；地理，生物會在七年級和八年級開設，物理會在八年級和九年級開設，化學會在九年級開設。

根據各地教育政策以及一些外國語專門初中的培養計劃，使用日語、俄語等外語來代替英語作為外語學習的語言。部分外國語學校增設西班牙語和法語等外語。

在部分課程改革試驗區如浙江省，初中不再開設物理、化學、生物、歷史、地理科目，而是將其全部容納至兩門獨立學科：科學和歷史與社會。科學囊括初中學生應該掌握的基礎科學知識和實驗技能，要求學生懂得基礎生命科學、物質科學、地球與空間科學的基礎內容。歷史與社會囊括基本人文地理、歷史的知識。科學和歷史與社會這兩門學科均參加中考。

2.1.1 香港

香港大部分中學初中與高中是同一間學校，初中共有三年（稱為中一至中三），課程以廣博為主，如音樂、視覺藝術、體育（只有極少數學生會報讀高中音樂、視覺藝術、體育課程）、綜合科學等。另外，學校亦會教授工藝科目（如木工和金工）、科技與生活科（亦稱為家政科）以鍛練身心（同樣地只有極少數學生會報這些科目的高中課程）。完成中三後可以不繼續升學，可以選擇就業工作，或轉讀其他職業訓練課程。

高中課程（中四至中六）則為三年制，一般高中學生最終會參加香港中學文憑考試。

2.1.2 澳門

一般是小學之後的首三年的中學教育便是為初中。屬於公共教育網的學校（包括非牟利並實行本地學制的私校）享有免學費、免雜費等政府補助。

2.2 臺灣

臺灣稱為國民中學（簡稱國中），共三年。「初級中學」（包括初級職業學校，Vocational Junior High School）在臺灣指的是 1968 年以前尚未義務教育化以前的制度，需要透過初中聯招考試。當時各地的省中皆有設定初中部，後因省辦高中，縣市辦初中而廢除，初級中學一詞因 1968 年實施九年國民義務教育的實施而改名。雖然和國民小學分開，但在 2000 年代臺灣教育改革以後效仿美式學程的作法，將國中視為國小課程的延續，不再稱呼國一～國三，而改稱七年級～九年級（但部分學校仍然維持舊稱），之後可升學至高階中等學校、技術型高階中等學校、五年制專科學校，或進入軍事學校中正國防幹部預備學校。

2.3 北美

中等學校（Middle School、Intermediate School）是北美國家學制中，一種範圍涵蓋初等教育和中等教育的學校，提供學生兩種教育階段間的橋樑。其修業年限在不同州有不同的規定，有時可以互通。例如在一些政府或法令規定中，「中等學校」被稱為「初級中學」（Junior High School），有些則代表著不同於傳統的學制。
邏輯與

在邏輯和數學中，邏輯合取或邏輯與或且是一個二元邏輯運算子。如果其兩個變數的真值都為 “真”，其結果為 “真”，否則其結果為 “假”。

相關名稱

基本符號：

英文名：logical conjunction

中文名：邏輯與，合取，交集，按位與，邏輯乘，與門，...

命題邏輯中的二元連線詞合取，是一個兩元運算元，集合論中的交集運算元，二進位制中的邏輯乘運算元，按位與（Bitwise AND），邏輯閘中的 “與” 門（AND gate），程式語言中的 & 或 and 運算子等等。

基本定義

邏輯與（logical conjunction）是兩個邏輯變數的一種運算，經常是兩個命題的運算。它滿足：當且僅當其兩個變數的真值都為真時，其結果為真。

邏輯與是個二元運算元，運算結果取值為真的條件是，當且僅當兩個命題的取值都真時。命題是取值要麼是真要麼是假的二值語句，沒有第三種取值，或說值域為 {真，假} 或是 {T,F} 或是 {0,1}。未知真又未知假的語句是猜想；既真又假，既不真又不假的語句是悖論。

複合命題，讀作 A 合取 B，在 GCT 邏輯中，也叫聯言命題。也有稱為合取命題的。

真值表定義

A 與 B 的真值表（也寫作 AB（邏輯學），A && B（計算機科學），或 AB（電子學））。

的真值表:

推理規則

4.1 合成與分解規則

4.1.1 合取引入規則

合取引入規則（∧+）（conjunction introduction rule）或聯言推理的合成式，是經典邏輯中簡單且有效的論證形式。這個論證形式有兩個前提，A 和 B，可以直觀地推出他們的合取。

其形式如下：

A,

B.

因此 A 且 B.

形式化為：

下面的例子是滿足聯言推理的合成式的論證：

小橘子是正妹。

小橘子是車神。

因此小橘子是正妹也是車神。

另一個例子如下：

1 小於 2

6 大於 5

因此，1 小於 2，而且 6 大於 5。

還有一個例子如下：

有一些 PSPACE 問題不是 NL 問題

有一些 EXPSPACE 問題不是 PSPACE 問題

因此有一些 EXPSPACE 問題不是 PSPACE 問題，而且有一些 PSPACE 問題不是 NL 問題

4.1.2 合取消去規則

合取消去規則（∧-）（Conjunction elimination rule）或聯言推理的分解式，是另一個在經典邏輯中簡單且有效的論證形式。從任何合取式中都可以直觀地推論出兩個前提中的任意一個。

其形式如下：

A 且 B。

因此 A。

... 或者，

A 且 B.

因此 B.

用邏輯運算子描述為，

形式化為:

或者，例如:

有一些 EXPSPACE 問題不是 PSPACE 問題，而且有一些 PSPACE 問題不是 NL 問題

因此有一些 PSPACE 問題不是 NL 問題

或者

有一些 EXPSPACE 問題不是 PSPACE 問題，而且有一些 PSPACE 問題不是 NL 問題

因此有一些 EXPSPACE 問題不是 PSPACE 問題

另一個例子如下：

1 小於 2，而且 6 大於 5。

因此 1 小於 2。

或者

1 小於 2，而且 6 大於 5。

因此 6 大於 5。

還有一個例子如下：

小橘子是正妹也是車神。

因此小橘子是正妹。

或者

小橘子是正妹也是車神。

因此小橘子是車神。

性質

邏輯與滿足以下性質：

結合律:
交換律:
分配律:

::

冪等律:
單調性:

::

保真性：所有變數的真值皆為 “真” 的命題在邏輯與運算後的結果為真。
保假性：所有變數的真值皆為 “假” 的命題在邏輯與運算後的結果為假。

如果用二進位制來表達真（1）和假（0），邏輯與運算與算術乘法運算一致。

計算機科學中的運用

6.1 位運算

邏輯與常在位運算中使用，比如：

0 and 0 = 0
0 and 1 = 0
1 and 0 = 0
1 and 1 = 1
1100 and 1010 = 1000

6.2 程式設計中的使用

在高等計算機程式設計中，邏輯合取 “與” 通常由內建算符 and 或 & 號來表達。很多程式語言還提供與邏輯與相應的短路求值控制結構。

布林 “與” 也在 SQL 的運算子中使用。有些資料庫區分大小寫，需要 "AND" 符號。

在計算機科學中，AND 運算子可以用來構造位遮蔽，以選擇二進位制序列的一部分。比如 10011101 AND 00001000 = 00001000 用來取二進位制序列的第五位。

交集運算

集合論中的交運算是用邏輯與來定義的：x ∈ A ∩ B 當且僅當 (x ∈ A) ∧ (x ∈ B)。因此邏輯與有很多與交集運算相同的性質，諸如結合律，交換律，分配律，及德・摩根定律。

相關網頁

Wolfram Mathematics Conjunction
All Math Words Encyclopedia Conjunction
邏輯等價

在邏輯中，陳述 p 和 q 是邏輯等價的，如果它們有相同的邏輯內容。

p 和 q 是語法等價的，如果每個都可以證明自另一個。p 和 q 是語義等價的，如果它們在所有模型中有相同的真值。

邏輯等價經常混淆於實質等價。前者是在元語言中的一個陳述，斷言關於目標語言中的陳述 p 和 q 的某個事情。而 p 和 q 的實質等價（常寫為 "p ↔ q"）自身是在目標語言中另一個陳述。但它們是有聯絡的，p 和 q 是語法等價的，當且僅當 p ↔ q 是一個定理，而 p 和 q 是語義等價的，當且僅當 p ↔ q 是重言式。

邏輯等價有時表示為 p ≡ q 或 p ⇔ q。但是，後者記號也用於實質等價。

邏輯等價公式

包括蘊涵的邏輯等價：

p→q≡﹁p∨q
p→q≡﹁q→﹁p
p∨q≡﹁p→q
p∧q≡﹁(p→﹁q)
﹁(p→q)≡p∧﹁q
(p→q)∧(p→r)≡p→(q∧r)
(p→q)∨(p→r)≡p→(q∨r)
(p→r)∧(q→r)≡(p∨q)→r
(p→r)∨(q→r)≡(p∧q)→r

包含雙蘊涵（邏輯雙條件）的邏輯等價：

p↔q≡(p→q)∧(q→p)
p↔q≡﹁p↔﹁q
p↔q≡(p∧q)∨(﹁p∧﹁q)
﹁(p↔q)≡p↔﹁q

例子

John 高於 Fred≡≡（等價於）≡≡Fred 矮於 John。
楊斌 (商人)

楊斌，出生在中國江蘇省南京市，擁有荷蘭國籍，自稱畢業於海軍第二炮兵學院。經營歐亞農業企業，曾被朝鮮政府委任為新義州特別行政區長官，後被中華人民共和國政府逮捕。

2016 年 9 月 26 日獲假釋提前出獄。

經歷

歐亞農業的過程和楊斌的一生都充滿著謎團，有荷蘭國籍的楊斌 1995 年返回中國，在瀋陽經營花卉栽種及農業開發，建立荷蘭村，同年在《福布斯》雜誌中國富豪排行榜上名列第 2 位，甚至曾被朝鮮政府委任為新義州特別行政區長官，可見在封閉的北韓體制內他還能取得管道和巨大影響力，甚至新義州特別行政區能夠成立都與他有關，讓外界對楊斌有不少謎團。

2002 年歐亞農業涉及偽造金融票證，虛報註冊資本、非法佔用農地、合同詐騙 、偽造金融票證、對單位行賄等多罪，楊斌被人民法院判 18 年徒刑罰款 230 萬元。同時中方對新義州的開發並不積極，甚至要求北韓應該多重點於對南韓合作的開城工業區，引發了外界無限的猜測，楊斌的故事也成為東北商場上多年為人談論的一則傳奇。部分人士認為楊斌被捕對原因包括中國政府對朝鮮不與中國溝通便將在中國出生的楊斌任命為新義州特首的舉動感到不滿，以及楊斌希望借新義州特首的身份在中國逃避稅賦，觸怒了當時正在推動打擊逃稅的時任國務院總理朱鎔基。
楊斌

楊斌可以指：

楊斌 (播州)，播州土司
楊斌 (學者)，廈門大學副校長（正廳級）、財政學教授、博導
楊斌 (編輯)，曾任《新京報》主編
楊斌 (商人)，華裔荷蘭籍商人，曾任新義州特別行政區長官
楊斌 (足球運動員)，廣州足球俱樂部球員
楊斌 (武警)，武警黑龍江總隊隊長
楊斌 (清華大學副校長)
楊斌 (舉重運動員)
楊斌 (摔跤運動員)
楊斌 (1961 年)，中國政治人物，現任北京市政協副主席
楊斌 (1965 年)，昆明理工大學副校長
楊斌 (1966 年)，彝族，中國政治人物，曾任雲南省楚雄彝族自治州人民政府州長、中共楚雄彝族自治州委書記，現任雲南省人民政府副省長
楊斌 (檢察官)，曾任廣州市人民檢察院檢察官，現在是一名律師
楊斌 (歷史學家)，香港城市大學教授
Yellowdog Updater, Modified

Yum（Yellow dog Updater, Modified）是由 Duke University 團隊修改 Yellow Dog Linux 的 Yellow Dog Updater 開發而成，是一個基於 RPM 套件管理員的軟體包管理器。能夠從指定的伺服器自動下載 RPM 包並且安裝，可以處理依賴性關係，並且一次安裝所有依賴的軟體包，無須繁瑣地一次次下載、安裝。被 Yellow Dog Linux 本身，以及 Fedora、Red Hat Enterprise Linux 採用。

圖形化前端

Yum 的圖形化前端主要有 Yumex 和 kyum（KDE）。它們並不是獨立於 Yum 的，而是 Yum 的圖形前端，也就是說在安裝和使用 Yumex 和 kyum 同時，都是以 Yum 為基礎；所以在用 Yumex 或 kyum 時，必須先安裝配置 Yum。