yuhuanstudio/wikipedia-omni-zh huggingface dataset:
电脑游戏

<image>

<image>

电脑游戏（computer game或PC game）指以个人电脑为平台运行的电子游戏，属于一种提供互动娱乐功能的电脑软件，与主机游戏和街机游戏一起是电子游戏的传统三大类之一。电脑游戏为游戏参与者提供了一个虚拟的空间，从一定程度上让人可以摆脱现实世界，在另一个世界中扮演真实世界中扮演不了的角色，同时电脑多媒体技术的发展，使游戏给了人们很多体验和享受。电脑游戏产业与电脑硬件、电影、电脑软件、互联网的发展联系甚密。

## 发展历史

电脑游戏的出现与1960年代电子计算机出现在美国大学校园有密切的联系。当年的环境培养出了一群编程的高手。在1962年，一位叫斯蒂夫·拉塞尔的大学生在美国DEC公司生产的PDP-1型电子计算机上编制的电脑游戏就是在当时很有名的《宇宙战争》（Spacewar!）。游戏业界人士一般认为，斯蒂夫·拉塞尔就是发明电脑游戏的人。

1970年代，随着电子计算机技术日渐发展，其成本变得越来越低。在1971年，被誉为“电子游戏之父”的诺兰·布什内尔发明了第一台商业化电子游戏机。不久，他更创办了世上第一间电子游戏公司——雅达利。而在1970年代，随着苹果电脑的面世，电脑游戏才真正踏上了商业化的道路。这个时候，电脑游戏的图形效果还非常简陋，但是游戏的类型化已经开始渐渐出现了。

1980年代和90年代，随着电脑软硬件技术的进步，个人电脑的使用越来越广泛，多媒体技术也开始成熟，电脑游戏成为了这些技术进步的先行者。3dfx公司的3D显示卡也给行业带来了一场图像革命。

进入21世纪，因特网的广泛使用为电脑游戏的发展带来了强大的动力。大型多人在线游戏等网络游戏成为了电脑游戏的一个新的发展方向。世界各地举办了许多各种各样的电子竞技比赛，创造了相当多的额外利润。及后，游戏开发商开始开发一些网页游戏，方便一些不想安装游戏软件的玩家。踏入2010年代，因应世界各地的手机热潮，一部分电脑游戏的游戏开发者转而开发手机游戏，与传统的电脑游戏（单机游戏）和网络游戏三足鼎立，各据市场一方。

## 游戏

### 电脑专用游戏

专门为电脑开发的游戏往往对鼠标、键盘有相当的依赖，都设计成方便点击及支持多按键，例如即时战略游戏（如《星际争霸》、《红色警戒》等）和拥有技能较多的角色扮演游戏（如《魔兽世界》），需要对单位进行编队或者灵活快速使用各种道具技能，鼠标与键盘尤其是快捷键的运用相当重要；多数非游戏厂商开发的作品，不会购买授权，所以只在最宽松的电脑上发布。前两类若移植到游戏机上，受限于手柄按键有限，对角色队伍的控制不佳。而在游戏机移植电脑的游戏，在键盘映射后对操作有一定麻烦，不过大可使用外设手柄解决。

### 游戏类型

- 单机游戏
- 多机游戏
- 网络游戏（网游）
- 网页游戏（页游）

### 技术

电脑游戏与电子游戏一样都有一套专门的开发技术。不过相对于电子游戏，电脑游戏的开发更容易让初学者入手，一般程序员都可以写出简单的电脑游戏。

### 分类

通常按照游戏性质可分为：动作游戏，文字类，纸牌类，益智类，策略类

## 比赛

世界电子竞技大赛（简称WCG）是目前世界上最受欢迎的国际性商业电玩比赛。

## 参考文献

- 孙百英主编，游戏之王：纵横电脑游戏世界，科学普及出版社，1998年。ISBN 7110044939
- 高庆生总编，大众软件，大众软件杂志社，1995年。ISSN 1007-0060 邮发代号 82-726
- 西门孟编著，游戏产业概论，学林出版社，2008年。ISBN 978-7-80730-599-6
Wiki之道

《Wiki之道——网上快捷合作》（The Wiki Way, Quick collaboration on the Web），由Bo Leuf和沃德·坎宁安撰写，讨论Wiki协作编辑系统的专书。维基百科即是使用Wiki技术而成的一个例子。沃德·坎宁安是Wiki软件的始创者（到现在已有许多种不同的Wiki引擎）。该书主要介绍了如何安装、设定和管理Wiki系统等内容。

## 书目资料

Addison-Wesley (April 2001) ISBN 0-201-71499-X, Paperback: 440 pages ; Dimensions (in inches): 0.89 x 9.20 x 7.35

## 基本资料

- 原始文本：Wiki之道——网上快捷合作
- 作者：Bo Leuf、沃德·坎宁安
- 原名：The Wiki Way
- 原始文本：en
- 出版社：艾迪生韦斯利
- 出版时间：2001年4月3日
- ISBN：0-201-71499-X
交通

交通（traffic）是人和物品在不同地点之间运输的过程及实体的物理现象，涉及运输工具（如火车、汽车、摩托车、船、飞机等）以及相应基础设施（如道路、铁路、桥梁）的使用。广义的涵义也包含邮递、电信等任何人际资讯的传递。

交通的运作通常受到交通规则（traffic laws）的约束，以确保交通的安全和有序。组织良好的交通通常具有明确的优先级、车道、让行权和交叉路口的交通管制。

随着城市化和人口增长，交通拥堵、道路安全及环境污染等问题日益突出。另一方面，共享出行、新能源交通、自动驾驶等技术的发展在提升交通效率的同时，也为交通安全带来的新挑战。

## 意义

交通是商品交换的先决条件。随着交通的改善，人类的物质生产逐步从自给自足的方式，过渡到分工交换的方式。物质产品的分工交换，是现代工业社会的基础之一。

## 种类

交通大致可以分为陆运、海运和空运。

### 陆运

陆运是指以行走在地上交通工具的运输，如汽车、火车等。由于陆运成本较低，所以大部分地区的主要短距离运输均为陆运。

### 海运

海运是指以行走在海上的交通工具的运输，如船、双体船等。由于可作远洋航行，而且成本较空运低，海运通常用作运送货物至另一个国家。

### 空运

空运是指以在空中的交通工具的运输，如飞机、直升机等。由于速度较快，所以通常用作洲际航行。
注音文

注音文，指的是将句子中的字用单一的注音符号代替。如：“ㄋ看ㄉ懂这句话ㄇ？（ㄋㄧˇ看ㄉㄜ˙懂这句话ㄇㄚ˙？）”（“你看得懂这句话吗？”）一个汉字的标音可能由一到四个注音符号组成（含声调），在使用注音输入法打字时若只打其中一个注音，较为省时，但对于非注音文习惯者而言，阅读起来可能不流畅。部分使用者使用注音文的原因为节省时间，却亦令非使用者认为文章内容难以理解。另外，是否节省时间也未必是使用者所考虑的绝对因素，因此也有不少使用者是出于文化认同，为了成就自我风格，或彰显自由塑造自我的人权与言论自由，而利用这种方式沟通。

此外，经常受人误解并值得厘清的是：若将文字转换为其对应的注音符号（举例），并不等同于注音文（举例）。前者必须完整包括注音的声母、介音、韵母、甚至声调；后者则往往只保留声母（而在缺乏声母的情况下，可能改以单一的介音或韵母取代），其形式近似于辅音音素文字（如阿拉伯文）。两者的定义与范例显然不同。这也导致了注音文比起“文字所对应的‘注音符号’串”更难理解。

