GEM/xwikis huggingface dataset:
诺贝尔和平奖

title: 得主.
content: 截至2017年,共有104位个人和24个组织被授予诺贝尔和平奖。有16位女性获诺贝尔和平奖,超过其他任何诺贝尔奖。有两个组织曾多次获得这一奖项:红十字国际委员会分别于1917、1944和1963年获奖,联合国难民署曾于1954和1981年两度获奖。奖项设立以来,共有19年没有授奖,这个数量也超过其他任何诺贝尔奖。
title: 大事记.
content: 1935年,反纳粹军事而被希特勒囚禁的和平主义者卡尔·冯·奥西茨基获得诺贝尔和平奖成为第一位获奖时遭当局刑禁的和平奖得主。之后希特勒修改法律禁止任何德国人领取诺贝尔奖(1936年11月23日诺贝尔委员会来到奥西茨基的住处给他授奖)。纳粹德国元首于1939年被瑞典议会议员埃里克·布兰特提名,不过他提名希特勒只是为了抵制当时实行绥靖政策的英国首相内维尔·张伯伦被提名之举动,布兰特几天后也收回了此项提名,而同样名誉不佳的和平奖提名者还有斯大林和墨索里尼。和当选不同,诺贝尔和平奖只需任何一位有资格者支持便可提名,所以不能代表诺贝尔和平奖评选委员会的意见。同时,希特勒也开始颁发德国国家艺术与科学奖以取代诺贝尔奖。  印度民权斗士甘地即使五度获提名,但却从未获奖。1948年甘地遇刺身亡后,委员会曾考虑授予其和平奖,但该年最终仍以「没有合适的在世人选」为由而并未颁奖。当达赖喇嘛获得1989年诺贝尔和平奖时,委员会主席说这决定「在某种程度上是为纪念圣雄甘地而作的贡献」。 1961年,联合国秘书长道格·哈马绍获提名后、距颁奖数月前逝世,和平奖仍将奖项授予哈马绍,哈马绍成了唯一逝世后仍获奖的诺贝尔和平奖得主。  1975年,前苏联的核物理科学家安德烈·萨哈罗夫获奖,当时的苏联政府禁止他出国领奖。12月10日,由妻子代为领取奖项,并代替他发表领奖演说。  1983年,波兰工会领袖莱赫·瓦文萨致力于波兰的人权运动而获奖。1981年12月被波兰政府囚禁,1982年11月被释放,政府官方不允许他前去受奖仪式,但由他的夫人至挪威代为领奖。  1991年,缅甸反对派领袖昂山素季因“争取民主和人权的非暴力斗争”而获诺贝尔和平奖,但她本人被缅甸政府拘押。缅甸当局指出,若释放昂山素季,则她必须永远离开缅甸和政治界,但此条件被她拒绝。12月10日颁奖日,由她的两个儿子亚历山大和金代领。直到2012年6月16日,昂山素季才终于在奥斯陆市政厅发表获奖演说。  2003年,和平奖颁发给伊朗的希尔琳·艾芭迪,虽然伊朗政府极力反对,但并未阻止她前去领奖,而伊朗政府在颁奖当日也派人参加典礼。2009年11月26日,伊朗政府史无前例地没收她的奖项,这是诺贝尔奖创设108年以来从未发生过的事。  2009年,美国总统巴拉克·奥巴马获选为和平奖得主。全世界各地都对于委员会的决定感到难以认同,认为授予和平奖给提名截止前两周才就任美国总统的奥巴马过于草率。全世界人民都质疑「他(奥巴马)做过了什么?」,奥巴马根本没有做什么值得获得这一殊荣的事情。事后,诺贝尔和平奖委员会秘书长吉尔·伦德斯塔德2015年在回忆录中,记录诺贝尔和平奖的讨论过程,并表示非常后悔将和平奖颁发给奥巴马。  2010年,被中华人民共和国政府囚禁的中国大陆异议人士刘晓波获奖。中华人民共和国政府认为挪威诺贝尔委员会把2010年诺贝尔和平奖授予刘晓波是完全违背该奖项的宗旨以及亵渎该和平奖的举动。这次颁奖被中华人民共和国政府描述为「诺贝尔政治奖」,当局指得主刘晓波为“一名罪犯”,官方宣称该和平奖项成为了西方的政治工具。刘晓波获奖后,包括妻子刘霞在内的亲人皆被中国大陆政府禁止前往挪威领取诺贝尔和平奖,同时中国大陆政府亦加强对其他异议人士和维权活跃者动向的监管。2017年7月13日,刘晓波病逝于沈阳中国医科大学附属第一医院。  2012年、2013年,挪威广播公司皆于官方公布时间之前,就径行泄漏该年的得主(欧洲联盟、禁止化学武器组织),且事后证明完全正确。

Summary: 诺贝尔和平奖(),是由瑞典发明家阿尔弗雷德·诺贝尔于1895年所创立的诺贝尔奖中之一,由挪威诺贝尔委员会选出得主,每年12月10日(诺贝尔逝世纪念日)颁发。与其他在瑞典斯德哥尔摩颁发四个奖项不同,诺贝尔和平奖颁奖典礼是在挪威首都奥斯陆举行,由挪威诺贝尔委员会主席颁奖,挪威国王监礼(皇后、王子、公主一般都会出席)。挪威诺贝尔委员会则是由五位评审委员组成,成员由挪威议会任命。
涉禽

title: 体重及大小.
content: 这一类动物最小的成员是小滨鹬"Least Sandpiper",小的成年动物重量会达到15.5克且大小只有13厘米(5英寸)。一般认为最大的是大杓鹬"Far Eastern Curlew",约63厘米(25英寸)、860克(1.9磅)。虽然反嘴鸻"Beach Thick-knee"重量有1千克(2.2磅),是最重的。
title: 分类学.
content: 在1980年代的鸟类DNA分类系统(Sibley-Ahlquist taxonomy),涉禽和其它的一些动物被一起归到更大的鸻形目"Charadriiformes"。但是,由于DNA-DNA杂交被证实并不适用解释鸻形目的内部关系,将涉禽归到鸻形目成了鸟类DNA分类系统的一大缺陷。早期,涉禽曾被归类到一个单一的亚目鸻亚目Charadrii,但最终证实这是个"无效的分类",含有不低于4个血缘的并系群。但是,领鹑"Plains Wanderer"实际上也是属于其中的一种。根据最新的研究 (Ericson "et al.", 2003; Paton "et al.", 2003; Thomas "et al.", 2004a, b; van Tuinen "et al.", 2004; Paton & Baker, 2006),涉禽可以细分为以下几种:  在传统的分类中,Thinocori亚目被归类到Scolopaci亚目,而Chionidi亚目被归类到鸻亚目。但是,随着对现代鸟类早期进化史知识的增多,Paton "et al." (2003)和Thomas "et al." (2004b)的4个“涉禽”血缘(=亚目)在白垩纪-第三纪灭绝事件前后已经存在的假设被认为是正确的。

Summary: 涉禽(wader),在北美也称为水鸟(shorebirds,在这些地方的涉禽往往指的是长脚的涉水鸟类,如鹳和鹭),属鸻形目("Charadriiformes"),但不包括那些海边有蹼的海鸟。后者包括贼鸥"skua"(贼鸥科,"Stercorariidae")、海鸥"gull"(鸥科,"Laridae")、燕鸥"tern"(燕鸥科,"Sternidae")、剪嘴鸥"skimmer"(剪嘴鸥科,"Rhynchopidae")及海雀"auk"(海雀科,"Alcidae")。另外,林鹬"pratincole"(燕鸻科,"Glareolidae")和蟹鸻"Crab Plover"(蟹鸻科,"Dromadidae")外表和涉禽更像,也和海鸟有很密切的关系。
國 (政治實體)

title: 字源.
content: 政治学上的国家("state")一词,最早来自于意大利思想家马基维利所用的"statos"一词,该词来自于拉丁文"status"。
title: 定义问题.
content: 在学术界上没有国最适当定义的共识。「国」一词是指一组不同,但相互关联,一定范围内一种政治现象的理论。定义「一组」可能会有分歧,因为不同的定义会形成不同作用的国家论说而得出不同的政治策略。
title: 国的合法性.
content: 各国通常依赖于一个政治合法性,以保持他们对臣民的统治。
title: 君权神授说.
content: 君权神授说是古代以宗教来主导政治时期君主为了巩固自己的权力而提倡的一种法。即指自己是天神派遣下来凡间管治世人,是神在人间的代表,作为人民只可遵从君主的指示去做,不能反抗。这个说法在世界各地都曾出现过,但在启蒙时代后,人们思想开始由宗教指导中释放出来,使这个说法的相信者变得越来越少。
title: 法理型权威.
content: 法理型权威是一种领导的形式。在这种形式下,一个组织的或政权的权威很大程度是与法制上的理性、合法性和科层制度连系着的。根据这种分类的方法,二十世纪大多数的现代国家,皆以法理型权威的形态实行统治。  在社会学中,法理型权威的概念来自于马克斯·韦伯的「三种统治形式」理论 (这是其中一种社会学家用以为政府分类的其中一个方法);相比法理型权威,另外两种则为传统型权威和感召型权威 (又称「卡里马斯式权威」)。这三种统治形式都是韦伯心目中理型的例子;对他而言,历史上该些形式都会以混合的情况出现。在传统型权威中,权威的合法性来自于传统。在感召型权威中,权威的合法性来自于统治者个人的人格及领导才能。而在法理型权威中,权威的合法性则来自法制及科层制度。

Summary: 国家(,,英语:state,西班牙语/葡萄牙语:estado)是指一个有组织的政治群体,在单一政府之下共同生活。
克里斯蒂亚诺·达·马塔

title: 早期职业生涯.
content: 达马塔16岁开始参加卡丁车比赛,获得多次冠军。1995年他参加英国F3系列赛。1996年参加F3000,总分列第九位。
title: 北美赛车.
content: 1997年达马塔转战美国Indy Lights赛事,当年获得最佳新手称号。第二年获得该项赛事冠军。  1999年他又参加了CART赛事(冠军方程序的前身),2000年获得首场胜利。2002年以7次胜利和7次杆位的骄人成绩获得该项赛事冠军。
title: 一级方程序.
content: 2003年达马塔参加了赛车界最高等级的F1赛事,为丰田车队效力。全年获得10个积分,高于队友奥利维耶·潘尼斯。  2004年达马塔成绩不尽人意,只在摩纳哥站获得3个积分。德国站后被里卡多·宗塔替代,从此退出F1。
title: 回到美国.
content: 2005年达马塔回到冠军方程序,获得1站胜利,积分榜上排在第十一位。  2006年8月3日,达马塔在试车时撞上一只鹿,当时脚部失去知觉。9月21日出院。此后一段时间内没有参加赛车比赛。  2008年3月20日,达马塔参加了Rolex Sports Car Series赛事的试车。

Summary: 克里斯蒂亚诺·达马塔(Cristiano da Matta,1973年-9月19日)是一名巴西赛车手。
程序员

title: 历史.
content: 英国著名诗人拜伦的女儿爱达·勒芙蕾丝曾设计了巴贝奇分析机上计算伯努利数的一个程序,她甚至还建立了递归和子程序的概念。由于爱达在程序设计上的突破性创新,她被称为世界上第一位程序员,详见计算机领域中的女性。
title: 工作范围.
content: 计算机程序员编写、测试、调试和维护被称为计算机程序的详细指令,计算机必须遵循这些指令来执行它们的功能。程序员还构思、设计和测试用计算机解决问题的逻辑结构。编程领域的许多技术创新——先进的计算技术、复杂的新语言和编程工具——重新定义了程序员的角色,提升了当今许多编程工作。职位名称和描述可能会有所不同,取决于组织。  程序员在许多环境中工作,包括企业信息技术(“IT”)部门、大型软件公司、小型服务公司和各种规模的政府实体。许多专业程序员也以独立承包人的身份在客户现场为咨询公司工作。程序员通常不需要有从业执照就可以工作,但他们一般都会持有专业认证。编程被广泛认为是一个专业(但有些权威机构不同意这个看法,他们认为只有那些法律上规定要有从业执照的职业才能叫做专业)。  程序员的工作差别很大,这取决于他们为之编写程序的业务类型。例如,更新财务记录所涉及的指示,与飞行模拟器中训练飞行员时模拟在飞机上的状况所需的指示大不相同。简单的程序可以在几个小时内完成,更复杂的程序可能需要一年以上的工作,而其他的程序则永远不会被认为是“完善的”,而是只要继续使用就会不断进行改进。在大多数情况下,几个程序员在高级程序员的监督下作为一个团队一起工作。  程序员根据主要由高级程序员和系统分析员确定的规范编写程序。在设计过程完成后,程序员的工作就是将设计转换成计算机可以遵循的一系列逻辑指令。程序员用众多编程语言中的一种来编写这些指令。根据用途的不同,会使用不同的编程语言。例如,COBOL通常用于通常在大型和中型计算机上运行的业务应用程序,而Fortran则用于科学和工程。C++和Python广泛用于科学和商业应用程序。Java、C#、JS与PHP是Web和商业应用程序的流行编程语言。程序员通常了解一种以上的编程语言,因为许多语言是相似的,他们通常可以相对容易地学习新的语言。在实际中,通常会用程序员们了解的语言来描述程序员,比如,Java程序员,或者用他们所扮演的角色或他们的工作环境来描述:比如,数据库程序员、大型机程序员、Web开发人员等。  当修改组成程序的源代码时,程序员需要让其他程序员知道程序要执行的任务。他们通过插入注释以及编写文档,来让其他人更容易理解程序。为了节省工作量,程序员经常使用基本代码库,这些库可以针对特定的应用程序进行修改或自定义。这种方法可以产生更可靠和一致的程序,并通过消除一些重复性的步骤来提高程序员的生产力。
title: 测试和调试.
content: 程序员通过运行程序并查找错误来测试程序。一旦确定了错误,程序员通常会进行适当的修正,然后重新检查程序,直到错误(bug)的严重程度达到可接受的低水平。这个过程称为测试和调试。这些都是每个程序员工作的重要部分。程序员可以在程序的整个生命周期中继续修复这些问题。更新、修复、修改和扩展现有程序有时称为维护编程。程序员可能会编写用户指南和在线帮助,或者他们可能会与技术作者合作完成这些工作。
title: 应用程序与系统编程.
content: 计算机程序员通常分为两大类:应用程序员和系统程序员。应用程序员编写程序来处理特定的工作,例如在组织内跟踪库存的程序。他们还可以修改现有的套装软件(英语:packaged software),或定制通常从独立软件供应商购买的通用应用程序。相比之下,系统程序员编写程序来维护和控制计算机系统软件,如操作系统和数据库管理系统。这些工作人员对指令进行更改,这些指令决定了系统的网络、工作站和CPU如何处理给定的各种作业,以及如何与打印机和磁盘驱动器等外围设备通信。
title: 资格和技能.
content: 软件开发人员需要在计算机技术的某些方面具有深厚的技术专长。有些职位需要相关领域的学位,如计算机科学、信息技术、工程、编程或任何其他与IT相关的研究生学习。 一个理想的软件开发人员是一个自我激励的专业人员,在诸如C++、C#、PHP、Java、C、Javascript、Visual Basic、Python、Smalltalk等关键编程语言上拥有动态的动手实践经验。  根据开发人员Eric Sink的说法,系统设计、软件开发和编程之间的差异更加明显。在当前的市场环境中,程序员和开发人员之间已经存在隔离,因为实现程序的人和设计类结构或层次结构的人是不一样的。开发人员成为软件架构师或系统架构师(即设计大型软件系统的多层体系结构或组件交互的架构师)后,差异会更大。
title: 软件类型.
content: 软件开发公司的程序员可以直接与来自不同领域的专家合作来开发软件,包括为特定客户设计的程序或通用的套装软件,从电子游戏到教育软件,再到用于桌面出版和财务规划的程序。套装软件的编程是计算机服务行业增长最快的部分之一。一些公司或组织,即使是小公司,也建立了自己的IT团队,以确保内部软件的设计和开发能够满足内部最终用户非常特殊的需求,特别是在现有软件不适合或成本太高的情况下。研究中心的情况就是如此。  在一些组织中,特别是小型组织中,通常被称为程序员分析师的人同时负责系统分析和实际的编程工作。从大型机环境过渡到主要基于个人电脑(PC)的环境,模糊了曾经严格的程序员和用户之间的区别。越来越多的熟练的终端用户正在接管许多以前由程序员执行的任务。例如,越来越多地使用套装软件,如电子表格和数据库管理软件包,让用户可以编写简单的程序来访问数据和执行计算。  此外,互联网的兴起使得Web开发成为编程领域的一个重要组成部分。目前,更多的软件应用程序是网络应用程序,任何人都可以使用网页浏览器。这类应用程序的例子包括Google搜索服务、Outlook.com电子邮件服务和Flickr照片分享服务。  编程编辑器,也称为源代码编辑器,是专门为编写程序源代码的程序员或开发人员设计的文本编辑器。这些编辑器中的大多数都含有对程序员有用的特性,可能包括语法突显、自动缩进、自动完成、括号匹配、语法检查以及允许插件。这些特性帮助用户进行编码、调试和测试。

