Blaze7451/Wiki-zh-20250601 huggingface dataset:
岛津氏

岛津氏是日本的氏族之一。在镰仓时代到江户时代期间是大名，另外其家族亦有不少分支。其家纹丸十字后成为鹿儿岛市市章。

**概要**
从守护职成为战国大名，也是江户时代的外样大名（萨摩藩藩主）。家族全盛期时以萨摩国为中心统治南九州。初代当主岛津忠久是萨摩国、大隅国及日向国3国守护、亦出任越前国守护。镰仓时代起家族开始发展，在越前、信浓、骏河、若狭及近江出现了岛津氏的支流，他们被称为越前岛津氏、信浓岛津氏、河州岛津氏、若狭岛津氏及江州岛津氏。
此外，条目以后所记述的战国时代的宗家是一个庶流伊作家（他们同样是相州家的当主），他们成为了当主。江户时代萨摩藩主的岛津氏的伊作家（相州家）的系统。

**出自：岛津庄的庄官**
和歌山高野山岛津家之墓
岛津氏的祖先是秦氏子孙惟宗氏后代。惟宗基言之子惟宗广言的主君是藤原摄关家笔头近卫家日向国岛津庄（现宫崎县都城市）的庄官（下司）前往九州、儿子惟宗忠久在源赖朝时期出任该地地头时开始称为岛津氏，都城市被说是岛津家的发源地。

**被源赖朝重用背景**
到底惟宗忠久（岛津忠久）是否为惟宗广言的儿子则无从考究。另外关于「摄津大阪住吉大社境内诞下忠久的丹后局是源赖朝侧室，忠久是赖朝私生子」在『岛津国史』及『岛津氏正统系图』等资料记亦有所记载，学会对于岛津氏是赖朝的私生子的说法是否定的。现在关于岛津氏忠久时期以前家谱没有明确的家谱。
同样是九州守护一职的大友能直，他与岛津忠久的共通点是后来被称为九州一族的祖先，他们的出自均自不明，并传出是「母亲是赖朝的妻妾，受到赖朝的拥戴」。正确来说，忠久是源自惟宗氏，能直并非出自近藤氏。

**南北朝时代**
镰仓时间开始，当主以幕府御家人身份在镰仓居住，由守护职及地头职等一族人士负责开发领土。久经时期，元军入侵日本，氏族的居地有向南迁的趋势。
1333年（元弘3年）岛津贞久参与由后醍醐天皇发动的镰仓幕府讨幕运动。镰仓幕府灭亡后后醍醐天皇开始实行建武新政，后醍醐亲政谋反的足利尊氏在摄津国战败而逃往九州，与少贰氏共同协助足利尊氏，在筑前国的多多良滨(今福冈县福冈市)与菊池氏率领后醍醐宫方军交战。
1342年，南朝的征西将军怀良亲王进入南九州，有一段时间成为了南朝派的人物。1340年贞久嫡男岛津宗久过逝后，与守护国的岛津氏久（奥州家）及岛津师久（总州家）两家分裂。

**战国时代**
进入战国时代后，与领土内各地的国人及其他岛津一族展开了斗争，宗家因而逐渐衰落。庶流伊作忠良（伊作岛津家）势力渐渐增大，压倒了其他家系，长男岛津贵久以宗家的养子成为岛津家家督。贵久之后将家督让给长男岛津义久，1578年耳川之战当中大败大友氏，加上1584年冲田畷之战重创龙造寺氏、岛津氏成为了「三州的太守」。此外，当时义久还拥有三个优秀弟弟（岛津义弘、岁久及家久），因而被称为战国最强的萨摩武士，他们尝试率领大军统一九州南部三州及九州。1587年秀吉发动九州战役，岛津氏向秀吉投降，最终保住了三州的领土。

**江户时期以后**
关原之战爆发期间，岛津家支持西军，与德川家陷入敌对关系。战后于义弘退位下，成功保住了原有领土。
幕藩体制之下在宝历治水当中是被幕府的弱体化政策受压的一方。德川纲吉养女竹姫为岛津继丰的后妻之后，与德川氏女儿进行婚姻，因而加深了与幕府的关系。幸运的是，他们的当家相当长命，并没出现子嗣继承问题需要幕府介入，因此与幕府的关系比较稳定。
踏入幕末，对抗西方帝国主义情绪高涨，第28代当家岛津齐彬时期组成了以西式制铁、造船、纺织为中心的近代产业（集成馆事业），开始出现了新的发展。另外幕府进入了崩坏期，萨摩藩内出现不少尊皇倒幕的人物，他们与长州藩共同为主要倒幕力量。明治时代岛津忠义本家与其父岛津久光在明治维新后设置的分家玉里家，都被封为公爵。其他有实力的分家，包括昭和天皇第五皇女清宫贵子内亲王降嫁的日向佐土原岛津家（幕末时领有2万7千石），被封为伯爵。其余分家被封为男爵。
明仁上皇的外祖母是岛津忠义七女岛津伣子，因此现时的岛津氏一门与日本皇室有血缘关系。而今上天皇德仁的姑姑贵子内亲王嫁给岛津久永，儿子岛津祯久岛津家与皇室有着根深蒂固的亲戚关系。

**与琉球的关系**
1441年，因岛津协助讨伐大觉寺义昭，室町幕府宣布将琉球赐予萨摩守，设置琉球奉行一职，史称嘉吉附庸事件。1609年，岛津氏入侵琉球。琉球自此一国两属，而岛津氏借由琉球的朝贡贸易间接与中国贸易。

**系谱**
粗体字是当主、实线是亲子、虚线是养子
　　　

**一族**
数字是当主继承先后次序
#岛津忠久
#岛津忠时
#岛津久经
#岛津忠宗
#岛津贞久
#岛津师久‐贞久三男、统治萨摩国。
#岛津氏久‐贞久四男、统治大隅国。
#岛津伊久‐师久长男、统治萨摩国。
#岛津元久‐氏久长男、统治大隅国。
#岛津久丰‐氏久二男。
#岛津忠国
#岛津立久
#岛津忠昌
#岛津忠治‐忠昌长男。
#岛津忠隆‐忠昌二男。
#岛津胜久‐忠昌三男。
#岛津贵久‐胜久养子。岛津忠良嫡子。
#岛津义久
#岛津义弘
#岛津忠恒‐义久养子。义弘三男。
#岛津光久
#岛津纲贵
#岛津吉贵
#岛津继丰
#岛津宗信
#岛津重年‐继丰次男、宗信弟。
#岛津重豪
#岛津齐宣
#岛津齐兴
#岛津齐彬‐齐兴长男。
#岛津久光‐齐兴三男。
#岛津忠义‐久光长男。
#岛津忠重

**岛津氏族**
岛津氏的系统以下多个。现时的岛津宗家是伊作家出身的。
*庶流（江户时代以前）
**越前家
**伊作家
**奥州家
**萨州家
**总州家
**相州家
**丰州家
*庶流（江户时期以后）
**加治木家
**垂水家
**重富家
**玉里家
**今和泉家
**宫之城家
**永吉家
**日置家
**佐土原家（佐土原藩主）
*庶家
**伊集院氏
**桦山氏
**川上氏
**北乡氏
**新纳氏
**町田氏
**山田氏
**和泉氏
**义冈氏
**桂氏
**喜入氏
**佐多氏
**入来院氏

