hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
中日韓統一表意文字 收字來源
最初期共20902統一漢字，範圍為U+4E00–U+9FA5，收字來源包括以下字集：
其中，統一碼技術委員會源（U源）指，並非由表意文字小組所遞交的參考字集，而是委員會額外遞交作參考的字集標準。並且此來源的字集不適用原字集分離原則（見稍後）。
擴展A區包含有6592漢字，位置在U+3400–U+4DBF。這6千多漢字分別從以下字典或字集取得：
擴展B區有42717漢字，位置在U+20000–U+2A6DD。根據IRG N777號文件（页面存档备份，存于），這四萬多漢字分別從以下字典或字集中取得：
這些漢字有不少重複，經整理後實際只有42711漢字。另外，U+2F800–U+2FA1D放了來自臺灣的542兼容漢字。
為使統一碼向下兼容GB 18030和香港增補字符集（HKSCS）的所有漢字，而擴展C區又遲遲未能出籠，4.1版引進了香港增補字符集的14用字和GB 18030的8用字。該22字編於U+9FA6–U+9FBB。
另外，U+FA70–U+FAD9放了來自北韓的106兼容漢字。
中日韓統一表意文字 收字來源
2008年4月推出的統一碼5.1版收錄7個由日本Adobe公司遞交的日語漢字（U+9FBC–U+9FC2），和鿃（大字加兩個入字，就如陝西省的字換上目字旁）（U+9FC3）。本來統一碼3.0收錄了目字旁加（大字加兩個人字）字的「」（U+4039），目字旁加㚒字的字，與「」無論意義和發音均不同，故魏安（Andrew West）和井作恆（John H. Jenkins）申請追加此字。
於2009年10月發布的統一碼5.2涵蓋了擴展C區，共收錄4149漢字，包括來自中國大陆、澳門、臺灣、日本、越南等尚未編碼的漢字，在U+2A700–U+2B734。這四千多漢字分別從以下字典或字集取得：
擴展D區包含的都是所謂的「急用漢字」，合共222新漢字，於2010下半年發布的統一碼6.0中，編碼範圍為U+2B740–U+2B81F（實際有字元為U+2B740–U+2B81D）。
中日韓統一表意文字 收字來源
擴展D區原本計劃放置擴展C區未收錄的16000多漢字，但在2007年5月，臺灣了6545個第二部分字集內私用漢字，不再使用字，原因是那些人名用字的擁有人已去世或移居外地，此後擴展D區縮減到大約10000字左右。由於各種阻礙，協議先把數量較少，又急切要收錄的漢字提交出來，就是「急用漢字」，以便和統一碼6.0.0版一起發表。提出的急用漢字只有二百二十二字（本來有二百二十三字，但日本撤回其中一字）。現在文字小組把第二部分字集延後到擴充E區。
扩展E区亦在2015年6月17日的統一碼8.0中发布，放置于编码范围U+2B820–U+2CEAF。
扩展E区本应包含扩展D区未收录的10000多个汉字，但在2008年11月，中国大陆以“难以逐个找证据”为理由，了3215汉字，这些汉字主要用于地名、人名、姓氏，亦有数百个《中国大百科全书》中的文字。这是继台湾6545字之后的又一次大规模。之后又经过长时间的检查处理，E区最终定稿，共5762字。这些汉字来源如下：
中日韓統一表意文字 收字來源
「急用漢字」是擴展E區整理後期，各地新發現並急於使用，又等不及放入擴展F區的字；和擴展E區一起收入統一碼8.0，位置在U+9FCD–U+9FD5；當中中國大陸在此處申請收入三字，連同擴展E區的字，通用規範漢字表的8105字至此全部收入。
扩展F区在2017年6月20日的統一碼10.0发布，编码范围为U+2CEB0–U+2EBEF。扩展F区来源于新提交的一批汉字，主要包括一千多方块壮字及数千个佛经、古籍中的用字以及日本户籍用字，共有7473字。
这些汉字的来源如下：
於2020年3月10日公佈的統一碼13.0中在第三輔助平面收錄擴展區G的4939漢字，碼位為U+30000–U+3134A。
这些汉字的来源如下（部分字符來自多於一處來源，所以下表總數多於收錄總數4939字）：
2022年9月13日公佈的統一碼15.0在第三輔助平面收錄擴展區H的4192漢字，碼位為U+31350–U+323AF。
这些汉字的来源如下（部分字符來自多於一處來源，下表總數多於收錄總數4192字）：
2023年9月12日公布的统一码15.1在第二辅助平面收录扩展区I的622个汉字，码位为U+2EBF0–U+2EE5F。
这些汉字的来源如下：
中日韓統一表意文字 漢字統合
東亞各國字形多有微妙的差異。如「房」字的第一筆，韓國傳統漢字字形、臺灣教育部標準字體作撇「」；香港教育參考字形、中國大陆規範作點「」；日本標準作橫「」。又如「次」字的左旁，韓國採用傳統字形，首筆爲橫，次筆爲挑；臺灣教育部作兩橫；大陸、日本、香港等則作「冫」（俗稱兩點水）。這種程度的差異，理想是整併為一字為佳。否則，要是凡異體字都收進不同碼位裏，統一碼收錄的漢字就會過於臃腫，用戶搜尋時也會因異體問題而找不到想要的結果。
然而，從之前各種受挫之文字整併計劃的經驗得知，整合字集與現行通用字集（Big5或國標碼）等無法一一對應，是推行整合字集的最大阻礙。例如，日本的JIS編碼同時收錄了「」與「」字，原本JIS文件裏這兩字可以並存。如果採用整合字集後，它們會變成同一字，使用的時就會造成困擾。而且，如果將多個不同地區字形合併，會影響閱讀者，令使用者不習慣並非以往所見字形；更有可能引致閱讀者因習慣而書寫不屬於自己地區的字形（或地區性的異體字）。
於是，表意文字統合原則與原字集分離原則就應運而生。
中日韓統一表意文字 漢字統合
按表意文字統合原則（英語：，又稱表意文字認同原則），統一碼「只對字（Character）而不對字形（Glyph）」編碼，會把同一字的不同字形（即異體字）合併。好像上述「次」字，統一碼會整併成一碼。又例如不同地區而有不同寫法的部首，如「（中國大陸規範、日本新字體）、（港臺舊字形、韓國、日本舊字體）、（臺灣教育部）」、「（中國大陸規範、臺灣教育部）、（日本新字體）、（日本舊字體、韓國、港臺舊字形）」、「（中國大陸、港臺新字形）、（舊字形）」等，會合併編碼。這些部首的寫法差異就會交由字型處理。比如說，使用依中國大陸漢字標準《印刷通用漢字字形表》的字體（如中易宋體、微軟雅黑體）便會出現「、」；使用臺灣教育部標準字體（如微軟正黑體或新版細明體，但非舊版細明體）就會出現「、」等字形，大大解決了因地區而異之部首寫法。
中日韓統一表意文字 漢字統合
至於原字集分離原則（英語：，又稱來源字集分離原則、原規格分離原則）是指，上述所列出之各種收字來源，若有任何字集同時收了兩種以上文字字形，中日韓統一表意文字也會臨時放棄統合原則，同時收錄這些字。這樣一來，現行各種原有字集與統一碼漢字可一一對應。比如「房」字，各地字集都沒有分別編碼，就只編進一碼位，部首第一筆的寫法交由字型處理。然而，「」、「」、「」這三字，在一些地區標準裏是分別編碼的，統一碼則以三碼位分別收錄它們。上述的「」與「」也一樣安放到不同碼位。
基於上述運作，統一碼能大幅減少收錄漢字字數，同時讓地區編碼過渡至統一碼時，字集裏的字元不會流失，但原字集分離原則破壞了統一碼「只對字而不對字形」編碼之原則，某些漢字獲得兩位或以上編碼，亦遭受不少批評。
漢字統合，或稱漢字認同，有三個原則：
注意第三個原則受原字集分離原則和起源不同原則的制約。
原字集分離原則（英語：）：
兩個表意文字，如果在一個主要來源標準中是不同的，就不視為能統合。
中日韓統一表意文字 漢字統合
此原則的其他譯名，除了「來源字集分離原則」、「原規格分離原則」外，在一些舊文件中也有譯作「字源分離原則」，但它跟漢字文字學上的「字源」無關，即使在文字學上是相同「字源」的漢字也不等於會統合起來，此譯名現在已較少使用以免誤會。
這個原則又名來回原則（英語：），因其旨在使字符數據在來回轉碼時不損失信息；這裏「來回轉碼」是指在表意文字小組源標準與統一碼標準之間來回轉換編碼。
這個原則只適用於最初的中日韓統一表意文字區塊，而「主要來源標準」是指 G 源、T 源、J 源或 K 源（見最初期統一漢字）。表意文字小組在 1992 年放棄了這個原則，將來也不會再用。
例如下表六個「劍」字，在標準「 JIS X 0208-1990 」中分開編碼，因而在統一碼中各佔一個碼位：
如果沒有原字集分離原則，表中第四和第五個字可能會合併。
更多例子，可參見。
今天，变体序列（Variation Sequence）以及Adobe常用的CID字型等技術已容許在一粒統一碼編碼收錄和調用多於一款漢字字樣，原字集分離原則在今天已成爲過時技術的副產品。詳見下文後續發展段落。
起源不同原則（英語：）：
中日韓統一表意文字 漢字統合
一般而言，兩個沒有歷史源流關係的表意文字，不視為可統合。
這裏說的「起源」，就是漢字文字學上的「字源」。有些漢字雖然外形相近，但意義毫不相干，那麼也不能合併。例如「土」和「士」雖然形似，但意義沒有關係，所以不可合併。
然而，日本、韓國、中國大陸、香港等地的「」字，與臺灣教育部的「」字，兩者頂部分別是「土」和「士」，但它們音義全同，是同一字的異體，就不受此原則的限制。
其他起源不同的例子還有「」與「」（「月偏旁」與「肉偏旁」對立）、「」與「」（「肉底」與「冃底」對立），「柿」和「杮」（右方「市部件」與「巿部件」對立），「汨」和「汩」（右方「日部件」與「曰部件」對立），「」與「」（右旁「部件」與「部件」對立）等。
起源不同原則只是一般性原則（「一般而言」），也允許有特殊情況。例如「同形字」，即一個字有不止一個讀音與字義，雖然字源不同，卻由同一字形表示。比如漢字「芸芸眾生」的「芸」，與日本漢字「藝」字的新字体「芸」，是同形字。要是這些同形字之字形確實相同而非相似（「芸」字的草頭雖然有三筆的「」、四筆的「」等不同寫法，但它們都指同一部件，沒有對立），就不會應用起源不同原則。
第三個統合原則：
中日韓統一表意文字 漢字統合
每個表意文字，用二級分類法（如下所述）確定其抽象形體。兩個表意文字，若有相同的抽象形體，就視為可統合，除非違反原字集分離原則或起源不同原則。
下文介紹如何確定漢字的抽象形體。
統一碼發展了一個三維概念模型，考察漢字的三個屬性：語義、抽象形體、實際形體。分別用 X、Y、Z 表示這三個屬性，就能把漢字放在一個假想的三維空間裏：
用抽象形體（Y)及實際形體（Z）來區分漢字，就是二級分類法。
如何分析漢字的抽象形體？對每個漢字，層層拆分，得到其部件結構樹，考察以下五方面的特徵：
兩個漢字，如果以上所有特徵都相同，那麼就視為抽象形體相同，否則視為抽象形體不同。抽象形體相同和不同的例子，可參見。
統一碼一方面依據形體把異體字統合編碼，另一方面受原字集分離原則限制，所以對某些異體字的處理會不一致。
例如：
這種做法，既非完全統合，也非完全分離，在漢字文字學學界有許多批評，詳見下文對異體字的處理段落。
原字集分離原則在 1992 年已停用。原因是個別地區提交了不少僅有十分輕微差異的字樣，比如台灣《異體字字典》裏的各種異體，要求統一碼分別編碼。然而，那些字樣所建基的地區編碼，並非該地區的通用編碼，例如是中文標準交換碼（台灣實際通行的編碼是 Big5 碼）。若統一碼全面採納，將會令統一碼對異體字的處理更混亂。
統一碼 3.2 引入了變體選擇符，

