yuhuanstudio/wikipedia-omni-zh huggingface dataset:
Beep Media Player

Beep Media Player是一个自由的音乐播放器，其建基于XMMS技术。BMP主要是将XMMS重写成GTK+ 2的界面，并加强对GNOME桌面环境的整合。就如XMMS，BMP的外表极像Winamp，而且支援Winamp及XMMS的面板。BMP支援大部分XMMS支援的音讯档案，而它们的输入插件最主要的分别在于其在关于及设定的图形界面。不过BMP不能直接使用全部XMMS的插件。

初是从XMMS软件中分叉出来的。它的主要目标是将XMMS重写为使用GTK2工具包，并更好地整合到GNOME桌面环境中。BMP在功能上继承了XMMS的许多优点，同时引入了一些新的特性，如支持多种音频文件格式和现代、简洁的用户界面。

BMP具有广泛的插件支持，例如可以播放APE文件的bmp-mac插件，以及用于WMA文件的bmp-wma插件。此外，它还支持通过文本搜索来管理媒体库的bmp-media-library插件

## 全新版本

在0.9.7.1发布时，BMP开发小组同时宣布BMP将不再开发。取而代之的是开发一个全新版本的BMP，并命名为BMPx。

## 停止更新

BMP已经停止开发多年，其部分代码被Audacious继承并继续发展。Audacious不仅支持BMP的所有功能，还增加了对Winamp皮肤的支持和更多的编解码器。

## 参见条目

- 媒体播放器列表
- 媒体播放器比较

## 基本资料

- 尺寸：120
- 开发者：BMP开发团队
- 软件版本周期：0.9.7.1
- 软件版本周期：2005年10月22日
- 操作系统：Linux，Unix
- 类型：多媒体播放器
- 许可协议：GNU General Public License
- 网站： beepmp.sf.net
叙永县

叙永县是四川省泸州市下辖县，位于四川盆地南缘，接壤云贵，鸡鸣三省。古时叙永亦称“永宁”。县人民政府驻叙永镇。全县幅员面积2984.41平方公里。

## 城市

叙永城市建设相对较好，城市面积7平方公里。城市人口近10万。县城新区规划23平方公里。

叙永与兴文县、古蔺县、合江县，云南省威信县、贵州省毕节县接壤。

城市分为东城、西城两个部分。以永宁河为界。

叙永城居于四川盆地长江南岸最南缘，海拔三百至四百米。

出叙永镇，往南，为云贵高原北段。最高海拔有一千米以上。

## 历史

叙永，古称永宁。旧叙州府管辖。因有永宁河流经县城，故集合两者，称为叙永。

叙永明朝建城，古为泸水之地。彝苗聚集。后汉人来，占据北部丘陵地区，彝苗退居南面山区。

明末清初，湖广填四川。叙永为从南部入川之路。人口增长，现老城区人口多为客籍。非本地土著。湖广客家混杂。通用西南官话岷江片。

有清一代，叙永知县曹，开江门峡航道，叙永成为输盐于云贵之要道，船从自贡产盐区出，经沱江南下，入泸州，纳溪南行，逆流而上进永宁河。到叙永上岸，马帮当道，往云贵。

辛亥革命，民国建立。叙永哥老会也赴泸州与会，建立军政府。后，护国战争，滇军入川。蔡锷有指挥所驻叙永，今东城公园巷人民医院住院部内。

民国迁播去台后，叙永不甚发展，航路中断。码头地位丧失。

## 袍哥开山

1848年（清道光二十八年）永宁郭永泰开荩忠山，手中有在福建渔人手内寻获的《金台山实录》。据说郑成功于1662年（清康熙元年）病故，子郑经立奉遗命以《金台山实录》作要件保存。1680年（清康熙十九年）郑经立战败于厦门，次年忧愤而亡，次子郑克塽继位。1683年清军提督施琅攻陷台湾，郑克塽将《金台山实录》用铁盒密封沉于海底，免为清军所获。郭永泰于1835年（清道光十五年）去厦门看族叔，并到一平民家闲游，见其盖米瓮中有旧书一本，封面上赫然写着《金台山实录》五字，书面盖有小图章，为“延平郡王招讨大将军印”几字，马上知道是郑成功的遗物，忙问此物是从何处而来的。据那人讲，他父亲是渔民，善于游水，能在水中伏一昼夜，一天在海中得一铁盒，无法打开，费了三天时间才将它砸开，发现里面有金银珠宝数件，小玉印一方，旧书数本，因为他不识字，不知道是什么书。郭永泰就用一百两将书购得，又问小玉印现在何处？那人称已经卖给邻居，郭又用白金十两赎回。这就成了他开山的基本思想武器。因为郑成功是藩王，书中所用的都是王者的口气，郭在开山时不敢完全使用，他于是托人仿原本进行了一定的增删，以资实用，名之曰“海底”，又名“金不换”。从此组织规模大张。

## 人口

根据叙永县第七次全国人口普查结果显示：2020年11月1日零时，全县常住人口为552979人，与2010年第六次全国人口普查相比，减少31320人，下降5.36%，年平均下降0.55%。

相关统计数据截止到2005年，叙永县共有人口66.1631万人，少数民族占叙永县总人口的6%，约为3.8万人。叙永县非农业人口9.8602万人，占叙永县总人口14.1%。

## 经济

2005年，全县实现生产总值(GDP)22.55亿元。全社会固定资产投资实现5.26亿元。社会消费品零售总额实现10.68亿元。财政总收入实现14808万元，地方财政收入实现8166万元。农民人均纯收入2510元。县城居民人均可支配收入6177元。

## 交通

这里有321和隆叙铁路。川黔高速2012年1月1日，川黔高速纳叙段已经正式通车。到2012年底，川黔高速全线通车。

## 旅游

- 画稿溪：国家级自然保护区
- 春秋祠：国家重点保护文物单位，位于叙永县城内。
- 丹山：省级风景名胜区。
- 红洞桥景区：市级风景名胜区。
- 天河瀑布景区：市级风景名胜区。

## 文物保护单位

全国重点文物保护单位3处：春秋祠、清凉洞摩崖造像、红军长征过石厢子遗迹。

省级文物保护单位10处：紫霞峰摩崖造像及石刻、龙龟山寺遗址、大石赖氏家族墓、水潦铺大堰、水尾刘氏宗祠、叙永牌坊群、傅钟故居、叙永松坡楼、叙永雪山关、永宁石桥。

## 特色产品

茶叶，米花糖，苦笋，豆汤面，葱卷，猪儿粑，糍粑，黄粑，麻糖，两河桃片，江门荤豆花。

## 基本资料

- 旧称：永宁
- – 拼音：Xùyǒng Xiàn
- 隶属：四川省泸州市
- 类型：县
- 行政中心：叙永镇
- 地址：11
- 邮政编码：646400
- phone code：830
- 面积：2977
- 人口：2020
- 人口：55.3万人
- GDP：54.18亿
- 网站：www.xuyong.gov.cn/
青鸟的虚像

《青鸟的虚像》是由Ocean-X在2004年开发的一款AVG同人游戏，是基于日本动画片《钢之炼金术师》的人物以及部分设定而开发的。其中包括对话、剧情、场景则全部为原创。

## 内容

在艾尔利克兄弟进行人体炼成后的五年，爱德华恢复了弟弟的人类身体，和弟弟一起在圣特拉尔过上了平静幸福的生活……

与此同时，爱德华终于正式进入了中央司令部，成为了历史上最年轻以上校的身份成为大总统的秘书官；而罗伊终于也成为了副总统并且继续实现他的“梦想”而继续努力。

