yuhuanstudio/wikipedia-omni-zh huggingface dataset:
中华人民共和国第十届运动会沙滩排球比赛

中华人民共和国第十届全运会沙滩排球比赛于2005年9月23日至10月2日在江苏省连云港市体育场举行。赛事共分男女子两个项目。

## 奖牌分布情况

男子沙滩排球｜高方田／韩胜威（辽宁）｜郑鸿涌／刘伟（解放军）｜李挺／周顺（山东）

女子沙滩排球｜王菲／田佳（解放军）｜李颖／王露（山西）｜王洁／左曼（新疆）

## 奖牌榜

名次｜代表团｜金牌｜银牌｜铜牌｜总数

1｜解放军｜1｜1｜0｜2

2｜辽宁｜1｜0｜0｜1

3｜天津｜0.5｜0｜0｜0.5

3｜河南｜0.5｜0｜0｜0.5

5｜山东｜0｜1｜1｜2

6｜山西｜0｜1｜0｜1

7｜四川｜0｜0｜0.5｜0.5

7｜新疆｜0｜0｜0.5｜0.5

总计｜3｜3｜2｜8
张文显

张文显（1951年），男，河南南阳人，中华人民共和国法学家。吉林大学法律系法学理论专业硕士毕业、哲学系马克思主义哲学专业博士毕业，研究生学历，教授。

## 生平

1983年至1985年在美国哥伦比亚大学法学院研修，1989年至1990年美国华盛顿大学高级访问学者。1985年至1993先后任吉林大学法律系副主任、法学院副院长、院长、副教授、教授、博士生导师，1994年1月起任吉林大学副校长、校党委常委、校学术委员会副主任、校学位委员会委员，2001年起担任中华人民共和国教育部人文社会科学重点研究基地·吉林大学理论法学研究中心主任、中心学术委员会副主任。2002年任吉林大学党委书记。

2007年12月任吉林省高级人民法院副院长、党组书记。2008年1月当选为吉林省高级人民法院院长。2008年起担任全国人大代表。

2008年3月，不再担任吉林大学党委书记。2013年1月，卸任吉林省高级人民法院院长。

2015年1月，浙江大学聘请张文显担任文科资深教授、司法文明协同创新中心主任、光华法学院名誉院长。2019年12月，浙江大学国家制度研究院成立，张文显担任院长。

## 著作

他主编的《法理学》是许多高校法学专业的学习教材。
日本邮政民营化

邮政民营化是日本小泉纯一郎内阁推动的政策，将原本国营的日本邮政拆分成数家公司、并释股民营化。

## 背景

日本邮政始于明治时代，是日本政府部门的一部分，并取代民间原有的“飞脚问屋”。除了邮便（邮递）本业，日本邮政的另一主要业务为简易金融，包括邮政事业起始不久便开始兼营的邮政储金、以及1916年起开办的简易保险；由于日本民众的高储蓄率、加上对邮政国营的信任，令日本邮政成为日本最大金融机构，日本邮政坐拥的存款金额更位居世界前列。邮便、邮政储金与简易保险，构成支撑日本邮政机构运作的“邮政三事业”。

虽然坐拥大量金流可供运用，但由于日本邮政借出大量资金予其他亏损的国营事业，造成效益不佳；而日本邮政吸纳大量民间存款，不单令日本私营银行系统抱有怨言，日本政府也希望卸下这个负担，因而有邮政民营化的构想。而邮政从业人员长期为日本朝野政党倚赖的主要势力，为了打破工会、联谊会等邮政关联组织与政界理不清的互利共生关系，也是邮政民营化的背景之一。

2001年1月6日，原掌管邮政事业的邮政省随着中央省厅再编而解散，事业部门转移至总务省属下新成立的邮政事业厅；2003年4月1日，邮政事业厅又改组为具有特殊法人身份的日本邮政公社，成为日本邮政机构改革的先声。

## 内容

曾出任邮政大臣的小泉纯一郎在2001年接任日本首相后，便大力推动邮政民营化，他建议将日本的邮政事业分拆成四间公司，分别从事邮政业务、保险、储蓄以及邮局资产管理。这四间公司，必须于2017年度出售，完成民营化程序。

小泉纯一郎将日本邮政民营化草案提交日本参议院和日本众议院审议。但由于参议院内民主党为首的反对派以及自民党部分成员联手反对，否决议案，小泉不惜解散国会（自己也失去了首相的资格，除非再次胜选）。在众议院解散重选后，小泉成功续任首相大位，日本邮政民营化的法源依据——《邮政民营化法》也因自民党于选举中取得空前胜利，而在2005年获日本国会通过。

2007年10月1日，日本邮政民营化正式实施。日本邮政公社依此分拆为6家机构：一控股公司、四子公司、一法人机构。

日本邮政株式会社（JP 日本邮政、 JP HOLDINGS）：邮便事业株式会社与邮便局株式会社之母公司，持有100%股权。

负责上述两公司之经营管理与业务支援。

2017年度进行 IPO，2017年9月年底处理余下持有之邮便贮金银行、邮便保险股份。

邮便事业（JP 日本邮便、JP POST）：负责邮政业务、印花税票贩卖业务。

邮便局 (公司)（JP 邮便局、JP NETWORK）：负责邮便局及邮政柜台流通业务。

株式会社邮贮银行（JP ゆうちょ银行、 JP BANK）：继承原有邮政公社储金业务，并负责往后邮政储蓄业务。

2009年至2010年期间进行IPO，目标于2017年9月末完全民营化。

株式会社简保生命保险（JP かんぽ生命、JP INSURANCE）：负责人寿保险业务。

与邮贮银行同様于2009年至2010年期间进行IPO，目标于2017年9月末完全民营化。

独立行政法人邮便贮金、简易生命保险管理机构：负责对原有的邮政储蓄契约（普通存款除外）及简易生命保险契约承继、管理。

## 后续

日本邮政民营化虽以“民营化”为名，但实际上初期仅公司化，日本政府至2015年才开始释出日本邮政、邮贮银行、简保生命保险的股权。目前日本政府仍拥有日本邮政、以及三大邮政事业公司的过半股权。

2012年，日本国会修订邮政民营化相关法律，邮便事业株式会社并入邮便局株式会社，并改名为“日本邮便株式会社”。

## 外部链接

- 邮政民营化委员会（日本政府推动邮政民营化特设单位）
- 邮政民営化法案概要（首相官邸）
- 日本邮政
- 日米规制改革および竞争政策イニシアティブに基づく日本国政府への米国政府要望书―II. 日本邮政公社の民営化
舒宗侨

舒宗侨（1913年10月24日－2007年3月12日），男，湖北蒲圻县（今赤壁市）人，生于江苏南京，中国新闻学家，摄影学家，记者。

## 生平

1936年毕业于复旦大学新闻系。1935－1937年在上海《立报》担任记者，1937年10月起任苏联塔斯社驻上海、南京、武汉、重庆记者，1941年在重庆《中央日报》担任国际新闻编辑，后又任《扫荡报》编辑主任。1942年在重庆创办在中国画报出版史上占有重要地位的《联合画报》，任主编，由美国人温福立任社长，宣传抗战，成为中国新闻画报的开创者。同时兼任复旦大学副教授、四川教育学院教授、美国新闻处画报部主任。抗战胜利后，《联合画报》转为其个人经营，改为月刊，移沪出版。1946－1949年陆续编著出版《第二次世界大战史》、《中国抗战画史》（与曹聚仁合编）、《二次大战照片精华》（与魏守忠合编）、《学生解放运动画史》。后在复旦大学新闻系先后讲授《采访写作》、《新闻编辑》、《新闻摄影》、《外国新闻事业》等课程。于1986年退休，居上海，为中国摄影家协会名誉理事兼《中国摄影史》编委，中国老年摄影学会理事，上海市老年摄影学会副主席。

