Rikunarita-ORG/Wikinium huggingface dataset:
# 工程师[编辑]

電氣工程師
**工程师**（英語：Engineer）是指那些在工程专业领域的人，他们使用科学知识来驾驭技术以解决实际问题，并以此为职业。

## 工程師工作者

工程師和科學家(Scientists)往往容易混淆，科學家努力探索大自然，以便發現一般性法則(General Principles)，工程師則遵照此既定原則，從而在數學和科學上，解決了一些技術問題。科學家探索世界以發現普遍法則，但工程師使用普遍法則以設計實際物品。科學家研究東西，工程師建立東西，這一想法，可視為表達這句話，"科學家們問為什麼，工程師問為什麼不能？"("Scientists ask why, engineers ask why not?")。

工程師的稱謂通常只用於在工程學其中一個範疇持有學術性學位或相等工作經驗的人士。在歐洲大陸一些國家，工程師稱謂的使用被法律所限制，必須用於持有學位的人士，而其他沒有學位人士使用，屬於違法。在美國大部份州及加拿大一些省份亦有類似法律存在，通常只有在專業工程考試取得合格才可被稱為工程師，而法律的範圍一般只在蓄意欺詐的情況下才會執行。

技術專家(Technologist)一詞有時與工程師同義，該詞是由技術(Techno-)和後綴(-ologist)組成，意思是研究技術的人，此名稱一般在歐洲大陸一些有規管工程師名稱使用的國家中被使用，因為未受法律管制。在一些拉丁國家，technologist只是在工程師與技術員之間的專業資格。

在美國，"Engineer"一詞也用於指操作機械引擎(Engine)的人，比如鐵路Engineer是指火車司機，輪船Engineer是指輪機員，固定引擎機械師通常是負責固定引擎

## 其他含意

工程師也可能被用作形容取得某種大學學位以外的職業資格認證的人，如（但不僅限於）：微軟認證系統工程師， Novell的認證工程師（Certified Novell Engineer，CNE），紅帽認證工程師（Red Hat Certified Engineer）等。另外也可以指執行或推動某項政策的政治人物，例如中華人民共和國的政治人物趙紫陽就被稱為「改革開放的總工程師」。

### 技术职称用語

在中华人民共和国，工程师是省级人事部门审核授予的工业技术类技术职称体系中的职称證書，需要通過專業技術人員職業資格考試或是評審會頒發來獲取。与高校的讲师、医院的主治医师等類似職稱并列。

工业技术类技术职称体系由低到高是：助理工程师（初级职称）、工程师、高级工程师（副高级）、教授级高级工程师。

总工程师是企业或事业单位、行政机构的一个技术领导岗位名称，不是技术职称。例如：公司总工、国家水利部总工程师。

### 工程师学位

法国有工程师学位，主要由法国工程师学院（属于法国特色的Les grandes écoles）培养，相当于硕士学历。

* 20世纪最伟大的工程学成就
* 工程倫理
* 應用工程師
* 研發工程師
* 程式工程師
* 設備工程師
* 機械工程師
* 產品工程師（Product Engineer）

### 各工程學門的著名工程師列表

* 航天工程師列表
* 化學工程師列表
* 工業工程師列表
* 材料工程師列表
* 機械工程師列表
* 電機工程師列表
* 土木工程師列表
* 建築工程師列表
* 結構工程師列表
* 系統工程師列表
* 環境工程師列表
* 遺傳工程師列表
* 核能工程師列表

### 其他相關列表

* 建築師列表
* 發明家列表
* 城市規劃者列表
* 英雄虛構的科學家和工程師列表

### 認證與註冊

註冊工程師是根據法律原則制定的註冊與認證制度，以保證工程師在涉及公眾安全、福利及其它利益的工程時，能够提供專業的服務。在不同的國家，註冊工程師可以冠上的前綴頭銜是「Ir.」或「Er.」。

* 特許工程師 (英國)
* 歐洲工程師
* 認證工程師
* 專業工程師
* 注册工程师 (中华人民共和国)

* Engineers at Engineering Wiki （页面存档备份，存于互联网档案馆）
* 法国的工程师学位介绍 （页面存档备份，存于互联网档案馆）
# 肯特·貝克[编辑]

| 肯特·貝克 Kent Beck |
| --- |
|  |
| 出生 | 1961年（64—65歲） |
| 公民权 |  美国 |
| 母校 | 奧勒岡大學 |
| 知名于 | 極限編程、設計模式、JUnit |
| **科学生涯** |
| 研究领域 | 軟體工程 |
| 机构 | Gusto |
|  |

**肯特·貝克**（英語：Kent Beck，1961年—），美國著名軟體工程師與作家，在軟體工程方面有很大的貢獻。他是Smalltalk軟體的開發者，設計模式的先驅，测试驱动开发的支持者，也是極限編程的創始者之一。曾在Facebook工作，現在在Gusto工作。

曾為Smalltalk寫作了SUnit單元測試架構，之後將這個架構移植到Java，寫作了JUnit。

## 生平

肯特·貝克在奧勒岡大學，取得電腦科學學士與碩士學位。

2001年，他參與了敏捷宣言（Agile Manifesto）的簽署，是17名發起者之一。

## 著作

* 《极限编程解析》
* 《Implementation Patterns》Paperback – November 2, 2007
* 《Kent Beck的實作模式》，Implementation Pattern繁體中文版，博碩文化，初版，2013.09

* 肯特·貝克的部落格
# 葛來迪·布區[编辑]

葛來迪·布區，攝於2011年
**葛來迪·布區**（英語：Grady Booch，1955年2月27日—），生於美國德州阿馬里洛，計算機科學家與軟體工程師，與伊瓦爾·雅各布森、詹姆士·蘭寶（James Rumbaugh）共同開發了统一建模语言（UML）。他曾為Ada語言编写了重要的教科書，在軟體架構、軟體工程及协作开发环境领域的貢獻具有國際性聲望。

## 生平

1977年，葛來迪·布區於美国空军学院獲得學士學位。1979年，於加利福尼亞大學聖塔芭芭拉分校取得電子工程碩士學位。

1981年，Rational Software公司建立後，葛來迪·布區進入工作，擔任首席工程師。2003年，Rational Software被IBM公司併購，他隨之進入IBM公司。
# 奧利-約翰·達爾[编辑]

| 奧利-約翰·達爾 Ole-Johan Dahl |
| --- |
| 出生 | (1931-10-12)1931年10月12日  挪威曼達爾 |
| 逝世 | 2002年6月29日(2002-06-29)（70歲）  挪威阿斯克尔 |
| 知名于 | Simula 面向对象程序设计 |
| 奖项 | 圖靈獎 (2001年) 约翰·冯诺依曼奖 (2002年) |
| **科学生涯** |
| 研究领域 | 電腦科學 |
| 机构 | 挪威计算中心 奥斯陆大学 |
|  |

