laion/Wikipedia-Exotic huggingface dataset:
桃園市六和高級中等學校

桃園市私立六和高級中學，全名為六和學校財團法人桃園市六和高級中學，簡稱六和高中，為一所位於臺灣桃園市平鎮區的私立高級中學。1956年創校，2001年遷移校址至今。早年稱為「六和高工」。設有普高、職高、國中部以及實技班。職高設有機電科、資訊科、應用外語科（日文組（於111年起停招）、英文組）、資處科（於104學年度起停招）、汽修科（於96學年度起停招）、多媒體應用科（於104學年度起招生）。其中實技班已於97學年度起停招新生。 24°56′46.33″N 121°11′7.67″E﻿ / ﻿24.9462028°N 121.1854639°E﻿ / 24.9462028; 121.1854639
子类型

在编程语言理论中，子类型（动名词，英語：subtyping）是一种类型多态的形式。这种形式下，子类型（名词，英語：subtype）可以替换另一种相关的数据类型（超类型，英語：supertype）。也就是说，针对超类型元素进行操作的子程序、函数等程序元素，也可以操作相应的子类型。如果 S 是 T 的子类型，这种子类型关系通常写作 S <: T，意思是在任何需要使用 T 类型对象的环境中，都可以安全地使用 S 类型的对象。子类型的准确语义取决于具体的编程语言中「X 环境中，可以安全地使用 Y」的意义。编程语言的类型系统定义了各自不同的子类型关系。 由于子类型关系的存在，某个对象可能同时属于多种类型，因此，子类型（英語：subtyping）是一种类型多态的形式，也被称作子类型多态（英語：subtype polymorphism）或者包含多态（英語：inclusion polymorphism）。在面向对象程序设计中，多态一般仅指这里所说的「子类型多态」，而「参数多态」则一般被称作泛型编程。 子类型与面向对象语言中（类或对象）的继承是两个概念。子类型反映了类型（即面向对象中的接口）之间的关系；而继承反映了一类对象可以从另一类对象创造出来，是语言特性的实现。因此，子类型也称接口继承；继承称作实现继承。 右图中给出了子类型的一个简单实际例子。一般性对象“鸟”（或超类型）引发了三个派生对象（或子类型）“鸭子”、“杜鹃”和“鸵鸟”。每个都以自己的方式改变了基本的“鸟”的概念，但仍继承了很多“鸟”的特征。一个数据对象可以被声名为这四种类型中任何一个。这个图中使用了 UML 符号，箭头指示方向和超类型和它的子类型之间的联系。 在多数基于类的面向对象编程语言中，子类引出子类型：如果 A 是 B 的子类，则类 A 的实例可以用在期望类 B 的实例的任何上下文中；所以我们称 A 是 B 的子类型。一个结论就是声明有类型 B 的任何变量或形式参数在运行时间可以持有类 A 的一个值；在这种情况下很多面向对象编程者会声称 B 是这个变量的“静态类型”而 A 是它的“动态类型”。这个规则的例外包括 C++语言中的私有继承（它不建立子类型），和 Eiffel 语言中在派生类型上特定运算，在其中继承自基类的特征可以用违反子类型规则的方式去除或修改。 另一个例子是可以允许整数值被用在期望浮点数值的地方，或可以定义包含整数和实数二者的一个类型 number 的语言。在第一种情况下，整数类型将是浮点数类型的子类型；在第二种情况下，这两个类型都是 number 的子类型而相互之间无子类型关系。 编程者可利用子类型来以比没有它更抽象的方式来写代码。考虑下面的例子: function max (x as number, y as number) is if x < y then return y else return x end 如果整数和实数都是 number 的子类型，则二者任何类型都可以传递给这个函数。为此，子类型经常被认为是一种形式的多态性。上述例子也可以比较于 C++ 语言的模板。 在类型论中，子类型关系经常写为 <:，有着 A<:B 意味着 A 是 B 的子类型。在类型论中子类型可用如下事实来特征化，如果 A<:B，类型 A 的任何表达式也可被给予类型 B；立法这个特征化的形式类型规则叫做“包容”规则。 类型理论研究者区分两类类型系统： 名义子类型（英语：nominal type system），在其中只有类型声明的名字相同才算是相同类型，子类型关系必须被显式声明。C, C++, C#, Java, Objective-C等语言均属于这类。 结构子类型（英语：structural type system），在其中两种类型的结构组成决定了一种类型是否是另一种类型的子类型。 上面描述的基于类的面向对象子类型描述是名义的；面向对象的结构子类型规则可以声称，如果类型 A 的一个对象能处理类型 B 的对象能处理的所有消息（就是说，如果它们定义都同样的方法），则 A 是 B 的子类型，不管二者任何一个是否从继承自其他对象。不是对象类型的类型的健壮的结构子类型规则也是周知的。 带有子类型的编程语言实现可分为两大类: 如果 A<:B，类型 A 的任何值的表示也表示类型 B 的相同值，则为“包含实现”（inclusive implementation）。 类型 A 的值可自动的转换成类型 B 的值，则为“强制实现”（ coercive implementation）。即类型强制转换之意。 在面向对象语言中子类型所导致的子类型通常是包含的；联系整数和浮点数的子类型关系，它们有不同表示，通常是强制的。 在定义子类型关系的几乎所有类型系统中，它是自反的（意味着对于任何类型 A 有 A<:A）和传递的（意味着如果 A<:B 并且 B<:C 则 A<:C）。这得到了在类型上的预序。 记录是命名的域（field）的集合。记录类型（types of records）的子类型化包括宽度与深度两种方式。 宽度子类型化（width subtyping）：给记录增加更多的域。 深度子类型化（depth subtyping）：把超类型（supertype）的域替换为域的子类型。这仅能用于只读（immutable）记录。 对于函数类型T1 → T2，其子类型为S1 → S2，则T1 <: S1且S2 <: T2。参数类型S1 → S2为逆变，返回类型为协变。 允许副作用的语言，如大部分面向对象语言，子类型化还不足以保证安全在另一个上下文中使用。行为子类型化要求保持不变。 可变引用（mutable reference）的子类型化类似于函数参数与返回值的处理。只写引用是逆变的；只读引用是协变的；可变引用是不变的。 在强制子类型化系统（coercive subtyping system），子类型通过从子类型到超类型的隐式类型转换函数得以定义。对于每个子类型关系 (S <: T)，一个强制关系coerce: S → T，使得任何对象s 为类型S，可以视作对象coerceS → T(s)具有类型T。类型强制函数可以复合：如果S <: T且T <: U，难么s 可以看作类型u在复合强制关系(coerceT → U ∘ coerceS → T)。类型到其自身的coerceT → T是同一函数idT Barbara Liskov, Jeannette Wing, A behavioral notion of subtyping （页面存档备份，存于互联网档案馆）, ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 16, Issue 6 (November 1994), pp. 1811 - 1841. An updated version appeared as CMU technical report: Liskov, Barbara; Wing, Jeannette. Behavioral Subtyping Using Invariants and Constraints (PS). July 1999 [2006-10-05]. （原始内容存档于2012-08-30）.  Object-Oriented Software Construction by Bertrand Meyer 计算机科学主题 派生类型是给出新类型但结构上同于最初类型的类型。依赖于类型系统，它可以是也可以不是子类型。 基于类的编程有混淆了子类型和子类导致的问题的一个例子。
东埔农场