常见的标音系统包含拼音与注音，注音符号实则为音标的一种。因此，若以音标或拼音的角度看待，注音文实则为一种“音标缩写”（或拼音缩写）；也就是先将文字转换为音标，再将此音标进行类似于首字母缩略字的缩写。因此，注音文既非单纯音标，也非单纯缩写，而应视之为“音标缩写”。（例如“骑士”，注音：ㄑㄧˊㄕˋ，注音缩写／注音文：ㄑㄕ，拼音：qí shì，拼音缩写：QS）

根据上述视角，若将注音文理解为“音标缩写”，则音标缩写和音标当然是不同的。若以英文Cool Down对应举例分析：（文字：Cool Down，缩写：C.D.、CD，KK音标：kuldaʊn，KK音标缩写：kd），则可以明确看出音标缩写与音标的差异。这也意味着注音文不等于注音符号。

## 注音文发展

注音文为台湾特有的网络文化，在中国大陆和韩国亦有类似的形式。在互联网兴起之后，电脑和网络普及，尤其是这些1980年代出生的世代，更是在中小学生时期就大量使用各种网络服务。尤其是BBS（电子布告栏）、IRC、线上聊天室（Chat）、网络游戏等，吸引著大家使用。由于这类服务通常强调即时对话，因此快速输入文字相对变得重要。而在台湾中一般微软视窗操作系统上最常用的中文输入软件就是微软注音输入法与微软新注音输入法（港澳地区大多使用速成输入法，此输入法与发音无关），注音就经常被使用。但中文字的同音字太多，常常会碰到选字的问题，造成时间延迟。因此在争取时间的前提下，许多语气词本来就只有一个注音符号，或甚至根本是虚字（如“诶”），其对应的中文字不被一般人所熟悉，故只在输入第一个声母（或韵母）后选择输出。所以网友经常以ㄣ、ㄛ、ㄟ、ㄇ等来代替嗯、哦、欸（诶）、吗等字，由于只出现在句尾或句首，又是语气词，当时并未引起热烈讨论。

<image>

在台湾，以ㄅㄆㄇ等注音符号取代中文字的历史可以延伸至1960年代。由于铁路运输于当时极为重要，货物车厢往来极为繁复。各单位之间以电报来连络业务，由于电报的中文输入并不像现今电脑中文输入法那样方便，因此以注音符号代替中文字的“国音电码”应运而生，车站站名及常用的铁路用语都有国音电码可表示（例：彰化车站—ㄓㄤ、试驶—ㄕㄕ），现在虽然已停用电报机而改用传真机，但国音电码仍然有在使用。

由于注音符号不经过选字，所以注音文与思考不够成熟很容易引发联想，在网络上给人一种清新、可爱、不具威胁的观感，也因此注音文可说是受台湾传统教育影响的缘故。

也因此，注音文之所以能在为在网络交谈之中大肆流行，也同时大肆被讨伐，与一般人对于注音文的正反两面观感非常相关。赞成的人认为有趣，反对的人认为很做作。

注音符号是台湾特有的符号，因此一方面说来，注音文具有确立台湾本身文字系统的独特性的效果，另一方面，也自然造成阅读理解的困难，因此在网络上引发争执：反对者除了如前所述对于做作反感之外，也认为注音文产生阅读的困难，而支持者则认为不应小题大作。不少网上讨论区仍旧明文禁止注音文的使用；支持者则指其箝制言论自由。

过度使用注音文可能造成阅读的困难。中文是意音文字，可以借由字型迅速认出文字的意义。但注音本身是拼音文字，甚至注音文还是不完整的音符。例如“ㄋ”可以表示“你、呢、那”，“ㄇ”可以表示“们、吗、么、妈、没、嘛、妹”等等，亦即，滥用注音文时，可能造成资讯的遗失，阅读的人也可能需要充分地思考，才能掌握文章的内容。例如“ㄊㄇㄉ”就可能被解读成“他们的”或“他妈的”，意义相差甚远。不过，透过学习以及上下文的推敲，这些困难可以获得解决。

注音文如今不再是网络世界独有的现象。因此有人认为注音文现象不应该再被当作异己而歧视或漠视，应以平常心看待。如台湾前教育部部长曾志朗曾经表示，注音文作为指认塑造自我的方式，理应获得尊重。但有许多人在正式的场合，如联考作文、作业报告中滥用，加上前述注音文对文字的沟通性造成的弊端，各年龄层、各政治立场都有人对注音文反感。

与注音文相似的还有不选字的文化，不过这不只在使用注音输入法的文化圈内才会发生的文化：只使用纯粹的汉字的文章中，也可能有不选字的现象；另外有个现象则是台湾国语的网络交谈，直接用繁体中文字表达受台湾闽南语影响的国语发音，例：“ㄙㄟˋㄙㄟˋ”。（意指“谢谢”）

## 台湾常见的注音文

- ㄏㄏ：“呵呵”或“哈哈”，表示笑声。
- ㄅㄎㄑ：指“不客气”。
- ㄣ：嗯，表示回应。
- ㄅㄅ：表示掰掰。

### 旁注标记

括弧内或文字上方的完整注音文，近来PTT流行讽刺时使用这种注音文，汉字代表表面上的说法、注音符号代表实际意义。此源自日文以双关的假名字母注释汉字的用法：

- 兵推惨败：军队兵推会惨败的真正原因是要军费。
- 两岸关系：为了讨好对岸，要台湾人吃河蟹。
- 治安改善：改善的不是治安，而是透过吃案等技巧让犯罪率数据变得比较好看。
- 扩大内需：以扩大内需为借口浪费公帑，实际上是利益输送：主要是用高于市价的价格向自己人买东西。

## 韩国的谚文简写

本来韩国的谚文不只限于笑声，例如，将所有“하하（haha）”、“히히（hihi）”、“허허（heoheo）”、“호호（hoho）”一律简化成为“ㅎㅎ（h-h）”。甚至还出现了用来表示“喀喀”这种笑声的“ㅋㅋ（k-k）”。还有常用的例如“ㄹㄷ（l-d）”“레디（ready）”（准备）ㄱㄱ（고고 gogo）ㄱㄷ（기달 等待）ㅅㅂ（씨발;시발 妈逼）ㅊㅋ;ㅊㅊ（축하 祝贺）ㄳ（감사 感谢）ㅁㅊ（미친 疯子）

（在韩国跑Online、彩虹岛、爆爆王等各个游戏中，由于“ㅎㅎ”和“ㅋㅋ”比较易打，所以里面经常打，其中“ㅋㅋ”最为常用。

但如今，不单只开始出现一大堆简写，亦由于Unicode的普及化，使用户能够在输入从前打不出的极罕用字，所以现在还开始出现一些由这些简写组合成的新字新词。

## 中国大陆

中国大陆地区网络注音文字主要是使用汉语拼音首字母代替汉字，例如nb（牛逼）、sb（傻逼）、md（妈的）、wc（我操）、awsl（啊我死了）、tql（太强了）、xswl（笑死我了）、nmsl（你妈死了）等。

有时这样的缩写也会用于讨论较为敏感的话题来规避网络审查，如zzzq（政治正确）、zc（政策）、zg（中国或中共）、zs（自杀）、zc（自残）等。

## 外部链接

- 注音文统计、用法及例句表 (适用于台湾) - 出自 Richyli.com，这是李怡志先生的个人网站。
- piaip 的反注音文网页 - 出自 piaip at ntu csie，这是piaip(林弘德)的个人网站。
- 注音文版Openfind
歌手

歌手是艺人的一种，对于歌曲和其他声乐作品演唱者的称呼，也作为职业名使用。在中国大陆则被定义为演员类的歌唱演员。那些符合关注度和知名度的歌手又被称作“歌星”。达到一定艺术造诣和成就者则尊称为“歌唱家（歌唱艺术家）”或乐队的“声乐家（声乐艺术家）”。根据唱法，歌手又分为美声、民族、流行等四大演唱派系。