但是，“如果没有牺牲就不可能得到任何东西”——这个遵循着‘等价交换”的世界里，重新找回弟弟的爱德华又付出了怎样的代价呢？看似平静的生活又究竟能持续多长时间……

## 详细信息

作品类型:AVG

- 游戏人数:1人
- 作品平台:PC
- 语言种类:中文GB + BIG5
- 载体:CD-ROM
- 作品性质:非流通品，仅供个人收藏
- 年龄制限:全年龄
- 开发环境:NScripter
- （开发者:高桥直树）
- （中文化:EGC & Gameclub）
- 补充：本作品为《钢之炼金术师》的同人衍生游戏，与原作并无商业关系。本作品中所有影音图象及文字均为制作组成员制作，完全原创。

## 制作组

- 制作总监:Chris
- 剧本及文案:王津津
- 文案协力:FEN
- CG绘制:Siren、Chris
- 角色绘制:Siren、Chris
- 场景绘制:北斗
- 程序制作:Chris、踏云
- 部件设定:北斗
- OP/ED:ChrisFox
- CV:ChrisFox、吾恩、jabal
- 翻译协力:danver
- BGM音乐协力:太阳君

## 外部链接

《青鸟の虚像》官方网站《青鸟の虚像》钢炼论坛
近藤效应

近藤效应（Kondo effect）是指在高电导无磁金属母体中磁性杂质原子对传导电子散射几率的增大。

在某一特征温度TK（所谓近藤温度）以下，稀磁合金的剩余电阻率随温度的降低而反常增大。1964年，近藤淳从理论上阐明了该效应的形成机制：由于孤立磁性原子与传导电子之间存在RKKY相互作用，围绕磁性原子的传导电子的自旋将反平行极化，从而屏蔽磁性原子的磁矩，并形成一个多体单态。其他传导电子与这个多体单态之间不再有“自旋相同，空间回避”的限制，结果，磁性杂质对传导电子的散射变得更为有效，电阻率增大。

## 外部链接

- Jun Kondo's web page
- Kondo Effect - 40 Years after the Discovery - special issue of the Journal of the Physical Society of Japan
- The Kondo Problem to Heavy Fermions - Monograph on the Kondo effect by A.C. Hewson (ISBN 0-521-59947-4)
- Exotic Kondo Effects in Metals - Monograph on newer versions of the Kondo effect in non-magnetic contexts especially (ISBN 0-7484-0889-4)
- Correlated electrons in δ-plutonium within a dynamical mean-field picture , Nature 410, 793 (2001). Nature article exploring the links of the Kondo effect and plutonium
盱眙县

盱眙县位于中华人民共和国江苏省西部，北临洪泽湖，为江苏省下辖县，现由淮安市管辖。邻接安徽省。古称临淮、泗州等。区域总面积为2,497.3 平方公里。

## 历史

春秋时期属吴国，战国时期属楚国。秦始皇统一中国后为东海郡下的盱台，设置盱眙县，因县治曾设在山上，取“张目为盱，直视为眙”之意，故县名曰“盱眙”。又因境内山上盛产都梁香草，秦末，楚国义军曾立楚怀王孙心建都于盱眙。西汉为徐州刺史部临淮郡盱眙督尉；东汉为下邳国盱台；三国时为魏国徐州下邳郡盱眙县；西晋时为徐州临淮国盱眙；隋朝为江都郡盱眙县，隋炀帝曾在山上建都梁行宫，故又称“都梁”（当时写做：盱台）；唐代为淮南道楚州盱眙，河南采访道下泗州的治所临淮县就在境内，五代时为江都府泗州；北宋为淮南东路泗州盱眙；南宋为淮南东路盱眙军盱眙。元朝为河南江北行省淮安道盱眙；明朝为南直隶凤阳府盱眙，明代盱眙属于凤阳府泗州管辖，盱眙县号称帝里，因为这里被明朝官方认定为明太祖朱元璋的出生地，但明朝的盱眙太平乡在今安徽省明光市明光街道赵府村附近。1680年（清康熙十九年），黄河改道，经淮河入海后明祖陵完全被水淹没。清朝为安徽省泗州盱眙。民国时属于安徽省，民国二十一年（1932年）十一月，划盱眙南17个保、滁县北6个保、定远东6个保、来安西3个保，合并新置嘉山县，县治三界镇（老三界）。1955年，江苏省为了便于管理洪泽湖地区，用江苏省两县（砀山、萧）交换安徽省的两县（泗洪、盱眙），盱眙县由安徽省划入江苏省，先后隶属淮阴专区、六合专区，地级淮阴市（今淮安市）。

1985年12月，泗洪县鲍集、管镇、兴隆、铁佛4乡划归盱眙县，洪泽县的半城、临淮、成河3乡镇划归泗洪县。

## 人口

截至2020年11月1日零时，根据第七次全国人口普查显示：盱眙县常住人口为607211人，占淮安市的13.33%。

## 地理

盱眙地势西南高，多丘陵低山；东北低，多平原；呈阶梯状倾斜，高差220多米。淮河流经境内。境内有低山、丘岗、平原、河湖圩区等多种地貌。仇集镇五座窑旁海拔231米的无名山峰为盱眙最高点。

## 经济

1998年起，小龙虾于江苏地区开始大规模销售，并逐渐形成产业，在地方政府的扶持与推动下，“盱眙龙虾”被认定为国家驰名商标，盱眙县亦成为远近闻名的“龙虾之乡”。盱眙县内亦拥有如明祖陵、铁山寺等名胜古迹，2022年春节期间接待游客约40万人次。2007年8月15日盱眙县凹土科技园建立，而新材料产业亦在成为该县的主导产业。

## 行政区划

盱眙县辖19个乡镇，一个农场，人口73万，幅员2483平方公里，人均国土面积居江苏省县级之首。县政府驻盱城镇。

下辖乡镇：

## 教育

中学

- 江苏省盱眙中学
- 江苏省盱眙县二中
- 江苏省盱眙县三中
- 江苏省马坝高级中学
- 新马外国语国际学校
- 淮安市新马高级中学

## 企业

- 淮河化工
- 玉龙集团
- 绿源肉业

## 特产

- 盱眙十三香龙虾（克氏原螯虾）

## 名胜古迹

- 明祖陵
- 大云山汉墓
- 古泗州城遗址
- 东阳城遗址
- 第一山题刻
- 第一山国家森林公园
- 铁山寺国家森林公园
- 黄花塘新四军军部旧址
- 八仙台景区

## 基本资料

- 旧称：盱台
- Photoname：都梁阁
- 位置：盱眙县在淮安市的位置
- 隶属：江苏省淮安市
- 类型：县
- 行政区划代码：32 08 30
- 成立：1955年
- 行政中心：盱城街道十里营大街86号
- 毗邻：西北：宿迁市泗洪县、西南：安徽省滁州市明光市、南：安徽省滁州市来安县、东南：安徽省滁州市天长市、东：淮安市金湖县、东北：淮安市洪泽县
- 首席负责人：县委书记
- 领袖：孙志标
- 领导人：县长
- 主席：孙志标
- 分区：20
- 地址：17
- 分区：3
- 方言：江淮官话洪巢片
- 坐标：33°N 0°E
- 总面积：2497.3
- 最长河流：淮河
- 最大湖泊：天泉湖
- 气候：亚热带季风性湿润气候
- 年均温：15℃
- 年降水：972毫米
- 年日照：2,056小时
- 人口：2020
- 人口：常住人口 60.72
- Housepop：79.67万
- 密度：263人/平方公里
- GDP：435.32亿
- 人均：63,756
- GDP as of：2020年
- 时区：UTC+8
- 邮政编码：211700
- phone code：517
- 车辆号牌：苏H
- 网站：http://www.xuyi.gov.cn/
中国刑事警察学院