**奧利-約翰·達爾**（挪威語：Ole-Johan Dahl，1931年10月12日—2002年1月29日），生於挪威曼達爾，著名電腦科學家，與克利斯登·奈加特共同創造了Simula，被認為是物件導向之父。因此貢獻，他與克利斯登·奈加特共同獲得2001年圖靈獎與2002年约翰·冯诺依曼奖。

## 生平

## 著作
# 東尼·霍爾

| 東尼·霍爾 Tony Hoare |
| --- |
| 2011年6月20日，查爾斯·安東尼·理查德·霍爾爵士在EPFL發表演說 |
| 出生 | 查爾斯·安東尼·理查德·霍爾 （Charles Antony Richard Hoare） (1934-01-11)1934年1月11日  英屬錫蘭可倫坡 |
| 逝世 | 2026年3月5日(2026-03-05)（92歲）  英格兰劍橋郡劍橋 |
| 居住地 | 劍橋 |
| 母校 | 牛津大學 莫斯科国立大学 |
| 知名于 | 快速排序 霍尔逻辑 CSP |
| 奖项 | 圖靈獎 |
| **科学生涯** |
| 研究领域 | 電腦科學 |
| 机构 | 艾略特兄弟公司 贝尔法斯特女王大学 牛津大學 莫斯科国立大学 微軟研究院 |
| 博士生 | Stephen Brookes Cliff Jones David Naumann 比尔·罗斯科 William Stewart |
|  |

**查爾斯·安東尼·理查德·霍爾**爵士（英語：Sir Charles Antony Richard Hoare，縮寫為C. A. R. Hoare，1934年1月11日—2026年3月5日），暱稱為**東尼·霍爾**（英語：Tony Hoare，一譯**托尼·霍爾**），生於大英帝國錫蘭可倫坡（今斯里蘭卡），英國計算機科學家，圖靈獎得主。他設計了快速排序演算法、霍尔逻辑、通信顺序进程。

## 生平

東尼·霍爾的父親是一位公務員，服務於英屬錫蘭。其母親是茶園主人的女兒。

東尼·霍爾在可倫坡出生，在英國本土受教育。1956年，在牛津大學墨頓學院取得西洋古典學學士學位。在大學畢業後，進入英國皇家海軍服兵役18個月，在此學會俄語。1958年退伍後，回到牛津大學，研讀統計學，取得學士後學位。在此期間，開始學習程式設計，他跟著Leslie Fox學習Autocode。為了進一步學習俄語，他以英國文化協會的交換學生身份，至蘇聯莫斯科國立大學留學，跟隨安德雷·柯爾莫哥洛夫學習數學，並研究機器翻譯。

1960年，在莫斯科國立大學取得博士學位後，任職於倫敦艾略特兄弟公司（Elliott Brothers Ltd），開發出第一個商用的ALGOL 60編譯器，很快就成為公司的首席工程師。

1968年，成為貝爾法斯特女王大學的教授。1977年回到牛津大學擔任教授。現為牛津大學榮譽教授，並在劍橋微軟研究院擔任研究員。

## 學術贡獻

他開發了幾個著名的演算法，包括Quicksort與Quickselect。

在作業系統中，他提出哲学家就餐问题，並發明用來作為同步程序的監視器（Monitors）以解決這個問題。他同時證明了監視器與信號標（Semaphore）在邏輯上是等價的。

## 榮譽

* 1980年，獲頒圖靈獎。
* 1982年，成為英國皇家学会院士。
* 2000年，因為他在計算機科學與教育方面的傑出貢獻，獲得英國王室頒贈爵士頭銜。
* 2011年，獲頒約翰·馮諾依曼獎。

## 著作

* O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare. Structured Programming. Academic Press. 1972. ISBN 0-12-200550-3. OCLC 23937947.
* C. A. R. Hoare (1985). *Communicating Sequential Processes*. Prentice Hall International Series in Computer Science. ISBN 978-0131532717 (hardback) or ISBN 978-0131532892 (paperback). (Available online at  （页面存档备份，存于互联网档案馆） in PDF format.)
* C. A. R. Hoare and M. J. C. Gordon. Mechanised Reasoning and Hardware Design. Prentice Hall International Series in Computer Science. 1992. ISBN 0-13-572405-8. OCLC 25712842.
* C. A. R. Hoare and He Jifeng. Unifying Theories of Programming. Prentice Hall International Series in Computer Science. 1998. ISBN 0-13-458761-8. OCLC 38199961.

* Tony Hoare - Microsoft Research （页面存档备份，存于互联网档案馆）（英文）
# 伊瓦爾·雅各布森[编辑]

**伊瓦爾·亞爾瑪·雅各布森**（瑞典語：Ivar Hjalmar Jacobson，1939年9月2日—），又譯**伊萬·雅各布森**，是一位計算機科學家與軟體工程師，在軟體工程領域有很大貢獻。曾參與設計统一建模语言（UML）、IBM-Rational统一过程（RUP）、Objectory方法，對於Aspect-oriented software development也做出很多貢獻。他創辦了Ivar Jacobson International公司。

## 生平

1939年生於瑞典于斯塔德（Ystad），1962年於查爾摩斯工學院取得電子工程碩士學位。1985年於斯德哥爾摩的皇家工学院取得博士學位，論文主題為大型即時系統的語言結構。

## 参考来源

* Ivar Jacobson International （页面存档备份，存于互联网档案馆）
* 伊瓦爾·雅各布森部落格
* EssWork Website
# 伯特蘭·邁耶[编辑]

| 伯特蘭·邁耶 |
| --- |
|  |
| 出生 | 1950年11月21日  （75歲） |
| 母校 | * 综合理工学院
* 史丹佛大學
* 南錫大學
* Cours Hattemer
 |
| 职业 | 電腦科學家、工程师  |
| 雇主 | * Innopolis University
* Schaffhausen Institute of Technology
* 加州大學聖塔芭芭拉分校
* 苏黎世联邦理工学院
 |
| 作品 | Eiffel  |
| 奖项 | aCM软件系统奖、ACM會士、Harlan D. Mills Award  |
| 网站 |   |

**伯特蘭·邁耶**（法語：Bertrand Meyer，1950年11月21日—），生於法國，程式語言專家，Eiffel程式語言的創造者，曾提出契约式设计觀念。

## 生平

於巴黎综合理工学院取得學士學位，美國史丹佛大學碩士，於法國南錫大學取得博士學位。

2001年10月，成為苏黎世联邦理工学院軟體工程教授。

## 著作

1988年，出版《物件導向軟體建構》（Object-Oriented Software Construction），為物件導向編程的經典作品。
# 詹姆士·蘭寶[编辑]