东埔农场是位于中国广东省揭阳市惠来县的一个國營農場，隶属于广东省农垦集团公司揭阳分公司（揭阳农垦局）。所在区域列为惠来县的一个类似乡级单位。 下辖以下地区： 东湖社区、​东埔村、​南湖村、​石佛村、​鸡岗村和乌树林村。 2023年惠来县统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.  2023年东埔农场统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
葵潭农场

葵潭农场是位于中国广东省揭阳市惠来县的一个國營農場，隶属于广东省农垦集团公司揭阳分公司（揭阳农垦局）。所在区域列为惠来县的一个类似乡级单位。 下辖以下地区： 场部社区、​南湖村和湖美村。 2023年惠来县统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.  2023年葵潭农场统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
青坑林场

青坑林场是位于中国广东省揭阳市惠来县的一个國營農場、县属事业单位。所辖区域列入为惠来县的一个类似乡级单位。 根据《国有青坑林场改革实施方案》（惠府〔2017〕26号），明确青坑林场为公益二类事业单位。行政由惠来县政府管理，各项业务工作由对口各有关职能部门指导和管理。 国家统计局网站上，下辖以下地区： 桃树岗村虚拟社区。 关于审计意见整改落实情况的报告 揭市林函〔2019〕8号. 揭阳市人民政府网站，来源：揭阳市林业局. 2019-01-09 [2024-08-12] （简体中文）.  2023年惠来县统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.  2023年青坑林场统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
大池农场

大池农场是位于中国广东省揭阳市普宁市的一个國營農場，隶属于广东省农垦集团公司揭阳分公司（揭阳农垦局）。所在区域列为普宁市的一个类似乡级单位。 下辖以下地区： 军坡村、​福新村、​大池村、​埔光村、​老丰村、​新星村、​柑园村和金钟村。 2023年普宁市统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.  2023年大池农场统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
马鞍山农场

马鞍山农场是位于中国广东省揭阳市普宁市的一个國營農場，隶属于广东省农垦集团公司揭阳分公司（揭阳农垦局）。所在区域列为普宁市的一个类似乡级单位。 下辖以下地区： 马鞍山村、​新圩村、​汉塘村、​里仁潭村、​泰盘村、​谢家洋村和落湖坝村。 2023年普宁市统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.  2023年马鞍山农场统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
大坪农场

大坪农场是位于中国广东省揭阳市普宁市的國營農場，隶属于广东省农垦集团公司揭阳分公司（揭阳农垦局）。所在区域列为普宁市类似乡级单位。 下辖以下地区： 梅星社区、​石镜美村、​凉亭村、​桐树下村和大坪尾村。 2023年普宁市统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.  2023年大坪农场统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
三坑农场

三坑农场位于中国广东省揭阳市普宁市大南山街道，隶属于普宁市农业农村局，辖区列为普宁市的一个类似乡级单位。 国家统计局网站上，下辖以下地区： 三坑农场虚拟生活区。 普宁市人民政府关于广东利泰大健康产业股份有限公司三坑矿泉水矿区范围的公告. 普宁市人民政府网站，发布机构：普宁市人民政府办公室. 2021-05-11 [2024-08-12] （简体中文）.  普宁市市场监督管理局对食品相关产品企业开展监督检查情况公示. 普宁市人民政府网站. 2023-01-13 [2024-08-12] （简体中文）.  十四届市委第一轮第六巡察组巡察市农业农村局工作动员会议召开. 普宁市人民政府网站，发布机构：普宁市农业农村局. 2022-03-15 [2024-08-12] （简体中文）.  普宁市农业农村局领导班子工作分工. 普宁市人民政府网站，发布机构：普宁市农业农村局. 2024-03-18 [2024-08-12] （简体中文）.  2023年普宁市统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.  2023年三坑农场统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
嘉兴三塔

三塔位于浙江省嘉兴市西门外京杭运河边，始建于唐代，据《嘉禾志》记载：“此处有白龙潭。水深流急，行舟过此多沉溺。”人们推测“潭中有白龙兴风作浪，于是运土填潭，建三塔以镇之。” 三塔于清光绪二年（1876年）重建，三塔后为茶禅寺，唐代名龙渊寺，乾隆南巡经此，曾在寺中饮茶赋诗，题匾“赐名”茶禅寺。清代“茶禅夕照”为嘉禾八景之一。 文革期间（1971年）三塔被拆除造水泥厂，塔砖一部分用于修人民广场。1999年拆水泥厂在原址重建三塔。 三塔均为九层砖塔，中间一座稍高，约15米，塔内无梯可攀，每层壁龛嵌铁制浮雕佛像，饰白、黑、红三色。 明末项圣谟画过一幅《三塔图》，现藏于上海博物馆。 清道光十四年翁小海所画《三塔图》，现藏于嘉兴博物馆。 1926年，美国出版的《国家地理》杂志内刊登了三塔照片。 1930年，日本出版《世界地理风俗大系》第三卷，三塔照片作为大运河的标志之一出现。 丰子恺画过一幅三塔，画名是《嘉兴写景》，中间那座塔，已无塔刹。
乌石农场 (普宁市)

乌石农场是位于中国广东省揭阳市普宁市一个类似乡级单位。 下辖以下地区： 乌石农场虚拟生活区。 2023年普宁市统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.  2023年乌石农场 (普宁市)统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
普宁市科技工业园