中国刑事警察学院，简称中国刑警学院，是中华人民共和国公安部直属、位于中国辽宁省沈阳市的一所高等学校。该校创建于1948年5月，前身是东北公安技术训练队和东北公安干部学校，1981年11月扩建为中国刑事警察学院，并由时任全国人大常委会委员长的彭真题写校名。

## 历史沿革

1948年5月，创建东北公安技术训练大队。1949年，改建东北公安干部学校。

1954年，更名中央人民警察干部学校。1954年，公安部重庆化验训练班、上海刑事科学技术研究所等并入。1956年，更名中央第一人民警察干部学校。1966年，撤销中央第一人民警察干部学校。

1972年，复校，更名公安部人民警察干部学校。1981年11月25日，批准创建中国刑事警察学院，合署办公。

1983年，消防专业分出，并入武警部队学院。2011年，开始学院扩建计划，承担本科生，第二学位以及硕士研究生，在职警察，军队保卫部门，外警和港澳台培训等任务。

2018年9月19日，公安部警犬技术学校（沈阳警犬基地）并入中国刑事警察学院。在此之前，公安部警犬技术学校与中国刑事警察学院警犬技术系、公安部沈阳警犬基地实行“三个番号，一个实体”的管理体制，教学管理工作由中国刑事警察学院负责。

## 院系设置

学院设有侦查系、刑事科学技术系、法医学系、警犬技术系，社会科学部、基础部、警体部。有侦查学、经济犯罪案件侦查、禁毒学、信息安全、刑事科学技术、法医学、警犬技术7个本科专业，有刑事侦查、治安管理、涉外警务、计算机犯罪侦查、经济犯罪侦查、禁毒学、痕迹检验、文件检验、交通事故处理、公安图像技术、法化学、法医学、警犬技术13个专业方向。1998年学院被国务院批准为硕士学位授予单位，并从1999年开始招收硕士学位研究生和第二学士学位学生。研究生教育设有诉讼法学、刑法学、分析化学、计算机应用技术和法医学专业5个硕士点。第二学士学位教育设有侦查学、计算机犯罪侦查，刑事科学技术、法化学、法医学等专业或专业方向。

目前学院共有在校生5,000余人，在籍函授生10,000余人，教职工660人，其中教学科研人员总计350人，教授、副教授160人，享受国家政府特殊贡献津贴的专家16人，享受部级津贴的专家13人。另外还拥有一批理处聘教授教官。

学院与美国、英国、日本、俄罗斯等国家及香港、澳门特别行政区的高等学校和警察机构建立了合作关系。每年聘请外籍专家和教师来校任教或讲学，派出人员到国外留学深造和访问交流；多次主办和参与国际学术研讨活动。

## 专业设置

研究生专业设置

专业名称｜学制｜学位｜研究方向

刑法学｜三年｜法学硕士学位｜中国刑法、犯罪学、犯罪心理学

诉讼法学｜三年｜法学硕士学位｜刑事诉讼法学、行政诉讼法学、侦查学、经济犯罪侦查、物证技术学、禁毒学

计算机应用技术｜三年｜工学硕士学位｜公安图像处理及图像内容识别、视听资料检验、计算机物证检验技术

法医学｜三年｜医学硕士学位｜法医病理学、法医物证学

分析化学｜三年｜理学硕士学位｜刑事物证分析、刑事毒物分析

军事教育训练学｜三年｜军事硕士学位｜警务体能及警务实战技能训练、警务战术与指挥训练

法律硕士｜三年｜法学硕士学位

本科生专业设置

专业名称｜学制｜学位｜研究方向

侦查学｜四年｜法学学士学位｜刑事侦查、预审、涉外警务、行动技术、犯罪情报、治安管理

禁毒学｜四年｜法学学士学位

经济犯罪侦查｜四年｜法学学士学位

刑事科学技术｜四年｜工学学士学位｜痕迹检验

警犬技术｜四年｜法学学士学位｜文件检验、公安图像技术、法化学、交通事故处理

公安视听技术｜四年｜工学学士学位

法医学｜四年｜医学学士学位

网络安全与执法｜四年｜工学学士学位｜计算机犯罪侦查

第二学士学位专业设置

专业名称｜学制｜学位

侦查学｜二年｜法学学士学位

刑事科学技术｜二年｜工学学士学位

法医学｜二年｜法学学士学位

在职警察培训专业设置

办学形式｜层次｜专业｜学制｜学位

脱产学历班｜专业证书班｜侦查学｜一年

痕迹检验文件检验公安图像技术法医学

函授学历班｜高起本｜侦查学｜五年｜法学学士学位

专升本｜侦查学｜三年｜法学学士学位

刑事科学技术

岗培班｜各类岗位培训｜三个月
科布伦兹

科布伦茨（Koblenz；摩泽尔法兰克语：Kowelenz）是德国莱茵兰-普法尔茨州的非县辖城市，也是迈恩-科布伦茨县的县治，面积105.25平方千米，2023年12月31日人口为115298人，是该州人口第三多的城市，仅次于美因茨和路德维希港，并与特里尔和凯撒斯劳滕共同构成该邦五大中心城市。

科布伦茨位于摩泽尔河与莱茵河交汇处。两河汇流之处，称德意志之角，为当地名胜，是德意志统一的象征。科布伦茨所在的莱茵峡谷于2002年被列入联合国世界文化遗产。

## 名称

“Koblenz”一名源于拉丁语“Confluentes”，意为“汇流”。

林献堂旧译“科不林士”。

## 历史

公元前55年，尤利乌斯·凯撒指挥罗马军队抵达莱茵河，并建成大桥连接安德纳赫。前8年罗马帝国在此建立军事基地。

中世纪时代，科布伦茨曾被法兰克人占据。882年又被诺曼人摧毁。925年，成为神圣罗马帝国一部分。

十八世纪末法国大革命时期，科布伦茨是贵族保皇党人流亡和准备对革命的法国进行干涉的中心。

科布伦茨亦是这个时期保皇派领袖，奥国首相克莱门斯·冯·梅特涅的出生地。

## 教育

科布伦茨是科布伦茨大学（此前为科布伦茨-兰道大学）和科布伦茨应用技术大学科布伦茨校区的所在地。

## 经济

传统上科布伦茨是酿酒的中心。它位处摩泽尔葡萄酒产区内，同时啤酒生产亦很有名。其他工业有汽车配件生产、钢琴、纸张、机械、铝材等等。

2012年9月12日，亚马逊公司在科布伦兹建立物流中心。

## 友好城市

科布伦茨与以下城市结为友好城市：

- 法国 讷韦尔（1963年）
- 哈林盖区（1969年）
- 诺里奇（1978年）
- 马斯特里赫特（1981年）
- 意大利 诺瓦拉（1991年）
- 美国 奥斯汀（1992年）
- 以色列 佩塔提克瓦（2000年）
- 克罗地亚 瓦拉日丁（2007年）

## 基本资料

- 日语原文：科布伦茨
- 原文名：Koblenz
- 类型：Stadt
- 区：无
摩泽尔河

<image>

摩泽尔河（Moselle；Mosel；Musel），也译摩塞尔河、莫泽河，是莱茵河在德国境内第二大支流，仅次于阿勒河。也是仅次于莱茵河的德国第二大航运河流。为著名葡萄酒产区之一。