2007年3月12日在上海去世，享年94岁。

## 基本资料

- 姓名：舒宗侨
东周君

东周君（？），姬姓，本名及谥号均不详，有时称东周末君，是战国时期东周国最后一任君主，于前249年被秦国所灭，周朝彻底灭亡。

## 称呼

### 爵位

东周君是周赧王时代的东周国君主。小说《东周列国志》称他为公后贬号为君。虽然公也是当时国君的通称，但史书均称他为君。

## 地位问题

周赧王驾崩后，东周国又存在了七年，但自周成王以来一直保存在畿内的九鼎（九鼎为天下共主的象征），却在周赧王崩后被秦昭襄王取走了，因此周朝被认为于前256年灭亡。

## 结局

据《秦本纪》及《秦始皇本纪》附录《秦记》记载，周赧王驾崩后七年，东周君联合诸侯伐秦，失败，统治地区并入秦国。被吕不韦弑杀。后人的去往有两种说法：一说被其迁居阳人聚，为周先王守祀；又一说，秦国将其弑杀之后，立其后为东周君，迁之于阳人聚，以延周祀。

## 参考文献

- 《史记》西汉·司马迁
- 《战国策》西汉·刘向
连接设备配置

CDC（Connected Device Configuration，连接设备配置）是指符合Java Community Process（JCP）研发规范，利用Java技术将应用程序在网络上与其他连接的装置分享与使用，这些装置包括智能通讯器等等高阶个人数位助理（PDA）。CDC同时也是J2ME环境下重要的技术规范。这项技术规范于2002年首度发表。
现代五项

<image>

现代五项是一种包含射击、击剑、游泳、马术和跑步的多项目运动。

## 历史

现代五项起源于法国的拿破仑时代的陆军单兵战斗技能。19世纪，一名年轻的法国骑兵军官受命飞骑传信。他踏破险阻，穿越敌阵，迎面遭遇一名挥舞利剑的敌兵。二人比剑决斗，军官获胜，但他跨下的坐骑却被另一名敌兵射杀。军官一枪击毙敌兵，徒步继续向前跑去。他泅渡过急流，终于将消息送到目的地。这就是传说中现代五项全能运动的起源。

实际上，现代五项是由现代奥运会的创始人顾拜旦根据那位历尽磨难的法国军官的传说创立的，并成为1912年斯德哥尔摩奥运会的比赛项目。现代五项与好战的斯巴达人的古代五项全能不大相同，它包括马术、击剑、射击、越野跑和游泳。这五项比赛考察的是运动员的耐力和综合素质。

今时今日，现代五项中包括了马术、击剑、射击、赛跑以及游泳。现代五项于1912年夏季奥林匹克运动会被列入比赛项目之一，一直没有被取消。

1996年亚特兰大奥运前，现代五项的所需时间本来为4至6天之内，之后改为在一天之内完成。另外，在1992年之前的奥运，现代五项曾有男子团体赛，其后被取消。

## 规则

现代五项是一项上山下海的运动，五项分别如下：

### 马术

马术项目为障碍赛。选手在比赛前20分钟抽选所要驾驭的马，并用这段时间与马相处。女子组为350米，男子组为450米，并分别跨越12与15个障碍。但是现代五项中选手的马术并不如专业的马术选手专业且仅有20分钟练习，因此碰倒障碍物、拒跳、甚至坠马等等的频率高于专业的马术选手。

### 击剑

击剑项目使用的是重剑，为循环赛模式。每场有1分钟的时间，如在1分钟之内双方未能得分双方则被判负。

### 射击

利用4.5mm的空气枪，以站姿射击10米外的定靶，每人必须击发20发，每发之间不得超过40秒。

### 赛跑

男女选手均进行3.2公里的越野跑，按之前四项的得分依次起跑，最先到达终点就是冠军。

### 游泳

200米自由式游泳，水道的排序是依选手同项比赛的最佳成绩排列。与普通游泳项目不同：选手们会逐渐加快每50m 的速度。

## 奥运项目规则

2008年之前的规定与上述相同。

### 2012年版本

2012年伦敦奥运现代五项的比赛模式：

马术：每位运动员以1,200底分开始，途中马匹踢倒障碍物每次扣减20分、马匹拒绝跃过障碍物或不服从指令每次扣减40分、运动员坠马每次扣减60分。另外，不同比赛场地会有不同的限定时间，如完成时间超过限定时间，每1秒扣减4分。如果以多于限定时间两倍的时间完成，运动员会被直接淘汰。

击剑：运动员轮流与其他参赛者使用重剑比赛，先刺中对方者为胜。如果一分钟之内无人胜出，则双方均作败。比赛胜出率达70%的参赛者可得1,000分，以此胜率计算每多胜／负一场便加／减24分。

游泳：按照每位运动员过去十二个月的最佳时间列出种子次序并分组。如运动员以2分30秒完成200米自由式的游泳比赛，则可得1,000分。以此时间计算每快／慢0.33秒便加／减4分。

混合项目（赛跑＋射击，激光跑）：完成以上三项后，总计得分最高的运动员将优先出发，其余的运动员将按照每少4分延后1秒的规则顺序出发。运动员需跑至射击场，于70秒时限内以气手枪击中5个目标后再跑1,000米，并重复三次。第一位完成冲线的运动员就是冠军。

以上项目全部于同一天内完成。

### 2016年版本

2016年夏季奥运比赛模式：

同样也是全部于同一天内完成。

马术：每位运动员以300底分开始，途中马匹踢倒障碍物、马匹拒绝跃过障碍物、运动员堕马等等每次扣3到7分。另外，不同比赛场地会有不同的限定时间，如完成时间超过限定时间，每1秒扣减1分。如果以多于限定时间两倍的时间完成，运动员会被直接淘汰。

击剑：比赛胜出率达70%的参赛者可得250分，以此胜率计算每多胜／负一场便加／减6分。并斟酌增加奖励分。同时可依违规扣分。

游泳：按照每位运动员过去十二个月的最佳时间列出种子次序并分组。如运动员以2分30秒完成200米自由式的游泳比赛，则可得250分。以此时间计算每快／慢0.33秒便加／减1分。

混合项目（赛跑＋射击）：完成以上三项后，总计得分最高的运动员将优先出发，其余的运动员将按照每少1分延后1秒的规则顺序出发。运动员需跑至射击场，于70秒时限内以用激光枪来击中5个目标后再跑800米，并重复4次。第一位完成冲线的运动员就是冠军。并以11分40秒为600分，以此时间计算每快／慢1秒便加／减1分。

## 用障碍跑比赛代替马术

2020年夏季奥林匹克运动会时，在女子现代五项比赛中有多名选手很难控制比赛时随机选择的马匹。德国队的教练Kim Raisner出拳捶了比赛马匹，因此被撤消后续赛事资格。

国际现代五项总会在2021年11月征求可以取代马术的另一项比赛项目，后来其在提出的60个运动中，选择了最多人支持的障碍跑竞赛（Obstacle course racing），认为此运动会吸引年轻的观众观看，“和现代五项的DNA相容”。

2022年5月，国际现代五项总会宣布，在安卡拉举办的现代五项世界杯总决赛中将试办一次障碍赛跑比赛。同年11月，国际现代五项总会进行投票，69票赞成用障碍赛跑代替马术，11票反对。初级比赛的调整会在2023年开始，进阶比赛的调整在2024年奥运会之后才会进行。

## 冠军

瑞典于奥运会夺得最多的现代五项男子赛事金牌，女子赛事的强者则是匈牙利。

## 古代奥运的五项全能

古代奥运的五项全能分别为铁饼、标枪、跳远、角力以及跑步。

## 外部链接

- Olympic Modern Pentathlon - Information, History, Rules | London 2012
- Union Internationale de Pentathlon Moderne
非单调逻辑