## 美声歌手

使用西洋美声唱法（Bel Canto）的技术来进行歌唱表演的专家称为“声乐家”（Vocalist, Opera Singer, Classical Singer）。然而，“美声歌手”一词，大都被使用在流行音乐中，并非古典音乐的领域。“歌手”或“歌星”的称呼用于流行音乐之中，“声乐家”一词多用于古典音乐的领域。

“声乐家”来自于意大利语Cantante，原意指的就是用歌唱来当成职业的音乐家，但是后来被广泛使用。于是，产生了另一个专用术语来称呼声乐家，就是意大利文的Vocalist，德文的Vokalist。

在西方古典音乐和歌剧中，人声（声乐）也被作为乐器的一种，可以按照音域的高低将其声音类型。人声通常划分为三大类。

- 男声：阉人歌手、男性女高音歌手、男声最高音歌手、假声男高音、男高音、男中音、低男中音、男低音
- 女声：女高音、抒情女高音、戏剧女高音、花腔女高音、女中音、女低音
- 童声

## 民族歌手

“民族歌手”一词广泛用于流行音乐领域，也就是说用方言演唱的歌星或歌手可称为“民族歌手”。

“民族唱腔”或称“民族唱法”皆正式被两岸三地的音乐学系以及音乐学院所使用。使用“民族唱腔”或称“民族唱法”的技术来进行歌唱表演的专家，不论使用官话或方言来进行演唱皆可称为“歌唱家”。

## 流行音乐歌手

包括流行乐歌手、摇滚乐歌手、饶舌歌手、爵士乐歌手、乡村音乐歌手等等。

## 创作歌手

指的是同时作词作曲及演唱自己创作的歌手。创作歌手有时使用吉他或钢琴或其他乐器为整首曲目提供伴奏，创作曲目或改编曲目主要的作用是用来承载具有主题性的题材。

## 网络歌手

指在互联网平台发布翻唱、原创歌曲而走红，并且以唱歌作为主要职业的人。而互联网上流传的音乐作品则叫网络歌曲。

## 覆面系歌手

指在音乐活动中刻意隐藏真实身份、不公开外貌或个人资讯的创作者或歌手。此类型创作者多以虚构形象、角色设定、图像、动画或符号作为对外识别，并透过数位平台进行音乐发表与经营。

## 例子

- 台湾歌手列表
- 香港歌手列表
- 新加坡歌手列表
游戏编程

游戏编程指利用计算机编程语言，如C编程语言、C++编程语言、汇编等，编制计算机或游戏机上的游戏。

目前流行的游戏编程语言为C++编程语言，目前流行的游戏编程接口为DirectX 9.0，还有OpenGL、SDL等。

## 游戏脚本

游戏脚本是指在制作电子游戏的程序时，程序员为电子游戏程序编写的脚本语言。脚本语言是为了缩短传统的编写-编译-链接-运行过程而创建的计算机编程语言，而游戏脚本语言在电子游戏程序的编写中被广泛使用。

目前的电子游戏编程过程中大量使用游戏脚本来进行游戏程序的编写。例如在网络游戏魔兽世界中就使用了Lua脚本。一般游戏脚本是由开发电子游戏的程序员来编写，但也可能由一些其他的游戏开发人员编写简单的游戏脚本。

## 游戏工具编程

游戏工具编程是指采用各种开发工具进行开发修改电脑、电视游戏的过程。主要的开发工具有以下几大类：

- 编程语言工具以及集成开发环境：Visual C++、Visual Basic、Delphi、.NET Framework系列（Visual C++.NET、Visual Basic.NET、Visual C#.NET）等等。
- 开发工具包：最有名的是DirectX系列。
- 各种游戏厂家自己开发的封装度极高的制作工具，如角色扮演游戏制作工厂等等。

这类工具是将游戏必要的人物、道具以及场景绘制好后，由玩家自由调用组合，而很少甚至不需要制作者敲入一行代码就可完成整个游戏的制作过程。但是这种制作过程无法充分发挥制作人的创作才智，例如各种人物的设计就无法由创作者加以改变。
榕亚属

<image>

榕亚属（学名：Ficus subg. Urostigma），是桑科榕属（无花果属）的亚属之一，由于多为常绿乔木及细节分冶不易被人分辨，因此也统称榕树。分布于中国、日本、台湾、印度、菲律宾、马来西亚等亚热带、热带地区。

榕树为常绿大乔木，气根多数；叶互生，倒卵形或椭圆形，表面深绿色；隐花果，无柄单生或对生于叶腋，成熟时呈黄褐色、红褐色或黑紫色。

北宋治平元年（1064年），太守张伯玉移知福州，夏天酷热难耐，遂令编户浚沟七尺，种植榕树，后来“绿荫满城，暑不张盖”，故福州又有“榕城”的美称。榕树也是福州市树、福建省树。全世界现有1000多种榕树，多集中在热带雨林地区，热带植物中最大的木本树种之一，常高达20米。由于耐污性好、易栽植，也是常见的行道树。

## 榕树的名字

榕树在英语中为banyan，在西方这个名字多指来自印度及孟加拉等地的孟加拉榕（F. benghalensis）；但在中国及亚洲等地则多指细叶榕（F. microcarpa）。由于它们同属榕亚属，并且有相近的生活周期及气根等特征，因此榕树现多作为桑科榕属下榕亚属的简称。

## 基本资料

- 说明：孟加拉榕（Ficus benghalensis）
- 学名：Ficus subg. Urostigma
- 命名者：(Gasp.) Miq., 1867
- subdivision_ranks：组
- 栽培群成员：美洲榕组 F. sect. Americana、榕组 F. sect. Urostigma、肋果榕组 F. sect. Malvantherae、索氏榕组 F. sect. Galoglychia
杜鹃花属

<image>

杜鹃花属是杜鹃花科的一个属，其下植物俗称杜鹃花、映山红、满山红、山踯躅、红踯躅、山石榴。全世界的杜鹃花属原种约1,000种，分为8个亚属。广泛分布于亚洲、北美洲和欧洲。属名Rhododendron源于希腊语rhodon（玫瑰花）和dendron（树木）的合成词，指属内某些种的花呈红色。

## 分布

杜鹃花分布非常广泛，北半球大部分地方都有分布，南半球分布于东南亚和北澳大利亚。中国横断山脉周围的云南、四川、西藏以及喜马拉雅山南麓尼泊尔、锡金、印度北阿坎德邦等地分布种类最多的大形杜鹃。其它映山红亚属种类分布较多的地方有中国大陆南部、台湾、中南半岛、朝鲜半岛及日本。而南下至东南亚，尤其以新几内亚岛上蕴藏着约占杜鹃花属三分之一数量的着生杜鹃的族群。北美和欧洲分布较少。南美和非洲分布极少。

70%的杜鹃花种类生长在海拔1700～3700米的地区。

在中国的分布中，云南有245种，西藏有180种，四川有181种（其中贡嘎山地区共有80种，多数为特有种，是中国杜鹃花分布最多的地区之一），广西有60余种，贵州有约60种。自19世纪中期以来，罗伯特·福琼、约瑟夫·虎克、乔治·福雷斯特、亨利·威尔逊、约瑟夫·洛克等西方人从中国大规模引种杜鹃种源，使得杜鹃花在欧美的分布大大增加，并进而遍布全世界的园林。

中国的川西、滇西和藏东南地区，马来西亚–巴布亚新几内亚热带山地是杜鹃花属的分布中心。

### 台湾

<image>