**正式签名所见的「姓」**
官方文书签名是镰仓时代初期的「惟宗朝臣○○」，由德川家赐姓「松平」名字改用「松平朝臣○○」而签署。自此以后，幕府公式文书等以「松平萨摩守（有变化）○○」作书写。此外江户时代中期以后、内部公式文书等就以「源朝臣○○」作签名。

**相关书籍**
『岛津家文书之1、2、3』（东京大学史料编纂所）
*『岛津史料集』（人物往来社戦国史丛书6・1966年）
*三木靖『萨摩岛津氏』（人物往来社戦国史丛书10・1972年）
*『戦国九州军记』（学研歴史群像シリーズ12・1989年6月） ISBN 4051051498
*『裂帛 岛津戦记』（学研歴史群像シリーズ戦国セレクション6・2001年8月） ISBN 4056025959
*吉永正春『九州戦国合戦记』（海鸟社・2006年7月）ISBN 4874155863

**其他参考资料**
 战国大名兴亡史──岛津氏

**参看**
秦氏 (日本)
*岛津制作所

**注释**

**外部连结**
 岛津氏系谱 date=20210212110928
华比银行

华比银行（Belgian Bank，旧名：Banque Sino-Belge、Banque Belge pour l'Étranger）为比利时通用银行在1902年设立的银行，总部设比利时布鲁塞尔。曾经为在华最大的外资银行之一，也曾经是比利时海外银行系统中最重要的银行，在中东、东欧、伦敦和纽约等均设分行或附属银行。1930年代，属下各地分行陆续改为当地注册公司，而在中国的业务，总部仍然设布鲁塞尔，但改法文名称为 Banque Belge pour l'Étranger（Extrême-Orient），中文名称不变。中国总部设上海沙逊大厦。香港分行在1935年创设。
中华人民共和国成立后，曾被批准为经营外汇的指定银行，经营外汇业务，因在华外商企业纷纷歇业，该行业务清淡，1956年秋申请停业清理（实际上已停业），1976年2月27日正式停业。。
该行在香港的分行，却逐渐转化为香港的一间中型银行。1999年母公司被富通集团收购后，曾在2000年更名华比富通银行（英文：Fortis Bank Asia，法定名：Fortis Bank Asia HK）。2003年，中国工商银行（亚洲）宣布收购华比富通银行，2004年5月1日，华比富通银行再易名为华比银行（英文商用名及法定名：Belgian Bank），但换上中国工商银行标志。2005年10月10日，华比银行并入工银亚洲。2008年9月，原总部华比富通大厦改名为富通大厦。

**内部链接**
天津华比银行大楼
依赖类型

在计算机科学和逻辑中，依赖类型（或依值类型，dependent type）是指依赖于值的类型，其理论同时包含了数学基础中的类型论和计算机编程中用以减少程序错误的类型系统两方面。在 Per Martin-Löf 的直觉类型论中，依赖类型可对应于谓词逻辑中的全称量词和存在量词；在依赖类型函数式编程语言如ATS、Agda、Dependent ML、Epigram、F*和Idris中，依赖类型系统通过极其丰富的类型表达能力使得程序规范得以借助类型的形式被检查，从而有效减少程序错误。
依赖类型的两个常见实例是依赖函数类型（又称依赖乘积类型、Π-类型）和依赖值对类型（又称依赖总和类型、Σ-类型）。一个依赖类型函数的返回值类型可以依赖于某个参数的具体值，而非仅仅参数的类型，例如，一个输入参数为整型值n的函数可能返回一个长度为n的数组；一个依赖类型值对中的第二个值可以依赖于第一个值，例如，依赖类型可表示这样的类型：它由一对整数组成，其中的第二个数总是大于第一个数。
依赖类型增加了类型系统的复杂度。由于确定两个依赖于值的类型的等价性需要涉及具体的计算，若允许在依赖类型中使用任意值的话，其类型检查将会成为不可判定问题；换言之，无法确保程序的类型检查一定会停机。
由于Curry-Howard同构揭示了程序语言的类型论与证明论的直觉逻辑之间的紧密关联性，以依赖类型系统为基础的编程语言大多同时也作为构造证明与可验证程序的辅助工具而存在，如 Coq 和 Agda（但并非所有证明辅助工具都以类型论为基础）；近年来，一些以通用和系统编程为目的的编程语言被设计出来，如 Idris。
一些以证明辅助为主要目的的编程语言采用强函数式编程（total functional programming），这消除了停机问题，同时也意味着通过它们自身的核心语言无法实现任意无限递归，不是图灵完全的，如 Coq 和 Agda；另外一些依赖类型编程语言则是图灵完全的，如 Idris、由 ML 衍生而来的 ATS 和 由 F# 衍生而来的 F*。

**形式化定义**

**Π-类型**
在全类（论域中全部类型构成的类型）  中给定一个类型 ，存在着类型族  为每一项  赋予一个类型 。一个值域依赖于其参数的函数，称之为一个依赖类型函数，该函数的类型则称之为依赖类型、依赖乘积类型或Π-类型。在此例子中，依赖类型可以写作

或

若B为常数，则依赖类型退化成一般形态的函数 。即  等价于函数类型 。
被称之为“Π-类型”的原因是它可以被看作是类型的笛卡尔积。Π-类型同时也可被看作是全称量词的模型。
例如，表示实数的-元组类型，则  表示这样的函数类型：给定一个自然数n，该函数返回一个大小为n的实数元组。一般的函数空间可以看作依赖型函数的一个特例，当函数返回值类型实质上并不依赖于输入时，如  即为从自然数到实数的函数类型，它可以在简单类型lambda演算中被写作 。
多态是依赖类型函数的一个重要实例。给定一个类型，函数作用于该类型的元素之上。一个返回元素类型为C的多态函数可能拥有如下的多态类型：


**Σ-类型**
依赖函数类型的对偶是依赖值对类型（或依赖总和类型、Σ-类型）。它与余积或不交并的概念相类似。Σ-类型可以被理解成存在量词的模型。写作：

依赖值对类型表示一个值对，其中第二项的类型依赖于第一项的值。若

则  且 。若B为常数，则依赖值对类型退化为一般的乘积类型，即笛卡尔积 。

**Lambda 立方**
Henk Barendregt 提出了 Lambda 立方模型，用于对不同的类型系统的表达能力加以区分。Lambda 立方的八个顶点分别对应各自的类型系统，简单类型lambda演算位于表达能力最低的顶点上，而构造演算（calculus of constructions）则位于表达能力最强的顶点上。

**一阶依赖类型**
一阶依赖类型 ，对应于逻辑框架 LF，是通过把简单类型lambda演算的函数空间一般化为依赖乘积类型而获得的。

**二阶依赖类型**
二阶依赖类型 ，通过允许对  类型构造子的量化得到。此时，依赖乘积类型涵括了简单类型lambda演算中的与 系统F 中的。

**高阶依赖类型多态 lambda 演算**
高阶类型系统  扩充了 ，使之支持 Lambda 立方中的全部四种表达形式：从项到项的函数、从类型到类型的函数、从项到类型的函数、以及从类型到项的函数。这对应于构造演算（calculus of constructions），而构造演算则是证明辅助器 Coq 所基于的构造归纳演算理论的基础。

**依赖类型编程语言**

**脚注**

**参见**
 Lambda立方体  - 有类型lambda演算- 直觉类型论

**参考文献**

**延伸阅读**
 Why Dependent Types Matter date=20150409203034  T. Altenkirch, C. McBride, J. McKinna