非单调逻辑（Non-monotonic logic）是（在前提的集合和单一的句子之间的）推论关系不是单调递增的形式逻辑。

与单调推理（经典逻辑）相对，非单调推理是指知识库加入新知识后，原有的推论会被推翻的逻辑。也就是说，知识库的推论不随着知识增长而增长，即非单调递增。这时，必须使用某种正确的维持机制，确保推理继续进行。因此，非单调推理多是在知识不完全的情况下发生的。

多数形式逻辑都有单调性的推论关系，就是说，如果一个句子可以从前提的集合中推理出来，则它也可以从把这个前提集合作为子集包含的任何前提集合中推理出来，这意味着向理论增加一个公式永不引起它的推论集合的减小。在直觉上，单调性指示出学习一些新知识不能减小已知知识的集合。单调逻辑不能处理各种推理任务比如缺省推理（事实可以是已知的，只是因为缺乏反面的证据）、溯因推理（事实只按最合适的解释演绎出来）、关于知识的推理（在事实变成已知的时候，对一个事实的无知必须被撤消），和信念修正（新知识可以和旧信念矛盾。）

目前对于非单调推理的研究一般有两种途径：

- 一种方法认为经典逻辑对于研究非单调推理明显有不足的地方，因此最好是建立新的语义机制跟逻辑系统。在此基础上进行非单调推理的研究以解决一些问题，例如Reiter的缺省逻辑和Moore的自动认识逻辑，还有扩充逻辑程序（extended logic program）。
- 另一种观点与此正好相反，坚持这种观点的人认为，在经典逻辑框架下研究非单调推理是完全可行的，关键是怎么使用经典逻辑。例如封闭世界假设，McCarthy的限定推理（Circumscription）和Poole提出的假设推理（default reasoning）。

## 缺省推理

缺省假定的一个例子是典型的鸟类辨识。作为结果，如果给出一个是鸟的动物，并且不知道其他事情，就假定它会飞。如果后来知道这个动物其实是企鹅，这个事实无论如何都必须被撤销。这个例子展示了建模缺省推理的逻辑不应当是单调的。形式化缺省推理的逻辑可以粗略的分为两类：可以处理任意的缺省假定的逻辑（缺省逻辑、可废止逻辑和回答集编程），和形式化不知道为真的事实可以被缺省假定为假的特殊缺省假定的逻辑（封闭世界假定和限制）。

## 溯因推理

溯因推理是推导已知事实的最可能解释的过程。溯因逻辑不应当是单调的，因为最可能的解释不是必然正确的。例如，看到潮湿的草地的最可能的解释是下雨了；但是在知道了草地潮湿的真正原因是浇水了的时候，这个解释应当被撤销。因为获得了增加的知识（洒水车经过了），旧的解释（下雨了）被撤消了，建模解释的任何逻辑都是非单调的。

## 有关知识的推理

如果逻辑包括意味着事物是已知的公式，这个逻辑不应当是单调的。实际上，学习以前是未知的事物导致去除指定这个知识是未知的公式。第二个改变（增加导致去除）违反了单调性的条件。关于知识的推理的逻辑有一个自动认识逻辑。

## 信念修正

信念修正是改变信念来调和出可能同旧信念矛盾的一个新信念。在新信念是正确的假定下，某些旧信念必须撤销来维持一致。适应增加新信念的这种撤销使用于信念修正的任何逻辑都是非单调的。信念修正方法是对次协调逻辑的替代选择，它容忍矛盾而不是尝试去除它。

## 外部链接

- Stanford Encyclopedia of Philosophy entry
- A page by Anthony Aaby on Non-monotonic logic
于贝尔·韦德里纳

<image>

于贝尔·韦德里纳（Hubert Védrine；1947年7月31日），法国外交部长。

## 生平

生于法国的圣西尔万贝勒加德。1971年加入社会党。1974年从法国国立行政学院毕业后，先在文化部任特派员，后调到环境部任局长，一年后被调到外交部对外文化关系局担任中东问题协调人。1981年5月进入爱丽舍宫，与密特朗总统共事十年，先后任密特朗总统的外交顾问和总统府发言人。1993－1995年在“左右共处”时期任爱丽舍宫秘书长。1995年离开爱丽舍宫后，在一家专门处理国际纠纷的律师事务所担任律师。

## 职业经历

- 1997.06.04 - 2002.05.06 外交部长

## 著作

- 《弗朗索瓦·密特朗的世界》
- François Mitterrand : Un dessein, un destin, collection « Découvertes Gallimard / Histoire » (nº 483). Paris : Éditions Gallimard, 2006.
本笃会

本笃会（Ordo Sancti Benedicti）又译为本尼狄克派，亦被称为“黑修士”（得名于修会僧袍的颜色），是天主教的一个隐修会，是由意大利人圣本笃于529年在意大利中部卡西诺山所创，遵循中世纪初流行于意大利和高卢的隐修活动。其规章成为西欧和北欧隐修的主要规章。本笃会隐修院的象征是十字架及耕地的犁。另外，在不同地方的旧天主教会、圣公会及路德会均有本笃会。

## 历史

努西亚的本笃于约529年在意大利苏比亚科修建了一座修道院，后来又在卡西诺山等地陆续修建了另外十余所修道院。然而，并无证据显示他希望建立一个修道会，圣本笃会规要求各修道院间实行自治而非联合成修道会。约580年，卡西诺山被伦巴第人攻陷，僧侣们逃往罗马，这可能是本笃会传播开来的主要原因。

10世纪时，法国克吕尼隐修院首先发起改革运动，称“重修本笃会”。11世纪初在法国第戎附近的熙笃旷野又有熙笃会产生，在法国查尔特勒山圣勃路诺创办有加多森会。15世纪－16世纪时，因会士到殖民地传教，该会的隐修性质逐渐消失。

本笃会产生过24位教宗，4600位主教和五千多位圣人。

## 会规

圣本笃所订的会规共七十三章。非常生活化，照顾到祈祷、求知、劳动各方面，并提倡适度的灵修。会规规定会士不可婚娶，不可有私财，一切服从长上，称此为“发三愿”。本笃会会士每日必须按时进经堂诵经，咏唱“大日课”，余暇时从事各种劳动。会规要求祈祷不忘工作，视游手好闲为罪恶。后来该会规成为天主教修会制度的范本。本笃会传统重视教会音乐，今法国、比利时和意大利等国的本笃会修院仍保持这一传统。

本笃会规是要建立一种生活方式，就是藉着基督、在基督内、靠着圣神回归到上帝面前。这样规律的生活结构是为了要随时随地意识到天主的临在。而在团体生活中，每个人都必须要有内在的改变，才能持守对基督的誓约。并借着对地方和人的恒常关系，来达成这个永久的盟约。

## 本笃会在中国

1925年，美国本笃会的神父来到中国北京，创建辅仁大学。不久移交给圣言会负责，还在河南开封传教。1930年代退出中国。

## 外部链接

- R Dom Luke Dysinger, The Benedictine Family Tree
- 本笃会：简介
- "本笃令" 天主教百科全书
- Confoederatio Benedictina Ordinis Sancti Benedicti, the Benedictine Confederation of Congregations
- Links of the Congregations

## 基本资料

- 日语原文：本笃会
- 原名：Ordo Sancti Benedicti
- 成立时间：529年
- 标语：Ora et Labora
- 地址：意大利卡西诺山
- 主要机构：普世教会
- 类型：天主教会
- 创办人：圣本笃
- 代表人物：圣本笃（创始者）
- 网站：本笃会全球入门网站
UT斯达康

UT斯达康是全球性的通信设备提供商，其总部在香港。公司向固定与移动网络运营商、以及业务提供商提供各类通信解决方案，同时也提供各种专网解决方案。