從此可以用「變體序列」描述字符的變體。漢字的變體，可用「標準變體序列」或「表意文字變體序列」表示。中日韓兼容表意文字和中日韓兼容表意文字補充兩個字符塊的漢字，均已獲編配標準變體序列。


另一方面，統一碼自 2007 年起維護「表意文字變體數據庫」，收錄了大量漢字變體；截至 2022 年 9 月 13 日，已收錄了 29437 個變體序列。


例如：
中日韓統一表意文字 Unihan資料庫
Unihan資料庫是統一碼聯盟所維護的資料庫文件，為統一碼的各漢字列出說明，內容有：
資料庫以以下方式發佈：
中日韓統一表意文字 批評
統一碼的漢字統合問題，特別是其原字集分離原則，遭受不少批評，特別是來自漢字文字學學界。
此原則令同一異體部件時而分離，時而合併，引伸許多日常使用的問題。擧例說，「」和「」、「」和「」都在正常區域中作分離編碼，獲得兩碼位；「晴」、「靖」、「精」雖也獲兩碼位，但其中一位在兼容區，日常難以應用；「請」、「情」、「蜻」、「靜」更只有一碼位。或例如合併「」和「」、「」和「」而分離「」和「」作兩碼位。統一碼的做法沒有把有相同異體部件的字全都合併，也沒有把它們全都分離，結果字形經常不一致，或者使用者無法選擇他希望使用的字形。
其他漢字使用地區也有類似聲音。如「」和「」兩個偏旁，前者爲「」的大陸簡化字，後者爲「」的日本新字体，在「」和「」、「」和「」、「」和「」等組合裏，就整併起來。可是碰到「」和「」，卻不統合，分列U+685F與U+6808兩碼位。日本學者指這種情況爲統一碼的矛盾。
中日韓統一表意文字 批評
事實上，統一碼本身在「中日韓統一表意文字」不同區域裏也用了不一致的統合或分離尺度，因此早期異體字時常獲編配正常碼位，後來常常只有兼容區的暫存編碼，再後來則不時直接統合並交由变体选择符處理。若不修正或更改早期編碼，類似問題將會持續存在。
合併異體字雖有助減少收錄字數，但研究學術時，如古籍、歷史及文字等，部份文獻卻要將字形不同之字同時並列。已合併的各字在這些文獻裡變得各有各意思。學者若使用統一碼，遇到這種情況，就要用不同電腦字型去顯示同一字碼，甚至要自行造字，或捨統一碼而用其他編碼。一來尋找、轉換電腦字型構成不便，二來有損統一碼記錄每一字之用意，三來不能以純文本交換，四來電腦字型或因授權條款之限，難以交換流傳。另外，這亦等於不能以統一碼準確記錄文獻，不利數碼文本。
不同字形之字合併後，若以字形爲本檢索，會產生混亂，難以檢索，如筆畫檢字，艸部之「頭」，中國、日本算作三畫，而傳統中文爲四畫，留有「」形者則爲六畫。統一碼同一字碼源於字形不同就有幾種筆畫，檢索混亂。即使檢出字，筆畫與顯示出來的字形也不相符。因此，批評者認爲，統一碼合併異體字並不可取。
中日韓統一表意文字 批評
但是另一方面，統一碼收錄不少幽靈漢字，其出處難以找到，它們在實際生活也極少機會使用，有些甚至是错讹字，或者僅是某一人的名字用字，那人不見得是名人，甚至可能已去世，卻永久成爲標準裏的字元，佔用了一碼位。比如臺灣律師呂秋𧽚的「𧽚」字本應作「」，可是戶政人員誤聽他外公說的臺語，把「辵字邊」聽成「走馬邊」，外公又不敢更正。當事人長大後，才確認這是錯字，但這字已永久收進統一碼。又如香港增補字符集有許多人名用字，學者都指出乃屬訛寫，或是來歷不明的自創新字。中文資訊界李祥在其專欄批評當局「解決不了增補字集中上千錯字、白字、生造字的讀音問題」，呼籲「不要把香港增補字符集與申請ISO強迫聯繫在一起」。然而，這些人名訛字亦已經收進統一碼，構成了收字過多的爭議。
也有批评认为統一碼收入大量错讹字及写法高度相似的同一字的不同字形本身就不应该。电脑文本本身永远不可能完全无损地记录文献，且文献本身也会因传抄制版等原因略有不同，如果把每字的各种写法全部编码，會浪费空间。完全无损地研究、记录文献只能通过查看原本或照相影印版来完成，把无损保存转嫁给编码是错误的。
中日韓統一表意文字 批評
現時統一碼把一些異體字分別編碼，帶來了檢索困難。只要寫法稍有不同，就无法检出，令使用戶检索字词时，必须反复检索其不同写法，造成重复劳动，对研究文献反而是种妨碍。例如統一碼将「」和「𠒇」字安放在不同的碼位裏。在检索文献时，檢索「」字時就找不到「雷莊𠒇」，檢索「𠒇」字時就找不到「雷莊」，反而造成困扰。
統一碼對同一部件有分有合，原則不一，如「」和「」、「」和「」都分離編碼，但「」和「」就整併了；「」和「」、「」和「」皆整併作一碼，而「」和「」又分開，既令人混淆，亦令人無所適從。統一碼按原字集分離原則收字，只看各地區的既有編碼，不理會同一部件的文字學問題。可是用戶現實在電腦輸入文字時看到的是具體字形而不是編碼碼位，會讓人感到矛盾和困惑。
而且在統一碼「中日韓統一表意文字」的不同區域裏，官方也用了不一致的併分尺度。早期的異體字時常獲分配正常碼位；後來常常只有兼容區的暫存編碼，使兼容區的字元在輸入和顯示時經常碰到問題；再後來則不時直接整併並交由变体选择符處理。於是統一碼的編碼矛盾就更突顯。
「〇」是则天文字之一，意同“星”，《集韻·卷四·十五青》收錄為“星”字的23韻之一，現代用作“零”的小寫。《漢語大字典》《中華字海》《現代漢語詞典》都收錄了此字。但在統一碼放入CJK符號和標點區，等同於數字0，在搜索「〇」時會連帶搜索出數字0，使用時頗為不便（搜索漢字「一、二、三」不會搜索出數字1、2、3）。此外，很多程序限定了漢字的範圍為統一碼各漢字區，區外不視為漢字，「〇」不在漢字區就無法處理，造成不便。
中日韓統一表意文字 已統一漢字
ISO 10646原則只對字（Character），而非字形（Glyph）編碼。同一字各地可使用自己的標準寫法。以下使用HTML標示同一編碼的字在不同地區的寫法（但只是读者的浏览器所渲染的字型，与浏览器的设置与设备安装的字体有关，未必代表該地區的標準寫法）。
例子
註：不是所有網頁瀏覽器均可分辨全部HTML的語言代碼（Language Code）並使用不同字形。如非某一地区的使用者看到的字形和当地通用的字形一樣，表示该用户的瀏覽器不能分辨此標籤，或設定兩者以同一種字形顯示。
中日韓統一表意文字 未統一漢字
有些字只是同一字在不同地區的寫法，理應統一，但因為原字集分離原則而只好分開編碼。由於KS X 1001、Big5、IBM 32、JIS X 0213、ARIB STD-B24、KPS 10721、CNS 11643有太多字形非常接近，按統一碼標準應該統一，但分開編碼的字。這些字只有正統的會編入正式字集（包括擴展區），不正統的編入「相容表意文字區」（Compatibility Ideographs）和位於「第二輔助平面」的「相容表意文字補充區」（Compatibility Ideographs Supplement）中。
範例：-{
}-
自上表發表後，WG2亦調查過其他漢字，認為另一批屬於基本多文種平面的漢字，亦可考慮收編到ISO 10646 Annex S3。
中日韓統一表意文字 技術問題
擴展B區用了輔助平面來擺放漢字，Microsoft Office 2000或之前的版本等不少文書處理軟件都不能支援，即使電腦有擴展B區漢字字體也只會顯示兩格方格。
另外，擴展B區整理有缺陷，收錄了以下本來應與其他漢字統一的5字：
而WG2 N1155文件亦列出了152對可考慮統一的漢字。
澳門足球代表隊
澳門足球代表隊（葡萄牙語：）是中國澳門地區的官方男子足球代表隊，由澳門足球總會管理。
澳門足球代表隊 歷史
1999年以前，澳門代表葡萄牙的屬地，參與國際賽事。葡萄牙將澳門的主權交給中華人民共和國後，澳門為中華人民共和國的一個特別行政區，而其足球代表隊為根據《澳門基本法》和「一國兩制」下，准許擁有獨立的體育代表隊。
在由澳門體育局及澳門體育週報合辦的「2017澳門傑出運動員」選舉中，2016年勇奪「首屆亞足聯團結盃」亞軍的澳門足球代表隊，首度獲得「傑出運動組合」獎項。
2019年6月8日，澳門足總宣布基於安全理由，拒絕派隊赴斯里蘭卡出戰2022年世界盃亞洲區外圍賽首圈次回合。然而，此舉卻惹來球員反對，四十八名各級球員聯署表明，若最終未能參賽，將不再代表澳門。
6月8日，3名澳門足球代表隊球員林毅東、張海山、何文輝聯同前代表隊球員梁嘉恆及議員蘇嘉豪召開記者會，促請足總允許球隊赴賽。林毅東強調，球隊24名球員上下一心，為夢想十分渴望出席次回合比賽；他不諱言表示，球員願意簽署文件，證明即使有生命危險或財政上的損失，也願意赴賽。出席的代表隊球員均表示，若足總真的放棄此次機會，他們對未來澳門足球發展也感到絕望，將退出代表隊。
澳門足球代表隊 歷史
澳門代表隊隊長艾美達在6月12日以個人名義，致函國際足協及亞洲足協，表達球隊對出賽的渴望，並要求兩機構代澳門隊安排世界盃亞洲區外圍賽預賽次回合賽事重賽，期望事件能有轉機。
國際足協在6月27日公布處分，澳門隊除被判與斯里蘭卡的賽事輸0：3之外，同時亦遭罰款1萬瑞士法郎。 社會文化司司長譚俊榮表示，在7月1日收到體育局呈交澳門足總有關基於安全理由，不派代表隊到斯里蘭卡參與世界盃外圍賽的報告。體育局分析了事件，尊重澳門足總的決定；至於國際足協對澳門足總的罰款，因為相關支出並不屬於受資助範圍，故由足總自行負責。
2023年3月26日，經過長達三年的間隔，澳門足球代表隊終於再次回到主場迎戰新加坡足球代表隊；這場比賽，標誌著自COVID-19疫情爆發以來，首次與外隊展開比賽。
澳門足球代表隊 職球員名單
以下球員入選2025東亞盃外圍賽。
以下球員曾經於過去12個月獲徵召。
巴拉圭总统
巴拉圭總統（西班牙語：，英語：），是巴拉圭的國家元首與政府首脑，由公民直接选举產生，任期五年，不得連任。
巴拉圭總統府羅培茲宮位於首都亞松森，總統官邸則為姆布魯維查·羅加別墅。
巴拉圭总统 巴拉圭国家元首列表
无党籍
  红党
  自由党（蓝党）
  二月革命党
  变革爱国联盟
  真正激进自由党