木瓜蛋白酶

木瓜蛋白酶（papain），或简称木瓜酶、木瓜酵素，又称嫩精或木瓜粉，是存在于番木瓜果实中的一种半胱氨酸蛋白酶。木瓜蛋白酶对于嫩化肉类起着重要作用，市面上更多称为松肉粉或嫩肉粉。

**结构**
木瓜蛋白酶由212个氨基酸残基组成，并含有3对二硫键。它的三维结构是由两个不同的结构域所组成，两个结构域之间形成一个缝隙；缝隙内含有酶的活性位点，包括一个与胰凝乳蛋白酶中所含的相似的催化三联体。木瓜蛋白酶中的催化三联体由25位的半胱氨酸（Cys-25）、159位的组氨酸（His-159）和158位的天冬酰胺（Asn-158）这三个氨基酸所组成。化学式为：C1050H1584O308N290S7

**催化机制**
木瓜蛋白酶的剪切肽键的机制包括：在His-159作用下Cys-25去质子化，而Asn-158能够帮助His-159的咪唑环的摆放，使得去质子化可以发生；然后Cys-25亲核攻击肽主链上的羰基碳，并与之共价连接形成酰基－酶中间体；接着酶与一个水分子作用，发生去酰基化，并释放肽链的羰基末端。

**应用**
木瓜蛋白酶主要被用于将硬的肉纤维（蛋白质组成）切断，并且该用途已经被南美洲的土着居民使用了数千年。该酶是嫩肉粉（在大多数的超级市场都可以买到）的成分之一。由于可以降解生物毒液中的蛋白毒素，木瓜蛋白酶可以在家庭治疗被水母、蜜蜂、黄蜂等蛰伤或被魔鬼鱼刺伤的情况。它也是在澳大利亚流行的急救药“Stop Itch”和“Stop Itch Plus”中的主要成分。
木瓜蛋白酶在准备细胞培养的第一步中被用于分离细胞。用酶处理小组织块10分钟后，就可以将连接细胞的细胞外基质打断；然后再用蛋白酶抑制剂来停止反应，防止木瓜蛋白酶进一步裂解细胞本身；最后用Pasteur pipette将组织块打散为单细胞悬浮液。
木瓜蛋白酶被用于多种清创手术的准备中，可用于清除伤口上的死亡组织。
它也是一些牙膏或薄荷类糖的成份之一，有助于牙齿亮白。因为这些产品中的木瓜蛋白酶浓度都很低，而且还会被唾液进一步稀释，因此这种亮白效果比较小，需要长时间使用才能见效。
木瓜酵素对敏感性或干性肌肤可能有刺激性，但低于凤梨蛋白酶引起之程度。
此外，亦有新闻指若气喘患者食用嫩精，可能会影响健康。

**生产**
通常木瓜蛋白酶是以粗制品形式被生产，主要来源是从木瓜树的果实中提取乳液（latex）后制成的干货。乳液是通过割果实的颈部进行收集，或直接在果实上风干，或滴入容器中。风干后的乳液就是木瓜蛋白酶的粗制品。若需对其进行进一步的纯化以除去杂质，就要先溶解粗制品，并用一个标准的过程（政府注册）进行提纯。纯化后的木瓜蛋白酶可以制为干粉或液体。

**其他**
抗体可以被木瓜蛋白酶切为三个大小为50kDa的片段：两个为Fab片段，一个为Fc片断。
在免疫学中，木瓜蛋白酶可被用于将免疫球蛋白（即抗体）的Fc片段（可结晶）和Fab片段（抗原结合）切割开。
在《食品添加物使用范围及用量标准》里面，属于第十七类（其他）之第六项『酵素制剂』。
曾有网路谣言流传，认为嫩精会致癌。

**参考文献**

**外部链接**
 Papain-  drugdigest date=20071029153014 网站中关于木瓜蛋白酶的信息-  木瓜蛋白酶的应用，抑制剂和底物 date=20071014182050 

**参见**
 蛋白酶
** 菠萝蛋白酶- 番木瓜
** 番木瓜碱
表皮溶解水疱症

表皮溶解水疱症（Epidermolysis Bullosa，简写作EB，英文对于泡泡龙儿童又称Butterfly Children蝴蝶宝贝），在台湾俗称泡泡龙，是一种罕见的遗传性疾病，患者皮肤脆弱，稍微摩擦就破皮，形成水泡或血疱，严重者甚至口腔、舌头、食道、肠胃等黏膜部位也会出现水泡，阻塞进食，致营养不良、皮肤变形、肢体萎缩，甚至产生皮肤癌。疾病可能由带因的父母遗传，也可能来自自身突变。

**病患**
皮肤分为表皮和之下的真皮，在正常情况下，这两层皮肤间有结缔组织令它们在人活动时一起移动，惟表皮溶解水疱症患者的皮肤联结组织异常，令两层皮肤不会一起移动，因此在患者身体活动或受压时两层皮肤便出现磨擦而受伤及出现水泡，表皮并进而因无法黏附在真皮上而溶解脱落造成痛楚，患者形容痛楚如三级烧伤。

**分类**

**早期型 Hereditary Epidermolysis Bullosa (HEB)**
遗传性表皮分解性水疱症(Hereditary Epidermolysis Bullosa)是一种缺乏维系表皮和真皮组织的遗传性罕见疾病，因为患有此症的病人，皮肤容易起水泡，因此这类病人俗称为「泡泡龙病友」。此症的症状包括全身容易起水泡，除了皮肤之外，口腔内膜、消化道也会产生水泡；可能会有营养不良，肢体萎缩等情形, 依照水泡破裂位置分类，症状可分为单纯型、接合型和失养型三大类。根据美国的资料，新生儿有遗传性表皮分解性水疱症的比例约五万分之一。无根治方法，仅能照顾患者，避免伤口感染。
2007年底，台湾云林一名出生逾七个月的新生儿曾因此病而早逝，事后健保不给予医疗补助，要求其自行负担一切费用。财团法人罕见疾病基金会曾对此大力批评。病友们另组社团法人台湾泡泡龙病友协会追求其权利。
category:遗传病

**单纯型 EB Simplex (EBS)**
单纯型是指水泡于表皮的 keratinocyte 细胞出现，可再细分为:- EBS - Weber-Cockayne (EBS-WC)- EBS - Koebner (EBS-K) - EBS - Dowling-Meara (EBS-DM): 因 KRT5 (E477K) 或 KRT14 的 R125C 或 R125H 基因错义突变造成 - EBS - Mottled Pigmentation (EBS-MP) - 因 KRT5 (I161S) 或 plectin gene 基因错义突变造成 (详情可参看 Koss-Harnes et al., 1997;Koss-Harnes et al., 2002)

**接合型 Junctional EB (JEB)**
接合型是指水泡于皮肤及黏膜的基底膜出现: 因表皮与真皮间的 laminin 5, laminin 6,异常，严重患者通常因呼吸道和消化道出现水泡而在年幼时即死亡。

**营养失养型 Dystrophic EB (DEB)**
营养失养型是指水泡及创伤于皮肤深层的基底膜下的真皮上层出现,缺乏第7型胶原蛋白。

**病学**
每百万人便有 50 名病患，92% 为单纯型，5% 为营养失养型，1% 为接合型，2% 未能分类。每 333 人便有 1 人带有接合型变异基因，每 450 人便有 1 人带有营养失养型变异基因。病患数目并没因性别或种族原因而有别。 date=20081025001219   date=20160119040218 

