ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
以下的元定理的名字來自於英國邏輯學家奧古斯塔斯·德摩根。
De Morgan I：
:(1) (Hyp)
:(2) (MP with 1, DN)
:(3) (DN)
:(4) (D1 with 2, 3)
:(2) (DN)
:(3) (D1 with 1, 2)
:(4) (MP with DN, 3)
De Morgan II：
:(2) (MP with M2, 1)
:(3) (MP with M3, 1)
:(4) (AND with 2, 3)
:(2) (Hyp)
:(3) (M1)
公理模式(A7)可以稍加延伸成以下的元定理
元定理(定理的普遍化)：
對任意變數  ，若  則有 。
假設 就是 的證明，那 一定是公理，根據(A7)可以得到
若對  都有  ，如果  是公理的話顯然  。
若有  使得
那根據歸納法的假設跟(A6)有
以此歸納到 也就是 ，故本元定理得證。
更進一步，有以下元定裡
元定理(普遍化, GEN)：
在  裡變數  都完全被約束，若
我們對前提條件的數量  做歸納。
若 ，根據前提有
以(D)將  往前搬，再套用定理的普遍化，會得到
再根據(A5)和MP律，就可以得到
也就是本元定理要求的結果。
現在假設  的情況下元定理會成立。元定理的前提條件根據(D)可以寫為
則根據歸納法的假設
上式配上(A5)，本元定理在  的情況就可以得到證明，故本元定理得證。
(GEN)可以稍加修飾，以套用在含有存在量詞的公式上
元定理(GENe)：
若變數  在  的公式和  裡都完全被約束則
(1) 若  則
(2) 若  則
證明提示：對(GEN)使用(T)和(A5)
由普遍化，很容易證明以下關於"交換性"的定理
注意最後(3)一般來說是不能反向的，只要想到"對每個 ，都有一個數(也就是  )，使 "，但是任取一個  的數  和任意的數  ，  並不一定會為零。
一般來說， 會被視為某個  的簡寫(包括視為斷言符號)。若使用元定理的形式刻劃等式的性質，會作如下的定義
說一階邏輯理論  帶相等符號  意為(  、  和  都是  的任意變數)
*除了變數  和  於  是完全自由外其他變數都完全被約束
*(E2')  為  內不含函數符號與常數符號的原子公式 ， 若以  表示  內某一個  被取代成  而成的新公式，則有
*(E2") 若以  代表項  裡的  被取代成  而成的新項，則有
並在這種狀況下，規定  為  的簡寫。
上面的定義符合函數符號直觀上的＂唯一對應＂。為了證明常數符號的＂唯一性＂，我們需要以下元定理
說一階邏輯理論  帶相等符號  ，等同於要求：
* 除了變數  和  於  是完全自由外其他變數都完全被約束。
為了從(E1)+(E2')+(E2")+(E3)推出(E2)，我們分成幾個階段推廣(E2')
(1)含有常數符號的原子公式
:取  為任意常數符號，我們的目標是證明：對一段含常數符號  但不含任何函數符號的原子公式  ，若  表  裡某一個  被取代為  的新公式，則
:: (a)
:(a)證明過程如下：
:取一個不曾在  出現的變數 。若以  表示  內的  都被取代成  的新公式，將之帶入 (E2')有
:對上式，以變數  取(GEN)有
:: (b)
:但從(A4)有
:這樣上式就可以與(b)式取MP，就會有(a)。
(2)含有任意項的原子公式
:對一列項  ，若以  代表項  裡的一個  被取代成  而成的新項，那這樣可以用  代表  的  被取代成  所構成的新公式。那我們的目標是證明
:: (c)
:但根據(A4)和(GEN)，只需要證明
:: (c')
:就足夠了。更進一步的，由下面兩定理可以推出(c')
:: (d)
:: (e)
:也就是對(c)以變數  和  連續兩次使用(GEN)，然後連續兩次與(A4)以MP律配合會得到
:然後將上式與(e)帶入(D1)就有(c')。但事實上(d)就是(E2')的特殊狀況，所以接下來只需要從(E2")證明(e)，為此根據項的遞迴定義，我們對項  裡有的函數符號數量做歸納：
:函數符號數量為零的時候，(e)有兩種狀況(其中  為任意常數符號)
:: (e0)
:: (e0')
:(e0)就只是(I)故顯然成立；另一方面，對(E1)使用(GEN)然後與(A4)配合就會有
:故與(A1)配合就會有(e0')，至此函數符號數量為零情況的(e)已被證明。
:若  內函數符號數量為  個，事實上會有一列函數符號數量小於  的項  ，而有
:若以  代表  中的某個  被取代成  而成的新項，那這就是  取代成新項  的詳細過程，那歸納法的前提就是
:那我們對(E2")使用  次(GEN)，然後同樣與(A4)以MP律配合  次有
:故將上式與歸納前提套入(D1)就會有
:至此(e)已被歸納法證明。
(3)任意的公式
:為了將(E2')從任意原子公式推廣到任意公式，根據語法對公式的遞迴定義，我們要分別對公式裡的量詞和邏輯連接詞的數量做歸納。
:假設  為不含邏輯連接詞的任意公式：
:  沒有量詞的情況就只是(c)而已，故成立。
:若假設對於量詞數量為  的  有(  代表  內某個自由的  被取代成  所成的新公式)
:首先注意到新增量詞的時候，不可以取  或是  ，否則上面的自由取代就會完全被破壞。故取個不是  也不是  的任意變數  ，對上式使用(GEN)，然後與(A6)、(A5)配合使用MP律有
:上式也就是量詞數量為  的狀況，故我們把(E2')推廣到了不含邏輯連接詞的任意公式上。
:接下來我們對不含「  」的任意公式裡的「  」的數量做歸納：
:「  」的數量為零的情況剛剛已經證明，不再贅述。
:假設「  」的數量為  ，沒有「  」的公式下(E2')都對，那對「  」的數量為  的  有(特別注意到推廣的(E2')也可以將  裡唯一的 取代成 )
:: (f)
:那根據(T)有
:: (g)
:這樣對(f)和(g)套用(D1)，結果再和(E3)套用(D1)一次就有
:上式也就「  」的數量為  的情況，故我們把(E2')推廣到了僅不含「  」的任意公式上。
:為了要推廣到任意的公式上，我要要對「  」的數量做歸納：
:假設「  」的數量小於  的公式下(E2')都對，那對但數量合起來為  的  與   就會滿足
:: (*)
:: (**)
:考慮到(D1)有
:那配上(*)與(**)就有
:上兩式就是所有「  」的數量為  的情況，故我們把(E2')推廣到了任意公式。
最後，取代  個  的狀況，就是取代  後再取代一次。所以可以由歸納法，從推廣後的(E2')推出(E2)
首先(E2')顯然只是(E2)的特例；要得到(E2")只要注意到由(E2)有
然後對(E1)使用(GEN)再配合(A4)使用MP律有
所以對上面兩式套用(D2)就有(E2")。
至於(E3)，注意到由(E2)有
那這樣對上式和(E1)套用(D2)就有(E3)
從上面可以得知，如果等式符號僅僅為斷言符號，那等式和它的公理一節的等式公理模式，是等價於本節的(E1)+(E2')+(E2")。
由上面的元定理，對帶有等式符號的  可以證明以下的等式性質
若  、  與  為  的任意項，則有
*(E1)+(GEN)+(A4)。
*將  帶入(E2)後使用(D2)，然後套用兩次(GEN)+(A4)即可。
*注意到從(E2)有 ，然後套用三次(GEN)+(A4)即可。
對任意常數符號  ，上列元定理確保了
也就是常數符號的＂唯一性＂。
下面列出了一些重要的元邏輯定理。
#不像命題演算，一階邏輯是不可判定性的。對于任意的公式P，可以證實沒有判定過程，判定P是否有效，（參見停機問題）。（結論獨立的來自于邱奇和圖靈。）
# 有效性的判定問題是半可判定的。按哥德爾完備性定理所展示的，對于任何有效的公式P, P是可證明的。
# 一元斷言邏輯（就是說，斷言只有一個參數的斷言邏輯）是可判定的。
用自然語言表達的概念必須在一階邏輯（FOL）可以為為其效力之前必須被轉換到FOL，而在這種轉換中可能有一些潛在的缺陷。在FOL中，意味著“要么p要么q要么二者”，就是說它是“包容性”的。在英語中，單詞“or”有時是包容性的（比如，“加牛奶或糖？”），有時是排斥性的（比如，“喝咖啡或茶？”，通常意味著取其中一個或另一個但非二者）。類似的，英語單詞“some”可以意味著“至少一個，可能全部”，有時意味著“不是全部，可能沒有”。英語單詞“and”有時要按“or”轉換（比如，“男人和女人可以申請”）。
所有數學概念都有它的強項和弱點；下面列出一階邏輯的一些問題。
帶有等式的FOL不包含或允許定義if-then-else斷言或函數if（c,a,b），這裡的c是表達為公式的條件，而a和b是要么都是項要么都是公式，并且它的結果是a如果c為真，或者b如果它為假。問題在于FOL中，斷言和函數二者只接受（“非布爾類型”）項作為參數，而條件的明確表達是（“布爾類型”）公式。這是不幸的，因為很多數學函數是依據if-then-else而方便的表達的，而if-then-else是描述大多數計算機程序的基礎。
在數學上，有可能重定義匹配公式算子的新函數的完備集合，但是這是非常笨拙的。
斷言if（c,a,b）如果重寫為就可以在FOL中表達，但是如果條件c是復雜的這就是笨拙的。很多人擴展FOL增加特殊情況斷言叫做“if（條件，a, b）”（這里a和b是公式）和／或函數“ite（條件，a, b）”（這裡的a和b是項），它們都接受一個公式作為條件，并且等于a如果條件為真，或b如果條件為假。這些擴展使FOL易于用于某些問題，并使某類自動定理證明更容易。
其他人進一步擴展FOL使得函數和斷言可以在任何位置接受項和公式二者。
除了在公式（“布爾類型”）和項（“非布爾類型”）之間的區別之外，FOL不包括類型（種類）到自身的概念中。
某些人爭辯說缺乏類型是巨大優點
，而很多其他人發覺了定義和使用類型（種類）的優點，比如幫助拒絕某些錯誤或不想要的規定
想要指示類型的那些人必須使用在FOL中可獲得的符號來提供這種信息。這么做使得這種表達更加復雜，并也容易導致錯誤。
單一參數斷言可以用來在合適的地方實現類型的概念。例如：
斷言Man(x)可以被認為是一類“類型斷言”（就是說，x必須是男人）。
斷言還可以同指示類型的“存在”量詞一起使用，但這通常應當轉而與邏輯合取算子一起來做，比如：
:（“存在既是男人又是人類的事物”）。
容易寫成，但這將等價與（“存在不是男人的事物或者存在是人類的事物”），這通常不是想要的。類似的，可以做一個類型是另一個類型的子類型的斷言，比如：
:（“對于所有x，如果x是男人，則x是哺乳動物）。
從L?wenheim–Skolem定理得出在一階邏輯中不可能刻畫有限性或可數性。若一階理論有任意有限大的模型，則也有無窮大的模型，所以說不能刻劃有限性。而若理論有某個無窮基數大小的模型，則也必有任意更大的模型，所以不能刻劃可數性。另一個例子，是無法用一階語言將實數系公理化，因為不論用何種一階理論描述，既然該理論有實數系此種無窮模型（大小為），所以必有比實數系更大（比如）的另一個模型，從而該理論不是（唯一地）刻劃實數系的性質。實數系滿足的公理中，有上確界性質一項，它聲稱實數的所有有界的、非空集合都有上確界。一階邏輯祗能對元素量化，但此公理中，要對模型的全部子集量化，這就需要二階邏輯了。
很多情況可以被建模為節點和有向連接（邊）的圖。例如，效驗很多系統要求展示不能從“好”狀態觸及到“壞”狀態，而狀態的相互連接經常可以建模為圖。但是，可以證明這種可及性不能用斷言邏輯完全表達。換句話說，沒有斷言邏輯公式f，帶有u和v作為它的唯一自由變量，而R作為它唯一的（2元）斷言符號，使得f在一個有向圖中成立，如果在這個圖中存在從關聯于u的節點到關聯于v的節點的路徑。
* Jon Barwise and John Etchemendy，2000. ''Language Proof and Logic''. CSLI (University of Chicago Press) and New York: Seven Bridges Press.
* David Hilbert and Wilhelm Ackermann 1950. Principles of Theoretical Logic（English translation）. Chelsea. The 1928 first German edition was titled ''Grundzüge der theoretischen Logik''.
* Wilfrid Hodges, 2001, "Classical Logic I: First Order Logic", in Lou Goble, ed., ''The Blackwell Guide to Philosophical Logic''. Blackwell.
* ''Stanford Encyclopedia of Philosophy''：" Classical Logic -- by Stewart Shapiro. Covers syntax, model theory, and metatheory for first order logic in the natural deduction style.
* '' forall x: an introduction to formal logic'', by P.D. Magnus, covers formal semantics and proof theory for first-order logic.
*  Metamath：an ongoing online project to reconstruct mathematics as a huge first order theory, using first order logic and the axiomatic set theory ZFC. ''Principia Mathematica'' modernized and done right.
* Podnieks, Karl. '' Introduction to mathematical logic.''
進化博弈理論是在生物的動態演化理論框架中加入了博弈論中的策略和分析方式組成的理論。和傳統博弈論相比，其更注重在生物個體和族群在演化的動態過程中所產生的策略改變。進化博弈理論可以成功解釋並補足達爾文演化理論中的互利行為。此理論的重要性逐漸受到經濟學家、社會學家、人類學家和哲學家的重視。
category:博弈論
腳尾飯（貢飯、拜飯）為東亞民間葬儀習俗物。
腳尾飯為死者遺體腳跟邊之菜肴，故有腳尾飯之稱。臺灣的腳尾飯內容通常是一碗米飯中置一顆熟鴨蛋與各式配菜（如豆乾、蔬菜、雞腿等等），並直插竹箸一雙。此乃親人希望逝世者可吃飽後，有力前往地府報到。但亦有一說，人們會向去世的親人道：「一路好走，等鴨蛋孵出小鴨再回到陽世罷！」，由於熟蛋不可能有小鴨破殼而出，有希望親人勿留戀人世間的意味。
由於隨著葬禮放置很久，腳尾飯常會發霉，終至不能食用。
另外，可食用的稱為拜飯，在祭拜後即可食用。其菜色則通常有雞（或以鴨、鵝等代替）、豬肉、魚（故又名「三牲」）等。
平時禁止孩童吃飯時將筷子插立於碗中，乃此舉類似腳尾飯，象徵家有喪事。
在臺灣的某些地區，腳尾飯不得在屋內煮，而必須在天日之下。
*王育誠：前臺北市議員，以錄影帶宣稱部分葬儀業者將腳尾飯挪為餐飲使用，後來證實其內容為憑空假造，參閱腳尾飯事件。
籍貫的定義正在發生演變。中國古代所謂籍貫通常指父親與祖父的長居地，大至國或一級行政區，小至縣市或村、里等聚落均可以成為籍貫。
當代社會屬於頻繁移民的社會，籍貫的定義逐漸發生了變化。籍貫回答了“我是哪裡人”這個文化認同的問題。因此，籍貫既可以指祖父、父親的長居地，也可以指自己的長居地。
中國歷史古代，「籍」是指一個人的家庭對朝廷負擔的徭役種類，也就是指其所從事之職業，如“鹽戶”（專門為政府煮製食鹽的）、“軍戶”（專門為政府服兵役的）等。南北朝詩歌《木蘭詩》中木蘭家就是軍戶，所以“昨日見軍帖，可汗大點兵，軍書十二卷，卷卷有爺名。”同一種戶役的人戶都編入一份冊籍。
「貫」指一個人生長的所在，如“鄉貫”、“里貫”。《隋書·經籍志》“其無貫之人，不樂州縣編戶者，謂之浮浪人。” 白居易《新豐折臂翁》詩：“翁云貫屬新豐縣，生逢圣代無征戰。”
「籍貫」合在一起，指一個人生長的地點（貫），與徭役種類（籍）的登記文件。《魏書·景穆十二王列傳》：“太興弟遙， ……遷冀州刺史。遙以諸胡先無籍貫，奸良莫辨，悉令造籍。”不是說胡人沒有生長的地點，而是並未登記。《魏書·宦官列傳》：“石榮籍貫兵伍，……”即其籍編于軍隊。
從魏晉時期開始，政府對籍貫加強掌控，以避免徭役和賦稅的流失。《魏書·食貨志》：“自昔以來，諸州戶口，籍貫不實。”指出當時籍貫的漏洞。
在中國大陸、英國管治時期的香港、1980年代以前的臺灣，籍貫是很多文件表格中須要填寫的欄目，如同性別、年齡、學歷、職業等。
中國大陸的戶籍實行籍貫和出生地雙重登記。個人檔案有的也照此辦理，有的則只登記籍貫信息。
今日中國大陸的籍貫填寫，按照中國共產黨中央委員會組織部及國家檔案局1991年頒布的《幹部檔案工作條例》中規定：籍貫填寫黨員本人的祖居地（指祖父的長期居住地）在上述規定中，雖然沒有對「長期」兩字作進一步的詮釋，但總的時間概念還是明確的。舉例來說，中國共產黨黨員甲的父親從世代居住的上海來北京工作，此後甲的父親一直在京居住，那麼北京就是其父的長期居住地。甲在填寫籍貫時，他的籍貫就是祖父的長期居住地上海，而不是北京。而甲的子女再填寫籍貫時，子女的籍貫就是北京了，除此之外，行政區劃的變動也需要照新的規劃填寫。
針對非共產黨黨員的一般民眾，由公安部和各級公安機關文件規范籍貫填法。公安部公通字199591號文件《關于啟用新的常住人口登記表和居民戶口簿有關事項的通知》（1995年12月19日）附件三《常住人口登記表和居民戶口簿填寫說明》：公民的籍貫填寫本人祖父的居住地（戶口所在地）。城市填至區或不設區的市，農村填至縣，但須冠以省、自治區、直轄市的名稱或通用簡稱。 棄嬰，如果籍貫不詳，應將收養人籍貫或收養機構所在地作為其籍貫。 外國人經批準加入中華人民共和國國籍的，填寫其入籍前所在國家的名稱。祖父去世的，填寫祖父去世時的戶口所在地；祖父未落常住戶口的，填寫祖父應落常住戶口的的地方；公民登記籍貫后，祖父又遷移戶口的，該公民的籍貫不再隨之更改。
在香港，自從1997年香港主權移交中華人民共和國之後，網上學校行政及管理系統已不再需要學生填寫籍貫，而只需要學生填寫出生地。如果需要填寫籍貫，但不確定時，沒有硬性規定，一般可填寫祖父的戶籍地、長期居住地或成長地。
1931年中華民國的《戶籍法》中有對本籍登記的規定；臺灣、澎湖自日本統治時代起將原有的漢人籍貫分類體系納入公文檔案。1992年臺灣為解決省籍情結與混淆問題，修訂《戶籍法》之中的本籍登記改為出生地登記。
日本的戶籍法令採戶居分離的模式，住民票（類似於戶口名簿）以居住地為主，所有公共服務與權利（就學、投票權等）皆以住民票為基準，雖然住民票上會記載「本籍」，但是僅是一種形式，沒有實際用途。
籍貫與出生地、故鄉、祖籍、戶籍的意義不盡相同。
祖籍通常是追認極遙遠的祖先生長地，籍貫則是父親與祖父的長居之地，戶籍則是其本人現在登記於政府的居住地地址。
明朝抗倭名將俞大猷，因先祖俞敏跟從明太祖征戰四方，以開國功臣襲泉州衛百戶官，便從家鄉直隸（南直隸）霍丘落戶當地，故祖籍是直隸霍丘，籍貫為福建晉江（今泉州市）。
PieTTY是由臺灣程式設計師林弘德（PTT BBS id：piaip）以PuTTY原始碼為基礎，在Windows上發展的Telnet/SSH安全遠端連線程式，修正與完整支援亞洲語系字元，可切換多種Unicode字元顯示方式，提供簡易scp上傳界面，並增加透明視窗、無邊框模式等視覺效果。
PieTTY與PuTTY同樣採用MIT許可證，但PieTTY目前並沒有釋出原始碼，如果有非常高度的安全需求，應自行斟酌是否使用PieTTY。
*   PieTTY project
*  PuTTY: A Free Telnet/SSH Client
*  PuTTY DBCS patched
*  中文的SSH client for windows
PuTTY是一款集成虛擬終端、和網絡文件傳輸為一體的自由及開放源代碼的程序。它支持多種網絡協議，包括SCP，SSH，Telnet，和原始的套接字連接。它也可以連接到串行端口。其軟件名字“PuTTY”沒有特殊含義。
較早的版本僅支援Windows平臺，后陸續增加對各類Unix平臺和Mac OS X的支援。除了官方版本外，有許多第三方的團體或個人將PuTTY移植到其他平臺上，像是以Symbian為基礎的行動電話。
PuTTY主要由英國程式設計師西蒙·泰瑟姆編寫并維護，使用MIT許可證授權。
PuTTY包括了：
* 可以控制SSH連線時加密協定的種類。
: 目前有3DES、AES、Blowfish、DES（不建議使用）及RC4。
* CLI版本的SCP及SFTP Client，分別叫做pscp與psftp。
* 內建SSH Forwarding的功能，包括X11 Forwarding。
* 完全模擬xterm、VT102及ECMA-48終端機的能力。
在官方網站的FAQ上有提到「PuTTY」這個名字本身並沒有任何意義。
* PieTTY是以PuTTY為底而發展的衍生版本，主要的改進為使用者介面及在多語環境（尤其是中日韓語系）的強化。
2012年，由第三方翻譯為中文版的PuTTY被發現植入后門。
燕麥屬（學名：）的植物包括有燕麥（皮燕麥）、莜麥（裸燕麥）、野燕麥等品種，全世界大約有十種，主要分布在寒溫帶地區，性喜涼爽。一年生草本，根系發達。穗和其他麥類不同，向四周開散，分成許多小穗。籽粒缺麥膠，蛋白質含量較高，但單產很低。所以適宜在地廣人稀的地區種植。用于牲畜飼料，人類也以此作為食品，秸桿也作為牲畜青飼料，主要用來為馬、奶牛等需要精飼料的牲畜提供營養。
燕麥和小麥一樣，也有冬麥和春麥不同的變種，有的春種秋收，有的秋種夏收。由于其不需要夏季高溫，非常適合夏季涼爽的地區。普通燕麥喜好濕潤，北歐和加拿大是普通燕麥的主要產區，甚至在冰島也可以種植燕麥。莜麥更耐寒和干燥，是中國內蒙古高原和北部山區的主要谷類作物，這些地區因為夏季寒冷，只能種植馬鈴薯和莜麥。
野燕麥適應能力較強，分布區域較廣，主要用做牧草。蘇格蘭是英國的燕麥主要產地，所以英格蘭人因為看不起蘇格蘭人，有一句老俗語：“燕麥只配-{zh-hans:喂; zh-hant:餵;}-馬和蘇格蘭人”，蘇格蘭人則反唇相譏：“最好的馬出在英格蘭，最好的男人出在蘇格蘭”。
燕麥在西方食品中主要用來做麥片粥，或和果汁香料等混合一起焙制成一種干燥食品，泡在牛奶中做早餐。俄羅斯人非常欣賞燕麥作的黑面包，現代由于認為燕麥是低熱量的健康食品，需求量大產量又低，價格要比小麥高。在俄羅斯黑面包要比小麥粉作的白面包昂貴許多。
一種西方燕麥食品
燕麥還可以釀造啤酒和威士忌，著名的蘇格蘭威士忌酒中就有燕麥釀造的。
莜麥在中國食品中主要用來制作貓耳朵、餄餎、雜面條等，不易消化所以耐饑，很為高寒地區的人民所喜愛。最近也有用來開發作為健康食品的。
燕麥產量極低，平均一畝只有100多公斤。由于穗散，收獲時還要損失10%左右，所以價格更為昂貴，以前只有不得已時才種植燕麥，但隨著需求增長，許多適宜地區反而加大了種植面積。
SS可能是指下列意思之一：
* Stop & Search 的簡稱，始於2019年香港警察多場示威活動而出現。
* Shadowsocks 影梭，一種安全的SOCKS代理
* 不銹鋼：stainless steel。
* 超音速：supersonic
* 世嘉土星，由世嘉在1994年推出的家用遊戲機。
* iproute2，類Unix實用程序
* 一種衡量水質的指標：懸浮固體物質（Suspended Substance）
* SupeSite，中國康盛創想所研發的內容管理系統
* 影子前鋒：Second Striker，足球場上球員位置縮寫
* WRC中的特殊賽段：Special Stage
* 棒球中的守備位置之一游擊手（Shortstop）簡寫
* sample size 式樣尺寸，樣品規格
* screenshot 截屏
* single sideband 單邊帶
* single source 單來源
* social security 社會保障
* solid state 固態，固體
* suspended sentence 【律】緩刑
* Speed Symbol 的簡寫，速度等級。
* Super sport 的簡寫，如Camaro SS 指運動型超跑車
* sweet smile的縮寫
* § 念作double s 或 ss
* 梳邦－雙溪威（Subang Sungai Way）的簡稱，是梳邦再也市轄區
* 西武鐵道新宿線和拜島線的路線編號
* 史瓦濟語的ISO 639-1語言代碼
* 生長抑素：somatostatin，一種典型的腦腸肽
* 懸浮固體 （suspended solids）
* 孫燕姿 （Stefanie Sun）
*重下屬和弦，音樂理論和聲學中下屬和弦的下屬和弦。
*社會科學（social sciences）
DC或D.C.是多個詞匯的簡寫，可以指：
* 直流電（Direct Current）
* 數碼照相機（Digital Camera）
* Dreamcast：由世嘉於1998年推出的家用遊戲機。
* DreamColor，夢工廠與惠普公司一起研發的一種液晶顯示解決方案，使用RGB LED背光，可以達到十億色的顯示效果。
* DirectConnect，一種點對點的檔案分享協議 。
** DC++，一個DirectConnect軟件。
* Disconnect，“斷線”的縮寫。
* Dot-com，指.com或dot-com泡沫。
* dc，一條類UNIX體統的指令，用于計算。
* Device Context，設備上下文，GDI的一種定義。
* 域控制器（Domain controller）
* 設備控制，在ASCII中編號為17－20。
* 分布式計算（Distributed computing）
* 都柏林核心（Dublin Core）
* DC漫畫，美國的一所漫畫出版社。
* Da capo，音樂學指返始，意思是“重復一遍”。
* 天命真女（Destiny's Child）。
* 《名偵探柯南》（''Detective Conan''），日本漫畫。
* Director's Cut，導演剪輯版
* Discovery Channel，探索頻道。
* Disney Channel，迪士尼頻道。
* 初音島，日本CIRCUS製作發售的美少女遊戲系列。
* 大衛·庫克（David Cook），美國搖滾歌手，也可指他的同名專輯。
* 達倫·克里斯 （Darren Criss），美國歌星和演員
* Discord，遊戲玩家常使用的通訊軟體
* 哥倫比亞特區（District of Columbia），美國首都華盛頓所在的區域名稱。
* Distrito capital，西班牙語“首都地區”的縮寫：
* 戴姆勒-克萊斯勒（DaimlerChrysler），汽車公司。
* 大衛·庫塔（David Coulthard），一級方程式賽車車手。
* Douglas Commercial，道格拉斯飛行器公司出產的客機系列代號。
Dev-C++是一套用於開發C/C++（C++11）的自由的集成開發環境（IDE），並以GPL作為散佈許可。使用MinGW及GDB作為編譯系統與除錯系統。Dev-C++的IDE是利用Delphi開發的。
Dev-C++是一個SourceForge的計畫，是由Colin Laplace這位程式設計師及其公司Bloodshed Software所開始的。目前Dev-C++一般用於撰寫執行於Microsoft Windows的程式。Dev-C++一度有移植到Linux的計畫，但目前被暫停了。
Bloodshed Dev-C++是一款全功能的C和C++編程語言的集成開發環境（IDE）。它使用的GCC MinGW或TDM-GCC的64位版本作為它的編譯器。DEV-C++也可以使用Cygwin或任何其他基于GCC編譯器組合使用。
Dev-C++的用戶可以下載額外的庫或代碼包，增加開發C++的范圍和功能，如圖形，壓縮，動畫，聲音支持等等。用戶可以創建Devpaks并免費收錄在該網站上。另外，它們并不限于在Dev-C++中使用。該網站說，“一個典型的devpak將與任何MinGW的版本（以及MinGW的IDE）配合使用”。
該項目已不再明顯活躍，從2005年2月22日開始至2011年6月，Dev-C++的官方網站一直沒有再發出新消息或是釋放新版本，說明Dev-C++的開發已經進入了遲滯狀態。2006年，Dev-C++主要開發者Colin Laplace曾經對此作出了解釋：“因忙于現實生活的事務，沒有時間繼續Dev-C++的開發。”
* wxDev-C++：由Colin Laplace領銜開發，加入了基于WxWidgets的RAD（快速應用程序開發）環境，可以在窗體設計器中實現對話框、框架等的可視化開發，功能類似于Delphi。
* Orwell Dev-C++：由Orwell領銜開發。2011年6月30日，Orwell釋放出非官方版本的Dev-C++ 4.9.9.3版，加入了更新的GCC 4.5.2編譯器、Windows的軟體開發套件（支援Win32以及D3D），修正了許多錯誤，改善了穩定度。同年8月27日，在官方更新最后一個測試版4.9.9.2的六年後，Orwell釋放出非官方版本的Dev-C++ 5.0.0.0版。從5.0.0.5版起，Orwell Dev-C++在SourceForge安家落戶。
* 小熊貓Dev-C++：由royqh1979在Orwell Dev-C++停止更新后，繼續升級和維護的版本，中文支持更加完善，在編輯、調試和代碼補全等方面也有眾多改進，最新版本為2021年8月發布的6.7.5版。
**小熊貓C++：曾用名小熊貓Dev-C++ 7。由royqh1979使用Qt重新開發，在保留小熊貓Dev-C++ 6原有功能的基礎上，提供了試題集與OJ支持、高分辨率支持、Linux版本等新的改進。
* IBM VisualAge C++
* Motorola CodeWarrior
* Sun C++ Forge
*  Bloodshed Software Dev-C++的官方開發團隊，但是停止開發已久
*  Orwell's Dev-C++由獨立程式員接續開發版本4.9.9.2之後的非官方版本
*  Sourceforge Partner Sponsor
*  wxDev-C++類似于C++ builder的整合wxWidget和MinGW的Dev-C++
布盧瓦城堡（Chateau de Blois），是位于法國布盧瓦市中心的一座法式城堡，是盧瓦爾河谷城堡群中的一座皇家城堡，多名法國國王曾在此居住。它實際包含了13至17世紀陸續建造起來的多個建筑體，總共有564個房間。
魚腥草（學名：'），又名折耳根、截兒根、豬鼻拱、?（音同“組”）、蕺菜及臭草、岑草，客家話稱之狗貼耳，臭臊草、臭嗟草（臺語），在分類學上屬雙子葉植物三白草科蕺菜屬，是一種略帶魚腥味的草本植物。
植物高20－80厘米。莖的下部伏地蔓生、生根，上部直立。葉對生，頂端有穗狀花序，離瓣花類中的不完全花，無花萼、無花瓣，淡黃綠色穗狀花序，兩性花，白色似花片的構造為大型總苞片，長在花序基部，花期5—7月，果期7—10月。
魚腥草生長于陰濕處或山澗邊，常可在野地、路旁、庭園樹下等較陰濕的地方發現，大片蔓生。該植物中國南方各地較常見。
可為野菜蔬食，煮過就沒有腥味。四川、云南、貴州和鄂西的人稱其為“蕺根（折耳根）”，認為它清熱去火，把它當作吃飯時的重要配料，主要食其根莖。方法是洗干凈后切小段，拌在米粉、腸旺麵、糯米飯、情人豆腐等食品中食用。也可切長段或用其葉拌醬油、辣醬、蔥、鹽、香油做涼菜。折兒根炒臘肉也是常見菜肴。生折兒根初入口甚腥，味道極怪，外人往往無法忍受，需要適應后才會喜歡吃。在四川，也叫豬鼻拱，除了利用根莖做涼拌菜或炒菜之外，還將葉子當做蔬菜。在越南、老撾，葉子是很重要的作料。日本少數農村家庭也偶爾摘葉子做油炸菜的一種材料。
貴州炒魚腥草根
魚腥草性寒，搗汁，曬乾泡茶，清熱解毒，消癰排膿，利尿通淋。用于肺癰吐膿，痰熱喘咳，熱痢，熱淋，癰腫瘡毒。
魚腥草在中醫中被認為清熱解毒功能，目前生產運用的藥物有魚腥草注射液。用于痰熱喘咳、熱淋、熱痢等病癥。
根據中國國家藥品不良反應監測中心的統計數據顯示，從1988年到2006年4月13日，有關魚腥草類注射劑的嚴重不良反應報告有至少222例。患者在注射藥物后的嚴重不良反應表現為過敏性休克、全身過敏反應和呼吸困難等，并有死亡病例發生。2006年6月1日，中國國家食品藥品監督管理局在全國范圍內暫停使用和審批魚腥草注射液等7個注射劑。同年9月5日，國家藥品監督管理局進行分析評價后決定部分恢復其生產。
魚腥草含馬兜鈴內酰胺（aristolactams，AL），為馬兜鈴酸進入體內後的代謝物。馬兜鈴酸與腎臟損傷有直接關系。
采用ELISA法檢測細胞培養上清液中細胞外基質成分纖連蛋白(FN)以及促纖維化細胞因子轉化生長因子β1(TGF β1)的分泌水平。結果：AL-I(2．5—20mg·L^-1)具有濃度依賴的直接細胞損傷作用；細胞形態、DNA含量及PS表達水平分析表明，AL-I在上述濃度范圍內能夠導致HK-2細胞凋亡，并能夠導致HK-2細胞分泌TGF81及FN。與AA-I的作用進行比較發現：在相同濃度情況下，AK-2的直接細胞毒作用強于AA-I，但其導致細胞凋亡、TGFβ1及FN分泌的能力弱于AA—I。結論：馬兜鈴酸的代謝產物AL-I能夠造成腎小管上皮細胞的損傷，作用與AA—I相似。盡管其致損傷作用較AA—I弱，但仍有可能是含馬兜鈴酸中藥導致腎臟損傷及其纖維化過程的毒性成分之。
馬兜鈴內酰胺-I具有一定腎毒性和細胞生長抑制作用，但魚腥草中含有馬兜鈴內酰胺-BII、馬兜鈴內酰胺-AII和馬兜鈴內酰胺-FII（總0.016g/kg），未見含有馬兜鈴內酰胺-I報道。其次，馬兜鈴內酰胺與DNA形成加合物的機制研究尚不完善，且不能完全由馬兜鈴酸-I機制類推；此外，魚腥草中包括馬兜鈴內酰胺-BII等部分生物堿還具有一定藥理活性，對凝血酶誘導的血小板聚集產生顯著的抑制作用，加之有益黃酮類物質的存在。
傳說魚腥草為觀音菩薩所傳。唐三藏西天取經之時候觀音池中的金魚下凡成精，后被觀音菩薩顯現出魚籃之像收服。金魚精因其在通天河吃了許多童男童女，造孽深重，憐人間疾苦，故而將功德池中的水草種子撒播人間，用來治病救人，普渡萬方。魚腥草還可被熬成一種像茶的湯汁，有助於過敏的人。
*  魚腥草 Yuxingcao 藥用植物圖像數據庫 (香港浸會大學中醫藥學院)
* 魚腥草 中藥材圖像數據庫  (香港浸會大學中醫藥學院)
*  魚腥草 Yu Xing Cao 中藥標本數據庫 (香港浸會大學中醫藥學院)
*中國植物志中的相關內容： 魚腥草
迴轉壽司，亦稱旋轉壽司，是壽司餐廳的一種。師傅把製作好的壽司放在盤子後擺在運輸帶上，運輸帶圍繞餐廳的坐檯而行。
顧客雖然可以要求師傅個別製作壽司，不過大部分還是於運輸帶上挑選想吃的壽司。壽司按價錢放在不同顏色的盤子上，通常每盤價格在100到500日元之間。用膳後，店員依照顧客桌上的盤子而結算帳單（一般嚴禁將盤子放回）。迴轉壽司的運輸帶上除了壽司之外，還有其他日式小吃、炸物、鋁箔包飲料、水果、甜點、冰品、湯、甚至是酒類等。迴轉壽司店的菜單通常比傳統壽司店的價錢來得大眾化，而最受歡迎的迴轉壽司店由於顧客流量高，因此料通常放置之后也應該要確保新鮮，壽司在運輸帶上的時間也相對需要控制的技術。
顧客從運輸帶上挑選想吃的壽司，此為雙層式設計
有別于高檔壽司店只有師傅調味，顧客桌上一般已經放好所需的作料，例如醬油、紫薑和山葵。其他用品如木筷子、小勺子、熱茶、水、濕紙巾等，顧客也能在桌上拿到。
元祿壽司　布施本部店
迴轉壽司由（1914－2001年）于大阪發明。白石當時經營的壽司店人手不足（一般日本傳統壽司店都是由師傅捏好後，學徒捧著壽司盤送到顧客面前，還要調味相當費工），在看到朝日啤酒廠的啤酒瓶運輸帶後，靈機一觸將這種概念引用到壽司店中。經過五年的發展，1958年白石於大阪開設第一間迴轉壽司店，名為「元祿壽司」。在業務發展的高峰期，元祿壽司的240家分店遍佈日本各地。2001年則回降到11家。
起初，所有的客戶都是肩並肩面對運輸帶坐著，可是這樣對團體顧客來說十分不便，因此不受歡迎。漸漸地，店家開始在運輸帶旁適當的地方加上桌子，如此一條帶子上可以服務更多人，每桌最多可以坐六個人。這樣在供應相同數量顧客的情況之下，亦可減少運輸帶所需的長度成本。
有人研究認為最理想的壽司運輸帶速度是每秒8厘米，這確保了運輸過程中的安全不掉落的同時也照顧到客流量。迴轉壽司的模式雖然需要較少的店員維持，不過在迴轉的過程壽司也乾得比較快。一般來說，運輸帶順時針方向流動，讓多數右撇子的顧客用右手拿著筷子的同時，能用左手提起運輸帶上的盤子。
白石曾經發明「機器人壽司」，也就是由機器人來傳送壽司，但並未取得商業上的成功，不過機器捏制醋飯已經普及。
倫敦帕丁頓火車站的一家開放式回轉壽司店
與速食店類似，工業化理念的迴轉壽司，被發明后很快攻城略地，日本國內每年的迴轉壽司市場營運額高達2千4百億日圓，2001年統計全國分店高達3000家。世界各地也存在著為數不少的迴轉壽司店。這讓傳統的壽司店面對非常大的競爭，不少手藝不夠好的傳統壽司店會面臨倒閉。
在大阪博覽會出現了迴轉壽司餐廳之後，1970年是迴轉壽司餐廳第一次迅速發展時期。當外食開始流行後，1980年是第二波迅速發展時期。而在1990年代經濟泡沫破滅之後，便宜的餐廳開始受到歡迎，這是迴轉壽司餐廳在日本本土的最後一次快速發展時期，21世紀后則開始在海外流行。
大中華地區存在著類似的壽司店，由於壽司文化不如日本普遍，廉價的大眾迴轉壽司成為最常見的壽司店。香港初時有「元綠壽司」、而上海則有「緣祿壽司」、臺灣有「爭鮮迴轉壽司」。這些分店與迴轉壽司的鼻祖「元祿壽司」無關。香港的「元綠壽司」甚至用海藻副產品「人工鮭魚卵」來製作壽司，現已全線結業。現時香港受歡迎的迴轉壽司店為壽司郎。
準噶爾（ ，意為“左手”），是衛拉特蒙古的一支。17世紀到18世紀，準噶爾部控制天山南北，在西起巴爾喀什湖，北越阿爾泰山脈，東到吐魯番，西南至楚河、塔拉斯河的廣大地區，建立史上最后的游牧帝國--準噶爾汗國。宗教上他們信奉藏傳佛教，對西藏也有一定的影響力。不過在18世紀與清朝的戰爭中滅亡。其遺族附牧于賽音諾顏者，曰額魯特；附牧于青海者，曰綽羅斯。
噶爾丹時期的準噶爾
明末清初，準噶爾首領最早是哈喇忽剌，後巴圖爾琿臺吉以伊犁為根據地兼并厄魯特蒙古各部，壓迫西方的哈薩克族。1670年巴圖爾琿臺吉的兒子僧格被殺后，他的異母弟噶爾丹奪得了準噶爾的統治權。1678年，西藏的五世達賴賜噶爾丹可汗號，準噶爾汗國正式成立。此年噶爾丹出兵回部，占領葉爾羌汗國，把廣大維吾爾族地區置于其統治之下。1688年噶爾丹突然率兵越過杭愛山，大舉進攻土謝圖汗，迫使喀爾喀蒙古諸部南遷。1690年6月，噶爾丹又向漠南喀爾喀蒙古進攻，俘掠人口，搶劫牲畜。
1690年同年，康熙帝決計親征，組織左右兩路大軍分別出古北口和喜峰口。8月1日，雙方大戰于烏蘭布通（今內蒙古克什克騰旗境內）。清軍大敗噶爾丹軍，噶爾丹乘夜向北潰逃。
噶爾丹戰敗后因原根據地為策妄阿拉布坦占據，不得不滯留科布多地區，集合殘部，休養生息，以期東山再起，不斷騷擾邊地安寧。1696年2月，康熙帝發兵10萬，分三路大舉出擊。5月13日，西路軍在昭莫多（今蒙古國烏蘭巴托以南的宗莫德）大敗噶爾丹軍。1697年2月，康熙帝發動第三次遠征，命費揚古、馬恩哈分別統率兩路大軍，共6000人，由寧夏出發，進剿噶爾丹殘部。4月康熙帝親赴寧夏，指揮這次軍事行動。正當清軍進發之時，噶爾丹眾叛親離，軍隊只剩下五六百人，遂飲藥自盡（又說被人殺害）。
噶爾丹敗亡后，他的侄子策妄阿拉布坦繼續任準噶爾部臺吉，準噶爾部又逐漸強大，和清朝再次發生沖突。1716年，他派兵于西藏，占領拉薩。1718年清朝由青海路出兵入藏，不過全軍覆沒。1720年清朝第二次出兵才趕走準噶爾軍。清朝和準噶爾軍在吐魯番方面也有戰鬥。
1755年春，清軍5萬人分西北兩路向伊犁進軍。不到100天就到達伊犁。達瓦齊率兵6000人扼守伊犁西南的格登山（今新疆昭蘇縣境內），清軍以25人夜襲達瓦齊大營，達瓦齊軍驚潰，不戰自降。達瓦齊僅帶少數人倉皇南逃。此后，阿睦爾撒納自任領袖繼續反對清朝。1757年初，清政府開始新的軍事行動，分兩路推進。準噶爾軍在清軍的追剿下，全線潰敗。阿睦爾撒納投奔俄羅斯。
1759年8月，清軍抵達喀什噶爾，平定了支持阿睦爾撒納的大和卓波羅尼都和小和卓霍集占兄弟的叛亂。這年秋天，天山南路完全平定。由于準噶爾部反叛無常，清朝在完全控制今日的新疆地區之后，清軍在兆惠等的帶領下，按照乾隆帝的旨意消滅了準噶爾部，屠殺了數十萬準噶爾人。據魏源記載：「計數十萬戶中，先痘死者十之四，繼竄入俄羅斯哈薩克者十之二，卒殲於大兵者十之三。除婦孺充賞外，至今惟來降受屯之厄魯特若干戶，編設佐領昂吉，此外數千里間，無瓦剌一氊帳。」昭槤的描寫更加誇張：「凡病死者十之三；逃入俄羅斯、哈薩克者十之三，為我兵殺者十之五，數千里內遂無一人」。留下的空地由大量移民填充。主要是哈薩克人。
準噶爾信奉藏傳佛教，喇嘛有行政權，號稱宰桑（相當于喇嘛旗）。可汗大事未與集賽們商量前，不行動。準噶爾有9集賽與6000喇嘛。
* 昭蘇縣的衛拉特屬于準噶爾部。
* 阿拉善厄魯特沿襲了“厄魯特”之名，但其中準噶爾成分不是很多。
*宮脇淳子著，曉克譯：《最後的游牧民族：準噶爾部的興亡》（呼和浩特：內蒙古人民出版社，2005）。
在羅馬共和中，原始的騎士統領是一個被羅馬獨裁官所任命與免職的職務，一旦獨裁官離開職務時，此頭銜也被終止。這名字來自共和最早的時代，原始是責任形式，例如照顧獨裁官的馬匹等等，以及事實上，獨裁官的正式頭銜是''人民統領''（Magister Populi）。騎士統領握有近衛軍的統治大權，被六位刀斧手所隨侍，以及負有幫助獨裁官管理國家的責任。當獨裁官是遠離羅馬之時，騎士統領通常留在後頭去傾向處理庶務。最為聞名的騎士統領是可能是馬克·安東尼，他服務於朱利烏斯·凱撒第一任獨裁官職位之時。
桌面搜索，是搜索工具所應用的一個新領域的名稱，這個領域是用戶擁有的計算機文件的內容，而不是搜索互聯網。桌面搜索強調的是挖掘用戶個人電腦上全部可用信息，包括網頁瀏覽器歷史，電子郵件檔案，字處理器文檔等等。
搜索幾GB數據時達到合理性能的唯一方法是建立和維護一個索引數據庫。當索引這些文件時，桌面搜索工具選擇文件的三種類型信息：
# 文件和目錄名
# 元數據，例如標題，作者，注釋
# 所支持文檔的內容
中國報刊列表，可能指：
*中華人民共和國報刊列表：大陸地區、香港、澳門
《21衛門》是藤子·F·不二雄的漫畫作品，並改編為動畫及動畫電影。漫畫最早連載於1968年至1969年的《週刊少年Sunday》，共有56話。並於1971年到1972年，集結為首版的單行本3卷，1977年到1978年再出版更完整的4卷單行本。
21世紀地球與外星球來往頻繁的年代中，一個東京的老舊旅館中遇上各種奇異宇宙客人的故事，以及喜好宇宙旅行的老闆兒子21衛門，在宇宙探險中所發生的趣事。
在漫畫中，作者藉由兩個角度來描述他對於廣大宇宙中不同星球人及文化的想像。一是藉由不同宇宙人造訪旅館，二是21衛門等在宇宙旅行中造訪各星球。在漫畫中所看到的不同外星人：
*快快星、慢慢星人：由於星球轉速的不同，其時間感受與地球人完全不同，例如慢慢星人一次睡覺要睡半年。
*像狗的外星人，但其星球科技發達，故對地球的古蹟甚感興趣。
*植物型外星人，自己不能動，但可放射腦波操縱其他生物。
*耳朵非常靈敏很怕吵的外星人。
*按鈕星：全銀河系科技第二發達的星球，做什麼事只要按個鈕就行。
*看鈕星：全銀河系科技最發達的星球，要做什麼事只要看按鈕就行了，但因為後來太陽黑子活動造成電腦故障，加上人們過於依賴電腦，反而退化為原始時代。
:是漫畫的主角，旅館老闆20衛門的兒子，對於經營旅館興趣較不高，而嚮往宇宙旅行。
:宇宙生物，能在各種嚴酷的環境下生存，可以吃各種東西，並且具有透視能力，以及三公里以內的瞬間移動能力，因為一個外星客人沒帶旅費，就把他送給旅館，剛開始他一週只能說一句話，但後來被權助所激，而變得能隨意說話了。
:20衛門從垃圾堆撿來的舊機器人，因此個性古怪。因為他原本是挖番薯的機器人，因此對番薯有一股熱情。
:在另一部姊妹動畫《多啦A夢》中則常以客串身份出現，出現時的職業也都有所不同。
:旅館中幫忙的機器人，個性較為穩重。
:旅館的老闆，21衛門的爸爸，一心想要延續這家從江戶時代起一直傳承下來的旅館，對於21衛門想從事宇宙探險十分擔心。
:在旅館中負責烹飪的工作，平時溫和但有時會生氣。
:21衛門的同學，電視動畫版中為女主角，也是隔壁豪華大飯店老板的女兒。
:ホテル?オリオン社長的兒子。家境富裕的少爺，21衛門的勁敵。
:非常有名的宇宙探險家，個性爽快且剛直不阿。由於一隻手臂被火箭引擎的噴發熱而當場飛走、一條腿在冥王星被凍傷而切除、肚子被火星怪獸（漫畫原作為大章魚）給吃掉等等在各式各樣的探險中失去身體各種部分的關係，因此外表就有如同改造人的樣貌。在被媒體給追逐然後在主角的飯店引起騷動時曾經化解過，也有經常會忘記周遭氣氛的事情。
:動畫第6集登場。萬德拉星球的大使，不太會使用家鄉的最新型科技，興趣是喜歡很讓人回味的物品，曾表示過之前下榻過的前一間旅館因為設備很難用的關係於是就住在附近的主角的旅館內，充分地享受了如同昭和村風格的旅館那樣的回味。
:僅在動畫版登場。全宇宙最有名的時尚設計師，之後也為21衛門設計專屬的太空服裝。為了小時候的宇宙旅行夢想還有主動設計處理垃圾的關係委託過21衛門，該時也無償提供21衛門的太空服裝。
:僅在動畫版登場。初次登場時年紀很大，在宇宙航行技術尚未發展成熟的時代是一名活躍的飛行員，在過去的現役時代中開拓了無數全新的航路，被許多飛行員之間稱之為傳說中的人物。當握上方向盤時會想起當時的現役時代而且情緒高昂，似乎是史康雷的師父。
:如同自己的富豪身分和名稱那樣的大公司老闆，旅館的常客之一。當使用自家的火箭來到月球遊覽的時候蒙加惡作劇使用了瞬間移動來讓火箭到處移動的當下相當在意著主角們。
1981年製作動畫電影。
1991年5月2日到1992年3月26日在朝日電視臺播出，共39話，其部分設定與原作漫畫有異。部分摻入了藤子·F·不二雄的另一個作品宇宙小毛球的內容。
我是哆啦A夢我的朋友，衛門君的宇宙大冒險！
1991年5月2日
Tokyo City! 第21代衛門vs蒙嘉？
嚇人一跳的權助！不可思議的客人泰羅克？
星雲間亞光速火箭！百萬富翁星人的秘密
快樂報告！超人史肯雷的傳說史話
快樂昭和村？萬德納克公爵喜歡懷舊古物
閃光決定點！哥肯拉斯星人憤怒之擊
不可思議的紙袋？快樂商業公司的陰謀！
打工200萬元！太空服獲得大作戰
千鈞一髮！從火炎地獄逃出，謎樣的黑暗跳躍
脫離大氣層後再也回不來
衛門朝向未知世界？
魔術星球！觀光用機器人的叛亂？
看守員消失了！全面性的懷疑恐慌
令人興奮的大冒險？東京灣大橋物語
早安江戶5衛門？謎樣的搔癢星人
不倒翁倒下來了？反轉不倒翁的五顆星
猴子吱吱？猴子樹上的頻道戒指
哇哇三億元！小少爺的遺失物
誘惑的樂園？認真舌頭車斗
奇人怪人惡人！從不可思議的太空船奇蹟生還？
木星異常接近
衝擊度99%的日蝕？
抵達卡莉梅德！初次見面是美妙戀情的開始？
地球消滅! 超人衛門在異次元口袋迷路？
突變！新能力！摩可拉世上的奇妙瞬間
頂級超能力！回復機器人突然的報恩
謎樣的沙加索！浪漫的草原？
魔物傳說！揭穿神奇力量的真面目
多重星雲的雙胞胎？爸爸們的少年時代
1992年1月9日
用無限四角褲大變身
魔術力量蒙嘉
隊長才是我！冷暖星球的超空間鬼魂戰
眼睛與嘴巴會散步？衛門·零次元的恐怖！
蒙嘉大解剖！不可思議工廠的發明實驗室
第7627號客人，幸福星球滿是小狗
太陽復活，摩亞傳說之蒙嘉的預言
在沒有沒有星球決鬥！衛門替親人復仇
星球爆炸！衛門陷入危機
庫耶星人的反擊
衛門遇上困難！地毯星球五十億人的地球侵略
外星人宇宙中心，以移動星球來拯救地球
堤規至高倉佳彥
大冒險秘密紀錄
被邀請來的世紀男孩？
;片頭曲《喂!車夫先生》
* 作詞 - 米山正夫?荒木とよひさ / 作曲 - 米山正夫?馬飼野康二 / 編曲 - 鷺巢詩郎 / 歌 -  / 發行 - 日本哥倫比亞
**由美空雲雀「車屋先生」(1958年)改編而成。
; 片尾曲『21世紀的戀人』（第1話-第12話、第38話挿入歌）
* 作詞 - 神沢禮江 / 作曲 - 柴矢俊彥 / 編曲 - 西脇辰彌 / 歌 - 谷村有美 / 發行 - Sony Music Records
; 片尾曲2 - 『貝多芬Rock'n'Roll』（第13話-第39話(最終話)）
* 作詞?作曲 - 川島だりあ / 編曲 - 寺尾廣 / 歌 - テンテン（劉致妤） / 發行 - 日本華納音樂
獨裁官是羅馬共和國的特殊政治職務，是一種特殊長官，他的職能是執行特殊的任務，超過任何一位正規長官的威權。該職務在中文文獻中有時也被音譯為“狄克推多”。
獨裁官的字源則來自拉丁文動詞dictō（指示、描述、下令）與dīcō（說話），字面意思是「那個可以說話及下令的人」。
羅馬共和的合法制度，獨裁官（拉丁文“下命令的人”），也通稱為“人民統領”（magister populi），“最高裁判官”（Praetor maximus），以及“步兵統領”（Magister Peditum）。羅馬元老院通過元老院議決（senatus consultum），授權執政官去提名一位獨裁官，此人乃是唯一的例外，對共治（相同職務的多重佔有人），與責任（是合法地能夠已掌握去負行為的責任，在職務中）之羅馬合法原則而言。不論在任何時候，以任何理由，獨裁官都不能超過一位；并且於他在職務的時間中，獨裁官在法律上不為任何行為負責，無論以任何理由。獨裁官是最高的長官，在“領前的程度”（praetor maximus），以及被二十四位刀斧手所隨侍。
實際上有兩種不同的獨裁官任期型態。一種型態是“全權獨裁官（optima lega）”，此在戰爭狀態或平息叛亂的情況下，任期不超過六個月。這位獨裁官握有絕對的軍事治權與城內治權，有法律上的義務去指定一位騎兵長官（magister equitum）作為自己的下級同僚。當獨裁官離開職務的時候，騎兵長官的職務立即地停止存在。另一種類型的獨裁官為“法律上受限的獨裁官（imminuto iure）”，通常由一些特殊任務的理由而被任命：“為了選舉召開大會”（comitiorum habendorum causa），“在朱庇特神廟中釘釘子”（clavi figendi causa，當瘟疫爆發時在朱庇特神廟牆上釘入儀式用釘的宗教儀式），“為了指定節日”（feriarum constituendarum causa），“為了主持公共比賽”（ludorum faciendorum causa），“為了掌握確定的審判”（quaestionibus exercendis），以及“為了填補元老院中的空缺”（legendo senatui）等。
最為聞名的“戰事獨裁官”是辛辛納圖斯與費邊（在第二次布匿戰爭的時候）。戰爭結束之後，獨裁官的職位已失去法律上的效力，代替以元老院終極議決，元老院的緊急裁斷，授權兩位執政官，去採取不論什麼作為，已需要去防衛共和。
來自蓋烏斯·馬利烏斯的垮臺之後，於是路基烏斯·蘇拉，後者向羅馬推進，而且使他自己被委任至一個純然地新的職務，共和體制獨裁官（dictator  constituendae causa），它是職能地相同於戰事獨裁官，除了它缺乏任何時間的界限之外。蘇拉在他自願地放棄并從政壇退隱之前，握有這項職務好幾年。
蓋烏斯·尤利烏斯·愷撒在他任獨裁官的初期，恢復了戰事獨裁官一職，並允許被委任者擔任一整年。在公元前46年，他被委任成為一年獨裁官，從此開始他長達九年的任期，當凱撒開始第十屆任期時，此規定被廢除，而且元老院投票使他成為終身獨裁官（dictator perpetuus，意為"永遠的獨裁官"）。
凱撒在三月十五日被謀殺之後，他的執政官同僚馬克·安東尼通過了安東尼法，它撤銷了獨裁官任期，并且將它從共和國的憲法除去。這個職務後來提供給凱撒·奧古斯都烏斯，此人謹慎地拒絕它，而選擇了保民官的權力與執政官的統治大權，除最高祭司與第一元老之外未握有任何職務。這項政治上的安排使得他成為職能上的獨裁官，而沒有必要擁有這一引起爭議和嫉恨的頭銜或職務。
香港基督教錫安教會，簡稱錫安教會是一個由梁日華（Leung Yat Wah，1961年9月1日-）牧師於1984年建立的香港獨立派別基督團體，在末日論方面的教義與基督教有巨大差異。他們是以“喝用雙氧水事件”而為人知曉，同時被其他教會和媒體視為異端邪教。該教會在成立初期就鼓吹人們喝雙氧水，並聲稱此舉有「療效」。結果，令當時香港社會和醫學界嘩然，教會的知名度因新聞紙曝光率及社會關注度增加而提升，被市民和媒體稱為「雙氧教」或「雙氧水教會」
1994年，香港錫安教會與加拿大錫安總會分開獨立發展。香港教會的梁日華聲稱加國母會的牧師趙頌權變成異端，因而單方面宣佈香港教團與其完全決裂。。從此該教會自成一派，並不在中國與香港的基督教聯會名單出現。
2004年4月，《時代論壇》曾對梁日華進行采訪。
2007年5月3日，香港錫安教會在香港註冊擔保有限公司，「香港基督教錫安教會有限公司」(Hong Kong Church of Zion Limited )。該宗教社團曾租用香港九龍灣國際展貿中心進行大型聚會。
*全部包括舊約39卷及新約27卷的聖經都是神所默示的，原文是完全可信、可靠及準確；是神的向人啟示祂的計劃；是信徒的信仰和生活的最高權威與準則。
*神是永活者，是創造天地的主，是人類的救贖者，是擁有同等地位及全部神性的聖父、聖子、聖靈三個不同位格的三而一真神。
*耶穌基督是神的獨生兒子，是聖靈感孕由童貞女馬利亞所生的。耶穌基督擁有神人二性。耶穌基督是那位在本丟彼拉多手下受難並被釘於十字架受死、埋葬降在陰間、第三天從死人中復活升天並坐在全能父神的右邊；將來必從那裡降臨，審判活人、死人。
*人因犯罪違背神，從而帶來肉身及靈性的死亡，與神分離，人無法靠自己的能力自我救贖。人只有因信稱義得救，即人藉著悔改和信靠耶穌基督作為唯一赦免罪的方法。獲赦免者可恢復與神的關係，白白的得到永生。
*教會領袖是神的受膏者，教徒只能服從，不可拒絕。
錫安教會教導信徒相信世界終結是需警醒，雖然不知時候，但要留意啟示錄所寫的。要時刻預備警醒主再來因為主回來好像夜間的賊一樣。傳統教會則按照聖經教導信徒，時候和日期只有天父知道，信徒不可知道（使徒行傳一章七節），及信徒因為主隨時會回來而需要時常儆醒，而預備的是防範罪惡和敬畏神（馬太福音廿四章三十六至五十一節）。
錫安教會教導信徒從聖經詩篇中及各種數字巧合得到啟示預測神很大機會在2012年落實收回世界。由於錫安教會曾經在1999年預測2000年有「千年蟲亂世」之說並沒有應現，而猜測末日不符合聖經教導，因此普世認為錫安教會之「2012年末日」並不是從神而來的信息而沒有理會。
錫安教會信徒沒有定期堅守聖餐的安排。傳統教會則按照聖經安排定期守聖餐，原因是新約教會神的同在。哥林多前書11章聖餐教導說一些人不省察自己，結果林前11:30因此有人患病"死的也不少"認為應該認真的守聖餐，免得招損。
錫安教會的創會牧者為梁日華牧師。至今，他仍然主導該會的發展及擔任主日信息分享的牧師。他向信徒的信息分享主要集中於健康生活和末日信息。
由他牧養的教會引發以下爭議：
除了梁日華牧師之外，錫安教會也按立多名牧師、家主在各區成立家聚點負責教導信徒。
一般來說，每一間新教教會最少有一個牧師；如果沒有，就會由傳道人帶領教會；如果連傳道也沒有的話，那就由不受薪的幾個執事/長老共同管理。這些情況常見於一些信徒不多的小型教會。牧師的資格一般最少要有一個神學學士學位。但亦有部份教會會按立具資深牧養經驗但沒有神學學位的長執或領袖為牧師，而將被按立的候選人一般須由資深牧師或教會的長執會推薦，再經由幾名資深牧師組成的評審委員會評審後，才會正式被按立為牧師。
梁氏出生於一個篤信道教的家庭，父親為地盤判頭，中學時在香港的靈恩派真道教會聚會並受水禮，自接受主耶穌為個人救主後，不斷研讀聖經，參與聚會、禱告。不久，因梁父深信道教，及當時大部份香港人的深厚傳統思想，認為兒女相信基督教後不會為自己死後擔番買水，所以逼梁赴加拿大溫哥華三一學院（Trinity Western College）進修，以期梁慢慢對基督教冷淡，梁氏主修電腦，副修神學及古典結他，但又因他父母發現他在加拿大更積極參與教會事奉，未畢業便離校返港。回港後參加不同教會，如復興教會、五旬節教會……等。
據了解，。在一般情況下，未完成牧師在學術上的資格，想要牧養教會，就要有資深牧師所組成的評審會就未有學位的牧師評審，情況就如香港中醫師制度（在新中醫師注冊制度下，具多年行醫經驗卻未受學院式授業的中醫師，經審核後亦可成為合法表列中醫，在限期前再參與政府考試，合格則成為注冊中醫師）。而梁氏在加拿大讀書時，因熱心於教會事奉，認識了加拿大錫安教會趙仲權牧師，在趙牧師下學習如何幫助基督徒過一個真正基督徒的信仰生活。得悉梁氏將要返港，及梁氏有一顆對香港的負擔，於是授權梁氏以差傳身份開始在香港傳教，當時梁氏生活基本開支由趙仲權牧師負責，梁氏亦會向趙仲權牧師分享香港牧養情況及取得建議。