zaibd/wkpdtw huggingface dataset:
《論只使用符號 0 和 1 的二進位算術，兼論其用途及它賦予伏羲所使用的古老圖形的意義》（Explication de l'arithmétique binaire, qui se sert des seuls caractères 0 et 1 avec des remarques sur son utilité et sur ce qu'elle donne le sens des anciennes figures chinoises de Fohy）是戈特弗里德・威廉・萊布尼茨（Gottfried Wilhelm Leibniz，1646 年 7 月 1 日－1716 年 11 月 14 日）的一篇關於二進位與中國伏羲八卦圖的論文。原文完成於 1703 年，最初發表於 1705 年在巴黎出版的《1703 年皇家科學院年鑑》(Histoire de l』Academie Royale des Sciences , Année 1703 , Paris ,1705 , pp :85--89)。

本篇論文包含了萊布尼茨關於二進位算法的表達方式、規律特點、優勢與用途的論述以及他對於中國伏羲文化的思考。



發表背景

《論只使用符號 0 和 1 的二進位算術，兼論其用途及它賦予伏羲所使用的古老圖形的意義》是萊布尼茨於 1701 年提交的第一篇未發表的正式論文：論述二進位算法的《數字新科學論》（Essay d′unne nouvelle Science des Nombres）的增補與修改。

1701 年，萊布尼茨提交了《數字新科學論》，但被巴黎皇家科學院秘書長馮特奈爾（Bernard Le Bovier de Fontenelle）以「看不出二進位有何用處」為由拒絕。

1701 年 2 月 25 日，萊布尼茨寫信給居住在北京的法國耶穌會神父白晉（Joachim Bouvet）並介紹了論文的主要內容。白晉於 11 月 4 日回信，並指出了萊布尼茨二進位與《易經》八卦圖符號的相似之處。1703 年 5 月 18 日，萊布尼茨復函白晉，稱終於找到了二進位的「極大用途」（Les grandes utilités）。

本篇論文在第一篇的基礎上強調了二進位的用途，並增補了關於「伏羲八卦」的內容。論文於 1705 年在《1703 年皇家科學院年鑑》上發表。



相關條目


* 戈特弗里德・威廉・萊布尼茨

* 白晉

* 二進位

* 伏羲

* 八卦
論壇報大廈（英語：Tribune Tower）是美國芝加哥論壇報和論壇公司的總部所在地，大樓內還有 CNN 電視台的辦公室、當地電台和其他一些機構。這棟建築始建於 1923 年，外觀上充滿了強烈的哥特風格，是芝加哥市的地標之一。
https://www.radyokalbim.com.tr



設計

論壇報大廈的設計來源於一場建築競賽。1922 年，芝加哥論壇報在創辦 75 周年之際舉辦了一場名為「世界上最漂亮和最吸引人的建築」的建築競賽，最終的獲獎設計將成為芝加哥論壇報的新辦公大樓。報社為優勝者提供了 5 萬美元的獎金，吸引了 260 個參賽方案。最終的獲獎作品是由兩位來自紐約的建築師約翰・豪厄爾斯（John Mead Howells）與雷蒙德・胡德 (Raymond Hood) 共同完成的。他們的設計是一棟 36 層的高塔，塔頂還修建了哥德式教堂上常見的飛扶壁，大廈入口處等細部設計也充滿了哥特風格。這一設計思想同當時芝加哥以及國際上所流行的簡約風格相牴觸，但贏得了報社的青睞。大樓自 1923 年開始施工，1925 年完成了修築工作。
第二名的方案為埃列爾・薩里寧所設計的方案。



石塊

除了大廈自身的建築風格外，這棟建築另一個引人注目之處在於其牆體上鑲嵌了來自世界各地的建築碎片。genel forum sitesi （頁面存檔備份，存於網際網路檔案館） 這一舉動始於 1941 年一塊被炮彈破壞的法國教堂的石塊。如今論壇報大廈的牆體上展示著來自世界各地的 130 餘塊建築碎片。例如中國長城、美國白宮的磚塊，埃及金字塔的石塊、9・11 事件中倒塌的世貿中心的殘骸。此外，論壇報大廈的一扇櫥窗內還展示著阿波羅 15 號飛船從月球帶回的岩石，之所以沒有將其鑲嵌在牆內是因為 NASA 不允許這麼做。



參考文獻
論宇宙（希臘語：Περὶ Κόσμου，拉丁語：_De mundo_，英語：_On the Universe_），是一本假託於亞里斯多德之手的無名氏著作。因此，它被歸為偽亞里斯多德作品。論宇宙的成書年代並不確定，但人們認為它寫作於公元前 250 年之前或公元前 350 至公元前 200 年之間。它是在貝克編號 391-401 中被發現的。



概述

_論宇宙_ 討論了宇宙學（第 2 章）和氣象學（第 4 章）的話題。

最早在希臘出版後，這本書由阿普列尤斯翻譯為拉丁語，由艾因角的塞爾吉烏斯翻譯為敘利亞語，還被翻譯為三個不同阿拉伯語版本。

威廉・卡佩勒（_Neue Jahrbücher_，1905 年）將書中絕大多數的學說上溯到波希多尼。



參見


* 原質 (哲學和宗教)

* 天象論
《論對資產階級的全面專政》是張春橋 1975 年 4 月 1 日發表的文章。



歷史

1975 年中共中央下發的《毛主席關於理論問題的重要指示》中，毛澤東說：「列寧為什麼說對資產階級專政，要寫文章。要告訴春橋、文元把列寧著作中好幾處提到這個問題的找出來，印大字本送我。大家先讀，然後寫文章。要春橋寫這類文章。這個問題不搞清楚，就會變修正主義。要使全國知道。」姚文元寫的文章是《論林彪反黨集團的社會基礎》。張春橋寫的文章是《論對資產階級的全面專政》。經中共中央政治局討論通過，毛澤東圈閱後，發表在《紅旗》等報刊上。



內容


* 對資產階級全面專政。「無產階級能不能戰勝資產階級，中國會不會變修正主義，關鍵在於我們能不能在一切領域、在革命發展的一切階段始終堅持對資產階級的全面專政。」後被批判者稱為「全面專政論」。

* 「四個一切」。張春橋將馬克思的話「達到消滅一切階級差別，達到消滅這些差別所產生的一切生產關係，達到消滅和這些生產關係相適應的一切社會關係，達到改變由這些社會關係產生出來的一切觀念」稱為「四個一切」。

* 所有制要用政權力量大規模改變。「歷史上任何一種所有制的大變更，不論是封建制代替奴隸制，還是資本主義代替封建主義，都是先奪取政權，再運用政權的力量大規模地改變所有制，鞏固和發展新的所有制。社會主義公有制不可能在資產階級專政下產生，更是只能如此。」後被批判為違反唯物史觀的經濟基礎決定上層建築原理。



影響

革命國際主義運動後來將「對資產階級全面專政」總結為「無產階級全面專政」（All-Around Dictatorship of the Proletariat）。



參考文獻
論尚它硉（?—?），吐蕃赤德祖贊贊普時大臣。

因為吐蕃缺乏良將，在多次戰役中戰敗。吐蕃請求和解。唐玄宗開元十九年（731 年）九月廿五日，吐蕃派丞相論尚它硉為入唐使，拜見唐玄宗，請求在赤嶺設立集市進行貿易往來為互市。唐玄宗同意了他的要求。吐蕃於 733 年與唐朝會盟於赤嶺（今青海湟源日月山），雙方確定了疆界並在赤嶺豎立了界碑，達成和解。



參考資料


* 《舊唐書》吐蕃傳

* 《新唐書》吐蕃傳
論山站（韓語：논산역／論山驛 _Nonsan yeok_ \*/?）是湖南線沿線的一座鐵路車站，位於韓國忠清南道論山市半月洞，有 KTX、ITX - 新村及無窮花號列車停靠。



歷史


* 1911 年 11 月 10 日 - 落成使用。



相鄰車站

韓國鐵道公社
: 湖南線

　
: 夫皇－論山－彩雲號誌站
論峴站（韓語：논현역／論峴驛 _Nonhyeon yeok_ \*/?）是首爾地鐵 7 號線與新盆唐線沿線交會的一座轉乘車站，位於韓國首爾特別市江南區論峴洞與瑞草區盤浦洞的邊界。



車站結構

本站有出口共 8 處。

7 號線月台

站體為 2 面 2 線側式月台的地下車站，候車月台設有全高式月台門。

新盆唐線月台

站體為 1 面 2 線島式月台的地下車站，候車月台設有全高式月台門。



歷史


* 2000 年 8 月 1 日：落成啟用。

* 2022 年 5 月 28 日：新盆唐線站體開通。



車站周邊


* 江南區資源回收中心

* 論峴洞家具街

* 首爾論峴初等學校

* 盤浦派出所

* 永東市場

* 鶴洞公園

* 韓國電氣工事協會

* 韓國報勳福祉醫療公團

* 麒麟醫院

* 延世 SK 醫院

* 韓國八道 PALDOㆍ韓國養樂多總公司

* 中小企業銀行論峴站分行



圖片


* 
* 
* 
* 
* *



相鄰車站

首爾交通公社
: ●首爾地鐵 7 號線

　
: 鶴洞（731）－論峴（732） －盤浦（733）

Neo Trans
: ●新盆唐線

　
: 新沙（D04）－論峴（D05） －新論峴（D06）
論彌薩（?—?），唐代吐蕃器弩悉弄贊普時大臣。

702 年，贊普率眾侵犯武周悉州受挫後，派論彌薩入朝請和。武則天在西都長安款待他，其間親觀中原音樂，甚覺新奇。唐休璟也被邀請參加宴會。論彌薩多次盯著唐休璟看，武則天問論彌薩為何如此，論彌薩回答：「在洪源之戰，這位將軍雄猛無人可比，殺我們的將士甚眾，所以想多看看他」。703 年，吐蕃派遣論彌薩獻馬千匹、金二千兩以求婚，武則天同意。之後，到唐中宗時，以金城公主許嫁吐蕃。



參考資料


* 《舊唐書》吐蕃傳

* 《新唐書》吐蕃傳
在邏輯和哲學中，論證是由前提及其的一個結論組成的一系列命題。 論證分為演繹論證和歸納論證，演繹論證必為有效或無效，可以是可靠的：在有效的演繹論證中，即使一個或多個前提為假且結論為假，前提必須得出結論；在一個合理的論證中，真實的前提需要一個真實的結論。相比之下，歸納論證可以具有不同程度的邏輯強度：論證越強或越有說服力，結論為真的概率就越大，論證越弱，概率越小。邏輯是研究論證的推理形式以及評估論證的規範和標準的發展。 

評估非演繹論證的標準可能基於與真理不同或額外的標準 — 例如，先驗論證（英語：Transcendental arguments）中所謂的「必不可少的主張」的說服力，溯因推理中假設的品質，甚至對於思考與行動的新可能性的世界公開（英語：World disclosure；德語：Erschlossenheit），指的是事物如何透過成為本體論世界的一部分而變得與人類可理解和有意義地相關，即具有預先解釋和整體結構化的意義背景）。

自然語言中論證的邏輯形式（英語：Logical form）可以用符號形式語言表示，獨立於自然語言的正式定義的「論證」可以在數學和計算機科學中進行。



概述

一般的，哲學和科學論證也常使用溯因論證和類推論證。論證可以是有效的或無效的，儘管如何確定論證是這兩個範疇中的某一個，自身也經常是大量討論的對象。非形式的，你可能期望有效的論證是強制性的，在它有能力使人信服結論的真實性的意義上。但是，這樣的有效性標準是不充足的甚至是令人誤解的，因為這更多的依賴於構造論證的人的技巧去操縱要說服的人，而更少依賴於論證自身。

論證的有效性的更少主觀性的標準經常是明顯需要的，並且在某些情況下我們甚至期望一個論證是嚴格的，就是說，堅持精確的有效性規則。這是在數學證明中使用的論證的情況。注意嚴格的證明不必須是形式證明。

在平常語言中，人們提及論證的邏輯，或使用暗示了一個論證是基於形式邏輯的推理規則的術語。儘管論證確可使用無可爭議的純邏輯推論（比如三段論），在實際論證中幾乎總是使用其他種類的推論。例如，常處理因果關係、或然性和統計或更特殊化的領域如經濟學的論證。在這些情況下，邏輯指稱論證的結構而不是可以用在其中的純邏輯的原理。



參見


* 形式邏輯

* 非形式邏輯

* 辯證法

* 辯證邏輯



參考文獻



延伸閱讀



外部連結


* Argument | Internet Encyclopedia of Philosophy （頁面存檔備份，存於網際網路檔案館）
《論林彪反黨集團的社會基礎》是姚文元 1975 年 3 月 1 日發表的文章。



歷史

1975 年中共中央下發的《毛主席關於理論問題的重要指示》中，毛澤東說：「列寧為什麼說對資產階級專政，要寫文章。要告訴春橋、文元把列寧著作中好幾處提到這個問題的找出來，印大字本送我。大家先讀，然後寫文章。要春橋寫這類文章。這個問題不搞清楚，就會變修正主義。要使全國知道。」姚文元寫的文章是《論林彪反黨集團的社會基礎》。張春橋寫的文章是《論對資產階級的全面專政》。經中共中央政治局討論通過，毛澤東圈閱後，發表在《紅旗》等報刊上。



內容


* 文章認為：「資產階級法權的存在，則是產生新的資產階級分子的重要的經濟基礎。」四人幫倒台後被稱為「法權基礎論」。

* 文章描述了資本主義復辟過程。



參考文獻



外部連結


* 論林彪反黨集團的社會基礎（頁面存檔備份，存於網際網路檔案館）
論珠日（藏語：ལྟུན་གྲུབ་རི།，羅馬字母拼寫：Lhünzhub Ri），位於中華人民共和國西藏自治區山南市錯那縣境內的一座山峰，是中華人民共和國民政部第二批增補藏南地區公開使用地名中的一個。 該地位於中國與印度領土爭議地區，實際位置位於印度下蘇班西里縣與帕普派爾縣交界地區。



參考文獻
奧古斯丁的著作《論自由意志》（On Free Choice of the Will）其中探討了自由意志的本質、惡的問題、惡的起源，以及自由意志與道德責任之間的關係。