普宁市科技工业园是位于中国广东省揭阳市普宁市西北部的开发区。面积90公顷，以科技工业园之名列为普宁市的一个类似乡级单位。 工业园创建于2001年，园区内以制药和纺织服装产业为主，有制药、纺织服装、电器、炉具、食品、印刷和化纤等企业12家，总投资10多亿元。2011年工业总产值29.23亿元，上缴各种税收1.41亿元。管理园区的管委会为普宁市人民政府下属的公益一类事业单位，下设办公室、企业引进管理股、经济信息股、规划开发管理股。事业编制19名，至2023年12月底，实有干部职工17人。 国家统计局网站上，科技工业园下辖以下地区： 科技工业园虚拟社区。 普宁市主要工业园区简介. 普宁市人民政府网站，来源：普宁市情. 2018-12-29 [2024-08-13] （简体中文）.  2023年普宁市统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.  2024年普宁市科技工业园管理委员会部门预算. 普宁市人民政府网站. 2024-03-18 [2024-08-12]. （原始内容存档于2024-08-12） （简体中文）.  2023年科技工业园统计用区划代码和城乡划分代码. 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
土地主

土地主（英語：Landlord），又名地主或業主，他們是土地、地皮的業權持有人，通常也是土地使用權的出租者。 成為地主有多種目的： 炒家買入等土地升值 地產發展商的建屋儲備 出租作收租投資 明朝中葉以後，缙绅地主迅速崛起。士大夫一旦得志，其精神日趋于求田问舍。地主憑藉政治特权，大肆兼并耕地，造成子粒不归于公廪。江浙权豪庄田阡陌连亘，一家而兼十家之产。 在中國大陸的農村，地主即是耕田土地的主人，出租土地給農夫（佃農）耕作，按協議徵收耕作物的百分點作租金。而土地的终极所有者是國家，所以地主也要向中央政府交付地租。一些地主甚至擁有佃農新婚妻子的初夜權。 秦汉以後，朝廷都想辦法抑制地方強豪。對日抗戰期間，國民黨失去對东南沿海通商城市的管控，国民党只能把稅收负担全部移到农村，在這些貧農看來國民黨反倒是土豪劣紳。這也種下日後共產黨得天下的原因之一。1949年國民黨的《中央日报》就曾指斥杜月笙是“买办流氓、土豪劣绅”。當年10月1日中華人民共和國成立後，中共實施土地改革運動將私土盡數收歸國有並武力鎮壓紳士階級，進而出现「四大惡霸地主」的樣板藝術。 日本著名土地主家族包括東北三大地主（日语：東北三大地主）的本間氏（日语：本間氏）、新潟縣的「千町歩」地主市島家（日语：市島酒造）和伊藤文吉（日语：伊藤文吉）以及「山林地主」田部長右衛門（日语：田部長右衛門 (23代)）、堤義明和琉球的不動產商、「軍用地主」竹野家（日语：沖縄土地住宅）等。此外，日本據有最多土地的500大企業中，三菱地所、JR東海、住友不動產、JR東日本和三井不動產名列前五位。 美國土地投資者雜誌《土地情報（英语：The Land Report）》長期追踪美國最大土地所有者，並於每年定期公布美國百大地主名單，諸如約翰·馬龍（英语：John C. Malone）、阿奇·阿尔迪斯·埃默森（英语：Archie Aldis Emmerson）、里德家族（英语：Reed family）、泰德·透納、斯坦·克倫克、欧文家族（英语：Irving Family）、辛格尔顿家族（英语：Henry Earl Singleton）、布拉德·凯利（英语：Brad M. Kelley）、金牧場（英语：King Ranch）、彼得·巴克等企業家或家族長年名列前十。美國的土地主多以農場、牧場為主要投資項目。 英國登記在案的50大土地主之中，名列前茅的分別為林業委員會（英语：Forestry Commission）、英國國防部、英國國民信託和蘇格蘭國民信託、王室地產、英国皇家鸟类保护协会、巴克盧公爵、丹麥首富安德斯·霍尔希·波维森（英语：Anders Holch Povlsen）、环境、食品和乡村事务部、 阿索爾公爵的信託基金、联合公用事业、西敏公爵、康沃爾公爵以及英格蘭教會等組織。 據2021年1月英國《新政治家》雜誌記載，澳大利亞礦業巨頭吉娜·萊因哈特擁有1200萬公頃的澳洲土地。1992年，其自父親手中繼承了漢考克勘探公司（英语：Hancock Prospecting）並繼任為董事長。截至2016年，她擁有的土地總量已超過了澳洲國土面積的百分之1.5。其次，創辦於1824年的澳大利亚农业公司為該國最古老的企業之一，於英國大亨喬·劉易斯（英语：Joe Lewis (British businessman)）成為該公司的最大股東後，在昆士蘭和北領地擁有並經營700萬公頃的土地。另外，該國最大的牧業公司北澳大利亞牧業公司（英语：North Australian Pastoral Company）持有牧場同樣遍布於昆士蘭、北領地和亞歷山大等地區，總面積約達610萬公頃，與其他澳洲四大農牧家族（Tom Brinkworth、Sterling Buntine、Malcolm Harris、Viv Oldfield）並列該國最大地主之列。 《西园闻见录》卷四，《谱系》。 《明宪宗实录》卷二三一。 《明英宗实录》卷五，宣德十年五月。 马俊亚：《近代苏鲁地区的初夜权：社会分层与人格异变》，《文史哲》2013年1期 《本党历史的新页》，1949年7月18号 ｢土地の保有額が大きい｣500社ランキング. [2023-06-26]. （原始内容存档于2023-06-26）.  Mark, Michelle. Meet America’s top 10 land barons, who collectively own more than 13 million acres across the country. Business Insider. 18 August 2017 [14 December 2018]. （原始内容存档于2023-06-26）.  2012 Land Report 100. The Land Report. [December 26, 2012]. （原始内容存档于2023-01-12）.  THE UK'S 50 BIGGEST LANDOWNERS REVEALED – LOVEMONEY.COM. [2023-06-29]. （原始内容存档于2023-06-29）.  How many of the world's largest landowners are Australian? Top 10 Largest Landowners in the World. [2023-06-26]. （原始内容存档于2023-06-26）.  階級成分 私有財產 物權法 不在地主所有權 國有化，又名「充公」。 官地 合約法 租約 土地改革 投資者 富豪 貴族 封地 封建主義 丁屋 赵冈：〈简论中国历史上地主经营方式的演变 （页面存档备份，存于互联网档案馆）〉。 赵冈：〈地主经济制质疑 （页面存档备份，存于互联网档案馆）〉。 赵冈：〈试论地主的主导力 （页面存档备份，存于互联网档案馆）〉。
流浪者 (印度電影)