公司专注于电信级的宽带（无线Wi-Fi与有线）传送与接入，为移动回传、城域汇聚、宽带接入与Wi-Fi提供优化的产品与解决方案。公司的宽带产品线包括基于MPLS-TP和电信级以太网技术（Carrier Ethernet）的PTN产品系列，结合内建的软件定义网络（SDN）架构，支持网络演进与multi-service access node（MSAN）。无线宽带接入则提供端到端的电信级Wi-Fi解决方案。公司致力于建立全球产品线，正在探索新市场和开发新产品，包括智能化客户终端设备（虚拟宽带网关）与数据中心交换设备。

## 历史

公司创立于1991年，原名Unitech Telecom。创始人陆弘亮，出生于中国，在美国上学。公司初创于加利福尼亚的奥克兰市，1993年在杭州驻扎，并专注于中国通信市场。1995年，Unitech与吴鹰和Chauncey Shey创办的斯达康公司合并，成为UT斯达康。几年后，公司发布个人手持式电话系统（PHS，PAS）。

公司在2000年3月于纳斯达克上市，IPO发行与一系列的并购帮助公司拓展其业务与技术，公司扎根于中国，拓展到亚洲和拉丁美洲的其它新兴经济体，并拓展业务到日本、美国和欧洲。2000至2004年间，公司通过若干起并购，将技术领域和市场机遇拓展到手机、CDMA、宽带和基于IP的各种通信技术。2008年7月，公司将其个人通信部门出售给AIG。

公司涉猎的技术涵盖广泛的通信领域，包括：NGN、软交换、IPTV、个人手持式电话系统（PHS，PAS）、3G移动通信、手机、光传输网、宽带接入、以及基于IP的MSAN、DSLAM、GEPON等各种用户接入产品。当前，公司专注于分组光网络产品、无线产品、宽带接入产品，以及软件定义网络(SDN)相关的解决方案。

## 产品

分组光传送

- 分组传送网PTN
- 下一代分组传送网NG-PTN，可全面融合公司的软件定义网络(SDN)平台，支持100GE接口，以及自动化部署。
- SyncRing网络同步解决方案，用于蜂窝移动网络，作为移动回传的一部分。该解决方案使用Precision Time Protocol（PTP）和Synchronous Ethernet（SyncE）技术，实现时间与频率的同步。

SDN

- 软件定义网络(SDN)控制器SOO Station

宽带解决方案

- 宽带无线接入 – 电信级Wi-Fi平台
- FTTx – 无源光网络（GPON）平台
- Multi-service access node（MSAN）
- 宽带网核心 – SSTP信令网关，IP多媒体子系统（IMS）

## 基本资料

- 日语原文：UT斯达康、UTStarcom Holdings Corp.
- 公司类型：上市公司
- 成立：1991年
- 代表人物：狄天麟 (首席执行官&董事)、黄照晨 (首席运营官)
- 产业：通信设备
- 产品：分组光网络产品、无线通信产品、宽带接入产品、软件定义网络(SDN)
- 营收：101.6 million USD (2015)
- 息税前利润：-9.8 million USD (2015)
- 员工人数：>600 (2016)
- 总部：香港
张佑赫

张佑赫（谚文：장우혁，1978年5月8日），生于韩国大邱市，是著名的韩国男歌手。1996年成为韩国人气组合H.O.T.中的一员。后来H.O.T.解散，他和原成员安胜浩和李在元组成新团体JTL。2005年，张佑赫推出首张个人专辑《NO MORE DRAMA 拒绝再玩》，并于2006年上半年展开在中国的活动。2006年10月，张佑赫推出第二张个人专辑《MY WAY》。张佑赫擅长跳Popping和Wave舞蹈，此外，他除演唱和舞蹈方面的才能，同样还具备作词、作曲和制作人的才能。他也拥有2级咖啡师执照，也因钻研建筑学和房地产投资，2019年为偶像界大地主，投资营利达82亿，其中不包括他买下的咖啡店。

张佑赫在2007年11月15日前往忠清南道论山陆军训练所，接受4周的基础军事训练后，作为一名公益勤务兵服役为期26个月。2019年9月强势回归，于9月3日台湾时间下五5点在韩国国内外音乐平台发布新单曲《STAY》，同年10月4日台湾时间11点于韩国国内外发表回归单曲《WEEKAND》，并于10月开始登上音乐节目开始演出。

## 唱片列表

### H.O.T.时期

- 第1辑：《反对一切暴力》
- 第2辑：《狼与羊》
- 第3辑：《复苏》
- 第4辑：《孩子！》
- 第5辑：《大爱》

### jtL时期

专辑：

- 1辑：Enter The Dragon
- 1.5辑：Love Story
- 2辑：Run Away
- jtL 历史 History

### 张佑赫 个人专辑

- 1辑：No More Drama (拒绝再玩)
- 2辑：My Way
- 3辑：Time Is LOver (2011/05/25)
- 4辑：Back To The Memories (2011/11/18)
- 单曲：STAY(feat.BABYLON) (2019/09/03)
- 单曲：WEEKAND (2019/10/04)

## 影视作品

电视剧

- 2012年 《秘密天使》搜狐网络剧 饰 死神焕
- 2014年 《千金保姆》(原名:我的失忆女友) 饰演 安康

电影

- 2016年 《假装看不见之电影大师》

## 奖项

### 大型颁奖礼奖项

年份｜奖项

2003｜、MTV - 亚洲最高人气艺术奖、MTV Asia Awards - 韩国最高人气艺人奖、韩国音乐颁奖礼 - 年度歌手奖

### 音乐节目奖项

年份｜日期｜电视台｜节目名称｜获奖歌曲｜排名

2006年｜12月24日｜SBS｜人气歌谣｜One Way｜1位
湟中区

湟中区是中华人民共和国青海省西宁市下辖一个市辖区，位于青海东北部，湟水河上游，面积2700平方公里，总人口约40万人，区人民政府驻鲁沙尔镇。

湟中区，辖区内有著名的名胜古迹有塔尔寺。海拔2225-4488米。

## 历史

明时湟中地属西宁卫，清朝雍正二年（1724年），省西宁卫，置西宁府及西宁、碾伯二县。辛亥革命后，湟中为西宁道治所。1920年代末，国民政府设立青海省，属之。民国三十四年（1945年），析西宁县城区置西宁市。民国三十五年（1946年），因与西宁市同名，西宁县改名湟中县。2019年12月，国务院批复同意撤销湟中县，设立西宁市湟中区。2020年7月22日正式成立。

## 人口

根据(青海省)西宁市第七次全国人口普查公报显示：湟中区常住人口为395043人，男性人口占比52.15%，女性人口占比47.85%，年龄结构中0-14岁占比19.8%，15-59岁占比66.38%，60岁以上占比13.82%，65岁以上占比10.31%。

## 基本资料

- 隶属：青海省西宁市
- 人口：39.5
- 人口统计时间：2020
罗纳德·科斯

罗纳德·哈里·科斯（Ronald Harry Coase，1910年12月29日－2013年9月2日），生于英国英格兰伦敦，英国著名经济学家，美国芝加哥大学经济学教授、芝加哥经济学派代表人物，法律经济学的创始人之一，1991年诺贝尔经济学奖得主。

科斯是交易成本理论、科斯定理与寇斯猜想的提出者，对产权理论、法律经济学以及新制度经济学都作出了极大贡献，1991年获得诺贝尔经济学奖。

## 人物生平

### 早年生活

罗纳德·寇斯生于伦敦西北的郊区，威勒斯登（Willesden）。他的父母都是邮局的电报操作员。在他童年时，因为腿部发育有问题，需要穿着辅具来矫正，也因此必须上专为身体有残疾学生开设的专门学校。

### 学术生涯

他在伦敦大学修学了第一年的商业学士课程，于1932年获伦敦政治经济学院商业学士学位，在登迪大学与利物浦大学任教，并于1951年移民美国，开始任教于纽约州立大学水牛城分校，1955年任教于维珍尼亚大学。