**治疗**
现无根治方法。病人须每天换药包扎，以含银或移转型敷料，降低皮肤伤口感染与沾黏，以维持皮肤完整和不受感染。转型敷料一般为烧烫伤病人才使用。

**筛检**
孕妇在怀孕18至20周，可取胎儿皮肤切片作电子显微产前检查。

**相关条目**
汗疱疹
*异位性皮肤炎
*湿疹

**参考文献**

**外部连结**
  DebRA date=20210424085307  - 美国营养失养型表皮溶解水疱症研究组织-  DebRA UK date=20210506164759  - 英国营养失养型表皮溶解水疱症研究组织 -  史丹福表皮溶解水疱症研究
三角码头

File:HK Sai Ying Pun Triangle Piers Ullambana Flag near Western Park Sport Centre 2.JPG|thumb|300px|三角码头孟兰盛会旗fix-attempted=yes  
三角码头孟兰盛会有限公司
三角码头，又名永乐街码头，是香港历史上的一个码头，位于永乐街以西，现在上环消防局和皇后街之间。三角码头一名源于该处一块三角位的地皮，现在建筑物名为德辅道西9号，以北就是永乐街码头。

**历史**
18世纪尾至19世纪中，香港已经是一个商贸运输繁忙的转口港，连接珠三角、广州、福建、潮州、东南亚等港口，尤以香港岛北岸为首，附近有南北行等，沿岸有不少散货码头。聘任码头工人（俗称码头咕哩）搬运货物，更不少是潮州人。
香港沦陷之时，日军在三角码头杀死不少香港人，当地居民为求安定人心，就暗地里每年农历七月拜祭。这就是三角码头盂兰胜会的雏形，而战后至今一直继续。

**邻近**
 干诺道西- 永乐街- 高升街- 皇后大道西- 德辅道西
何嘉丽

何嘉丽可能指以下人物条目中的一个：- 何嘉丽 (剑击运动员)：香港前剑击运动员，釜山亚运会女子重剑团体铜牌得主，因其一缕乌黑秀发，与歌手周慧敏形象相似，故此绰号「体坛周慧敏」。- 何嘉丽 (歌手)：曾为九巴企业传讯部主管、香港电台唱片骑师及歌手，DJ组合「三个小神仙」成员。- 何嘉丽 (演员)：无线电视前艺员

**轶事**
虽然在香港生活多年，但以上三人一直无缘「正式」会面，直至2019年，才在《苹果日报》记者安排下「世纪聚首」。
何嘉丽 (击剑运动员)

何嘉丽于母校柏德学校活动中致辞
何嘉丽（Connie Ho Ka Lai，catIdx=H何），香港前剑击运动员，2002年釜山亚运会女子重剑团体铜牌得主。

**运动员生涯**
何嘉丽小学毕业于柏德学校﹐中学就读于圣安当女书院，中七毕业后就读罗富国教育学院（今香港教育大学，教育学院前身）。初中开始热衷于体操运动，直到1986年参加暑期训练班，首次接触剑击，后来何嘉丽练习时拉伤大腿，考虑到年纪已不适合学习体操，所以在1986年后决定专注剑击运动。
适逢香港剑击总会于1990年起重点发展女子重剑项目，何嘉丽由花剑转打重剑，成绩稳步上扬，1994年在英联邦运动会赢得亚军，首次在国际比赛取得奖牌其时任教练为陈启生。其后在香港队重剑教练黄赞带领下，与张雪丽、陈少珊及张依妮组成女子重剑队参加多项国际赛事。
2001年，何嘉丽的左膝韧带断裂，严重影响了翌年举行的釜山亚运会备战准备。在丈夫的支持下，何嘉丽决定利用手术后仅十个月的时间恢复与备战，不放弃争夺亚运奖牌的最后机会。最后虽然于个人赛虽然未能跻身三甲，但在团体赛伙拍郑玉娴、杨翠玲、张依妮等队友勇夺亚运女子重剑团体铜牌，为她的运动员生涯划上完美句号。她当时曾于葵涌苏浙公学任职体育科教师。
何嘉丽后来为民政事务局项目经理（体育及康乐），被借调至统筹东亚运动会比赛项目。

**得奖记录**
 1994年英联邦运动会
** 女子重剑个人　亚军 
** 女子重剑团体　季军- 1995年亚洲剑击锦标赛(首尔)
** 女子重剑团体　季军- 1997年亚洲剑击锦标赛(南京)
** 女子重剑个人　亚军
** 女子重剑团体　季军- 1998年泰国剑击公开赛
** 女子重剑个人　冠军
** 女子重剑团体　亚军 - 1999年泰国剑击公开赛
** 女子重剑团体　冠军 - 1999年亚洲剑击锦标赛
** 女子重剑个人　亚军 - 2000年台湾剑击邀请赛
** 女子个人重剑　冠军- 2002年釜山亚运会
** 女子重剑团体　铜牌

**轶事**
 何嘉丽于1995年与高中时代邂逅的前香港跨栏运动员林威强结婚。- 出众样貌与留有清秀长发的何嘉丽，退役后经常获邀客串担任电视节目主持(如筋肉擂台)、产品代言人、及拍摄包括洗头水date=20150705190129 及2004年香港立法会选举date=20070926213501 等电视广告。- 何嘉丽曾担任葵涌苏浙公学的综合科学科及数学科老师，并兼任该校剑击学会指导老师。2006年，她修毕香港浸会大学运动及康乐管理硕士课程。她亦是大型体育项目事务委员会的项目经理，负责公关与宣传工作。还有东华三院张明添中学体育老师。- 2008年10月，何嘉丽获选为香港十大杰出青年。- 2009年6月5日，何嘉丽获圣安当女书院邀请，作中五中七毕业礼的主礼嘉宾。
*2017年11月1日，何嘉丽获圣安当女书院邀请，作早会集会的嘉宾。

**参考资料**
视听资料：
**香港电台电视部「运动员之歌—剑看人生」，2002年1月29日- 香港剑击学校 - 校长简介date=20170906151726 - 康乐及文化事务署—普及健体大使
新一系电器

新一系电器（System One）是现已结业的香港公司，前身为中信太平电器、中太电业中心，曾为第一太平集团子公司，曾与丰泽电器并称香港最大两间电器连锁店，于1990年代全线结业。

**曾有分店**
 屯门时代广场- 太古城中心- 新达广场- 新城市广场第一期- 沙田第一城- 利港商场- 观塘裕民坊- 油麻地金勋大厦- 元朗康乐路- 西九龙中心

**外部连结**
 附有新一系电器广告的巴士照片 date=20180410201746
函数空间

在数学中，函数空间是从集合X到集合Y的给定种类的函数的集合。它叫做空间是因为在很多应用中，它是拓扑空间或向量空间或这二者。