《流浪者》是1951年的印度黑白電影，由當年二十七歲的青年導演拉吉·卡浦爾執導並主演苦兒拉茲，他的父親於片中飾演拉恭奈特法官，納吉絲飾演麗達，此外導演的不少家人也在片中出演。 此片不僅當年在印度獲得空前成功，打破歷來票房記錄，而且後來轟動了蘇聯、中國大陸、羅馬尼亞、土耳其等國。 2005年， 該片被《印度時報》評為「歷來頭二十五齣不可不看的影片」。 大法官拉贡纳特素来堅信「贼的儿子就一定是贼」这一理论，这种以血缘关系来判断一个人德行的谬论倒頭來害了不少好人。23年前他曾以此为据错给强盗的儿子扎卡判了罪。无辜的扎卡设法越狱后，成了真正的罪犯。他决心对法官进行报复，一天晚上突然将其妻子里列抢去。当他知道里列已經怀孕，就故意放她回家，并四处散佈謠言，使得法官对無辜的妻子產生猜疑。当里列回家以后，法官果然认为妻子已经受辱了对他不再忠貞。他不顾里列的苦口解释，硬是抛弃了當時正要分娩的妻子。从此里列过上流浪的生活，不久她在一个凄风苦雨的夜晚將拉兹降生在大街上。 少年拉茲本来是学校里的学生，喜欢读书，并在學校結識了少女麗達（Rita）成为青梅竹马。但因为家庭贫困，母亲生病而不得不半工半读去街头擦皮鞋，并因此被学校开除。拉兹想找富家女的麗達为他求情，却得到麗達已经搬家的消息。在饥难困苦之中，扎卡趁机教唆拉兹成了小偷，后来继续成长为了慣偷，多次入狱共度过12年铁窗生涯。期间，扎卡一直以其师傅的身份唆使他变坏，以实现其报复拉贡纳特的目的。 然而，拉兹和麗達，在兩人的内心却始終沒有把對方忘懷。拉茲成年后，在一次偷竊中鬼使神差地重遇見麗達──這時她是個楚楚动人的贵族小姐。他愛上了麗達並萌發改邪歸正的意念，皎洁的月光如此動人，他们在海面小舟上揚起風帆，一同去找尋相愛的喜悅。但是流氓團伙的頭子扎卡（Jagga）卻不停地要拉茲去偷盜，并暴力威胁他。拉兹本已金盆洗手去工厂做工，却被扎卡一伙暗中作梗，经理以偷盗前科为理由开除了拉兹。 拉兹的内心十分煎熬，他不想伤害麗達，但社会又不给他做正当职业的机会。就在此时，他接到了麗達生日的请帖。故事重回儿时伏笔，拉兹要为她精心选择一个礼物。困窘中的拉兹不得已盗窃了已成为麗達监护人的拉贡纳特买的贵重项链，并在宴会中被麗達和拉贡纳特发现真相，从而彻底触怒拉贡纳特，他决心一定不成全二人的姻缘。 恶贯满盈的扎卡在一个被追捕的夜晚逃入了拉兹家，遭到拉兹母亲里列的怒斥并要呼救，扎卡试图杀死她。危急时刻拉兹回来并为了救母与扎卡搏斗，最终杀死扎卡。警察随后逮捕了拉兹。 拉兹被控谋杀，由大法官拉贡纳特审判。对拉兹心存成见的拉贡纳特准备给拉兹定罪。此时拉兹却得到了善良的实习律师麗達帮助，深谙法律的她做出了正当防卫无需担罪的判断，并得到受害人-里列的关键口供和笔录。但不幸的里列却被拉贡纳特的轿车撞成重伤，临终告知拉兹他的身世，后在痛苦和忧虑中遗憾离世。 最後，拉茲知曉自己的身世和父親拋棄母親的真相，心中充滿怒火，在候審判期間设法从狱中逃了出来，意圖刺殺生身父亲──即法官拉贡纳特，卻失手被擒。法庭更换了法官重新审理拉兹刺杀拉贡纳特一案。已成为律师的麗達在法庭上為他做了精彩的辯護，而拉兹自辨的辩词也称为本片最深刻和最震撼的部分，他说今日你们审判的不是我一个人，而是所有贫民窟中的孩子。如果不想办法给他们教育和生存的权利，他们长大后，还会有千千万万个我，重新走上这条路。 影片結束，拉贡纳特终于良心发现痛悔当初。麗達的辩护和拉茲的自辨产生效果，拉兹被轻判三年有期徒刑。他的悲惨经历证明了所謂「贼的儿子就一定是贼」血统论的徹底荒谬，而麗達卻矢意要等待他出獄。 影片中共有歌曲十一首。 《流浪者之歌》（又譯：《拉茲之歌》，即影片主題曲──《Awaara Hoon》） Ghar Aaya Mera Pardesi 《帆船之歌》──《Dum bhar Jo Udhar Muh Phere》 《海風之歌》──《Tere Bina Aag Yeh Chandani》 《丽达之歌》──《Ab Raat Guzarne Wali Hai》 （印地語：अब रात गुज़रने वाली है） Ek Bewafa Se Pyar Kiya Ek Do Teen Hanste Bhi Rahe Rote Bhi Rahe Hum Tujhse Mohabbat - Awaara Jab Se Balam Ghar Aae Naiya Teri Manjhdar 當年淨得一千二百萬印度盧比，此記錄一直維持至次年，才被由梅赫布·罕（Mehboob Khan）導演的影片《暗（Aan）》打破。 普利特維拉·卡浦爾（Prithviraj Kapoor）：飾演拉恭奈特法官 拉吉·卡浦爾（Raj Kapoor）：飾演拉茲·拉恭奈特 納吉斯（Nargis）（法提瑪·拉什德）：飾演麗達 李拉·屈尼絲（Leela Chitnis）：飾演母親麗拉·拉恭奈特 K.N.辛格（K.N. Singh）：飾演流浪者頭領 李拉·米絲拉爾（Leela Mishra）：飾演拉恭奈特法官之弟媳 庫庫（Cukoo）：飾演酒吧中舞者 海倫（Helen）：飾演街頭舞者 沙希·卡浦爾（Shashi Kapoor）：飾演少年拉茲 1955年由长春电影制片厂译制。是中国公映的第一部印度电影。 翻译：尹广文 译制导演：徐明 配音 拉茲：丛连文 拉恭奈特法官：白景晟 母親麗拉：白玫 小麗達：张桂兰 互联网电影数据库（IMDb）上《流浪者（Awaara）》的资料（英文） 豆瓣电影上《流浪者（Awaara）》的資料 （简体中文） Rediff.com的回顧文章 （页面存档备份，存于互联网档案馆）
師徒