1964年后主要任教于芝加哥大学，任法学院的经济学教授直至退休。科斯是芝加哥经济学派代表人物之一，也是法律经济学的创始人之一。

2013年9月2日，科斯在芝加哥去世，享高寿102岁。

## 家庭

1937年8月7日，寇斯与其妻马龙·露斯·哈通（Marion Ruth Hartung），在英格兰伦敦的威勒斯登结婚。其妻来自美国伊利诺伊州芝加哥，两人婚后无子。

## 思想

科斯有两篇著名的论文，《企业的性质》，以交易成本概念解释企业规模。《社会成本问题》，主张完善产权界定可解决外部性问题。（参见科斯定理）。

科斯的交易成本学说被奥利弗·威廉姆森引入到现代组织理论中而且现在十分有影响力。

### 企业的本质

寇斯于1937年提出论文《公司的本质》（The Nature of the Firm），在这篇论文中，寇斯讨论人们成立企业的原因，以及决定企业规模的因素，并提出交易成本观念来解释这个现象。

### 社会成本问题

在1959年，在其论文《联邦通讯委员会》（The Federal Communications Commission）中批评了频率执照制度，并提出财产权作为更有效率的频率分配方案而被称为频率政策改革之父。

于1960年，提出论文《社会成本问题》（The Problem of Social Cost），进一步以财产权的观念来讨论政府介入的必要性。在这篇论文中，寇斯提出，完善定义的财产权，可以解决外部性问题。乔治·斯蒂格勒将这篇文章中的想法，归纳为科斯定理。

### 寇斯猜想

1972年，提出论文《耐久财与垄断》。

## 著作

- ( Nobel Prize lecture )
- How China Became Capitalist (2012) co-authored with Ning Wang. Palgrave Macmillan. .

## 外部链接

- 诺贝尔经济学奖官方页面上的传记页面
- 《意见中国－经济学家罗纳德·科斯访谈录》(含视频) - 网易财经第111期
- 中国应该开放思想市场
- 决策者应努力使中国变得更好
- 中国要铲除腐败首先得直面腐败
- 计划生育对中国有毁灭性的影响
- 崔之元： 〈科斯定理：真知灼见还是同义反复？〉 （1993）
- 法理学经典导读系列演讲 （由台湾法理学会、台湾法学会与台大人权暨法理学研究中心共同提供）
- 科斯：诠释“企业为何存在”的诺奖得主 - FT中文网

## 基本资料

- 原文名：Ronald Coase
- 学派：新制度经济学
- 出生日期：1910年12月29日
- 出生地：伦敦
- 逝世日期：2013年9月2日
- 逝世地：美国伊利诺伊州芝加哥
- 学校：纽约州立大学水牛城分校、维吉尼亚大学、芝加哥大学
- 医学专科：法律经济学
- 母校：伦敦政治经济学院
- 对立：亚瑟·塞西尔·庇古
- 贡献：科斯定理、交易成本分析、寇斯猜想
- 奖项：1991年: 诺贝尔经济学奖
- repec_prefix：e
- repec_id：pco40
鞋

鞋，也称鞋子，是一种穿在脚上的物品。

<image>

鞋子最早的发明人及发明原始理念如今很难去考究，但就基本推理想法不外乎是保暖及保护双脚。古称履、鞮（皮鞋）、舄（重木底鞋）。《说文》云：“履，足所依也。”《释名·释衣服》云：“履，礼也，饰足所以为礼也。”河南柘城孟庄商代遗址的窑址旁的灰坑中，发现鞋底的中段，形状与草鞋相似。现今鞋子的功能演变成了时尚、美化配合衣饰、尊重场合等等文明代表，但人们反而忽视了鞋子也有可能伤害到脚。

鞋子依使用的功能性区分为各种不同的类别，如：正式场合穿的皮鞋＆高跟鞋、休闲外出的休闲鞋、运动时穿的运动鞋、足球田径赛的钉鞋、登山越野时穿的登山鞋、下海时穿的蛙鞋、下雨时穿的防滑雨鞋、专门制做的订做鞋、施工场合实用取向的橡胶鞋、跳舞保持平衡的舞鞋、溜冰才穿着的溜冰鞋、特殊需求用的矫正鞋等。另外，有犯罪份子利用鞋来犯罪，例如藏毒、掷（打）人、装摄录器通行偷窥、跟踪以及用作制造炸弹等。在欧美的机场会因为防范恐怖份子用鞋子收藏炸弹或武器（已拆散），而须要登机乘客脱鞋检查。另外近年来随着电子科技的进步，也有出现内嵌感测器的特殊运动鞋等等新兴的鞋种。

## 鞋的基本组成

- 鞋面：指的是鞋子上面的部分，或是覆盖脚背的部分。除了使用皮革材质之外，也可以利用绒面革、塑胶材质来制作鞋面的部分。
- 鞋底：鞋的底部，不同的鞋会使用不同材质的鞋底，中国传统的鞋子多用布底，其中一种以多层布重叠而成的鞋底称为千层底。现在常见的鞋底有皮革、橡胶、塑胶等材质，部分运动鞋或休闲鞋有气垫，有避震功能。登山鞋的鞋底则有较深的坑纹（一般的鞋也有比较浅的坑纹），由于鞋底的坑纹能够让水通过，加上水有表面张力，令鞋能够紧吸地（或平面）上，从而能够防滑。
- 鞋跟：这部分也可以利用皮革制作，但是更常利用一些较硬的材质来制作鞋跟。
- 鞋垫：是鞋与脚紧贴最多的部分，用于吸收承载身体重力、吸收走路时脚和地面产生的作用力与反作用力的软垫，让穿鞋的人不会接触生硬的地面或鞋底，可以分担脚底板肌肉脂肪的压力负担，减少脚痛；一般鞋子都是量产的产品，因此鞋垫也都是规格化，但每个人的脚型都不同，所以买鞋的人很难真正买到完全贴合自己脚板的鞋垫，所以市场开始有专门为人量身打造鞋垫的生意。

## 鞋的应用材料

- 鞋带：用来加强固定脚与鞋子之间的紧密度，在行走的过程中防止脚在鞋子内滑动，造成行走不便、受伤或者不舒适感，但并非每种鞋子都有鞋带这个部分。
- 松紧带：目的是在穿着时固定美观的鞋型，但行走时又不因为固定而让穿鞋者感到生硬的鞋身而设计的材料，并非每一款鞋都会采用这个材料的设计。
- 拉链：功能类似鞋带的作用，为方便使用者穿着，有的设计是纯粹装饰用，没有其他的功能，并非每一款鞋都会采用这个材料的设计。
- 尼龙搭扣：功能类似鞋带的作用，为方便使用者穿着，有的设计是纯粹装饰用，没有其他的功能，并非每一款鞋都会采用这个材料的设计。

## 相关页面

鞋码亦称鞋号：由各国或地区正式与非正式制定，衡量人类脚的形状以便配鞋的标准系统。

## 鞋类

- 皮鞋
- 高跟鞋
- 靴
- 玛丽珍鞋
- 家居鞋
- 拖鞋
- 凉鞋
- 运动鞋
- 高尔夫球鞋
- 沙滩鞋
- 技师靴
- 雪地靴
- 骑警靴
- 订做鞋
- 矫正鞋
- 安全鞋
- 棒球鞋
- 布鞋
- 帆布鞋（白饭鱼）
- 功夫鞋
城中区 (西宁市)

<image>

城中区位于青海省西宁市市区中部，全区总面积153.58平方公里，总人口约33万人，区人民政府驻饮马街街道。

## 人口民族

根据第七次人口普查数据，截至2020年11月1日零时，城中区常住人口为325813人。

## 旅游区

- 中心广场
- 北禅寺
- 南山公园
- 南禅寺