## 地理

河流起源于法国东北部孚日山脉西坡（海拔715米），西北流经卢森堡，在德国的科布伦茨的德意志角汇入莱茵河。流经法国的洛林，德国的萨尔等大工业区。长544公里（法国境内200公里），可通航长度392.1公里。

## 葡萄酒产区

位于德国科布伦茨和特里尔之间的摩泽尔河谷以葡萄种植闻名，而且对这一地区的经济有重要影响。河谷向阳的一侧布满葡萄农家、知名的葡萄种植区、葡萄酒小酒店和文化史景点。蜿蜒曲折的河谷两岸是陡峭的爬满葡萄藤蔓的斜坡。古罗马人和凯尔特人从一开始就意识到摩泽尔河的天然优势，两千年前就开始在河谷峭壁上种植了第一批葡萄。现在，当人们一提到摩泽尔的白葡萄酒，立刻就会想起高雅、爽口、纯正而又果味浓郁的雷司令葡萄酒。

摩泽尔地区的葡萄种植山非常陡峭，高380米、65度倾角的布雷默卡尔蒙特葡萄山（Bremmer Calmont）是欧洲葡萄种植山中最陡峭的山。洪斯吕克山脉和艾费尔山脉之间河谷地带酒乡风光极其壮美。由于这里的地理条件得天独厚，摩泽尔河的水面可以反射阳光，陡峭的页岩斜坡能够吸收热量，所以这里生长的果味浓郁的雷司令葡萄品质极高。

## 基本资料

- 说明：施韦希附近摩泽尔河畔的坡地葡萄园
- 原产国：孚日山脉
- • 位置：莱茵河
- 位置：流域图
- 河口：50°N 21°E
- subdivision_type1：国家
- 省级行政区：卢森堡
- 长度：545km
- source1_elevation：715m
- • 平均流量：290m3/s
- 流域面积：28286km2
- 流向：莱茵河→ 北海
圣三颂

《圣哉经》（Sanctus）是基督教会弥撒仪式所用声乐套曲之一，按拉丁文所翻译出来的意思有“神圣的”或“圣者”的意思。中文则有不同的译法，例如天主教会称为圣圣圣/欢呼歌；圣公会则称作三圣哉颂。天主教弥撒通常会安排在圣体圣血祝圣前所咏唱；而圣公会的崇拜则会在大祝谢文中唱或读。

而在一般的圣乐弥撒曲中，《圣哉经》位列第四首。

## 歌词内容

以拉丁文写成的歌词如下：

Sanctus, Sanctus, Sanctus

Dominus Deus Sabaoth.

Pleni sunt caeli et terra gloria tua.

Hosanna in excelsis.

Benedictus qui venit in nomine Domini.

Hosanna in excelsis.

当中头三行的内容，是来自以赛亚书，天使所唱出的赞美诗，相近的内容亦在启示录中出现，并以“高声赞美主”作结尾。另外，教会很早期便在《圣哉颂》后加入《迎主曲》（Benedictus），内容是取自马太福音第21章第9节，讲述耶稣在被钉前的一个星期（即棕枝主日/圣枝主日），骑着驴子进入耶路撒冷时，四周的群众夹道欢迎并呼喊着的内容。这部分同样以“高声赞美主”作为总结。

在日常的宗教礼仪上，《圣三颂》和《迎主曲》都是紧接在一起，可以视为同一段落的，而收录于《常用歌集》中的葛丽果圣歌也显示《圣三颂》和《迎主曲》是在同一首曲子内。不过在圣乐上，《圣三颂》和《迎主曲》既可以合并，亦可以分开；例如莫扎特和海顿的弥撒曲，《圣三颂》和《迎主曲》是分成两个乐章的，但贝多芬却是依从一般的礼仪曲，把两者合并在同一乐章上。

## 其他语言版本

### 香港圣公会圣餐崇拜礼文 (第二式)大祝谢文（甲）的三圣哉颂

圣哉，圣哉，圣哉，天地万军的主上帝，你的荣光充满天地。欢呼之声，响彻云霄。

奉你名而来的，是应当称颂的。欢呼之声，响彻云霄。

### 香港圣公会圣餐崇拜礼文 (第二式)大祝谢文（乙、丙、丁）的三圣哉颂

圣哉，圣哉，圣哉，大有权能，大有威严的主，你的荣光充满天地。欢呼之声，响彻云霄。

奉你名而来的，是应当称颂的。欢呼之声，响彻云霄。

### 天主教香港教区弥撒经文的圣三颂

圣、圣、圣。

上主、万有的主，你的光荣充满天地。

欢呼之声，响彻云霄。

奉主名而来的，当受赞美。

欢呼之声，响彻云霄。

（台湾天主教也会唱此版本）

### 台湾天主教弥撒经文的欢呼歌

圣、圣、圣。

上主、万有的天主，你的光荣充满天地。

欢呼之声，响彻云霄。

奉上主名而来的，当受赞美。

欢呼之声，响彻云霄。

### 天主教另外版本的欢呼歌

圣哉、圣哉、圣哉。

上主、万有的主，你的光荣充满天地。

欢呼之声，欢呼之声响彻云霄。

贺撒纳，贺撒纳，欢呼之声响彻云霄

贺撒纳，贺撒纳，欢呼之声响彻云霄

奉主名而来的，当受赞美。

贺撒纳，贺撒纳，欢呼之声响彻云霄

贺撒纳，贺撒纳，欢呼之声响彻云霄

### 台湾圣公会圣餐崇拜礼文版

圣哉，圣哉，圣哉，天地万军的主，主的荣光充满天地，和散那在至高处。

奉主名来的是应当称颂的，高高在上和散那。

### 英文版

现时常用的版本是根据英语文本国际协会（English Language Liturgical Consultation）于1973年所订立的版本，适用于天主教会及大部分的基督教会：

Holy, holy, holy Lord, God of power and might,

heaven and earth are full of your glory.

Hosanna in the highest.

Blessed is he who comes in the name of the Lord.

Hosanna in the highest.

而美国天主教本身亦于2011年对英文版本作出了更新：

Holy, Holy, Holy Lord God of hosts.

Heaven and earth are full of your glory.

Hosanna in the highest.

Blessed is he who comes in the name of the Lord.

Hosanna in the highest.
君主

君主（monarch）是指从一个家庭或家族中挑选成员来任职的国家元首或政权领袖。其职位之传承以直系血亲世袭为主，也可采选举或禅让方式产生；其中实行世袭制度者若无直系血亲之继承人，一般多由其亲属中遴选血亲较近者而继承之。采用君主统治方式的政体称为君主制，在现代社会中多与共和制相对；而利用君主之权力进行统治的家族团体，则称为王室或皇室。

## 字源

“尹”甲骨文象形权杖（执政）加“口”（命令）为“君”会意为“执政号令之主”。君，尊也（《说文》）。君也者，掌令者也（《春秋繁露》）。君者，治辨之主也（《荀子·礼论》）。

君主的英语词汇“Monarch”源自于希腊语“μονάρχης”，意思为唯一的（μόνος）统治者（ἄρχων）。它相当于拉丁语的“monarcha”，唯一的（mona）与统治者（arch）两个字所组成。原义是指唯一而且具备最高权力的统治者，但是在一般的用法上，是指采取血统世袭制度而形成传统传承之统治者。以其他非传统手段取得绝对权力的统治者，通常被称为僭主，或是独裁者。

## 概论

