ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
1937年抗戰軍興，隋樹森抵達四川，在重慶國民政府教育部之國立編譯館任職。隋氏通曉日文，因此翻譯了同時期許多日本漢學大作，如青木正兒的《中國文學概說》（1938）、《元人雜劇序說》（1941）、鹽谷溫的《元曲概說》（1947）…。正是為翻譯了這些日本學者有關元曲的著作之故，隋先生「逐漸對元曲研究發生了興趣 」。而且這些作品促進國人對元曲的研究起了積極作用。在1947年開始從事《全元散曲》編纂的工作。此外，他還寫了許多散文遊記，且編為《巴渝小集》出版。
1949年中華人民共和國建政後，他長期在北京出版總署圖書館和人民教育出版社從事編輯工作。這樣的工作環境也對他日後編輯《全元散曲》提供莫大助益。50年代以後，他便廣搜博覽，從各種元曲版本中選出62種明人臧懋循《元曲選》所未收錄者，編成了《元曲選外編》（戲劇），為研究元雜劇者提供了方便。
歷時17年，1964年他編輯出版了《全元散曲》（上、下冊），此書收羅詳備，校勘精審，對於研究元代散曲有重要參考價值。從1980年代以來，此書開啟了元散曲研究的一個新時代，其沾溉學林，功莫大焉。
此外，他還校訂、編輯有《陽春白雪》、《樂府新聲》、《樂府群玉》、《太平樂府》、《全元散曲簡編》等元人散曲總集，並著有《元人散曲概論》（發表於《中華文史論叢》22期，1982年2期）、《北曲小令與詞的分野》等多篇學術論文，後輯為《元人散曲論叢》。其他已成書但至1986年尚未出版的有《新校樂府群玉》、《曲論存稿》、《雍熙樂府曲文作者考》、《棗軒曲論彙稿》、《東瀛中國文藝論文譯叢》等；與他人合編的書有：《古代散文選》、《古文選讀》、《中國古典文學名著提要》、《語文學習講座叢書》等。
總括來說，隋樹森在曲學方面的貢獻可以有：
學術研究的第一部就是要先擁有資料，資料豐富對於研究才有事半功倍的效果。元曲因為不受重視，早期有作品別集問世者也少（只有4人），因此在輯佚上也是困難重重。早期學者雖有許多卓越成就，但是直到隋先生編輯、整理《全元散曲》後才是元曲（散曲）研究的一大突破。
隋樹森先生在《全元散曲簡編》〈導言〉與〈元人散曲概論〉可說一篇元散曲概論，裡邊就有敘述到對元人散曲理論與創作的狀況。他也看到一些散曲活潑的藝術性，而不是被格律束縛的呆板形式。
*〈隋樹森自傳〉收入《中國當代社會科學家（第四輯）》（北京：書目文獻出版社，1983年），頁270-278
*〈隋樹森與元曲研究〉  何貴初  東南大學學報（哲學社會科學版）5：1  頁108-110  2003年1月
*〈術業專攻嘉惠後學--隋樹森先生的元曲研究〉  王菊豔  沙洲職業工學院學報6：1    頁－  2003年6月
*〈隋樹森與元曲的校輯工作〉  何貴初  讀者良友  1985.11.01.
*〈今編總集型遼金元總集敘錄〉  劉達科  晉圖學刊2003年第3期（總76期）  頁76－78
* 中國大百科全書智慧藏「全元散曲」條，網址：http://140.128.103.1/web/Content.asp?ID=64537
+荷蘭代表團
荷蘭於2006年意大利都靈冬季奧運中總運動員人數為35位，並參與4個不同的項目。該國在該屆冬奧共收穫3枚金牌、2枚銀牌和4枚銅牌，全部來自於速度滑冰項目。
*女子個人3000米 金牌 4:02.42
*女子個人3000米 金牌 4:02.48
*男子個人5000米 銀牌 6:14.40
*男子團體賽 銅牌 3:44.53
*男子個人1000米 銅牌 1:09.52
延喜（901年8月31日~923年5月29日）是日本的年號，在昌泰之後、延長之前的901年至923年期間。這平安時代之日本天皇是醍醐天皇。
*昌泰四年七月十五（901年8月31日）： 因辛酉革命改元。
*延喜二十三年閏四月十一（923年5月29日） ：改元延長。
延喜（-{zh-cn:yán xǐ;zh-tw:ㄧㄢˊ ㄒㄧˇ}-）：亦作“ 延嬉 ”。 玉圭名。《尚書璇璣鈴》：“ 禹開龍門 ，導積石 ，玄圭出，刻曰：‘延喜玉，王受德，天賜佩。’”后用為宣揚帝王瑞應的典故。《文選·王融＜三月三日曲水詩序＞》：“昭華之珍既徙，延喜之玉攸歸。” 張銑 注：“舜時，西王母獻昭華玉；天錫禹玄珪，刻曰：‘延喜之字’。”《宋書·符瑞志下》：“延嬉，王者孝道行則至。”
**天復（901年四月至904年閏四月）：唐朝—唐昭宗之年號
**天祐（904年閏四月至907年三月）：唐朝—唐昭宗、唐哀帝之年號
**開平（907年四月至911年四月）：後梁—朱全忠之年號
**乾化（911年五月至913年正月、913二月至915年十月）：後梁—朱全忠、朱友貞之年號
**鳳曆（913年正月至二月）：後梁—朱友珪之年號
**貞明（915年十一月至921年四月）：後梁—朱友貞之年號
**龍德（921年五月至923年十月）：後梁—朱友貞之年號
**天佑（907年四月至908年）：晉—李克用之年號
**天佑（909年至923年）：晉—李存勗之年號
**同光（923年四月至926年四月）：後唐—李存勗之年號
**應天（911年八月至913年十一月）：燕—劉守光之年號
**天佑（907年四月至924年）：岐—李茂貞之年號
**天復（902年三月至904年）：吳—楊行密之年號
**天祐（904年月至919年）：吳—楊行密、楊渥之年號
**武義（919年四月至921年正月）：吳—楊隆演之年號
**順義（921年二月至927年十月）：吳—楊溥之年號
**天祐（907年五月）：吳越—錢鏐之年號
**天寳（908年正月至912年十二月）：吳越—錢鏐之年號
**寶大（924年正月至925年十二月）：吳越—錢鏐之年號
**乾亨（917年七月至925年十一月）：南漢—劉龑之年號
**天復（907年九月）：前蜀—王建之年號
**武成（908年正月至910年十二月）：前蜀—王建之年號
**永平（911年正月至915年十二月）：前蜀—王建之年號
**通正（916年正月至十二月）：前蜀—王建之年號
**天漢（917年正月至十二月）：前蜀—王建之年號
**光天或廣大（918年正月至十二月）：前蜀—王建之年號
**乾德（919年正月至924年十二月）：前蜀—王衍之年號
**中興（898年至902年）：南詔國—舜化貞之年號
**安國（903年至909年）：大長和國—鄭買嗣之年號
**始元（910年起）：大長和國—鄭仁旻之年號
**天瑞景星：大長和國—鄭仁旻之年號
**安和：大長和國—鄭仁旻之年號
**貞祐：大長和國—鄭仁旻之年號
**初曆：大長和國—鄭仁旻之年號
**孝治：大長和國—鄭仁旻之年號
**神冊（916年十二月至922年正月）：契丹—耶律阿保機之年號
**天贊（922年二月至926年二月）：契丹—耶律阿保機之年號
**同慶（912年至966年）：于闐—尉遲烏僧波之年號
**武泰（904年—905年）：後高句麗金弓裔之年號
**聖冊（905年—911年）：後高句麗—金弓裔之年號
**永德萬歲（911年—914年）：後高句麗—金弓裔之年號
**政開（914年—918年）：後高句麗—金弓裔之年號
**天授（918年—933年）：高麗太祖王建之年號
發展理論的研究對象是發展中國家的經濟和社會低增長不增長的原因及對策。
#列寧和盧森堡的外生理論（帝國主義理論），認為發展中國家的低下的發展狀態是因為工業化國家的剝削。
#自由和保守理論家認可外生理論，認為低下的發展狀態源自古老的社會經濟結構和腐敗。
#依賴理論強調發展中國家對工業化國家的依賴，并將發展中國家表面所存在的腐敗等視為依賴的后果。
category:發展經濟學
Mono是一個由Xamarin公司（先前是Novell，最早為Ximian）所主持的自由開放源碼專案。該專案的目標是創建一系列符合ECMA標準（ Ecma-334和 Ecma-335）的.NET工具，包括C#編譯器和通用語言架構。與微軟的.NET Framework（共通語言執行平臺）不同，Mono項目不僅可以運行于Windows系統上，還可以運行于Linux、FreeBSD、Unix、OS X和Solaris，甚至一些遊戲平臺，例如：Playstation 3、Wii或XBox 360。Mono的標誌是一個猴子格式的臉。
Mono現由Novell持有雙重許可，這和Qt和Mozilla Application Suite的情況相似。Mono的C#編譯器及其相關工具發布于GNU通用公共許可證（GPL）之下，其運行時庫發布于GNU寬通用公共許可證（LGPL）之下，其類庫發布于MIT許可證之下。這些均是開源協議因此Mono是一個開源軟件。
微軟開發了一個稱為通用語言架構（Shared Source Common Language Infrastructure，Shared Source CLI；即今ECMA—通用語言架構）的可用于FreeBSD，Windows和Mac OS X的.NET實現版本。微軟的共享源代碼協議并不是開源軟件協議，且可能對于社區來說也是不足夠的（它明文禁止了對軟件的商業用途）。另外，GNU也有一個.NET實現版本項目，該項目與Mono項目有著很多相同的目標。
Mono虛擬機包含一個即時編譯引擎，該引擎可用于如下處理器：x86、SPARC、PowerPC、ARM、S390（32位模式和64位模式）、x86-64、IA-64和64位模式的SPARC。該虛擬機可以將代碼編譯為本機代碼。
當Microsoft在2000年6月第一次公佈.NET Framework時，它被描述為一個以網際網路標準為基底的新的平臺。並且在12月發表了基本的共通語言架構開放標準的形式（ECMA-335），提供了無相依性實作的可能。Ximian的
米格爾·德伊卡薩在.NET的文檔于2000年10月發布時就馬上對.NET產生了興趣。在查看字節碼解釋器后，他發現對于元數據（metadata）沒有相應的說明文檔。2001年2月，德伊卡薩在.NET郵件列表中索要到了那段缺失了的關于元數據文件格式的信息，并開始了采用C#編寫一個C#編譯器的工作，作為對C#的實踐。2001年4月ECMA公布了那段缺失的文件格式，而在GUADEC（2001年4月6日－4月8日）德伊卡薩展示了他的編譯器的一些特性（那個時候他的編譯可以解釋自身）。
Ximian內部對如何創建能有效提升生產效率的工具進行了大量的討論，他們的目標是通過這些創建出來的工具讓使用者可以在更短時間內創建出更多的應用程序從而縮短開發周期和降低開發成本。經過可行性研究后，他們清楚地見到創建這樣的一項技術是可行的，于是Ximian從其它的項目抽調人員并創建了Mono的開發小組。由于缺少人力來創建整個.NET替代產品，他們在2001年7月19日的歐萊禮大會創建了Mono的開源項目。
差不多三年后，Mono于2004年7月30日發布了1.0版本。Mono逐步從一開始的重點為Linux桌面應用程式開發者平臺，到支援寛廣範圍的架構和作業系統，包含了嵌入式系統。
在2011年4月，Attachmate收購Novell後，針對Novell發布了上百位人力的解僱。在3月16號德伊卡薩在他的blog發佈在被Novell解僱後，他找到一家公司將透過Xamarin繼續支援Mono。原本的Mono團隊也被移到新的公司。Xamarin計畫維持在Mono的工作。由於在這時間點Novell仍然擁有MonoTouch和專為Android的Mono，所以計畫針對iOS和Android上重寫商業化的.NETstacks。
在這發表之後，這個專案的未來被質疑。因為，專屬 Android的MonoTouch and Mono變成跟現存Attachmate所屬的商業化商品有直接競爭，也考量了Xamarin團隊為了相同的作品而不使用之前在Novell開發的技術，證實是有困難的。無論如何，在2011年七月Novell、Attachmate的子公司及Xamarin發表了對Xamarin for Mono, MonoTouch and Mono for Android的永久性許可證，正式地帶起這個案子的管理方式。
+發行歷史（Release History）
發行日（Date）
版本（Version）
備註（Notes）
2004-06-30
C# 1.0 support
2004-09-21
C# 2.0 support
Mono's APIs are now in par with .NET 2.0. Introduces the C# 3.0 and Visual Basic 8 compilers. New Mono-specific APIs: MonoCecil, MonoCairo and MonoPosix. Gtk# 2.12 is released. The Gendarme verification tool and Mono Linker are introduced.
2009-01-13
Mono switches its JIT engine to a new internal representation that gives it a performance boost and introduces SIMD support in the MonoSimd MonoSimd namespace. Mono introduces  Full Ahead of Time compilation that allows developers to create full static applications and debuts the C# Compiler as a Service and the C# Interactive Shell （C# REPL）
This release mostly polishes all the features that shipped in 2.2 and became the foundation for the Long-Term support of Mono in SUSE Linux.
2009-12-15
The Mono runtime is now able to use LLVM as a code generation backend and this release introduces Mono co-routines, the Mono Soft Debugger and the CoreCLR security system required for Moonlight and other Web-based plugins. On the class library System.IO.Packaging, WCF client, WCF server, LINQ to SQL debut. The Interactive shell supports auto-completion and the LINQ to SQL supports multiple database backends. The xbuild build system is introduced.
2010-09-22
Defaults to .NET 4.0 profile, C# 4.0 support, new generational garbage collector, includes , WCF Routing, CodeContracts, ASP.NET 4.0, drops the 1.0 profile support; the LLVM engine tuned to support 99.9% of all generated code, runtime selectable llvm and gc; incorporates Dynamic Language Runtime, , ASP.NET MVC2, OData Client open source code from Microsoft;. Will become release 3.0
2011-02-15
C# 5.0 support, async support, Async Base Class Library Upgrade and MVC4 - Partial, no async features support.
Mono目的的版本為3.10.0（2014年10月）。這個版本提供了.NET Framework的核心API、Visual Basic .NET的支援、C#版本2.0,3.0，及4.0、LINQ to Objects、XML及SQL等。在C#編譯器的目前操作的預設模式是C# 4.0。Windows Forms 2.0也有被支援，但沒有積極地被開發，因此，它在Mono的支援不完整。Mono的目標是達成在.NET 4.0的完整功能支援，除了Windows Presentation Foundation（WPF）和Limited Windows Communication Foundation（WCF）。
在實驗性質mono的開發.NET Framework的一些遺失部份稱做Olive
Mono專案也建立了Visual Basic .NET編譯器與一個runtime的VB.NET的應用程式。它目前一直由Rolf Bjarne Kvinge進行開發。
Moonlight是一個Microsoft Silverlight的開源實作，自從Mono 1.9起即包含了這實作。在2009年1月20日釋出的Moonlight 1.0支援Silverlight 1.0 APIs。而Moonlight 2.0支援Silverlight 2.0。Moonlight 3.0則在2010年2月被發表，包含了Silverlight 3.0的支援。Moonlight最終在2012年3月29日被放棄。依據米格爾所言，兩個因素扼殺了這個專案的命運：Microsoft增加了“人為限制”...這造成了桌面程式無用武之地..."，並且在Web上的技術沒有獲得足夠的配合。
Mono組成元件包含了以下三類：
# 核心元件
# Mono/Linux/GNOME開發堆疊
# 微軟相容堆疊
''核心元件''包含了C# 編譯器，Common Language Infrastructure虛擬機器，以及核心類別程式庫。這些元件都是基於Ecma-334 and Ecma-335標準,而使得Mono能夠提供與標準相容、免費、並且是開放原始碼的CLI 虛擬機器。微軟曾經聲明這些標準都是基於Community Promise license的社群保護承諾之下。
''Mono/Linux/GNOME開發堆疊''則是提供了工具以用於開發應用軟體。這些工具使用了既有的GNOME以及自由並且開放原始碼程式庫，它們包含了針對圖形使用者介面（GUI）開發的Gtk#、可套用Gecko rendering engine的Mozilla程式庫、Unix整合程式庫（Mono.Posix）、安全性推疊、以及XML schema語言RelaxNG。Gtk# 讓Mono應用程式融入Gnome桌面環境而成為原生程式。資料庫程式庫則提供了與物件關連式資料庫連結的能力，這些資料庫包含了 db4o、Firebird、Microsoft SQL Server（MSSQL）、MySQL、Open Database Connectivity（ODBC）、Oracle、PostgreSQL、SQLite等等。在網站上可看見Mono專案一直都在持續更新維護資料庫程式庫。
''微軟相容堆疊''則是提供了一種方式來使得Windows .NET應用程式可以被移植到GNU/Linux上。這個堆疊包含了ADO.NET、ASP.NET以及Windows Forms等等。不過，由於這些元件並沒有被上述所說Ecma標準所涵蓋，因此部份元件有所謂專利恐懼與疑慮的問題。
Mono程式的執行包含一個程式碼運作引擎，它會將ECMA CIL的byte code轉譯為原生碼（Native Code），它支援了以下處理器：ARM、MIPS（只有32位元模式）、SPARC、PowerPC、S390（64位元模式）、x86、x86-64以及IA-64 64位元模式。
程式的轉譯有三種模式：
* Just-in-time (JIT)編譯：在程式執行當中將ECMA CIL的byte code轉譯為原生碼。
* Ahead-of-Time (AOT)編譯：ECMA CIL的byte code（通常在.exe檔或.dll檔中）會轉譯出原生碼並儲存在作業系統中、以及CPU架構設定檔（例如在Linux上，如果是foo.exe，就會產生foo.exe.so檔）。通常，此種模式可產生出絕大部份前種模式所產生的原生碼，部份的例外是trampolines或是控管監督相關的碼（仍舊需要JIT來執行），由此可知AOT影像檔並非可以完全獨立執行的。
* 完全靜態編譯：這個模式只支援少數平臺，它基於AOT編譯模式上，更進一步產生所有的trampoline、wrappers以及proxies，這幾樣東西是用於靜態連結出靜態檔案時所需。完全靜態編譯模式可以讓程式的執行期完全不需要用到JIT，這個做法適用於Apple iOS作業系統、Sony PlayStation 3以及微軟的XBox 360等作業系統。
從2.6版起，Mono開始支援使用LLVM來產生執行碼，而非原本自帶的方式。這對於高效能計算方面非常有用，因為在這種場合下，程式的執行效能比啟動速度來得重要。
從2.7 Preview版開始，使用者不再需要在程式編譯前的Configuration時就必須選定執行碼產生引擎，執行碼的產生可以在程式啟動時以--llvm或--nollvm的參數來指定即可，預設是以自帶的引擎為主，因為它的產生速度比較快。
當2.8版推出時，Mono runtime提供了兩套垃圾回收器：generational collector以及Boehm conservative collector。在Mono 3.1.1版之前，預設的垃圾回收器（''Boehm-Demers-Weiser Conservative Garbage Collector''），跟商業環境如Java Virtual Machine或.NET framework的垃圾回收器相比，一直有很大的限制，在某些狀況的應用軟體上會發生內存泄漏的現象，這使得Mono無法用於需要長時間執行的伺服器應用。
，一個稱之為「Simple Generational GC」（SGen-GC）的新一代垃圾回收器開始用於Mono中，在3.1.1版之後就直接變成是預設的垃圾回收器。對於Mono 2.8到3.1.0，使用者可以以傳入參數--gc=sgen來讓Mono runtime啟動時使用SGen垃圾回收器。這個新的垃圾回收器相較於傳統基於保守型掃描方式的回收器，有很多優點，它使用了generational garbage collection，從物件一開始被配置、到各個週期，所有活著的物件都會被轉移到較早代的記憶體池，這個想法是來自於因為許多物件都只是短暫使用的，因此可以被快速回收再利用，只有少數物件是長期性的存活在應用程式的整個生命期中。另外，為了改善效率，這個回收器對每個執行緒配置了個別的記憶體池，讓執行緒不需要跟別的執行緒打交道就可以自行配置記憶體區塊。對於前述所說，物件的轉移到較早代記憶體池的做法則是，在轉移之後，將所有目前指向該物件的指標都更新為新的位址。由於這樣的做法在大型物件時比較浪費記憶體，因此SGen為大型物件使用了獨自的記憶體池（Large Object Section），並且對這些物件使用mark-and-sweep演算法。
目前SGen是以比較保守的方式來對待堆疊與暫存器，並且，那些可被參考到的物件是由它們的root來負責pin的動作。未來版本的Mono將會以精確方式來掃描託管的堆疊，藉此減少那些被pin的物件。
類別庫為應用程序開發提供一套廣泛而有效的工具類。這些工具類可以用于任何.NET語言。類別庫被按命名空間進行了結構化，并被放置于稱為程序集的共享庫中。在我們談到.NET Framework時，我們多數是指這個類庫。
命名空間是一種用于將邏輯上相似的類按層次結構分組的機制。這種機制防止了命名沖突。在這種結構化采用被點號"."分隔的單詞來實現。通常最頂層的命名空間是System，例如System.IO和System.Net（完整的命名空間列表可以在 Mono文檔中找到）。當然還有別的頂層命名空間，例如Accessibility和Windows就是這樣的例子。新建的命名空間還可以以開發組織的名字開頭。
程序集是這些類庫的物理載體。它們跟Win32共享庫一樣都是dll文件，盡管不完全一樣。一些程序集的例子有：mscorlib.dll，System.dll，System.Data.dll和Accessibility.dll。命名空間經常被分拆到幾個程序集中，而一個程序集可以由幾個文件組成。
公共語言基礎（Common Language Infrastructure，CLI）是一套標準（ECMA335），公共語言運行時（Common Language Runtime）即CLR是CLI標準的實現，Mono是實現者之一。該運行時用于執行已編譯的.NET應用程序。公共語言基礎已被ECMA定義為標準ECMA-335。要運行一個.NET應用程序，你必須使用相應的參數調用運行時。
在ECMA-335的第六章詳細說明了「公共語言規范」（Common Language Specification，CLS）并定義了提供給公共語言基礎的接口，例如對于枚舉類型的隱含表示類型的協定。Mono的編譯器負責生成符合公共語言規范的映射代碼，即公共中間語言（Common Intermediate Language，CIL）。Mono的運行時將運行這類代碼。ECMA標準先前還定義了一個符合公共語言規范的程序庫作為應用框架。
在原生的.NET/Mono應用程序中，所有代碼都是托管的，也就是說，是受管于CLI式的內存管理和線程安全管理的。其它的.NET或Mono應用程序可以通過使用System.InterOpServices庫創建C#綁定來調用已存的非托管代碼。很多移植到Mono的類庫使用了CLI的這個特性，例如Gtk#。
現有大量與Mono相關的用于擴展Mono的項目，這些項目允許開發者在他們的開發環境中使用Mono。這些項目包括：
*  Cocoa#，對原生Mac OS X工具包的一系列包裝（Cocoa）。
* Gecko#，一個對在Mozilla中使用的嵌入式布局引擎的綁定（Gecko）。
* Gtk#，對使用C的GTK+庫的C#的外包。
* Tao，一個圖形及游戲庫的綁定。
Mono是透過Xamarin的雙重授權，相似於其他產品，如Qt和Mozilla application Suite。Mono's C#編譯器與工具是依照GNU Leasser General Public License（LGPLv2 only）來釋出（開始於Mono 2.0，Mono C#的編譯器源碼在MIT X11 License仍然是有效的），屬於GNU Leasser General Public License（LGPLv2 only）的runtime函式庫及屬於MIT X11 License的類別函式庫。
有完全免費的軟體與開源授權，因此Mono是免費的開源軟體。
C#編譯器的授權改變是從GPL到MIT X11授權，允許編譯器的程式碼在少許的GPL限制例子中被重複使用，如例：
* Mono互動介面的Shell
* Mono可崁入的的C#編譯器
* Mono的C# 4.0的動態綁定的實作
* MonoDevelop的內建parser和AST圖
人們對于微軟能否采用專利摧毀Mono項目進行了大量的爭論。其實，專利問題不在于已被提交到ECMA組織的核心技術或Unix/Gnome的專有部分，而在于由微軟基于.NET Framework創建的技術，例如ASP.NET、ADO.NET和Windows Forms。這些技術在Mono中至今還沒有被完全地實現，事實上，在開發Mono應用程序時也不需要用到，然而，在開發基于Windows平臺的程序時卻是不可缺少的。Mono團隊將目標定為將這些技術納入到項目中，并制訂了一個三步驟策略來處理它們：
# 采用其它實現方式來實現從而繞過專利問題
# 把包含專利的代碼清除出項目
# 找出“現有技術（prior art）”從而將專利變為非專利
顯然，第一個選項并不總是可行的。對于一些問題，例如那些與協同工作和交互相關的，可能就只有一種解決方案。由于這個相同的原因，盡管第二個選項總是可行的，它卻可能導致一個開發出來的產品并不能作為.NET的替代品。第三個選項則是昂貴的，甚至不可能的，這需要一定程度的運氣。
F-Spot photo management program
Muine music player
以下是使用Mono API和C#編寫的部分程序：
* Banshee是一個用于GNOME的音樂管理和播放軟件。
* Beagle是一個桌面搜索軟件。
* Blam!是一個RSS 新聞聚集器，特別適合于閱讀如 Planet Gnome這樣的 行星資訊。
*  Bless是一個十六進制編輯器。
*  CDCollect是一個CD 編目應用程序。
* Diva是一個用于GNOME的視頻編輯器。
* F-Spot是有個由Novell開發的圖片便捷管理程序。
*  Fiddler是一個強大的Web 抓包工具，與Charles齊名。
*  Galaxium是一個MSN 即時通訊軟件客戶端。
*  GLyrics是一個歌詞搜索器。
*  Gpremacy是以Mono/Gtk# 實作的圖版遊戲Supremacy
* iFolder 3（by Novell）讓你使用點對點協議（peer-to-peer）或Novell的群集服務器產品與其它計算機和用戶共享文件。
*  imeem一個社交網路軟體。Mac版本的用戶端和伺服器使用Mono運行，而Windows版本的用戶端仰賴於Microsoft.Net
* KeePass是一款開源的密碼管理器。
*  MindFire是一個用于輔助速讀（speed reading）的跨平臺電子書閱讀器
* MonoDevelop是一個用于創建Mono應用程序的集成開發環境。該軟件原先是SharpDevelop向Gtk#的一個移植，而現今該軟件已獨立開發。該軟件在Windows上有測試版的可用版本。
* Pinta是一個簡單的位圖形編輯軟件。
2011年4月，Novell公司被公司所併購，而原先在Novell公司裡的Mono開發者被大量資遣。2011年5月，原先Mono的開發者另外成立一家Xamarin的公司，仿Mono發行他們的Xamarin跨平臺.NET套件，在Windows下能與整合到Microsoft Visual Studio的IDE之中。2011年7月，公司旗下的Novell公司批準了Mono相關專案到Xamarin的授權。
# For more information about the licensing, see  Mono FAQ: Licensing
* ''This article incorporates text from Mono's  homepage，which is in the GNU Free Documentation License.''
*  GotMono?, Mono community homepage
*  Mono Live，LiveCD website
*  Running .NET on Linux or Windows
*  Ximian Forum
*  Slashdot: Fedora Core 5 includes Mono
*  Novell, Inc.
*  Mono France，A French Mono WebSite
*  MonoBrasil，A Brazilian Mono WebSite
*  MonoColombia，A Colombian Mono WebSite
*  MonoGermany，A German Mono WebSite
*  MonoHispano，A Spanish Mono community
*  Japanese Mono Mono web site translation to Japanese.
*  MonoPoland，Polish Mono Web site.
*  Mono Netherlands，Dutch Mono site.
在謂詞邏輯中，存在量化是對論域內至少一個成員的性質或關系的論斷。在符號邏輯中，存在量詞?是用來指示存在量化的符號。
它相對于聲稱某些謂詞對所有事物都為真的全稱量化。
要表達“某些自然數自乘得25”這個命題，一種方式是：
: ，或，或，或，以此類推。
因為使用了“或”一詞，這看上去是邏輯析取。然而形式邏輯中的析取概念卻不能表達出“以此類推”一詞的含義，因此該命題并不能在形式邏輯中解讀。
因此將該命題改述為
:存在自然數，。
:對于某些自然數，。
這便是一個使用存在量化的單一命題。該命題比原命題更精確，因為“以此類推”一詞想表示的是要包括所有的自然數、且除此之外不包括任何其它內容，但語言中并沒有明確地陳述這點，這便是“以此類推”一詞不能被形式地解釋的根本原因。
這個新命題為真，因為5是自然數，而當把5代入時，可以得到。盡管''大多數''自然數都不滿足，但存在至少一個解足以舉證存在命題為真。反之，“存在偶數，”為假，因為一個偶數解也不存在。
然而，“存在奇數，”為真，因為5是奇數。這演示了論域的重要性——確定變量n的取值范圍。限制存在量化的論域要使用邏輯合取。例如“存在奇數，”邏輯等價于“存在自然數，是奇數且”。這里的“且”構造出了邏輯合取。
在符號邏輯中，使用存在量詞“?”（反寫的無襯線體的字母"E"）來表示存在量化。所以如果是謂詞“”，而則是自然數集，那么有
表示的是真命題“存在自然數，”。
類似的，如果是謂詞“是偶數”，那么有
表示的是假命題“存在自然數，是偶數且”。
在謂詞邏輯中，全稱命題是對論域內所有成員的性質或關系的論斷結果的陳述。在符號邏輯中，全稱量詞?是用來指示全稱量化的符號。
與它相對的，表示至少一個事物為真的量詞為存在量詞。
要表達“2乘以所有自然數都等于該自然數和自己相加的和”，一種方式的是：
: ，且，且，且，以此類推。
因為使用了“且”一詞，這看上去是邏輯合取。然而形式邏輯中的合取概念卻不能表達出“以此類推”一詞的含義。
: 對于任意自然數，。
這便是一個使用全稱量化的單一命題。該命題比原命題更精確，因為“以此類推”一詞想表示的是要包括所有的自然數、且除此之外不包括任何其它內容，但語言中并沒有明確地陳述這點，這便是“以此類推”一詞不能被形式地解釋的根本原因。
這個新命題為真，因為任何自然數都使命題成立。反之，命題“對任何自然數，都有則為假，因為當取1時，便不成立。盡管''大多數''自然數都滿足，但存在至少一個反例足以舉證全稱命題為假。
然而，“對任何合數，都有”是真命題，因為所有的反例均不是合數。這說明了論域的重要性——確定變量的取值范圍。
限制存在量化的論域要使用邏輯條件。例如“對任何合數，都有”邏輯等價于“對任何自然數，如果為合數，則”。這里“如果……則”的句子構造出了邏輯條件。
在符號邏輯中，使用全稱量詞“?”（倒置的無襯線體字母“A”）來表示全稱量化。所以如果是謂詞“”，而則是自然數集，那么有
表示的是假命題“對任何自然數，都有”。
類似地，若命題陳述的是“為合數”，那么有
表示的是真命題“對任何合數，都有”。
圓括號也有時用來表示全稱量化。
注意到一個量化的命題函數的結果是一個命題；因此像命題一樣，量化的函數也可被否定。數學家和邏輯學家用來表示否定的符號是：。
舉例來說，定義為命題函數“已婚”；則對所有活人組成的論域，考慮全稱量化“對給定的任何活人，此人都已婚”：
顯然，這個命題為假，于是我們可以切實地說：“并非都是這樣的情況，即：對給定的任何活人，此人都已婚”，或以符號記作：
花點時間來考慮，準確地說，對全稱量詞進行否定就意味：如果并非對論域中的''每一個''元素來說命題均為真的話，則必存在至少一個元素使命題為假。這就是說，對命題函數的否定是邏輯等價于“存在著某個沒有結婚的活人”的，或記作：
一般地，則有，對一個命題函數的全稱量化的否定是該命題函數的否定的一個存在量化；可用符號表示為：
推理規則是指由假設到結論的過程中證明一個邏輯步驟成立的規則。有若干推理規則利用了全稱量詞。
普遍例證（Universal instantiation）推定出的結論是這樣的：若已知命題函數普遍成立，則其必對論域中任何隨意給出的元素均成立。將此符號化地表示為
其中是論域中可完全隨意確定的某個元素。
普遍概括（Universal generalization）推定出的結論是這樣的：若命題函數對論域中任何隨意給出的元素均成立，則其普遍成立。以符號表示為：對某個可隨意確定的c，
特別重要的是必須注意到，必須是完全隨意確定的；否則便不能遵循該邏輯：若不是隨意確定的、而是論域中的一個特定元素，則僅說明蘊意著該命題函數的某個存在量化可成立。
*絕對的普遍性——假如全稱量化的範圍為絕對一切事物
可及關系是在可能世界之間的二元關系 ''R''，它在模態邏輯的形式化/理論方面非常有用，它同樣也用于知識論、形而上學和價值理論。
為了真正理解什么是''可及關系''，需要一些對模態邏輯基礎的背景解說。出于簡化的目的，我們將限制于命題模態邏輯。命題模態邏輯只是帶有兩個關鍵一元算子的傳統句子邏輯:  意味著 "...是必然的" 和  表示 "...是可能的"。這些算子可以附加到一個單獨的句子上來形成一個新的復合句子。對于任何(簡單的或復合的)句子 A，我們可以由此形成復合句子  和 。
現在，使用 ''p''、''q'' ''等''來表示我們語言的語句，''x''、''y'' ''等''來表示對象，而 P、Q ''等''來表示謂詞，我們可以寫出幾乎所有模態邏輯的六個基本公理:
多數其他''公理''關注有爭議而沒有達成廣泛一致的模態算子。下面是其中最經常使用和討論的:
這里的 "(T)"、"(4)"、"(E)" 和 "(B)" 表示這些公理(或原理)的傳統名字。
依據模態邏輯的傳統可能世界語義，由模態算子形成的復合句子要用量化于可能世界上的方式來解釋，訴諸于可及(accessibility)關系。可及關系現在可以定義為(無法解釋的)關系 ，它成立于可能世界
和  之間，只在可以從  到達  的情況下。
設 ''w*'' 指示真實世界，我們還要服從可能世界語義的兩個基礎變換模式:
*(TS)必然的 p 意味著 p 在 R(w*,w) 的''所有''可能世界 ''w'' 中是真的。可能的 p 意味著 p 在 R(w*,w) 的''某些''可能世界 ''w'' 中是真的。
要在技術/形式層面看到可及關系的能力和用途，注意下列聯系成立:
*公理 (T) 成立，如果可及關系 ''R'' 是自反的。如果每個世界可以訪問到自身，則 ''A'' 在其中為真的任何世界都是從它可到達 ''A'' 在其中為真的一個可及世界的一個世界。
*公理 (4) 成立，如果 ''R'' 是傳遞的。 在一個世界 ''w'' 中為真，只在從 ''w'' 可到達的所有世界  中 ''A'' 都為真的情況下。所以， 在一個世界 ''w'' 中為真，只在從 ''w'' 可到達的所有世界  可到達的所有世界  中 ''A'' 都是真的情況下。
*公理(5) 成立，如果 ''R'' 是歐幾里得的。 在一個世界 ''w'' 為真，當且僅當 ''A'' 在從 ''w'' 可到達的某個世界為真。 在一個世界 ''w'' 為真，當且僅當對于從 ''w'' 可以達到的所有世界 ，有從  可到達的一個世界 ，''A'' 在其中為真。如果 ''A'' 在從 ''w'' 可到達的一個世界  中為真，那么根據歐幾里得性質從 ''w'' 可到達的所有其他世界都能達到這個世界 ，所以對于從 ''w'' 可到達的所有世界 ，都有 ''A'' 在其中為真的一個可到達的世界 ，這保證了這個公理為真理。
*公理 (B) 成立，如果 ''R'' 是對稱的。如果 ''A'' 在一個世界 ''w'' 中為真，則在從 ''w'' 可到達的所有世界  中，有從  可到達的一個世界，''A'' 在中為真。對稱性提供從  可到達 ''w''，這保證了這個公理為真理。
按大衛·劉易斯所說，結果是"舊爭論讓位于新爭論。不再提問莫名其妙的問題，是否現實的東西必然是可能的，我們可以簡單的提問: 關系 ''R'' 是對稱的嗎? "(劉易斯，1996)。
*Fitelson, Brandon. ''Notes on "Accessibility" and Modality''. 2003.
*Brown, Curtis. ''Propositional Modal Logic: A Few First Steps''. 2002.
*Kripke, Saul. ''Naming and Necessity''. Oxford. 1980.
*Lewis, D.K.. ''Counterpart Theory and Quantified Modal Logic.'' Journal of Philosophy. 1968
荃錦公路位於香港新界荃灣區荃灣和元朗區石崗之間，為一南北走向道路。公路全長11.5公里，北面與錦田公路和林錦公路相接，南面於荃錦交匯處與象鼻山路、大河道北和德士古道交匯，中途跨越荃錦坳、石崗軍營和大帽山郊野公園等人跡罕至的地方。荃錦公路以狹窄多彎聞名，車流量一直偏低，但其建成後遂成為現時往來石崗和荃灣最直接的公路。現時總長度超過10米的車輛都不可以進入荃錦公路；新界的士可行走全段荃錦公路，惟只有大帽山郊野公園範圍及以北路段可上落客，以南路段不準停車。
荃錦公路接大帽山道路口。
荃錦公路原是駐港英軍的軍用道路，在1950年，駐港英軍為方便運送軍用車輛和物資出入新界及進行防禦工事，請來同在肯亞和馬來半島修築道路的英國皇家工程隊來港發展軍事建築工程，建造一條往返荃灣和錦田的山麓公路，當時指揮工程者，為加溫第準將。荃錦公路是當年少數採用機械建築的混凝土道路，由於當年香港建築道路主要是以人工進行，因此成為荃錦公路一大特色。公路在當時造價約港幣600萬元。後來英軍又在1951年9月起在荃錦公路沿途闢建石崗軍營。
在1953年6月29日，荃錦公路正式通車，起初只準軍事車輛和緊急車輛使用全段公路，其他車輛只能行經川龍以南一段，當局更不時派出駐港英軍防止未有許可證之民用車輛途經有關路段。1955年，香港政府就荃錦公路開放予民用車輛使用而跟駐港英軍磋商，商議多次後，軍方同意移交荃錦公路予香港政府管理，並於1961年5月25日開放荃錦公路給公眾使用，但公路直至1977年11月25日獲才正式命名。荃錦公路開放為公眾道路後，九龍巴士決定試辦取道荃錦公路的第一代26線，往返佐敦道碼頭及元朗市中心，比取道青山公路的第一代16線省時。
荃錦公路的荃灣終點原本在青山公路－荃灣段近西樓角路荃錦中心，但由於香港地鐵（現稱港鐵）興建荃灣綫及車廠，荃錦公路自荃錦交匯處至青山公路的一段在1981年4月1日上午11時起被禁止行車，與青山公路原有的路口的一小段則只準作通往美環街之用，而荃錦公路的終點則縮短至荃錦交匯處至今。
荃錦公路的英文名稱是「Route Twisk」，異於香港其他道路慣用的音譯「Tsuen Kam Road」。此路的英語名稱於《香港年報》中的官方解釋指出，當局為了令連接荃灣（TW）及石崗（SK）的荃錦公路能以英文讀出，故在兩簡稱中間加入「i」。亦有指當年有關部門誤將TW/SK中的斜綫當成字母I，變成Route Twisk，自此亦無修正，也有文章指出Twisk中的i字是interlink的意思。
荃錦公路是一條全長約11.5公里，呈南北走向的道路。公路始於荃灣石圍角的荃錦交匯處，沿朗逸峰、寶雲匯、曹公潭和川龍拾級而上，然後到達海拔為490米之大帽山郊野公園林務站；公路然後沿著甲龍、石崗軍營和雷公田村拾級而下，並以林錦公路和錦田公路交界處為終點。
公路現時隸屬荃灣區和元朗區兩個行政分區，兩者之間以大帽山道和麥理浩徑為界。以下的道路交接點列表中，所有不具命名的小路並不在此列。
荃錦交匯處：20px 9號幹線往象鼻山路、往德士古道北、往大河道北、往蕙荃路
迴旋處。9號幹線A方向（順時針）往青山公路－荃灣段及屯門公路，B方向（逆時針）往城門隧道。
荃灣區和元朗區交界，該道路以南為荃灣區，以北為元朗區。
寶域路、畢斯路、偉順路
各支路屬石崗軍營範圍，未獲授權不得駛進，違者可被檢控。
錦田公路、林錦公路
以下為2019年荃錦公路各段的數據，全段荃錦公路皆被運輸署評為「郊區公路」（，RR）。
自荃錦交匯處至川龍
自川龍至林錦公路
受荃錦公路的路面所限，政府規定所有使用荃錦公路的車輛長度不得超過10米。據九龍巴士職員權益工會理事長李國華稱，九龍巴士過往曾特別改裝一批都城嘉慕威曼都城巴士和丹尼士飛鏢巴士上山行走線。自從該批車輛退役後，就特別訂造現時的Enviro 200 Dart單層巴士行走，該等巴士須裝設手動減速器、霧燈及加強馬力才足以應付嚴苛的行車環境。由於51線於星期六、日以及公眾假期均出現候車人潮，九巴於2021年11月派出一輛Enviro 500 MMC 11.3米試行荃錦公路。而用車限制亦令部份接載旅客前往大帽山的客車未能前往，該等車輛須領有許可證才能駛入公路前往大帽山，有部份客車司機更因沒有申請許可證駛入公路而遭檢控，常引起運輸業界不滿。
荃錦公路近芙蓉山路的交界設有斑馬線，是芙蓉山村及附近居民前往荃灣市區必經之路，但有關路段急彎較多，加上車輛高速行駛，增加交通意外風險。有芙蓉山居民在2016年8月收集意見，合共收集了300多個簽名，要求把該路段的斑馬線改為燈口控制過路處。運輸署回應指出，該署現正就有關建議收集數據，包括行人及車輛流量和車速，該署亦會派員與議員進行實地視察後再作決定。香港警務處指會向新界南交通部反映議員的意見，聯合加強打擊公路非法賽車及不遵守交通規則的問題，以避免意外發生。
分類:香港公路
分類:荃灣區街道
分類:元朗區街道
AMD Logo
本列表為超微半導體 (AMD) 推出的微處理器列表，並以代數及推出年份排序。
*Am2901 4位元算術邏輯單元（1975年）
*Am2903 4位元算術邏輯單元〔可作硬體乘法〕
*AMD 29000 (aka 29K)（1987年）
*AMD 29027 浮點數處理器
*AMD 29050 包括內置式浮點數處理器（1990年）
*AMD 292xx 嵌入式處理器
Am9080
Am29X305 (second source for Signetics 8X305)
（為英特爾之第二貨源）
*AMD K5 (''SSA5''/''5k86'')
*AMD K6 (''NX686''/''Little Foot'')（1997年）
*AMD K6-2 (''Chompers''/''CXT'')
**AMD K6-2-P (''Mobile K6-2'')
*AMD K6-III (''Sharptooth'')
*Athlon（Slot A） (''Argon'', ''Pluto''/''Orion'', ''Thunderbird'')（1999年）
*Athlon（Socket A） (''Thunderbird'')（2000年）
*Duron (''Spitfire'',''Morgan'', ''Applebred'')（2000年）
*Athlon MP (''Palomino'', ''Thoroughbred'', ''Barton'', ''Thorton'')（2001年）
*Athlon 4 (''Corvette''/''Mobile Palomino'')（2001年）
*Athlon XP（''Palomino'', ''Thoroughbred (A/B)'', ''Barton'', ''Thorton''）（2001年）
*Mobile Athlon XP (''Mobile Palomino'')（2002年）
*Mobile Duron (''Camaro''/''Mobile Morgan'')（2002年）
*Sempron (''Thoroughbred B'', ''Barton'', ''Thorton'')（2004年）
*Mobile Sempron
成員：Opteron、Athlon 64、Sempron、Turion 64、Athlon 64 X2、Turion 64 X2、Athlon X2
*Opteron (''SledgeHammer'')（2003年）
*Athlon 64 FX (''SledgeHammer'')（2003年）
*Athlon 64 (''ClawHammer''/''Newcastle'')（2003年）
*Mobile Athlon 64 (''Newcastle'')（2004年）
*Athlon XP-M (''Dublin'')（2004年）''註：沒有AMD64 ''
*Sempron (''Paris'')（2004年）''註：沒有AMD64''
*Athlon 64 (''Winchester'')（2004年）
*Turion 64 (''Lancaster'')（2005年）
*Athlon 64 FX (''San Diego'')（2005年前半年）
*Athlon 64 (''San Diego''/''Venice'')（2005年前半年）
*Sempron (''Palermo'')（2005年前半年）
*Athlon 64 X2 (''Manchester'')（2005年前半年）
*Athlon 64 X2 (''Toledo'')（2005年前半年）
*Athlon 64 FX (''Toledo'')（2005年後半年）
*Turion 64 X2 (''Taylor'')（2006年前半年）
*Athlon 64 X2 (''Windsor'')（2006年前半年）
*Athlon 64 FX (''Windsor'')（2006年前半年）
*Athlon 64 (''Orleans'')（2006年後半年）
*Sempron (''Manila'')（2006年前半年）
*Opteron (''Santa Clara'')
*Opteron (''Santa Ana'')
*Athlon 64 X2 (''Brisbane'')（2006年12月5日）
*Athlon 64 (''Lima'')（2007年2月20日）
*Athlon X2 (''Brisbane'')（2007年6月1日）
*Sempron (''Sparta'')（2007年8月20日）
*Athlon 64 X2 (''Rana'')（Q2,2008）
*Athlon II X2 (''Regor'') (Jun, 2009)
*Athlon II X3 (''Rana'') (Apr, 2009)
*Athlon II X4 (''Propus'') (Apr, 2009)
*Phenom II X2 (''Callisto'') (Jun, 2009)
*Phenom II X3 (''Heka'') (Feb, 2009)
*Phenom II X4 (''Deneb'') (Jan, 2009)
*Phenom II X4 (''Zosma'') (Q3, 2010)
*Phenom II X6 (''Thuban'') (Apr, 2010)
*Opteron (Barcelona)（10,Sep,2007）
*Phenom X3 (''Toliman'')（Q1,2008）
*Phenom X4 (''Agena'')（Q4,2007）
*Phenom FX (''Agena FX'')（Q4,2008）
*Sempron (''Spica'')
*Opteron (''Budapest'')
*Opteron (''Shanghai'')
*Opteron (''Cadiz'')
*Opteron (''Zamora'')
*Opteron (''Montreal'')
另外為了填補高端與低端產品中間的位置，AMD推出Athlon 64 x2 5800+、Athlon 64 x2 5600+黑盒版和Athlon 64 x2 4600+和TDP 89W的Athlon 64 x2 6400+、6000+和5600+。另外K10 Phenom 核心的雙核處理器Althlon 6250和6050將在第二季末上市
Bobcat核心（低功耗平臺）
*Ontario （Jan,2011）
*Zacate （Jan,2011）
第一代AMD APU於2011年6月推出，核心代號Llano，採用Socket FM1，包括A4、A6和A8，搭配晶片組為A55/A75。
第二代AMD APU於2012年6月推出，核心代號Trinity，採用Socket FM2，包括E1、E2、A4、A6、A8和A10，晶片組為A55/A75/A85X。
第三代AMD APU於2013年5月推出，核心代號Kabini，採用Socket AM1以及Socket FT3，前者包括Athlon和Sempron後者包括E1、E2、A4、A6，為Soc設計。
AMD APU於2013年6月推出第二代APU Refresh版，核心代號Richland，採用Socket FM2，包括E1、E2、A4、A6、A8和A10以及Ax PRO系列，晶片組為A55/A75/A85X。
第四代AMD APU於2014年1月推出，核心代號Kaveri，採用Socket FM2+，包括A6到A10(A4為Richland refresh而來)，晶片組為A58/A78/A88X。
第五代AMD APU於2014年5月推出，核心代號Beema，採用Socket FT3b，包括E1到A8，為Soc設計。
第六代AMD APU於2015年6月推出，核心代號Carrizo，採用Socket FP4，包括E1到A10、FX以及Ax PRO系列。
AMD APU於2015年6月推出第四代APU Refresh版，核心代號Godavari，採用Socket FM2+，包括A4到A10，晶片組為A58/A78/A88X。
* Opteron（Interlagos, Bulldozer core）
* Opteron（Valencia, Bulldozer core）
* Opteron（Zurich, Bulldozer core）
* ''Zambezi'' (''Bulldozer'' core) (launch Q4 2011)
* ''Vishera'' (''Piledriver'' core) (launch Q4 2012)
*Ryzen 9 ( Matisse ) (Jun,2019)
*Ryzen 7 ( Summit Ridge ) (Feb,2017)
*Ryzen 5 ( Summit Ridge ) (Api,2017)
*Ryzen 3 ( Summit Ridge ) (Jul,2017)
* AMD Athlon X2處理器列表
* AMD Duron處理器列表
* AMD Opteron處理器列表
* AMD Phenom處理器列表
* AMD Fusion處理器列表
* AMD Ryzen處理器列表
圖中：BD:DC = AB:AC
角平分線定理，或稱內分比，斯霍騰定理，是一個幾何學的定理，在三角形ABC中，由A點作一角平分線與BC交於D，那
角平分線定理是分角定理中的情況，
已知為的角平分線，且交線段於點，試證：
一條經過頂點，並與頂點的兩條鄰邊的夾角相等的一條線段，是三角形的角平分線。
:根據角平分線定義，知；過頂點作上的高
:因至與的距離相等，故之面積:之面積=(等高)
:又之面積:之面積=(同高)
:故，得證。
==外角平分線定理
發展可以指：
品冠（，），馬來西亞華裔男藝人、歌手、作曲家、填詞人、演員，本名黃品冠，生於馬來西亞吉隆坡。他出道20多年，招牌溫暖嗓音詮釋了多首膾炙人口經典情歌，如《疼你的責任》《門沒鎖》、《我以為》、《隨時都在》等歌曲，有「暖聲情歌王」之稱。此外，他的填詞作曲能力也備受肯定，口碑、人氣、實力兼具。
1995年，品冠與臺灣滾石唱片簽約，並與光良組成歌唱組合無印良品。2000年無印良品解散後，先後推出10張個人專輯。
2007年6月23日，品冠在北京舉辦首場個人售票演唱會，之後亦曾在上海大舞臺（2008年3月14日）、香港紅磡體育館（2009年2月18日）、臺北國際會議中心（2009年7月18日）舉辦演唱會。2014年離開相信音樂，加入種子音樂。2017年離開種子音樂 , 加入海蝶音樂。2020年離開海蝶音樂，2020年11月回歸種子音樂。
**品冠參加學校歌唱比賽獲得冠軍后，就開始參加了校際的歌唱比賽。
**開始寫的他生平中第一首創作《關懷》。當年瑞華唱片公司的老板陳瑞鈿約品冠去辦公室洽談，讓品冠受寵若驚，以為是唱片公司簽約他成為歌手，其實只是想要品冠和瑞華唱片公司簽歌曲版權的合約。當時瑞華唱片公司以250令吉賣斷了詞曲。最終這首歌曲交給了鄧智彰演唱。同年，他加入了“激蕩工作坊”，認識了周金亮、張盛德、友弟等人。
**於馬來西亞與光良合作發行《掌心》專輯。
**于馬來西亞發行《多心》專輯，於臺灣發行《掌心》專輯。
**發行《無印良品X2》專輯。
**無印良品解散，發行《珍重無印良品分手紀念精選集》；
**舉辦“珍重 無印良品再見演唱會”。
**發行個人創作專輯《自創品牌》；
**發行單飛後首張個人專輯《疼你的責任》。
**發行第二張專輯《U-Turn 180度轉彎》。
**4月30日發行第三張專輯《門沒鎖》。