**詹姆士·蘭寶**（英語：James E. Rumbaugh，1947年8月22日—），生於美國賓夕法尼亞州伯利恆，計算機科學家，專長於軟體工程與物件導向技術。曾提出物件建模技術與统一建模语言（UML）。

## 生平

在麻省理工學院取得物理學學士，在加州理工學院取得天文學碩士。在麻省理工學院取得計算機科學博士，博士論文指導教授為Jack Dennis。

在1960年代，進入迪吉多公司工作，擔任研究學者，開始程式員生涯。1968年至1994年間，在通用電器公司工作，在此期間，他提出了物件建模技術。

1994年，加入Rational Software公司，在此，他參與發展了统一建模语言。

2003年，在Rational Software被IBM併購之後，隨之進入IBM公司。2006年，退休。

## 註釋
# 企业工程[编辑]

**企业工程**是关于设计、建设、维护与改造企业的实践、研究与技术综合领域。

## 基本概念

对企业工程（Enterprise Engineering, EE）较早的正式定义，可以追溯到20世纪90年代，当时的国际企业工程协会（International Society for Enterprise Engineering, ISEE）的定义：

>
> “对企业的所有要素进行分析、设计、实施和运作的知识、原理和学科的整体。”企业工程方法包括建模、成本分析、模拟、工作流分析、瓶颈分析。企业工程概念包括TQM、JIT、变化管理，以及附加价值分析。
>
>
>
>

詹姆斯·迈天在1995年出版的企业工程专著中，对企业工程有如下表述：

>
> 企业工程是用于建造或变革企业及其过程、体系的学科的集合体，它结合最有力的变革方法并令其成功。其目标是在所有层次的学习中达成技术与人结合的最大功效。
>
>
>
>

## 产生与发展途径

企业工程是围绕着企业这一复杂人造系统的规划（设计）、建设与改造而自然产生、聚集的知识与实践领域。从实际发展看，企业工程主要来源于以下领域：

点击查看原图
再造工程（Reengineering）
其基本内涵可划分为两个方面：现有企业中怎样进行重新规划与改造；新的企业应当怎样设计与建设。这两方面都是企业工程的基本内容。
计算机集成企业（Enterprise integration，CIMS）
这一领域的相关研究，主要包括企业建模理论与方法论、建模语言或体系、企业架构、企业参考模型，以及企业集成等方面，积累了丰硕的成果。早期企业工程的概念，正是在这一背景下提出的。这个领域也与工业工程密切相关，或被划入该领域，见后续说明。
工业工程（工业工程学）
传统的工业工程从科学管理、作业研究开始，但其范围从最初的制造业不断扩大到一般性的企业，并引入了整体、系统的观点。因此，站在工业工程学科拓展的立场上，企业工程有时也被看做其一部分或自然延续。从既有的实践和发展历程上看，工业工程是自下（基层作业）而上，由局部到整体的；企业工程是自上（使命、战略）而下，由整体视图着眼的。
信息工程（Information Engineering）
早期的企业工程总结与实践者例如詹姆斯·迈天等，就是信息工程的主要开拓与倡导者，他们从信息工程、信息工程实施与企业变革的关系这样的立场与角度发展和提出了企业工程。信息工程在更大范围上，也可以被归纳为软件工程的一部分，但信息工程所倡导的理念和方法都与“主流”的软件工程有一定区别，它成为企业工程思想的一个独特来源，也与此有关。
软件工程（软件工程）与计算机建模
企业应用软件的开发通过需求分析与建模这个环节，与企业工程形成了天然的联系，近些年对企业架构（EA）的研究与应用，则更加将企业信息技术应用的整个生命周期与企业工程关联起来。另一方面，现代企业建模语言和应用，都是建立在计算机建模的基础上的。
管理学（管理学）
广义的管理科学，具有十分宽泛的内容，上面所述的再造工程、工业工程等，也可划入其中，从这个角度，企业工程也应该划入其中。然而，从相对狭义的角度去比较“管理”与“建设”的区别是有启发意义的。企业工程是关于企业实体设计与建设的，企业管理是关于这个企业实体的运作的。“变化管理”（應變管理）是二者的交汇点之一。企业管理领域的组织理论、管理体系（例如ISO9000，CMM）方面的知识与实践，也是企业工程知识的重要来源。
系统工程（系统工程）
系统工程与企业工程的关系与以上方面不同，它是企业工程最重要的理论基础之一。企业是一个复杂的开放系统，系统工程原理应当是企业工程的基础原理，企业工程是系统工程一个独特的应用领域。

* 企业
* 组织
* 企业架构
* 企业建模
* 企业集成
* 工业工程
* 信息工程
* 再造工程
* 业务工程
* 业务过程再造
* 业务过程管理
* 组织理论
* 企业经济学
# 系统架构[编辑]

**系统架构**是定義系統的结构、行為及其他視圖（view）的概念模型。架构敘述（architecture description）是有關系統的正式描述以及呈現，以有助於瞭解系統结构和行為的方式來組織。

系统架构可以包括系統中的組件以及子系統，這些元件以及子系統共同工作來實現整個系統。有許多人設法將描述系統架構的語言形式化，這些語言稱為架构描述语言（ADL）。

## 簡介

許多組織用不同的方式在定義系統架構，以下是一些例子：

* 系統的基本組織，由其組件、組件之間的關係以及組件和環境的關係、主導其設計以及演進的原則所組成。
* 一個系統的呈現，包括從機能到硬體組件和軟體組件的映射、從软件架构到硬體架構的映射，以及這些介面和人的互動。
* 實體元件的分配安排，針對消費產品或是產品生命週期提供其設計方案，目的是要滿足機能架構的需求，以及需求的基線（baseline）。
* 包括最重要、普遍、頂層、策略性發明、決策的架構，以及這些和整體架構之間的基本原理（即其基本要素和關係），以及其相關的特徵以及行為。
* 有關电子计算机設計以及內容的敘述。若有文件，可能會包括目前硬體、軟體以及網路能力的細節清單，有關長期計劃以及後續優先購買項目的敘述，以及昇級或更換過期設備或軟體的計劃
* 系統的正式敘述，或是在組件層級的系統詳細計劃，目的是為了做為實作的指引。
* 產品設計架構的組成，以及其生命週期過程
* 組件的結構，組件之間的關係，主導其設計以及演進的定律及指引。

系統架構可以視為是一組已有系統（或是未來系統）呈現方式的組合。其呈現一開始會說明一般性，高階的機能組織，漸漸會到更細節，更具體的敘述。

系統架構承載了組成系統元素的資訊、元素之間的關係、主導這些關係的原則。系統架構可能包括硬體、軟體、文件、設備、人工程序或是由組織或是人員所扮演的角色。