杜鹃花在台湾主要分布在北部，阳明山国家公园内多为日治时期引入的平户杜鹃、皋月杜鹃、西洋杜鹃等品种。目前宜兰等县市也广植杜鹃花。台湾南部的大武杜鹃及丁香杜鹃为原生种。及分布全岛生长于树上的着生杜鹃，另有原生种玉山杜鹃。

国立台湾大学校园有“杜鹃花城”的美称，每年3月中旬皆盛大举办杜鹃花节。2017年起，台北市政府为促进观光休闲，与台大合作，结合周边公馆、师大商圈，扩大办理杜鹃花节，包括邀请团体表演，以及商家举办活动等，改称“台北杜鹃花季”，吸引相当多游客。

台湾原生杜鹃有75%为台湾特有种，其中在新北市乌来区北势溪一带的乌来杜鹃因翡翠水库兴建，野外原生植株似已绝迹。现在仅剩栽培植株；当前有复育计划，欲于北势溪上游重新栽植乌来杜鹃。在合欢山东峰北峰也有高山杜鹃的生长。

新北市金山与万里地区，目前是台湾最大、品质最好的杜鹃花两大产区。

### 香港

杜鹃花在香港不少地方都有栽种。在香港殖民地时期的港督府自1990年代起，每年杜鹃花开的时节，都会开放给公众去欣赏杜鹃花。而马鞍山新市镇就拥有香港原生的杜鹃品种香港杜鹃。

## 形态

杜鹃花种间的特征差别很大。大多数杜鹃花为灌木，少数在喜玛拉雅区为乔木，最高可达20～30米。花顶生，花数不一，核花骨朵颜色丰富多彩。通常为5瓣花瓣，在中间的花瓣上有一些比花瓣略红的红点。通常在春、秋两季开花。

## 种植

杜鹃花的生命力很强，既耐干旱又能抵抗潮湿，无论是大太阳或树荫下它都能适应。根浅，分布广，能固定在表层泥土上。最厉害的是它不怕都市污浊的空气，因为它长满了绒毛的叶片，既能调节水分，又能吸住灰尘，最适合种在人多车多空气污浊的大都市，可以发挥清净空气的功能。

喜欢疏松的微酸的土壤，不应该浇硬度较大的水。生长季（春、秋）应该多施氮肥。比较耐寒。气温较低地区可放在室内过冬。喜欢阴凉、湿润的环境。应避免强烈的日光照射，保持空气湿润，保证水的充足供应。

主要有播种、扦插和嫁接等繁殖方式。不同品种具体操作不同。

## 分类

英语中 Azalea 指的是映山红亚属一类灌木或矮丛状杜鹃，Rhododendron 指的是大型或树形杜鹃，而 Vireya 指的是着生杜鹃类群。

## 使用

### 毒性

部分的杜鹃花品种对于草食动物具有毒性，因为其花粉及花蜜含有梫木毒素。食用采集杜鹃花之蜜蜂所产生的蜂蜜，会造成中毒现象。色诺芬描述了公元前 401 年万人雇佣军团行军时，希腊士兵在一个被黑海杜鹃丛环绕的村庄中，食用蜂蜜后的奇怪行为。公元前 67 年第三次米特拉达梯战争时，庞培士兵回报其遭受了致命的伤亡，因食用了本都军队刻意留下、由杜鹃花制作的蜂蜜。之后，人们认识到这些植物所制作的蜂蜜有轻微的致幻及腹泻作用。杜鹃花对于马类有极强的毒性，有些动物在食用数小时内便会致死，不过大部分马类若能取得好的饲料都会选择避开它。

在中国云南，白族、彝族等民族会以杜鹃花为食，但仅食用毒性较低的花瓣及花萼。

## 文化

杜鹃花属于中国境内有571种，其中特有种409种，映山红更是中国十大名花之一。杜鹃花是尼泊尔的国花，是中国江西省的省花，也是无锡、镇江、三明、长沙、韶关、大理、嘉兴市花，以及台湾台北市、新竹市的市花。

中国神话望帝化杜鹃

中国电影《闪闪的红星》中主题曲《映山红花开红军来》曾风靡一时。

2008年3月14日，香港邮政推出“香港花卉”特别邮票，其中二元五角的邮票图案为杜鹃花。

迎红杜鹃（Rhododendron mucronulatum）在朝鲜被称为金达莱，是朝鲜的国花。

2023年4月 亚马逊云端运算服务 以杜鹃花作为裁员计划的代号 - Project Azalea

<image>

- 日本的杜鹃花(丹波篠山市)

<image>

- 树形杜鹃 Rhododendron arboreum

<image>

- 高尚大白杜鹃 Rhododendron decorum subsp. diaprepes

<image>

- 克什米尔野生杜鹃，Edward Molyneux画于1908前

<image>

- 欧洲黄杜鹃 Rhododendron luteum

<image>

- 神户市相乐园的杜鹃花

<image>

- 杭州的锦绣杜鹃

<image>

<image>

<image>

## 外部链接

- Rhododendron
- 阳明山的杜鹃花
- 杜鹃1
- 香港中文大学
- 杜鹃3
- 杜鹃花, Dujuanhua 药用植物图像数据库 (香港浸会大学中医药学院)
- 照白杜鹃, Zhaobaidujuan 药用植物图像数据库 (香港浸会大学中医药学院)

## 基本资料

- 日语原文：杜鹃花
- 说明：锦绣杜鹃
- 学名：Rhododendron
- 命名者：(L.)
- 模式种：阿尔卑斯杜鹃、Rhododendron ferrugineum
- subdivision_ranks：亚属
- 栽培群成员：马银花亚属 Azaleastrum、纯白杜鹃亚属 Candidastrum、长蕊杜鹃亚属 Choniastrum、常绿杜鹃亚属 Hymenanthes、异蕊杜鹃亚属 Mumeazalea、羊踯躅亚属 Pentanthera、杜鹃亚属 Rhododendron、叶状苞亚属 Therorhodion、映山红亚属 Tsutsusi
台湾蓝鹊

台湾蓝鹊（Urocissa caerulea，Taiwan Blue Magpie/Formosan blue magpie），又称台湾暗蓝鹊、红嘴山鹊、长尾山娘、长尾阵等，为台湾特有种鸟类。该物种最初于约1862年经郇和等引介，被约翰·古尔德进行物种命名，并正式展开相关学术研究工作。

台湾蓝鹊主要分布在中、低海拔阔叶林里，除繁殖季外多成群行动，且有非常明显的保护领域倾向，以及伴随而来的驱赶行为（在繁殖季时特别明显）。它们的繁殖季约在每年3月至7月，每年约生育二次，每次约产下3至8颗蛋。

国际鸟盟将台湾蓝鹊列为无须采取保育行动的鸟种，而中华民国农业部则将之列为保育类动物。

## 发现

据台湾清领时期文献所载，当时在台湾活动的人群将台湾蓝鹊称为“长尾山娘”、“长尾三娘”或“长尾阵仔”等。《台湾通史》称之“翠翼朱喙，光彩照人”。1862年，英国博物学家兼外交官郇和因病回国休养，将在台湾采集的一批标本交给约翰·古尔德。古尔德以这些材料为基础发表相关学术文章，命名并详述16个在台湾的物种，其中包含台湾蓝鹊。郇和如此描述他发现台湾蓝鹊的经过：

刚抵淡水不久，我雇用的猎人自内地（按：应指台湾山区地带）带回两根美丽的尾羽，而身躯则因天热肉易腐坏而被他们先吃了。他们称这种鸟为“Tung-bay Swanniun”。我透过这两根尾羽的亮蓝色羽末端的白点判断这一定是只蓝鹊属（Urocissa）的新物种。兴奋之余，我重赏征求标本。（……）标本完全确定了我的假设：这是美丽的新物种。

文中所称的“Tung-bay Swanniun”即偏泉腔的长尾山娘。郇和采集的台湾蓝鹊正模标本现被收藏于伦敦自然史博物馆。