君主在各地有许多不同的头衔，依时代、地区与传统而有所不同。如王、国王、君王、大王、亲王、大公、大君、大汗、单于、可汗、皇帝、天皇、沙皇、王公 (斯拉夫)、凯撒、英白拉多、奥古斯都、马利克、埃米尔、苏丹、伊玛目、谢赫 (称号)、赫迪夫、哈里发、巴西琉斯、专制公、摩诃罗阇、沙阿、严端、赞普、却嘉、达图、拉图、曼萨、法老等，都在不同地区与不同时期中被当成君主的头衔。

## 各种君主称谓

- 帝：原指天神“上帝”，但演化为王权神格化后之君主；周朝以前最高统治者的称呼，例“帝辛”，自“王”称号出现之后，便与王字混合使用。
- 王：周朝（西周）最高统治者的称呼，等同于“天子”，例“周武王”，自秦始皇使用“皇帝”称号后，“王”就成为地位仅次于天子的诸侯的称呼，后来又渐成一种荣誉上的爵位（如恭王、延平王）
- 天子：中国周朝及以后中原王朝的最高统治者自称。秦代及其以后为最高君主的别称。
- 天王：中国周朝的最高统治者自称。便与天子字混合使用。
- 皇帝：中国秦代及其以后最高君主的称呼，也是对于外国的Emperor和The king of kings等领土广大的君主的翻译。汉语中男女皆称“皇帝”，如武则天自封“圣神皇帝”；在对译的西方语言，男性皇帝的称号原为emperor，女性皇帝的称号原为empress。
- 天皇：是唐高宗时对皇帝的尊称，高宗被称天皇，皇后武氏被尊称为天后。
- 天皇：是日本国对其国家元首的尊称。12世纪至19世纪中叶，天皇沦为名义上的君主，实际上的统治权在征夷大将军或武家政权首领。
- 大君：是日本国江户时代其国家元首的尊称。日本武家政权幕府征夷大将军是实际上统治的日本君主，故将军家族的家督自封为大君。
- 可汗：古代鲜卑、女真、蒙古族等游牧民族，其君主多称可汗。
- 国王：东周时，成为中国古代其他诸侯国君主的称呼，后来也受封于一些藩属国例如李氏朝鲜、安南、琉球等国的君主及日本室町幕府的征夷大将军，现在常指外国的君主。
- 国主：南唐中主李璟臣服于后周，去帝号，改称“唐国主”，其子后主李煜继位后称“唐国主”、“江南国主”。南明时，孙可望自称“秦国主”。
- 诸侯王：中国学者对中国历史上出现的封地（诸侯）的最高统治者的称谓。
- 大君：对天子或是最高权力者的尊称，如印度土邦的统治者。此外，日本江户幕府征夷大将军则习称日本国大君。
- 法老：指古埃及最高统治者的称号。
- 曼萨
- 沙阿：意指“万王之王”（Šāhanšāh），是古代伊朗高原诸民族的君主头衔，公元前6世纪统一波斯帝国的阿契美尼德王朝以及许多后续王朝都曾使用这一头衔。
- 沙皇：指俄国沙皇时代和保加利亚之最高统治者。俄罗斯君主称“皇帝”后，中文中仍习惯将其翻译为“沙皇”。
- 王公 (斯拉夫)
- 君王：中文对君主和国王的合称。
- 女主：中文对君主和女王的合称，此词在汉语中仅仅是为了强调君主为女性时才使用，不是封号。汉语中男女君主的封号皆称“皇帝”或“王”、“国王”。
- 苏丹：伊斯兰国家的统治者。
- 马利克
- 埃米尔：伊斯兰国家的统治者，意指“统帅之人”或意同“国王”。最早用于哈里发派驻在外的军事统帅及各地总督。
- 伊玛目
- 谢赫 (称号)
- 赫迪夫
- 拉惹：印度和东南亚地区的统治者称谓。
- 最高元首：马来西亚国家元首，由九位苏丹、拉惹和严端轮流担任
- 严端：马来西亚森美兰州最高统治者的称号
- 纳瓦卜：印度蒙兀儿帝国赐封土邦首领世袭总督的头衔，帝国势力衰弱后开始直接控制辖区的最高政治实权，成为地方事实上的统治君主。
- 大公：卢森堡和20世纪前的欧洲部分国家如奥地利、巴登等大公国君主的称号。
- 公爵：18世纪以前的欧洲部分国家如勃艮第、洛林、诺曼底、安茹等公国君主的称号。
- 凯撒
- 英白拉多
- 奥古斯都
- 巴塞勒斯
- 专制公
- 赞普
- 却嘉
- 达图
- 拉图
- 天可汗：中国唐朝时期西域诸国及突厥对唐太宗李世民的敬称，比其部落君王可汗还要高的称呼。
- 女帝：中国唯一一位女性帝王武则天的称呼，在汉语中同为皇帝女皇，在其逝世后无人可再称呼。

### 自称

- 朕
- 寡人
- 孤
- 不穀
- 本王
- 余、予（原为一般人的自称。在日本，常是大名、显贵自称）

### 针对死亡的称谓

- 驾崩（帝王）
- 薨（公侯贵戚、幕府将军）

## 家族

君主个人的家族。

- 皇室
- 皇族
- 皇胤、宗室
- 皇室配偶，由于君主通常为男性，他们的妻子有不同的头衔。而一般只有男性皇族的配偶才属于皇族
- 欧洲君主，受基督教影响为一夫一妻制，通常只有一位王后，另有王室情妇。女性君主的丈夫可称王夫。
- 东亚君主，为一夫一妻多妾制，通常有一位皇后和众多嫔御，情妇则较为少见。他们的妻妾，如果在君主登基前逝世，仍可能获得追封。
- 伊斯兰君主，为一夫多妻制。伊斯兰教四妻制中的妻子不存在嫡庶之分，但古代伊斯兰君主一般不实行四妻制，妻子人数没有限制。除多于四名的正妻外，还有多名不同等级的妃嫔以及无配偶身份的姬侍。
- 子女（皇子、皇女）
- 父母。在东亚，譬如中国，君主的父母如果在世，会给予太上皇、皇太后的头衔。如果其父母已逝世，并且生前不是君主、皇后（王后），则会获得追尊。开国皇帝通常会追尊自己的几代祖先。
- 朝代

## 建筑

为君主而建造的建筑称呼。

- 皇宫
- 宫殿
- 后宫
- 杜尔巴
- 陵墓
- 单于庭

## 物品

君主所使用的物品。

- 御座
- 天盖
- 皇冠
- 势剑
- 权杖
- 圣球
- 国玺

## 服装

君主的穿着。

- 龙袍
- 黄袍
- 皇家斗篷
- 英国中世纪国王服装

## 仪式与行为

- 加冕
- 即位
- 大婚
- 废黜
- 逊位
- 篡位
- 大酺
- 留守
- 殉葬
- 不敬
XMMS

X Multimedia System（XMMS）是一套自由的音讯播放器，其外表极像Winamp，但是执行在Unix-like操作系统。

## 历史

XMMS原来的名字是"X11Amp"，是由Peter and Mikael Alm在1997年11月所编写的，原因是“Linux没有好的mp3播放器”。这个播放器是特意模仿Winamp的，其第一个版本是在翌年5月发行的。自其发行后，XMMS皆支援Winamp的面板。虽然原来的授权是有版权的，但现已成为开放源代码，采用GNU General Public License。

在1999年6月10日，4Front Technologies决定赞助X11Amp开发并将计划名称改成"XMMS" - 这个名称解为"X MultiMedia System"。大部分XMMS使用者将X解为X11或X Window System，但实际上X是解为"跨平台"。

### 批评