**例子**
函数空间出现在数学的各个领域中：- 在集合论中，集合X的幂集同一于从X到{0,1}的所有函数的集合；指示为2X。更一般的说，函数X → Y的集合指示为YX。- 在线性代数中，从在同一个域上的向量空间V到另一个向量空间W的所有线性变换的集合自身是个向量空间。- 在泛函分析中，对于包括如上向量空间上的拓扑的连续线性变换也是同样的，很多主要例子是具拓扑结构的函数空间；最周知的例子包括希尔伯特空间和巴拿赫空间。- 在泛函分析，从自然数到某个集合X的所有函数集合叫做序列空间。它由X的元素的所有可能序列的集合构成。 - 在拓扑学中，可以尝试在从拓扑空间X到另一个拓扑空间Y的连续函数的空间上放置一个拓扑，带有依赖于这些空间的本性的效用。常用的例子是紧开拓扑。还有就是在集合论函数（就是说不必需是连续函数）YX的空间上的乘积拓扑。在本语境中，这个拓扑也叫做逐点收敛拓扑。- 在代数拓扑学中，同伦理论本质上研究函数空间的离散不变式。- 在随机过程理论中，基本技术问题是如何在“过程路径”（时间的函数）的函数空间上构造概率测度。- 在范畴论中，函数空间叫做指数对象。它以一种方式出现为表示规范双函子；但是作为类型X, -的（单一）函子，它出现为对在对象上的类型（-×X）的函子的伴随函子。- 在lambda演算和函数式编程中，函数空间类型被用来表达高阶函数的想法。- 在域理论中，基本想法是通过建立良好行为的笛卡儿闭范畴，从可建模lambda演算的偏序中找到构造。
福建鲟浔兴篮球俱乐部

福建鲟浔兴篮球俱乐部，又称福建浔兴股份队、福建浔兴SBS篮球俱乐部、福建男篮，创建于1999年，是中国男子篮球职业联赛参赛球队之一。

**球队历史**
福建SBS队是在原浔兴篮球俱乐部在06-07赛季重点改组的一支职业男子篮球队。球队在2002年以第一名的成绩晋级甲B，2003年又晋升甲A，在两年内完成“两级跳”，在2006-07赛季中球队取得了常规赛第七名，首次打入季后赛。此后福建队又连续三个赛季进军季后赛，在2011-12、2018-19、2019-20三个赛季也进入过季后赛，成绩均止步八强。
2007-08赛季开赛前，中国退役篮球明星「战神」刘玉栋在福建队复出，并且随队参加2007-08赛季的常规赛。除刘玉栋之外，历史上福建队还曾经有赵泰隆与王哲林两位国手，及吕晓明、龚松林、周启新与现任队长陈林坚等入选过CBA全明星赛的知名本土球星（详见下文“曾效力之著名球员”一节）。
2011年开始，泉州银行、晋江文旅（即晋江市文化和旅游局下属国企）、福建盼盼食品等企业先后成为球队冠名赞助商，唯2021-22赛季开始至今球队名称重新变为福建浔兴股份队。
福建队成立之后的大部分赛季都以进攻犀利而防守相对薄弱闻名，体现于每个赛季的每百回合得分数排名通常都高于常规赛实际排名（而每百回合失分数则通常相反）。近年在队中有两届CBA全明星三分大赛冠军、现任队长陈林坚等优秀投手的情形下，逐渐以精准的三分球立足联盟，场均三分球命中率和命中数在近几赛季都在全联盟名列前茅；同时，近年福建队年轻外线球员增多拉快了福建队的进攻速率，也很大程度减少了球队的失误，体现在近年福建队的场均回合数及失误率同样也优于平均值，排名联盟前列。

**球队名称列表**

**历年成绩**

**历任主教练**

**现役球员**

**曾效力之著名球员**
 CHN 龚松林（2004-2012）- CHN 吕晓明（2006-2011）- CHN 刘玉栋（2007-2010）- CHN 赵泰隆（2007-2019）- CHN 王哲林（2012-2021）- CHN 陈林坚（2012- ）- HKG 罗意庭（2010-2014）- LIB 马特·弗雷杰（2008-2009）- USA 德韦恩·琼斯（2010-2011）- USA 安德烈·艾米特（2010-2011)- USA Will McDonald（2011-2014)- USA 桑迪亚塔·盖恩斯（2012-2013）- USA 德隆蒂·韦斯特（2013-2014）- USA 艾尔·哈林顿（2014）- USA 约翰·卢卡斯三世（2014-2015）- LIB 法蒂·哈提布（2015-2016）- USA 塞巴斯蒂安·特尔费尔（2016-2017）- USA 麦克·哈里斯（2017-2018）- USA 阿玛雷·斯塔德迈尔（2019）- USA 泰·劳森（2019-2020）
忘我大汇演

《演艺界总动员忘我大汇演》，简称《忘我大汇演》，是香港市民为支持1991年华东水灾灾民而举办的筹款活动，于1991年7月27日在跑马地马场举行。此次盛会持续时间长达七小时，无线电视翡翠台、亚洲电视本港台、商业电台及香港电台联播。

**大会司仪**
沈殿霞、黄沾、曾志伟、陈欣健、岑建勋、郑丹瑞

**出席歌手/乐队**
BEYOND、软硬天师、梅艳芳、草蜢、温拿、周润发、艺进同学会、谭咏麟、钟镇涛、卢冠廷、肥妈、成龙、苏慧伦、甄妮、太极、周启生、黎明、刘德华、梁朝伟、黄日华、汤镇业、关淑怡、芳艳芬、钟楚红、萧芳芳、周华健、林子祥、苗侨伟、崔健、吕方、林青霞、夏韶声、叶蒨文、张学友、杜德伟、罗文、陈洁灵、徐小凤、汪明荃、叶丽仪、李宗盛、张艾嘉、罗大佑、蒋志光、巩俐、童安格、黄凯芹、庾澄庆、吴孟达、周星驰等。

**参见**
《滔滔千里心》（粤）：本次大汇演主题曲
*黎明走音事件：于本次大汇演中发生的演唱失误事件
*《豪门夜宴》：香港演艺界忘我大电影

**参考资料**
 滔滔千里心歌词 date=20200917135339
打草谷

打草谷，指游牧民族如契丹士兵到敌方的领地或占领区内抢劫食物、货币，或其他物资，往往对敌国的平民百姓造成重大伤害。
《资治通鉴》记载947年正月及辽国军队四出「打草谷」，数百里无人烟。《辽史·第三十四卷·志第四》载：“人马不给粮草，日遣打草谷骑四出抄掠以供之。”“其打草谷家丁，各衣甲持兵，旋团为队，必先斫伐园林，然后驱掠老幼，运土木填壕堑；攻城之际，必使先登，矢石檑木并下，止伤老幼。”《新五代史‧四夷附录一》： 「 德光已灭晋， 遣其部族酋豪……括借天下钱帛以赏军。 胡兵人马不给粮草， 遣数千骑分出四野， 劫掠人民， 号为『打草谷』。」《资治通鉴‧后汉高祖天福十二年》：「赵延寿请给上国兵廪食。 契丹主曰：『吾国无此法』。 乃纵胡骑四出， 以牧马为名， 分番剽掠， 谓之『打草谷』。」
金庸《天龙八部》写乔峰打猎时曾遇契丹兵至宋界打草谷归来。

**参见**
 掠夺- 清兵入塞- 三光政策- 以战养战
野味

中国大陆的野味
野味是中国人对野生动物来源的各类食材的统称，通常特指陆生动物，是“山珍海味”中“山珍”的重要组成部分。