師徒是指師父與徒弟的關係；師父也作師傅是前輩，是學問、武功、技術、工藝、信仰的傳授者；而徒弟亦作學生，是晚輩。 受儒家文化影響，東亞傳統師徒關係往往是要求尊師重道，而師傅和徒弟一起生活，師徒之間往往形式一種有如父母和子女的關係，這種關係是終身的，所謂「一日為師，終身為父」，而傳統拜師儀式也是結誼儀式之一。當徒弟的不像學生上學一般，每天未必都有新的知識傳授，甚至跟隨師傅幾年，也只是當童工、傭人而已；但他們並不像學生那樣需要按時交學費，而是要為師傅工作，同時師傅會供應徒弟的日常生活所需。 隨著學校制度與免費教育普及，師徒制在現代社會已經較少見，但一些傳統藝術、文化的傳承如戲曲、武術等以及宗教修行（如佛教、道教等）或某些特定行業如大律師仍有師徒制。 苏格拉底 → 柏拉图 → 亚里士多德 → 亚历山大大帝 弗洛伊德 → 荣格 本杰明·格雷厄姆 → 沃伦·巴菲特 孔子 → 颜回、子路、子贡、子夏、有若……（参见：孔子的三千弟子和七十二贤人及孔子弟子列表） 子夏 → 魏文侯 荀子 → 韩非子、李斯 鬼谷子 → 张仪、苏秦、孙膑、庞涓、毛遂、徐福 温庭筠 → 鱼玄机 康有为 → 梁启超 → 徐志摩 梁赞 → 陈华顺 → 叶问 → 李小龙 楚原 → 馮淬帆 于占元 → 「七小福」元龍、元樓、元彪、元奎、元華、元泰、元武等人。 相聲演員師承關係 菩提老祖 → 孙悟空 唐僧 → 孙悟空、猪八戒、沙僧 小龍女 → 楊過 門徒 道統 學徒制度：在職訓練的一種，但晚近的師徒制度含意已跳脫學徒制的觀點，特別是採導師制（mentoring）的概念時，其與傳統學徒制度的意涵-在職訓練-差異更大。 师弟：比自己小的、师父的徒弟 师兄：比自己大的、师父的徒弟 师娘/师母：师父的妻子 师爷：师父的师父 太师爷/曾师爷/太师祖/曾师祖：师爷的师父 高师爷/高师祖：曾师爷的师父 玄师爷/玄师祖：高师爷的师父 来师爷/来师祖：高师爷的师父 晜师爷/晜师祖：来师爷的师父 仍师爷/仍师祖：晜师爷的师父 云师爷/云师祖：仍师爷的师父 耳师爷/耳师祖：云师爷的师父
天主教麴町教會

天主教麴町教會（日语：カトリック麹町教会／カトリックこうじまちきょうかい katorikku kōjimachi kyōkai */?），又稱聖依納爵堂（或譯聖依納爵教會；日语：聖イグナチオ教会／せいイグナチオきょうかい sei igunachio kyōkai，英語：St. Ignatius Church），是位於日本東京都千代田區麴町的天主教教堂，由耶穌會牧養，緊鄰上智大學與四谷站。教堂名取自耶穌會會祖依納爵·羅耀拉。第一代教堂最早約在1933年前後竣工，在1945年東京大空襲時燒毀。1947年12月2日，教堂開始重建，並在1949年4月17日祝聖啟用。1995年至1999年，教堂進行改建，始成今貌。現在該教堂是日本信徒人數最多的天主教堂區之一。 カトリック麹町　聖イグナチオ教会　- ミサ・ゆるしの秘跡の時間. [2019-09-21]. （原始内容存档于2021-02-01） （日语）.  《聖イグナチオ教会 献堂15年記念写真集》 伊藤保 著（1964年） 《聖イグナチオ教会 献堂25年記念誌》 伊藤保 編著（1974年） 《巨きな木の舟　聖イグナチオ教会献堂45周年記念写真集》（1992年） 维基共享资源上的相关多媒体资源：天主教麴町教會 官方網站 （页面存档备份，存于互联网档案馆）（日語）（英文）（西班牙文） 天主教麴町教會 （页面存档备份，存于互联网档案馆） - 天主教東京總教區（日語）
JR東日本總部大樓

JR東日本總部大樓（日语：JR東日本本社ビル）是位於日本東京都澀谷區代代木二丁目的一座大樓，為東日本旅客鐵道（JR東日本）的總部，鄰近新宿站南口。1994年9月動工，1997年7月竣工、同年9月啟用。地上部分有28層，地下部分有4層，最高部分高150.15米。 在搬遷至現在的建築之前，JR東日本總部設於原日本國有鐵道的總部大樓。日本國有鐵道總部大樓位於東京都千代田區丸之內一丁目6番5號，在1962年12月竣工。國鐵分割民營化之後，日本國有鐵道總部大樓先作為JR東日本總部大樓使用；後JR東日本將該地出售，大樓被拆除。原日本國有鐵道總部大樓用地現在是丸之內OAZO（日语：丸の内オアゾ）。 『東日本旅客鉄道株式会社二十年史 1987.4-2007.3』449頁 「JR東日本発足からのあゆみ」『会社要覧2012-2013』PDF - 東日本旅客鉄道 『土木建築工事画報 第11巻第7号 （页面存档备份，存于互联网档案馆）』 工事画報社、昭和10年（1935年）7月。 鉄道省新庁舎建築基礎工事 （页面存档备份，存于互联网档案馆） 『土木建築工事画報 第12巻第8号 （页面存档备份，存于互联网档案馆）』 工事画報社、昭和11年（1936年）8月。 鉄道省新庁舎鉄骨竣功 （页面存档备份，存于互联网档案馆） 『土木建築工事画報 第13巻第4号 （页面存档备份，存于互联网档案馆）』 工事画報社、昭和12年（1937年）4月。 外装略竣工せる鉄道省新庁舎 （页面存档备份，存于互联网档案馆） 『土木建築工事画報 第14巻第1号 （页面存档备份，存于互联网档案馆）』 工事画報社、昭和13年（1938年）1月。 鉄道省庁舎新築第一期工事 （页面存档备份，存于互联网档案馆） 『建築雑誌 第52輯 第635號』 建築學會、昭和13年（1938年）2月。 竣工建築物[永久失效連結] 『土木建築工事画報 第14巻第4号 （页面存档备份，存于互联网档案馆）』 工事画報社、昭和13年（1938年）4月。 鉄道省庁舎東京駅間連絡地下道工事 （页面存档备份，存于互联网档案馆） 財団法人交通協力会 『日本国有鉄道百年史』 日本国有鉄道、昭和47年（1972年）。 東日本旅客鉄道株式会社編『東日本旅客鉄道株式会社二十年史 1987.4-2007.3』 東日本旅客鉄道、2007年。 维基共享资源上的相关多媒体资源：JR東日本總部大樓 廃景録 国鉄本社 その1 - 見学会の際の画像など。 国鉄本社／丸の内1丁目 - ぼくの近代建築コレクション （页面存档备份，存于互联网档案馆） - 旧館の画像がある。
凯蒂·布曼