Summary: 程序员(英语:Programmer,英语:Computer Programmer或英语:Coder),它可以指在程序设计某个专业领域中的专业人士,或是从事软件撰写,程序开发、维护的专业人员。但一般Coder特指进行编写代码的编码员。
联合国秘书长

title: 秘书长职能.
content: 联合国秘书长一职最早来源于美国总统罗斯福的“国际事务调停者”的构想,但在《联合国宪章》中,联合国秘书长被定义为该组织的“行政首长”(《联合国宪章》第十五章,第九十七条)。  联合国秘书长的办公地点位于美国纽约曼哈顿东河边上的联合国总部大楼。该大楼1921年由摩根财团兴建,随后于1972年捐赠给联合国。
title: 秘书长的任命条件及待遇.
content: 联合国秘书长的任期为五年,一般可以连任一次。秘书长可以根据工作需要,任命若干名副秘书长,协助其工作。  联合国秘书长选举程序遵循《联合国宪章》第九十七条和联合国大会第11号决议。《联合国宪章》第九十七条规定:“秘书长应由大会经安全理事会之推荐委派之。”联合国大会1946年1月24日通过的第11(1)号决议“秘书长的任命条件及待遇”规定:  该决议第四条(丙)中提到的《联合国宪章》第十八条规定:“关于其他问题之决议,包括另有何种事项应以三分之二多数决定之问题,应以到会及投票之会员国过半数决定之。”第二十七条规定:“安全理事会对于其他一切事项之决议,应以九理事国之可决票包括全体常任理事国之同意票表决之。”  后来该决议第四条(乙)有关秘书长退休后任职限制的规定并未贯彻。该决议第四条(丙)中提到的根据《联合国宪章》第十八条和第二十七条的规定进行提名的方法,本来规定的是安理会7个理事国各有1票可决票,而自1965年安理会理事国增加到15个后,可决票数也相应改为9票。  自联合国成立后到1981年的35年内,前四位秘书长中的第一、二、四位都是来自欧洲发达国家,任期合计24年,只有第三位缅甸的吴丹来自发展中国家。吴丹是因哈马舍尔德空难身亡后以副秘书长资格代理秘书长而后转正。其他来自发展中国家的候选人无一例外在安理会被否决。1981年,已连任两届秘书长的瓦尔德海姆打破惯例继续竞选并获得美国支持,同时竞选的有非洲统一组织推荐的坦桑尼亚常驻联合国代表萨利姆·艾哈迈德·萨利姆。中国常驻联合国代表凌青向中国外交部提交报告,认为此次应当坚决支持来自发展中国家的萨利姆,至少也要逼出同样来自发展中国家的第三人竞选,以打破发达国家对秘书长职位的长期占据。中国领导人邓小平也作出了在投票中对瓦尔德海姆“一否到底”的指示。在1981年10月至11月安理会举行的16轮无记名投票中,中国16次反对瓦尔德海姆,美国16次反对萨利姆,因被安理会常任理事国否决,两人都无法当选。最终两人退选,涌现出新的9位候选人,这9人均来自发展中国家。12月11日,安理会举行第17轮投票,来自秘鲁的德奎利亚尔获得10票赞成票,无否决票,从而当选。12月25日,第36届联合国大会根据安理会的推荐,一致通过决议,任命德奎利亚尔为联合国秘书长。从此,联合国秘书长人选确定了由各大洲轮流出人担任且一般不超过两届的不成文惯例,而且从此发展中国家候选人也和发达国家候选人一样有了胜选的希望。  在2016年联合国秘书长选举中,组织了所有候选人的“面试”和两次电视辩论。这是秘书长选举历史上首次组织“面试”和电视辩论。2016年4月12日至14日为期三天的“面试”在联合国秘书处大楼托管理事会会议厅举行,8位候选人向联合国各会员国代表阐述愿景声明,并回答各会员国代表单独或以区域集团形式提出的现场提问,随后通过视频播放各国民众对候选人的问题。整个过程在联合国网站上直播。“面试”和电视辩论结束后,再由安理会举行秘密投票提名。

Summary: 联合国秘书长是联合国秘书处的长官,由于联合国秘书处是联合国的行政机构,故该职被视为联合国的行政首长。依照《联合国宪章》,秘书长是由安理会推荐,负责秘书处的工作,将其认为可能威胁国家和平和安全的任何事项提请安理会关注,并执行安理会、联合国大会和其他主要机构托付的「其它职务」。在世界舞台上,联合国秘书长往往被看作联合国的象征,联合国秘书长也利用这一身份从事各种活动。
纹章学

title: 纹章的起源.
title: 早期历史.
content: 早在上古时代,不同的部落就试图用具象的方式展现他们的特色:服装和头饰上分别拥有不同的颜色及符号,尤其是动物符号及相应的各类早期神祇。此种外在差别使得在战场上分辨不同部落的战士成为可能。 此种风俗承传到早期文明出现之后,战士们——尤其是古巴比伦、波斯及中国的将军们偏好于为他们的军队制作具有同一图示或者文字符号的盾牌和旗帜。在古希腊战士的盾牌上也能找到不同种类的动物:如狮子、战马,猎狗,野猪或者猛禽。古罗马军团也使用他们独有的象征物。  在这一时期,盾牌上的图形元素仅有装饰的作用。在战斗中,对区分敌我产生决定性作用的是军团旗帜,战斗小组所持三角旗及战士服装颜色的差别。虽然此些粗糙的,仅仅颜色上的差别使得在较远的距离也可分辨敌我,不过,这些颜色却会在每次战役,甚至每次战斗开始之前被指挥官们重新选择——就像是足球俱乐部在每个赛季和每场比赛开始之前会选择不同的球衣颜色一样(为了同对手的颜色区分开来)。  在此基础之上,慢慢形成了较为固定的战旗样式(时至今日,也有一些战团在国家规定的旗帜之外,选择使用代表本团精神的特色旗帜,颜色和标志。),这些相对简单的颜色和标志也被统一制作到战士们的盾牌上,并逐渐演变出了盾牌纹章。
title: 中世纪.
content: 封建时代到来之后,领主们也开始选择属于他们自己的象征符号。在封建时代的大战役中,成百上千的战团参与其中。战士们的装备差异,因为兵装制造者们更频繁的技术交流,以及战团中普遍采用的、缴获后即收归己用的制度,也渐渐变得不那么明显。在这样的大趋势下,盾牌上使用的颜色和符号变得越来越重要,人们也更倾向于使用更多的颜色和几何形状的组合。  直到十二世纪中叶,纹章的颜色及符号仍只和战士本人相联系。使用者自己决定使用哪一个符号,以及在他作为战士的职业生涯中,是否需要改变这些符号。比如十一世纪的“贝叶挂毯”就织有某些样格鲁萨克逊和诺曼战士的盾牌和战旗图样,这些战士参加了1066年的黑斯廷斯战役。  在这个属于征服者威廉的时代君主们也穿上了轻盔甲,并且这盔甲的重量在稍后数百年间变得越来越重,开放式的头盔被全包的骑士盔所取代,这也同时遮住了身穿盔甲者的脸。十字军东征中,每次战役都有为数众多的领主加入,这大大地促进了纹章学的发展。  纹章的另一个存在理由归功于中世纪和平时期骑士之间(在后期甚至是骑士团之间)的、以武技竞赛和表演为目的的各类竞赛。战斗本身高度程序化,在单挑中落败的骑士通常会输掉他的马和盔甲,而那些在当时是十分昂贵的。十二世纪的骑士们,在全身铠甲的包裹之下,人们几乎认不出他们来。因此,参赛者们通常将他们的、或者他们主人的纹章装饰在盾牌上。十三世纪初,就连低等骑士们也被允许使用属于他们自己的纹章了。  在纹章学的萌芽时期(12世纪),这些纹章基本上遵循实用主义的教条。纹章上标示的绘制是十分重要的,通过这些标示,竞赛的主持者才便于在比赛开始之前呼唤相应的骑士。通过无休止的战斗,某些纹章逐渐累积了相当的声望,人们开始在自己的家族房屋上使用这些纹章以表明自己的身份。自然而然的,纹章上所使用的色彩及组成元素也开始展示家族亲属之间的关系,有些纹章甚至如此地被人们所知,以至于它们还附带上了简短的标记名称(通常以绶带文字的方式,就像现代国徽绶带上的文字)
title: 教堂纹章.
content: 参见教宗牧徽
title: 纹章的设计.
content: 最简单的纹章,就是什么图案也没有的单色纹章,但这种纹章很少见,大部分纹章由多于一种颜色组成,并附有图案。
title: 外框.
content: 纹章外框的形状没有严格的规定,但多为盾牌形,女性用的纹章则多为菱形。
title: 用色.
content: 纹章学最严格的规则在于用色。颜色分为两类,一类为金属色,包括金、银两色,一类为普通色,包括蓝、红、紫、黑、绿。纹章学的颜色只是概念性的,肉眼看来的深浅不同无关重要,譬如金、黄可以通用,银、白也可以;血红色和桃红色均属于红色,没有区别。用色的原则是:属同类颜色的,不可以毗邻。譬如金色不可跟银色毗邻,红色不可跟紫色毗邻。这条规则的原意显然是为了形成深浅对比,使纹章看起来鲜明易辨。现代的国旗也大多遵从这条规则。
title: 方向.
content: 在纹章学中,方向是以纹章本身的相对方位为准,而不是观察者。
title: 图象.
content: 纹章上的图象本身有着不同的意义,但暗语纹章则是一种利用图象式双关语暗示持有者名字的纹章,即图象所代表事物的发音与纹章持有者的名字相同。

Summary: 纹章学(法文:héraldique;德文:heraldik;英文:heraldry)是西方一门研究纹章的设计与应用的学问。纹章学一词源自「传令官」(古法语:heraut, hiraut),据说在中世纪的马上比武大会上,骑士全身披挂,全靠盾牌上的纹章才搞得清谁是谁,大会上的传令官就凭纹章而向观众报告骑士的比武情况(有点像今日的体育旁白),渐渐「传令官」成了「纹章专家」的代名词,纹章学一词也就由此衍生。纹章的构图、用色都有严格的规定,其研究除了作为文化史的一部分,还有助于历史考证,例如用于断定宗谱及鉴定艺术品、文物的年分。
摩艾石像

title: 推论.
content: 最常见的推论指向一千多年前住在岛上的原住民,这些石像代表他们去世的祖先(像墓碑的作用一样),或是当时重要的人物,或是代表家族地位的象征。这些石像想必凿起来要耗费巨资,不仅是刻这些石像要花多年的功夫,而搬运到他们最后的目的地也很费劳力。目前为止到底还不知道这些石像当时是如何搬运的,但可以猜测出当时有用到木橇和滚轮。因为大量木材的需求,使得岛上的森林被砍伐耗尽。森林的耗尽也用来解释为什么火山采石场会突然被遗弃。
title: 传说.
content: 岛上早期的神话说有一位部落首领在寻找新的居住地时,最后找到复活节岛。他死后,岛就被他的儿子们分了。每个部落首领死后,总有一个摩艾石像竖立在他的坟墓。岛民们相信,这些雕像能捕获首领的灵力。他们相信把首领的灵力留在岛上会保佑这个岛风调雨顺。
title: 最新研究.
content: 水源位置标志  一般认为石像是散乱随机分布于岛上,但纽约宾汉顿大学人类学家利波(Carl Lipo)指出,其实石像位置和水源分布息息相并关。  利波和团队集中研究东部93座18世纪前建成和分别置于高台的石像群,分析石像周边地质数据,如土质、渔获和水源等,尝试找出共同点,结果发现「靠近高台的区域都是有地下淡水涌出的位置」,无论位于海岸、内陆还是低地都是如此,而没有石像或高台的地方就没有水源,分布原则十分一致。  复活节岛上没有固定溪流,而当时的古人没有制造容器和引水的知识,所以利波相信他们会聚居在有水的地方,建石像为指引维护水源,围绕石像而居,而非如过往理论所说,是宗教祭祀的场地。
title: Unicode 字符.
content: 摩艾石像于2010年以绘文字的形式被编入Unicode,码位为codice_1(🗿)。 该表情符号的统一码名为moyai,这是东京,这尊雕塑的灵感来自摩艾石像,但外形与其并不相同(有头发,但摩艾石像没有),因此导致了在不同公司所制造的字体中对这一码位的不同表现。