系統架構一般會專注在系統組件或是子系統的介面，以及系統和外部環境（特別是用户）之間的介面。系統和使用者之間的界面會稱為用户界面或人机交互。

系統架構可以和系統架構工程（system architecture engineering、SAE）對比，系統架構工程是有效實現系統架構的方法以及原則：

* 系統架構工程是一種方式，因為其中有提到許多步驟，在許多條件的約束下，產生系統架構或是更改系統架構。
* 系統架構工程是一種原則，因為使用了知识體系來告知實作者，在許多條件的約束下，最有效設計系統的方式是什麼。

## 和其他領域的關係

系統架構和許多領域中長時間發展的技術和實務緊密相關，其中最重要的領域應該是土木架構。

在數位電腦發明之前，在電子學以及其他領域都已使用「系統」一詞，其意義也和現代的意義相近。不過隨著數位電腦的出現，軟體工程也發展成獨立的學科，因此開始需要區分工程製作的硬體工件、軟體工件，以及合併硬體和軟體的工件。可程式化的硬體工件（電腦的硬體）若沒是沒有軟體，無法發揮其作用，而軟體工件若是沒有可以執行其程序的硬體，也無法發揮作用。而硬體和軟體配合，就可以進行非常多的工作。因此，在電腦及軟體領域（也包括其他工程領域，例如通訊）中，常會用「系統」來表示有所有基本元件（一般來說，會包括硬體和軟體），可以執行特定工作的工件。

在上述的領域中，系統多半是指可程式的硬體以及其中的軟體，系統工程師會關注整體的設備（包括硬體和軟體），特別關注其中各單元之間的介面，也包括軟體和硬體的介面，以及設備和人之間的界面（人機介面）。硬體工程師會負責硬體元件的開發，軟體工程師會負責軟體的開發，而系統工程師的工作是確認軟體可以在硬體上正常執行，以及使用者是否可以正常使用此一設備，執行預期的功能。

系統架構會用到硬體元件和軟體元件，用這些元件來設計整體的系統。好的系統架構可以視為是分割方案，將系統現有（或是預期會有）的功能分割到一組可以清楚劃分的有界子系統中，沒有任何遺漏。分割的主要目的是安排各個子系統中的元件，使元件之間的相互相依性降到最低。不論是軟體或是硬體，好的子系統多半本身就是一個有意義的「物件」。而且，好的系統可以將使用者的需求以及對應的測試相對應。理想上，每一個元件也都會有對應的需求以及測試。

## 種類

以下是不同種類的系统架构（其基本原則都相同）：

* 硬體架構
* 软件架构
* 企业架构
* 協作系統架構（例如網路、智慧型運輸系統和聯合防空系統）
* 生產系統架構
* 策略系統架構

## 相關條目

* 架构模式
* DoDAF
* 企業架構框架
* 企業資訊安全架構
* 流程架構
* 需求分析
* 软件架构
* 软件工程
* 系统架构师
* 系统分析
* 系統設計
* 系统工程

## 參考資料

* Principles of system architecture （页面存档备份，存于互联网档案馆）
* What is Systems Architecture ? （页面存档备份，存于互联网档案馆）
* INCOSE Systems Architecture Working Group （页面存档备份，存于互联网档案馆）
* Journal of Systems Architecture （页面存档备份，存于互联网档案馆）
# 领域特定语言[编辑]

**領域特定語言**（英語：Domain-specific language，縮寫：**DSL**），也稱為**特定域語言**，是專門針對特定應用領域的计算机语言，和可以用在多種領域的通用語言（GPL）恰好相反。像HTML專門用在網頁設計上，就屬於領域特定語言，也有些領域特定語言只用在一個或幾個軟體上，例如MUSH軟體碼。領域特定語言還可以依使用的語言分類，像是領域特定的標記語言、領域特定的建模語言（或更廣義的規格語言）以及領域特定的程式語言。從電腦發明開始，就已出現特定用途的電腦語言。而「領域特定語言」一詞是隨著特定域建模（domain-specific modeling）的興起，才開始廣為使用。簡單的領域特定語言（特別是只有單一應用程式使用的領域特定語言），有時也會稱為**迷你語言**。

領域特定語言和通用語言之間沒有明確的界線，因為可能某计算机语言原來有一些適用於特定領域的特徵，但也可以應用在更通用的範圍，相反的，也有可能某计算机语言理論上可以用在多種領域，但實務上只用在特定領域中。像Perl一開始是設計為文字處理語言以及膠水語言（和AWK、shell script的領域相同），但後來成為通用的程式語言。相反的，PostScript是圖靈完備的語言，但實際上只用作頁面描述語言（領域特定語言）。

## 用途

設計及使用適合的語言，是領域工程中重要的一環，作法可能是選擇適合此領域的現有語言（可能是某個領域特定語言或通用電腦語言），也可能是開發一種新的領域特定語言。面向语言的程序设计會把為了描述問題而創建特定語言一事，視為問題解決流程的標準步驟之一。假如用一種新的領域特定語言描述某種問題，會比用現有語言描述更加清楚，而且這種問題又常常出現，那麼創建此一領域特定語言（以及配合的軟體）就是值得的。領域特定語言可以針對特定的問題領域、特定的問題表示方式、特定的解決方案技術，或是某一領域的其他層面。

### 用在設計和實現上

领域特定语言是在設計和實現上有特定目的的語言（或是宣告的語法或是文件）。领域特定语言可以是視覺對話語言（visual diagramming language），例如Generic Eclipse Modeling System中建立的語言，可以是程式化抽象，例如Eclipse Modeling Framework，也可以是文字語言。例如，命名列工具grep中正则表达式語法，可以在文字中尋找特殊排列規則的文字。sed工具定義了匹配和取代正则表达式的語法。一般來說，這些小工具可以在殼層內整合使用，以達到複雜的系統工作。

有時领域特定语言和腳本語言之間沒有清楚的分界，不過领域特定语言多半沒有處理檔案系統的低階功能、跨行程控制、以及一些全功能程式語言或腳本語言必須有的功能。許多领域特定语言不會編譯成字节码或是可執行檔，而會轉換為許多不同的媒體格式。像GraphViz可以輸出PostScript、GIF檔、JPEG檔等。Csound則會編譯成聲音檔。像是POV-Ray之類的光線追蹤（ray-tracing）领域特定语言會轉換為圖形檔。像是SQL之類的電腦語言會有種特殊的情形：SQL是針對特定領域（存取和維護關聯資料庫）的，所以的確是领域特定语言，也常會其他應用程式呼叫，但SQL的關鍵字及函數比許多腳本語言都多，一般也會視為是獨立的語言，有可能是因為在程式中資料庫使用的普及性，以及要成為此語言專家需要有的掌握程度。