凯蒂·路易丝·布曼（英語：Katherine Louise Bouman），是一名加州理工学院的计算机科学副教授。她从事图形处理的研究工作；并曾负责制作图形算法，用视界望远镜的数据成像了世界上首张黑洞图。 布曼来自美国印第安纳州。2007年，当时还是西拉法叶中学（英语：West Lafayette Junior-Senior High School）（位于印第安纳州西拉法叶）的一名高中生的她首次听说了视界望远镜。之后她考入密歇根大学学习电气工程，并以最高荣誉身份（英語：Summa Cum Laude）毕业。之后她进入麻省理工学院，并相继获得了电气工程硕士学位与博士学位。此外她还是麻省理工学院海斯塔克天文台研究员，并获得了美国国家科学基金会研究生奖学金的资助。她的硕士论文《动态观察评估织物的材料性能》（英語：Estimating Material Properties of Fabric through the observation of Motion），获得了恩斯特·吉尔明奖——最佳硕士论文。布曼毕业后进入哈佛大学，成为视界望远镜成像小组的博士后研究员。2017年，布曼参加了TED演讲，主题为《如何拍摄黑洞的照片》（英語：How to Take a Picture of a Black Hole）。 布曼研发了一套算法，名为利用补丁先验进行连续高分辨率图像重建系统（英語：Continuous High-resolution Image Reconstruction using Patch priors），或简称CHIRP。该算法用于对梅西耶87星系内的超重黑洞成像。 2019年4月，布曼在麻省理工学院发表了首个用于合成黑洞图像的算法，该算法对了解强场区域中的广义相对论提供了计算支持。她提出了一个重要理论：黑洞会留下热气体的背景阴影；这一理论及工作填补了世界各地望远镜的数据空白，她也因此负责领导视界望远镜“图像验证和成像参数选择”的工作。 2019年，布曼加入加州理工学院，担任助理教授，从事图形成像的新系统研究。 A method to image black holes. MIT News. [2019-04-10]. （原始内容存档于2019-04-11）.  Abraham, Zennie. About Katie Bouman Creator Of First Black Hole Image From Event Horizon Telescope. Oakland News Now Today | SF Bay Area Blog. 2019-04-10 [2019-04-10]. （原始内容存档于2019-05-13） （美国英语）.  Katie Bouman aka Katherine L. Bouman. people.csail.mit.edu. [2019-04-10]. （原始内容存档于2019-04-27）.  Working together as a “virtual telescope,” observatories around the world produce first direct images of a black hole. MIT News. [2019-04-10]. （原始内容存档于2019-05-20）.  EECS Celebrates - Fall 2014 Awards | MIT EECS. www.eecs.mit.edu. [2019-04-10]. （原始内容存档于2019-05-13）.  Katie Bouman. bhi.fas.harvard.edu. [2019-04-10]. （原始内容存档于2019-04-10） （英语）.  Professor Katie Bouman (Caltech): ” Imaging a Black Hole with the Event Horizon Telescope”. [2019-04-10]. （原始内容存档于2019-04-10） （美国英语）.  Project bids to make black hole movies. BBC News. [2019-04-10]. （原始内容存档于2019-05-13） （英国英语）.  Bouman, Katie. Katie Bouman | Speaker | TED. www.ted.com. [2019-04-10]. （原始内容存档于2019-04-12） （英语）.  Katie Bouman. TEDxBeaconStreet. [2019-04-10]. （原始内容存档于2019-05-13）.  Laviola, Erin. Katie Bouman: 5 Fast Facts You Need to Know. Heavy.com. 2019-04-10 [2019-04-10]. （原始内容存档于2019-05-13） （英语）.  Lou, Michelle; Ahmed, Saeed. That image of a black hole you saw everywhere today? Thank this grad student for making it possible. CNN. April 10, 2019 [April 10, 2019]. （原始内容存档于2019-04-30）.  Caltech Computing + Mathematical Sciences | Katherine L. Bouman. cms.caltech.edu. [2019-04-10]. （原始内容存档于2019-05-13）.  Science Editor, Tom Whipple. First image of black hole revealed. The Times. 2019-04-10 [2019-04-10]. ISSN 0140-0460. （原始内容存档于2019-05-13） （英语）.  Imaging the Invisible. www.ee.columbia.edu. [2019-04-10]. （原始内容存档于2019-05-13） （英语）.
嚴雲從

嚴雲從（1599年—1657年），袁州府分宜縣人，祖籍福建邵武，明朝、南明軍事人物。 嚴雲從是嚴嵩的曾孫，嚴世蕃的孫子，嚴紹庭的兒子，在天啟元年（1621年）中武舉人，次年（1622年）聯捷武進士；跟隨孫承宗到遼東，累功官至都司，遷任昭平參將。永曆帝繼位，他參與擁立，陞任錦衣衛指揮使、御營總兵，與馬吉翔、郭承昊並列，服侍劉承胤為外援，當值西司房，封清江伯。毛壽登為此上疏：「嚴雲從沒有功勞而得爵位，怎能鼓勵人心解決國難？」上奏後毛壽登被奪職。奉天淪陷，他跟隨永曆帝到廣西，加官太子太保、左都督，掌管後軍都督府；他以一品封賞乞求封贈其曾祖嚴嵩等人，不獲准許。他恭敬的馬吉翔差謹，不敢執掌朝政，庸庸碌碌的做事。永曆帝前往潯南，他往北匿藏在懷集山中，之後不知所終。 錢海岳《南明史·卷六十五·列傳第四十一》：嚴雲從，分宜人。世宗時奸臣世蕃〔嵩〕曾孫。天啟二年武進士。從孫承宗遼東，累功官都司，遷昭平參將。昭宗立，附擁戴，擢錦衣指揮使、御營總兵，與馬吉翔、郭承昊比，事劉承胤為外援，直西司房，封清江伯。 民國《分宜縣志·卷七·選舉》：鄉舉……武舉 明天啟元年辛酉科，見武進士 錢海岳《南明史·卷六十五·列傳第四十一》：毛壽登等疏言：「雲從無一矢之功而封五等，何以鼓人心而匡國難？」奏上，壽登等奪職。奉天陷，扈幸廣西，加太子太保、左都督，掌後軍都督府。以一品覃恩，乞封其高〔曾〕祖嵩以下，不許。雲從視吉翔差謹，不敢執朝權，碌碌充位而已。上幸潯南，雲從北匿懷集山中，不知所終。 錢海岳《南明史》·卷六十五·列傳第四十一 民國《分宜縣志》·卷七·選舉
谢慧如