## 学名含义及分类相近物种

Urocissa指的是“有长尾的鹊”，而caerulea则意指“蔚蓝”。台湾蓝鹊与黄嘴蓝鹊（Urocissa flavirostris）及红嘴蓝鹊（Urocissa erythrorhyncha）等在生物分类学上被认定为相近的物种。

## 分布

台湾蓝鹊属台湾特有种。台湾蓝鹊主要分布在海拔1,000米以下的地区，而海拔1,800米以下的中、低海拔阔叶林或次生林也有分布。但是，若山区环境开发过度或林相不够丰富，往往也不会有台湾蓝鹊栖息。近年来，台湾蓝鹊已逐渐适应当地都市环境，如台北市近山地区即有分布。

## 形态描述

<image>

台湾蓝鹊成鸟全长63至68公分，其中尾羽长34至42公分，翼长18至21公分。成鸟体重254至260公克。成鸟的喙和脚呈红色，虹膜呈金黄色，头至颈、胸部呈黑色，翅膀末端呈白色，身体其余部分几乎皆呈蓝色，但尾下覆羽呈白色；两根中央尾羽较长，且末端呈白色，其他尾羽则是中段黑色、末段白色。

## 行为生物学

<image>

台湾蓝鹊多成群行动，一群约3至12只，多由具亲属关系的个体组成。它们的飞行时直线前进，且排列呈现出一定秩序。它们的叫声为聒噪之“嘎、嘎、嘎”声，在群体中则以“迪笛——迪笛——”或“嘎嘎——穗”等叫声互相叫唤，叫声变化多端。它们大多具有十分明显而强悍的保护领域倾向，并会主动驱赶进入其领域的活动物件，且会集体进行该类行为。它们有可能生活于同一领域长达数年。

### 觅食

台湾蓝鹊属杂食性动物，其食物包括植物的果实（如浆果、木瓜、香蕉等）或根茎、巢中的幼鸟或蛋、昆虫、蜥蜴、蚯蚓、蛇类、蛙类和小型哺乳类（如鼠类）等，甚至也会摄食厨余和腐肉。它们也会吃下其死亡幼鸟。台湾蓝鹊会储存及分享食物。

### 繁殖

《台湾鸟类志》称台湾蓝鹊的繁殖季在每年3月至7月，另有报导指为4月至9月。它们会以叫声搭配飞舞行为进行求偶。在繁殖季，台湾蓝鹊的主要社会单位由两个以上个体组成的群体，转变为分别（通常）由两个异性个体组成的繁殖配对。且选定对象后很少发生更换的现象。它们倾向在稀疏的树林筑巢，树种不拘，但隐蔽程度要符合其需求。它们多半选择于树高约4/5处筑巢，高度平均约10米。选好巢位后，组成繁殖配对的个体会一同前往地面寻取树枝作筑巢材料。筑巢时间平均长达约一星期，巢形通常似一浅碗。

台湾蓝鹊的子代存活率不高，因此它们每年生两窝，每窝大约有3至8颗蛋，卵壳呈淡青色且带有褐斑。台湾蓝鹊的蛋约需17天孵化。其护巢行为十分积极，会主动驱赶进入其领域之活动物件；对此，动物保护机构呼吁大众切莫伤害之，表示它们多是以翅膀挥击、驱离，应不会导致严重伤害。台湾蓝鹊的幼鸟孵出后约22天会离巢。离巢后的幼鸟会留在鸟群中与成鸟一同生活。同巢幼鸟会藉打斗决定彼此在群体中的地位。此外，台湾蓝鹊上一季孵出的幼鸟会留在巢边协助亲鸟寻找巢材、喂食雏鸟或共同御敌，属于特殊的“合作育雏”行为。此行为又称为巢边帮手制度。

## 生存状况

国际自然保护联盟濒危物种红色名录中，国际鸟盟将台湾蓝鹊列为无须采取保育行动的鸟种。台湾行政院农业委员会将台湾蓝鹊分为保育等级Ⅲ（意指其他应予保护之野生动物）的动物，任何捕捉或饲养行为皆违反相关法律。早年，台湾蓝鹊遭人大量猎捕，后来因保护妥善，数量有增加，但近年来，台湾蓝鹊在被网络票选为台湾非官方国鸟（见社会文化一段）后，因知名度提升而遭人大量猎捕，栖地也被外来种红嘴蓝鹊入侵，甚至还有台湾蓝鹊与红嘴蓝鹊同巢育雏的现象。

## 社会文化

<image>

台湾蓝鹊是台湾原住民邹、邵、布农等族的神鸟，邹语称为teofsi'za、邵语称为fitfit、布农语称为lalinutaz（郡社群）／qaipis，另排湾语称tjikaikai。在南岛语族共有的大洪水神话中，很久以前族人因大洪水濒临灭族，台湾蓝鹊牺牲自己带回火种挽救族人（有些故事的版本则认为牺牲自己带回火种的神鸟是红嘴黑鹎）。2007年，台湾永续生态协会、台湾国际观鸟协会与立委推动为期4个月的非官方网络“国鸟选拔”，逾百万人投票。在帝雉、蓝腹鹇、黄山雀和台湾蓝鹊4种台湾特有鸟类中，台湾蓝鹊赢得初选。而台北市、云林县的市鸟、县鸟也是台湾蓝鹊。

2014年，中华民国足球协会选择台湾蓝鹊作为会徽象征。台北世大运的Logo也以台湾蓝鹊作为设计元素之一。2015年11月7日，时任中华民国总统马英九在马习会上将一件台湾蓝鹊的手工瓷器赠与中国共产党中央委员会总书记习近平当做见面礼。总统府表示，会选择送台湾蓝鹊瓷器是为了凸显台湾特色。

2016年，中华航空公司在其中一架新进的空中客车A350上画上台湾蓝鹊，并将该机命名为“台湾蓝鹊号”。中华民国空军的新一代高教机“T-BE5A高级教练机”一度以台湾蓝鹊命名，取自台湾蓝鹊捍卫家园且团结的个性。2018年，中华民国电子竞技运动协会（CTeSA）公开了以台湾蓝鹊为主体的新标识，意象源于台湾蓝鹊“团结、敏捷、坚毅强悍”的特性。

## 基本资料

- 状态：LC
- status_system：IUCN3.1
- 属：Urocissa
- 物种：caerulea
- 命名者：Gould, 1862
- 异名：Cissa caerulea、Amadon, 1944、Kitta caerulea、Hachisuka & Udagawa, 1951
Wiki软件

<image>

Wiki引擎，或称为Wiki软件，是指用来架设Wiki的软件。广义来说，即是一种软件能作为网络共笔，供网友自行编辑，并最终集合成完整的数据库。狭义来说，即是能达成维基百科样式的软件。

由于维基百科的影响力，部分学者和媒体把Wiki引擎称为维基引擎。

## 不同Wiki引擎的介绍

以下主要介绍一些较为著名的Wiki引擎。