許多领域特定语言也有提供API，因此可以在其他程式執行時呼叫此API，不影響原程式的流程，此運作方式類似程式的函式庫，和腳本語言之間的差異就更小了。

### 程序開發工具

有些领域特定语言會隨著時間擴展，加入全功能的程式開發工具，因此更增加了該語言是否是领域特定语言的問題難度。

在模型驱动工程中，有許多领域特定语言的例子，像是用斷言說明模型的OCL、或是领域特定的轉換语言QVT，不過统一建模语言（UML）反而是通用的建模語言。

有一個類推可以說明超小型語言及领域特定语言：超小型語言像是刀，有許多不同的使用方式，從切食物到鋸樹都可以。领域特定语言像是電鑽，也有很多不同的使用方式，不過都是用來在東西上鑽洞上。通用特定语言是完整的完整的工作台，有許多特別用來進行特定工作的工具。程式設計師使用领域特定语言的方式類似他們看工具台，知道他們需要一個較好的電鑽，而且找到一個剛好適用的领域特定语言。

## 優點和缺點

領域特定語言的一些優點如下：

* 領域特定語言可以使解決方案以較簡潔的方式呈現，而且達到問題域上的抽象層次。意思就是領域專家自身可以理解、驗證、修改，甚至開發領域特定語言的程式。不過，可以達到此程度的例子不多。
* 領域特定語言可以達到領域層次的计算机安全。只要其語言構造（language construct）是安全的，以此寫的所有程式碼可以視為是安全的。
* 領域特定語言有助於將商業資訊系統的開發，從傳統的軟體開發者轉到領域專家身上，此一群體人數較多，對此一領域有較深入知識，但程式技術較為不足。
* 若領域特定語言的scope較小，會比較容易學習。

領域特定語言的一些缺點如下：

* 學習新語言的成本。
* 應用範圍受限。
* 設計、實現及維護領域特定語言以及開發工具（集成开发环境）的成本。
* 尋找、設定及維護適當的語言scope。
* 設計領域特定語言時，需在領域專門的語言構造，以及通用的語言構造之間取捨平衡。
* 相較於程式設計師撰寫的程式碼，領域特定語言的效率可能會比較低。
* 同一領域可能有計多種非標準語言，例如不同保險公司開發、使用的領域特定語言。
* 非技術背景的領域專家不容易自行撰寫或修改領域特定語言的程式。
* 領域特定語言和（用通用語言撰寫的）IT系統其他模組不易整合。
* 特定領域特定語言的專家人數較少，會帶來人力成本的增加。
* 不容易找到相同領域特定語言的程式碼範例。

## 註解

## 相關條目

* 語言工作檯
* 架構描述語言
* 專門用途語言
* 行話
* 元語言抽象
* 程式設計領域

## 參考資料
# 自動機

音樂自動機
瑞士自動機和音樂盒博物館典藏的人偶自動機
運作中的人偶自動機
**自動機**（英語：automaton，又稱**自動機器**、**自動機械**），是指非電源供應，以發條裝置作為動力來源，使自己運作的機器；自動機是必須先手動上緊發條，發條帶動機器內部的齒輪及隨動機械零件，才能自己運作，發條的能量就像蓄電池一樣消耗，必須再上緊發條；運作原理有別於發動機、發電機、電動機及永動機。

## 詞源

「automaton」一詞源於古希臘語αὐτόματον（autómaton），意為 「以自我意志動作」。最早被荷马运用，来描述门的自动打开，以及三角支架（tripod）的自动移动。

## 運用

* 擺鐘
* 音樂盒或鳥鳴音樂盒
* 機械玩具
	+ 自動人偶（英語：automaton，又稱機器人偶）：在人偶內部，設置多個特殊形狀的齒輪、隨動機械零件，形成精密複雜的構造；上緊發條後，隨動機械元件會因為齒輪的轉動，而帶動人偶手臂，使人偶自己做出類似人類的動作，例如寫字、彈琴、表情變化等；自動人偶的製造，可追溯到18世紀到19世紀歐洲，有些是出自於巧奪天工的鐘錶工匠之手，可以說是「古代的機器人」以及「現代機器人的前身」，但無法像人工智慧一樣擁有自我思考，甚至是情感意識。
		- 機關人偶：以日本傳統工藝製造的自動人偶。
* 人偶鐘
	+ 布谷鸟钟
	+ 戰車鐘
* 手動機械錶

* 雅克·德·沃康松設計的三個代表性自動機作品：長笛演奏者、消化鴨和手鼓演奏者
* 瑞士自動機和音樂盒博物館展示的「鳥籠音樂盒」，為鳥鳴音樂盒的一種
* 布谷鸟钟
* Cima automaton
* 《寫字的皮耶爾》
Léopold Lambert 1900年，人偶右手俐落地似寫字般移動，眼睛變化像是帶著睡意。當頭部低垂燈火減弱時，又會宛如回神繼續寫信。（野坂自動人偶美術館收藏品）
* 正在繪圖的美拉德自動機機械人偶
* 日本田中久重發明的「弓曳童子」機關人偶
* 英國皇家收藏的法貝熱大象自動機

## 注釋

* 自動機理論
* 細胞自動機
* 傀儡：手動操控的人偶
* 機械玩具
* 發條玩具
* 機器人
* 人形機器人
* 自動化
* 加扎利
* 自動機械錶
* 達文西機械人
* 土耳其行棋傀儡
* 機關人偶

## 參考來源
# 可计算性[编辑]

**可计算性**（Computability）是指一个实际问题是否可以使用计算机来解决。从广义上讲如“为我烹制一个汉堡”这样的问题是无法用计算机来解决的（至少在目前）。而计算机本身的优势在于数值计算，因此可计算性通常指这一类问题是否可以用计算机解决。事实上，很多非数值问题（比如文字识别，图象处理等）都可以通过转化成为数值问题来交给计算机处理，但是一个可以使用计算机解决的问题应该被定义为“可以在有限步骤内被解决的问题”，故哥德巴赫猜想这样的问题是不属于“可计算问题”之列的，因为计算机没有办法给出数学意义上的证明，因此也没有任何理由期待计算机能解决世界上所有的问题。分析某个问题的可计算性意义重大，它使得人们不必浪费时间在不可能解决的问题上（因而可以尽早转而使用除计算机以外更加有效的手段），集中资源在可以解决的问题上。

* 麦当劳化
# 形式语义学[编辑]

在计算理论中，**形式语义学**是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。

语言的形式语义是用数学模型去表达该语言描述的可能的计算来给出的。

形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。

提供程序设计语言的形式语义的方法很多，其中主要类别有：

* 指称语义学，着重于语言的执行结果而非过程，包括域理论；