**简介**
古时人类经常对野生动物进行捕杀，渔猎采集也是早期智人社会满足温饱的主要生产模式。在新石器革命后，肉食越来越由畜牧驯养的禽畜所提供，但狩猎仍是欠发达地区居民补充蛋白质和获取有价值动物产品的主要方式。在基础设施相对齐全的前工业社会，狩猎逐渐休闲化，成为贵族和地主乡绅闲暇的户外活动，在封建制度下的欧洲甚至成为领主的特权，平民严禁进入私有土地内狩猎，偷猎者会被处以重刑。
汉族作为东亚较早进入农业社会的民族，自先秦以后猎户经济就只在偏远乡村地区才会见到。而匈奴人、突厥人、蒙古人这样的游牧民族，以及古越人、古羌人、女真人这种半农半牧/半渔猎的民族，自古就有猎食野味的习惯，在女真人中甚至成为一种年度仪式。满清入关后，喜食野味的传统影响了中原饮食，如「满汉全席」就涉及以大量不同种类野生动物入馔。
到近代野味受到人类的大量捕杀后，数量大幅减少，很多物种已经灭绝或处于濒危等级。在中国濒危的动物虽然受到国家保护，但仍然少数人猎杀野味销售或自用。中国部分地区依然有贩卖野味的市场，一些民众仍迷信野味是「补品」，有强身甚至壮阳等效用，亦有人将进食野味视作猎奇、炫富表现，故此野味在中国人的饭桌上屡禁不止。

**驯养繁殖**
野味菜单，摄于2014年
部分野生动物经批准，可驯养繁殖。2003年8月，国家林业和草原局政府网发布《关于发布商业性经营利用驯养繁殖技术成熟的梅花鹿等54种陆生野生动物名单的通知》规定可以食用药用的野生动物，如果子狸、野猪、梅花鹿等。2020年因COVID-19疫情原因，2月24日，中华人民共和国出台了全面禁食野生动物决定。3月4日，农业农村部印发《关于贯彻落实全国人大常委会革除滥食野生动物决定的通知》，明确牛蛙、甲鱼等可食用，而竹鼠养殖尚存争议。2020年10月，国家林草局公布《关于规范禁食野生动物分类管理范围的通知》，要求禁止食用竹鼠、果子狸、豪猪、刺猬、猪獾等64种野生动物。

**保护措施**
2020年2月，全国人大常委会通过《全面禁止非法野生动物交易、革除滥食野生动物陋习决定》。此外，中国大陆地区的《中华人民共和国野生动物保护法》禁止捕杀以及交易受法律保护的珍贵野生动物，包括国家保护动物和“三有动物”等。

**争议**

**疾病**
食用野味涉及到捕猎、烹饪行为有可能导致相关人员感染人畜共通传染病，甚至直接促进这些疾病产生，以及违反法律。
2003年的严重急性呼吸系统综合症（SARS）病毒就是来源于菊头蝠，经过野味果子狸传播到人群中。
2019冠状病毒病的严重急性呼吸系统综合症冠状病毒2型可能也是来自于海鲜市场销售的多种野味，但亦为不排除人类传染给动物，反再传染回市场人类的情况。美国疾病控制与预防中心发布公告称“目前尚无证据表明导致COVID-19的病毒会通过食物（包括打猎获得的野味）传染给人类”。

**相关页面**
 非典型肺炎- 2019冠状病毒病- 严重急性呼吸系统综合症- 严重急性呼吸系统综合症冠状病毒2型

**参考资料**

**扩展阅读**
《好吃：食物与文化》（links=no）： 马文·哈里斯（links=no）
福建农林大学

金山本部东门
福建农林大学是福建省的一所公办省属全日制普通高等学校，成立于2000年10月，由福建农业大学和福建林学院合并而成。本部位于福建省福州市西郊的金山学区。下属一所独立学院福建农林大学金山学院。截至2023年11月，学校校园占地4900余亩；设有22个学院和1个独立学院，开设本科招生专业80个；拥有11个博士后科研流动站，12个一级学科博士点，26个一级学科硕士点，17个硕士专业学位授权点；有本科生2.5万余人，研究生1万人；10个学科进入ESI排名全球前1%。

**历史沿革**

**福建协和大学农学院**
1936年，学校以＂福建协和大学农学院＂的名字创办起来，并经历了多次分拆及合并过程。

**福建农学院**
1962年 福建林学院
中华人民共和国成立后，福建协和大学农学院、厦门大学农学院、福建省立农学院等合并组建福建农学院。1958年，森林系单独分出设立福建林学院，位于今南平市延平区，是当时福建省“八大”本科院校之一。1962年，开始招收研究生。

**福建农业大学**
1994年，福建农学院更名为福建农业大学。

**福建农林大学**
2000年，福建农业大学和福建林学院合并为福建农林大学。
2000年10月，福建林学院与原福建农业大学合并组建为福建农林大学后，福建林学院原校址成为福建农林大学南平校区，在2009年4月27日恢复本科办学，属福建农林大学二级教学单位。

**学校演进图**

**地理位置**
福建农林大学位于福州市南台岛西端闽江下游河口盆地中心，为闽江和乌龙江交汇处。学校东门（正大门）正对着闽江，西门外则为乌龙江。学校两面环山，南北方向分别为妙峰山和淮安山。
2001年之前，学校西门外有面积较大的沙滩，后面积已经大大缩小，2015年重新整建为新的沙滩公园。学校南门外为妙峰山。

**气候条件**
全年气候冬短夏长，温暖湿润。年太阳总辐射量为4379.4兆焦耳/平方米，年均日照时数1848.2小时。校园的年平均气温19．6℃，较福州市平均气温约低2．5℃，平均气温最低为1O℃左右（一月），最高为27℃左右（八月）。湿度也较福州市区高约15%。
年平均无霜期326天，年平均降水量约为1350毫米。校园外环境主导风向以东南风为主，北风和西北风次之，夏季以偏南风为主，秋冬季以西北风为主，7-9月份受台风暴雨影响较大。

**图书馆**
福建农林大学在旧馆基础上扩建的图书馆
福建农林大学有4座图书馆，分别是位于学校北区的李常盛图书馆及下安新区的邵逸夫图书馆。北区的图书馆是2004年由校友李常盛捐资在旧馆基础上扩建而成，而邵逸夫图书馆则是2008年由邵逸夫先生捐赠500万元港币修建。安溪校区图书馆和旗山校区图书馆分别于2014年和2016年投入使用。
由邵逸夫基金会捐建的邵逸夫图书馆
福建农林大学图书馆现有纸质书刊总量为51.7129万种，163.3077万册。其中，中外文纸质图书145.5903万册、中外文过刊（装订本）17.7174万册（截止2007年9月30日）。图书馆内藏有的部分图书，特别是多数计算机类图书配有随书光盘。截止2006年上半年，馆内随书光盘的数量已达到14,066张。图书馆馆藏图书以经济、工业技术（主要是计算机）、农业科学、生物科学、语言文字（主要是英语）、政治法律类为主为主。
对2005年1月至12月图书馆读者借阅新书情况调查发现，全年读者借阅各类图书总计293 620册，占福建农林大学图书馆新书总量483 948册的60.67%。其中工业技术、语言与文字、经济及文学类新书的借阅比例较高，分别占新书借阅总量的l7.59% 、14.6O%、13.56%和13.19%。