- MediaWiki：PHP语言开发的wiki引擎，维基百科所使用的引擎。支持繁简中文。
- 安装需求：Apache/Nginx + PHP + MySQL/PostgreSQL/SQLite
- IIS + PHP + MySQL亦可执行，但是部分源码的的参数需要修改（参见meta的说明）
- 最新版本：1.43.0
- SushiWiki：用C#开发的WikiClone，中文支持较好。
- 安装需求：IIS + ASP.Net +（可选的数据库服务器）
- 最新版本：V1 RC2
- Confluence：用Java开发的wiki引擎，在企业用户里面使用较多。
- FlexWiki：微软的开源产品，开发语言为C#，基于CPL（Common Public License）协议，不支持中文链接。
- 安装要求：IIS + ASP.Net
- 最新版本：1.8.0.1696
- JASSWiki
- 安装需求：IIS + ASP 不需要数据库
- JspWiki 是一套非常容易安装的系统，支持JSP脚本
- 安装需求：JDK + tomcat
- OpenWiki 2004是一款非常出色的WIKI引擎，基于ASP开发。支持中文（一般）。
- 安装需求：IIS + ASP + ODBC
- WikkiTikkiTavi：小巧轻快的 Tavi 系统
- 安装需求：PHP + MySQL
- ChiqChaqWiki：预设给一般人使用的 WikiClone. 支持 utf-8，繁体中文没问题，但不支持 RSS
- PersonalWiki：个人使用的 Wiki 系统
- OddMuse：使用 Perl 语言的 Wiki 系统
- MoinWiki：基于Python的Wiki系统，可运行在Windows、Linux/BSD/UNIX、OS X等环境下。目前能够处理英文、德文、繁简体中文、日文、俄文等约20种语言。
- WackoWiki：十分小巧的基于PHP+MySQL的wiki。由于其小巧简洁，非常适合基于他进行个性化改进。
- CooCooWakka：一个基于 WakkaWiki 的中文改进版，支持简体和繁体中文。
- PmWiki：PmWiki 使用 PHP 语言开发，容易安装配置，无需数据库支持。支持分组及分级（全站、组、单个页面）读写权限，支持中文及UTF-8编码，官方不支持中文链接。参考 PmWiki 简体中文版。
- XOOPSWAKKA：基于 Wakka 修改的 XOOPS Wiki 模组，支持简体中文与繁体中文，并加入了目录，中文索引，脚注，日历，文件上传等新功能。
- DokuWiki：这是一个符合标准，简单易用的维基软件，主要用来生成说明文件。它的目标是开发团队，工作小组及小型公司，它无数据库，通过文件储存内容。
- UseModWiki：采用 Perl 语言所开发的维基引擎，曾为维基百科所使用。
- Instiki：采用 Ruby on Rails 框架开发的维基引擎，以安装简便和使用方便而著称。
- TWiki：企业内部常用的Wiki，开放源码系统。
- Generic Applications Server
- PukiWiki：由YukiWiki所衍生，大多为日文的Wiki网站所使用。
- Tiddlywiki：个人使用的笔记型wiki，没有后端数据库，无须安装，尽由单个html网页档组成，内核极度轻量化（以kb计算），只要有浏览器就可以浏览与编辑，适合装在随身碟里带着走。也可以将档案直接放在网络空间成为网页，但网络应用时预设不支援远程内容变更（可以透过外挂取得支援）。
- Project forum：是个收费的维基引擎，有免费版本，但功能受限。自带网络服务器，安装简单。
- BoltWire：以纯文字存档，基于PHP、不需要数据库的Wiki软件。
- 安装需求：Apache/Nginx + PHP
- Sputnik : 使用Lua语言的wiki,基于Kepler工程.小巧,高效,功能强大,扩展性好,安装简单方便(使用LuaRocks).与Lua一样使用免费开源的MITT授权.

## Wiki引擎的优势

作为简单易用的Wiki引擎，通常会具有以下共通点：

- 编辑功能：具有容易书写（并且功能齐全）的格式规则，具备所见即所得机能，可以分章节编辑，能够方便地参阅以前的版本，并且具有上传文本，插入图像，和书写科学公式的能力。
- 阅览功能：包含目录，检索，导航条，访问统计，文章评分，高品位打印输出等功能。
- 用户管理：包含个人页面，工具条的个人定义，个人偏好的设置等功能。
- 群件功能：包含论坛，图库，信息传递系统等功能。
- 访问控制：这对必须考虑安全因素的企业内部网络来说很重要。
- 格式转换：文件导入（html, doc）和文件导出（doc, pdf）。
- 个人界面：可设置个人的主页，顶边栏，底边栏，侧边栏；还有模板。
- 多国语言：多国语言的支持。
- 可扩展性：具有什么样的第三方插件，什么样的机构使你制作的插件得以运行。
- 可移植性：支持多种平台。
- 可延拓性：当页面变得数量庞大时，此Wiki引擎是否可行。大多数可延拓的Wiki引擎都用一个后端数据库来存储页面。
- 多用户参与：所有用户都可以参与编辑，不再有特权用户存在，信息来源更广

### 使用局限

共笔型网站百科全书在质素与立场上，会受到笔者及管理员影响，一般资料来源大多依赖互联网连结及政府认同的出版社书籍。
埃里克·雷蒙

埃里克·斯蒂芬·雷蒙（Eric Steven Raymond，1957年12月4日），是一名程序员、黑客，《大教堂与市集》的作者、《新黑客词典》（"Jargon File"）的维护人。作为《新黑客词典》的主要编撰人以及维护者，雷蒙很早就被认为是黑客文化的历史学家以及人类学家。但是在1997年以后，雷蒙被广泛公认为是开放源代码运动的主要领导者之一，并且是最为大众所知道（并最具争议性）的黑客。

## 生平

雷蒙1957年出生于美国马萨诸塞州的波士顿，从小就跟随父母在世界各地东奔西走，曾在地球上三块大陆居住，在13岁之前已经忘掉了两种语言。1971年他回到美国宾夕法尼亚州，从1976年起开始接触黑客文化，1982年完成了他的第一个开放源代码软件项目。

他以他姓名的缩写ESR作为黑客代号。

雷蒙管理着30多个开源软件以及10多个主要的FAQ。他还是重要的作家和网志作者。他是INTERCAL编程语言的主要创作者之一，还曾经为EMACS编辑器的发展作出贡献。雷蒙还是Fetchmail程序的作者。最近他还编写了一个最初用于Linux内核设置的设置程序。

雷蒙的名言，“足够多的眼睛，就可让所有问题浮现。”（Given enough eyeballs, all bugs are shallow），对开放源代码运动影响很大，这亦即是著名的林纳斯定律。

1997年以后，雷蒙成为了开放源代码运动的主要理论家，以及开放源代码促进会（Open Source Initiative）的主要创办人之一。他还担任了开放源代码运动对媒体、商界以及主流文化的形象大使。他是一名优秀的演说家，并曾经到过六大洲的15个国家进行演说。

雷蒙的策略获得了很大的成功。一般认为，1998年Mozilla的发布主要归功于他。大多数黑客和主流观察家也同意，正是雷蒙将开放源代码的理念成功地带到了华尔街。但是也有批评他的声音：有一些黑客认为他利用这些机会为自己打广告，而他对理查德·斯托曼和自由软件基金会的理想主义所进行的批评，以及所采取的更务实、更符合市场口味的路线，也曾经在黑客社群里掀起了不小的政治对立。

他对科幻小说十分感兴趣，是一名出色的业余音乐家，还是空手道黑带选手。雷蒙是自由党人，坚持美国宪法第二修正案中关于公民持枪械的自由。

作品《Unix编程艺术》是一部很好的Unix程序设计的风格书籍。

## 作品

- 大教堂和市集（The Cathedral and the Bazaar, 1997）
- Unix编程艺术（The Art of Unix Programming, 2003）

## 外部链接

- 埃里克·雷蒙的主页
- ESR weblog
- Homesteading the Noosphere：2000作品

## 基本资料

- 日语原文：埃里克·史蒂芬·雷蒙
- 原文名：Eric Steven Raymond
- 出生日期：1957年12月4日
- 出生地：美国马萨诸塞州波士顿
- 居住地：宾夕法尼亚州
- 国籍：美国
- 母校：宾夕法尼亚大学
- 职业：软件设计师、作家
- 代表作：大教堂和市集
- 宗教：新异教信仰
数理逻辑