Summary: 摩艾石像(Moai,又译复活节岛人像、摩阿仪、摩埃石像、毛埃石像)位于复活节岛。多数为一体成形,也就是说整体是从一块大石头刻出来的,但有时候石像头上会加一块普卡奥(Pukau)作帽子,一顶帽子可重达十数吨。全复活岛上已知有887尊摩艾石像。多数的摩艾石像产于拉诺拉拉库(Rano Raraku)。当地的火山采石场似乎是突然被遗弃,留下许多未完成的石像,而当地几乎所有完成的摩艾石像到后来都被岛上原住民推倒。
伦纳德·伯恩斯坦

title: 生平.
content: 伯恩斯坦生于美国麻省劳伦斯,生名「路易斯」(Louis Bernstein),后于16岁时更为现名李奥纳德·伯恩斯坦。  1935年,入读哈佛大学,师从瓦尔特·辟斯顿、E·B·希尔学习作曲,并于1939年毕业。随后进入费城柯蒂斯音乐学院学习指挥。  1941年,担任波士顿交响乐团助理指挥,并师从谢尔盖·库塞维兹基和弗里兹·莱纳。  1943年,临时代替生病的布鲁诺·瓦尔特上台,指挥了施特劳斯《唐吉诃德 (施特劳斯)》、舒曼《曼弗雷德》序曲、瓦格纳《纽伦堡的名歌手》序曲、米克罗斯变奏曲等而大获成功,自此在乐坛上崭露头角。当时他就已经有不少作品面世,包括《第1号交响曲 (伯恩斯坦)》“耶利米”、芭蕾舞剧《自由想像 (伯恩斯坦)》、音乐剧《锦城春色 (音乐剧)》等等。  自1943年起频频担任纽约爱乐的客席指挥,后在1958年升任为该乐团音乐总监,成为土生土长美国人中,第一位获得指挥国际级乐团殊荣的指挥家。他在任的12年间,开创了该团的黄金时代,后来成为终身荣誉指挥,从此一举确立了第一流指挥家的名声。这12年间号称纽约爱乐的黄金岁月(1958-1969)。期间,他还和乐团拍摄了一系列电视节目《年轻人的音乐会》(Young People's Concerts),对古典音乐在美国年轻族群中的推广,有极大的作用。  1969年,伯恩斯坦自纽约爱乐退休后,后半生转往欧洲发展,原本是希望多花点时间作曲,不过显然事与愿违,多数时间都在从事教育后进,以及担任欧洲知名乐团的客席巡回演出指挥工作。他在欧洲最重要的功绩,是与维也纳爱乐保持长久而良好的关系,在DG留下许多经典录音,因此维也纳爱乐授予伯恩斯坦荣誉会员。  1989年12月23日和12月25日是他永远被值得纪念的两天,伯恩斯坦在钢琴家尤斯图斯·弗朗茨的邀请下到柏林指挥贝多芬第九交响曲,地点分别是柏林爱乐厅和柏林音乐厅,由Unitel摄影。当时正值柏林墙倒下,伯恩斯坦将交响曲中席勒的《欢乐颂》歌词改为《自由颂》。伯恩斯坦对此说道:“我肯定,贝多芬会同意咱们这么做的”。超过20个国家,一亿人通过电视转播收看了这场音乐会。  此后,伯恩斯坦所指挥的曲目范围逐步扩大,从巴洛克到现代各家均有涉猎,尤其是浪漫派作品。其中又以与他同是犹太人指挥兼作曲家的马勒的作品为最。  1935年,他完成了第一部个人作品,为钢琴与女高音所作的《诗篇第148篇(Psalm 148)》。作为作曲家,伯恩斯坦一生共创造了3部交响曲(第1号交响曲 (伯恩斯坦)「耶利米」、第2号交响曲 (伯恩斯坦)「焦虑年代」、第3号交响曲 (伯恩斯坦)「犹太诗文」),音乐剧《西区故事》、《锦城春色 (音乐剧)》,轻歌剧《天真汉》等等,当中不乏杰出之名作。
title: 经典录音.
content: 早在1950年代开始,伯恩斯坦就于哥伦比亚唱片录音室内参与唱片的录音制作,并以美国为其活动之中心。1970年代之后,伯恩斯坦主要在欧洲与德意志留声机(DG)合作;而这个时期的音乐录制,绝大部分来源自演奏现场的录音或实况录影。
title: 伯恩斯坦与马勒.
content: 伯恩斯坦让同为犹太裔的指挥兼作曲家古斯塔夫·马勒的音乐在20世纪后半叶忽然成为主流,为所有音乐厅所接受,并成为古典音乐界普罗大众熟知的作曲家。在他之前,并非没有指挥家演奏马勒的交响乐作品,如舍尔兴、莱因斯多夫、克伦佩勒、华尔特、富特文格勒等人,他们都在马勒生前曾与他有或多或少的亲身接触,并在他死后也曾在音乐会或唱片录音上演绎过他的音乐。但在伯恩斯坦大力推广之前,马勒始终不能算古典音乐圈内第一线的主流作曲家,莫札特、贝多芬、柴可夫斯基等人才是。马勒的交响曲最多也只有他的《第一号交响曲》,或是《第五号交响曲》因被电影《魂断威尼斯》配乐使用,才较有机会被演出。  伯恩斯坦运用他的媒体魅力,以及他对马勒的强烈热爱,在任何可用得上马勒作品的场合里,大力推广马勒的音乐:例如在参议员罗伯特·肯尼迪的追悼弥撒上,他指挥纽约爱乐演出《第五号交响曲》中的慢板,以肃穆的手法让所有听众产生深刻的共鸣,让这首作品的旋律深印脑海、永生难忘。而在约翰·肯尼迪表演艺术中心开幕式上,他则指挥演奏马勒《第八号交响曲「千人」》的第一乐章,并请来多位美国当时顶尖的歌剧演唱家担纲,用光辉灿烂的手法,诠释宛如天国开门般欢欣鼓舞的场面,让所有现场与电视机前的观众都体会到马勒巨力万钧的气势以及金碧辉煌的庄严感。在所有马勒交响曲中,《千人交响曲》巨大而夸饰的性格,可以说是与伯恩斯坦最能贴近的。从此,马勒变得不再是音乐会上的票房毒药,相反的成为许多乐团借以提高票房的保证,唱片公司也开始一而再地灌录马勒交响曲全集。如今马勒的作品业已成为资深唱片收藏者家中必藏之基本曲目,有相当程度应归功于伯恩斯坦。
title: 纪念.
content: 2018年8月25日,Google以首页涂鸦动画纪念伯恩斯坦百岁诞辰。

Summary: 李奥纳德·伯恩斯坦(英语:Leonard Bernstein,1918年-8月25日-1990年-10月14日),犹太裔美国作曲家、指挥家、作家、音乐教育家、钢琴家。
卡爾·門格爾

title: 生平.
content: 门格尔生于奥匈帝国加利西亚新松奇的一个富裕的贵族家庭,他的父亲Anton是一名律师,他的母亲Caroline则是一名富裕的波希米亚商人的女儿。他有两名兄弟Anton和Max,两人都成为知名的律师。在就读高级中学后,他在布拉格大学和维也纳大学就读法律,最后在克拉科夫的贾基洛尼亚大学取得法律学博士学位。门格尔在1860年代离开了学校,在几家乌克兰和维也纳的报社担任记者,报导并分析市场的新闻。  在他担任经济新闻记者时,他逐渐发现他在学生生涯中学习的古典经济学理论和他所接触的价格及真实世界市场有许多不一致之处。在1867年门格尔开始研究政治经济学,并在1871年写下了他的巨作—《经济学原理》()一书,他也因此成了奥地利经济学派的创始人。当时《经济学原理》一书并没有获得太大重视,但这一书后来也促成了新古典主义经济学派的革命。  在1872年门格尔成为维也纳大学法学院的教授,并在接下来几年里教授金融和政治经济学,经过他的授课和研讨班指导,越来越多的学生接触了早期奥地利经济学派的理论。在1873年他成为了大学的经济学院主席,当时他年仅33岁。  在1876年门格尔开始担任奥匈帝国王储鲁道夫的私人家教,教授他经济学和统计学。门格尔还陪伴王储游览欧洲两年,包括欧洲大陆和英格兰岛。他也协助王储写下了一本小册子,在1878年匿名出版,小册子里大力批评当时奥地利的贵族政治。他一直担任王储的教师,直到王储于1889年自杀为止。  在1878年,鲁道夫的父亲—弗朗茨·约瑟夫一世指派门格尔担任维也纳的政治经济学主席。并授与他"Hofrat"的头衔。  在安顿好他的教授职位后,他开始重新提出并辩护他在1871年《经济学原理》一书中的理论,并在1883年出版了"Investigations into the Method of the Social Sciences with Special Reference to Economics"()一书。这本书引起了激烈的争论,也是从这个时候,德国的经济历史学派的成员开始嘲笑门格尔和他的学生为「奥地利经济学派」,以强调他们脱离了主流的德国经济学思想。在1884年门格尔出版了一本名为"The Errors of Historicism in German Economics"以回应批评,这本书又引起了两个经济学派之间对于经济学的方法论的辩论。在这段时期里门格尔开始吸引许多志同道合的学生,逐渐开展了奥地利经济学派的独立理论,包括了欧根·博姆-巴维克、路德维希·冯·米塞斯、弗里德里克·冯·维塞尔等人。  在1880年代后期门格尔被指派领导奥地利的金融制度改革。在接下来十年里他写下了大量有关金融制度的文章,包括了"The Theory of Capital"(1888)和"Money"(1892)两书,最后促成了边际主义的货币政策大革命。

Summary: 卡尔·门格尔(, 1840年-2月23日-1921年-2月26日),生于奥匈帝国新松奇(今属波兰)是奥地利经济学派的创始人。
弗朗切斯科·彼特拉克

title: 生平.
content: 彼特拉克于1304年出生在意大利佛罗伦萨附近的阿雷佐,是一个律师兼法院公证人的儿子。他的童年是在一个靠近佛罗伦萨的名为Incisa的乡村中度过的,因而养成他的托斯卡尼(Tuscania)口音,日后以此方言写出了许多动人的诗歌。  他的父亲,瑟·彼特拉克(Ser Petracco)和但丁一起于1302年被贵族的「黑党」(Neri)政权从佛罗伦萨放逐。瑟与其家人追随从1309年教会分裂中迁居亚维农的教宗克莱孟五世迁至亚维农居住,他的早年就在那里度过。  1317年到1320年他在法国的蒙彼利埃大学就学,1320年到1326年在意大利北部的博洛尼亚学习。尽管他父亲希望彼特拉克学习法律和宗教,但是他的主要兴趣却在于写作和古罗马文学,常与他的朋友薄伽丘分享他的(创作)激情。为了搜寻拉丁语写成的经典和手稿,他不惜穿梭于法国、德国、意大利和西班牙。随着他的第一个大型作品《阿非利加》("Africa",一部关于大西庇阿的拉丁文史诗)的出炉,彼特拉克成为了欧洲的一个名人。  1326年,他父亲过世后,彼特拉克又回到了亚维农。在那里,他供职于不同事务所。作为一个学者和诗人,他在短时间内就名气大增。1341年在罗马,他获得了诗人桂冠。作为一个大使他在欧洲旅游甚广,是一个多产的作者。旅行时他注重收集古人的手稿,以此整理重现古罗马和希腊文人的精神内涵。作为该活动的主要发起人之一,他说:“每一个我所重新发现的古代著名作者,都是上一代的一个新的罪证和又一个不光彩行为的证明。他们不仅不满足于自己的无耻的无所作为,还任由别人思想的硕果和祖先辛苦的劳作和缜密的观察写就的作品因为他们令人不堪容忍的忽视而消亡。”就这样,他创造了“黑暗时代”的概念。  1336年4月26日,彼特拉克和他的兄弟以及另外两个同行者爬到了旺度山的山顶(1,909米,6,263英尺)。他记述了这次旅行,很久以后他把它写成一封信给他的朋友Dionigi di Borgo San Sepolcro。在那时,登山本身没有其他原因是很罕见的。因此1336年4月26日被认定为“阿尔卑斯主义”的诞辰日,他本人也被称为“阿尔卑斯主义之父”。  晚年作为一个国际级的学者和著名的旅行家,他游历于意大利的北部。虽然他终身未婚,但是却和一个或者几个女人生有三个孩子(后人不清楚到底是几个女人):一个儿子,Giovanni,1337年生于亚维农;一个女儿,Francesca,1343年生于沃克吕兹省;Giovanni 1361年在瘟疫中离世。Francesca和Francescuolo da Brossano(他后来成为彼特拉克遗嘱的执行人)结了婚。1362年,他们的第一个女儿Eletta出生后不久,为了躲避当时肆虐部分欧洲的瘟疫,他们到威尼斯与佩脱拉克团聚。彼特拉克的第二个孙子(女),Francesco,生于1366年,但是不到两周岁就夭折了。  佩脱拉克于1367年左右在帕多瓦定居。在那里,他的余生沉浸于宗教沉思中。1374年7月18日,彼特拉克在Euganean Hills的Arquà离世。
title: 劳拉和关于劳拉诗作.
content: 1327年,一位名为劳拉的女士在亚维农的Sainte-Claire教堂里出演"Rime sparse"(“离散的旋律”)。她的身影激发了彼特拉克旷日持久的创作冲力。后来那些沿袭他的格的文艺复兴诗人们把这三六六首诗的合集称为《Canzoniere》(《歌本》)。劳拉本人可能就是Laure de Noves, Hugues de Sade(Marquis de Sade的一个祖先)的妻子,或者,她只是理想化的或者假想的人物。在彼特拉克的诗中,劳拉的表现不同于大家熟知的游吟诗人和他们的高贵的恋爱(courtly love)。她的出现使彼特拉克体会到了不可言传的愉悦,但是他不求回报的爱恋使得这种情绪很难持久,除了说她看起来很可爱,有一头金发和谦虚高贵的气质外,在彼特拉克的作品中几乎没有关于劳拉的确定详细信息。  劳拉和彼特拉克从来没有见过面。因而彼特拉克把他的感情全部倾注到作品中。他的诗是感叹的,不是劝诱的。他的散文表现出对男人追逐妇女的蔑视。在1348年劳拉离世时,诗人的哀伤和他以前的绝望一样难以忍受。后来,在《给后人的信》中,诗人写道:“我年轻时,我曾一直和那无法抵抗的,但是纯洁的,我唯一的爱,斗争。如果不是她的早逝,我会继续斗争下去,(斗争)痛苦,但是对我有益的。斗争把那团火熄灭。我常常希望我能说我完全自由于肉体的欲望了,但是我知道,那样我是在说谎。”  意大利式十四行诗(Petrarchan Sonnet)一词即来源于他。浪漫作曲家李斯特为他的三首十四行诗(47,104和123)加谱成歌,名为"Tre sonetti del Petrarca"(意即“彼特拉克的三首十四行诗”)。后来作曲家把它列为了Années de Pélerinage II - Italie 组曲(《巡礼之年》第二集「意大利」)共七首钢琴独奏曲的中的第四、第五和第六首。
title: 作品.
content: 在彼特拉克的拉丁语作品中,《De Viris Illustribus》是一部三部剧(Secretum)话剧,是于圣奥古斯丁的辩论;《Rerum Memorandarum Libri》是一部未完成的关于重要美德的论文;《De Remediis Utriusque Fortunae》是最流行的拉丁散文作品;《Itinerarium》是去圣地的导游书;《De Sui Ipsius Et Multorum Ignorantia》是反对亚里士多德学派的著作。值得注意的是,他的学术作品和史诗使用拉丁语书写,而他的十四行诗和合组歌(canzoni)则使用的是意大利语。
title: 遗产.
content: 2003年11月,据说病理解剖学家将会从阿尔库阿佩特拉尔卡的棺材中发掘彼特拉克的骨骸,来验证19世纪的关于他身高1.83米的说法。如果这个说法属实的话,可以断定的是他本人是非常高的。此外,这个小组还希望重构他的头盖骨,以期得到关于他身体特征的计算化形象。但不幸的是,经过2004年的DNA检测证明,棺材中的头骨并不是他的。
title: 参考文献.
content: Bishop, Morris.(1961). Petrarch. In J. H. Plumb(Ed.), Renaissance Profiles, pp. 1-17. New York: Harper & Row. ISBN 0-06-131162-6.

Summary: 弗朗切斯科·彼特拉克(,1304年-7月20日-1374年-7月19日),或译为彼得拉克、佩脱拉克,意大利学者、诗人、和早期的人文主义者,亦被视为人文主义之父。
系統

title: 历史.
content: 「系统」一词,源自于(systēma),译为,转变为英语:system,日本汉字书为「系统」,成为中文名词。其涵义最早可追溯到柏拉图、亚里士多德(政治学)和欧几里德(《几何原本》)等。它的意思是「总体」、「整体」或「联盟」。  在19世纪第一个发展自然科学中「系统」概念的,是研究热力学的法国物理学家尼古拉·卡诺。1824年,他研究了蒸汽发动机中的「工作物质」,即通常说的水蒸汽,在一个由锅炉、冷储(冷水流)、活塞组成的体系中做功的能力。德国物理学家克劳修斯扩展了系统的含义,使之包括了环境的概念。  生物学家贝塔郎非是发展一般系统论的一个先驱。1945年他引入了讨论广义系统或它们的子类的模型和法则,而不纠缠于其特定种类、性质、组成要素之间的关系或相互作用等细节。  诺伯特·维纳及Ross Ashby应用数学方法对系统概念做出了重大发展。
title: 自然系统.
title: 生态系统.
content: 在大自然中,所有生物共同组成一个生态系统。
title: 大气系统.
content: 天气,气候的演变。
title: 人为系统.
title: 生活中的系统.
title: 电子系统.
content: 电视由电阻、电容等电子零件组成,根据预先编排的线路工作。
title: 社会系统.
content: 为达成某共同目标,而依规律化的交互作用,或相互依赖的事物之结合,所构成之整体。政府、商业机构可视为由人组成的系统。
title: 操作系统.
content: 管理计算机硬件与软件资源的系统软件。
title: 子系统.
content: 子系统也是由一群有关联的个体所组成的系统,多半会是更大系统中的一部分。

Summary: 系统(英语:system;;;)泛指由一群有关联的个体组成,根据某种规则运作,能完成个别元件不能单独完成的工作的群体。
复式簿记

title: 历史.
content: 复式记账起源于中世纪早期中东的犹太人。有假说认为,意大利商人从印度商人那里学到了复式记账法。至十五世纪末期,复式记账法已广泛流传于佛罗伦萨、热那亚、威尼斯和吕贝克的银行家和商人中。  据说高丽(918-1392)人也独立发明了复式记账法,被称为“四元素记账系统”,发明于11或12世纪。  现存最早的对于复式记账法的描述出自拉古萨经济学家班尼德托·科特拉格力1458年所著《贸易和完美商人》("Della mercatura e del mercante perfetto"),但他的手稿于1573年才得以发表。  1494年,意大利数学家卢卡·帕西奥利在威尼斯出版了一本数学教科书《概述:算术、几何、比例和比率》("Summa de arithmetica, geometria, proportioni et proportionalità"),在此书中他首次详尽阐述了复式记账系统,帕西奥利也因此被尊为“会计学之父”。  复式记账法在前现代社会的欧洲拥有神学和宇宙学的内涵,象征着“正义的天平和神创之世的对称性”。
title: 会计分录.
content: 在复式簿记系统中,至少需要两个会计分录来记录每个金融交易。这些条目可能出现在资产,负债,权益,费用或收入账户中。将借方金额记录到一个或多个帐户以及向一个或多个帐户记录相等的贷方金额导致总借方等于总帐中所有帐户的总贷方。如果记录的会计分录没有错误,则具有借方余额的所有帐户的总余额将等于具有贷方余额的所有帐户的总余额。借记和贷记相关帐户的会计分录通常包括两个帐户中的相同日期和识别代码,以便在出错时,每个借方和贷方可以追溯到日记帐和交易源文档,从而保留审计跟踪。会计分录记录在“账簿”中。无论哪个账户和特定交易影响了多少账户,资产等于负债加资本的基本会计等式都将成立。
title: 借方和贷方.
content: 复式簿记由会计等式进行控制,如果收入等于费用,则以下等式就会成立:  事实上,收入一般都不会等于费用,因此,在正常情况下,以上等式必须扩充为:
title: 借方和贷方实例.
content: 下表演示了借方和贷方的增减如何影响会计要素。

Summary: 在会计学中,复式簿记(又称为复式记账法)是商业及其他组织上记录金融交易的标准系统。
图论

title: 历史.
content: 一般认为,欧拉于1736年出版的关于柯尼斯堡七桥问题的论文是图论领域的第一篇文章。此问题被推广为著名的欧拉路问题,亦即一笔画问题。而此论文与范德蒙德的一篇关于骑士周游问题的文章,则是继承了莱布尼茨提出的“位置分析”的方法。欧拉提出的关于凸多边形顶点数、棱数及面数之间的关系的欧拉公式与图论有密切联系,此后又被柯西等人进一步研究推广,成了拓扑学的起源。1857年,哈密顿发明了“环游世界游戏”(icosian game),与此相关的则是另一个广为人知的图论问题“哈密顿路径问题”。  西尔维斯特于1878年发表在《自然》上的一篇论文中首次提出“图”这一名词。  欧拉的论文发表后一个多世纪,凯莱研究了在微分学中出现的一种数学分析的特殊形式,而这最终将他引向对一种特殊的被称为“树”的图的研究。由于有机化学中有许多树状结构的分子,这些研究对于理论化学有着重要意义,尤其是其中关于具有某一特定性质的图的计数问题。除凯莱的成果外,波利亚也于1935至1937年发表了一些成果,1959年,De Bruijn做了一些推广。这些研究成果奠定了图的计数理论的基础。凯莱将他关于树的研究成果与当时有关化合物的研究联系起来,而图论中有一部分术语正是来源于这种将数学与化学相联系的做法。  四色问题可谓是图论研究史上最著名也是产生成果最多的问题之一:“是否任何一幅画在平面上的地图都可以用四种颜色染色,使得任意两个相邻的区域不同色?”这一问题由Francis Guthrie于1852年提出,而最早的文字记载则出现在德摩根于1852年写给哈密顿的一封信上。包括凯莱、肯普等在内的许多人都曾给出过错误的证明。Peter Guthrie Tait(Peter Guthrie Tait)、希伍德(Percy John Heawood)、拉姆齐和哈德维格(Hugo Hadwiger)对此问题的研究与推广引发了对嵌入具有不同亏格的曲面的图的着色问题的研究。一百多年后,四色问题仍未解决。1969年,Heinrich Heesch发表了一个用计算机解决此问题的方法。1976年,阿佩尔(Kenneth Appel)和沃夫冈·哈肯(Wolfgang Haken)借助计算机给出了一个证明,此方法按某些性质将所有地图分为1936类并利用计算机一一验证了它们可以用四种颜色染色。但此方法由于过于复杂,在当时未被广泛接受。  1860年之1930年间,若当、库拉托夫斯基和惠特尼从之前独立于图论发展的拓扑学中吸取大量内容进入图论,而现代代数方法的使用更让图论与拓扑走上共同发展的道路。其中应用代数较早者如物理学家基尔霍夫于1845年发表的基尔霍夫电路定律。  图论中概率方法的引入,尤其是埃尔德什和Alfréd Rényi关于随机图连通的渐进概率的研究使得图论产生了新的分支随机图论。
title: 定义.
content: 图论中有许多定义,以下是一些与之相关最基本的定义。
title: 无向图.
content: 图论中,图是有序对 formula_1,其中 formula_2 是点集;formula_3 是边集,由所有无序顶点对构成(换句话说,边连接了顶点对)。对于一个边 formula_4,顶点 formula_5 被称作是边的端点,边则被称为连接了此两个点。  为了避免歧异,上述的定义被更精准地称作无向简单图。  事实上可以推广为更一般的定义:图是有序三元组 formula_6,其中 formula_2 是点集;formula_8 是边集(此时 formula_8 不再如前面限定是该集合的子集);而 formula_10 将每个边映射到一个无序顶点对(于是边连接了顶点对)。此时的定义就允许自环、重边的出现,其中自环是两端点相同的边,重边是两个或多个连接相同端点的边。  为了避免歧异,上述的定义被更精准地称作无向图。  formula_11 的元素个数通常都是有限的;并且如果个数是无限的,有许多著名的性质都会改变、甚至错误他们是无限的。此外,formula_2 通常不被接受是空集合,而 formula_8 则被接受为空集合。以下再给出一些图论中的定义:图的阶是其顶点个数 formula_14,图的边数是 formula_15,顶点的度所有边的端点中此顶点出现的次数(自环会被算两次)。
title: 图论问题.
title: 子图相关问题.
content: 子图同构问题:给定两个图formula_16和formula_17,问formula_16中是否存在一个子图与formula_17同构。这是一个NP完全问题。  一类相关的常见问题要求在给定图中寻找符合某些条件的最大子图,其中有很多是NP完全的,如:  类似地,有些问题要求寻找符合某些条件的最大导出子图,如:  平面图判定:判定给定的图是否是平面图(此问题与子图的关系,参见库拉托夫斯基定理)  一个尚未解决的与子图相关的猜想,重构猜想(英语:Reconstruction conjecture):一个"n"阶图是否能够由其所有"n-1"阶导出子图唯一确定?
title: 染色.
content: 许多问题与将图以特定方式染色有关,如:

Summary: 图论(英语:Graph theory),是组合数学的一个分支,和其他数学分支,如群论、矩阵论、拓扑学有着密切关系。图是图论的主要研究对象。图是由若干给定的顶点及连接两顶点的边所构成的图形,这种图形通常用来描述某些事物之间的某种特定关系。顶点用于代表事物,连接两顶点的边则用于表示两个事物间具有这种关系。
逻辑代数

title: 逻辑代数中的几个概念.
content: 参与逻辑运算的变量叫逻辑变量,用字母A,B......表示。每个变量的取值非0 即1。 0、1不表示数的大小,而是代表两种不同的逻辑状态。  正、负逻辑规定:  逻辑函数:如果有若干个逻辑变量(如A、B、C、D)按与、或、非三种基本运算组合在一起,得到一个表达式L。对逻辑变量的任意一组取值(如0000、0001、0010)L有唯一的值与之对应,则称L为逻辑函数。逻辑变量A、B、C、D的逻辑函数记为:L=f(A、B、C、D)
title: 逻辑运算.
title: 基本运算.
content: 逻辑代数的基本运算如下。  如果把真值0和1解释为整数,这些运算可以表示为普通算数运算:  此外可以用制作真值表来表示 "x"∧"y", "x"∨"y" 和 ¬"x" 的值:  有人可能会认为,只有否定和另外两种运算之一是基本的,因为用下列性质可以用逻辑否和逻辑或来定义逻辑与,反之亦然:
title: 衍生运算.
content: 上述三个逻辑运算被称为基本的,这意味着其他逻辑运算可以以它们为基础,由他们的复合来建立,即将这些运算组合或结合。下面是由基本运算构成的运算的例子:  这些定义产生以下真值表,其中给出了对所有四个可能的输入,这些运算的值。  第一种运算,"x" → "y" 或 C"xy",叫做实质蕴涵。如果 "x" 为真,则 "x" → "y" 的值就取自 "y" 的值。但如果 "x" 为假,则 "y" 可以忽略;然而此运算必须返回"某种"真值,而且只有两种选择,所以返回蕴含较小的值,即"真"。(相干逻辑通过看作非真非假的假前提的蕴含来处理这件事。)  第二种运算,"x" ⊕ "y" 或 J"xy",叫做异或(通常缩写为XOR)与逻辑或的区别在于逻辑或包含其类型。它排除了 "x" 和 "y" 同时为真的情形。用算术来定义就是加和之后 mod 2,就如 1 + 1 = 0.  第三种运算,异或的互补运算,是同或或逻辑等价:"x" ≡ "y" 或 E"xy",当 "x" 与 "y" 值相同时为真。因此作为其互补运算,"x" ⊕ "y" 可以理解为 "x" ≠ "y",当 "x" 和 "y" 不同时为真。它对应的 mod 2 算术为 "x" + "y" + 1。  给定两个操作数,每个具有两个可能的值,共有 2 = 4 种可能的输入组合。由于每种输出有两种可能值,一共有 2 = 16种可能的二元逻辑运算。
title: 运算律.
content: 两个主要的二元运算的符号定义为 formula_6 (逻辑与)和 formula_7 (逻辑或),把单一的一元运算的符号定义为 formula_8 (逻辑非)。我们还使用值 0 (逻辑假)和 1 (逻辑真)。逻辑代数有下列性质:
title: 逻辑代数的基本规则.
title: 代入规则.
content: 任何一个含有变量 X 的等式,如果将所有出现 X 的位置,都代之以一个逻辑函数 F,此等式仍然成立。
title: 对偶规则.
content: 设 F 是一个逻辑函数式,如果将 F 中的所有的 * 变成 +,+ 变成 *,0 变成 1,1 变成 0,而变量保持不变。那么就的得到了一个逻辑函数式 F',这个 F' 就称为 F 的对偶式。如果两个逻辑函数 F 和 G 相等,则它们各自的对偶式 F' 和 G' 也相等。
title: 反演规则.
content: 当已知一个逻辑函数 F,要求 ¬F 时,只要把 F 中的所有 * 变成 +,+ 变成 *,0 变成 1,1 变成 0,原变量变成反变量,反变量变成原变量,即得 ¬F。 使用反演规则时要注意保持原函数中逻辑运算的优先顺序。
title: 逻辑函数的标准形式.
content: 逻辑变量的逻辑与运算叫做与项,与项的逻辑或运算构成了逻辑函数的与或式,也叫做积之和式(SP form)。  逻辑变量的逻辑或运算叫做或项,或项的逻辑与运算构成了逻辑函数的或与式,也叫做和之积式(PS form)。
title: 最小项.
content: 对于 n 个变量的逻辑函数而言,它的与项如果包含全部 n 个变量,即每个变量以原变量或反变量的形式出现一次且只出现一次,那么这个与项就称为该逻辑函数的最小项。
title: 最大项.
content: 对于 n 个变量的逻辑函数而言,它的或项如果包含 全部n 个变量,即每个变量以原变量或反变量的形式出现一次且只出现一次,那么这个或项就称为该逻辑函数的最大项。
title: 逻辑函数的化简.
content: 运用逻辑代数的基本公式及规则可以对逻辑函数进行变换,从而得到表达式的最简形式。这里所谓的最简形式是指最简与或式或者是最简或与式,它们的判别标准有两条:(1)项数最少;(2)在项数最少的条件下,项内的文字最少。  卡诺图是遵循一定规律构成的。由于这些规律,使逻辑代数的许多特性在图形上得到形象而直观的体现,从而使它成为公式证明、函数化简的有力工具。
title: 应用.
title: 计算机.
content: 20世纪早期,一些电子工程师领悟到逻辑代数很像某种电子电路的行为。香农在它1937年的论文中证明了这种行为与逻辑代数等价。  几乎所有现代通用计算机都用二值布尔逻辑做运算;也就是说它们的电路是二值布尔逻辑的物理表示。几种表示方式:导线上电压的高低,磁性存储设备中磁畴的方向,打孔卡或纸带上的洞,等等(但有些早期的计算机用了十进制电路或者机械,而不是二值逻辑电路)  当然,也可能在任意介质中编码进2个以上的符号。比如在导线上用0,1,2,3伏特去编码一种有4个符号的字符集,或者利用打孔卡的洞的不同大小。但实践上,在一个很小的、高速的、低功耗的电路中噪声是个关键因素。它使分辨多个可能出现的符号变得困难。所以电路设计者们选择了高、低2种电压而不是4种。  由于上面的原因计算机使用二值逻辑电路。最常见的计算机架构使用32或64个叫做比特的布尔值序列,比如01101000110101100101010101001011。当使用机器语言、汇编语言和某些高级语言时,程序员可以操作寄存器的数字结构。在寄存器中0电压表示逻辑0,参考电压(通常是+5伏或+3.3伏)表示逻辑1。这些语言同时支持数值操作和逻辑操作。这里的“数值操作”指计算机把比特序列当作二进制数字进行加减乘除等运算。“逻辑操作”指2个比特序列之间的与或非运算,序列中每一位都与另一序列中对应位进行运算。这两种操作之间的关键不同是前者有进位而后者没有。

Summary: 在数学和数理逻辑中,逻辑代数(有时也称开关代数、布尔代数)是代数的一个分支,其变量的值仅为"真"和"假"两种真值(通常记作 1 和 0)。初等代数中变量的值是数字,而且主要的运算是加法、乘法和乘方(以及它们的逆运算),而逻辑代数的主要运算有合取"与",记为∧;析取"或",记为∨;否定"非",记为¬ 。因此,它是以普通代数描述数字关系相同的方式来描述逻辑关系的形式主义。
卢森堡

title: 历史.
content: 卢森堡历史由在中世纪时卢森堡城堡的修建开始。城堡建成之后,附近开始逐渐发展,成为城镇。卢森堡位于战略地点,法国、德国和荷兰都非常重视,卢森堡经常转手不同国家。19世纪,卢森堡开始成为独立自主的国家并由荷兰联合王国保护,直到比利时独立,卢森堡才脱离荷兰管治。  虽然卢森堡声明中立原则,但在20世纪,卢森堡被德国数次入侵。第一次世界大战时1914年8月2日,德意志帝国执行施里芬计划迅速占领了卢森堡并入侵比利时和法国,打开了西线战线,第二次世界大战期间,拥有数十个步骑兵的卢森堡遭到纳粹德国因入侵比利时和法国而侵略,被迫作为同盟国参战,并且在德国的进攻下瞬间投降,成为二战中唯一一个零伤亡的参战国。第二次世界大战之后,卢森堡不再维持中立,成为北约和欧盟的创始会员国之一。
title: 政治.
content: 卢森堡实行君主立宪制。国家元首为卢森堡大公,也是目前欧洲唯一的一个大公国。而行政权则由内阁行使。国会共有60个席位,议员任期为5年。
title: 行政区划.
content: 卢森堡分为12个县(法语:canton;德语:Kanton;卢森堡语:Kanton),向下再分为102个市镇(法语:commune;德语:Gemeinde;卢森堡语:Gemeng)。卢森堡有12个市镇具城市地位,而卢森堡城是最大的城市。  区(法语:district;德语:Distrikt;卢森堡语:Distrikt)曾是卢森堡的第一级行政区划,已于2015年10月3日废除。
title: 地理.
content: 卢森堡位于西欧内陆,地势北高南低,东邻德国,南接法国,北部和西部同比利时接壤。北部为阿登高原,森林茂密,南部为丘陵。气候温和,属温带海洋性气候,风景优美。首都卢森堡城有“花都”之称。铁矿丰富。这里也是中世纪的要塞。最高点为克内夫山,海拔约560米。它比布格普拉茨山高1米,而布格普拉茨山通常被错误地认为是卢森堡的最高点。
title: 经济.
content: 卢森堡拥有全球最高的人均GDP。自1999年以来,卢森堡一直是欧元区的一部分。卢森堡的经济过去以工业为主,现在卢森堡则是全球最大的金融中心之一。卢森堡是欧元区内最重要的私人银行中心及全球第二大的投资信托中心(仅次于美国)。
title: 社会.
title: 民族.
content: 卢森堡人约占全国人口的50.9%。卢森堡人属于欧罗巴人和大西洋-波罗的海类型。
title: 语言.
content: 卢森堡的官方语言是法语、德语、卢森堡语。 “十字路口国家”的多语言现象都是由于不同民族杂居,而卢森堡却不然,传统上这个国家的主体民族只有一个———卢森堡族,这个民族,但历史上却长期是德语系的“神圣罗马帝国”一部分,而欧洲宫廷上层又普遍有用法语交流的传统习惯,这就造成德法两种语言都成为书面语言的现象,而长期未曾书面化的卢森堡语,则作为口语长期沿用。  卢森堡语是法兰克语的一支,使用人口主要分布在摩泽尔河地区以及接壤的德、法城市。卢森堡语虽属于高地德语的中西语族,但有超过5000个法语语源词汇。作为母语,卢语亦卢森堡人看做是“心之语言”,用于日常口语而非书面语。  教育体制中卢、德、法三语循序渐进,并行不悖。小学低年级用卢森堡语授课,高年级开始用德语讲习,中学开始再转化成法语。熟练掌握这三门语言是当地中学毕业的必要条件,这就导致了半数的中学生都拿不到毕业文凭。在这种体制之下,移民(尤其是非欧洲移民)子女尤其吃亏。  卢森堡的外国侨民特别多,占全国人口的三成以上,最大的移民团体是葡萄牙人和意大利人。他们也同时带来了自己的语言。不过,葡萄牙语和意大利语基本只限于移民团体内部交流,在大范围内运用并不广泛。
title: 宗教.
content: 多数信奉天主教,亦有部分信奉其他宗教(包含基督新教和犹太教)。
title: 文化.
content: 卢森堡城的老城区及其防御工事为世界文化遗产。卢森堡的许多菜肴都受到德国、法国、比利时和其他邻近的国家的影响。其中kach keis是一种涂抹奶酪,Gromper keeschelche是一种油炸马铃薯饼。
title: 教育.
title: 教育制度.
content: 在卢森堡,国民义务教育是11年:由2年幼儿园、6年基础教育和3年进阶教育组成。卢森堡因此有一个三层的教育制度(幼稚园、小学、高中)。。。  自从1999年以后,在2年的幼儿园之前设有1年的学龄前儿童预备班;这使得学童在例如语言、社会、学校方面,有可能获得一个较好较完整的社会化。在6年的基础教育之后学生可以在两种中级的教育路途之间选择:
title: 高等教育.
content: 自从2003年以后卢森堡有一间独立的大学,其从2001开始建造。在医学领域、自然科学、科技、法律、经济、社会学和教育学,学生在这分类成7个的学院里接受教育。然而卢森堡并未具备完整的学年,在外国修业更多学期的课程是必要的。对此比利时、法国和德国的大学特别扮演一个重要的角色。卢森堡的学生目前大部分仍然是在外国获得学术的毕业文凭,其在外国就读的学生超过6000人。大约19.6%的学生在德国大学注册(特别是在科技的专门领域或自然科学),而22.6%的学生是在比利时和法国的大学就读。  建造了卢森堡大学之后,卢森堡应该加强学术研究地位,并且稳固卢森堡的经济基础。此外应该扩大招收外国学生来卢森堡就读。然而同时卢森堡在承认外国学校的毕业文凭又有困难,特别是对于德国的专科大学毕业生,例如在德国EG建筑准则要求4年的工作实习经验,在卢森堡却得不到证明。对此卢森堡有一间自己的专科大学Institut Supérieur de Technologie。
title: 职业教育.
content: 科技进阶教育由三年额外的、特别的学年组成,下列是三种教育方式:
title: 军事.
content: 卢森堡有卢森堡陆军和卢森堡空军,由于卢森堡是一个内陆国家,卢森堡不拥有海军。

Summary: 卢森堡大公国(;; ),通称卢森堡(;;),被邻国法国、德国和比利时包围,是一个位于欧洲的内陆国家,也是现今欧洲大陆仅存的大公国,首都卢森堡市。卢森堡是欧盟成员国,因境内有欧洲法院、欧洲审计院、欧洲投资银行等多个欧盟机构被称为继布鲁塞尔和斯特拉斯堡之后的欧盟“第三首都”。
IRC

title: 技术信息.
content: IRC是一种公开的协议,采用TCP和SSL协议。一个IRC服务器可以连接其他的IRC服务器以扩展为一个IRC网络。IRC用户透过客户端软件和服务器相连。大多数的IRC服务器不需要客户注册登录,虽然在连接前必须设定好昵称(nickname),但客户端一般都会自动分配一个。
title: IRC结构.
title: IRC服务器.
content: IRC是一个分布式的客户端/服务器结构。通过连接到一个IRC服务器,我们可以访问这个服务器以及它所连接的其他服务器上的频道。 要使用IRC,必须先登录到一个IRC服务器上,最常见的为codice_3。
title: IRC频道.
content: 频道存在于一个IRC服务器上。一个频道类似于一个聊天室,频道名称必须以#符号开始,例如codice_4。
title: IRC机器人.
content: IRC机器人是一些运行在后台或者服务器上的程序,透过登陆某一个频道,分析接受到的内容并做出相应的动作。 最著名的是mobibot,可以通过命令codice_5查询天气预报。ChanServ提供IRC频道注册与登入服务的功能,也可以透过它取得频道管理者的权限。

Summary: IRC(英语:Internet Relay Chat的缩写,“因特网中继聊天”)是一个位于应用层的协议。其主要用于群体聊天,但同样也可以用于个人对个人的聊天。IRC使用的服务器埠有6667(明文传输,如codice_1)、6697(SSL加密传输,如codice_2)等。
统一资源定位符

title: 语法.
content: 超文本传输协议的统一资源定位符将从因特网获取信息的五个基本元素包括在一个简单的地址中:  以"https://zh.wikipedia.org:80/w/index.php?title=Special:随机页面"为例, 其中:  大多数网页浏览器不要求用户输入网页中「<nowiki>https://</nowiki>」的部分,因为绝大多数网页内容是超文本传输协议文件。同样,「80」是超文本传输协议文件的常用端口号,因此一般也不必写明。一般来说用户只要键入统一资源定位符的一部分(zh.wikipedia.org/w/index.php?title=Special:随机页面)就可以了。  由于超文本传输协议允许服务器将浏览器重定向到另一个网页地址,因此许多服务器允许用户省略网页地址中的部分,比如 www。从技术上来说这样省略后的网页地址实际上是一个不同的网页地址,浏览器本身无法决定这个新地址是否通,服务器必须完成重定向的任务。
title: 其它使用.
content: 统一资源定位符不但被用作网页地址,JDBC 客户端也使用统一资源定位符连接其数据库服务器。作为对比,ODBC 的连接字符串作用相同,但并不采用 URL 格式,而是分号和等号分隔的键值对。  以下是一个 Oracle 数据库的统一资源定位符:

Summary: 统一资源定位符(英语:Uniform Resource Locator,缩写:URL;或称统一资源定位器、定位地址、URL地址,俗称网页地址或简称网址)是因特网上标准的资源的地址(英语:Address),如同在网络上的门牌。它最初是由蒂姆·伯纳斯-李发明用来作为万维网的地址,现在它已经被万维网联盟编制为因特网标准RFC 1738。
ISO 9660

title: 规范.
title: CD-ROM规范.
content: CD格式中存在的最小实体称为帧,包含24字节。数据在CD-ROM中被组织为帧和扇区。一个CD-ROM扇区包含98帧,共2352字节。  CD-ROM Mode 1,通常用于计算机数据,根据红皮书标准把2352字节数据区分为12字节的同步信息、4字节的头数据、2048字节的用户数据和288字节的错误校验码。这些编码可以防止数据异常导致的执行数据错误。  CD-ROM Mode 2 Form 1,通常用于计算机数据,与Mode 1使用相同的用户数据和错误修正,但是布局有一些小差别。不建议用于有兼容性要求的场合。  CD-ROM Mode 2 Form 2,倾向用于存储容错数据,如音频和视频,2352字节被分为12字节的同步信息、4字节的头数据、2336字节的用户数据。Mode 2通过省略错误修正,提供了比Mode 1多出14%的用户数据空间;因为音频或视频数据的读取错误只会导致很小的缺陷,而人类很难察觉到。VCD被归类于Mode 2 Form 2。
title: ISO 9660规范.
content: 最开始的32768字节没有被ISO 9660数据结构使用,因此可以有其他用处,例如:CD-ROM可以在此区包含一个替代文件系统描述信息块,通常被混合光盘(Hybrid CD)用于提供Mac OS特定的内容。此未用块后面跟着一连串卷描述符,详细记录了该磁盘上的内容和类型信息(类似被FAT和NTFS格式磁盘使用的BIOS参数块)。  卷描述符描述了一个给定的CD-ROM或卷上存在的文件系统信息的特征。它被分为两部分:卷描述符的类型和描述符的特征。这样做的目的是:当一个程序无法解释特定的描述符的时候,它可以跳过此描述符而找到它可以识别的其他描述符,这样就允许在一个卷上使用多种不同类型的信息。另外,如果一个描述符发生错误而无法读取,那么紧接着的一个该描述符的冗余副本可以用来进行错误恢复。

Summary: ISO 9660,也被一些硬件和软件供应商称作CDFS(光盘文件系统),是一个由国际标准化组织(ISO)为光盘媒介发布的文件系统。其目标是能够在不同的操作系统如Windows、Mac OS以及类Unix系统上交换数据。
直觉主义逻辑

title: 语法.
content: 直觉逻辑的公式的语法类似于命题逻辑或一阶逻辑。但是直觉逻辑的连结词不像经典逻辑那样是可互定义的,因此它们的选择是重要的。在直觉命题逻辑中通常使用 →, ∧, ∨, ⊥ 作为基本连结词,把 ¬ 作为 的简写处理。在直觉一阶逻辑中量词 ∃, ∀ 都是需要的。  不同在于很多经典逻辑的重言式在直觉逻辑中不再是可证明的。例子不只包括排中律 "P" ∨ ¬"P",还有皮尔士定律 (("P" → "Q") → "P") → "P",甚至还有双重否定除去。在经典逻辑中,"P" → ¬¬"P" 和 ¬¬"P" → "P" 二者都是定理。在直觉逻辑中,只有前者是定理: 双重否定可以介入但不能除去。  对很多经典有效重言式不是直觉逻辑的定理的观察导致了弱化经典逻辑的证明论的想法。
title: 相继式演算.
content: 根岑发现简单限制他的系统LK(他的经典逻辑的相继式演算)就导致了关于直觉逻辑的一个可靠和完备的系统。他称之为系统LJ。
title: 希尔伯特式演算.
content: 推理规则是肯定前件,公理有:  对于一阶逻辑系统还要加上普遍化规则,和如下公理:
title: 算子的不可互定义性.
content: 在经典命题逻辑中,有可能选取合取、析取或蕴涵中的一个作为原始的,并依据它和否定来定义另两个,比如在扬·武卡谢维奇的命题逻辑三公理中。甚至可以依据自足算子比如皮尔士箭头(NOR)或Sheffer竖线(NAND)定义它们四个。类似的,在经典一阶逻辑中,一个量词可以依据另一个量词和否定来定义。  这是二值原理的推论,它使得这种连结词仅仅是布尔函数。二值原理在直觉逻辑中不成立,只有无矛盾律成立。作为结果没有连结词可以豁免,而上述公理都是必须的。多数经典恒等式只是直觉逻辑中在一个方向上的定理,尽管某些定理是两个方向的。它们如下:  合取与析取: 合取与蕴涵: 析取与蕴涵: 全称量词与存在量词:  所以,例如 “a 或 b”是比“如果非 a 则 b”更强的陈述,而在经典逻辑中它们是可互换的。  据 Alexander Kuznetsov 的证明,任一下述定义的连结词可以充当直觉逻辑的自足算子:
title: 语义.
content: 语义要比经典逻辑更加复杂。其模型论可给出自海廷代数或等价的给出自克里普克语义。
title: 海廷代数语义.
content: 在经典逻辑中,我们经常讨论一个公式可能接受的真值。这种值通常被选择为布尔代数的成员。在布尔代数中的交和并算子等同于∧和∨逻辑连结词,所以形如"A" ∧ "B"的公式是在布尔代数中"A"的值和"B"的值的交。所以我们就有了一个有用的定理,一个公式是经典逻辑的有效的句子/断定,当且仅当它的值对于任何赋值都是1---就是说,对它的变量的任何指派都是真。  对于直觉逻辑对应的法则也是真的,但是不再对每个公式指派(assign)来自布尔代数的值,而是使用来自海廷代数的值,布尔代数是它的特殊情况。公式在直觉逻辑中是有效的,当且仅当它对于在任何海廷代数上的任何赋值总是得到值1。  可以证实为了识别有效的公式,考虑其元素是实平面"R"的开集的一个单一的海廷代数就足够了。在这种代数中,∧和∨算子对应于集合的交集和并集,并且指派给公式"A"→"B"的值是 ("A" ∪ B),它是B的值和A的值的补集的并集的内部。底元素是ø,顶元素是整个平面"R"。¬"A"定义为"A"→ø,所以指派给它的值是"A",这是"A"的值的补集的内部。通过这些指派,直觉上有效的公式正好就是被指派为整个平面的值的公式。  例如,公式¬("A" ∧ ¬"A")是有效的,因为不管为公式"A"选择什么集合"X"作为值,¬("A" ∧ ¬"A")的值总是被证实为整个平面:  一个拓扑学定理告诉我们"X"°是"X"的子集,所以交集为空,因此:  所以这个公式的赋值是真,这个公式确实是有效的。  但是排中律"A"∨¬"A",可以被证实是“无效的”,通过设定"A"的值是{"y" : "y" > 0 }。那么¬"A"的值是{"y" : "y" ≤ 0 }的内部,它就是{"y" : "y" < 0 },而公式的值是{"y" : "y" > 0 }和{"y" : "y" < 0 }的并集,这“不”是整个平面。  上面描述的无限海廷代数对所有直觉上有效的公式给出了真赋值,而不管为公式中的变量指派了什么值。反过来说,对于每个无效的公式,都有来对变量的来自这个代数的一个值指派生成这个公式的一个假赋值。可以证实没有有限的海廷代数有这个性质。
title: 克里普克语义.
content: 建立在他关于模态逻辑的语义的工作之上,索尔·阿伦·克里普克为直觉逻辑建立了另一套语义,叫做克里普克语义或关系语义。
title: 数学的建构主义.
content: 在古典逻辑的语义中,无论我们是否拥有对任何命题其中叙述情况的直接证据,命题公式都是从仅有两元素的集合 formula_19(即为“true” 和“false”)而评估其真值。这被称之为“排中律”:因为它摒除了“为真” 或“为假” 之外的其它任何值存在的可能性。相较之下,直觉主义逻辑中的命题公式并不赋予明确的真值,只有在我们有直接证据时才被认为是 “真实的”,因此才具有证明。(我们也可说命题是由直接证据才据以成立,而并非命题公式本身的叙述就是“真”,它是由柯里-霍华德同构意义上的证据所支持的。)直觉主义逻辑中的操作因此保留了证据和可证明性方面的证据,而不单只执行真值的运算评估。  直觉逻辑是开发数学建构主义方法的常用工具。建构主义逻辑的使用在数学家和哲学家中,一直是个争议话题(例如,参见 Brouwer-Hilbert 争议)。共同反对使用它们的意见是上面引用的缺乏古典逻辑的两个中心规则,即排中律和双重否定的消除规则。这被认为对大卫·希尔伯特所写的数学实践非常重要:“从数学家那里取走排中律不给他们使用,就像禁止望远镜给天文学家,或不允许拳击手使用他的拳头。禁止消除双否的存在陈述和排中律,等于完全放弃数学。”  尽管直觉主义逻辑无法利用,排中律和双重否定的消除这两个对古典逻辑贡献极大的规则,而面临随之而来的严峻挑战,但直觉主义逻辑具有实际用途。其中一个原因是它所受的限制,反而因此产生了必须具备存在性的证据,使其也适用于其他形式的数学建构主义。非正式地,这意味着如果存在对象存在的建设性证据,则该构造性证据可用作生成该对象的示例算法,该原理即称为证明和算法之间的柯里-霍华德同构。直觉逻辑这种特性如此有价值的原因,是它使研究者能够使用广泛的计算机化工具,称为证明辅具。这些工具可以帮助用户验证(和生成)大规模的证据,这些证据的大小通常会排除发布和审查数学证据的常规人工检查。因此,使用证明辅具(例如 Agda 或 Coq)使现代数学家和逻辑学家能够开发和证明极其复杂的系统,远超出那些仅由手工创立和检查的系统。在这些工具出现之前,无法验证的著名范例是四色定理的证明。这个定理困扰了数学家一百多年,直到一个证据被开发出来,排除了大量可能的反例,但仍然留下可能性,需要一个计算机程序才能完成证明。这个证据在一段时间内引起争议,但最终使用 Coq 进行了验证。

Summary: 直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点,也有使用直觉逻辑的强烈动机,因为它有存在性质,这使它还适合其他形式的数学构造主义。
图灵机

title: 图灵的基本思想.
content: 图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程,他把这样的过程看作下列两种简单的动作:  而在每个阶段,人要决定下一步的动作,依赖于(a)此人当前所关注的纸上某个位置的符号和(b)此人当前思维的状态。  为了模拟人的这种运算过程,图灵构造出一台假想的机器,该机器由以下几个部分组成:  注意这个机器的每一部分都是有限的,但它有一个潜在的无限长的纸带,因此这种机器只是一个理想的设备。图灵认为这样的一台机器就能模拟人类所能进行的任何计算过程。
title: 图灵机的正式定义.
content: 一台图灵机是一个七元有序组formula_2,其中formula_3都是有限集合,且满足:  图灵机formula_16将以如下方式运作:  开始的时候将输入符号串 formula_17 从左到右依此填在纸带的第formula_18号格子上,其他格子保持空白(即填以空白符formula_1)。 formula_20的读写头指向第0号格子, formula_20处于状态formula_22。机器开始运行后,按照转移函数formula_23所描述的规则进行计算。例如,若当前机器的状态为formula_24,读写头所指的格子中的符号为formula_25,设formula_26,则机器进入新状态formula_27,将读写头所指的格子中的符号改为formula_28,然后将读写头向左移动一个格子。若在某一时刻,读写头所指的是第0号格子,但根据转移函数它下一步将继续向左移,这时它停在原地不动。换句话说,读写头始终不移出纸带的左边界。若在某个时刻formula_20根据转移函数进入了状态formula_30,则它立刻停机并接受输入的字符串; 若在某个时刻formula_20根据转移函数进入了状态formula_32,则它立刻停机并拒绝输入的字符串。  注意,转移函数formula_23是一个部分函数,换句话说对于某些formula_24,formula_25,formula_36可能没有定义,如果在运行中遇到下一个操作没有定义的情况,机器将立刻停机。
title: 图灵机的基本术语.
content: 设formula_37是一台图灵机,  设formula_20是一台图灵机,将字符串 formula_66 作为其输入,若存在格局序列formula_67,使得  则称formula_20 接受字符串formula_70,且formula_67称为图灵机formula_20在输入formula_70上的接受计算历史。同理,若formula_75是拒绝格局,则称formula_20 拒绝formula_70,且formula_67称为图灵机formula_20在输入formula_70上的拒绝计算历史。formula_20所接受的所有字符串的集合称为formula_20的语言,记作formula_89。
title: 图灵机的例子.
content: 设formula_90和formula_91. 比如做一个以1的个数表示数值的加法运算,在磁带上的数据是0000001110110000,就是3+2的意思。程序formula_23如下:  第一行程序0,0->0,0R意思就是如果机器读到0,就将其变成0,状态变为0,读写头向右移动一格. R就是向右移动一格,L就是向左移一格,E是错误,S是停机. xx,y -> aa,b中xx是当前状态, y是当前格子的值, aa是程序下一步的状态, b是当前格的修改值。  虽然这里给出与上面不同形式的定义,但两者是等价的,这里的定义能完成的工作并不比上面的定义多。
title: 通用图灵机.
content: 对于任意一个图灵机,因为它的描述是有限的,因此我们总可以用某种方式将其编码为字符串。我们用formula_93表示图灵机formula_20的编码。  我们可以构造出一个特殊的图灵机,它接受任意一个图灵机formula_20的编码formula_96,然后模拟formula_20的运作,这样的图灵机称为通用图灵机(Universal Turing Machine)。现代电子计算机的计算模型其实就是这样一种通用图灵机,它能接受一段描述其他图灵机的程序,并运行程序实现该程序所描述的算法。
title: 图灵机的变体.
content: 图灵机有很多变种,但可以证明这些变种的计算能力都是等价的,即它们识别同样的语言类。证明两个计算模型formula_98和formula_99的计算能力等价的基本思想是:用formula_98和formula_99相互模拟,若formula_98可模拟formula_99且formula_99可模拟formula_98,显然他们的计算能力等价。注意这里我们暂时不考虑计算的效率,只考虑计算的理论上“可行性”。  首先我们可以发现,改变图灵机的带字母表并不会改变其计算能力。例如我们可以限制图灵机的带字母表为formula_106,这并不会改变图灵机的计算能力,因为我们显然可以用带字母表为formula_106的图灵机模拟带字母表为任意有限集合formula_7的图灵机。  另一个要注意的是,如果我们允许图灵机的纸带两端都可以无限伸展,这并不能增加图灵机的计算能力,因为我们显然可以用只有纸带一端能无限伸展的图灵机来模拟这种纸带两端都可以无限伸展的图灵机。  如果我们允许图灵机的读写头在某一步保持原地不动,那也不会增加其计算能力,因为我们可以用向左移动一次再向右移动一次来代替在原地不动。  其它的常见图灵机变种包括:
title: 其它等价的计算模型.
content: 除了图灵机以外,人们还发明了很多其它的计算模型。包括:  然而这些模型无一例外地都和图灵机的计算能力等价,因此邱奇,图灵和哥德尔 提出了著名的邱奇-图灵论题:一切"直觉上能计算"的函数都可用图灵机计算,反之亦然。

Summary: 图灵机(),又称确定型图灵机,是英国数学家艾伦·图灵于1936年提出的一种将人的计算行为抽象化的数学逻辑机,其更抽象的意义为一种计算模型,可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。
鐵路運輸

title: 概要.
content: 铁路运输是最便捷的陆上交通方式之一。铁轨能提供极光滑及坚硬的媒介,让列车的车轮在上面以最小的摩擦力滚动。相比汽车乘客会感到更舒适,而且节省能量。如果配置得当,铁路运输可以比路面运输运载同一重量物时节省五至七成能量。而且,铁轨能平均分散列车的重量,令列车的载重力大大提高,而且安全舒适,而且列车长仅需控制列车速度。平均每亿客公里的死亡率是公路交通事故死亡人数的几十分之一到几百分之一,为最安全及高效率的交通运输方式之一。
title: 历史.
content: 希腊是第一个拥有路轨运输的国家。至少二千年前已有马拉的车沿着轨道运行。  1804年,理查·特里维西克在英国威尔士发明了第一台能在铁轨上前进的蒸汽机车,但商业上并不成功。  第一台取得成功的蒸汽机车是乔治·史蒂芬生在1829年建造的「火箭号」。  1820年代,英格兰的斯托克顿和达灵顿铁路成为第一条成功的蒸汽火车铁路。后来的利物浦和曼彻斯特铁路更显示了铁路的巨大发展潜力。  很快铁路便在英国和世界各地通行起来,且成为世界交通的领导者近一个世纪,直至飞机和汽车发明才减低了铁路的重要性。  高架电缆在1888年发明后,首条使用接触网供电的电气化铁路在1892年启用。  第二次世界大战后,以柴油和电力驱动的列车逐渐取代蒸汽推动的列车。1960年代起,多个国家均建置高速铁路。而货运铁路亦连接至港口,并与船运合作,以货柜运送大量货物以大大减低成本。  现时在全球236个国家和地区之中,有144个设有铁路运输(包括全世界最小的国家梵蒂冈在内),其中约90个国家和地区提供客运铁路服务。铁路依然是世界上载客量最高的交通工具,拥有无法被取代的地位。  中国第一条铁路吴淞铁路建于上海,由英国人兴建,后被清朝地方官员买回并拆毁。而正式使用的第一条铁路和蒸汽机车则是由李鸿章兴办的开滦公司煤矿所建。

Summary: 铁路运输(英语:rail transport),通称轨道运输或轨道交通。狭义上通常是指一种以具有轮对的车辆沿铁路轨道运行,以达到运送旅客或货物目的的陆上运输方式。而广义的铁路运输尚包括磁浮列车、缆车、索道等,并非使用车轮形式,但仍然沿特定轨道运行的运输方式。
波塞冬

title: 传说.
content: 波塞冬是海神和水神,亦被称为大地的震撼者或占有者,他的威力与大地无穷无尽的生命力及洪水相匹敌。他在爱琴海中建立了住所,书中有云:他在海上建立了辉煌的宫殿,他常乘座金鬃铜蹄骏马所曳云车巡行,他手握精巧锻制的鞭。
title: 传奇武器和象征物.
content: 在讨伐克罗诺斯时,独眼巨人送给宙斯闪电火,给波塞顿三叉戟,给黑帝斯隐形头盔。此后波塞顿经常手持三叉戟,成了他的标志。当他愤怒时海底就会出现怪物,挥动三叉戟能轻易掀起滔天巨浪,引起风暴和海啸来使大陆沉没、天地崩裂,甚至能引发震撼整个世界的强大地震。然而象征他的圣兽海豚显示出海的宁静和波塞顿亲切的神性。爱琴海附近的希腊海员和渔民对他极为的崇拜。  波塞冬的三叉戟并非只用来当武器,也被用来击碎岩石,从裂缝中流出的清泉浇灌大地,使农民五谷丰登,所以波塞冬又被称为丰收神。波塞冬也给予了人类第一匹马,他乘座的战车就是用金色的战马所拉的,当他的战车在大海上奔驰时,波浪会变的平静,并且周围有海豚跟随。
title: 个性.
content: 波塞冬的神性广泛,有强烈的侵略性和极大的野心。他曾密谋夺取宙斯的天帝宝座,但被宙斯发觉,把他放逐到地上受刑,帮助拉奥墨多王修建特洛伊城。  他常与诸神交战,与雅典娜在雅典和特罗森争霸。一次他和雅典娜就新城雅典起名之事争吵,最后被迫向雅典娜让步。另一次他因科林斯的国王之故与阿波罗激烈争吵,最后以胜利告终。
title: 雅典城事件.
content: 波塞冬曾与智慧女神雅典娜争夺对雅典城的保护权,以便能掌握这个富裕城市的财富。波塞顿戟敲击海面,海面上跃出一匹骏马;雅典娜将长矛插在地上,地上长出了一颗橄榄树。骏马是战车的带动力,象征着战争,而橄榄树是和平的象征,并拥有可观的农业价值。宙斯主持奥林匹斯众神投票裁决,雅典娜以多数票胜出。
title: 私生活.
title: 爱情.
content: 波塞顿和宙斯一样爱好女色。他的妻子安菲特里忒在成为王后之前是海河中的美丽精灵。有一天她和姐妹们在纳克索斯岛上跳舞,波塞顿一见钟情。精灵们一见到波赛顿就潜入海底,波塞顿立刻派一只海豚追逐。安菲特里忒不是对手,最后疲倦之际,只得乖乖坐在海豚的背上,成了波塞顿的新娘。他们生出来的独生子叫做特里同,上半身是人身,下半身是鱼尾,而且长满了海藻,是个男美人鱼。这位海中的王子,继承了父亲喜好女色的个性,娶了几个海中仙女,和她们发生性关系。其子女都会吹海螺,在祖父、祖母出游时,就鸣螺开道。
title: 子女.
content: 波塞顿还与各路情人生了很多儿子,但比起宙斯底下各个俊男美女差一些,波塞顿的私生子多是巨人和粗野的英雄。他和自然女神涅瑞伊得斯生的一群儿子叫库克罗佩斯,其中独眼巨人波吕斐摩斯特别出色,后来被奥德修斯刺瞎了眼睛。  波塞顿与地母盖亚(波塞顿的曾祖母)生了个巨人儿子安泰,又称安泰俄斯,安泰特别恋母,睡觉都不用床,直接躺在大地母亲的怀抱,安泰生性好斗,所有经过利比亚的人都必须和他格斗,他在格斗时只要不离开大地,就能从大地母亲的身上汲取力量,当他遇到宙斯的英雄儿子赫拉克勒斯时,被三次打倒都无损伤,但赫拉克勒斯发现了他恢复力气的秘密,也是他用强有力的手臂把安泰举在空中,然后将他掐死,人们习惯上用这个故事来比喻,人离不开大地,或英雄离不开人民。
title: 后世影响.
title: 海王星的命名.
content: 发现之后的一段时间,海王星不是被称为天王星外的行星就是勒维耶的行星。伽雷是第一位建议取名的人,他建议的名称是Janus(罗马神话中看守门户的双面神)。在英国,查理士将之命名为Oceanus;在法国,Arago建议称为勒维耶,以回应法国之外强烈的抗议声浪。法国天文年历当时以赫歇耳称呼天王星,相对于以勒维耶称呼这颗新发现的行星。同时,在分开和独立的场合,亚当斯建议修改天王星的名称为乔治,而勒维耶经由经度委员会建议以Neptune(海王星)作为新行星的名字。Struve在1846年12月29日于圣彼得堡科学院挺身而出支持勒维耶建议的名称。很快的,海王星成为国际上被接受的新名称。在罗马神话中的Neptune等同于希腊神话的Poseidon,都是海神,因此中文翻译成海王星。 新发现的行星遵循了行星以神话中的众神为名的原则,而除了天王星之外,都是在远古时代就被命名的。  很多手机游戏也将其采用  王者兽和美丽兽应用合体后的姿态。拥有无敌能力的神应用兽。被誉为澎湃大海的霸者。

Summary: 波赛顿(),又译波赛冬、波色伊东,是希腊神话中的海神,宙斯的弟弟。其象征物为「波赛顿三叉戟」。相应于其被希腊神话承袭的罗马神话的尼普顿,他是海王星希腊名的来源。他的坐骑是白马驾驶的黄金战车。在神话中为人类带来马匹,所以也被视为马匹之神。
登山运动

title: 历史.
title: 起源.
content: 登山运动的起源难以考证。人类在其生产生活活动中不可避免地需要翻越山脉,而且在文明发展到一定程度后,到高处欣赏景色,开阔眼界,也成为一种令人愉悦的活动。中国古代的“登高”传统就可以看做是这样的一种活动。  现代的登山运动,国际上一般认为起源于18世纪后期的欧洲。1760年,瑞士物理学家霍勒斯-本笃·索绪尔为了研究高山植物,出重金悬赏登顶阿尔卑斯山脉最高峰勃朗峰或提供攀登路线的人,但是一直无人问津。直到1786年,一位叫帕卡德的医生和当地采石工人巴尔玛一起登上了勃朗峰。次年8月,由巴尔玛做向导,霍勒斯-本笃·索绪尔亲自率领一支20多人的登山队登顶勃朗峰,证实了一年前的首攀。这一事件被视为现代登山运动诞生的标志,1786年也被认为是登山运动的诞生之年。
title: 发展.
content: 19世纪,登山运动得到迅猛发展。特别是1854年至1865年这段时间,阿尔卑斯山地区的登山运动发展迅猛。这期间人类登顶了阿尔卑斯山地区所有的4000米以下的高峰。1857年在英国伦敦成立了世界上第一家登山组织--登山俱乐部。1865年,一支登山队登上了当时被认为无法登顶的马特洪峰。这一时期被称为登山运动的黄金时期。  19世纪后期,冰斧等攀登工具的出现,进一步提高了人们攀登的能力,扩大了攀登的时间和空间范围。  进入20世纪后,在两次世界大战中,欧洲国家如德国、苏联等国都十分重视山地作战技能和战术,在战后他们的经验使得登山运动又产生了新的发展。新技术的使用使得攀登8000米以上山峰成为可能。  1950年到1964年期间是登山运动发展的另一个重要时期。1950年6月3日,来自法国的毛里斯·赫尔佐格(Maurice Herzog)和路易斯·拉施纳尔在1950年6月3日登上安纳布尔纳峰,人类首次登上8000米以上高峰。这期间人类前后登顶了全部14座8000米以上高峰。这一时期的登山运动开始向几个方向发展:
title: 各地登山活动.
title: 台湾.
content: 台湾因地形特殊,面积三万六千平方公里,超越三千米山头两百余座,是全世界高山密度最高的岛屿。北回归线横贯其间,纬度低但山高,兼有亚热带、温带、寒带生态。生物多样性也是全球平均百倍。  原住民居住山地,但对山顶常视为神圣领域而少进入。日治时期,日人以玉山、雪山高度高过富士山、命名新高山、次高山。日籍学者受源自欧洲的登记热潮影响,以文明登顶名衔,探勘、整理台湾岛上的动植物。民间也成立社团,登山活动也拓展到民间。第二次世界大战期间,登山活动暂时沉寂。  1945年,国民政府接收台湾,对登山活动并不支持。但民间延续日治时期基础,仍然持续高山攀登。  1946年5月4日,由日治台湾山岳会干事平泽龟一郎暂代主席,开会决议将相关会务委任台籍会员,平泽并转交一支冰斧及两条登山绳索,做为传承象征,移交后,会名仍称「台湾山岳会」。  1947年5月,台北市参议会议长周延寿及蔡礼乐、谢永河等,发起组织「台湾省山岳会」,并接管日治时期成立,却因战争而停顿的台湾山岳会,此即「中华民国山岳协会」前身。  1953年,救国团举办大专生「玉山登峰探险队」,这可能是战后第一次有组织的学生高山登山活动。  1969年2月15日,曾任「中国青年登山协会」总干事的韩漪,创办《野外》杂志(1987年12月停刊)。  1971年7月,由清华大学柏盛亨领队的登山队,一行在奇莱山区遭遇台风大雨,不幸有5人罹难。  1971年10月,岳界中央山脉大纵走活动,北队由南湖群峰,南队由卑南主山起步,在七彩湖会师。  台湾岳界选出一百座超过三千米的山峰,命名台湾百岳。台湾登山活动除社会人士,在各级学校间也普遍成立社团,蔚为风尚。  台湾登山好手挑战境外各洲顶峰,在企业界支持下也多所进展。  1972年12月5日,林文安、蔡景璋、邢天正及丁同三等,于羊头山顶庆祝「百岳俱乐部」成立。  1976年7月,政治大学登山队发起人之一陈远建,创办《户外生活》杂志(1986年停刊)。  1976年,台大登山社吕志广等发现松萝湖后,延续自百岳开拓精神的中级山探勘,逐渐成社内主流。  1978年,户外生活图书公司出版《台湾百岳全集》,由谢文诚主笔,带动「百岳登峰」登山热潮。  2006年到2009,由伍玉龙、江秀真、黄致豪、谢颖溯、陈仲仁、黄博政等登山好手组成欧都纳世界七顶峰攀登队,完成世界七顶峰的攀登。  2009年5月19日,攀登队队员伍玉龙、江秀真与黄致豪于中午12时35分登顶世界最高(8848米)的「珠穆朗玛峰」。
title: 中国大陆.
title: 参与者.
content: 中国高校登山团体
title: 向导与教练.
content: 目前中国国内唯一培养高山协作和高山向导的专业学校是成立于1999年7月10日的西藏登山学校。

Summary: 登山运动(Mountaineering)是以攀登至顶峰为目标的运动,广义的登山运动不限制所登山岳的高度、攀登的方式、使用的器材等等,而狭义的登山运动则指利用专门的装备和技术攀登一定海拔范围的山峰。
导演

title: 词源.
content: 导演一词英文为Director,从含义来说是指引方向的人,但从具体职能来说,往往其主要能力是沟通。因此一个公司的总监职位,与导演共享同一个英文单词Director,虽然中文翻译有所不同。“导演”一词在汉语中,是中国于1920年代初开始使用的新词。由中国电影人陆洁译出,并在《影戏杂志》开始使用。
title: 不同领域的导演.
title: 电影导演.
content: 简言之,导演是用剧情和演员表达自己思想的人。  电影导演同时运用了演员的身体及情绪/视线的选择/光线的调度/画面的构成/剪接的逻辑/音声的搭配,将某个剧本呈现于影像屏幕上,从而将这个剧本(以及如果有的话:它的思想)表现给观众的人。  电影工业涵盖多元的专业技术,从制片,摄影,灯光,美术指导,场务,演员,录音,混音,后期特效等,十分庞杂。绝大多数现代电影导演无法广泛专精以上各项专业技术,但他仍可以支配旗下所有各该部门的专业人士,依照他的意志工作。
title: 舞台剧导演.
content: 舞台剧导演的工作是一个贯穿的完整过程,从剧本的阅读、演员的选择与合作,到舞台空间、服装化妆、灯光等的设计,都是导演工作的组成部分。

Summary: 导演,狭义指在戏剧演出、影视制作团队中,整合全部艺术元素的艺术生产负责人。
简单邮件传输协议

title: SMTP通信举例.
content: 在发送方(客户端)和接收方(服务器)间建立连接之后,接下来是一个合法的SMTP会话。在下面的对话中,所有客户端发送的都以“C:”作为前缀,所有服务器发送的都以“S:”作为前缀。在多数计算机系统上,可以在发送的机器上使用telnet命令来建立连接,比如:  它打开一个从发送的机器到主机www.example.com的SMTP连接。  虽然是可选的,但几乎所有的客户端都会使用EHLO问候消息(而不是上面所示的HELO)来询问服务器支持何种SMTP扩展,邮件的文本体(接着DATA)一般是典型的MIME格式。
title: SMTP安全和垃圾邮件.
content: 最初的SMTP的局限之一在于它没有对发送方进行身份验证的机制。因此,后来定义了扩展。  尽管有了身份认证机制,垃圾邮件仍然是一个主要的问题。但由于庞大的SMTP安装数量带来的网络效应,大刀阔斧地修改或完全替代SMTP被认为是不现实的。就是一个替代SMTP的建议方案。  因此,出现了一些同SMTP工作的辅助协议。的反垃圾邮件研究小组正在研究一些建议方案,以提供简单、灵活、轻量级的、可升级的源端认证。最有可能被接受的建议方案是发件人策略框架协议。  提供SSL加密的SMTP协定被称为SMTPS。

Summary: 简单邮件传输协议(,缩写:SMTP)是一个在因特网上传输电子邮件的标准。
鐵路

title: 历史.
content: 铁路创始于英国,各国接踵而兴建铁路。  光绪初年,有英国人擅自在上海舖设铁路到达吴淞,清廷委任李鸿章令他们禁止,因偕江督沈葆桢,檄文与盛宣怀等一同与英国人讨论,最后以银二十八万两由大清购回,废置不用,识者惜之。  光绪三年(1877年),成立了开平矿务局。在筹备开采煤矿过程中,唐景星又建议从开平矿区至北塘河口,修筑一条铁路,以便将煤运抵北塘河口,经海运送往上海、天津等地。清政府随后决定修筑一条由唐山至胥各庄的轻便铁路,称“运煤铁路”,并声明铁路建成后不准运行机车,要以“骡马拖曳”。光绪七年(1881年),唐胥铁路动工,聘英国工程师克劳德·威廉·金达为总工程师,由开平矿务局集资修筑,同年11月建成通车。唐胥铁路成为中国第二条铁路,也是第一条由清政府主张兴建的官办铁路、中国第一条标准轨距铁路。
title: 构造.
title: 路轨.
content: 路轨由两条平行铁和枕木建造,在一些铁路系统上会用上三条或更多路轨,在铁路上会加上石块以水泥铺设而成。
title: 车站.
content: 铁路站是铁路的每个运输点,除了载客运输外,亦会用作载货运输。铁路站包括地下车站、高架车站和地面车站。
title: 铁路道口.
content: 铁路道口是公路与铁路的交错道口。
title: 列车.
content: 铁路车辆包括有动力及无动力车种,例如铁路机车、铁路车辆、铁路客车等等。
title: 相关措施.
content: 以上铁路要正常运行,必须要有如闭塞的功能,防止相撞并保证安全。

Summary: 铁路是铁路运输的媒介列车利用铁轮在两边铁路轨上行走的一种公共交通工具。在语境上,有时候会当成铁路运输的概念。铁路的运行还包括铁路轨道、铁路站、铁路道口及铁道机车车辆。
电子邮件

title: 运作.
title: 电邮地址的格式.
content: 在互联网中,电邮地址的格式是:用户名@主机名(域名)。@是英文「at」的意思,所以电子邮件地址是表示在某部主机上的一个使用者账号(例:codice_1),电邮地址不是身份。
title: 运作流程.
content: 下图说明一般寄送电邮的流程,假设爱丽丝利用电子邮件用户端写了一封电邮,输入收信人鲍伯的电邮地址,按下「寄信」钮后,后续的流程如下:  在邮件送达最后的邮件派递代理之前,服务器可能要将邮件派递给其他的服务器。  大部分电邮的寄件和收件流程如下,不过也有许多其他的可能性:
title: 使用.
title: 电子邮件客户端软件(部分).
content: 电邮文件格式的后缀名为.eml
title: Microsoft Outlook.
content: Microsoft Outlook是由微软公司所出品Microsoft Office内的个人信息管理系统软件,功能包括收发电子邮件、行事历等等。它也是与Microsoft Exchange Server互相搭配的群组软件。现时最新的版本是Microsoft Outlook 2016 for Windows和for Mac。 虽然Outlook主要是用来传送电子邮件,可是它还包含了行事历、行程管理员、联络管理员、记事等功能。
title: Mozilla Thunderbird.
content: Mozilla Thunderbird,非正式中文名称“雷鸟”,是从Mozilla Application Suite独立出来的电子邮件客户端软件。支持POP3和IMAP收信方式,支持新闻组,并有强大的垃圾邮件过滤和地址簿功能。
title: Foxmail.
content: Foxmail是由来自中国大陆的张小龙开发的一款电子邮件客户端,具有电子邮件管理功能。2005年3月16日被腾讯收购,后腾讯推出能与Foxmail客户端邮件同步的基于Web的foxmail.com免费电子邮件服务。
title: 网页电子邮件(部分).
title: Outlook mail.
content: Outlook.com,前身为Hotmail,一般简称Outlook,是微软公司的一项免费互联网收发电子邮件服务,前身Hotmail也是第一个在Web接口上实现实时拼写检查的邮件系统。 世界上的任何人可以通过网页浏览器对其进行收发、读取电子邮件。(2013年春,所有Hotmail的账户全转移至Outlook)
title: Gmail.
content: Gmail(德国和英国称为Google Mail)是Google公司在2004年4月1日发布的一个免费的电子邮件服务。 目前Gmail用户已可以享有15GB的容量,并且以大约每月10MB的速度在增加。可以通过付费获取更多的空间。Gmail最令人称道的就是它的使用界面,不但容易使用而且速度很快,此外Gmail也是一个著名的AJAX应用。
title: Yahoo! mail.
content: 雅虎邮箱是由雅虎公司营运的一款网络电子邮件(Webmail)服务。雅虎邮箱是互联网上最大的网络电子邮件服务,有超过2.6亿的用户。2007年,雅虎邮箱开始向免费用户提供无限的储存容量。雅虎邮箱的主要对手有Outlook mail和Gmail等。
title: 在手机上使用电子邮件.
content: 现代的手机,只要有基本的移动因特网可以使用就可以上网查询电子邮件。自从黑莓智能手机首创推出Push Mail功能后,各大手机厂牌纷纷效仿。数年前推出并引起轰动的iPhone内建的电子邮件功能,包含了其中对Push Mail的大量改良,而且成效相当完美,颇受好评,因此越来越多的智能触控手机,如HTC Hero、诺基亚N97等,也陆续引进类似的触控式电子邮件功能。
title: 安全性.
content: 安全考量包括传输安全、储存安全、发送者身份确认、接收者已收到确认、拒绝服务攻击等。有两种标准:PGP和S/MIME。
title: 传输安全.
content: 传输过程可能被窃听。为了应付这情况,有两种解决方法:
title: 储存安全.
content: 对已加密的邮件,可以选择不保存解密后的邮件。已加密的邮件是指发送者在发送之前对邮件本身进行加密,不是指加密传输。如果邮件本身已加密,则没有必要进行加密传输。对非加密的邮件(指发送者在发送之前没有对邮件本身进行加密,至于是否使用加密传输是另一回事),邮件的储存安全就如同于其他文件的储存安全一样,重点在于防范非授权使用。当然,就如同可以对一般文件进行加密一样,也可以对这些非加密的邮件在收到后进行加密。
title: 接收者已收到确认.
content: 接收者可能抵赖说他/她没有收到电子邮件。为了应付这情况,出现了不同的解决方法,但是目前还没有一套普遍被采纳的方案。微软公司的Microsoft Exchange Server就提供Delivery Receipt。因为是机器发的“接收者已收到确认”,所以接收者可能有意或无意地删除了邮件。
title: 拒绝服务攻击.
content: 为了妨碍某一用户使用电子邮件(比如不让她/他收到电子邮件),拒绝服务攻击指往被攻击的用户的邮箱发送大量的垃圾邮件,将邮箱塞满。这样被攻击的用户就无法收到那些有用的电子邮件了。这种安全顾虑目前相当程度已被解决。一是邮箱不断增大,另一原因是邮件服务提供商都提供了一些的过滤措施。过滤措施有时也会把有用的电子邮件当成垃圾邮件。现已有一部分邮件服务供应商使用替身邮,防止外界对邮件帐户进行跟踪。
title: 实现所用的协议.
content: 常见的电子邮件协议有以下几种:SMTP(简单邮件传输协议)、POP3(邮局协议)、IMAP(Internet邮件访问协议)、HTTP、S/MIME。这几种协议都是由TCP/IP协议族定义的。
title: 历史.
title: 世界上的第一封电子邮件.
content: 历史上世界上的第一封E-mail确切的发出时间、地点、人物有所争议。
title: 中国的第一封电子邮件.
content: 1987年9月20日中国第一封电子邮件是由“德国互联网之父”维纳·措恩与王运丰在当时的兵器工业部下属单位—计算机应用技术研究所(简称ICA)发往德国卡尔斯鲁厄大学的,其内容为德文和英文双语,第一段大意如下:  这是中国通过北京与德国卡尔斯鲁厄大学之间的网络连接,发出的第一封电子邮件。
title: 使用.
title: 商业上的应用.
content: 电子邮件广为商业界使用,是第一个广域的电子媒介,也是商业通讯的第一次「e化革命」。电子邮件类似传统邮件易于了解,而且解决了通讯上的两个问题:如何传送资讯(或载有资讯的物体),以及同步性。
title: 缺点.
content: 大部分现代的员工每天约花一至两个小时在电子邮件上,包括读邮件、整理邮件及排序、从片段的邮件中得到完整资讯,以及写信。电子邮件的缺点如下:

Summary: 电子邮件(),简称电邮(、),是指一种由一寄件人将数码信息传送给一个人或多个人的信息交换方式,一般会通过因特网或其他电脑网络进行书写、发送和接收信件,目的是达成发信人和收信人之间的信息交互。一些早期的电子邮件需要寄件人和收件人同时在线,类似即时通讯。现在的电子邮件系统以是储存与转发的模型为基础。邮件服务器接受、转发、送出及储存邮件。寄信人、收信人及他们的电脑不用同时在线。寄信人和收信人只需在寄信或收信时简短的连线到邮件服务器即可。
蒸汽機車

title: 构造.
title: 车体部分.
content: 以煤水车式蒸汽机车为例
title: 行走部分.
content: 以为例
title: 发展.
content: 铁路机车在19世纪发明时,是以蒸汽机来推动的。到第二次世界大战结束时,蒸汽机车仍是最常见的机车。  第一部蒸汽机车是由英国人理查·特里维西克制造,并于1804年2月21日进行第一次上轨测试。之后经过多年的改进,蒸汽机车的经济效益才足以在商业上的营运使用。乔治·史蒂芬生在1829年制造的火箭号(The Rocket)便是最早在商业成功使用的蒸汽机车之一。  蒸汽机车的速度纪录是由英国的伦敦及东北铁路A4型所创下。1938年7月3日,该型机车中的一台——别号“Mallard”的伦敦及东北铁路4468号机车(LNER Class A4 4468 Mallard),牵引六辆普通客车和一辆动力试验车,在一个稍微下坡路段创下时速126英里(203公里)的纪录。德国、美国的蒸汽机车亦达到接近的速度。一般认为这是蒸汽机车的速度极限。  因动力效能较低且为降低空气污染,蒸汽机车在二十世纪中开始被内燃机车或电力机车所取代。1960年代末,世界上仍然有使用蒸汽机车作商业运作的国家已寥寥无几。到了二十世纪末,蒸汽机车在北美洲及欧洲基本上已被完全淘汰,只会间中在特别为铁道迷及游客安排的路线上行走。墨西哥仍有很少量的蒸汽机车在偏远的地方运作。印度曾大量使用蒸汽机车,但现在它们只会在空气稀薄的山区运作。
title: 各地的蒸汽机车.
title: 中国大陆.
content: 1949年,中国有产自9个国家30多家工厂的198种型号的4069台蒸汽机车。  在中国大陆,某些地区煤炭的价格比石油低很多,使蒸汽机车仍然有它们的价值。中国曾经是全球最后一个制造大型蒸汽机车的国家,位于山西的大同车厂一直生产干线蒸汽机车至1988年12月21日;1992年国铁停止使用蒸汽机车。哈尔滨火车站在1990年代中期仍旧能够看到为数不少的蒸汽机车,而位于同一个省份的牡丹江火车站则可以看到停放在一旁供人参观的1930年代日本小型蒸汽机车。2005年12月9日最后运营的大型蒸汽机车在内蒙古退役,近年中国大陆蒸汽机车已所剩无几。  今日在部分条件恶劣的矿区铁路,仍旧使用蒸汽机车牵引,例如三道岭铁路;部分蒸汽机车由于观光或历史保存或其它理由,而特别被保留并继续营运,如四川的芭石铁路,依然以小型蒸汽机车作为牵引动力,主要满足当地山区和矿区居民出行,同时兼顾旅游。
title: 日本.
content: 日本的蒸汽机车于1975年12月14日在室兰本线开出最后一班列车后已经全部退出一般列车的运行。后来部分机车头修复后重新上路做为观光列车行驶,其中有部分为针对特殊季节才运行(例如JR北海道的SL冬之湿原号(会于冬天才运行)),其他则为大部分都为全年营运的固定观光列车班次。截至2012年底为止,仍然在使用蒸汽机车的铁路公司包括JR集团的JR北海道、JR东日本、JR西日本、JR九州,和大井川铁道、秩父铁道与真冈铁道等私铁业者。为了与一般采用柴油或电力动力来源的列车作区隔,以蒸汽机车牵引营运的列车会特别在列车名称前标上「SL」的字样(SL是蒸汽机车「Steam Locomotive」的缩写)。
title: 台湾.
content: 台湾所用蒸汽机车以台铁蒸汽机车最具代表性,另外林业铁路及糖业铁路等亦曾使用过蒸汽机车。于一般营运上,台铁虽未有以蒸汽机车牵引之常态班次,惟特殊节日及路线仍偶可见CK124等蒸汽机车做为观光用列车行驶。
title: 苏联/俄罗斯.
content: 1977年干线停止使用蒸汽机车。

Summary: 蒸汽机车,又称蒸汽火车 (英语:steam locomotive),是以蒸汽机作为动力来源的铁路机车,也是铁路机车最早的发展类别。