**校园环境**
校园内部绿化较好，有大片农田、植被覆盖。近年来，校园内大量建设占用了部分农田。但截止2007年10月，仍有山地面积约50公顷，水体面积约15公顷，各类园地(农田)面积约15公顷，占校园总面积约50%左右。校园的除西面外均为树木茂密的林地所包围，呈“U”字型排列。学校共有七条主要道路，并使用白兰花、芒果、荔枝、南洋楹、香樟、刺桐、木棉、垂柳、洋紫荆、羊蹄甲、蒲葵等植物作为行道树。
学校内部按东西南北四个方位大致分为四个区：南区、北区、东区、西区。大多数学生居住于南区和北区，另外有部分学生居住于学校东面的昌融公寓（现在改名：锦江馨园）。金山学院位于学校南面的下安新区。校内有一个面积较大的观音湖和一个湿地公园，湖中央路称为求知路，路的中间为春晖桥。湖区东面为湖心岛。

**历任领导**

**学院设置**
福建农林大学现有理、工、农、经、管、文、法、教、医9大学科门类、22个学院、69个本科专业、43个成人学历教育专业。学校曾是一所以农科类专业为主的本科院校，2000年农林两校合并后，学科专业结构发生改变。2007年底，全校共有7个学科门类，本科各专业农与非农的比例为21:78。- 作物科学学院 - 前身为创建于1936年的福建协和大学农科农学系和创建于1940年的福建省立农学院农艺系。- 植物保护学院 - 前身为1940年9月成立的植物病虫害系。- 园艺学院 - 创建于1940年。- 林学院 - 前身为创建于1940年的福建省立农学院森林系，2001年4月在原福建林学院资源与环境系基础上成立福建农林大学林学院。- 生命科学学院 - 成立于2001年4月- 公共管理学院 -- 动物科学学院 - 前身为创办于1958年的畜牧兽医系。- 蜂学学院 - 成立于2001年4月，其前身为农业部委托创办于1960年的养蜂专修科。- 资源与环境学院 - 成立于2001年5月，其前身分别是原福建农学院的土壤农化系（创立于1958年，1994年更名为土地与环境学系）。- 食品科学学院 - 前身为1958年原福建农学院园艺系食品加工专业及1985年复办的原福建农学院食品工程系。- 材料工程学院、工艺美术学院（合署） - 成立于2001年4月，其前身系原福建林学院林产工业系。- 计算机与信息学院 - 前身为成立于1993年的福建林学院计算中心。- 机电工程学院- 交通学院- 经济与管理学院 - 经济与管理学院前身始于1936年建立的福建协和大学农业经济系，几经重组调整，于2021年1月正式成立。。- 人文社会科学学院- 马克思主义学院- 海洋学院- 福建农林大学水产学科于2003年创办。2017年6月，福建农林大学整合水产、生命和食品学科的相关团队，成立了海洋研究院。2021年11月海洋学院成立。- 艺术学院、园林学院（合署） - 2007年6月4日正式组建成立，在园艺学院的园林花卉系、林学院的风景园林系、人文社会科学学院的广告系和工艺美术学院的工艺美术系的基础上组建而成。- 海外学院 - 专门负责港、澳、台、华侨及外国留学生招生、日常管理、教学以及中外合作本科的预科教育。- 成人教育学院、远程教育学院（合署）- 软件工程学院（已撤销）。- MBA教育中心- 福建农林大学安溪茶学院（数字经济学院） - 地处茶乡安溪县，于2012年秋季开始招生，2014年与大同技术学院（台湾嘉义市）签署学术交流协议书强化两校学术交流。- 福建农林大学金山学院（独立学院）

**参考文献**

**外部链接**
 福建农林大学 date=20210413085801 - 福建农林大学金山学院 date=20210125061928
梼杌

图出自《古今图书集成·博物汇编·禽虫典·第一百二十五卷》。
《和汉三才图会》梼杌。
，中国上古时代传说中的“四凶”之一，长得人头虎腿长有野猪獠牙。
*《神异经·西荒经》：西方荒中有兽焉，其状如虎而犬毛，长二尺，人面虎足，猪口牙，尾长一丈八尺，搅乱荒中，名梼杌，一名傲狠，一名难训。
*《左传》记载：颛顼有不才子，不可教训，不知诎言，告之则顽，舍之则嚣，傲狠明德，以乱天常，天下之民，谓之梼杌。
*《梼杌》也是楚国史书。梼，《说文解字》曰：“梼，断木也。”杌，《说文》未载，但“兀”意为下基，所以“梼杌”原本指断木桩。因断木桩上有年轮可见，因此借用为书名。
*《疑耀·梼杌》张萱：梼杌，恶兽，楚以名史，主于惩恶。又-{云}-，梼杌能逆知未来，故人有掩捕者，必先知之。史以示往知来者也，故取名焉。亦一说也。
*《左传》文公十八年道：“舜臣尧，宾于四门，流四凶族混沌、穷奇、梼杌、饕餮，投诸四裔，以御魑魅。”敦同沌。此谓舜流放四凶，以梼杌况。鲧，禹父。
信宝国际

信宝国际控股有限公司，简称信宝国际控股，以及信宝国际（Honesty Treasure International Holdings Limited，港交所除牌时0600.HK），在2004年12月29日，从大华国际（集团）有限公司换取上市而来，该公司前身为「东方明珠实业有限公司」。
过去曾经营澳门持有房地产和金龙酒店权益，香港方面则持有「Mocha」鞋类专门店。但由于所有业务全面亏损，再加上受到官司和经营问题，于是在2007年12月初，被罗氏针织有限公司后人罗家宝入主，并在2008年1月18日，更名为中国基建投资有限公司，同时把所有业务全权出售。

**外部连结**
 China-Infrastructure.comdate=20120131013911
子类型

在编程语言理论中，子类型（动名词，subtyping）是一种类型多态的形式。这种形式下，子类型（名词，subtype）可以替换另一种相关的数据类型（超类型，supertype）。也就是说，针对超类型元素进行操作的子程序、函数等程序元素，也可以操作相应的子类型。如果 S 是 T 的子类型，这种子类型关系通常写作 S number 的语言。在第一种情况下，整数类型将是浮点数类型的子类型；在第二种情况下，这两个类型都是 number 的子类型而相互之间无子类型关系。
编程者可利用子类型来以比没有它更抽象的方式来写代码。考虑下面的例子:
function max (x as number, y as number) is
if x number 的子类型，则二者任何类型都可以传递给这个函数。为此，子类型经常被认为是一种形式的多态性。上述例子也可以比较于 C++ 语言的模板。
在类型论中，子类型关系经常写为 ，有着 AB 意味着 A 是 B 的子类型。在类型论中子类型可用如下事实来特征化，如果 AB，类型 A 的任何表达式也可被给予类型 B；立法这个特征化的形式类型规则叫做“包容”规则。

**子类型方案**
类型理论研究者区分两类类型系统：
*名义子类型，在其中只有类型声明的名字相同才算是相同类型，子类型关系必须被显式声明。C, C++, C#, Java, Objective-C等语言均属于这类。
*结构子类型，在其中两种类型的结构组成决定了一种类型是否是另一种类型的子类型。
上面描述的基于类的面向对象子类型描述是名义的；面向对象的结构子类型规则可以声称，如果类型 A 的一个对象能处理类型 B 的对象能处理的所有消息（就是说，如果它们定义都同样的方法），则 A 是 B 的子类型，不管二者任何一个是否从继承自其他对象。不是对象类型的类型的健壮的结构子类型规则也是周知的。
带有子类型的编程语言实现可分为两大类: 
*如果 AB，类型 A 的任何值的表示也表示类型 B 的相同值，则为“包含实现”（inclusive implementation）。
*类型 A 的值可自动的转换成类型 B 的值，则为“强制实现”（ coercive implementation）。即类型强制转换之意。
在面向对象语言中子类型所导致的子类型通常是包含的；联系整数和浮点数的子类型关系，它们有不同表示，通常是强制的。
在定义子类型关系的几乎所有类型系统中，它是自反的（意味着对于任何类型 A 有 AA）和传递的（意味着如果 AB 并且 BC 则 AC）。这得到了在类型上的预序。