XMMS一直坚持使用古老的GTK+函式库来编写，最基本的不升级原因是因为大部分插件皆依赖于旧的GTK环境。很多程序员也认为XMMS的源代码设计得太差，很难维护。基于以上原因，网络上出现了很多相关的改进计划：

- Beep Media Player，是以GTK+ 2来重新编写XMMS的音讯播放器，在2003年开始计划。
- 而有一个并不著名的以GTK+ 2重新编写XMMS的计划，称为XMMS2，是由Mohammed Sameer主持的。XMMS2计划，是打算将XMMS的程式码全部重新编写的，由Peter Alm主持，在2002冬季开始。

## 特色

XMMS现在支援以下的音讯和视讯档案：

- 音乐光碟，包含经由FreeDB支持CDDB
- libmikmod所支援的格式（including .XM, .MOD, .IT）
- MPEG Layer 1,2 and 3（即是MP3），经由mpg123函式库支援
- Vorbis
- WAV
- TTA - 经由第三方插件支援
- WavPack - 经由第三方插件支援
- speex经由第三方插件支援高质及高比率压缩
- FLAC经由FLAC插件支援
- AAC经由faad2函式库插件支援，支援m4a档案
- WMA经由第三方插件提供有限度支援

参见： https://web.archive.org/web/20130715120646/http://mcmcc.bat.ru/xmms-wma/

它支援Icecast与SHOUTcast串流，而且相容Winamp 2的面板。

## XMMS 2发展

- XMMS2 0.2 DrCox释出（2006年2月21日）。

## 参考

- 4Front Technologies（2005年8月20日）关于XMMS支援赞助的新闻稿。
- SlashNET（2005年8月20日），XMMS开发者们的聊天纪录， 1999-06-13。
- XMMS2（2005年8月20日），计划历史。
- Planet XMMS,。
魏重庆 (1914年)

魏重庆（Charles Wei，C.C. Wei，1914年1987年－2月20日），美籍华人，桥牌理论家、实业家，精准制叫牌法（亦称精确叫牌法）的发明者，也是美国华人船王。

## 生平

祖籍中国浙江省宁波，生于浙江嵊县黄泽镇白泥坎村，是曾任中华民国司法院院长谢冠生的外甥。1936年毕业于上海交通大学电机系，其后任职国民政府资源委员会，辅仁大学教授。在二战期间，他来到美国深造，并加入美国籍。1942年开始经营海运业，在中东和东亚之间运送石油。逐渐成为一位船运业和航空业中成功的企业家。曾担任美国联合油轮公司副总裁。1962年创办复康轮船公司，任董事长兼总裁。主持过飞鹰航业集团。作为一个企业家，魏重庆善于创新，曾以最低的费率完成美国历史上最大谷物越洋运输生意。同时懂得利用各种有利机会。复康航运集团不仅是美国政府合同承包商，还得到大量政府补贴和贷款保证，建造“德克萨斯之骄傲号”、“德克萨斯之星号”、“德克萨斯之魂号”等多艘深海运输货轮，在不景气的美国海运业中一支独秀。魏重庆也因此有“船王”或“纽约船王”之称。旋供职于。抗战爆发后赴重庆任军事委员会政治部电讯总队组长。1942年奉命赴美国考察。

### 桥牌成就

1965年，魏重庆发明了中华精准制，即超级精准制的前身。虽然他极力向人推荐，但是北美桥牌界对这个来自中国行外人士的成果毫不重视。魏重庆并不气馁，他来到台湾，遴选了一批年轻人，组成中华队，用新式叫牌法进行训练和比赛。中华队使用精准制连续在1967年、1968年和1969年三次远东锦标赛中取得佳绩。1969年，在代表世界最高水平的百慕大杯世界桥牌团体锦标赛上，他与夫人、后来人称“桥牌皇后”的杨小燕共同带领中华队（队员包括黄光辉、戴明芳、黄光明和后来成为国立清华大学校长的沈君山）在半决赛中一举击败不可一世的美国队，进入决赛，最后获得亚军，轰动世界桥牌界。而且次年再次进入决赛，又获亚军。这两次胜利确立了魏重庆在桥牌界的地位。

此后不久，历史上最为强大的意大利蓝队也采用了精准制叫牌法，并继续横扫世界桥坛。戈伦和里斯这样的大师人物也纷纷著书介绍，改习精准制风靡全球。时至今日，精确制及其改良版本仍然是主流的叫牌法。

魏重庆本人也有极高的实战水平，曾创下纽约区际比赛得分率最高记录，至今尚未打破。

### 逝世

1987年2月20日，魏重庆因糖尿病在美国纽约大学医院逝世，享年73岁。
坤甸

坤甸（Kota Pontianak，中华人民共和国又译庞提纳克；客家话：Khun-tîen），是印度尼西亚西加里曼丹省省会及最大城市，临近赤道，该市被卡普阿斯河分隔两岸。该市总人口约达62.8万人，华人人口占三分之一，为西加里曼丹省的经济、政治中心。

坤甸建立于1771年10月23日，早在公元18世纪，该地就被定为兰芳共和国的首都。由于该市市内水渠纵横交错，故屋舍大多被兴建在水上。

## 社会

### 人口

全市人口约628,000人。华人人口占三分之一。种族主要为马来族（26.05%）、爪哇族（11.67%）、华裔（31.24%）、马都拉（6.35%）、达雅族等（3.57%）。

### 语言

坤甸市有很多华人聚居，约占全市总人口的三分之一。因此当地其他族裔的印尼人在使用印尼语之外，部分亦常以客家话与潮州话这两种较强势的汉语方言夹杂印尼语进行沟通，当地许多年长长辈仍通晓汉字。以卡普阿斯河为分水岭，该市东面的市区（老埠头）一带通行潮州话，以揭阳口音为主；西面的工业区（新埠头）一带则通行客家话，以梅县口音和陆丰口音为主。除此之外，当地亦有不少闽籍居民，同时略懂普通话。

## 行政区划

全市共分为6个区：

- 西坤甸区
- 坤甸市区
- 南坤甸区
- 东南坤甸区
- 东坤甸区
- 北坤甸区

### 历任首长

任内｜名字｜出生地｜任期

1｜R. Soepardan｜Syahkota Pontianak｜1947－1948

2｜Ads. Hidayat｜Burgemester Pontianak｜1948－1950

3｜Ny. Rohana Muthalib｜Burgemester Pontianak｜1950－1953

4｜Soemartoyo｜Kotapraja｜1953－1957

5｜A. Muis Amin｜Kotapraja/Kotamadya Pontianak｜1957－1967

6｜Siswoyo｜Kotamadya Pontianak｜1967－1973

7｜Muhammad Barir ,SH.｜Kotamadya Daerah Tingkat II Pontianak｜1973－1978

8｜T.B. Hisny Halir｜Kotamadya Daerah Tingkat II Pontianak｜1978－1983

9｜H. A. Majid Hasan｜Kotamadya Daerah Tingkat II Pontianak｜1983－1993

10｜R.A. Siregar, S.Sos｜Kotamadya Daerah Tingkat II Pontianak｜1993－1999

11｜dr. H. Buchary Abdul Rahman｜Kota Pontianak｜1999－2008

## 地理

### 气候

按柯本气候分类法，坤甸属于热带雨林气候。全年多雨，年降雨量约3210mm。只有8月降雨量低200mm。气温全年不变，最高温平均30°C，最低温平均23°C。

## 文化

当地有许多华人，因此农历新年为当地重要节庆，春节期间当地机场、百货、街道等也有农历新年的各种装饰及"Gong Xi Fat Chai(恭禧发财)"等字样。