* 操作语义学，例如抽象机（象SECD抽象机），着重于描述语言的过程；

* 公理语义学，如 谓词变换语义学和代数语义学。

* Semantics with Applications
* 定义 （页面存档备份，存于互联网档案馆）
# 数学软件[编辑]

**数学软件**，是用來建模、分析、計算各種數學資料，包括數值、符號、幾何資料等之電腦軟體。

## 電腦代數系統

目前比较流行的電腦代數系統有MAPLE、Mathematica、Maxima、PARI/Gp、Sage等。

## 统计

常見的统计软件有SPSS、SAS、Minitab、R语言、PSPP等。

## 幾何

常見的交談式幾何軟體有GeoGebra、幾何畫板等。

## 數值分析

常見的數值分析軟體有MATLAB、GNU Octave、Scilab、FreeMat等。
# 进化计算[编辑]

| 进化计算 |
| --- |
| 上级分类 | 人工智能  |
| 所属实体 | computational intelligence  |

**进化计算**是遗传算法、进化策略、进化规划的统称。进化计算起源于20世纪50年代末，成熟于20世纪80年代，目前主要被应用于控制工程、机器学习、最佳化等领域。

## 起源

* 1932年，Cannon把自然演化想象为一个学习过程，并将自然演化中的种群维持机制，修改为个体反复随机试验。
* 1950年，图灵认识到机器学习与演化间存在明显关系。
* 1959年，Friedman推测，模仿变异与选择可以设计思想机器，并指出下棋程序可以使用这种方法设计。
* 1960年，Cambell猜想：在导致知识扩张的所有过程中，都要涉及“盲目—变化—选择—幸存”的过程。

## 技術

進化計算技術列舉如下：

* 進化演算法：對於最佳化問題的候選解做演化計算的演算法。
* 遺傳演算法：對於最佳化問題，候選解（稱為個體）可抽象表示為染色體，使種群向更好的解進化。
* 遺傳編程：從生物演化過程得到靈感的自動化生成和選擇電腦程式來完成用戶定義的任務的技術。
* 进化策略
* 进化规划

## 參考文獻
# 专家系统[编辑]

**专家系统**是早期人工智能的一个重要分支，它可以看作是一类具有专门知识和经验的计算机智能程序系统，一般采用人工智能中的知识表示和知识推理技术来模拟通常由领域专家才能解决的复杂问题。

一般来说，专家系统=知识库+推理机，因此专家系统也被称为基于知识的系统。一个专家系统必须具备三要素：

1. 领域专家级知识
2. 模拟专家思维
3. 达到专家级的水準

## 概述

专家系统适合于完成那些没有公认的理论和方法、数据不精确或訊息不完整、人类专家短缺或专门知识十分昂贵的诊断、解释、监控、预测、规划和设计等任务。一般专家系统执行的求解任务是知识密集型的。

专家系统能为它的用户带来明显的经济效益。用比较经济的方法执行任务而不需要有经验的专家，可以极大地减少劳务开支和培养费用。由于软件易于复制，所以专家系统能够广泛传播专家知识和经验，推广应用数量有限的和昂贵的专业人员及其知识。

专家系统在给它的用户带来经济利益的同时，也造成失业。

专家系统的应用技术不仅代替了人的一些体力劳动，也代替了人的某些脑力劳动，有时甚至行使着本应由人担任的职能，免不了引起法律纠纷。比如医疗诊断专家系统万一出现失误，导致医疗事故，怎么样来处理，开发专家系统者是否要负责任，使用专家系统者应负什么责任，等等。

## 有效性

專家系統的有效性包括和一個理想系統或專家的性能進行比較，根據結果對知識庫和推理過程進行改進。

* 性能評價的定性方法
	1. 圖靈測試法：測試一台機器是否具有智慧的方法
	2. 敏感度分析法：對係數的變化做出反應
* 性能評價的定量方法
	1. Paired T測試
	2. T2測試
* 具有多個專家的性能評價的定量方法：討論多個專家的一致性問題，一般用關聯係數來評測專家系統能為它的用戶帶來明顯的經濟效益。用比較經濟的方法執行任務而不需要有經驗的專家，可以極大地減少勞務開支和培養費用。由於軟體易於複製，所以專家系統能夠廣泛傳播專家知識和經驗，推廣應用數量有限的和昂貴的專業人員及其知識。

## 开发工具

* CLIPS
* Prolog
* Jess
* MQL 4

## 著名的专家系统

* ExSys：第一個商用專家系統。
* Mycin：一个诊断系统，其表现出人意料的好，误诊率低達专家级水準，超過一些诊所的医生。
* Siri：一個透過辨識語音作業的專家系統，由蘋果公司收購並且推廣到自家產品內作為一個人秘書功能。
# 交叉驗證[编辑]

**交叉验证**，有時亦稱**循環估計**，
是一種統計學上將数据樣本切割成較小子集的實用方法。於是可以先在一個子集上做分析，而其它子集則用來做後續對此分析的確認及驗證。一開始的子集被稱為**訓練集**。而其它的子集則被稱為**驗證集**或**測試集**。交叉验证的目的，是用来给模型作训练的新数据，测试模型的性能，以便減少诸如过拟合和选择偏差等問題，并给出模型如何在一个独立的数据集上通用化（即，一个未知的数据集，如实际问题中的数据）。

交叉驗證的理論是由Seymour Geisser所開始的。它對於防範根据数据建议的测试假设是非常重要的，特別是當後續的樣本是危險、成本過高或科学上不适合时去搜集的。

## 交叉验证的使用

假设有个未知模型具有一个或多个待定的参数，且有一个数据集能够反映该模型的特征属性（训练集）。适应的过程是对模型的参数进行调整，以使模型尽可能反映训练集的特征。如果从同一个训练样本中选择独立的样本作为验证集合，当模型因训练集过小或参数不合适而产生过拟合时，验证集的测试予以反映。
交叉验证是一种预测模型拟合性能的方法。

## 常見的交叉驗證形式

### Holdout持久性驗證

常識來說，Holdout 驗證並非一種交叉驗證，因為数据並沒有交叉使用。
隨機從最初的樣本中選出部分，形成交叉驗證数据，而剩餘的就當做訓練数据。
一般來說，少於原本樣本三分之一的数据被選做驗證数据。

### *k*折交叉验证

*k*折交叉验证（英語：*k*-fold cross-validation），将训练集分割成*k*个子样本，一个单独的子样本被保留作为验证模型的数据，其他*k* − 1个样本用来训练。交叉验证重复*k*次，每个子样本验证一次，平均*k*次的结果或者使用其它结合方式，最终得到一个单一估测。这个方法的优势在于，同时重复运用随机产生的子样本进行训练和验证，每次的结果验证一次，10次交叉验证是最常用的。