**记录类型**
记录是命名的域（field）的集合。记录类型（types of records）的子类型化包括宽度与深度两种方式。- 宽度子类型化（width subtyping）：给记录增加更多的域。- 深度子类型化（depth subtyping）：把超类型（supertype）的域替换为域的子类型。这仅能用于只读（immutable）记录。

**函数类型**
对于函数类型T1 → T2，其子类型为S1 → S2，则T1 1且S2 2。参数类型S1 → S2为逆变，返回类型为协变。 
允许副作用的语言，如大部分面向对象语言，子类型化还不足以保证安全在另一个上下文中使用。行为子类型化要求保持不变。
可变引用（mutable reference）的子类型化类似于函数参数与返回值的处理。只写引用是逆变的；只读引用是协变的；可变引用是不变的。 

**类型强制**
在强制子类型化系统（coercive subtyping system），子类型通过从子类型到超类型的隐式类型转换函数得以定义。对于每个子类型关系 (S S → T(s)具有类型T。类型强制函数可以复合：如果S T → U ∘ coerceS → T)。类型到其自身的coerceT → T是同一函数idT

**参考文献**

**引用**

**来源**
 Object-Oriented Software Construction by Bertrand Meyer

**外部链接**

**参见**
 派生类型是给出新类型但结构上同于最初类型的类型。依赖于类型系统，它可以是也可以不是子类型。- 基于类的编程有混淆了子类型和子类导致的问题的一个例子。
嘉兴三塔

嘉兴三塔公园
嘉兴三塔
甘博在1908年拍摄的嘉兴三塔
1926年2月刊《国家地理》杂志内页第225页刊登的三塔照片
三塔位于浙江省嘉兴市西门外京杭运河边，始建于唐代，据《嘉禾志》记载：“此处有白龙潭。水深流急，行舟过此多沉溺。”人们推测“潭中有白龙兴风作浪，于是运土填潭，建三塔以镇之。”
三塔于清光绪二年（1876年）重建，三塔后为茶禅寺，唐代名龙渊寺，乾隆南巡经此，曾在寺中饮茶赋诗，题匾“赐名”茶禅寺。清代“茶禅夕照”为嘉禾八景之一。
文革期间（1971年）三塔被拆除造水泥厂，塔砖一部分用于修人民广场。1999年拆水泥厂在原址重建三塔。
三塔均为九层砖塔，中间一座稍高，约15米，塔内无梯可攀，每层壁龛嵌铁制浮雕佛像，饰白、黑、红三色。

**相关记载**
明末项圣谟画过一幅《三塔图》，现藏于上海博物馆。
清道光十四年翁小海所画《三塔图》，现藏于嘉兴博物馆。 
1926年，美国出版的《国家地理》杂志内刊登了三塔照片。
1930年，日本出版《世界地理风俗大系》第三卷，三塔照片作为大运河的标志之一出现。
丰子恺画过一幅三塔，画名是《嘉兴写景》，中间那座塔，已无塔刹。
土地主

土地主（Landlord），又名地主或业主，他们是土地、地皮的业权持有人，通常也是土地使用权的出租者。
成为地主有多种目的：- 炒家买入等土地升值- 地产发展商的建屋储备- 出租作收租投资

**例子**

**中国**
明朝中叶以后，缙绅地主迅速崛起。士大夫一旦得志，其精神日趋于求田问舍。地主凭借政治特权，大肆兼并耕地，造成子粒不归于公廪。江浙权豪庄田阡陌连亘，一家而兼十家之产。
在中国大陆的农村，地主即是耕田土地的主人，出租土地给农夫（佃农）耕作，按协议征收耕作物的百分点作租金。而土地的终极所有者是国家，所以地主也要向中央政府交付地租。一些地主甚至拥有佃农新婚妻子的初夜权。
秦汉以后，朝廷都想办法抑制地方强豪。对日抗战期间，国民党失去对东南沿海通商城市的管控，国民党只能把税收负担全部移到农村，在这些贫农看来国民党反倒是土豪劣绅。这也种下日后共产党得天下的原因之一。1949年国民党的《中央日报》就曾指斥杜月笙是“买办流氓、土豪劣绅”。当年10月1日中华人民共和国成立后，中共实施土地改革运动将私土尽数收归国有并武力镇压绅士阶级，进而出现「四大恶霸地主」的样板艺术。

**日本**
日本著名土地主家族包括东北三大地主的本间氏、新潟县的「千町歩」地主市岛家和伊藤文吉以及「山林地主」田部长右卫门、堤义明和琉球的不动产商、「军用地主」竹野家等。此外，日本据有最多土地的500大企业中，三菱地所、JR东海、住友不动产、JR东日本和三井不动产名列前五位。

**美国**
美国土地投资者杂志《The Land Report》长期追踪美国最大土地所有者，并于每年定期公布美国百大地主名单，诸如John C. Malone、Archie Aldis Emmerson、Reed family、泰德·透纳、斯坦·克伦克、Irving Family、辛格尔顿家族、Brad M. Kelley、King Ranch、彼得·巴克等企业家或家族长年名列前十。美国的土地主多以农场、牧场为主要投资项目。

**英国**
英国登记在案的50大土地主之中，名列前茅的分别为Forestry Commission、英国国防部、英国国民信托和苏格兰国民信托、王室地产、英国皇家鸟类保护协会、巴克卢公爵、丹麦首富Anders Holch Povlsen、环境、食品和乡村事务部、
阿索尔公爵的信托基金、联合公用事业、西敏公爵、康沃尔公爵以及英格兰教会等组织。

**加拿大**

**澳大利亚**
据2021年1月英国《新政治家》杂志记载，澳大利亚矿业巨头吉娜·莱因哈特拥有1200万公顷的澳洲土地。1992年，其自父亲手中继承了Hancock Prospecting并继任为董事长。截至2016年，她拥有的土地总量已超过了澳洲国土面积的百分之1.5。其次，创办于1824年的澳大利亚农业公司为该国最古老的企业之一，于英国大亨乔·刘易斯成为该公司的最大股东后，在昆士兰和北领地拥有并经营700万公顷的土地。另外，该国最大的牧业公司North Australian Pastoral Company持有牧场同样遍布于昆士兰、北领地和亚历山大等地区，总面积约达610万公顷，与其他澳洲四大农牧家族（Tom Brinkworth、Sterling Buntine、Malcolm Harris、Viv Oldfield）并列该国最大地主之列。

**注释**

**相关**
 阶级成分- 私有财产- 物权法- 不在地主所有权- 国有化，又名「充公」。- 官地- 合约法- 租约- 土地改革- 投资者- 富豪- 贵族- 封地- 封建主义- 丁屋

**延伸阅读**
赵冈：〈 简论中国历史上地主经营方式的演变 date=20201222055306 〉。
*赵冈：〈 地主经济制质疑 date=20201222055313 〉。
*赵冈：〈 试论地主的主导力 date=20201222055319 〉。