## 医疗

- 青海省人民医院
- 青海省第四人民医院（青海省传染病专科医院）

## 基本资料

- 日语原文：城中区
- 隶属：青海省西宁市
- 人口：32.58
- 人口统计时间：2020
谢葆璋

谢学朗（1865年1940年）字葆璋，号镜如，女作家冰心父亲，福州长乐县人。毕业于北洋水师学堂。曾任北洋水师枪炮官，北洋舰队来远舰枪炮二副，烟台海军学校创校为校长，后任中华民国临时政府海军司令部二等参谋官。

## 亲人

- 父 谢銮恩
- 长兄 谢学廉（字“葆琨”、号“耿如”）
- 次兄 谢学清（字“葆珪”、号“穆如”）
- 谢葆璋，行三
- 女 谢婉莹（笔名“冰心”）
- 长子 谢冰涵（笔名“冰仲”）
- 次子 谢冰杰（笔名“冰雪”）
- 三子 谢冰楫（笔名“冰季”）
- 四弟 谢学浚（字“葆球”、号“哲如”）

## 社会评价

女儿谢婉莹：“早晨勇敢的灿烂的太阳，自然是父亲了。他从对山的树梢，雍容尔雅地上来，他温和又严肃地对我说：‘又是一天了！’我就欢欢喜喜地坐起来，披衣从廊上走到屋里去，开始一天新的生活。”
倒淌河

倒淌河位于中国青海省海南藏族自治州共和县境内。东起日月山西麓的察汗草原约海拔约3300米之处，自东向西，流入青海湖的仔湖耳海（俗称小湖），全长40多公里。藏语称“柔莫涌”，意思是令人羡慕喜爱的地方。

## 基本资料

- 位置：倒淌河位置
- 国家／地区：青海
- 来源：野牛山
- 原产国：青海海南藏族自治州贵德县
- source1_coordinates：36°N 21°E
- 河口：青海湖
- • 位置：青海海南藏族自治州 共和县
- 河口：36°N 34°E
- • 海拔：3260m
- 长度：40km
- 票价区间：yes
- zoom：8
祝允明

祝允明（1461年1月17日－1527年1月28日），字希哲，号枝山、枝指生（生而右手有六指），直隶苏州府长洲县人，明朝文学家、书法家。当时与徐祯卿、唐寅、文徵明并称为“吴中四才子”。

## 生平

祝允明生而右手有六指，但自幼天资聪颖，勤奋好学，五岁时就能书一尺见方的大字，九岁便能作诗文，有“神童”之誉。十岁时，已博览群书，文章瑰丽，才智非凡。十七岁即中秀才，弘治五年（1492年）壬子科应天乡试举人，此后春闱屡试不第。应铨选，授广东兴宁县知县，改应天府通判，引疾回籍，嘉靖五年（1526年）卒。

## 成就

<image>

擅长诗文和书法，特别是其狂草颇受世人赞誉，流传有“唐伯虎的画，祝枝山的字”之说。王世贞在《艺苑卮言》中评价道：“天下书法归吾吴，祝京兆允明为最，文待诏征明、王贡士宠次之”。祝枝山所书写的“六体书诗赋卷”、“草书杜甫诗卷”、“古诗十九首”、“草书唐人诗卷”及“草书诗翰卷”等均为传世墨迹的精品。

- 故宫博物院收藏有《草书将归行诗卷》。
- 国立故宫博物院收藏有《草书祝允明七言律诗卷》。
- 上海博物馆收藏有《草书前后赤壁赋卷》，此卷是传世祝允明的墨迹精品。这幅墨宝在写成后一直被文徵明慎重地珍藏，并传与子孙，此卷在文氏家族有着清晰的传承，卷后文徵明本人、次子文嘉、曾孙文从简、文震亨均有过提跋，该作品为后世诸多书法家所珍爱，卷中有多位名家题跋，包括与祝允明、文徵明同一时代的著名诗人、学者黄省曾、清朝大书法家李瑞清、近代国学大师罗振玉、日本画家长尾雨山。
- 香港艺术馆收藏有《行书离骚卷》，此卷写于弘治九年（1496年），是较早期的作品，虽与他成名的草书大相径庭，但用笔稳重，结体具一定法度，可用惯常之外的角度去观赏他的书法。

祝允明著有《怀星堂集》30卷、《苏材小纂》6卷、《祝子罪知》7卷、《浮物》1卷、《野记》4卷、《前闻记》1卷、《志怪录》5卷、《读书笔记》1卷。

## 家族

祖父祝颢，正统四年进士，山西布政使司右参政，工书法，喜好博弈。父祝𤩽，早卒。母徐氏，武功伯徐有贞之女。妻李氏，南京太仆寺少卿李应祯长女。

## 参考文献

- 王宠《祝公行状》
- （清）张廷玉等，《明史》
- 《中国大百科全书·祝允明》条目（作者：尹恭弘；邱振中；肖燕翼，共三篇）
- 葛鸿祯编《祝允明年表》
- 藤原有仁《祝允明年谱》
祺祥

祺祥（ᡶᡝᠩᡧᡝᠩᡤᡝᠰᠠᠪᡳᠩᡤᠠ）是清穆宗毅皇帝载淳拟用的年号，然而未及正式改元即被取消。1861年8月22日，咸丰帝（清文宗）在热河承德去世，其子载淳在以肃顺为首的顾命八大臣辅佐下登基，随驾诸臣拟定“兴符”、“安禧”、“祺祥”、“祥祐”此四个备选年号，9月3日发诏，明年改元祺祥。11月2日东太后慈安、西太后慈禧联合恭亲王奕䜣等人发动政变，又称辛酉之变、祺祥之变，八大臣或杀或贬，从此两宫垂帘，在11月7日下诏，翌年改元为同治，祺祥年号未及改元，即被废除。

因“同治”年号在满文称之“ᠶᠣᠣᠨᡳᠩᡤᠠᡩᠠᠰᠠᠨ, (yooningga dasan)”，“ᠶᠣᠣᠨᡳᠩᡤᠠ, (yooningga)”意为“共同的”，是副词“ᠶᠣᠣᠨᡳ, (yooni，“全，尽”)”的形容词形式； “ᡩᠠᠰᠠᠨ, (dasan)”意为“政治”，直接翻译成汉文看似“共同而治”，故有称同治年号是代表“两宫太后共同而治”，此言可能有误。因两宫听政是一时之计，不可能成为皇帝的年号。实际上清兵入关后早已汉化，“同治”应出自《书经·蔡仲之命》：“为善不同，同归于治；为恶不同，同归于乱”。

## 典故出处

来自《宋史·乐志》：“不涸不童，诞降祺祥。”

## 改元

- 咸丰十一年——七月十七日，清文宗去世。七月二十九日，定明年年号祺祥。十月五日，定明年年号同治。十月九日，清穆宗载淳即位，有诏明年改元同治。

## 文物古迹

<image>

- 咸丰十一年（1861年），钦天监编撰第二年的时宪书时，已采用祺祥年号。今北京图书馆普通古籍自然科学门藏书中内有《大清祺祥元年岁次壬戌时宪书》一册，为朱墨刻本，冠朱印1页。
- 台湾嘉义县新港乡板头村长天宫藏木匾，其落款“祺祥元年壬戌置”，为台湾唯一使用祺祥年号的匾额，是咸丰驾崩到祺祥之变期间所造，当时本欲在明年挂上殿宇，其后并未更正为“同治元年壬戌置”，此情况即使在中国大陆也很罕见。
柳亚子

柳亚子（1887年5月28日－1958年6月21日），原名慰高，字安如，后改名人权，字亚卢，又改名弃疾，字亚子，以字行，祖籍浙江慈溪，生于江苏吴江，诗人，国民党左派代表人物，南社发起人。

## 生平

<image>