数理逻辑（Mathematical logic）是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。主要的子研究领域有模型论，证明论，集合论和可计算性理论。

数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学。数理逻辑一般着重于研究公理系统的推断能力和表达能力。它也包括分析正确的数学推断来构筑数学基础。

## 研究内容

数理逻辑的主要分支包括：

- 公理化集合论
- 模型论
- 证明论和数学构成主义
- 递归论

有时候计算复杂性理论也会被认为是数理逻辑的一部分。

每个分支都有着重研究的方向,但是很多结论是共享的,分支和分支之间的界限不是非常严格。

比如哥德尔不完备定理不仅仅是证明论和递归论的重大成果,它还直接影响了模型论中的勒布定理(Löb's theorem). 因为都基于公理化集合论,数理逻辑的不同分支的证明方法也有相通之处，比如力迫可以用来研究模型论、递归论和证明论。

范畴论也是和数理逻辑有关的数学分支，范畴论的证明方法使用许多公理化的证明方式，但因为其在数学中的广阔应用范围，往往被认为是一个独立的分支。这两个学科的直接联系是范畴逻辑. 但也有范畴论方面的数学家，桑德斯·麦克莱恩认为范畴论独立于集合论也构成了数学基础。这个观点基于拓扑斯理论。

## 与计算机科学的关系

数理逻辑和计算机科学尤其是理论计算机科学有许多重合之处，许多计算机科学的先驱者既是数学家、又是逻辑学家，如哥德尔、艾伦·图灵、邱奇、克劳德·香农、斯蒂芬·科尔·克莱尼等。

计算机科学中的程序语言学、语义学的研究从模型论衍生而来，而程序验证中的模型检测则从模型论衍生而来。

柯里－霍华德同构给出了“证明”和“程序”的等价性，这一结果与证明论有关，直觉主义逻辑和线性逻辑在此起了很大作用。λ演算和组合子逻辑的演算属于理想的程序语言。

与之相应的，计算机科学在自动验证和自动寻找证明等技巧方面的成果对逻辑研究做出了反哺，比如说自动定理证明、计算机辅助证明、计算群论和逻辑编程的应用。

## 历史

### 早期历史

逻辑史

### 十八世纪

某些哲学倾向浓厚的数学家对用符号或代数方法来处理形式逻辑作过一些尝试，比如说莱布尼兹和朗伯（Johann Heinrich Lambert）。莱布尼茨的演算推论器，很能让人想起符号逻辑，可以被看作使这种计算成为可行的一种方式。但他们的工作鲜为人知，后继无人。

### 十九世纪

数理逻辑的概念在十九世纪中期出现了，它是两个古老的学科：数学和哲学逻辑的交汇。数理逻辑被称之为符号逻辑或形式逻辑或者逻辑代数。“数理逻辑”的名称是由皮亚诺首先给出，数理逻辑在本质上依然是亚里士多德的逻辑学，但相比于古典哲学中只运用修辞学，直言三段论和哲学的方法，数理逻辑使用更为严格的推断和借用了很多抽象代数的符号来记述。

十九世纪初，乔治·布尔和稍后的奥古斯都·德·摩根都提出了一种处理逻辑问题的系统性的数学方法，但没有使用量化 (数理逻辑)。

戈特洛布·弗雷格1879年出版了一本关于逻辑学的书《概念文字》。书的完整标题为《模仿算术的纯思维的形式语言》。这本书被认为无可争议是亚里士多德之后在逻辑学领域最重要的出版物。弗雷格开发他的形式逻辑系统的动机是类似于莱布尼兹对“演算推论器”的渴望。演算加入了量词，因而本质上是经典的谓词逻辑。

在逻辑中，算术一词指的是关于自然数的理论。朱塞佩·皮亚诺提出了一套以他的名字命名的算术公理皮亚诺公理。这套公理系统使用布尔和薛定谔逻辑系统的变体，并且添加了量化 (数理逻辑)的概念。皮亚诺当时并不知道戈特洛布·弗雷格所做的相似工作。

大约在同一时间，理查德·戴德金证明了自然数具有归纳的独特特征。戴德金提出了一种不同的证明思路，这种证明缺乏皮亚诺公理的形式逻辑特征。然而，戴德金的工作证明了皮亚诺系统中无法证明的定理，包括自然数集合的唯一性（考虑同构的情况下）以及函数和数学归纳的加法和乘法的递归定义。

亚里士多德以来的传统逻辑得到改革和完成，数学家也由此得到了研究数学基本概念的合适工具。虽然这并不意味着1900年至1925年间的有关数学基础的争论已有了定论，但这“新”逻辑在很大程度上澄清了有关数学的哲学问题。

### 二十世纪

二十世纪前叶，因为关于数学基础的几次大辩论，数理逻辑迎来了基础理论学术产出的大爆炸。

### 二十一世纪

传统的逻辑研究（参见逻辑论题列表）较偏重于“论证的形式”，而当代数理逻辑的态度也许可以被总结为对于内容的组合研究。它同时包括“语法”（例如，从一形式语言把一个文字串传送给一编译器程序，从而转写为机器指令）和“语义”（在模型论中构造特定模型或全部模型的集合）。

## 一些基本结果

一些重要结果是：

- 一阶公式的普遍有效性的推定证明可用算法来检查有效性。用技术语言来说，证明集合是原始递归的。实质上，这就是哥德尔完全性定理，虽然那个定理的通常陈述使它与算法之间的关系不明显。
- 有效的一阶公式的集合是不可计算的，也就是说，不存在算法用作检测一条公式是否普遍成立。不过，尽管一阶逻辑不可判定，仍是“半可判定”的，即存在某个算法，满足：对此算法输入一个一阶公式，如果这个一阶公式是普遍有效的，那么算法将在某一时刻停机；如果不是普遍有效的，那么算法将会永远不停地计算下去。然而，即使算法已经运行了亿万年，仍无法分辨公式是否有效。换句话说，有效公式的集合是“递归可枚举集合”。
- 普遍有效的二阶公式的集合甚至不是递归可枚举的。这是哥德尔不完全性定理的一个结果。
- 勒文海姆-斯科伦定理。
- 相继式演算中的切消定理。
- 保罗·约瑟夫·科恩（Paul Cohen）在1963年证明的连续统假设的独立性。

## 相关书籍

数理逻辑的重要著作有戈特洛布·弗雷格（Gottlob Frege）的《概念文字》（Begriffsschrift）、伯特兰·罗素的《数学原理》（Principia Mathematica）等。

## 外部链接

- Mathematical Logic around the world
- Polyvalued logic
- Computability logic 数理逻辑的新方向 - 从真理的理论到可计算性的理论。
幼学琼林

《幼学琼林》是中国古代的儿童启蒙读物。该书最初叫《幼学须知》，亦叫《成语考》、《故事寻源》，一般认为最初的编著者是明末的西昌人程登吉（字允升），也有意见认为是明景泰年间的进士丘濬。至清嘉庆年间，由邹圣脉（字梧冈）作了增补注释，并更名为《幼学琼林》，也叫《幼学故事琼林》，简称《幼学》。后来民国时费有容、叶浦荪和蔡东藩等又进行了增补。

《幼学琼林》是骈体文写成的，全书全部用对偶句写成，文字简炼，对仗工整，易诵易学、易懂易记。全书内容包罗广泛，诸如天文地理、人情世故、婚姻家庭、生老病死、衣食住行、制作技艺、鸟兽花木、神话传说等等，无所不包，几乎囊括了过去人们日常生活中较常用的知识与词汇，象一部微型百科辞书。人称“读了《增广》会说话，读了《幼学》走天下”。书中对许多的成语出处作了许多介绍，读者可掌握不少成语典故，此外还可以对中国古代的典章制度、风俗礼仪做一些了解。书中还有许多警句、格言，到现在还仍然传诵不绝。因此，《幼学琼林》在旧时的乡塾中颇为流行，是中国明清以来广泛流传的蒙学读物，在明清两代的乡塾蒙学教育中起到积极作用。不过书中也有一些属于帝制时代的观点，对于现代人来说难以认同。

## 体例

全书共分四卷。

- 卷一
- 天文
- 地舆
- 岁时
- 朝廷
- 文臣
- 武职
- 卷二
- 祖孙父子
- 兄弟
- 夫妇
- 叔侄
- 师生
- 朋友宾主
- 婚姻
- 妇女
- 外戚
- 老幼寿诞
- 身体
- 衣服
- 卷三
- 人事
- 饮食
- 宫室
- 器用
- 珍宝
- 贫富
- 疾病死丧
- 卷四
- 文事
- 科第
- 制作
- 技艺
- 讼狱
- 释道鬼神
- 鸟兽
- 花木
中国国歌

中国国歌，指中国的国家象征歌曲，1911年，清朝政府定《巩金瓯》为国歌，成为中国历史上第一首官方法定国歌。中华民国成立后，出现了许多官方或非官方的国歌，1928年国民政府北伐成功以后，《黄埔军校训词》被订为中华民国国歌。而中华人民共和国则于1949年成立后，以《义勇军进行曲》为国歌。

## 1

起源于19世纪末、20世纪初。从1789年美国革命和法国大革命开始，世界各国纷纷制定国歌作为国家的象征，清朝跟进。

### 《普天乐》（半官方）

1878年（光绪四年），清朝外交官曾纪泽出使英、法，两年后又兼任驻俄公使，谱写了名叫《普天乐》的歌曲，并作为“国乐”的草案上呈朝廷，但没有得到朝廷的批准，不过在海外已被当作国歌来演奏。节奏过于缓慢，经常受到批评。《普天乐》歌词已不可考。

### 《巩金瓯》（官方）

<image>

## （北洋政府）

### 《五族共和歌》1912-1913

中华民国临时政府颁布临时国歌，由沈恩孚作词、沈彭年谱曲的国歌拟稿，歌名《五族共和歌》。

### 《卿云歌》（第一次）1913-1915

卿云歌分为第一次及第二次两版本，两版本词均取自尚书大传虞舜篇。

第一次卿云歌为1913年4月8日中华民国第一届国会开会典礼时暂用临时国歌，后两句为汪荣宝所添加，比利时人让·奥士东（Jean Hautstont）谱曲。

### 《中华雄立宇宙间》1915，1916，1916-1921三版

袁世凯大总统于1915年5月23日总统令颁采用，王露作曲，荫昌作词。

中国雄立宇宙间，廓八埏，华胄来从昆仑巅，江湖浩荡山绵连，共和五族开尧天，亿万年。袁世凯称帝后，于同年12月19日改用下面歌词：

中国雄立宇宙间，廓八埏，华胄来从昆仑巅，江湖浩荡山绵连，勋华揖让开尧天，亿万年。袁世凯下台后，北洋政府发行第三版

词:

中国雄立宇宙间。

万万年！

保卫人民中不偏。

诸业发达江山固。

四海之内太平年

万万年！

### 《尽力中华》“1919”

1919年，北洋政府教育部决定以赵元任作词作曲的尽力中华作为代国歌，歌词为：

听！我们同唱中华，啊！中华，啊！中华。

听！君不闻亚东四万万声的中华，啊！中华。

都同气、同声、同调、同歌中华，啊！中华。

来三呼万岁中华，啊！中华，啊！中华。

听！君不闻亚东四万万声的中华，啊！中华。

都同气、同声、同调、同歌中华，啊！中华。

看！我们唤醒中华，啊！中华，啊！中华。

看！君不见亚东四万万人的中华，啊！中华。

都是同种、同胞、同志、同心的中华，啊！中华。

来发愤尽力中华，啊！中华，啊！中华。

看！君不见亚东四万万人的中华，啊！中华。

都振起精神来振作振兴中华，啊！中华。

同心尽力中华。

乐谱出自《赵元任音乐作品全集》，赵如兰编，上海音乐出版社，1987年5月第1版。这支曲子的歌词、和声都是赵氏1914年前后写的。旋律原是一个焰口调。1920年曾发表在美国的中国同学会的一本小册子里，册子的名字叫《Songs and yells of the Chinese Student Alliance》。

### 《卿云歌》（第二次）1921-1928

<image>

卿云歌分为第一次及第二次两版本，两版本词均取自尚书大传虞舜篇。

1919年，北洋政府将《尚书》中的《卿云歌》配上乐曲作为国歌，是为第二次卿云歌。

## 3

### 《国民革命歌》（非正式）“1926”

《国民革命歌》由黄埔军官学校军官廖干五所作，1926年7月1日发布。其旋律与童谣《雅克兄弟》（亦为广东童谣《打开蚊帐》、儿歌《两只老虎》之原曲）相同。

### 《中华民国国歌》

<image>

《中华民国国歌》即《三民主义歌》，歌词作者为中国国民党总理孙文，由文胆胡汉民、戴季陶、廖仲恺、邵元冲等捉刀。首次出自1924年6月16日孙中山总理在广州黄埔陆军军官学校开学典礼中，对该校师生之训词。

国民党北伐成功后，国民党选择以此训词为党歌并公开征求伴随音乐。程懋筠的作曲在139名参赛者获胜，得到银元五百元的奖金。

1930年3月24日，许多国民党人提议使用党歌作为国歌。由于反对使用一党标志代表全国，所以设立国歌编制研究委员会，后该委员会支持国民党党歌。

1937年6月3日，国民党中央批准提案，该年正式成为中华民国的国歌，使用至今。

## 割据政权

### 中华苏维埃共和国

<image>

1931年中华苏维埃共和国成立时，决定以国际歌作国歌。

### 满洲国

<image>

<image>

### 汪精卫国民政府

- 《中华民国国歌》
- 《东亚民族进行曲》（非正式）

## 5

中华人民共和国国歌是义勇军进行曲，1949年建国后，使用至今。

原是电影《风云儿女》的插曲，1935年由田汉作词，聂耳作曲，亦是中华民国国民革命军第200师的军歌。

根据马叙伦的提议，1949年9月27日中国人民政治协商会议第一届全体会议通过《关于中华人民共和国国都、纪年、国歌、国旗的决议》，通过：“在中华人民共和国的国歌未正式制定前，以义勇军进行曲为国歌”。

“文化大革命”时期，词作者田汉被指控为叛徒下狱，国歌遂变成纯演奏曲，一般情况下均不再高唱国歌。这段时间，《东方红》成为实际的国歌。至文革结束后，1978年3月5日第五届全国人民代表大会第一次会议通过集体填词的《继续革命的战歌》为中华人民共和国国歌。歌词如下：

1978年12月，中共十一届三中全会召开后，田汉冤案获平反，1982年12月4日，第五届全国人民代表大会第五次会议通过决议，撤销1978年3月全国人民代表大会通过的歌词，恢复原《义勇军进行曲》之词、曲为中华人民共和国国歌。2004年3月14日第十届全国人民代表大会第二次会议正式将《义勇军进行曲》作为国歌写入宪法修正案。（第四章第一百三十六条第二款：“中华人民共和国国歌是《义勇军进行曲》。”）

由于初期，中华人民共和国未有国歌法，直至2017年10月1号到有正式法律及法定国歌（1949年9月27号中国人民政治协商会议第一届全体会议通过在中华人民共和国的国歌未正式制定前，以《义勇军进行曲》为国歌）；所以2017年10月1号起中华人民共和国国歌法施行成为全国性法律。

## 参见

- 国旗歌
- 《中华民国国旗歌》