本書分為四卷，每一卷都建立在前一卷的基礎上。 第一卷以奧古斯丁（Augustine）和埃沃迪烏斯（Evodius）之間關於自由意志的本質及其與人類行為的關係的對話為特色。 討論還涉及到邪惡的問題，奧古斯丁認為這挑戰了自由意志的概念。



大綱

一、引言
奧古斯丁及其著作《論意志的自由》的背景信息，著作的目的和範圍

二、第一卷：Augustine 與 Evodius 的對話


* Augustine 與 Evodius 對話的概述

* 由意志的本質及其與人類行為的關係

* 邪惡問題及其如何挑戰自由意志的概念

三、第二卷：Augustine 對批評的回應


* 批評者對 Augustine 自由意志觀點的批評概述

* Augustine 對其立場的辯護和觀點的澄清

* 恩典在自由意志行使中的作用

四、第三卷：邪惡的起源


* 邪惡起源問題及上帝存在的問題

* Augustine 對 Manichaean 邪惡觀的回應

* 邪惡的概念作為善的缺乏或不足

五、第四卷：道德責任的問題


* 自由意志與道德責任之間的關係

* 知識和無知在道德責任中的作用

* Augustine 自由意志觀點對倫理決策的影響

六、結論


* Augustine 主要論點和貢獻的摘要

* 《論自由意志》對哲學和神學的重要性。
論莽熱是吐蕃在赤德松贊統治期間的一位軍事人物，官職為內大相。「論莽熱」是其官職「內大相」的音譯，其對應的真實人物不詳。

赤德松贊在位期間，論莽熱以大內論的身份兼任南道元帥，鎮守東南方。802 年，因吐蕃在西川、雲南一帶的戰局處於劣勢，論莽熱被赤德松贊任命為東鄙五道節度群牧大使，親率大軍十萬，救援被圍困在維州的蕃軍。唐將韋皋聯合南詔，在山間設下埋伏，引誘論莽熱追擊。論莽熱輕敵，中伏，大敗被俘。論莽熱被執送長安，唐德宗賜崇仁里宅以居之。



注釋



參考資料


* 《舊唐書・吐蕃傳》

* 《吐蕃史稿》，才論著
《論語》批註是 1974 年批林批孔運動時，由中華書局出版的《論語》的闡釋著作，內部發行。 編寫組由北京大學哲學系和中華書局組織，由黃楠森任召集人，參加的有李世繁、朱伯崑、魏英敏、張岱年等人，署名為「北京大學哲學系 1970 級工農兵學員」，對《論語》各章進行注釋、今譯及批判。其中註譯部分參考了楊伯峻的《論語譯註》加以修改，批判部分則以當時極左觀點進行批判。



評價


* 楊逢彬：此書較《譯註》正確者多，而較《譯註》錯誤者少，可見，至少在詞句注釋上，《論語批註》應該算是做得相當好的。

* 1974 年該書剛出版時，山東大學歷史系盧振華評論說：《論語批註》的材料可用，但思想觀點要慎重考慮，不可盲從。



參考文獻
《論語新探》，趙紀彬著，1950 年初版。其觀點顯然影響了批林批孔期間的《論語批註》。毛澤東曾致信康生推薦閱讀。



成書

1950 年中華書局出版趙紀彬的《古代儒家哲學批判》。1959 年再版，改名《論語新探》，1962 年再版。1976 年出第三版，按照批林批孔的需要進行了許多修改，並增加了四篇文章。



評價


* 牛澤群《論語札記》：「趙紀彬的《論語新探》，有人把它歸為批林批孔時代之作，是不公正的。此書儘管頗有迎合之意，但畢竟是考證為主，總試圖以理服人，而且早出於前，與批孔期間他的另外專作不能等同而視。」

* 李零： 「『文革』版，當然有時代烙印，很多人以政治原因，棄而不讀，但其研究水平實遠出於時下的流行新作，很多細節考證，至今仍有參考價值。」

* 楊逢彬：「《論語新探》確實在考據上下了大功夫，引用了大量語料，也多從語言內部著手考證。」「但是，趙書似乎是先有結論，然後又帶著傾向性找證據，因而其結論往往是靠不住的。」



參考文獻
《論語新注新譯》，楊逢彬著，北京大學出版社 2016 年出版繁體版。其簡體簡寫版是《論語譯註評》。



注釋思想

自稱使用現代語言學方法，發揚王念孫、王引之父子的學術事業。



評價


* 楊逢彬自評：主要而不是零星採用現代語言學方法註解中國古籍，該書是迄今第一部。

* 郭錫良：的確是在語法系統規律指導下的「竭慮殫精」之作，它在楊伯峻《論語譯註》的基礎上，無疑又跨進了一大步。



參考文獻
論語派是中華民國一個文學流派，以代表人物林語堂創辦的半月刊《論語》而得名，主要文學體裁是小品文，主張「以自我為中心，以閒適為筆調」，這個文學派別的主要刊物是《論語》、《人間世》、《宇宙風》。



代表人物


* 林語堂

* 陶亢德

* 郁達夫

* 邵洵美

* 林達祖



代表刊物


* 半月刊《論語》（創刊日期：1932 年 9 月 16 日）。

* 《人間世》

* 《宇宙風》



思想

由於論語派避談政治，是一些幽默的生活文章，引發了左翼作家的不滿，魯迅諷刺其麻痹人民群眾、逃避現實。



參考文獻


* 《中国近代文学史》第二卷。北京市：高等教育出版社. 2001-07-01. ISBN 7040095092.
論語言的起源（法語：Essai sur l'origine des langues）是讓 - 雅克・盧梭的作品，最初寫於 1754 年，在 1762 年的《愛彌爾》一書中提及，但直到作者死後的 1781 年才出版。盧梭原本還打算包括《論戲劇的模仿》和《以法蓮的利未人》。盧梭在序言中寫道，該文原本包含在《論人類不平等的起源與基礎》中，因為太長而被刪去。

在這篇文章中，盧梭使用與第二講演集類似的語言形式，對語言的起源進行了敘述。盧梭寫道，語言起源於溫暖的南方，然後才遷移到較冷的北方。在形成之初，語言是音樂性的，具有情感的力量，而非理性的說服。然而，北方寒冷的氣候剝奪了語言的激情特徵，將其扭曲為現在的理性形式。

雅克・德希達的《論文字學》第三章批判和分析了盧梭的散文。



參考


* Gourevitch, Victor. _Rousseau: The Discourses and other early political writings_ Cambridge University Press 1997

* Moran, John H., Gode, Alexander _On the Origin of Language_ University of Chicago Press 1986

* Derrida, Jacques. Spivak, Gayatri. _Of Grammatology_ Johns Hopkins Press 1998
《論語譯註》，楊伯峻著，人稱「注釋準確、譯註平實」，「當代最好的《論語》讀本之一」。 是當代最具影響力的《論語》注本，1958 年初版，1980 年後多次再版，至 1982 年即售出十六萬冊。據出版方中華書局稱，2016 年《論語譯註（簡體字本）》銷量 33.8 萬冊，如加上繁體字本等其他版本，總銷量達 45 萬冊。



評價


* 牛澤群：一、通俗性強，研究性弱；二、摭舊說多，采新成果少；三、明顯硬傷性錯誤時見；四、著力不夠，用功不多。

* 張政烺：在今注中確有極高學術價值的，可以達到雅俗共賞的境地，楊伯峻的《論語譯註》《孟子譯註》《春秋左傳注》就是其中的佼佼者。



參考文獻
《論語鄭氏注》是鄭玄注釋《論語》的著作，盛行於魏晉南北朝，宋朝佚失，清以來有不少輯佚本，1900 年後在敦煌和吐魯番發現唐寫本多種，王素專門編著了《唐寫本論語鄭氏注及其研究》。



參考文獻
《論語集釋》，程樹德撰，是論語研究者的重要參考書。收集了清以前的重要論語注釋，引用書籍達六百八十種，共一百四十萬字。



出版

1943 年由華北編譯館出版。中華書局於 1990 年、2013 年、2018 年出版。



評價


* 錢穆：「異說紛呈，使讀者如入大海，汗漫不知所歸趨。搜羅廣而別擇未精，轉為失矣」。（《論語新解》序）

* 胡道靜：「畢生精力之所在，成書於晚年，尤稱完美，對祖國文化遺產整理工作，貢獻之大」。

* 任銘善《評程樹德〈論語集釋〉》認為《論語集釋》體例不善、裁斷不明、引征不確、辨析不精、議論不當。

* 陳耀南：「晚清政昏世亂，列強交侵，為了救亡圖存，學風又改。五四新文化運動以來，儒學以至孔子都備受抨擊，至二十世紀六七十年代間乃達巔峰。出於種種動機而詆毀污衊孔子與《論語》者不少，也就是世道人心的印記。相形之下，中國艱苦抗戰期間，困守北平的程樹德（一八七八 —— 一九四四），以貧窮病癱之身，處敵偽暴虐之區，口述而賴親戚筆錄，奮鬥九年，成《論語集譯》一百四十萬言，引述六百八十餘種，翔實精備，嘉惠士林，實可謂「時窮節乃現」，不只是《論語》以至中華文化的大功臣，更真正活現了孔門之教。』（《論語》第二版 中華書局出版）



參考文獻
《論辯證唯物主義和歷史唯物主義》（俄語：О диалектическом и историческом материализме）是《聯共（布）黨史簡明教程》的第四章第二節，由史達林撰寫。



內容

史達林將辯證法概括為「四個基本特徵」，將唯物主義概括為「三個基本特徵」，論述了歷史唯物主義，認為生產發展有「三個特點」：

同形上學相反，馬克思主義辯證法認為：

1. 把自然界看作有聯繫的統一的整體
2. 把自然界看作不斷運動和變化、不斷更新和發展的狀態
3. 把發展過程看作從量變到質變的過程
4. 從低級到高級的發展過程是通過這些矛盾基礎上活動的對立傾向的「鬥爭」進行的

同唯心主義相反，馬克思主義哲學唯物主義認為：

1. 世界本質是物質的
2. 物質是第一性的；意識是第二性的，是物質的反映；思維是物質的產物，即人腦的產物
3. 世界及其規律完全可以認識，沒有不可認識的東西；關於自然界規律的知識，經過經驗和實踐檢驗，是具有客觀真理意義的、可靠的

從哲學唯物主義原理推廣去研究社會生活和社會歷史，歷史唯物主義認為：

1. 決定社會面貌、決定社會制度性質、決定社會從這一制度發展到另一制度的主要力量是物質資料的生產方式
2. 生產方式的變化必然引起全部社會制度、社會思想、政治觀點和政治設施的變化
3. 人們的生產關係依賴社會生產力而變化，與這些變化相適應地發生變化。與生產力發展相適應，「歷史上有五種基本類型的生產關係：原始公社制的，奴隸制占有制的，封建制的，資本主義的，社會主義的。」



參考文獻



外部連結


* _Dialectical and Historical Materialism_（頁面存檔備份，存於網際網路檔案館） at marxists.org.
《道德譜系學》（德語：_Zur Genealogie der Moral_）為德國哲學家尼采所著的一本倫理學著作，初版於 1887 年。此書基本上是《善惡的彼岸》的延續，內容包括道德的起源、良心負疚、懲罰等，以及主人 - 奴隸道德說的進一步闡釋。法國社會學家福柯即受到此書影響而進行他對瘋狂、性、懲罰的研究。

《道德譜系學》一書是尼採在進入混亂的 1888 年前的最後著作，由三篇專文構成，。每篇專文都專注於討論道德概念的發展以及傳統，尼采試著證明當代道德觀的最初起源根本沒有半點道德根據，殘酷的權力鬥爭才是形塑道德的主要角色。與其他作品相較，這本書在寫作形式和語調上都較為傾向哲學論述的風格，也因此這本書成為哲學界對於尼采思想分析的主要來源。



內容

在第一篇專文中尼采將基督教的道德觀追溯至那個被他稱為「奴隸藉由道德造反」的時期，他描述位居社會底層的成員對於那些強大、富有而高貴的上層成員的「怨恨」。貴族成員們是以「好 / 壞」作為價值的區分標準，認為他們在社會中所占的優勢證明他們自身的優越，並且藐視那些底層的成員。而奴隸們則發現他們無法面對自己被強者征服的事實，於是構思出一套「想像的復仇」，將那些強者描述為「惡」、並將他們自身描述為「善」，也因此建構出基督教的道德觀，透過這套道德觀，無能而軟弱的成員才有資格住在地球上。

在第二篇專文中尼采則描述在這套道德觀浮現前的社會的景象（他將之稱為「傳統的道德」），在那之前以暴力傷害人的權利來自於人的能力，就如同動物也有記憶和進行承諾的能力一般，違背承諾者會遭致的懲罰就是被暴力傷害。也因此，依據尼采的說法，懲罰的傳統並不是來自於任何道德目標或理論。「壞的結果」也是在道德觀浮現前的社會就已存在的概念。若是人不再有自由四處遊蕩和進行劫掠，他所帶有的暴力的動物本性便會轉而發泄至自己身上。

在第三篇專文里尼采則討論到基督教道德觀里所呈現的「完美的禁慾者」的概念，尼采主張埋藏在這個禁慾概念之後的只不過是一連串可笑而又沒有根據的迷信，即使在現代社會，這些迷信仍然企圖以新的、「秘密的」形式腐敗人類。
論欽明思（?—?），吐蕃赤松德贊贊普時大臣。

建中元年（780 年）五月初五，唐德宗任命韋倫為太常卿。五月廿二日，派遣韋倫出使吐蕃。韋倫請求德宗親撰盟書，與吐蕃結盟。楊炎認為德宗應該高於吐蕃贊普，請求自己同郭子儀等人撰寫盟書，再由德宗批准，德宗聽從。十二月初一，韋倫從吐蕃回返朝廷，吐蕃派遣論欽明思等人入朝進貢唐朝。



參考資料


* 《舊唐書》吐蕃傳

* 《新唐書》吐蕃傳
《諷刺與幽默》是中華人民共和國的一份周報，由人民日報社主管，環球時報社主辦。《諷刺與幽默》也是中國大陸創刊最早的漫畫報紙，是迄今中國大陸持續時間最長的漫畫刊物。

《諷刺與幽默》創刊於 1979 年 1 月 20 日，原為《人民日報》漫畫增刊。2015 年 1 月 5 日劃轉《環球時報》管理。創刊時半月刊，後改為周刊，每周五發行。報紙內容以漫畫為主，也會刊登一些相關文章。