### 留一驗證

正如名稱所建議，留一驗證（英語：leave-one-out cross-validation, LOOCV）意指只使用原本樣本中的一項來當做驗證資料，而剩餘的則留下來當做訓練資料。這個步驟一直持續到每個樣本都被當做一次驗證資料。
事實上，這等同於*k*折交叉验证，其中*k*為原本樣本個數。
在某些情況下是存在有效率的演算法，如使用kernel regression 和吉洪诺夫正则化。

## 誤差估計

可以計算估計誤差。常見的誤差衡量標準是均方差和方根均方差，
分別為交叉驗證的方差和標準差。

## 另見

* 重抽样
* 提升方法
* 引导聚集算法

## 參考文獻

* Naive Bayes implementation with cross-validation in Visual Basic (includes executable and source code)
* A generic k-fold cross-validation implementation (free open source; includes a distributed version that can utilize multiple computers and in principle can speed up the running time by several orders of magnitude.)
# 运算数学[编辑]

运算数学是数学的一个分支，研究的内容包括设计和分析算法以及数学建模等，目的是为了在实际工程中利用快速稳定的算法得到精确值的近似值。在运算机科学高度发展的今天，其基础运算理论的发展使运算数学进入现代化阶段。

## 运算数学的几个主要方面

* 逼近论与函数逼近
* 非线性方程求解
* 矩阵及特征值理论
* 最优化及其算法
* 微分方程及其数值解
* 建立在上面基础之上的数学建模及其应用

* 计算科学家
* 信息与计算科学

## 延伸閱讀

* Cucker, F. Foundations of Computational Mathematics: Special Volume. Handbook of Numerical Analysis. North-Holland Publishing. 2003. ISBN 978-0-444-51247-5.
* Harris, J. W.; Stocker, H. Handbook of Mathematics and Computational Science. Springer-Verlag. 1998. ISBN 978-0-387-94746-4.
* Hartmann, A.K. Practical Guide to Computer Simulations. World Scientific. 2009  [2014-10-26]. ISBN 978-981-283-415-7. （原始内容存档于2009-02-11）.
* Nonweiler, T. R. Computational Mathematics: An Introduction to Numerical Approximation. John Wiley and Sons. 1986. ISBN 978-0-470-20260-9.
* Gentle, J. E. Foundations of Computational Science. Springer-Verlag. 2007. ISBN 978-0-387-00450-1.
* R. E. White (2003), Computational Mathematics: Models, Methods, and Analysis with MATLAB, Chapman and Hall. ISBN 978-1-58488-364-7
* X. S. Yang (2008), Introduction to Computational Mathematics, World Scientific, (2008). ISBN 978-9812818171
* G. Strang (2007), Computational Science and Engineering, Wiley. ISBN 978-0961408817

* Princeton Program in Applied and Computational Mathematics
* Applied and Computational Mathematics, Caltech（页面存档备份，存于互联网档案馆）
* Center for Computational Mathematics, University of Colorado Denver
* Scientific Computing and Computational Mathematics Program, Stanford University
* Institute for Computational Science and Engineering, The University of Texas at Austin（页面存档备份，存于互联网档案馆）
* Foundations of Computational Mathematics（页面存档备份，存于互联网档案馆）非利润组织
# 計算社會科學

**計算社會科學（**英語：**Computational social science）**指的是在社會科學中採用電腦運算方法的學術分支，運算用以建立模型、模擬、分析社會現象。次分支包括計算經濟學、計算社會學、歷史動力學、自動媒體分析等等，內容則專注在透過模擬、建模、網絡分析、媒體分析等觀察社會與行為關係及互動。計算社會科學演化自科學方法的基礎：觀察研究（如利用大數據分析數位足跡）以及科學理論（如利用電腦模擬建立社會模型）等等。計算社會科學是一種多學科綜合的方法，透過先進的資訊科技觀察社會，特別是資訊的處理。電腦用於分析社會網絡、社會地理系統 、社群媒體、傳統媒體內容等等。

計算社會科學日益依賴逐漸增加的大型資料庫，目前正由幾個跨領域計畫建置中或維護中的資料庫有：

* 塞莎特（Seshat）：全球歷史的資料庫，內容系統性的收集了關於內容群體政治社會組織的資訊，以及社會如何演化等。塞莎特隸屬於演化研究所，演化研究所為非營利智庫，目標為「利用演化科學來解決現實世界問題」。
* D-PLACE：地方、語言、文化和環境資料庫，提供超過1400個人類社會形態的資料。
* 文化演化圖集：是由彼得·百富勤（Peter N. Peregrie）所建立的考古資料庫。
* CHIA （页面存档备份，存于互联网档案馆）：即歷史分析的協作資訊（Collaborative Information for Historical Analysis （页面存档备份，存于互联网档案馆）），是由匹茲堡大學主持的多學科合作項目，旨在將歷資訊資訊建檔，將數據與全球各地的研究機構連結起來。
* 國際社會歷史研究所（International Institute of Social History）：收集關於勞動關係，工人和勞動的全球社會歷史的資料。
* Human Relations Area Files eHRAF Archaeology。
* Human Relations Area Files eHRAF World Cultures。
* Clio-Infra （页面存档备份，存于互联网档案馆）：從公元前1800年到現在的全球社會樣本的經濟績效和社會福利其他方面的資料庫。

對大量歷史報紙內容的分析率先顯示了如何自動發現週期性結構 ，對社群媒體進行類似的分析，也能看到明顯的週期性結構。

* Cliodynamics
* Seshat (project)
* 社會科學
* 計算社會學
* 計算經濟學
# 罗杰·班尼斯特[编辑]

| 罗杰·班尼斯特 Roger Bannister |
| --- |
|  |
| 个人资料 |
| 所属国家队 |  英国 |
| 籍贯 | 英国伦敦 |
| 出生 | (1929-03-23)1929年3月23日  英国英格蘭倫敦Harrow |
| 逝世 | 2018年3月3日(2018-03-03)（88歲）  英国英格蘭牛津 |
| 居住地 |  英国英格蘭 |
| 教育程度 | 牛津大學 |
| 母校 | 牛津大學 |
| 活跃年代 | 1950 － 2018 |
| 运动 |
| 国家／地区 |  英国 |
| 运动 | 田徑 |
| 项目 | 中長跑 |
| 教练 | Franz Stampfl |
| 成绩与头衔 |
| 区域性决赛 | * **1950年歐洲田徑錦標賽**：800公尺第三名
* **1954年歐洲田徑錦標賽**：1500公尺第一名
 |