谢慧如（1913年—1996年5月12日），泰文名比差·披实甲盛（Pricha Phisittkasem），泰国企业家、慈善家、侨领。 谢慧如是潮汕潮阳人，十四岁时赴泰国谋生。他先后创办了泰联企业有限公司、春蓬矿业有限公司、远东实业有限公司等多家公司，其旗下企业的经营范围涵盖米业、糖业、酒业、矿业、建筑业、纺织业、保险业、外贸业、金融业等。 谢慧如是泰国侨领，曾任泰华文化教育基金会主席，泰国中华总商会、泰国潮州会馆、泰国中华文化慈善基金会名誉主席，泰国潮安同乡会名誉理事长等职。此外，他还是中国人口福利基金会理事、潮州市归国华侨联合会名誉主席。他获得过汕头市荣誉市民、潮州市荣誉市民、四川大学名誉博士等荣誉，并曾获泰国国王普密蓬·阿杜德授予一、二、四、五等泰皇冠勋章与一、四、五等白象勋章。 1996年5月12日，谢慧如在曼谷逝世，终年83岁。在其死后，泰国国王普密蓬主持了他的遗体火化仪式。 《广东省志》编纂委员会 (编). 《广东省志 1979-2000 32 人物卷》. 方志出版社. 2014: 311–312.  杨保筠 (编). 《华侨华人百科全书 人物卷》. 中国华侨出版社. 2001.  名誉博士学位批准、授予名单. 中华人民共和国教育部. [2019-04-11]. （原始内容存档于2019-04-11）.
让-菲利普·马特塔

让-菲利普·马特塔（法語：Jean-Philippe Mateta，1997年6月28日—）是一位法国足球运动员，現效力於英超球隊水晶宮，于场上司职前锋。他的父親是剛果民主共和國人，母親是法國人。 马特塔成长于巴黎郊区的塞夫朗。其足球生涯始于当地俱乐部奥林匹克塞夫朗（Olympique de Sevran），并在辗转效力FC塞夫朗（Sevran FC）和德朗西（英语：JA Drancy）后，于2014年转投法国中部的沙托鲁。在那里，他于2015年11月6日以1比1战平贝尔福的法国全国联赛（法丙）中首次亮相。得益于在2015-16赛季的22次出场中便射入11球，马特塔的表现很快便引起了法甲俱乐部奥林匹克里昂的关注，并于2016-17赛季初将其签入。2016年9月21日，马特塔完成法甲首秀：在第7轮以5比1击败蒙彼利埃的比赛中，于第76分钟替换马克斯韦尔·科尔內登场。然而至赛季结束时，他共仅获得2次法甲及1次法国杯的出场机会，为了增加比赛锻炼，马特塔于2017-18赛季被租借至法乙俱乐部勒阿弗尔。他帮助勒阿弗尔以法乙第四名完赛并获得参加升级附加赛的资格，却最终不敌阿雅克肖而无缘升级。马特塔本人则在联赛中出场35次及射入17球，名列射手榜第三。 至2018-19赛季，马特塔转会至德甲俱乐部美因茨05，并签订了一份期至2022年6月30日届满的合同，成为该俱乐部历史上最昂贵的签约。2018年9月1日，即德甲第二轮以1比1战平纽伦堡的比赛中，马特塔射入了代表美因茨的首个入球。2019年4月5日，他又在第28轮以5比0战胜弗赖堡的比赛中上演个人职业生涯的首个帽子戏法。 2017年5月30日至6月5日期间，马特塔曾入选法国19岁以下国家足球队（德语：Französische Fußballnationalmannschaft (U-19-Junioren)）参加了三场友谊赛，分别对阵威尔士（德语：Walisische Fußballnationalmannschaft (U-19-Junioren)）（0:0）、科特迪瓦（1:2）和巴林（6:1），并在最后一场比赛中射入1球。2018年10月12日，马特塔又在对阵土耳其的友谊赛中首次代表法國21歲以下國家足球隊上阵。 最後更新：2019年4月5日 Jean-Philippe Mateta （页面存档备份，存于互联网档案馆） in der Datenbank des französischen Fußballverbandes, abgerufen am 2. Juli 2018 Jean-Philippe Mateta （页面存档备份，存于互联网档案馆） in der Datenbank von soccerway.com, abgerufen am 2. Juli 2018 Lyon vs. Montpellier - 21 September 2016 - Soccerway. soccerway.com. [2016-09-21]. （原始内容存档于2016-09-21）.  Jean-Philippe Mateta » Vereinsspiele » Ligue 1 （页面存档备份，存于互联网档案馆） in der Datenbank von weltfussball.de, abgerufen am 2. Juli 2018 Jean-Philippe Mateta » Ligue 2 2017/2018 （页面存档备份，存于互联网档案馆） in der Datenbank von weltfussball.de, abgerufen am 2. Juli 2018 Transfert de Jean-Philippe Mateta à Mayence （页面存档备份，存于互联网档案馆） auf der Website von Olympique Lyon vom 28. Juni 2018, abgerufen am 28. Juli 2018 „Top-Talent“ Mateta unterschreibt in Mainz （页面存档备份，存于互联网档案馆） auf der Website des 1. FSV Mainz 05 vom 28. Juni 2018, abgerufen am 2. Juli 2018 Jean-Philippe Mateta to Mainz – The almost forgotten transfer. Fussballstadt. 2 August 2018 [6 April 2019]. （原始内容存档于2019-04-06）.  Ishak nutzt die Eckballvariante zum Ausgleich （页面存档备份，存于互联网档案馆）, Spielbericht auf kicker.de, abgerufen am 15. September 2018. Mateta is Mainz man as Nullfunfer hit five. FourFourTwo. 5 April 2019 [6 April 2019]. （原始内容存档于2019-04-06）.  Spieldaten （页面存档备份，存于互联网档案馆） auf fff.fr, abgerufen am 13. Oktober 2018 Jean-Philippe Mateta Soccerway Profile. soccerway.com. [2016-11-30]. （原始内容存档于2018-06-28）.  worldfootball.net：让-菲利普·马特塔之統計數據 （英文） 让-菲利普·马特塔在Transfermarkt上的资料 Soccerway資料庫：让-菲利普·马特塔 让-菲利普·马特塔（页面存档备份，存于互联网档案馆）在法国足球总会的资料
穷举法