參考資料



外部連結


* 官方網站（頁面存檔備份，存於網際網路檔案館）

* 《諷刺與幽默》電子報（頁面存檔備份，存於網際網路檔案館）
設區的市簡稱設區市，是現行中華人民共和國法律常用術語，指設有市轄區的建制市，包括絕大部分地級市但不包括直轄市。《中華人民共和國憲法》將直轄市以外的市分為「設區的市」與「不設區的市」。

目前中國只有 4 個地級市（即廣東省中山市、東莞市，海南省儋州市和甘肅省嘉峪關市）下不設市轄區而直接劃分為鄉級行政區（鄉、鎮和街道）。

《中華人民共和國立法法》於 2015 年修改之後，設區的市均享有地方立法權，可制定地方性法規。目前中國共計 289 個設區的市。而前述的不設區的地級市中只有海南省儋州市不具備。



選舉

設區的市的人大代表由下級縣級行政區（市轄區、縣、自治縣、縣級市）人民代表大會推選產生，而非由選民直接選舉產生。



參考文獻



參見


* 市轄區

* 地級市

* 不設區的市
  
* 縣級市

* 較大的市

* 直轄市
設備到設備（D2D） 通信被定義為蜂窩網絡中的兩個移動用戶之間不穿越基站（Base Station，BS）或核心網的直接通信。D2D 通信通常對蜂窩網絡是不透明的，它可以發生在蜂窩頻率 (即帶內) 或未許可的頻譜（即帶外）上。

在傳統的蜂窩網絡中，即使通信方在基於鄰近的 D2D 通信的範圍內，所有通信也必須通過 BS。通過 BS 通信適合傳統的低數據率移動服務，如語音通話和簡訊，用戶之間很少有足夠的距離進行直接通信。然而，在今天的蜂窩網絡中，移動用戶使用的是高數據速率服務（如視頻共享、遊戲、鄰近感知社交網絡），他們可能在直接通信的範圍內（即 D2D）。因此，在這樣的場景下，D2D 通信可以大大提高網絡的頻譜效率。D2D 通信的優勢不僅僅是頻譜效率；它們可以潛在地提高吞吐量、能源效率、延遲和公平性。



非合作 D2D 通信中的數據傳遞

D2D 通信中現有的數據傳遞協議主要假設移動節點自願參與數據傳遞，彼此共享資源，並遵循底層網絡協議的規則。然而，在現實世界的場景中，理性節點具有戰略互動，可能會出於各種原因（如資源限制、對數據缺乏興趣或社會偏好）而採取自私的行為。

例如，如果一個節點的電池資源有限，或者行動網路運營商提供的網絡帶寬成本很高，在提供適當的激勵之前，它不會願意為其他節點中繼數據。同時，惡意節點可能會通過不同的方式攻擊網絡，干擾數據傳輸過程的正常運行。例如，對手可能會丟棄接收到的消息，但產生偽造的路由度量或虛假信息，目的是吸引更多的消息或降低其檢測概率。當勾結的攻擊者提高他們的度量來欺騙攻擊檢測系統時，這個問題變得更加具有挑戰性。由於分布式網絡模型和節點對中央機構的間歇性訪問，處理非合作移動節點非常具有挑戰性。



D2D 應用

D2D 常用於：


* 本地服務：在本地服務中，用戶數據直接在終端之間傳輸，不涉及網絡端，如基於近距離服務的社交媒體應用。

* 應急通信：當遇到颶風、地震等自然災害時，傳統的通信網絡可能會因所造成的破壞而無法正常工作。通過 D2D 可以建立自組織網絡，可以在這種情況下進行通信。

* 物聯網增強：通過 D2D 與物聯網（IoT）的結合，將創造一個真正互聯的無線網絡。基於 D2D 的物聯網增強的例子是車聯網 (IoV) 中的車對車（V2V）通信。當高速行駛時，車輛可以在變道或減速前以 D2D 模式警告附近的車輛。



另請參閱


* 機器對機器

* 對等式網絡



參考
裝置驅動程式（英語：device driver），簡稱驅動程式（driver），是一個允許高階（High level）電腦軟體（computer software）與硬體（hardware）互動的程式，這種程式建立了一個硬體與硬體，或硬體與軟體溝通的介面，經由主機板上的匯流排（bus）或其它溝通子系統（subsystem）與硬體形成連接的機制，這樣的機制使得硬體裝置（device）上的資料交換成為可能。

依據不同的電腦架構與作業系統差異平台，驅動程式經歷了 8 位元（8-bit）、16 位元（16-bit）、32 位元（32-bit）、64 位元（64-bit）變遷，這是為了調和作業系統與驅動程式之間的依存關係，例如在 Windows 3.11 的 16 位元作業系統時代，大部份的驅動程式都是 16 位元，到了 32 位元的 Windows XP 則使用 32 位元驅動程式（微軟提供了 Windows Driver Model 可實作 driver），至於 64 位元的 Linux 或是 Windows 平台上，就必須使用 64 位元的驅動程式（WDM 與 WDF 皆可實作 64 位元驅動程式）。



驅動程式的開發

驅動程式的開發工作是很具挑戰性的，因為必須配合著硬體與軟體上相當明確與高級的平台技術。由於大多數的驅動程式（device drivers）執行在核心模式（kernel mode），軟體的錯誤經常造成系統嚴重的不穩定，例如藍色當機畫面（blue screen），這跟過去的使用者模式（user mode）下的程式設計（例如 Delphi、VB、Java）有明顯的差異性。

Windows 平台

為了大量減輕驅動程式開發人員的負擔，微軟不斷的改進驅動程式的開發軟體與架構，從早期複雜深晦的 VxD，到 Windows XP 上的 Windows Driver Model（以下簡稱 WDM）開發架構，如今 Windows Driver Foundation（以下簡稱 WDF）已成為新一代的 Windows 平台驅動程式發展架構，這個架構大量簡化了驅動程式的開發流程，更符合物件導向的精神，此架構包含了 User Mode Driver Framework 與 Kernel Mode Driver Framework 兩種開發模式。在開發 Windows 平台上的驅動程式之前，必須先安裝 DDK（Driver Development Kit），DDK 套件同時支援 WDM 與 WDF 兩種架構。

Linux 平台

Linux 下的裝置有三種基本類型：字元裝置，塊裝置和網路介面。



驅動程式的應用

因為常見的硬體和作業系統的差異性，驅動程式存在著不同的方式。用於：


* 印表機

* 顯示卡

* 網卡

* 音效卡

* 不同種類的匯流排

* 不同種類的低頻寬的 I/O 匯流排（如定點裝置：滑鼠、鍵盤、USB 等等。）

* 硬碟的連接介面 / RAID（RAID，SCSI）;

* 實現對不同的檔案系統的支援。

* 實現對掃描器、數位相機的支援。

驅動程式的抽象化共同層級（Common levels of abstraction）：


* 在硬體層方面：
  
* 直接連接（Interfacing directly）
  
* 使用一些較高層次的介面（如：影片 BIOS）
  
* 使用另一低階別的驅動程式（如檔案系統驅動程式使用磁碟驅動程式）
  
* 類比硬體工作

* 在軟體層方面：
  
* 允許作業系統直接存取硬體資源
  
* 僅實現其原始樣式（primitives）
  
* 實現對非驅動程式的軟體的介面（如 TWAIN）
  
* 實現一個更高層級的語言，例如 PostScript



驅動程式的 API


* Advanced Linux Sound Architecture（ALSA） - 標準新式 Linux 音效卡驅動程式介面（sound driver interface）

* I/O Kit - 一種蘋果電腦（Apple）上的開放式介面適用於發展麥金塔作業系統（Mac OS X）的裝置驅動程式

* Installable File System（IFS） - 一種 IBM OS/2 與 Microsoft Windows NT 的檔案系統 API

* Network Driver Interface Specification（NDIS） - 一種標準網路卡（network card）驅動程式 API

* Open Data-Link Interface（ODI） - 一種類似 NDIS 的網路卡 API

* Scanner Access Now Easy（SANE） - a public domain interface to raster image scanner hardware

* Uniform Driver Interface（UDI） - 跨平台（cross platform）驅動程式的介面規範

* Windows Display Driver Model（WDDM） - Windows Vista 及以後平台上新式的圖形顯示（graphic display）驅動程式架構。從 Windows 8 開始，Windows 不支援舊的 XPDM。

* Windows Driver Foundation（WDF）

* Windows Driver Model（WDM）

* Universal Windows Driver（UWD）



參見


* Windows Driver Model

* Windows Driver Foundation

* Universal Windows Driver

* 硬體抽象層

* Class driver

* 開源硬體

* 暫存器（Processor register）

* 中斷（interrupt）

* 埠（port）
設崗錯是一個位於中國西藏自治區山南市的湖泊，面積約為 1.98 平方千米，屬於青藏高原。它的一級流域為內流區諸河，二級流域為西藏內流區。



參考資料



外部連結


* 設崗錯的衛星遙感照片
設德蘭矮種馬，或稱設德蘭小馬，是矮種馬的一個品種，原產自設德蘭群島。設德蘭矮腳馬體型由最矮的大致 71 公分（7 掌寬）到官方認證最高的 107 公分不等。認定的矮種馬肩高（馬肩隆到地面的高度）不得超過 107 公分或 10.2 掌寬。設德蘭矮種馬皮毛厚重、腿部短小而且普遍被認為智力較高。它們是一種十分強壯的矮種馬，多被用作騎乘、拖車、載貨等用途。



歷史

設德蘭矮種馬原產自蘇格蘭本土東北方的設德蘭群島。 自青銅時代起，設德蘭群島上就開始馴養小型馬。島上的原住民可能隨後將本地馬種與諾斯人移民帶來的矮種馬雜交。 公元前 2000 年至前 1000 年之間被引進的凱爾特矮種馬可能也對設德蘭矮種馬有一定的影響。由於環境惡劣、食物缺乏，當地矮種馬變得極其適應惡劣環境。

設德蘭矮種馬最初被用於拖拉推車，拉載泥炭、煤及其他物品，耕犁農田。在 19 世紀中葉，由於工業革命大大增加了煤炭的需求量，成百上千的設德蘭矮種馬被運往不列顛本土，成為了礦井矮種馬，在地底託運煤，通常終生如此（而且生命一般相對短暫）。 美國東部的煤礦同樣也引進了一部分這類動物。美國最後一處矮種馬礦井於 1971 年關停。

英國的 The Shetland Pony Stud-Book Society 於 1890 年成立，旨在維持物種純正，並鼓勵馴養優質動物。1957 年，Shetland Islands Premium Stallion Scheme 成立，為認定的優質雄馬提供津貼，旨在改進種畜質量。



用途

時至今日，設得蘭矮種馬供孩童騎乘，駕車課程的馬術表演中，供孩童與成人觀看；表演場外也可供娛樂駕車用。馬術表演時，孩童騎乘設得蘭矮腳馬；而在騎術學校葛那馬廄中，也可以以娛樂目的騎乘。在集市、週遊嘉年華等商業場所中，它們給遊客提供騎乘。愛畜動物園中也能看到，有時它們也被用作治療性馬背騎乘用馬。在英國，設得蘭矮種馬全國大賽上，它們也有現身，載著年輕的騎手在賽馬跑道上飛奔。

青年輕駕馬車賽由昆士蘭的一個育種人組織創建，給予 6 至 16 歲的青少年初步接觸輕駕馬車產業的機會。孩子們有機會駕設得蘭矮種馬進行競賽。 矮種馬競賽不設獎金，不過冠軍或獲得名次者都會得到獎章。

小型設得蘭矮種馬可受訓後擔任導盲馬，與導盲犬功用相同。這項任務其他品種的小型馬也可以承擔。

位於軍團隊列的前方的皇家蘇格蘭兵團和阿蓋爾薩瑟蘭高地團馴養設得蘭矮腳馬為軍團的吉祥物，並稱它們為 Cruachan。



特點

設得蘭矮種馬身體強壯，容易適應惡劣環境，部分原因是此馬種為設得蘭群島的惡劣環境下培育而成的。外表上，設得蘭矮種馬腦袋偏小，有時面部中凹，眼間距較寬，雙耳小巧而機警。原產地馬種的脖子短而壯、身體敦實、四肢矮壯，相較於體型，炮骨較短。普遍背部短小而寬闊，腹部收緊，故步伐輕快有力。設得蘭矮種馬鬃毛和尾巴長且厚，還擁有厚重的皮毛足以抵禦酷寒的天氣。不同的品種認定機構指定的肩高標準不同，但是至多限定在 7 至 11.2 掌寬之間（即 71 至 117 公分）。

設得蘭矮種馬幾乎可以為任何顏色，包括花斑色和黑白花斑色（在美國被稱作白斑色），但主要呈現出黑色、栗色、棗色、灰色、金黃色、暗褐色、沙色、乳白色和大理石色。認定的設得蘭矮種馬不得為豹斑紋（如阿帕盧薩馬），也不得攜帶香檳基因，不過這些毛色有時可以在一些設得蘭矮種馬大小的雜交種身上看見。

設得蘭矮種馬通常性格溫順，天生聰明。它們是同孩子們玩樂的小馬的優秀選擇，有時獲稱「勇敢膽大」之名。它們可能會很固執或「調皮」，並不耐心，急躁，有時會不願合作。它們很容易被寵溺壞，如果待遇不佳也可能極其倔強，這與其智力及體型有一定的關係。

相對於其體型，設得蘭矮種馬為所有馬和矮種馬品種中最為強壯的。它可以拖動自身兩倍重量的物體，而馱馬只能拖動自身重量一半左右的物體，大多數最多拖動 9 英石 —— 即 59 千克。設得蘭矮種馬分布於世界各地，不過主要位於英國及北美洲。通常英國的矮腳馬傾向於保留馬種原本的特點，且相比於美國的近親要結實一些。

多數矮種馬壽命很長；設得蘭矮腳馬活過 30 歲都很常見。而其偏小的體型卻使得個體患心臟疾病的概率相較其他體型較大的動物更高，有時可能會造成早夭。與其他易適應惡劣環境的小型馬、矮種馬品種一樣，如果飲食非結構性碳水化合物攝入過多，設得蘭矮種馬很容易罹患蹄葉炎。因此，馬主人必須著重關注其營養，選取合適的餵食量及餵食種類。