1887年5月28日，生于江苏吴江县北厍区大胜村。父亲是秀才，研究《说文》和算学，母亲也通文字，教他启蒙。1898年，十二岁时曾祖父母和祖母相继去世，经济不好，于是搬到吴江县黎里镇居住。父亲赞同戊戌变法，柳亚子也撰文痛骂慈禧。1902年，考取秀才，思想渐渐转变，次年到上海爱国学社读书，结识了章太炎和邹容，并和陶亚魂出资办其出版《革命军》。爱国学社和中国教育会分裂，柳亚子支持教育会，因而辍学返乡。1904年，到吴江同里镇的自治学社读书，结识冯沼清、朱梁任。1906年，到锺衡臧所办的上海理化速成科学习化学，结识高天梅、朱少屏等人，未能毕业就被他们邀到健行公学教书，结识马君武、苏曼殊、刘申叔等人；加入了同盟会并编辑《复报》；这年中秋，两江总督端方准备禁报刊、查封学校，因此返乡避难并与郑佩宜结婚。

1909年，和陈去病、高天梅发起南社，以文学鼓吹民族革命。1912年元旦，南京临时政府成立，被雷铁厓请去做秘书，不过三天便返回上海做《天铎》、《民声》、《太平洋》三个报馆的主笔，南北议和后袁世凯做总统，士气消沉，和苏曼殊、叶楚伧饮酒度日；同年父亲去世，家务由叔父照看。1913年，转向新剧运动，和冯春航、陆子美交际。1918年，叔父去世，返乡处理家中事务，又因和在社内有了内讧，便辞去了社长的职务。1923年，和邵力子、陈望道发起新南社，提倡新文学和社会革命。1924年，国民党改组后以同盟会的资格重新加入并成立了吴江县党部。1925年，江苏省党部成立后被选为执行委员会常委兼宣传部长。次年，国民党全国二大上被选为中国国民党中央监察委员会委员，负责江苏党务。10月，逃避孙传芳的抓捕到上海，化名“唐隐芝”，做苏曼殊的研究。

1927年，北伐军到达东南后谢绝了武汉、南京两方面江苏省政府委员的任命，5月15日，到日本躲避，在东京武藏野井之头公园居住，起名“乐天庐”。1928年清明，回国后在上海居住；1943年，与张伯苓一道创立重庆南开中学。对日抗战胜利后，在香港继续从事中国民主运动。

1949年，出席中国人民政治协商会议第一届全体会议。1949年，任中央人民政府委员。1958年6月21日，在北京病逝。

## 家庭

- 郑佩宜1888年1962年，二人于1906年结婚。
- 儿子柳无忌、长女柳无非为翻译家、女婿陈麟瑞为报刊编辑、次女柳无垢为翻译家。

## 基本资料

- 日语原文：柳慰高
- 名字：亚子 (表字)
- 原文名：柳亚子
- 政党：中国国民党革命委员会
- 其他政党：中国国民党（1924年－1941年）、中国同盟会
- 出生日期：1887年5月8日
- 出生地：清朝江苏省苏州府吴江县
- 逝世日期：1958年6月21日
- 逝世地：中华人民共和国北京市
计算机逻辑

计算机逻辑描述应用于计算机科学和人工智能的逻辑。它包括：

- 以在计算机科学中的应用为导向的逻辑学研究。例如：组合子逻辑和抽象释义。
- 以逻辑形式自然表达的计算机科学基本概念。例如：编程语言的形式语义，霍尔逻辑和逻辑编程。
- 计算理论的关注形式逻辑的基本问题的方面。例如：Curry-Howard对应和博弈语义。
- 被当作应用计算机科学的逻辑工具。例如：自动定理证明和模型效验。
- 软件（和硬件）开发的形式方法，比如在Z符号中使用谓词逻辑。

基本数理逻辑比如命题逻辑和谓词逻辑（通常联合上集合论）的研究被认为是对任何大学计算机科学课程都非常重要的理论基础。高阶逻辑通常不教，但在定理证明工具如HOL中是很重要的。

有相关的一个年刊IEEE Symposium on Logic in Computer Science（LICS）。

## 书籍

- Mathematical Logic for Computer Scienceby Mordechai Ben-Ari. Springer-Verlag, 2nd edition, 2003. ISBN 1852333197.
- Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth, Mark Ryan. Cambridge University Press, 2nd edition, 2004. ISBN 052154310X.
- Logic for Mathematics and Computer Science by Stanley N. Burris. Prentice Hall, 1997. ISBN 0132859742.

## 外部链接

- Article on Logic and Artificial Intelligence at the Stanford Encyclopedia of Philosophy.
- IEEE Symposium on Logic in Computer Science（LICS）
南社

南社是辛亥革命时期的文学团体，社名取“操南音，不忘其旧”之意。南社是中国近代文学史上规模最大的文学社团。反对满清贵族统治，和同盟会会为犄角。南社全盛时期社员1,183人，连同各分社人数超过3,000人。

## 历史

于1909年11月13日由同盟会会员陈去病、高旭和柳亚子发起在苏州山塘街张忠敏公祠成立，第一届南社雅集共17人。南社的前身可以溯源到陈去病等人于1906年成立的“黄社”、1907年成立的“神交社”、1908年成立的“匡社”以及“秋社”。1911年，绍兴、沈阳、广州、南京等地又分别成立“越社”、“辽社”、“广南社”和“淮南社”等分社，南社社员人数达1180余人。1917年，因对“同光体”的评价发生争论，南社内部开始分裂。1923年中华民国大总统选举中，曹锟以5,000元支票为报酬助其当选，受贿选举议员包括19名南社成员（高旭、景耀月、马小进、叶夏声、饶芙裳、陈家鼎、席绶、骆继汉、蔡突灵、狄楼海、景定成、赵世钰、李安陆、陈九韶、王有兰、于均生、彭昌福、陈祖基、易宗夔）导致其最终解体。

1923年，柳亚子惊觉被好友出卖，与高旭等人划清界限，并与其他激进派南社社员在上海成立了“新南社”，其中已有共产党人参加。1924年，傅熊湘等传统派南社社员成立了“南社湘聚”。1943年，朱剑芒在福建永安成立了“南社闽集”。

## 出版物

《南社丛刻》是南社主办的刊物。自1910年1月至1923年12月，共出版22集。此外，1910年10月11日（重阳节），周实等在南京凭吊明孝陵，事后刊行《白门悲秋集》；1917年，出版《南社小说集》；二者均为《南社丛刻》的增刊。

## 南社雅集

南社有固定的集会和临时集会，称之为雅集，截至1923年解体前共有十八次雅集。

届数｜时间｜集会地｜参会人物

第一届｜1909年11月13日｜苏州山塘街张忠敏公祠｜陈去病、柳亚子、陈陶遗、朱少屏、景耀月、黄宾虹、蔡守、朱锡梁、庞树柏、沈砺、俞锷、冯平、赵正平、林砺、诸宗元、胡颖之、林之夏共17人。

第二届｜1910年4月10日｜杭州西湖唐庄｜陈去病、柳亚子、邹铨、马叙伦、朱少屏等16人

第三届｜1910年8月16日｜上海张家花园｜陈去病、高旭、柳亚子、黄宾虹、包天笑等19人

第四届｜1911年2月13日｜上海愚园｜柳亚子、高旭、柳亚子、姚光、朱少屏等34人

第五届｜1911年9月17日｜上海愚园｜柳亚子、朱少屏、姚光、陈其美、宋教仁等35人

第六届｜1912年3月13日｜上海愚园｜柳亚子、朱少屏、叶楚伧、黄侃、李叔同等42人

第七届｜1912年10月27日｜上海愚园｜柳亚子、郑佩宜、高旭、姚光、胡朴安、高燮等35人

第八届｜1913年3月16日｜上海愚园｜姚光、高燮、姚锡钧、胡朴安、胡怀琛等12人