## 教育

坤甸市内有公立的丹戎布拉大学，以及数所私立大学。

## 交通

<image>

坤甸有两条大桥连接市内两岸，汽车、机车为市民主要交通工具。

### 对内

主要依靠小型巴士和人力三轮车。当地居民则大多拥有摩托车和脚踏车，方便日常出入。

### 对外

主要依赖飞机和船只。

空运方面，坤甸机场(苏巴迪奥国际机场)连接马来西亚和国内其它机场。

水运方面，市内有一个中型货柜及客运码头。

## 景点

三神宫（印尼语：Vihara Bodhisatva Karaniya Metta）最初建于清康熙十二年（1673年），是西加地区最为古老的寺庙。

赤道纪念碑（Tugu Khatulistiwa）、Ayani Megamall Pontianak购物中心等。

## 基本资料

- 官方名称：Kota Pontianak
- 原文名：Pontianak
- 昵称：坤甸 / Khuntien
- 类型：省会、市
- 印尼文：其他文字
- 印尼文：Pontianak、arab（爪夷文）
- 客家话：Khun-tîen
- translit_lang1_type2：华语
- translit_lang1_info2：坤甸、Kūndiàn（拼音）
- 校训："Pontianak Kota Khatulistiwa Berwawasan Lingkungan Sebagai Pusat Perdagangan dan Jasa Bertaraf Internasional"、("坤甸，具有环境洞察力的赤道城市，是国际贸易和服务的国际中心")
- 说明：坤甸市内的赤道纪念碑
- 位置：Indonesia_Kalimantan#Indonesia
- 位置：坤甸市在印尼西加里曼丹省的位置
- 座标：0.0206°S 109.3414°E
- 位置：坤甸市在印尼加里曼丹的位置##坤甸市在印尼全境的位置
- 国家：印度尼西亚
- 省：西加里曼丹省
- 市长：Edi Rusdi Kamtono
- 总面积：118.32
- 设立：1771年10月23日
- 人口统计时间：2014年
- 密度：5,321
- 人口：573,751
- 时区：印尼西部时间
- 网站：https://www.pontianakkota.go.id/
光酥饼

<image>

光酥饼是中国民间小吃，外表白色或至黄色，并可能有裂痕以及是圆形。也是闻名于香港奇华饼家、泰昌饼家，以及其他的传统老饼店。类似广东所制造的西樵大饼，口感松软、味觉香甜而不腻，较为干爽，亦可用作为最佳的休闲食品。

## 主要材料 ( 较常用 )

- 低筋面粉
- 水
- 白砂糖( 罕见只使用黄糖）
- 发粉
- 粟粉
- 鸡蛋( 罕见只使用蛋白）
归结原理

归结（resolution）原理，在数理逻辑和自动定理证明中（GOFAI涉及的主题），是对于命题逻辑和一阶逻辑中的句子的推理规则，它导致了一种反证法的定理证明技术。

## 命题逻辑中的归结

### 归结规则

在命题逻辑中的归结规则是一个单一的有效的推理规则，从两个子句生成它们所蕴含的一个新的子句。归结规则接受包含互补的文字的两个子句 - 子句是文字的析取式，并生成带有除了互补的文字的所有文字的一个新子句。形式上，这里的$a_i$和$b_j$是互补的文字：

$$\frac{ a_1 \lor \ldots \vee a_{i-1} \vee a_i \vee a_{i+1} \vee \ldots \lor a_n, \quad b_1 \lor \ldots \vee b_{j-1} \vee b_j \vee b_{j+1} \vee \ldots \lor b_m} {a_1 \lor \ldots \lor a_{i-1} \lor a_{i+1} \lor \ldots \lor a_n \lor b_1 \lor \ldots \lor b_{j-1} \lor b_{j+1} \lor \ldots \lor b_m}$$

归结规则生成的子句叫做两个输入子句的归结（resolvent）。

当两个子句包含多于一对的互补文字的时候，归结规则可以（独立的）应用到每个这种文字对上。但是，只有要消去（resolve）的文字对可以去除：所有其他文字对仍保留在归结后的子句中。

### 一种归结技术

当外加上完备的搜索算法的时候，归结规则生成一个可靠的和完备的算法来决定命题公式的可满足性，并且经过扩展，决定句子在一组公理下的有效性。

这种归结技术使用反证法，并基于在命题逻辑中的任何句子都能转换成等价的合取范式句子的事实。步骤如下：

- 在知识库中所有句子和要证明的句子（猜测（conjecture）)的否定都合取连结。
- 结果的句子变换成合取范式（处理成一组子句）。
- 把归结规则应用到包含互补的文字的所有可能的子句对，通过除去重复的文字来简化结果的句子。如果句子包含互补的文字，则（作为重言式）丢弃它。如果没有，并且它在子句的集合中仍然不存在，则增加上它，并考虑做进一步的归结推理。
- 如果在应用归结规则之后推导出空子句，则全部的公式是不可满足的（或者说矛盾的），所以可以做出最初的猜测从这些公理中推出的结论。
- 在另一方面，如果不能推导出空子句，并且不能应用归结规则推导更多的新子句，则这个猜测不是最初的知识库的定理。

这个算法的一个实例是最初的Davis-Putnam算法，它后来被精制成去除了对归结出的子句的显式表示的需求的DPLL算法。

## 一阶逻辑中的归结

一阶逻辑归结把传统的逻辑推理的直言三段论浓缩成了一个单一的规则。

要理解归结是如何工作的，考虑词项逻辑三段论的下列例子：

所有希腊人都是欧洲人。

荷马是希腊人。

所以，荷马是欧洲人。

或者，更一般性的：

∀X, P（X）→ Q（X）。

P（a）。

所以, Q（a）。

要使用归结技术重造推理，首先子句们必须转换成合取范式。在这种形式下，所有的量化都成为隐含的：在变量（X, Y...）上的全称量词理所当然的被省略了，而存在量化的变量被替换成Skolem函数。

¬P（X）∨ Q（X）

P（a）

所以, Q（a）

所以，问题是归结技术如何从前两个子句推导出最后一个子句?规则是简单的：

- 找到包含相同谓词的两个子句，这个谓词在一个子句中是否定的而在另一个子句中是肯定的。
- 在两个谓词上进行合一。（如果合一失败，则你做了错误的谓词选择，回到前面的步骤再次尝试。）
- 如果在被合一的谓词中受到约束的任何未绑定的变量也出现这两个子句中的其他谓词中，则同样的把它们替换（replace）成它们的绑定值（项）。
- 丢弃被合一的谓词，并合并两个子句中的余下的谓词到一个新子句中，并用"∨"算子连接起来。

要应用这个规则到上述例子，我们找到谓词P以否定形式出现在第一个子句中

¬P（X）

并以非否定形式出现在第二个子句中

P（a）

X是一个未绑定变量，而a是一个绑定变量（原子）。合一两个子句生成代换（substitution）

X := a

丢弃合一了的谓词，并把这个代换应用到余下的谓词中（在本例中就是Q（X）)，生成结论：

Q（a）

举个其他例子，考虑三段论形式

所有克里特岛人都是岛上居民。

所有岛上居民都是说谎者。

所以，所有克里特岛人都是说谎者。

或者更一般性的,

∀X P (X) → Q（X）

∀X Q (X) → R（X）

所以, ∀X P (X) → R（X）

在合取范式中，前提变成了：

¬P（X）∨ Q（X）

¬Q（Y）∨ R（Y）