美國設得蘭矮種馬

有記載的第一批美國的設得蘭矮種馬，是由伊萊・埃利奧特於 1885 年引入。這些矮種馬便是培育美國設得蘭矮種馬的基礎畜群，並與其它種類的矮種馬 —— 哈克尼矮種馬、威爾斯矮種馬、駕車矮種馬 —— 雜交。矮種馬的繁育主要集中在印第安納州、伊利諾斯州和艾奧瓦州。

1888 年，American Shetland Pony Club 成立，而今擁有兩種血統證書：A 類和 B 類。A 類中登記雜交（非設得蘭）血統小於等於八分之一的矮種馬，B 類則向雜交血統高於八分之一的矮種馬開放。對於 A 類畜種四代以內的矮種馬，基礎認證也適用。自 2009 年起，登記時不再區分 A 類、B 類。



參見


* 設得蘭群島動物品種

* 蘇格蘭馴服品種列表

* 馬品種列表

* 矮種馬

* 山野矮種馬品種



參考文獻



外部連結


* The Shetland Pony Stud-Book Society（頁面存檔備份，存於網際網路檔案館）

* Pony Breeders of Shetland Association（頁面存檔備份，存於網際網路檔案館）

* "Shetland Pony", from International Museum of the Horse（頁面存檔備份，存於網際網路檔案館）

* Shetland Pony Society of North America

* American Shetland Pony Club's home website（頁面存檔備份，存於網際網路檔案館）
設拉子沙拉是一道在伊朗頗有人氣的傳統夏日小吃，起源於伊朗西南部法爾斯省設拉子縣，其主要成分有黃瓜、番茄、橄欖油和檸檬汁。人們通常在食用烤肉串或者牛排等肉類的時候將設拉子沙拉設為飯前飯後的配菜，有時也會搭配米飯一起食用。設拉子沙拉在伊朗的地位十分顯著，通常作為餐桌配菜用來調和湯中辛辣的口感。



成分

設拉子沙拉的主要成分是番茄、洋蔥以及細磨後的小黃瓜，其上澆有新鮮檸檬汁以及一些干薄荷。沙拉中有時候還會加入橄欖油、鹽和胡椒用來調味。其他可能會加入調料亦包括芹菜、蔥、茴香、漆樹香料、紅醋以及青葡萄汁。設拉子沙拉也可以與皮塔餅和拉瓦什麵包搭配，或者與芝士或核桃仁搭配一起食用。



口感

設拉子沙拉通常味道酸咸，口感較脆且濕潤。人們通常在做完設拉子沙拉後會將其放置一小時或更長時間用以提升設拉子沙拉的風味。



參考文獻



另見


* 阿富汗沙拉



外部連結


* 設拉子沙拉相關介紹 - 1

* 設拉子沙拉相關介紹 - 2（頁面存檔備份，存於網際網路檔案館）
設立國際油污損害賠償基金國際公約（英語：International Convention on the Establishment of an International Fund for Compensation for Oil Pollution Damage）是 1971 年國際海事組織（時稱政府間海事諮詢組織）制訂的國際公約。公約於比利時布魯塞爾通過，於 1978 年 10 月 16 日生效，保存人是國際海事組織秘書長。1971 年後該公約原本經 1992 年議定書修正，後者 1996 年 5 月 30 日生效，前者 2002 年 5 月 24 日失效。



背景

各締約國考慮到《國際油污損害民事責任公約》不能在所有情況下對油污損害的受害人提供全部賠償，反而給船舶所有人增加了額外的經濟負擔；為保證能對油污事件的受害者提供其全部損失的賠償，同時能解除船舶所有人受該公約所加予的額外經濟負擔，制訂該公約。



內容

1992 年議定書設立了 1992 年國際油污賠償基金，並規定每起污染損害事故可至多獲得 1.35 億特別提款權的償額。



參考文獻
設定（Windows） ，原名為「電腦設定」（PC Settings），是一款由微軟公司所開發 UWP 應用程式，並以系統程式身分裝載於 Windows 8、Windows Server 2012 之後以及 Windows 10 Mobile 作業系統之中。因大部份控制台的操作均可直接在本程式上實現並完成，從而被認為是控制台的替代品。



歷史

Windows Server 2012/Windows 8.X

早在 Windows Server 2012 和 Windows 8 中，微軟公司就將其預裝在系統中並稱為「電腦設定」，其主要設計專為輕觸裝置而最佳化的簡單設定介面，但可操作選項極少。自 Windows 8.1 作業系統後，程式得到了部份改進並添加更多的操作選項，但大部份選項仍需在原有的控制台中完成。

Windows 10 及未來

從 Windows 10 開始，應用程式被重新設計並命名為「設定」，同時可完成大部份在控制台中所執行的操作，並正逐步替代原有的控制台，最終「設定 (Windows)」UWP 程式將完全取代 Windows 舊有的控制台，展現 Windows 作業系統已邁入新的里程碑。

因為程式本身為通用 Windows 平台程式，因此，也可在裝載 Windows 10 Mobile 作業系統上的智慧型手機和平板電腦中運行並使用。
設計－建造（英文：Design-Build）是一種建築項目的交付模式，業主將項目交給單一實體全面負責，承攬設計、採購、施工等，直至項目完成。與傳統的設計－招標－建造項目交付模式相比，設計和建造業務由一個被稱為設計 - 建造承包商的單一實體來承擔；而設計－招標－建造模式中，設計和建造是由不同的實體承擔的。



定義

美國總承包協會（Associated General Contractors of America, DBIA）的定義：設計－建造模式，又稱設計－施工（Design-Construct）模式或單一責任主體（Single Responsibility）模式，是一種合同框架；在此框架下，由一個實體，根據一份合同，承擔全部的設計和施工任務。

美國土木工程師協會（American Society of Civil Engineers, ASCE）的定義：政府機構和私人商業領域可選用的項目交付方式之一；使用該模式，業主可將設計和施工的責任集中在一份合同之中，從而期望項目的生命周期成本被最有效利用，獲得高質量的產品和服務。

英國皇家特許建築學會（The Chartered Institute of Building, CIOB）定義是：業主就整個建設項目直接與一個承包商溝通，這個承包商要負責每個設計和施工的流程，並負責協調。施工與設計階段雖有聯繫，但還是獨立的過程。業主可以直接任命內部人員或者一個單獨的諮詢人員來審核項目是否物有所值，質量是否滿足業主要求。

香港工程監督學會 (The Hong Kong Institute of Clerks of Works, HKICW) [1] 定義是：業主由可以由直接聘用工程監督，在施工的工地中，進行監督日常工地施工的工程質量的模式，轉而透過主要承包商去聘用工程監督的模式，去達到進行監督日常工地施工的工程質量。

設計－建造承包商通常是建築承包商，但在很多情況下，也可以是設計專業人士，如建築師或工程師。 設計 - 建造 承包商可採用下述組織結構：

1. 應用自己實體的力量獨立完成全部合同
1. 以設計承包商和施工承包商組成一個聯合實體
1. 以設計承包商為主導組成團隊，施工承包商作為分包商
1. 以施工承包商為主組成團隊，設計承包商為分包商



優點

建築項目歷來一方面需要確定建築設計師，另一方面需要確定建築承包商，而這種設計－建造模式改變了傳統的流程。這一項目交付模式，對業主的期望是否能實現的責任方是單一實體的，從而有可能減少風險和整體成本。

設計－建造交付模式，用於為業主降低項目風險，並通過使項目設計階段與項目建築階段重疊，以縮短項目交付時間。



工程項目交付

在西方，工程項目的交付模式通常包括設計－建造模式、設計－採購－施工模式（Engineering-Procurement-Construction，簡稱 EPC 模式）模式、以及交鑰匙（Turnkey）模式三種。

這三種工程項目交付模式的細微差別，可世界工程師聯合會（FIDIC）1999 年作出的如下定義來判斷：1）EPC 模式：承包商承擔項目設計和施工的全部責任，業主很少介入；2）交鑰匙模式：承包商承擔全部設計、採購和施工，最終提供配備完善的設施，業主拿到鑰匙即可運行；3）設計－建造模式，承包商按業主的要求設計提供工程設施。



缺點

設計－建造承包商的性能，跟該承包商是純粹單一實體、是聯合體，還是鬆散組合是密切相關的。純粹單一實體承包商，通常自身擁有設計和建造資源；聯合體往往是自身部分擁有建造資源總建築承包商僱傭設計團隊，而鬆散組合指中小型建商和外部設計團隊間的合作。這三者技術和管理水平是不同的，從純單一實體，至鬆散組合，很可能在設計和建築能力上是降低的。而對於項目成本，則剛好相反，業主選擇純粹單一實體承包商，與選擇鬆散組合承包商相比，項目成本是增加的。



歷史

設計 - 建造有時被比作最古老建築流程 ——「建築大師」（「master builder」）模式。與傳統的建築合同採購方式相比，《設計－建造合同手冊》一書的作者們評論說：「從歷史上來看到，所謂的傳統模式，實際是很近代的概念，只使用 150 年。而設計 - 建造概念，也以「建築大師」著稱，據報導已經使用了超過 4,000 年歷史」。



參考文獻



外部連結


* The Design/Build Institute of America（頁面存檔備份，存於網際網路檔案館）

* The Design/Build Institute of Canada（頁面存檔備份，存於網際網路檔案館）

* Yestermorrow Design/Build School（頁面存檔備份，存於網際網路檔案館）

* 香港工程監督學會 (The Hong Kong Institute of Clerks of Works, HKICW)
設計保障安全（Safety by design）是一個概念及運動，鼓勵營建管理者及產品設計者在設計開發階段就將健康及安全風險納入設計考量。此概念支持品質、程序及成本的觀點，安全性在設計階段就已納入考慮。



設計保障安全 (建築工地)

有量文獻表明，建築工地上的許多事故都與安全帶的設計有關。在設計階段危害消除比降低危害更有效。級別控制，例如替換，隔離，應用工程或管理控製或使用個人防護衣服或設備。因此，設計師在預防工作場所危害方面的作用吸引了研究人員的關注。大量案例研究和示例可在可供設計人員用於安全設計的各種工具和技術不能僅依賴於主承包商。讓所有利益相關者，包括客戶，設計師和分包商共同承擔安全責任，將更加有效 。



立法

歐洲立法要求營建設計者在設計者就考慮風險，減少建造時對建築工人的危害，並配合像移動工地指令（英國的 CDM 法規）中的階段，此概念符合法律的要求。在英國，建築設計管理（CDM）該法規僅在 1995 年實施。但是，設計人員不想承擔額外的不當責任。

許多非政府組織是為了支持此一目的而成立，主要是在英國、澳洲及美國。

有些公證單位提供測試及設計驗證服務，確認符合像美國機械工程師學會等機構訂定的安全標準。
設計哲學是 21 世紀新興的學科。設計的歷史可以追溯到石器時代，哲學總是與知識、智慧、思考、邏輯、分析關聯，思考人生、世界、時空和宇宙等終極目標。
如果我們將造物活動、產品軟體看作一個獨立世界，設計師為其分析需求、建立模型、捕捉內在運轉的規律、設計合理的架構，不就是在做哲學家每天在做的事情嗎？規律和本質，在軟體世界中被我們創造，反過來又掌控者我們，規定著設計的方向。

美國卡耐基梅隆大學人機互動學院設有設計哲學博士學位。
設計局（俄語：Опытное конструкторское бюро，縮寫：俄語：ОКБ，拉丁化：Opytnoe Konstructorskoe Byuro，縮寫：OKB）是蘇聯設計和開發武器的部門。俄語：ОКБ（設計局）直譯是一個原型設計局（實驗設計局）。著名的米高揚古列維奇設計局和蘇霍伊設計局均屬於此類。



航空工業設計局代碼


* OKB-1 - 「金剛石」科研生產聯合體：設計研發反導系統及地對空飛彈

* OKB-1 - 科羅廖夫第一試驗設計局：設計研發運載火箭、人造衛星、載人飛船等航天系統項目。早年研發過彈道飛彈。

* OKB-1 - 原本由 Dr. Brunholff Baade 帶領納粹德國研發團隊於此研發新飛機，爾後為了進一步監督德國人於 1953 年被解散。

* OKB-2 - 「彩虹」機械製造設計局的舊名（OKB-155-2）

* OKB-3 - 布拉圖欣直升機設計局：設計研發直升機

* OKB-4 - 「閃電」設計局：設計研發空對空飛彈及可重複使用航天運輸系統的設計

* OKB-8 - 「革新者」設計局：主要設計研發地對空飛彈與反艦飛彈

* OKB-19 - 什韋佐夫發動機設計局：設計研發航空發動機，最初負責仿製萊特颶風系列發動機。

* OKB-20/26/45 - 克里莫夫設計局：設計研發航空發動機，主要是渦輪噴氣發動機與渦輪軸發動機。

* OKB-21 - 阿列克謝耶夫中央設計局：設計研發船隻，特別是地效飛行器、水翼船與氣墊船之類高速船隻，曾建造裏海怪物。

* OKB-23/482 - 米亞西舍夫設計局：設計研發戰略轟炸機

* OKB-24 - 米庫林設計局：二戰期間設計研發活塞發動機，其後設計研發渦輪噴氣發動機

* OKB-39 - 伊留申設計局：設計研發運輸機、轟炸機、強擊機等。

* OKB-47/115 - 雅科夫列夫設計局：設計研發教練機、戰鬥機、特技機等。研發生產過罕見的垂直起降戰鬥機。

* OKB-49 - 別里耶夫設計局：設計研發水上飛機

* OKB-51 - 蘇霍伊設計局：最初由波里卡爾波夫領導，設計研發戰鬥機、截擊機、攻擊機。

* OKB-52 - 切洛梅設計局：設計研發運載火箭、洲際彈道飛彈、反艦飛彈等

* OKB-86 - Bartini

* OKB-115 - 雅科夫列夫設計局：生產戰鬥機

* OKB-117 - Klimov, Izotov

* OKB-120 - Zhdanov

* OKB-124 - N/A（製造 Tu-121 的冷卻系統）

* OKB-134 - 閃電設計局（Vympel NPO）: 設計生產多款空對空導彈如 R-13 / AA-2「環礁」、R-60 / AA-8「蚜蟲」、R-77 / AA-12「蝰蛇」 等