第九届｜1913年10月8日｜上海愚园｜陈去病、高燮、杨锡章、姚锡钧、俞剑华等16人

第十届｜1914年3月29日｜上海愚园｜陈去病、叶楚伧、庞树柏、俞剑华、冯平等18人

第十一届｜1914年10月10日｜上海愚园｜不详

第十二届｜1915年5月9日｜上海愚园｜陈去病、柳亚子、叶楚伧、郑佩宜、蔡寅等42人

第十三届｜1915年10月17日｜上海愚园｜蔡寅、姚光、叶楚伧、邵力子、申圭植等27人

第十四届｜1916年6月4日｜上海愚园｜柳亚子、郑佩宜、叶楚伧、陆衍文、庞树柏等56人

第十五届｜1916年9月24日｜上海愚园｜柳亚子、郑佩宜、叶楚伧、姚光、朱少屏等34人

第十六届｜1917年4月15日｜上海徐园｜柳亚子、余天遂、叶楚伧、余十眉等39人

第十七届｜1919年4月6日｜上海徐园｜余天遂、姚光、王德钟、朱翱、姚肖尧等26人

第十八届｜1922年6月11日｜上海半淞园｜高旭、徐自华、胡朴安、朱剑芒、顾无咎等23人

## 相关建筑物

- 中国南社纪念馆（张忠敏公祠）
- 姚光故居（上海南社纪念馆）
- 柳亚子纪念馆
- 陈去病故居
- 高旭故居
- 叶楚伧故居
- 叶楚伧故居 (姑苏区)
- 周瘦鹃故居
- 李根源纪念室
- 沈钧儒纪念馆
- 平湖市李叔同纪念馆
- 迷楼
- 西园 (嘉善)
狮子亨利

狮子亨利（Heinrich der Löwe，1129年1195年－8月6日），德意志诸侯和统帅，萨克森公爵（称海因里希三世，1142年－1180年在位）和巴伐利亚公爵（称海因里希十二世，1156年－1180年在位）。狮子亨利是霍亨斯陶芬王朝时期最有名的政治人物之一，以其与表兄神圣罗马皇帝腓特烈一世的戏剧性冲突著称于世。

## 早年生活

狮子亨利是德意志传统豪族韦尔夫家族的成员。他的父亲，巴伐利亚兼萨克森公爵骄傲的亨利被认为是神圣罗马帝国皇位的有力竞争者；然而诸侯们畏惧于其实力，选择了霍亨斯陶芬家族的康拉德三世为国王。在骄傲的亨利于1139年去世后，康拉德三世剥夺了他的公爵头衔和公国领地，尽管萨克森领地是亨利通过婚姻从上任公爵、皇帝洛泰尔二世手中合法继承的。亨利的妻子格特鲁德（洛泰尔二世的女儿）只得独力支撑着家业，作为摄政管理着韦尔夫家族的家传领地。但是，1142年康拉德三世最终归还了萨克森公国。直到狮子亨利于1146年成年为止，韦尔夫家族和霍亨斯陶芬家族相安无事。

1146年亨利从母亲手中获得了政权。1147年，他在法兰克福帝国会议上向康拉德三世提出要求：归还巴伐利亚。康拉德拒绝了这一要求，亨利遂决定诉诸武力。亨利和他的叔父、托斯卡纳藩侯韦尔夫六世发动了一场不成功的战争，很快便被康拉德镇压。然而，狮子亨利与康拉德的侄子也是他的表兄红胡子腓特烈建立了友谊；当后者继承皇位之后，巴伐利亚在1156年回到亨利手中。

## 对斯拉夫人土地的征服

<image>

狮子亨利作为德国统帅，其最大功绩在于越过易北河，占领了许多斯拉夫部落居住的地区。从斯拉夫人的角度看，这种做法无异于侵略。然而，从德国人的角度看，这似乎又是开拓疆土的英雄行为。一些德国历史编纂者实际对此大加赞扬。在拓殖地，狮子亨利分别建立慕尼黑（1157年）和吕贝克（1159年），而在北德意志和巴伐利亚其它由其建立发展的城镇包括：奥格斯堡、希尔德斯海姆、斯塔德、卡塞尔、居斯特罗、吕讷堡、萨尔茨韦德尔、什未林和不伦瑞克。

## 与霍亨斯陶芬王朝的斗争

在获得巴伐利亚之后，狮子亨利实际上成为德意志最强大的王公，其领地从波罗的海一直到阿尔卑斯山。1166年，其他诸侯们组成了一个反对他的联盟。联盟中包括前任萨克森公爵“大熊”阿尔布雷希特。在经过两年苦战之后，亨利击败了联盟，然而他的能力也引起了腓特烈一世皇帝的担心。大约在这个时候他与自己的第一个妻子离婚。1172年，亨利对普法尔茨发动战事，之后不久与英格兰国王亨利二世的女儿玛蒂尔达（1156年—1189年）结婚。

1176年，亨利与腓特烈一世的关系破裂。起因是亨利拒绝参加腓特烈对意大利的军事行动，而腓特烈认为这直接导致了他被伦巴第联盟打败。狮子亨利受到帝国议会的传讯，但是他三次都拒绝了出席。1180年，腓特烈对亨利采取了激烈的行动：没收他的领地，除了不伦瑞克和吕讷堡以外都被没收，并由其他诸侯瓜分。至此狮子亨利的运气到了最低点，1182年他被帝国会议驱逐出境。他被迫投奔自己的岳父亨利二世，在诺曼底待了很长一段时间。1185年他被允许回国，但很快又被驱逐，这次他去了英格兰。他的妻子在1189年去世了。这一年，红胡子腓特烈参加了第三次十字军，狮子亨利以为自己时来运转，又回到了萨克森。他与德国北部的一些小王公进行了收效甚微的战争。这时腓特烈一世的死讯传来。亨利再次拿起武器反对腓特烈的继承人亨利六世，希望能拿回领地。但是当认识到不可能迫使亨利六世屈服后，他最终与霍亨斯陶芬家族和解了。

狮子亨利回到吕讷堡过起了和平的生活，并且积极赞助艺术和建筑。他的儿子不伦瑞克的奥托是韦尔夫-埃斯特家族中唯一成为神圣罗马帝国皇帝的人。

## 家庭

1147年，亨利与哲林根公爵康拉德一世的女儿哲林根的克蕾曼提亚结婚，两人共有两个女儿：

- 巴伐利亚的格特鲁德，1166年与士瓦本公爵腓特烈四世结婚，1177年与丹麦国王克努特六世结婚
- 里茜莎，早逝

1168年，亨利与英格兰国王亨利二世的女儿玛蒂尔达结婚，两人共有3子1女：

- 萨克森的玛蒂尔达，1189年与佩什伯爵哥特佛莱德三世结婚
- 海因里希五世，1193年与霍亨斯陶芬的阿格尼丝结婚，1209年与兰兹巴格的阿格尼丝结婚
- 鄂图四世，1212年与士瓦本的碧翠克丝结婚，1214年与布拉班特的玛丽亚结婚
- 吕讷堡的威廉，1212年与丹麦的海伦娜结婚

## 基本资料

- 日语原文：狮子亨利
- 后继职位：萨克森公爵
- 统治：1142年 — 1180年
- 前任：阿尔布雷希特一世
- 继任：伯恩哈德三世
- 后继职位：巴伐利亚公爵
- 统治期：1156年 — 1180年
- 前任：亨利十一世
- 继任：奥托一世
- 朝代：韦尔夫家族
- 父亲：亨利十世
- 母亲：叙普林根堡的格特鲁德
- 出生日期：1129年
- 出生地：拉芬斯堡
- 逝世日期：1195年8月6日
- 逝世地：不伦瑞克
- 安葬：不伦瑞克大教堂