（注意在第二个子句中的变量被重命名来使在不同子句中的变量清晰的区分开来。）

现在，合一第一个子句中的Q（X）和第二个子句中¬Q（Y）意味着X和Y变成了同一个变量。把这个变量代换到余下的子句中，合并它们给出结论：

¬P（X）∨ R（X）

归结规则（带有额外的因数分解）同样的包容传统逻辑的所有其他的演绎形式。

## Paramodulation

Paramodulation是一种相关技术，用于推理条款集，其中谓词变量是平等的。它可以生成所有 "相等 "的子句，但反身的相同性除外。参数化操作需要一个正的从子句，它必须包含一个平等字面。然后，它搜索一个 "进入 "子句，该子句与平等关系的一方相统一。然后，该子项被等号的另一边所取代。Paramodulation的一般目的是将系统简化为原子，在替换时减少术语的大小。

## 参考文献

Approaches to non-clausal resolution, i.e. resolution of first-order formulas that need not be in clausal normal form, are presented in:

- (Cited from Manna, Waldinger, 1980 as: "A Proof Procedure for Non-Clausal First-Order Logic", 1978)
- A preprint appearead in Dec 1978 as SRI Technical Note 177
- Summary
合一

在逻辑和计算机科学中，合一（unification），是方程求解表达式之间方程的算法过程。例如，使用 x, y, z 作为变量，单元素集合解的方程`{cons(x, cons(x, nil)) = cons(2, y)}`是一个语法一阶合一问题，具有替换`{x ↦ 2, y ↦ cons(2, nil)}`作为其唯一解。

合一算法首先由雅克·埃尔布朗 ( 发现，而第一个正式研究可归因于John Alan Robinson，他使用一阶句法合一作为基本构建块他对一阶逻辑的归结过程的研究是自动推理技术的一大进步，因为它消除了组合爆炸的一个来源：搜索项目实例。如今，自动推理仍然是合一的主要应用领域。语法一阶合一用于逻辑编程和编程语言类型系统实现，特别是基于 Hindley-Milner 的类型推论算法。语义合一用于 SMT 求解器、重写逻辑算法和安全协议分析。高阶合一用于证明助手，例如 Isabelle 和 Twelf，并且高阶合一的受限形式（高阶模式合一）用于某些编程语言实现，例如λProlog，因为高阶模式具有表现力，但它们相关的合一过程保留了更接近一阶合一的理论属性。

例如，对于多项式 X2 和 Y3 可以通过采纳 X = Z3 和 Y = Z2 而合一到 Z6。

## Prolog 中的合一的解释

合一概念是在 Prolog 背后的主要想法。它表示绑定变量的内容的机制并可以看作为一种只一次的(one-time)赋值。在 Prolog 中，这种操作用符号 "=" 来指示。

- 在传统 Prolog 中，未实例化的变量 X — 就是说在它上面以前没有进行合一，可以合一于一个原子、一个项、或另一个未实例化的变量，因此在效果上变成了它的别名。在很多现代 Prolog 方言和一阶逻辑演算中，变量不能合一于包含它的项；这叫做出现检查。
- Prolog 原子只能合一于同一个原子。
- 类似的，项只能合一于另一个项，如果顶部函数符号和项的元数(arity)和这个项是一样的，并且参数可以同时合一。注意这是递归行为。

由于它的声明本性，一序列合一的次序(通常)是不重要的。

注意在一阶逻辑的术语中，原子是基本命题而且其合一同 Prolog 项一样。

## 合一的例子

- A = A : 成功(重言式)
- A = B, B = abc : A 和 B 二者合一于原子 abc
- xyz = C, C = D : 合一是对称的
- abc = abc : 合一成功
- abc = xyz : 合一失败，因为原子是不同的
- f(A) = f(B) : A 合一于 B
- f(A) = g(B) : 失败，因为项的头部是不同的
- f(A) = f(B, C) : 合一失败，因为项有不同的元数
- f(g(A)) = f(B) : B 合一于项 g(A)
- f(g(A), A) = f(B, xyz) : A 合一于原子 xyz 而 B 合一于项 g(xyz)
- A = f(A) : 无限合一， A 合一于 f(f(f(f(...))))。在严格的一阶逻辑和很多现代 Prolog 方言中，这是禁止的(并由出现检查来强制)
- A = abc, xyz = X, A = X : 合一失败；效果上 abc = xyz
网络自杀

网络自杀（自杀系サイト），指一些想自杀的人通过互联网认识，他们在互联网上制定自杀计划，最后相约集体自杀。

## 概要

日本有些网站有专门讨论自杀的留言板，有些自杀者就是通过留言板认识的。还有些网站专门针对寻找自杀伙伴的人。这些网站经常会关闭，之后又以不同的网址出现，访问者可以在提供或不提供邮件地址的情况下发表言论，因此访问者总数无从统计。

### 措施

日本警方曾试图取缔这些自杀网站，但缺乏法律依据：自杀不违法，讨论和策划自杀同样不违法。警方设立了专门处理网络自杀的部门，曾经有警察成功的进入自杀网站，阻止了一些自杀行为。2018年，日本推特新的措施，只要在推特上搜寻“自杀”，搜寻结果第一笔会显示为自杀防治咨询页面，希望增加挽回机会。

### 统计

据日本警察厅于2006年2月发布的统计报告指出，2003年发生了34起网络自杀事件，2004年发生55宗，2005年第一季度发生了59宗。

## 其他地区

中国大陆网络“约死群”

2023年4月4日，中国4名青年相约湖南张家界跳崖轻生，4人相约赴死的网络“约死群”受到注意。1名潜入观察的中国心理咨商志工杨媛媛表示，“约死群”是“藏匿黑暗的地方，对话满是负面情绪，成员极度复杂”。媒体持续追踪，相关的群组内容最早可能由2010年开始。

## 参见

### 外部来源

- “医生，我想死，可是我不想自杀…”精神科医师给你的４帖自我急救方笺 李政洋医师 风传媒 2018-01-12
- 避免“自杀模仿”，媒体该如何报导自杀事件？关键评论 2018-08-10
月光饼

月光饼，是一种中秋节的应节糕饼，香港与台湾均有月光饼一词，惟同名而有不同含义。

## 香港

香港月光饼，专指一种中秋糕饼；于1840年代在香港出现。香港的月光饼的材料是白砂糖与面粉，形似炒米饼，入口融化，味道似云片糕。

## 台湾月光饼

台湾“月光饼”一可专指客家“月华饼”，又可泛指台式月饼与台式汉饼；故范畴广泛，举凡在中秋节祭祀时，圆形的食物或糕饼皆可作为“月光饼”上供。

月光饼又有中秋饼、团圆饼等名，各地又衍伸出宜兰“菜饼”，南台湾“麻糬饼”、“香饼”、“蕃薯饼”、北台湾“肉饼”、“台湾大饼”、“状元饼”、新竹“竹堑饼”、台东“封仔饼”、客家“月华饼”、澎湖“冬瓜糕”等种类。现今马祖“继光饼”以及绿豆糕、凤梨酥、蛋黄酥等糕点亦为中秋月光饼。

### 客家月华饼

月华饼、月光饼（台湾客家语 : Ngied gongˊbiangˋ , Ngied faˇbiangˋ）俗称：客家月饼。揉合米粉、白糖、芝麻、花生或蕃薯等食材烘制而成，再印上红色的吉祥图案，象征着平安圆满。旧时月光饼尚非现代概念的月饼，受近代日治时期工业化、战后移民文化、美援面粉引进与产业现代化，逐渐融汇成现代台式月饼文化。