* OKB-140 - N/A（製造 Tu-121 使用的水醇燃料起動器用發電機）

* OKB-153 - 安東諾夫設計局：生產運輸機，位於現今烏克蘭

* OKB-154 - 化工自動化設計局, 前身 OKB-296，設計液氫液氧火箭發動機

* OKB-155 - 米高揚設計局：米高揚 格里維奇設計局的前身之一，主要生產戰鬥機

* OKB-155-2 -（有時候稱為 OKB-2-155）代號第一次使用為 OKB-155 設計局衍生出來之支局，後來分配給別列茲尼亞克 - 伊薩耶夫設計局 (Berezniak-Isaev,BI），現在分配給「彩虹」機械製造設計局 (MKB Raduga).

* OKB-156 - 圖波列夫設計局：生產轟炸機

* OKB-165 - 留里卡設計局：生產航空器引擎

* OKB-207 - Borovkov,and Florov

* OKB-240 - Yermolaev

* OKB-256 - Tsybin

* OKB-276 - 庫茲涅佐夫設計局

* OKB-296 - 1946 年更名為 OKB-154

* OKB-300 - 圖曼斯基設計局：生產軍用機引擎

* OKB-301 - 拉沃契金設計局：生產戰鬥機

* OKB-329 - 米里設計局：生產直升機

* SKB-385 - Makeev

* OKB-456 - 格魯什科設計局

* OKB-458 - Chetverikov

* OKB-478 - 伊夫琴科 - 進步設計局，大涵道比渦扇發動機

* OKB-586 - 南方設計局設計戰略飛彈、火箭以及衛星

* OKB-692 - 原先命名為 NPO "Electropribor"，於 1959 年時在烏克蘭卡爾科夫創立，現在為 NPO Khartron。

* OKB-938 - 卡莫夫設計局（Kamov）：生產直升機

Template: 蘇聯及俄羅斯聯邦武器設計製造機構
設計師交流之夜（英文：PechaKucha 或 Pecha Kucha，日文：ペチャクチャ） 是一種演講形式，該演講規定使用 20 張演示文稿，並用 20 秒講述一張的時間完成（即共 6 分 40 秒的演講時間），旨在保證演講內容簡潔和快節奏的演講形式。

設計師交流之夜這樣的演講形式是由東京建築設計公司 Klein-Dytham Architecture (KDa)  的 Astrid Klein 和 Mark Dytham 於 2003 年設計出的，起初的目的是吸引年輕的設計師去位於六本木的 SuperDeluxe 參加他們的實驗性活動，在那裡可以展示設計師們的作品和交流想法。

2004 年，歐洲的幾個城市也開始嘗試該活動。 截止到 2014 年 5 月，PKNs 已經在全球 700 個城市裡舉辦過。 



活動形式

一個標準的設計師交流之夜通常會邀請 8-14 個演講者。每位演講者準備 20 張演示文稿 (PPT)，並用 20 秒時間講述一頁。不同城市的主辦方或許會加上他們自己的特色和形式。
在荷蘭的格羅寧根，演講的空隙會有現場樂隊演出，而在每個演講的最後 20 秒，會有主辦方邀請的評論人進行即時評論。

演講的聽眾一般都是來自設計，建築，攝影，藝術和創意領域，也有來自院校的學生 多數演講者是專業設計師來展示他們的設計作品，但也有演講者講述的主題是他們的旅行，研究課題，學習項目，興趣愛好，收藏，或是其他的興趣。有些活動中也會用到視頻作品作為演講素材。



如何發起一個設計師交流之夜

由於 PechaKucha 是一個被 Klein-Dytham Architecture (KDa) 註冊的商標。因此通常需由主辦方聯繫_設計師交流之夜_（PechaKucha）委員會來發起一個活動，完成非正式的申請程序之後，雙方達成相關的「握手」協定便可。設計師交流之夜並沒有形式上的限制。任何受邀請人都可以準備一個演講。



參考



外部連結


* PechaKucha 20x20（頁面存檔備份，存於網際網路檔案館）

* All talk（頁面存檔備份，存於網際網路檔案館） - Time magazine

* Short Wired piece and example PechaKucha（頁面存檔備份，存於網際網路檔案館） by Daniel Pink
設計異味是計算機編程領域，設計所用結構違背了基本設計原則並對設計質量有負面影響。這個術語源自馬丁・福勒在《重構 - 改善既有代碼的設計》一書中描述的代碼異味。

不同作者對「異味」（smell）有不同的定義：


* N. Moha 等：「代碼與設計異味是差的解決方案，導致了實現與設計問題」

* R. C. Martin：「設計異味是腐敗的軟體的氣味」

* Fowler：「異味是代碼中特定的結構導致了重構的可能」

設計異味指示了積累的設計負債（技術負債的主要維度）。Bug 與未實現功能不算是設計異味。設計異味產生於很差的設計決策，使得設計脆弱、難於維護。在一個軟體系統中辨別設計異味，應用適當的重構去除異味，避免積累技術負債，是好的實踐。

在確定特定結構或決策是否算作設計異味時，上下文環境（如問題清單、設計生態圈、平台等）扮演了重要角色。很多時候，由於上下文環境所限，只好容忍設計異味。



常見設計異味


* 缺乏抽象（Missing abstraction），如果使用數據泥團而不是創建抽象。也稱作基本類型迷戀 、數據泥團（data clumps）。。

* 多方面的抽象（Multifaceted abstraction），如果一個抽象有多重責任。也稱作概念化的濫用

* 重複的抽象（Duplicate abstraction），如果兩個或多個抽象有相同的名字或實現。也稱作不同接口的可選類、重複的設計品。

* 缺乏封裝（Deficient encapsulation），如果一個抽象的一個或多個成員的被聲明的可訪問性超出了實際需要。

* 未利用的封裝（Unexploited encapsulation），如果客戶代碼使用顯式類型檢查（使用鏈式 if-else 或 switch 語句檢查對象的類型）而不是雷雨封裝在架構中的類型的變化。

* 破損的模塊化（Broken modularization），如果數據與 / 或方法本應在一個抽象中，卻被分開放到了不同的抽象中。

* 不充分的模塊化（Insufficient modularization），如果一個抽象實際上還沒有被徹底分解，如果進一步分解會減小其尺寸或實現複雜度。

* 循環依賴的模塊化（Cyclically-dependent modularization），如果兩個或多個抽象直接或間接互相依賴（抽象之間緊耦合）。也稱作循環依賴。

* 未分解的架構（Unfactored hierarchy），如果架構內部存在不必要的重複的類型

* 破損的架構（Broken hierarchy），如果一個父類型與一個子類型概念上並不構成「IS-A」關係，這導致了替代性的破缺。也稱作「繼承的不當使用」、無用「IS-A」。

* 循環的架構（Cyclic hierarchy），如果父類型依賴於它的某個子類型。也稱作繼承 / 引用循環。

* 僵化（Rigidity）：系統難以修改，因為每個改變迫使系統其他部分也要做出修改。

* 脆弱（Fragility）：一個修改可能引發沒有概念關係的其他地方的崩潰。

* 頑固（Immobility）：很難把系統分離為可被其他系統重用的模塊

* 粘滯（Viscosity）：做正確的事比做錯事更難。

* 不必要的複雜（Needless Complexity）：設計包含了沒有直接好處的基礎設施。

* 不必要的重複（Needless Complexity）：設計包含了本可以用一個抽象統一起來的重複的結構。

* 晦澀（Opacity）：難以閱讀與理解。不能很好的表達其意圖。



物件導向設計的有助於消除異味的原則

物件導向設計的 SOLID 五大原則：
單一功能原則：一個類只應有一個「改變的原因」（即功能）；
開閉原則：軟體實體（類、模塊、函數等）應當對擴展是開放的，對修改是關閉的；
里氏替換原則：子類型能替換基類型；
依賴反轉原則：高層模塊不應依賴於低層模塊，二者應當依賴於抽象。抽象不應依賴與細節。細節應當依賴於抽象。
接口隔離原則：類應當有胖（fat）接口，可被分為方法的分組。每個分組服務於不同的客戶集。客戶不應當知道這些分組是在同一個類中。



參見


* 代碼異味

* 反模式

* 軟體腐爛

* 技術負債



參考文獻
設計收斂（英語：Design closure）是積體電路設計過程中，反覆設計、調整設計細節，以使目標電路逐漸滿足一系列設計約束的過程。積體電路設計的每個步驟（例如靜態時序分析、布局、布線等）都是極其複雜的過程，並形成了若干專門的學科進行研究。



外部連結



相關條目


* 時序收斂
設計矩陣（英語：design matrix、model matrix、regressor matrix）在統計學和機器學習中，是一組觀測結果中的所有解釋變量的值構成的矩陣，常用 X 表示。設計矩陣常用於一些統計模型，如一般線性模型，方差分析中。



定義

通常情況下，設計矩陣的第 i 行代表第 i 次觀測的結果，第 j 列代表第 j 種解釋變量。如此一來，線性回歸模型就可以用矩陣乘法表達為

　
: $y=X\beta $

其中 $X$ 是設計矩陣， $\beta $ 是對應每一種解釋變量的係數組成的係數向量， $y$ 是每一個觀測對應的預測值構成的向量。



例子

算數平均

算數平均的設計矩陣是一個全為 1 的列向量。

簡單線性回歸

本節給出了一個簡單線性回歸的例子，其中有一個解釋變量和有七個觀測值。這七個數據點是 $\left\{y_{i},x_{i}\right\},i=1,2,\cdots ,7$ 。該簡單線性回歸模型可以表示為：

　
: $y_{i}=\beta _{0}+\beta _{1}x_{i}+\varepsilon _{i},\,$

其中 $\beta _{0}$ 為 y 軸的截距， $\beta _{1}$ 是回歸線的斜率。該模型可以表示為矩陣形式：

　
: ${\begin{bmatrix}y_{1}\\y_{2}\\y_{3}\\y_{4}\\y_{5}\\y_{6}\\y_{7}\end{bmatrix}}={\begin{bmatrix}1&x_{1}\\1&x_{2}\\1&x_{3}\\1&x_{4}\\1&x_{5}\\1&x_{6}\\1&x_{7}\end{bmatrix}}{\begin{bmatrix}\beta _{0}\\\beta _{1}\end{bmatrix}}+{\begin{bmatrix}\varepsilon _{1}\\\varepsilon _{2}\\\varepsilon _{3}\\\varepsilon _{4}\\\varepsilon _{5}\\\varepsilon _{6}\\\varepsilon _{7}\end{bmatrix}}$

其中設計矩陣中的第一列用以估計 y 軸的截距，而第二列包含與相應 y 值相關的 x 值。

多元回歸

本節給出了一個有兩個協變量（解釋變量）的多元回歸例子： $w$ 和 $x$ 。假設數據由七個觀測值組成，對於每個待預測的觀測值 $y_{i}$ ，兩個協變量的值 $w_{i}$ 和 $x_{i}$ 也被觀察到。該模型可以表示為：

　
: $y_{i}=\beta _{0}+\beta _{1}w_{i}+\beta _{2}x_{i}+\varepsilon _{i}$

該模型可以表示為矩陣形式：

　
: ${\begin{bmatrix}y_{1}\\y_{2}\\y_{3}\\y_{4}\\y_{5}\\y_{6}\\y_{7}\end{bmatrix}}={\begin{bmatrix}1&w_{1}&x_{1}\\1&w_{2}&x_{2}\\1&w_{3}&x_{3}\\1&w_{4}&x_{4}\\1&w_{5}&x_{5}\\1&w_{6}&x_{6}\\1&w_{7}&x_{7}\end{bmatrix}}{\begin{bmatrix}\beta _{0}\\\beta _{1}\\\beta _{2}\end{bmatrix}}+{\begin{bmatrix}\varepsilon _{1}\\\varepsilon _{2}\\\varepsilon _{3}\\\varepsilon _{4}\\\varepsilon _{5}\\\varepsilon _{6}\\\varepsilon _{7}\end{bmatrix}}$

右側的 $7\times 3$ 矩陣即為設計矩陣。

單方向方差分析

在單方向方差分析中，此時的模型為

　
: $y_{ij}=\mu +\tau _{i}+\varepsilon _{ij}$

限制： $\tau _{1}$ 為 0

　
: ${\begin{bmatrix}y_{1}\\y_{2}\\y_{3}\\y_{4}\\y_{5}\\y_{6}\\y_{7}\end{bmatrix}}={\begin{bmatrix}1&0&0\\1&0&0\\1&0&0\\1&1&0\\1&1&0\\1&0&1\\1&0&1\end{bmatrix}}{\begin{bmatrix}\mu \\\tau _{2}\\\tau _{3}\end{bmatrix}}+{\begin{bmatrix}\varepsilon _{1}\\\varepsilon _{2}\\\varepsilon _{3}\\\varepsilon _{4}\\\varepsilon _{5}\\\varepsilon _{6}\\\varepsilon _{7}\end{bmatrix}}$



參考文獻



延伸閲讀
設計科學許可證（或設計科學許可協議） （英語：Design science license,DSL） 是一個用於任何種類的自由內容的 copyleft 協議，例如文字、圖片、音樂等。不同於其他的開源協議，設計科學許可證的目的是用於任何受版權保護的內容，包括文檔和源代碼在內。它是第一個「廣義的 Copyleft」協議，由邁克爾・施圖茨（英語：Michael Stutz）發布。

設計科學許可協議誕生於 20 世紀九十年代，在創作共用之前。當創作共用出現時，施圖茨認為設計科學許可協議的實驗「結束」並不在推薦使用它。



參考文獻



外部鏈接


* Copy of the Design Science License（頁面存檔備份，存於網際網路檔案館）
設計自動化標準委員會（英語：Design Automation Standards Committee, DASC）是由 IEEE 中對設計自動化感興趣的人結成的子學會、IEEE 計算機社團（Computer Society）和 IEEE 標準協會（IEEE Standards Association）共同組成。該組織負責監管有關計算機輔助設計（即設計自動化）的 IEEE 標準。它也是 IEEE 計算機社團的一部分

設計自動化委員會贊助的標準包括：


* IEEE 1076 Standard VHDL Language Reference Manual (VASG)[1]（頁面存檔備份，存於網際網路檔案館）
  
* VHDL-200x [2]（頁面存檔備份，存於網際網路檔案館）: the next revision
  
* Issues Screening and Analysis Committee (ISAC) [3]（頁面存檔備份，存於網際網路檔案館）
  
* VHDL Programming Language Interface Task Force (VHPI) [4]（頁面存檔備份，存於網際網路檔案館）
  
* P1076.1 Standard VHDL Analog and Mixed-Signal Extensions (VHDL-AMS)
  
* P1076.1.1 Standard VHDL Analog and Mixed-Signal Extensions - Packages for Multiple Energy Domain Support (StdPkgs)
  
* P1076.4 Standard VITAL ASIC (Application Specific Integrated Circuit) Modeling Specification (VITAL)
  
* P1076.6 Standard for VHDL Register Transfer Level (RTL) Synthesis (SIWG)

* P1364.1 Standard for Verilog Register Transfer Level Synthesis (VLOG-Synth)

* P1481 Standard for Integrated Circuit (IC) Open Library Architecture (OLA) (IEEE1481R)

* P1499 Standard Interface for Hardware Description Models of Electronic Components (OMF)

* P1603 Standard for an Advanced Library Format (ALF) Describing Integrated Circuit (IC) Technology, Cells, and Blocks (ALF)

* P1647 Standard for the Functional Verification Language 'e' (eWG)

* P1666 Standard SystemC Language Reference Manual [cosponsored with IEEE-SA CAG]

* P1685 SPIRIT XML Standard for IP Description (IEEE-1685)

* P1735 (Study Group)

* SystemVerilog Working Group
  
* P1800 SystemVerilog: Unified Hardware Design, Specification and Verification Language (SV-IEEE1800) [cosponsored with IEEE-SA CAG]
  
* P1364 Standard for Verilog Hardware Description Language (IEEEVerilog)

* IEEE 1801 Standard for the Design and Verification of Low Power Integrated Circuits, the Unified Power Format

* IEEE 1850 Standard for PSL: Property Specification Language (cosponsored with IEEE-SA CAG)



參考文獻
設計規則檢查（英語：Design rule checking, DRC）是電子設計自動化的一個重要組成部分，它決定了指定積體電路晶片的物理版圖是否滿足推薦的參數要求，這個要求即設計規則。



設計規則

設計規則是一系列由半導體製造廠商提供的參數，確保設計者能夠畫出正確的光罩板。



設計規則軟體

設計規則檢查的目的是生產出高良率和高穩定性的產品。如果違反了設計規則，會對設計的功能造成影響。

一般在運行設計規則檢查時，會輸入由版圖導出的 GDSII 格式文件。由軟體並經過一系列設計規則的技術文件進行處理，產生違反規則的報告。設計者對這些違反規則的數據進行確認。

軟體在定義設計規則的時候，通常會使用一種計算機語言來描述如何對設計規則進行操作。比如 Mentor Graphics 使用 Standard Verification Rule Format (SVRF)。



商業化軟體

電子設計自動化（EDA）廠商提供商業化的軟體，主要由


* _Calibre_ by Mentor Graphics

* _Hercules_ and _IC Validator_ by Synopsys

* _Diva_, _Dracula_, _Assura_ and _PVS_ by Cadence Design Systems



參考文獻


* _Electronic Design Automation For Integrated Circuits Handbook_, by Lavagno, Martin, and Scheffer, ISBN 0-8493-3096-3 A survey of the field, from which part of the above summary were derived, with permission.



相關條目


* 積體電路版圖
設賞伽（孟加拉語：শশাঙ্ক，羅馬化：_Śaśāṃka_）首次將孟加拉地區統一為一個獨立的實體，是為高達王國。其統治時期為公元 7 世紀。一些歷史學家認為是 590 年至 625 年。他是戒日王及拘摩羅・跋濕迦羅跋摩的競爭對手。王國首都為羯羅拿蘇伐剌那，位於今日孟加拉西部的穆爾斯希達巴德。而孟加拉曆法也常常歸功於他，因為該曆法的起始時間便在其統治時期內。

如今，關於其生平信息有幾個主要來源。來自其附庸國的銅板，來自於敵對國家戒日王朝及穆克里王朝的銅板，宮廷詩人波那的記述，中國僧人玄奘的記載，以及設賞伽統治時期的貨幣。



生平

設賞伽為高達王國君主，但其統治區域不僅限於高達地區。王國疆域自文伽至布巴內什瓦爾，東側與迦摩縷波接壤。在設賞伽之前，孟加拉分為三個區域，分別是孟加、三摩呾吒以及高達。後笈多王朝統治者 Mahasenagupta 在此維繫著微弱的統治，設賞伽為其封臣之一。 Mahasenagupta 死後，設賞伽將後笈多王朝及其他一些名門望族逐出此地，以羯羅拿蘇伐剌那為都建立了高達王國。

一份 12 世紀的文書稱設賞伽摧毀了孟加拉地區的佛塔，對佛教十分殘暴。他還砍掉了摩訶菩提寺中佛曾悟道的菩提樹。

Ramesh Chandra Majumdar 宣稱該記述令人懷疑，因為文書書寫於這些事情的五個世紀之後，並認為把此書中的講述直接當做歷史並不妥當。Radhagovinda Basak 則認為沒有理由相信一個 12 世紀的佛教徒會對設賞伽抱有不適感，故其很可能會對 7 世紀的事件忠實描述。

設賞伽及其盟國曾與戒日王爆發過一次重要戰爭。戰爭結果無法確信，因為設賞伽得以保全領土。曷利沙伐彈那兄長曷羅闍伐彈那在此戰中遇害。雖無確切證據，但可能是設賞伽將其殺死。關於此事唯一的來源便是波那的《戒日王傳》，其中所述這幾人都沒有死亡。

戒日王即位後，頻頻對高達王國發動攻擊。設賞伽死後，其子 Manava 即位，但在八個月後就被推翻。高達王國也被戒日王朝和迦摩縷波瓜分。



參考資料

腳註

書籍


* R. C. Majumdar, _History of Bengal_, Dacca, 1943, pp 58–68

* Sudhir R Das, _Rajbadidanga_, Calcutta, 1962

* P. K. Bhattacharyya, _Two Interesting Coins of Shashanka_, Journal of the Royal Asiatic Society of Great Britain & Ireland, London, 2, 1979



外部連結


* Shashanka（頁面存檔備份，存於網際網路檔案館） from Banglapedia
設里河，位於中國雲南省東南部，是西江南盤江段右岸支流，上游又稱鳳尾河，發源於丘北縣東北部溫瀏鄉以西的山丘，向北流經師宗縣東南部的高良壯族苗族瑤族鄉，於高良鄉北部南盤江大橋下游匯入南盤江。全長 50.9 公里，河道比降 10.8‰，落差 700 米，流域面積 348.3 平方公里。水力資源理論蘊藏量 1.88 萬千瓦。
訪仙鎮，是中華人民共和國江蘇省鎮江市丹陽市下轄的一個鄉鎮級行政單位，位於丹陽東部，東接武進西夏墅，南接運河鎮，西接荊陵，北接新橋，因八仙過海訪仙之傳說而得名。



歷史



行政區劃

訪仙鎮下轄以下地區：

永興路社區、​訪仙橋社區、​楊城村、​池塘村、​草塘村、​竇莊村、​仁里村、​蕭家村、​獨山村、​紅光村、​雙茆村、​訪仙村和永豐村。
本列表是 1949 年以來赴中華人民共和國訪問的中華民國各政黨領袖列表。



中國國民黨



親民黨



新黨



參見


* 國共關係

* 國共合作

* 中國歷史

* 台灣政治

* 海峽兩岸關係

* 泛藍

* 中國國民黨歷史

* 親民黨歷史

* 新黨歷史

* 九二共識

* 台灣統獨議題
訪問中華人民共和國的各國國家元首及最高領導人列表收錄中華人民共和國 1949 年 10 月 1 日成立以後，各國國家元首來華所進行的外交訪問。

部分國家的實際統治者既不是國家元首，也不是政府首腦，例如在一些社會主義國家中，最高領導人可以無任何政府職務，但仍以政黨領袖（如總書記或第一書記）的身份掌握實際領導權。這些領導人亦掌握著國家的對外關係，故仍收錄至下表。



20 世紀 50 年代



20 世紀 60 年代



20 世紀 70 年代



20 世紀 80 年代



20 世紀 90 年代



21 世紀 00 年代

2000 年

2001 年

2002 年

2003 年

2004 年

2005 年

2006 年

2007 年

2008 年

2009 年



21 世紀 10 年代

2010 年

2011 年

2012 年

2013 年

2014 年

2015 年

2016 年

2017 年

2018 年

2019 年



21 世紀 20 年代

2020 年

2021 年

2022 年

2023 年

 



注釋



參考文獻



參見


* 周恩來出訪列表、朱鎔基外交訪問列表、溫家寶外交訪問列表、李克強外交訪問列表，李強外交訪問列表

* 江澤民外事訪問列表、胡錦濤外事訪問列表、習近平外事訪問列表

* 中華人民共和國外交史

Template:NavboxV2
訪問中華人民共和國的各國政府首腦列表收錄中華人民共和國 1949 年 10 月 1 日成立以後，各國政府首腦來華所進行的外交訪問。

部分國家的國家元首和政府首腦為同一職務，在總統制政治體制下總統同時是國家元首和政府首腦（例如美國），也有個別國家的國家元首和政府首腦為同一人兼任（例如汶萊、1964-2022 年間的沙烏地阿拉伯以及 1976-2019 年間的古巴），而這些領導人一般以國家元首身份受邀外訪，故這些領導人的訪華活動在下表中不再贅述。



20 世紀 50 年代



20 世紀 60 年代



20 世紀 70 年代



20 世紀 80 年代



20 世紀 90 年代



21 世紀 00 年代

2000 年

2001 年

2002 年

2003 年

2004 年

2005 年

2006 年

2007 年

2008 年

2009 年



21 世紀 10 年代

2010 年

2011 年

2012 年

2013 年

2014 年

2015 年

2016 年

2017 年

2018 年

2019 年



21 世紀 20 年代

2020 年

2022 年

2023 年



注釋



參考文獻



參見


* 周恩來出訪列表、朱鎔基外交訪問列表、溫家寶外交訪問列表

* 江澤民外事訪問列表、胡錦濤外事訪問列表

* 習近平外事訪問列表

* 李克強外交訪問列表

* 中華人民共和國外交史
存取權杖（Access Token）是 Windows 作業系統用於描述行程或執行緒安全上下文的一種物件。系統使用存取權杖來辨識擁有行程的使用者，以及執行緒試圖執行系統任務時是否具有所需的特權。 



內容


* 使用者帳戶的安全識別碼 (SID)

* 使用者帳戶所屬的使用者群的 SIDs

* 一個 logon SID，標識當前登入對談

* 使用者或使用者群的特權清單

* 所有者的 SID

* 基本群的 SID

* 當使用者建立可安全物件（securable object）且沒有給出安全描述符時，系統使用的預設的自主存取控制列表（DACL）

* 存取權杖資源

* 是否為 primary 或 impersonation token

* 限制性 SIDs 的可選列表

* 當前 impersonation 級別

* 其他統計



參考文獻
《證之於：愛》（希伯來語：עיין ערך: אהבה‎）是以色列作家大衛・格羅斯曼的一部小說，於 1986 年出版。這也是格羅斯曼在美國出版的第一部小說。埃德蒙・懷特在《紐約時報書評》中將該書與《百年孤獨》、《鐵皮鼓》相比，將其稱為「這種小規模而令人敬畏的經典的傑出繼承人」。它被譯成 20 多種語言，並被科里・費希爾改編成舞台劇。

小說分四部分，第一部分「莫米克」講 9 歲兒童莫米克發現周期的大人無法從猶太人大屠殺的噩夢中解脫，立志從家中引出那些「納粹野獸」。第二部分「布魯諾」中，莫米克已成為 39 歲的以色列作家，這一部分本身也是莫米克寫下的一個故事。莫米克認為「愛征服不了什麼」，最終從妻子和情人那裡解脫，在一間小屋中孤獨創作。布魯諾是真實存在過的猶太作家，他在二戰中被納粹槍殺。莫米克尋找布魯諾遺失的手稿《彌賽亞》，在他的想像中，布魯諾復活並變成一條魚，與他融合在一起。第三部分「沃瑟曼」敘述莫米克的舅舅沃瑟曼在納粹集中營中，毒氣和槍擊都無法令他死亡。德國軍官尼格爾讓他講故事以換得死亡的機會，最後被沃瑟曼的故事感染。第四部分「卡齊克生平之百科全書」充滿了碎片化敘述，講述了卡齊克的人生，對前三章的內容加以補充。
證書頒發機構安全理事會（The Certificate Authority Security Council，縮寫 CASC）也稱證書頒發機構理事會，是由多個行業供應商倡導團體創建的進行研究、促進網際網路安全標準和教育公眾對待網際網路安全問題的組織。



歷史

該組織由最大的七家數字證書頒發機構、SSL 證書頒發者成立於 2013 年 2 月，它們是：科摩多集團（Comodo）、賽門鐵克（Symantec）、趨勢科技（Trend Micro）、DigiCert、Entrust、GlobalSign 和 GoDaddy。



目標

CASC 支持 CA / 瀏覽器論壇和其他標準制定機構的成果。它們支持改進安全套接字層（SSL）和數字證書頒發機構（CA）運作的增強開發。

根據 Comodo CTO 及理事會成員 Robin Alden，CASC 將作為所有 CA 的統一戰線：「雖然不是一個標準制定組織，我們致力於提供有關 SSL 的最佳實踐和用法的教育、研究和宣傳來補充標準制定組織。



會員要求

CASC 的會員要求為滿足其信譽、操作和安全性要求的 SSL 證書頒發機構。會員必須接受年度審計，並遵守行業標準，例如 CA / 瀏覽器論壇的基線要求和網絡安全指南。



行業倡導

該組織協作創建和定義各項舉措，以提高對政策及其對網際網路基礎設施影響的理解。

證書撤銷和 OCSP 裝訂

該組織的焦點之一是促進對證書撤銷檢查重要性以及 OCSP 裝訂好處的理解。該協議旨在確保 Web 用戶在訪問 SSL 證書已被撤銷或過期的網站時了解這點。

使用數字代碼簽名保護軟體分發

該組織還致力於通過數字代碼簽名實現安全的軟體分發。代碼簽名證書有助用戶識別軟體代碼來自真實的有信譽的發布者，並在確保代碼接收未被篡改方面發揮關鍵作用。
證券交易所宮（Palácio da Bolsa）是葡萄牙波多的一座歷史建築，由該市的商會建於 19 世紀，新古典主義建築。它座落在波多歷史中心區的恩里克王子廣場，毗鄰聖方濟各堂，為世界遺產項目的一部分。



歷史

1832 年，一場大火燒毀聖方濟各修道院的迴廊。1841 年，瑪麗二世將其廢墟捐贈給商會。1842 年開始建造證券交易所宮。宮殿的大部分在 1850 年完成，華麗的室內裝修直到 1910 年才完成，涉及到幾個不同的藝術家。



建築

中央庭院覆蓋著巨大的八角形金屬穹頂，穹頂下部裝飾著葡萄牙以及在 19 世紀與葡萄牙有商業關係的國家的國徽。庭院後面有一華麗的樓梯，建於 1868 年。由安東尼奧・拉馬略在天花板上繪製壁畫。

宮殿的亮點是阿拉伯房間，由貢薩爾維斯 é 索薩（Gonçalves e Sousa）建於 1862 年和 1880 年之間。房間裝飾為 19 世紀時髦的摩爾復興風格，用於接待訪問波多的貴賓。



參考


* Palácio da Bolsa official website（頁面存檔備份，存於網際網路檔案館）
《證券日報》是由經濟日報報業集團主管、主辦，《證券日報》社出版的報紙。



歷史

該報於 2001 年 1 月 8 日創立，獲中國證監會批准承繼《經濟日報》的證券市場信息披露資格，並先後獲得了中國銀監會、中國保監會及北京、上海、天津、重慶四大產權交易所的信息披露資格授權。

2018 年，《證券日報》被中華人民共和國國家新聞出版廣電總局新聞報刊司評為 2017 年全國「百強報刊」。2020 年，《證券日報》獲准繼續作為上市公司信息披露的指定刊物之一。



爭議

該報下屬企業證券日報傳媒股份有限公司（新三板除牌前：832051，簡稱：證券傳媒）曾一度掌控《證券日報》的發行、廣告、網絡運營等全部經營性業務。成立之初，該公司名義上由《證券時報》社實際控制，但「明天系」下屬的多個子公司持有該公司約 36% 的股權，導致該公司實際上已由肖建華實際控制，而《證券時報》從經營到內容也受到「明天系」的影響：該報曾多次刊登「明天系」對立公司的負面消息，並設置免於負面報導的「白名單」，其中多為「明天系」關聯公司，例如在監管當局對當時受「明天系」實際控制的恆泰證券予以批評時，《證券時報》曾反向刊登對該證券公司的正面稿件。2017 年 1 月 4 日，證券傳媒宣布停牌。1 月 25 日，《證券日報》社收回了該公司的信息披露代理業務授權。2 月，因嚴重違反中國共產黨黨紀，《證券日報》社前社長謝鎮江被撤職、開除黨籍並接受調查。7 月 3 日，證券傳媒通過不按期披露年報的方式自全國中小企業股份轉讓系統摘牌，公告以 1.59 億元人民幣回購 16.94% 的股份並註銷，此舉被認為是清理《證券時報》下屬公司股權行動的一部分。



參考來源



外部連結


* 證券日報網（中國資本證券網） （頁面存檔備份，存於網際網路檔案館）

* 證券傳媒網 （頁面存檔備份，存於網際網路檔案館）
資產證券化是指債權人將自己持有的住宅抵押貸款、商業抵押貸款、汽車貸款或信用卡債務等各類合同債務以證券的方式出售給第三方投資者。投資者可以以債權人的身份從持有的債務中收取本金以及利息。

自 1970 年美國的政府國民抵押協會，首次發行以抵押貸款組合為基礎資產的抵押支持證券 —— 房貸轉付證券（Mortgage Pass Through Certificate，MPT），完成首筆資產證券化交易以來，資產證券化逐漸成為一種被廣泛採用的金融創新工具而得到了迅猛發展，在此基礎上，現在又衍生出如風險證券化產品。



什麼是資產證券化

定義

 

 

 

 

 

 

 

基本結構

簡單地說，資產證券化就是發行人將資產組合轉移給一個特殊目點的載體（Special Purpose Vehicle，SPV），並藉以發行證券融資的過程。

發展歷史

早期探索


* 1992 年三亞市開發建設總公司，2 億元的地產投資券。

離岸證券化


* 1996 年 8 月，珠海高速公路有限公司，2 億美元債券。

* 1997 年 4 月，中國遠洋運輸總公司私募發行 3 億美元。1997 年 12 月，進行第二期資產證券化交易，金額為 5 億美元。

* 2000 年 3 月，中集集團的應收款出售給荷蘭銀行的資產管理公司（TAPCO），由後者發行商業票據擔保證券 (ABCP)。

* 2002 年 1 月，中國工商銀行與中國遠洋運輸總公司啟動 6 億美元的 ABS 融資項目，在此基礎上發行資產擔保證券。國內銀行首次參與境外資產證券化業務。

* 2003 年 1 月，中國信達資產管理公司，15.88 億元債權資產。

金融業嘗試


* 2000 年 9、10 月，中國建設銀行和中國工商銀行相繼獲准實行住房抵押貸款證券化試點。

* 2003 年 6 月，中國華融資產管理公司，132.5 億元債權資產。被稱為準證券化。

* 2004 年 4 月，中國工商銀行寧波市分行，26.02 億元債權資產。中國商業銀行首個資產證券化項目，第一次嘗試採用資產證券化的方式處置不良貸款。

* 2005 年 3 月，國家開發銀行和中國建設銀行獲准作為試點單位，將分別進行信貸資產證券化和住房抵押貸款證券化的試點。

* 2005 年 12 月 12-15 日，國家開發銀行發行了國內首隻 ABS--「2005 年第一期開元信貸資產支持證券」。該交易的基礎抵押資產為國家開發銀行發放的工商業貸款，共計 51 筆，本金餘額為 41.77 億元人民幣。

* 2005 年 12 月 15 日，中國建設銀行發行國內首隻 RMBS 產品 --「建元 2005-1 個人住房抵押貸款證券化信託」。該交易的基礎抵押資產池包含 15162 筆個人住房抵押貸款，本金餘額為 30.17 億元人民幣。

主要法律法規


* 《中華人民共和國信託法》，2001 年 4 月 28 日第九屆全國人民代表大會常務委員會第二十一次會議通過。

* 《信貸資產證券化試點管理辦法》，中國人民銀行、中國銀行業監督管理委員會制定，2005 年 4 月 20 日公布。

* 《信貸資產證券化試點會計處理規定》，中國財政部於 2005 年 5 月 16 日公布。

* 《金融機構信貸資產證券化試點監督管理辦法》，中國銀行業監督管理委員，2005 年 11 月 7 日公布。

* 《關於信貸資產證券化有關稅收政策問題的通知》，中國國家稅務總局，2006 年 2 月 20 日公布。

* 《關於進一步加強信貸資產證券化業務管理工作的通知》，中國銀行業監督管理委員，2008 年 2 月 4 日公布。



交易結構

市場主體

資產證券化主要市場主體包括：發起人、SPV、信用增級機構、信用評級機構、資產服務商、投資人和其他服務機構等組成。

發起人

發起人也稱原始權益人，其職能是選擇擬證券化的資產，並進行組合和重組，然後將資產組合轉移給 SPV 以融資。

SPV

是指接受發起人的資產組合，並發行以此為支持的證券的特殊實體。SPV 的原始概念來自於防火牆的風險隔離設計，它的設計主要為了達到「破產隔離」的目的。SPV 的業務範圍被嚴格地限定，所以它是一般不會破產的高信用等級實體。SPV 在資產證券化中具有特殊的地位，它是整個資產證券化過程的核心，各個參與者都將圍繞著它來展開工作。SPV 有特殊目的公司（Special Purpose Company，SPC）和特殊目的信託（Special Purpose Trust, SPT）兩種主要表現形式。

信用增級機構

是指為 SPV 發行的證券提供信用增級的機構。

信用評級機構

是指通過對資產證券化的各個環節進行評估而評定證券信用等級的機構。

主要評級機構：


* 國際評級機構：標準普爾（Standard & Poor）、穆迪（Moody）、惠譽（Fitch）、達夫菲爾普斯（D&P）

* 中國大陸評級機構：大公國際、中誠信、聯合信用、鵬元

資產服務商

是指負責按期收取證券化資產所產生的現金流，並將其轉移給 SPV 或由 SPV 指定的信託機構的實體。

投資人

是指在資本市場上購買 SPV 發行的證券的機構或個人。一般都是機構投資者。

其他服務機構


* 投資銀行：協調項目操作，發行證券等

* 受託人：由 SPV 指定的、負責對資產處置服務商收取的現金流進行管理並向投資者分配的機構。

* 承銷商：為所發行的證券進行承銷的實體。

* 會計師：會計、稅務諮詢，以及對資產組合進行盡職調查。

* 律師：法律諮詢。

交易結構


* 信託交易結構

* 股權交易結構

* 債權交易結構
《證券時報》，1993 年 8 月由深圳證券交易所與人民日報社聯合創立並試刊，總部位於深圳市，目前是人民日報社主管主辦的全國性財經證券類日報，是中國證監會、銀保監會指定披露信息的報刊。《證券時報》的出版單位為深圳證券時報社有限公司，現任社長兼總編輯是季曉磊。



參見


* 《上海證券報》：上海證券交易所創辦、新華社接辦的報刊

* 《中國證券報》：新華社主辦的報刊

* 《證券日報》：《經濟日報》社主管主辦報刊



參考文獻



外部連結


* 證券時報網（頁面存檔備份，存於網際網路檔案館）

* 證券時報電子報

* 證券時報的新浪微博
證券監督委員會可以是以下機構的稱呼：


* 中華人民共和國：中國證券監督管理委員會

* 中華民國：金融監督管理委員會證券期貨局

* 美國：美國證券交易委員會

* 馬來西亞：馬來西亞證券監督委員會
18 世紀 60 年代，約翰・海因里希・朗伯首先證明出圓周率為無理數，即不能表示成兩個整數之比。在 19 世紀，夏爾・埃爾米特給出了不需要微積分以外的預備知識的證明方法，此後又有瑪麗・卡特賴特、伊萬・尼雲以及尼古拉・布爾巴基等人給出更為簡潔的證明。另外由拉茨科維奇・米克洛什的證明方法簡化了朗伯的證明方法。這些所給出證明方法都基於反證法。

1882 年，費迪南德・馮・林德曼進一步給出圓周率不僅為無理數，而且為超越數的證明。



朗伯的證明

1761 年，朗伯通過如下所示的連分數來證明圓周率為無理數：

　
: $\tan x={\frac {x}{1-{\dfrac {x^{2}}{3-{\dfrac {x^{2}}{5-{\dfrac {x^{2}}{7-\ddots }}}}}}}}$

隨後朗伯證明了如果 _x_ 為非零有理數則該結果必為無理數。由於 tan (π/4)=1，因此有 π/4 為無理數，即 π 為無理數。



卡特賴特的證明

考慮如下積分：

　
: $I_{n}(x)=\int _{-1}^{1}(1-z^{2})^{n}\cos(xz)\mathrm {d} z$

當 _n_≥2 時，可以通過分部積分法得到遞推式：

　
: $x^{2}I_{n}(x)=2n(2n-1)I_{n-1}(x)-4n(n-1)I_{n-2}(x)$

如果定義：

　
: $J_{n}(x)=x^{2n+1}I_{n}(x)$

那麼可以得到：

　
: $J_{n}(x)=2n(2n-1)J_{n-1}(x)-4n(n-1)x^{2}J_{n-2}(x)$

另外，由 _J_0(_x_)=2sin _x_ 以及 _J_1=-4_x_ cos _x_+4sin _x_，於是對於所有自然數 _n_ 滿足：

　
: $J_{n}(x)=x^{2n+1}I_{n}(x)=n![P_{n}(x)\sin x+Q_{n}(x)\cos x]$

在這裡 _P_n(_x_) 與 _Q_n(_x_) 都是由正整數為係數以及常數且最高次數不超過 _n_ 的多項式（依賴於 _n_）。

令 _x_=π/2，如果存在正整數 _a_ 與 _b_ 滿足 π/2=_a_/_b_，於是有：

　
: ${\frac {a^{2n+1}}{n!}}\cdot I_{n}\left({\frac {\pi }{2}}\right)=P_{n}\left({\frac {\pi }{2}}\right)\cdot b^{2n+1}$

等式右邊為整數。而由於在長度為 2 的區間 [-1,1] 時，被積函數取值範圍介於 0 到 1，於是有 0<_I_n(_x_)<2，另一方面：

　
: $\lim _{n\to \infty }{\frac {a^{2n+1}}{n!}}=0$

於是對於足夠大的 _n_，會出現：

　
: $0<{\frac {a^{2n+1}\cdot I_{n}\left({\frac {\pi }{2}}\right)}{n!}}<1$

但在 0 與 1 之間不存在整數，矛盾，因此圓周率只能為無理數。



尼雲的證明

此證明用到的性質為圓周率為正弦函數最小正零點。

假設圓周率為有理數，即能表示成 π=_a_/_b_ 的形式，其中 _a_ 與 _b_ 都是整數且 _b_≠0。不失一般性，假定 _a_ 與 _b_ 都是正整數。現給出任意正整數 _n_，以及 _x_ 為實數，定義如下兩個函數：

　
: ${\begin{aligned}f(x)&={\frac {x^{n}(a-bx)^{n}}{n!}}\\F(x)&=f(x)-f''(x)+f^{(4)}(x)+\cdots +(-1)^{n}f^{(2n)}(x)\end{aligned}}$

引理一：_F_(0)+_F_(π) 是一個整數。

證明：對函數 _f_ 展開，每項 _x_k 的係數都是 _c_k/_n_! 的形式，其中 _c_k 為整數，當 _k_<_n_ 時等於 0。因此，當 _k_<_n_ 時 _f_(_k_)(0)=0 以及當 _n_≤_k_≤2_n_ 時 _f_(_k_)(0)=_c_k/_n_!，即無論何種情況 _f_(_k_)(0) 都是整數，於是 _F_(0) 也是整數。

另一方面，由於 _f_(π-_x_)=_f_(_x_)，因此對於每個自然數 _k_ 有 (-1)k_f_(_k_)(π-_x_)=_f_(_k_)(_x_)，特別地即有 (-1)k_f_(_k_)(π)=_f_(_k_)(0)，因此 _f_(_k_)(π) 為整數，_F_(π) 也是整數，從而得到 _F_(0)+_F_(π) 是一個整數。

引理二：

　
: $\int _{0}^{\pi }f(x)\sin x\mathrm {d} x=F(0)+F(\pi )$

證明：由於 _f_(2_n_+2) 為零多項式，因此有：

　
: $F''(x)+F(x)=f(x)$

根據三角函數的導數有 sin'=cos 以及 cos'=-sin，再由乘積法則得到：

　
: $[F'(x)\sin x-F\cos x]'=f(x)\sin x$

又由微積分基本定理得：

　
: $\int _{0}^{\pi }f(x)\sin x\mathrm {d} x=[F'(x)\sin x-F\cos x]{\bigg |}_{0}^{\pi }=F(0)+F(\pi )$

在這裡用到了前面所提及的圓周率的正弦函數零點性質，即 sin 0=sin π=0 以及 cos 0=-cos π=1。

結論：由於當 0<_x_<π 時有 _f_(_x_)>0 以及 sin _x_>0（在這裡是因為圓周率為正弦函數最小正零點），以及引理一與引理二說明 _F_(0)+_F_(π) 是正整數。又由於當 0≤_x_≤π 時有 0≤_x_(_a_-_bx_)≤π_a_ 以及 0≤sin _x_≤1，因此可以得到：

　
: $\int _{0}^{\pi }f(x)\sin x\mathrm {d} x\leqslant {\frac {\pi (\pi a)^{n}}{n!}}$

當 _n_ 足夠大時，該結果將會小於 1，於是有 _F_(0)+_F_(π)<1，從而出現矛盾。



參見


* 證明 e 是無理數
邏輯和諧，由麥可・達米特命名，是對可以用於給定的邏輯系統的推理規則的假定約束。

邏輯學家格哈德・根岑提議了邏輯連結詞的意義可以用把它們介入到論述中的規則給出。例如，如果你相信「天是藍的」並且還相信「草是綠的」，則你可以如下這樣介入邏輯連接詞「與」: 「天是藍的 AND 草是綠的」。Gentzen 的想法是擁有這樣的規則就是對你的詞語，至少對特定詞語的給出意義的東西。這個想法也關聯於維根斯坦的格言，在很多情況下我們可以說意義是使用。多數當代邏輯學家偏好認為介入規則和除去規則對於表達是同等重要的。在這種情況下，「與」被如下規則所特徵化:

　
:

Arthur Prior 指出了它的一個明顯的問題：為什麼不能有一個表達 (稱它為 "tonk")，它的介入規則是 OR 形式的 (從 "p" 到 "p tonk q") 而它的除去規則是 AND 形式的 (從 "p tonk q" 到 "q")? 這讓我們根本上從任何起點演繹任何東西。Prior 建議這意味著推理規則不能確定意義。Nuel Belnap 回答說，即使介入和除去規則不能建立意義，任何一對這種規則不能確定一個有意義的表達 -- 它們必須滿足特定約束，比如不允許我們在舊的詞彙表中演繹出任何新真理。這種約束就是 Dummett 所提及的。

和諧指稱的是一個證明論必須使其在介入和除去規則之間成立的特定約束，這樣它才有意義，換句話說，它的推理規則是有意義建立的。

把和諧應用於邏輯可以被當作是一種特殊情況；談論和諧不只有關推理系統才有意義，還有在人類認知中的概念系統，和程式語言中的類型系統。

這種形式的語義沒有被證實對塔斯基的真理的語義理論形成巨大的挑戰，但是很多哲學家感興趣於用維根斯坦的 "意義是使用" 的方式重建邏輯的語義，他們認為和諧是關鍵。



外部連結


* Harmony at Greg Restall's Proof and Consequence wiki



引用

Prior, Arthur. "The runabout inference ticket." _Analysis_, 21, pp38-39, 1960-61.

Belnap, Nuel D. Jr. "Tonk, Plonk, and Plink", _Analysis_, 22, pp130-134, 1961-62.
《證明過去教經》（英語：The Pragmateia），摩尼教的七部大經之一。這部經書在《儀略》中音譯為「鉢迦摩帝夜部」，音譯自敘利亞文中的希臘文借詞「πραγματεία」，意義是「專題論文」或「傳奇」。



經名考釋

有學者認為這個詞的意思是「專題論文」，但塔迪厄認為這個詞在此並沒有專題論文的意思。從亞里斯多德以降的希臘語彙中，這個詞確實表示專題論文，但對於摩尼而言，這個詞恢復了更古老的荷馬時代的含義。這個詞有可能表示的是「傳奇」（prgamatria）。



經文內容

這部經文的內容尚未發現。根據其在史料中的記載和吐魯番摩尼教文書殘片的轉述，這部經文有可能論述的是人類過去的歷史。此經在宋代明教的記述中亦被提及，稱之為《證明經》，當為《證明過去教經》的簡稱。「明教之人所念經文，及繪佛像，號曰《訖思經》、《證明經》、《太子下生經》、《父母經》、《圖經》、《文緣經》、《七時偈》、《日光偈》、《月光偈》、《平文策》、《漢讚策》、《證明讃》、《廣大懺》、《妙水佛幀》、《先意佛幀》、《夷數佛幀》、《善惡幀》、《太子幀》、《四天王幀》。已上等經佛號，即於釋經藏並無明文該載，皆是妄誕妖怪之言，多引爾時明尊之事，與道釋經文不同。至於字音又難辨認，委是狂妄之人，偽造言辭，誑愚惑衆，上僭天王太子之號。」



參見


* 摩尼

* 摩尼七經

* 摩尼教



參考文獻
證果寺，位於中國廣東省汕頭市龍湖區鷗汀街道鷗上居委，為汕頭市的一個市、縣級文物保護單位，類型為古建築，公布時間為 1994 年 10 月 6 日。

證果寺的歷史年代為明代。



參考文獻
證果寺，位於北京市石景山區八大處公園，是一座漢傳佛教寺院，為八大處第八處。



歷史

證果寺位於盧師山腰。創建於唐朝天寶八年（749 年），是北京地區歷史較久的佛教寺院之一。

一些當代文獻將證果寺與清涼寺混淆。實際上這是兩座並存的寺院。證果寺起初是清涼寺（盧師寺）僧人的棄屍之所，稱「屍陀林」，相當於塔院。唐朝天寶年間，始在此建「感應寺」。《鎮海寺舊碑記》記載：「都城一舍許，曰屍陀林秘魔崖。唐天寶間，有僧名盧，不知何許人，自江南造一舟，不施篙櫓，任所之曰：汝止吾止也。至盧溝橋桑乾河達屍陀林，見石室曰：吾居是矣。居無何，有二童子叩師，師問何來。曰：吾龍子也，聞師居是，願執薪水之役，遂為沙彌，日以鬻薪奉盧師饌供。時京師旱，三年不雨，樹枯井竭，民甚憂之。官募能致雨者，榜諸道。二沙彌詣京，立榜下曰：能致雨。榜吏徐來曰：能限雨期乎？曰：期三日。言訖委身龍潭。須臾，見大小青龍出沒雲際。榜吏以聞，至期果雨，皇情大悅，遣使詣山致祭，賜盧師號曰感應禪師，建寺曰感應。」元朝泰定年間，重修感應寺，改稱「鎮海寺」。明朝天順年間再度重修，改稱「證果寺」，沿用至今。



建築

證果寺坐北朝南，主要建築分為東路、中路、西路。中路自南向北是山門殿、天王殿、大雄寶殿（三世佛殿）。東路為方丈院。西路為秘魔崖及附屬建築。

山門左近是一方深池，周圍用青條石砌成，寬廣丈余，名為「青龍潭」。青石券頂，額刻「阿耨達流」四字梵語，意思是「能覺知一切真理」。雨季，潭水會溢出池口。

過青龍潭，沿著石板路上行一百多步，可見 20 多級青石階上的山門殿。由此即進入證果寺。證果寺中路的主要建築有：


* 山門殿：面闊三間，正脊歇山式，建在 4 米多的高台上。門額刻有明英宗御書「古剎證果寺」。階西有一株古槐，左右有兩通石碑，龜趺螭首，都是清朝道光二年立。西碑《鎮海寺舊碑記》為祁雋藻所書；東碑《中興秘魔崖證果寺十方住持緣起碑》為高僧崇理杲鑒撰文，南書房翰林程恩澤書丹。山門殿內是 21 世紀初新塑的哼哈二將立像。

* 天王殿：面闊三間，供奉四大天王。

* 大雄寶殿（三世佛殿）：供奉 21 世紀初新塑的「橫三世佛」，正中為釋迦牟尼，左為阿彌陀佛，右為藥師佛。殿前原有兩碑，一是《敕賜證果禪寺重建碑》，一是《報恩碑記》，都是禮部尚書姚夔撰文，記述明朝太監劉恆重修證果寺經過。

證果寺東路是方丈院。院內有假山、花木，環境清幽。院外是坡地，松林密布。恭親王奕訢、醇親王奕譞均在方丈院居住過，並留下許多詩作。

證果寺西路是一組園林，狹長曲折。主要建築有：


* 殿堂：位於院前，面闊三間，前出抱廈，旁邊帶耳房。

* 石門：位於殿東，是一寶瓶石門，雕有蟠龍蓮花，門邊刻有唐朝常健的詩句：「曲徑通幽處，禪房花木深」。

* 庭園：過了石門為一寬敞的庭園，園內種植翠竹，竹邊有一座名為「環中環」的青石假山。

* 秘魔崖：繼續沿曲徑北行，可到秘魔崖，為一巨岩橫空斜出，崖下乃一天然石室，崖壁間刻有「天然幽谷」、「別有洞天」等字。侍郎程恩澤好友禮部尚書貴慶晚年在此隱居。

* 招止亭：臨崖有民國二十五年（1936 年）建的「招止亭」，亭內牆上嵌一方石刻《秘魔崖招止亭記》，袁翼撰文，袁毓麟書丹。登招止亭，晨可見「高林曉日」，晚可見「盧師夕照」。

中華民國時期田樹藩所著《西山名勝記》記載：「秘魔崖風景雅潔無比，遊人每多留連。文人觀賞題壁，觸動詩情，到此更難捨去」。秘魔崖上的題壁詩過去不下百首，現存翁同龢（瓶居士）、寶竹坡以及林琴南等人的數首。翁同龢律詩一首如下：「袞袞中朝彥，何人第一流。蒼涼萬言疏，悱惻五湖舟。直諫吾終敬，長貧爾豈愁。何時霜葉下，同醉萬山秋。乙酉孟秋題竹坡詩後，瓶居士。」



參考文獻
證言可以指：


* 證人證詞

* 證言法，一種普遍使用於廣告及宣傳的手法

* 證言 (電影)，1974 年韓國電影
證通股份有限公司（英語：E-Capital Transfer Co., Ltd，簡稱證通股份），是由中國證券監督管理委員會批覆設立的一家網際網路金融集團公司，總部設在上海。

2015 年 1 月，公司由中國證券登記結算有限責任公司發起，共有 36 家公司成為股東，其中有 20 家券商、9 家基金公司、4 家期貨公司和 2 家私募。

據媒體報導，公司旨在恢復證券行業支付基礎功能，希望集結全行業的力量和資源，讓客戶資金在證券行業內部流動起來，因此公司也被媒體稱為「證券版銀聯」。



參考文獻



外部連結


* 證通股份有限公司（頁面存檔備份，存於網際網路檔案館）
訶利雞羅國是古印度東部的一個古國，具體位置有多種說法，可能位於恆河三角洲或者緬甸若開邦一帶。據唐代高僧義淨所著的《大唐西域求法高僧傳》中記載，乘船從師子洲（即今斯里蘭卡）向東北方向航行一個月即可抵達該地。
阿跌，又名訶咥為一中文姓氏。隋唐時代的敕勒部族（又稱鐵勒）中有一部族叫阿跌部，其部後代即姓阿跌。唐朝有節度使阿跌先進，後賜姓李。現代無此姓。哈薩克汗國的小玉茲中有阿達依部是指他們。



延伸閱讀

[編]

　
: 《欽定古今圖書集成・明倫彙編・氏族典・阿跌姓部》，出自陳夢雷《古今圖書集成》
訶子為漢服內衣之一，流行於中國的五代十國時期。

相傳為楊玉環發明。《事物紀源》中載：「貴妃私安祿山，指爪傷胸乳之間，遂作訶子飾之。」

按照現存的五代繪畫，如《簪花仕女圖》及王處直墓壁畫，訶子應為無帶的胸衣。



參見


* 圍件

* 肚兜

* 主腰
訶莎多（梵語：हस्त Hasta），又作象宿，是印度占星學二十七宿（納沙特拉）之一，與中國二十八宿的軫宿相對應。

訶莎多由月曜統治，守護神為太陽神蘇利耶。它的聯絡星是軫宿一（烏鴉座 γ）。

傳統上，印度人為嬰兒取名會以其出生時月亮所在的宿為依據，其名字的首字母是與這一宿對應的四個梵文字母之一。與訶莎多相應的梵文字母分別為पू（Pū）、ष（Ṣa）、ण（Ṇa）、ठ（Ṭha）。



參考文獻
訶陵（爪哇語：Karajan Kalingga），又稱闍婆，是 6 世紀時期的一個印度文化圈的王國，位於今日印度尼西亞中爪哇省的北部沿海一帶。

訶陵與古泰、達魯馬同為印度尼西亞歷史上最早的王國之一。

此國在中文史料中最早見於唐朝記載。根據義淨的說法，在 664 年，一位名叫會寧的和尚來到訶陵，滯留長達三年。在當地僧侶的協助下，會寧翻譯了許多小乘佛教的文獻。
訶額倫街道，是中華人民共和國內蒙古自治區鄂爾多斯市東勝區下轄的一個鄉鎮級行政單位。



行政區劃

訶額倫街道下轄以下地區：

伊煤社區、​賽罕社區、​昭君社區、​都蘭社區和營盤壕村。