| 全国性决赛 | * **1950年英格蘭業餘田徑錦標賽**：880碼第二名
* **1951年英格蘭業餘田徑錦標賽**：1英里第一名
* **1952年英格蘭業餘田徑錦標賽**：880碼第一名
* **1953年英格蘭業餘田徑錦標賽**：1英里第一名
* **1954年英格蘭業餘田徑錦標賽**：1英里第一名
 |
| 奥运会决赛 | * **1952年夏季奧林匹克運動會**：1500公尺第四名
 |
| 英联邦运动会 决赛 | * **1954年大英帝國和聯邦運動會**：1英里第一名
 |
| 个人最好成绩 | * **800公尺**：1分50.7秒（手動） （1950年）
* **880碼**：1分51.5秒（手動） （1952年）
* **1500公尺**：3分46.30秒 （1952年）
* **1英里**：3分58.8秒（手動） （1954年）
 |
|
奖牌记录

|  |
| --- |
| **代表  英国** |
| 男子田徑
 |
| 歐洲田徑錦標賽
 |
|  | 1950年比利時布魯塞爾 | 800公尺
 |
|  | 1954年瑞士伯恩 | 1500公尺
 |
| 大英帝國和聯邦運動會
 |
|  | 1954年加拿大英屬哥倫比亞省溫哥華市 | 1英里
 |

 |
| 最近更新于：2016年12月16日 |

**罗杰·吉伯特·班尼斯特**爵士，CH，CBE（英語：Sir **Roger Gilbert Bannister**，1929年3月23日—2018年3月3日），英国男子赛跑运动员，神经学专家。他是第一个在1英里赛跑中跑进4分钟的人。

班尼斯特的运动员生涯从其于1946年进入牛津大学学习开始，在1952年夏季奥林匹克运动会上，他取得了1500米跑的第四名。1954年5月6日，班尼斯特在一次牛津大学同别校的校际对抗赛中以3分59秒4的成绩突破了4分大关，打破了长久以来人们心目中的人类极限。46天后，英国选手约翰·兰迪以3分58秒0的成绩打破了班尼斯特的世界纪录，但是班尼斯特已经作为打破人类极限的代表载入史册。

1954年8月29日，班尼斯特在赢得欧洲锦标赛1500米冠军后宣布退役，致力于神经学学习和研究。他其后曾出任牛津大学彭布罗克学院院长，2001年退休。
2004年的英鎊50p上面是此事件的紀念。

## 參考資料

* *The First Four Minutes: ESPN Classic Television Program*.
* Bannister, Roger (1955), *The Four-Minute Mile*. Revised and enlarged 50th anniversary (of the race) edition, 2004, The Lyons Press.
* Bascomb, Neal (2004), *The Perfect Mile: The Perfect Mile: Three Athletes, One Goal, and Less Than Four Minutes to Achieve It*. ISBN 0-618-39112-6.
* Cameron, Julia (1993), *The Artist's Way*. Oxford, London: Pan Books. ISBN 0-330-34358-0.
* Nelson, Cordner and Quercetani, Roberto (1985), *The Milers*, Tafnews Press, 1985, ISBN 0-911521-15-1, pp. 181-215
* Quercetani, R. L. (1964), *A World History of Track and Field Athletics, 1864–1964*, Oxford University Press. (A history of the mile/1500 m. event.)

* 罗杰·班尼斯特在世界田联的頁面
* Newsreel Footage of Roger Bannister achieving the Four-Minute Mile （页面存档备份，存于互联网档案馆）
* Roger Bannister and the Four-Minute Mile （页面存档备份，存于互联网档案馆）, original reports from *The Times*.
* Sir Roger Bannister is Patron of the Multiple System Atrophy Trust （页面存档备份，存于互联网档案馆）.
* Freeman of London Borough of Harrow
* Documents relating to Bannister （页面存档备份，存于互联网档案馆） in the Queen Square Archive
# 德雷克

**德雷克**（Drake）可能指：

* 弗朗西斯·德雷克（1540年-1596年），伊丽莎白时代英国著名航海家及政治家。
* 德雷克 (歌手)，加拿大唱片艺人及演员。
* 尼克·德雷克，英国著名民谣歌手。
* 埃马纽埃尔·德拉克·德尔卡斯蒂洛，法国植物学家。
* 法兰克·德雷克，美国天文学家与天体物理学家，德雷克公式的提出者。
# 撒克遜人

**撒克遜人**（英語：Saxons，德語：Sachsen），日耳曼蛮族之一，早年分布在今德国境内的下萨克森一带，5世纪時入侵不列颠岛。中文史学界以“撒克逊人”指登陆不列颠岛的部分，也就是盎格魯撒克遜人的先祖；而以“萨克森人”指留在德国境内的另一部分。

## 概論

撒克遜人的名字，可能來自他們隨身攜帶的短刀，撒克斯。

原屬日耳曼人的一个部落集团，公元前二世纪住在北欧日德兰半岛南部，公元三至五世纪经常侵扰北海沿岸并向西南移动，占有现在德国西北部大部分地区，五世纪中叶至六世纪上半叶，一部分与盎格魯人（Angles）、朱特人（Jutes）等渡海移居大不列颠岛，并在七至十世纪结合成为盎格魯-撒克逊人，經過長期的混居，逐漸形成現今英格蘭人的祖先。留在大陆上的撒克逊人，其氏族制度也开始解体，八世纪末被法兰克王国征服，接受了基督教，后于日耳曼人中的阿拉曼人（Alemannen）、巴伐利亚人（Bajuwaren）等结合，逐渐形成近代德意志民族。

## 參见

* 盎格魯人
# 撒克遜人[编辑]

**撒克遜人**（英語：Saxons，德語：Sachsen），日耳曼蛮族之一，早年分布在今德国境内的下萨克森一带，5世纪時入侵不列颠岛。中文史学界以“撒克逊人”指登陆不列颠岛的部分，也就是盎格魯撒克遜人的先祖；而以“萨克森人”指留在德国境内的另一部分。

## 概論

撒克遜人的名字，可能來自他們隨身攜帶的短刀，撒克斯。

原屬日耳曼人的一个部落集团，公元前二世纪住在北欧日德兰半岛南部，公元三至五世纪经常侵扰北海沿岸并向西南移动，占有现在德国西北部大部分地区，五世纪中叶至六世纪上半叶，一部分与盎格魯人（Angles）、朱特人（Jutes）等渡海移居大不列颠岛，并在七至十世纪结合成为盎格魯-撒克逊人，經過長期的混居，逐漸形成現今英格蘭人的祖先。留在大陆上的撒克逊人，其氏族制度也开始解体，八世纪末被法兰克王国征服，接受了基督教，后于日耳曼人中的阿拉曼人（Alemannen）、巴伐利亚人（Bajuwaren）等结合，逐渐形成近代德意志民族。

## 參见

* 盎格魯人