巴拉圭总统 注释
成员：比森特·伊格纳西奥·伊图尔贝·多明戈斯（Vicente Ignacio Iturbe Domínguez）；胡安·瓦莱里亚诺·德·塞瓦略斯（Juan Valeriano de Zevallos）；富尔亨西奥·耶格罗斯（Fulgencio Yegros）；佩德罗·胡安·卡瓦列罗（Pedro Juan Caballero）；何塞·加斯帕尔·罗德里格斯·德·弗朗西亚（José Gaspar Rodríguez de Francia）
缺省逻辑
缺省逻辑是逻辑学家Ray Reiter提出的用来形式化有缺省假定的推理的非单调逻辑。
标准逻辑只能表达某个事物为真或某个事物为假，但类似于“缺省的，某个事物是真的”的事实则可以使用缺省逻辑进行表达。推理经常会涉及到在多数时候是真但不总是真的事实，而缺省逻辑则可以解决这样的推理问题。
经典的例子是：“鸟通常会飞”。这个规则可以在标准逻辑中表达为：要么“所有鸟都会飞”——这与企鹅不会飞的事实相矛盾；要么“除了企鹅、鸵鸟...的所有鸟都会飞”——这又要求规则逐一指定出所有的例外。缺省逻辑致力于将这样的推理规则形式化，而不需要明确提及所有的例外。
缺省逻辑 缺省逻辑的语法
缺省理论是对。是逻辑公式的集合，叫做背景理论，形式化的是确实已知的事实。是缺省规则的集合，每个都有形式：
依据这种缺省，如果我们相信（先决条件）是真的，并且每个（论据）都相容于我们当前的信仰，我们导出信仰（结论）是真的。
在中逻辑公式和在缺省中的所有公被初始的假定为一阶逻辑公式，但是它们潜在的可以是任意形式逻辑的公式。公式都是命题逻辑的情况是研究最多的。
缺省规则“鸟通常会飞”被下列缺省所形式化：
这个规则意味着，如果是鸟，并且可以假定它会飞，则我们得出结论它会飞。包含某些关于鸟的事实的背景理论在下面列出：
W = { Bird（秃鹫）, Bird（企鹅）, ¬ Flies（企鹅）, Flies（鹰）}。
缺省逻辑 缺省逻辑的语法
依据这个缺省规则，秃鹫会飞，因为前件Bird（秃鹫）是真的，并且论据Flies（秃鹫）与当前已知不矛盾。相反的，Bird（企鹅）不允许得出结论Flies（企鹅）:即使缺省的前件Bird（企鹅）是真的，论据Flies（企鹅）与已知相矛盾。从这个背景理论和这个缺省，不能得出结论Bird（鹰），因为缺省规则只允许从Bird（X）推出Flies (X)，但不能反过来。从推论规则的结论推出前提是结论的一种解释形式，这是溯因推理的目标。
常见的缺省假定是不知道为真的东西都被相信是假的。这叫做封闭世界假定，并在缺省逻辑中对每个事实使用像下列这样的缺省来形式化。
例如，计算机语言Prolog在推导否定的时候，使用了某种程度的缺省假定：如果否定的原子不能被证明为真，则它被假定为假。但是要注意，Prolog使用了所谓的否定为失败：当解释器必须求值原子的时候，它尝试证明是真，并如果这失败了则结论为是真。转而在缺省逻辑中，缺省有作为论据，它只能在与当前知识一致的时候应用。
缺省是无条件的或无先决条件的，如果它没有先决条件（或者等价的说先决条件是重言式）。一个缺省是正规的，如果它有等价于它的结论的一个单一论据。一个缺省是超正规的，如果它是无条件的和正规的。一个缺省是半正规的，如果它的所有论据都蕴涵它的结论。一个缺省理论叫做无条件的、正规的、超正规的、或半正规的，如果它包含的所有缺省分别都是无条件的、正规的、超正规的或半正规的。
缺省逻辑 缺省逻辑的语义
一个缺省规则可以应用于一个理论，如果它的前件被这个理论所蕴涵，并且它的论据都一致于这个理论。缺省规则的应用导致它的结论增加到这个理论。其他缺省规则接着可以应用于结果的理论。当没有缺省规则可以应用于理论的时候，这个理论就叫做缺省理论的扩展。缺省规则可以按不同的次序应用，这可以导致不同的扩展。尼克松菱形例子是有两个扩展的缺省理论：
因为尼克松既是共和党的人又是贵格会的人，两个缺省都可以应用。但是，应用第一个缺省导致尼克松是不爱好和平的人的结论。以同样的方式，应用第二个缺省我们得出尼克松是爱好和平的人，因此使第一个缺省不可应用。这种特定的缺省理论因此有两个扩展，其中一个是真，而另一个是假。
缺省逻辑的最初的语义基于的是函数的不动点。下面是一个等价的算法定义。如果缺省包含有自由变量的公式，它被认为表示通过向所有这些变量给出一个值而得到所有缺省的集合。缺省对命题理论是可应用的，如果并且所有理论是一致的。这个缺省对的应用得到理论。通过应用下列算法可以生成一个扩展：
缺省逻辑 缺省逻辑的语义
这个算法是非确定性的，因为对于给定的理论有很多缺省可以应用。在尼克松菱形的例子中，第一个缺省的应用导致第二个缺省不能应用的一个理论，反之亦然。作为结果，可以生成两个扩展：在其中一个里尼克松是爱好和平的人和另一个里尼克松不爱好和平的人。
最终的所有已经应用的缺省的论据的一致性检查使某些理论不能有任何扩展。特别是，这发生在对于可应用的缺省的所有序列这个检查都失败的时候。下列缺省理论就没有扩展：
因为一致于缺省被应用到的背景理论，所以得出结论是假的。但是这个结果破坏了应用第一个缺省所有做的假定。因此，这个理论没有扩展。
正规的缺省理论保证至少有一个扩展。进一步的，正规缺省理论的扩展是相互矛盾的。
缺省理论可以有零个、一个或更多的扩展。从一个缺省理论到一个公式的蕴涵可以用两种方式定义：
怀疑的：一个公式被一个缺省理论所蕴涵，如果它被它的所有扩展所蕴涵；
轻信的：一个公式被一个缺省理论所蕴涵，如果它被它的至少一个扩展所蕴涵；
缺省逻辑 缺省逻辑的语义
例如，尼克松菱形例子有两个扩展，在其一中尼克松是爱好和平的人在另一个中他不是爱好和平的人。因此，Pacifist（尼克松）和 ¬ Pacifist（尼克松）都不被怀疑的蕴涵，而二者都被轻信的蕴涵。如这个例子展示的，缺省理论的轻信结论可以相互矛盾。
缺省逻辑下列可供选择的语义都是基于同最初一样的语法。
正当的：同最初的语义不同之处是，如果缺省使集合矛盾于已应用的缺省的一个论据，则不应用这个缺省；
简明的：只在缺省的结论没有被所蕴涵的时候应用它（精确的定义更加复杂，这只是背后的想法）；
约束的：只在背景理论和所有应用的（包括这个）缺省的论据和结论所构成集合是一致的时候应用它；
合理的：类似于约束的缺省逻辑，但是在一致性检查中不考虑缺省的结论；
谨慎的：缺省可以应用但相互冲突（像尼克松菱形的例子）的不应用。
正当的和约束的语义为所有的缺省理论指派至少一个扩展。
缺省逻辑 缺省逻辑的变体
缺省逻辑的下列变体同最初的语法和语义二者有所区别。
断言变体：断言是由一个公式和一个公式的集合构成的对。这种对指示是真，当公式已经被假定为一致于证明为真的时候。一个断言缺省理论由叫做背景理论的断言理论（断言公式的集合）和按原始语法定义的缺省的集合构成。当一个缺省应用于断言理论的时候，把由它的结论和它的论据合成的对增加到这个理论。下列语义使用了断言理论：
弱扩展：不再检查前件在由背景理论和已应用的缺省的结论构成的理论中是否是有效的，检查前件在将要生成的扩展中的有效性；换句话说，生成扩展的算法开始于猜测一个理论并使用它代替背景理论；从扩展生成的过程得到的结果实际上是一个扩展，只在它等价于在开始时所猜测的理论的时候。缺省逻辑的这个变体在原理上与自动认识逻辑有关，在那里理论有一种模型，在其中是真，只是因为假定为真，公式支持这个初始假定。
缺省逻辑 缺省逻辑的变体
析取缺省逻辑：缺省的结论是公式的集合而不是单一的公式。在应用缺省的时候，至少其中一个结论被非确定性的选择为真。
缺省上的优先级：可以明确的指定缺省的相对优先级；在可以应用于一个理论的缺省之间，只有最高优先级的可以应用。缺省逻辑的某些语义不要求明确指定优先级；而是更多特殊性（在更少情况下可应用的）缺省优于更少特殊性的缺省。
统计变体：统计缺省对缺省附加错误频率的上限；换句话说，缺省被假定为是不正确的推理规则，应用它的次数到了这个分数的时候。
缺省逻辑 转换
缺省理论可以被转换成其他逻辑的理论或反之。转换要考虑下列条件：
结论保持：最初和转换后的理论有同样的（命题）结论；
忠实：这个条件有意义只在如下转换的时候，在缺省逻辑的两个变体之间、或在缺省逻辑和在其中类似于扩展的概念比如模态逻辑中模型存在的逻辑之间；一个转换是忠实的，如果在最初和转换后的理论的扩展（或模型）之间存在一个映射（典型的是双射）；
模块化：从缺省逻辑到其他逻辑的转换是模块化的，如果缺省和背景理论可以分开转换；此外，向背景理论增加公式只导致向转换的结果增加新公式；
同字母表：最初和转换后的理论建立在相同的字母表之上；
多项式：转换的运行时间和生成的理论的大小要求是最初理论的多项式。
转换典型的要求忠实或至少是结论保持，而模块化和同字母表的条件有时被忽略。
在命题缺省逻辑和下列逻辑之间的转换已经研究过了：
转换存在与否依赖于施加那种条件。从命题缺省逻辑到经典命题逻辑的转换不能总是生成多项式大小的命题理论，除非多项式层次瓦解。到自动认识逻辑的转换存在与否依赖于是否要求模块性或使用相同的字母表。
缺省逻辑 复杂性
关于缺省逻辑的下列问题的计算复杂性是已知的：
扩展的存在性：决定一个命题缺省理论是否有至少一个扩展是-完全的；
怀疑的蕴涵：决定一个命题缺省理论是否怀疑的蕴涵一个命题公式是-完全的；
轻信的蕴涵：决定一个命题缺省理论是否轻信的蕴涵一个命题公式是-完全的；
扩展检查：决定一个命题公式是否等价于一个命题缺省理论的扩展是-完全的；
模型检查：决定一个命题释义是否是一个命题缺省理论的扩展的模型是-完全的。
缺省逻辑 实现
有两个系统实现了缺省逻辑：DeReS和XRay。
缺省逻辑 引用
M. Cadoli, F. M. Donini, P. Liberatore, and M. Schaerf (2000). Space efficiency of propositional knowledge representation formalisms. Journal of Artificial Intelligence Research, 13:1-31.
P. Cholewinski, V. Marek, and M. Truszczynski (1996). Default reasoning system DeReS. In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning（KR'96）, pages 518-528.
缺省逻辑 引用
J. Delgrande and T. Schaub (2003). On the relation between Reiter's default logic and its (major) variants. In Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), pages 452-463.
T. Janhunen (1998). On the intertranslatability of autoepistemic, default and priority logics, and parallel circumscription. In Proceedings of the Sixth European Workshop on Logics in Artificial Intelligence（JELIA'98）, pages 216-232.
缺省逻辑 引用
P. Liberatore and M. Schaerf (1998). The complexity of model checking for propositional default logics. In Proceedings of the Thirteenth European Conference on Artificial Intelligence（ECAI'98）, pages 18-22.
A. Mikitiuk and M. Truszczynski (1995). Constrained and rational default logics. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence（IJCAI'95）, pages 1509-1517.
缺省逻辑 引用
T. Schaub, S. Brüning, and P. Nicolas (1996). XRay: A prolog technology theorem prover for default reasoning: A system description. In Proceedings of the Thirteenth International Conference on Automated Deduction（CADE'96）, pages 293-297.
眼鏡角色
眼鏡角色，是指藝術作品中戴著眼鏡、並以此為特徵的角色。閱聽者可以透過有沒有佩戴眼鏡來輕易地辨識這個角色特徵。
眼鏡角色 概要
眼鏡是矯正視力的工具，因此戴著眼鏡的角色會給人一種認真學習的形象，眼鏡進而成為知性的象徵。戴眼鏡的角色通常冷靜、理性而且知識豐富，但也有反其道而行的設定。
為了強調此形象，部分的眼鏡角色佩戴的是特別厚的「瓶底眼鏡」(眼鏡的鏡片上有螺旋圖案)，亦或是讓眼鏡的鏡片始終處於反光的狀態，以至於看不到角色的眼睛。這種角色在拿下眼鏡後通常會判若兩人。
小西行長
小西行長（1558年—1600年11月6日）是日本戰國時代、安土桃山時代武將。天主教大名，肥後南半国廿四萬石之領主，第一任宇土城和麦岛城城主。父親是小西隆佐，幼名彌九郎。教名是奧思定（葡萄牙語：，日語：）。
小西行長 生平
小西行長幼名弥九郎，是商人小西隆佐的义子，娶了隆佐亲女茱斯塔（Justa）。本來跟隨父親在堺經營藥草生意，但後被委派至冈山鱼服屋处与备前大名宇喜多直家进行贸易；有一次正逢直家外出时，遇到三浦家遗臣的袭击，当时直家身边并没有带护卫，只有几名小厮，此时弥九郎挺身而出击退了刺客，令直家安全脱困，此事之后弥九郎受到直家赏识，将他由商人破格拔擢为武士。
归入宇喜多家的小西行长向家中武将远藤又次郎学习火枪及水军战法。在横行濑户内海的海贼村上武吉宣告依附严岛海战后势力大增的安艺毛利家后，为了应付毛利家逐渐逼近的威胁，直家起用远藤又次郎和小西行长组织宇喜多家的水军以巩固冈山城的安全。
小西行長 生平
在小寺家家老黑田官兵卫的引导下，织田家以羽柴秀吉为总大将出兵山阳道，夹在织田与毛利两大强豪之间，据有备前、美作两国的宇喜多直家虽在第二次上月城之战时，借毛利家的兵力夺回被秀吉两大军师黑田官兵卫和竹中半兵卫所攻下的上月城。但是第一次上月城之战时，不论是小西行长与远藤又次郎，又或者是一代奸雄宇喜多直家，都被织田家强大的武威所慑；所以在第二次上月城之战时直家故意称病不出，并且在战后派能言善道的行长为使与秀吉进行交涉，令人意想不到的是这项任务竟是小西行长一生的转折点。
为了完成这项任务，小西行长彻底发挥商人这个角色的外交天赋。他让义父小西隆佐借出大笔金钱予秀吉资助军费，并换得日后播磨和但马的优先经商权，使隆佐大大获利，然后以“药商小西隆佐义子”的名份晋见秀吉，转达直家的心意，顺利和织田方达到一定的协议同时也避免毛利家查觉直家的二心。行長圆融的手法令直家十分满意，慢慢地将小西行长提升到与三家老相当的地位。
小西行長 生平
天正七年，小西行長奉宇喜多直家之命令，到三木城支援羽柴秀吉掃蕩別所家軍團長荒木村重的行動。而當時荒木村重有所向無敵的毛利村上水軍作海援。小西行長在加古川沖之役中使用當時未曾於海戰使用過的夜襲策略，成功擊退了毛利村上水軍。此役後毛利軍一半荷船被燒毀，小西行長瓦解了毛利村上水軍對三木城的增援，亦協助秀吉完成了對別所家三木城的包圍戰。此戰使小西行長之名第一次在軍中出現，亦使行長完成了由海商到海將的轉型。
當织田家扫荡了三木城荒木村重的反叛后，直家正式投入织田家阵营，在羽柴秀吉的努力下宇喜多家保住全部领土。天正十年直家重病去世，他逝世前，秀吉带了成为人质的宇喜多秀家到冈山城在直家面前替他元服，并让小西行长担任他的太傅。随着秀家质于姬路城，小西行长也与秀吉接近频繁，从另一角度来看，小西行长已等若秀吉的家臣。天正八年時秀吉命小西行長喬裝商人以三倍價錢買去鳥取城中的米糧，而天正九年时于秀吉攻打播磨宝津时被任命为水上兵站奉行，即水軍后方补给司令官，負責维持和增进水軍参战部队的战斗力和支援作战的工作。
小西行長 生平
1582年4月，備中高松城之戰中秀吉水攻成功，即命小西行長與淺野長政率領船隊載著大砲對城池進行轟擊，卻在秀吉攻略備中高松城途中發生本能寺之變。天正十年织田信长死后，秀吉击败柴田胜家登上天下人的宝座，小西行长在他麾下担任水军将领。
1585年3月21日，小西行長奉命率領水軍從海陸兩面攻擊紀州連合軍的泉南防衛線。24日，泉南防衛線被攻陷後，行長以總大將（船奉行）率領九鬼嘉隆和仙石秀久的別働隊從水路攻入雜賀莊。別働隊開始向紀南制壓，「盟主」畠山貞政與湯河直春敗走，10月23日高野山降伏，武裝解除；4月21日，水攻太田城時，羽柴秀吉發動安宅船攻勢，行長的水軍船導入堤內，動員安宅船裡的大砲動員，使秀吉軍佔領太田城大半城域。
此外，行長亦负责管理小豆岛及濑户内海一带水上输送的职务，之后官拜从五位下摄津守，得到两万石的领地，被赐丰臣姓。同时在高山重友的劝说下改信天主教。豐臣政權成立之初多以小西行長與大谷吉繼等人做行政奉行工作。
小西行長 生平
小西行长於1587年跟隨秀吉進行九州征伐，翌年由于肥后国主佐佐成政治理不力，领内引发一揆动乱，秀吉派出小西行长与加藤清正共同前往镇压，因功得到肥后南半国宇土郡、益城郡、八代郡二十四万石领地。并於1588年在中世宇土古城之東築起了宇土城作為據點。
小西行長的宇土城作為水城具有優秀的功能，而受到秀吉的指示，從相良氏統治時代開始，這個地區的海外貿易中心八代也築城了麥島城，強化了水利，將重臣小西行重作為城代配置。而行長亦廢除了原本位於山頂的古麓城，將麥島城建在面向球磨川和八代海的河口島上，從護城河中拉出外水作為浮城，所以可以直接乘船出入。除此之外，隈莊城、木山城、矢部城、愛藤寺城為支城，隈莊城任命弟弟小西主殿介、愛籐寺城任命結城彌平次等一族重臣為城代。另外高山右近的舊臣（基督教徒）多數被提拔為家臣。
小西行長 生平
小西行长由一介商人之子跃为官拜从五位下二十四万石的大名。由於在信奉天主教的大名小西行長影響下，傳教活動旺盛，他的領地一帶估計有十萬基督徒，例如據說此時天草的人口的三分之二，約二萬五千是基督教徒；而天草亦有六十多名神父，三十個教會。志岐氏派遣了作為畫家的意大利修士喬萬尼·尼古拉奧的指導下經營聖像學校，教授油畫、水彩畫、銅版畫，製作聖畫、聖像、管風琴和鐘錶等的西洋物。學校在後來的文祿3年（1594年）與有馬半島八良尾的研討會合併，擴大了規模，而行長對這些耶穌會的活動給予了援助和保護。
而行長更指揮着由一萬五千天主教徒組成的軍隊。由於天主教的迅速擴張，引起了傳統的佛教和神道教的反對。
统一日本后的丰臣秀吉对中国产生野心，遣使命令朝鲜借道让他进军中国，但却被朝鲜國王李昖严词拒绝，秀吉大怒发兵攻打朝鲜。在文祿之戰中，秀吉将先锋分为三队，而第一队小西行长擔任水軍兼先鋒部隊，領一万八千人。由于小西行长和女婿宗义智都常年与朝鲜贸易对朝鲜的地理、人文有相当认识，更通晓中朝语言，所以能得到先锋第一队的总大将一职。
小西行長 生平
五月二十四日清晨五点，小西行长率军在釜山登陆，翌日二番队的加藤清正也中午紧接与小西行长会师，然后加藤清正向蔚山一进发，小西行长则沿洛東江直上，率领一万八千人，商人出身且长期担任后备兵站奉行的小西行长深知补给线的重要，在完成兵站的调度后，一路延忠清道逐步北上尚州、忠州，势如破竹地穿过250公里的路程与加藤清正于六月十二日会师中州进据汉城，本来加藤清正一向就瞧不起商家出身的小西行长，所以两人素来不睦，更在汉城为了战利品和战功发生争吵，加藤清正还一刀劈碎了小西视若神明的天主圣像，两人大起争端。
隨后行长与三番队的黑田长政由黄海道北上攻下平安道上的平壤，得到秀吉的赞赏。此时人在义州的朝鲜王李昖急速向明廷告急，明东征总督李如松部队抵达鸭绿江，与小西行长部于平壤交战，史称平壤会战。李如松诱降小西行长未遂，中朝联军发动总攻，佯攻东南将日军兵力调走，然后猛攻平壤城西，并以埋伏的虎蹲炮、射程较远的大将军炮及佛朗机炮轰日军，日军火力不如联军，伤亡惨重，加上弹药库为明军炮火催毁，七星门被炸开，于是小西行长撤出平壤，是役歼灭日军一万二千余人，随后并恢复了朝鲜北部四道，小西行长铺陈的兵站线全被毁坏。
小西行長 生平
眼见战事逐渐不利，秀吉兴起和谈之意，命小西行长负责再次与明使沈惟敬进行讲和及斡旋的事务，提出了日明贸易再开、跟割让朝鲜四道等条件，但随着明神宗一纸"册封丰臣秀吉为日本王"的圣旨，谈判宣告破裂。秀吉再遣十二万兵马进攻朝鲜，小西行长率二番队一万四千人出阵，连夺梁山、三浪、庆州，和宇喜多秀家、加藤清正、島津義弘等日軍參與攻略南原城，後駐軍朝鮮西南部的順天倭城。但期後遭受明軍劉綎的包圍苦守城池，小西行长的左路军只好也随同撤退，于是两军在东南部沿海布阵固守。
丰臣秀吉病殁后，接掌政权的德川家康和前田利家等五大老下命征朝军回国，在顺天的小西行长连忙领兵脱出明、朝联军的劉綎、陳璘及李舜臣的圍攻。在撤退至蔚山时受阻求援于岛津义弘，為此島津義弘連同立花宗茂和高橋統增、小早川秀包、宗義智、寺澤廣高等由海路前往救援，行長則趁陳璘、李舜臣前往截擊日軍援軍於露梁海戰時成功脫出順天城，于十一月。露梁海峡戰事結束后撤退，由于岛津义弘的力战，小西行长才顺利归国。
小西行長 生平
秀吉死后，小西行长与挚友石田三成结为同盟，与德川家康及武斗派家臣对抗。为了拉拢摇摆的小早川秀秋，小西行长与大谷吉继、石田三成、长束正家、安国寺惠琼五人连署誓书，安抚小早川秀秋，并许诺在丰臣秀赖十五岁成年之前，关白一职由小早川秀秋担当，同时以播磨一国相赠以为条件。战前西军于大垣城召开作战会议，岛津义弘及宇喜多秀家认为德川家康军队经过长途的行军后，会感觉疲倦，应趁机夜袭，但石田三成及小西行长却认为这方法太冒险，而决定坚守大垣城。
关原位于美浓西面，为北面伊吹山脉，东南面南宫山，西南面松尾山，西面山中村及南天满山，西北面的北天满山及笀尾山包围住，乃是一个马蹄形的盆地。小西行长军分成两段布阵于笀尾山南面的北天满山，而笀尾山与北天满山之间的街道则是由岛津义弘及岛津丰久两叔侄防守，与小西军相对的南天满山则是宇喜多秀家的阵地。
在井伊直政突袭宇喜多秀家部队引发战火后，形成全面混战，小西行长同时与织田有乐、古田重胜、寺泽广高及金森长近的部队交锋，之后寺泽广高部队亦转来支援金森长近等人，虽是以寡敌众小西行长在与织田有乐等的激战中保持不分高下的局面。开战后四小时，日正中天，已是晌午时分，扎于松尾山的小早川秀秋部队和赤座直保等人发动叛变，对大谷吉继发动攻击。到下午一时，大谷吉继部队被消灭，小西行长部队引起严重混乱，任凭小西行长又鼓励又厉叱，仍无法消除手下兵士不安的心理，最后在东军部队围剿下，小西行长兵败逃往伊吹山。
戰敗後，逃往伊吹山东面的糟贺村的小西行长与当地农民林藏主会面，他深知自己绝无成功逃走的希望，林藏主便劝小西行长切腹以彰武士精神，但是小西行长以基督宗教教义不许自裁为由而拒绝，反劝林藏主缚捕他以获奖赏。九月十九日林藏主将小西行长交至其领主竹中重门手中，竹中重门立即将小西行长送交至德川家康在草津的阵地，林藏主则获赏赐黄金十枚。最後與石田三成和安國寺惠瓊一起在大坂街上遊街，十月初一於六條河原斬首，在三條河原梟首示眾，享年四十三岁。
小西行長 逸話
小西行长在宇土建设修道院和神父馆，設立神父五人和修道師七人，同时在各地建造了教会。行長更在各地设置了孤儿院和施疗院。还有，行長持续为堺市和大坂市等各地的施疗院和为孤儿院提供永久的财政援助。
但堺之商人们取笑行长：“小西摄津守，肥後知行30万石，银子全都不見了，連一貫也沒有存下來！”雖然是揶揄行長，但是能推测商人們暗喻並讚揚行长除了士兵和海军的维持费以及修建和扶困的财政援助以外沒有花费在私人欲望之事上。
小西行长在京都市内游街示众，然後到六条河滩处刑，在三条大桥掛起了他的頭顱。不过，行長的遗体被耶稣会修道院领回了。检查遗体的时候，从和服中发现了给妻子写上的遗书，妻子看了後沒有任何表示，只是心靈相通，心領神會了。
直至公元1601（庆长6）年（行長死後1年），遺書的内容被耶稣会的總会长翻译並报告。遗书最后被这样被總结：“汝今后的所有热忱和紧张，待天神與吾留意和感動。理由是，世界上的一切是善變的，唯獨真心是永恆而不變的。”小西临刑前索杯水，给他一水果他不要，且遗言，武士临终前，仍需顾好自己健康之名言，且以自是教徒，不可切腹自尽。
小西行長 逸話
据说上述的信被耶稣会报告後，罗马教皇克萊孟八世知道小西行長之死的时候都感到叹息。當行长已死的事實在罗马扩散的时候，全羅馬市民把哀悼的祈祷都献给了行長，冀望他能在天國安息。
在公元1607（庆长十二）年（行長死後七年），以行长为题材的音乐剧“ARGOMENTO DELLA TRAGEDIA INTITOLATA AGOSTINO TZVNICAMINDONO”在热那亚共和国（今意大利热那亚）上演，演出內容為行長和內府（德川家康）的纠纷，最後行長戰勝内府的魔鬼得到胜利。
小西行長 家臣
小西長貞 - 小西若狭守，關原之戰時代守麥島城，後戰敗切腹。
益田好次 - 原高山家臣，天草四郎之父，天草十七人眾之一，知行6千石。
森宗意軒 - 又名三左衛門，天草五人眾之一。曾到南蠻數年，會妖術。
水野勝成 - 原徳川家臣，徳川大名水野氏祖，知行1千石。
宇佐美勝行 - 宇佐美定満之子，原上杉家臣。
阿波鳴門之助 - 尼子十勇士其中一人，曾仕於三好家、佐佐家等。
高松憲重 - 出身於讃岐高松的土豪，知行1萬石。
駒木根友房 - 通稱八兵衛。出身於種子島，擅於射擊，曾參與島原之戰。
伊智地文大夫 - 高山右近的義兄弟，死於肥後天草合戰。
千束善右衛門 - 天草五人眾之一。
大矢野松右衛門 - 天草五人眾之一，原本多忠朝的劍術指南役。
山善左衛門 - 天草五人眾之一。
小西行長 家臣
肥後天草之亂平定後，小西行長沒有處決國人眾將領，反而收為已用。
甲斐秋政 - 肥後岩尾城主。
天草久種 - 肥後河内浦城主。
天草種元 - 肥後本渡城主。原天草久種的家臣。
大矢野種基 - 肥後大矢野城主。朝鮮之役戰死。
大矢野種量 - 大矢野種基的次男。朝鮮之役戰死。
大矢野直重 - 肥後大矢野城主。種基的次男。
上津浦種直 - 肥後上津浦城主。
栖本親高 - 肥後栖本城主。梅北一揆時戰死。
栖本通高 - 肥後栖本城主。栖本親高的胞弟。朝鮮之役戰死。
萬代
萬代（日语： Bandai */?）是日本大型玩具供應商之一，成立於1950年，創業者為山科直治。主要以生產GUNDAM系列作品、聖戰士丹拜因等日昇系列動畫的角色模型聞名。
萬代 歷史
萬代（BANDAI）創業時稱為「」，1961年改為現在的名稱，“万代”一名取自中国古代兵书《六韬》中的“万代不易”（即永久不变的意思）。萬代開始發展塑膠模型事業的契機，是從1969年收購了當時陷入經營危機的模型廠商「今井科學」的靜岡工廠以及在內的各種生產模具而開始。以再版今井模型為基礎，從而開發了各種軍事與汽車的模型。特別是「機甲師團系列」（）的合理價格以及重現內部構造的得到一致好評，使該系列模型在1970年代前半與田宮公司的「軍事迷你業餘系列」（）並列為最受歡迎的模型。在1970年代中期曾經一度代理美國Monogram公司的模型，並且在日本全國以低廉價格銷售該公司優良的1/48飛機模型套件。
萬代 歷史
在同時期，萬代也取得了當時東映的熱門電影「卡車野郎（トラック野郎）」的版權，將主角所搭乘的11噸卡車「一番星」模型化。當初雖然只發售了萬代拿手的1/48比例，但是後來也開發了全長55公分的超大型1/20版本，並且經歷25年以上現在仍然生產中。1977年冬天發售的宇宙戰艦大和號展示套件（將大和號的艦首部分變形放大），以及1980年代前半GUNDAM相關模型等等動畫兵器相關的產品都受到熱烈歡迎，從此萬代開始轉型為專業的角色相關模型製造商。萬代在東映特攝片以及日昇（Sunrise）的GUNDAM系列作品當中，經常在一開始就以出資者或共同參與角色設計企畫等方式介入映像作品的製作，並同時進行角色商品化的工作，以便與映像作品同步推出。
萬代 歷史
1980年代後期萬代從設計並銷售任天堂紅白機的相關遊戲開始，進入電子遊戲產業。而主要的遊戲類別也與動漫畫角色為主。在1997年由於連續的經營赤字，世嘉和萬代於1997年宣布合併，成立「世嘉萬代」，但由於以「」為首的一系列電子寵物熱賣使得危機解除、以及萬代員工的反對，而中止這項合併計畫。之後以「PROJECT PEGASUS」（初代高達當中開發白色基地等新型機動戰士母艦的計畫代號）與南夢宮公司成立共同持股的子公司，專責開發高達M系列遊戲。最後在2005年9月29日與南夢宮實施合併，共同成立萬代南夢宮控股。
2018年2月9日萬代進行組織調整，同年2月15日成立子公司萬代Spirits，管理Hobby事業部（拼裝玩具）、Collectors事業部（成品玩具）、IP Location開發部、網路戰略室及從萬普（Banpresto）劃出之景品業務，商標換上藍色。
剩餘業務部門編組成三個事業群：玩具事業群（男童向玩具、女童向玩具、嬰幼兒向玩具,玩具戰略室）、自販機事業群（扭蛋、卡片）、生活事業群（食玩、衣物、生活用品）。
萬代 萬代與GUNDAM的關係
目前GUNDAM系列雖然是萬代角色商品的主力，但是在初代GUNDAM上當時他們並沒有取得商品化的權利。初代電視版機動戰士GUNDAM的贊助廠商是另一個玩具製造商「Clover」（成立於1973年，並於1983年8月破產倒閉），生產的玩具材質也是當時流行的錫鉛合金。由於看好GUNDAM作品所新開創的寫實兵器路線以及愛好者的熱情，在電視版上映終了前後洽談並取得了塑膠模型部分的發售權。最終把初代GUNDAM當中的兵器幾乎全部都出了鋼普拉，並且出資促成了劇場版以及後續作品的製作，以及將創造GUNDAM的動畫公司日昇於1994年2月收為子公司以至2005年和南夢宮合併，成為萬代南夢宮控股的子公司並維持至今（2022年4月1日，日昇更名為萬代南夢宮影像製作）。
萬代 子公司
萬代Spirits - 2018年自萬代與萬普接手鋼普拉等塑膠模型產品、B Train Shorty、TAMASHII NATIONS（含S.H.Figuarts、超合金系列、ROBOT魂、聖鬥士聖衣神話等），以及Premium Bandai官方購物網站、THE GUNDAM BASE、鋼彈咖啡廳、Gundam Square的營運；亦承接一番賞、CRANEKING等品牌。
神农本草经
《神農本草經》，簡稱《本草經》，是现存最早的中药学专著，作者相传为神農氏，约成书于秦汉时期。書內記載的藥物凡365種，分上品、中品和下品三品。原书早已佚失。南朝陶弘景为《神農本草經》做注，并补充《名醫別錄》，編定《本草經集注》共七卷，把藥物的品種數目增加至七百三十多種。清朝孫星衍将《神农本草经》考订辑复，成为现在通行本。
《神农本草经》为中国现存较早的本草学、药物学重要文献，其通过将药分为三品，即君（无毒的药，称上品）、臣（毒性小的药，称中品）、佐使（毒性剧烈，称下品），而首次提出了君臣佐使的方剂理论，该书还首提七情和合的配伍原则与辨证用药的思想，是中医药理论体系形成的标志之一，奠定了中药学的基本理论构架。
神农本草经 成書問題
《漢書·藝文志》登載了「《神農黃帝食禁》七卷」與「《神農》二十篇」兩種文獻，前者歸屬於「經方家」，後者則為「农家」，東漢的班固解釋「《神農》二十篇」為六國時期諸子擔心諸侯荒怠農事，故託言是神農所作，成書於西漢之前的「《神農》二十篇」並不是登載各種草石功效的《神農本草經》。
清人孫星衍認為這部書或有可能源自神農、黃帝之時，當時雖無文字，但藥石知識相傳不絕，經過歷代名家修訂、增補（例如：吳普的《神農本草》六卷），屢有闕佚，今本遠非古本之舊。
大致上，西漢已有「本草」之名，亦有託言「神農、黃帝」之食禁書、經方家言，這雖為今本《神農本草經》之濫觴，但已非古本《神農黃帝食禁》面貌。
胡安·卡洛斯·瓦斯莫西
胡安·卡洛斯·瓦斯莫西·蒙蒂（西班牙語：，1938年12月15日—），巴拉圭总统（1993年-1998年）。
生於巴拉圭亚松森，瓦斯莫西是巴拉圭的著名企业家，他领导的企业财团曾参加世界最大的水电工程伊泰普水电站的主体工程建设。
他1958年加入红党。1993年作为红党总统候选人参加大选，同年5月9日大选当选为巴拉圭第44任总统。也是巴拉圭40年来的第一位文职总统。1993年8月15日宣誓就职。
布里斯托尔城足球俱乐部
布里斯托尔城足球俱乐部（英語：）是位於英格蘭西南部布里斯托尔的職業足球會，現時於英格蘭足球聯賽系統的第二級別，英格蘭冠軍足球聯賽作賽。
布里斯托尔城足球俱乐部 主場球場
阿斯顿·加特球场（英語：）是位於英格蘭單一管理區布里斯托尔阿斯頓閘門（Ashton Gate）的體育場，為布里斯托尔城足球俱乐部的主場球場，而同市的布里斯托欖球隊（Bristol Rugby）於2014年遷入共用球場。位於城市的西南方，在雅芳河南岸，球場全坐席可容21,497人，而當進行足球賽事時其有效容量約為19,500人。
看台
始建於1928年的「韋德洛克看台」（Wedlock Stand）可容5,500名觀眾；「威廉斯看台」（Williams Stand）始建於1958年，只供主場球迷入座，可容5,553名觀眾；「杜爾曼看台」（Dolman Stand）位於「威廉斯看台」對面，以球會前主席及會長亨利·杜爾曼（Harry Dolman）的姓氏命名，建於1970年，是四面看台中最宏偉的一座，可容6,195名觀眾；球場最新建成的「亞泰歐看台」（Atyeo Stand），建於1994年，以名宿約翰·亞泰歐（John Atyeo）的姓氏命名，設有球員更衣室，只供主場球迷入座，可容4,249名觀眾。
布里斯托尔城足球俱乐部 主場球場
重建
於興建新球場計劃觸礁後，布里斯托城最終決定在阿斯顿·加特原址進行重大的重建工程。重建計劃於2013年底獲批准，翌年春季取得最後放行許可，工程於2013/14年球季最後一場主場賽事結束後隨即展開。
重建計劃包括：
工程預計於2016/17年球季完成。
布里斯托尔城足球俱乐部 敵對球隊
布里斯托尔城的本地打比對手是，兩支球隊及球迷水火不相容，布里斯托尔城的球迷主要在市內南部而流浪的球迷來自東部，其對賽被稱為「布里斯托打吡」（Bristol derby），以下為雙方歷來對賽成績：
SCIM
SCIM（Smart Common Input Method）是一個支援多國語言的輸入法平台，虽然它的设计着眼于通用性，但是鉴于Windows之类的桌面OS有较完整的原生机制，所以SCIM更多还是用在UNIX／类UNIX环境中。它曾經作爲多數Linux發行版中文默認輸入法。
SCIM 簡介
SCIM的目標是建造一个通用的输入法开发平台，用以简化输入法的开发和维护。它擁有極清晰的結構和容易使用但功能強大的操作介 面。并包括完整的 XFree86 窗口系统输入法应用程序
SCIM使用C++程式語言寫成，它將輸入平台的介面分為數個不同的等級，而這些等級是互相獨立並且容易使用的。因此，開發者可以很容易寫出新的輸入法，而且只須數行程式碼。
SCIM有著高度模組化的特徵，大部份組件皆可編譯為動態的可載入模組，所以可以如使用者所願隨時執行程式。舉例來說，為SCIM所寫的輸入方法為IMEngine模組，使用者可以使用這個模組配搭不同的前端程式，如SKIM來使用，這大大的方便了使用者。
SCIM對比XIM或IIIMF使用較高級的程式庫，所以擁有更容易使用的介面。而且可以與XIM或IIIMF並存。SCIM亦支援客製化的輸入法介面，如GTK+2介面模組及qt 介面模組。
SCIM 配置方法
SCIM本身基本不用配置，默认参数在绝大多数情况下能够正常工作。如需配置，可以使用四个配置模块中的任意一个完成——gconf, simple, socket 和 dummy， 默认使用simple。
如果X11客户端进程需要使用SCIM输入服务，就要配置这个进程的环境变量XMODIFIERS
export XMODIFIERS="@im=SCIM"