穷举法，亦称作分类证明、分类分析证明、完全归纳法或暴力法，是一种数学证明方法, 它将所求证的命题分为有限种情形或是等价情形的集合，接著依每种类型分别检验该命题是否成立，此乃一种直接证明（英语：direct proof）法。 穷举法证明包括两阶段： 证明分类是完全的, 也就是说每一个待证的个例皆符合（至少）一类情形的条件； 分别对每一类情形给出证明。 计算机（電腦）的普及大大提升了穷举法的易用性，计算机专家系统可用窮舉法解答許多问题。理论上而言，穷举法适用于任何有限情形，然而因数学的大部分集合是无限的，此法鲜少能够用以导出一般的数学结论。 在柯里-霍华德同构（Curry–Howard correspondence）中，穷举法与ML-型模式匹配相关联[來源請求]。 试证明每一个完全立方整数皆为9的倍数，或比9的某倍数多1，或比9的某倍数少1。 证明： 每个立方数皆为某个整数n的立方。每个整数n或者为3的倍数，或者比3的某个倍数多1或少1。是故以下3种情形即穷举所有可能。 情形1: 若 n = 3p, 则 n3 = 27p3, 这是9的倍数. 情形2: 若 n = 3p + 1, 则 n3 = 27p3 + 27p2 + 9p + 1, 这是9的一个倍数加上1. 例如, 若 n = 4 则 n3 = 64 = 9×7 + 1. 情形3: 若 n = 3p − 1, 则 n3 = 27p3 − 27p2 + 9p − 1, 这是9的一个倍数减去1. 例如, 若 n = 5 则 n3 = 125 = 9×14 − 1.∎ 数学家会尽量不用分类数目很多的穷举法, 因为这看上去不优雅. 以下举一个例子来解释何以这样的证明显得不优雅, 这个例子是证明所有现代夏季奥运会的举办年份都能被4整除(忽略掉因两次世界大战而未能举办的1916年夏季奧林匹克運動會,1940年夏季奧林匹克運動會與1944年夏季奧林匹克運動會與受嚴重特殊傳染性肺炎疫情影響，延期至2021年舉辦的2020年夏季奧林匹克運動會)。 证明: 现代首届夏季奥运会于1896年举办, 然后每4年举办一次. 因为 1896 = 474 × 4 能被4整除, 下一届奥运会的年份为 474 × 4 + 4 = (474 + 1) × 4, 同样能被4整除, 以下类推(这个证明用的是数学归纳法). 命题得证. 这个命题也可用穷举法来证, 即列出所有曾举办过夏季奥运会的年份, 核实其皆能被4整除. 到2016年为止, 夏季奥运会共举办过28次, 所以这是一个分了28种情形的穷举证明. 用到数学归纳法的证明不仅更优雅, 且连带对未来无限多次夏季奥运会都证明了命题; 而用穷举法则需在每次开过夏季奥运会之后再做一次核验. 穷举证明中所分情形总数没有上限. 有时只需划分两三种情形, 有些时候却可以有多达数千乃至数百万种情形. 例如, 若要严格解答一个国际象棋残局, 便可能须考察该残局的博弈树中所包含的数量甚巨的允许局面. 四色定理的第一个证明是一个分了1936类情形的穷举证明. 这个证明曾引发争议, 因为其中大多数情形是用计算机程序而不是手写证明来核验. 目前已知最短的四色定理证法仍需划分超过600类情形. 一般而言, 分类的数目越多, 整个证明包含错误的概率就越大. 一个分类数目浩大的穷举证明会给人留下这样的印象, 那就是所证定理能够成立仅仅是一种巧合, 而不是因为某些底层的原理或联系. 其它类型的证明——例如使用数学归纳法的证明——会被认为更加优美. 但是, 有一些重要的定理, 迄今并未发现不用穷举法的证明, 诸如 10阶有限射影平面之不存在性; 有限单群分类; 弱哥德巴赫猜想; 开普勒装球问题; 布尔勾股数问题（英语：Boolean Pythagorean triples problem）. 大英博物館算法 计算机辅助证明 归纳法 数学归纳法 Reid, D. A; Knipping, C, Proof in Mathematics Education: Research, Learning, and Teaching, Sense Publishers: 133, 2010, ISBN 978-9460912443 . S., Epp, Susanna. Discrete mathematics with applications. Brooks/Cole. 2011-01-01 [2019-04-12]. ISBN 0495391328. OCLC 970542319. （原始内容存档于2019-12-14）.
澳洲統計局

澳大利亚統計局（英語：Australian Bureau of Statistics，簡稱：ABS）是澳大利亚联邦政府的獨立統計機構，提供重要統計數據，涵蓋經濟、人口、環境、社會等範疇，供各政府部門及社區作研究及討論之用。 澳大利亚統計局的前身為聯邦統計局（The Commonwealth Bureau of Census and Statistics），於1905年成立，總部最初設於墨爾本，是內政部的隸屬機構，至1928年移師坎培拉，並於1932年轉屬國庫部之下。 Australian Bureau of Statistics – Annual Report 2020–21. transparency.gov.au. 16 September 2021 [2022-12-29]. （原始内容存档于2023-03-29）.  Administrative Arrangements Order. pmc.gov.au. 23 June 2022 [2022-12-29]. （原始内容存档于2023-03-22）.  Dr David Gruen, Australian Statistician. abs.gov.au. 2019-12-12 [2022-12-29]. （原始内容存档于2021-03-12）.  澳大利亚統計局 商業調查簡章 (PDF). abs.gov.au. [2022-12-29]. （原始内容存档 (PDF)于2023-01-19）.  History of the ABS. Abs.gov.au. [21 January 2016]. （原始内容存档于2020-09-24）.  官方网站 Year Book Australia, 2012 （页面存档备份，存于互联网档案馆） "Measuring Australia's Progress" （页面存档备份，存于互联网档案馆）
丁香

丁香可以指： 丁子香，一种热带地区出产的香料。 丁香属，唇形目木犀科植物下的一个属，在温带地区作观赏植物栽培。 紫丁香，亦称华北紫丁香或丁香花，丁香属的一种落叶灌木或小乔木。