子类型（也叫做子类型多态或包含多态）：一个名字指称很多不同的类的实例，这些类有某个共同的超类。 在1967年，英国计算机科学家克里斯托弗·斯特雷奇在他的讲义合集《编程语言中的基础概念（英语：Fundamental Concepts in Programming Languages）》中，首次提出了特设多态和参数多态的概念。特设多态是ALGOL...

计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机...

多型或多态性可以是下列意思： 多型 (生物學)（polymorphism）：一個物種的同一種群中存在兩種或多種明顯不同的表型 多态 (计算机科学)（polymorphism）：為不同資料類型的實體提供統一的介面，或使用一個單一的符號來表示多個不同的類型。 多型...

量子计算机（英語：Quantum computer）是一种使用量子力学進行通用計算的設備。但這与电子计算机（或稱傳統電腦）不同，量子計算用來儲存數據的對象是量子位元，它使用量子演算法操作數據。然而，与经典计算机的比特只能处于两个状态之一（0或1）不同，量子比特可以处于这两个基态之间的叠加态...

计算。第一台数字电子计算机出现于第二次世界大战期间。自那时以来，电脑的速度，功耗和多功能性則不断增加。在现代，机械计算机的应用已经完全被电子计算机所取代。 计算机在组成上形式不一。依然有大量体积庞大的巨型计算机为特别的科学计算...

计算机编程语言的构造，是创建对象的蓝图，描述了所创建的对象共同的特性和方法。 类的更严格的定义是由某种特定的元数据所组成的内聚的包。它描述了一些对象的行为规则，而这些对象就被称为该类的实例。类有接口和结构。接口描述了如何通过方法与类及其实例互操作，而结构描述了一个实例中数据如何划分为多...

多个父類別，比如C++编程语言；而在有些编程语言中，一个子類只能继承自一个父類別，比如Java编程语言，这时可以透過實作接口来实现与多重继承相似的效果。 現今物件導向程式設計技巧中，繼承並非以繼承類別的「行為」為主，而是繼承類別的「型態」，使得元件的型態一致。另外在設計模式中提到一個守則，「多...

部件功能 部件间接口 並且電腦系统架構著重於「負責了計算機架構的中心功能：計算」的中央處理器（CPU）內部的執行動作與記憶體的存取。 注意，不要与处理器领域的微体系结构/微架構（Microarchitecture）相混淆。 以常见的冯·诺伊曼计算机的设计为例，体系结构设计包括了： 指令集架構（Instruction...

计算机科学中, 同步（synchronization）是指两个不同但有联系的概念：进程同步与数据同步。进程同步指多个进程在特定点会合（join up）或者握手使得达成协议或者使得操作序列有序。数据同步指一个数据集的多份拷贝一致以维护完整性。常用进程同步原语实现数据同步。 多...

marshalling可译作集结、结集、编码、编组、编集、安整、数据打包、列集等，是计算机科学中把一个对象的内存表示变换为适合存储或发送的数据格式的过程。典型用于数据必须在一个程序的两个部分之间移动，或者必须从一个程序移动到另一个程序。Marshalling类似于序列化，可用于一个对象与一个远程对...

计算机科学裡的狀態空間是對應一系統中所有可能組態的离散空间。狀態空間是可以瞭解系統行為的抽象化工具，常用在人工智能以及博弈论中。 以玩具問題Vacuum World為例，吸塵器和灰塵可以存在的組態只有有限多個，因此狀態空間是有限個。而從一開始計數，隨時間遞增的計數系統也是離散的，數量則是無限多...

计算化学（computational chemistry）是理论化学的一个分支，主要目的是利用有效的数学近似以及电脑程序计算分子的性质，例如总能量、偶极矩、四极矩、振动频率、反应活性等，并用以解释一些具体的化学问题。计算化学这个名词有时也用来表示计算机科学与化学的交叉学科。...

科学共同体（英语：Scientific community，香港多作科学界，台湾多作科学社群），包括了所有的科学家以及他们之间的互动和合作。一般会按不同工作的领域分成子社群，如在计算机科学之下的机器人学界，但不同的子社群之间也有着密切的交流。科學家通过科学方法希望其达到客观性，而同行评审则是借助在杂...

吸引了普通民众的想象力，并引起了一些媒体炒作和在线热议。 2023年的GPT-4因其准确性的提高而受到称赞，并因其多模态功能而被称为“圣杯”。 OpenAI没有透露GPT-4的高级架构和参数数量。ChatGPT的发布导致计算机科学的几个研究子领域的LLM使用率上升，包括机器人技术、软件工程和一些有社会影响的工作。与其竞争...

邵岭是人工智能领域的科学家和企业家。他的研究兴趣包括计算机视觉、机器学习、生成式人工智能、多模态人工智能以及视觉和语言。 邵岭2001年毕业于中国科学技术大学，获得工学学士学位。后赴英国牛津大学，并分别于2002年和2005年获得硕士和博士学位，师从约翰·迈克尔·布雷迪（英语：J. Michael...

在计算机科学中，指標（英語：Pointer），是在许多程式語言中用来存储内存地址的变量。指针变量的值直接指向（points to）存在该地址的对象的值。所指向的可以是计算机内存中的另一个值，或者在某些情况下，是内存映射计算机硬件的值。 在1964年，哈羅德·勞森發明了最早的指標。他在PL/I中實作...

某些病毒具有感染性，比如感染中毒用户计算机上的可执行文件，如exe、bat、scr、com格式，通过这种方法达到自我复制，对自己生存保护的目的。通常也可以利用网络共享的漏洞，复制并传播给邻近的计算机用户群，使邻里通过路由器上网的计算机或网吧的计算机的多台计算机的程序全部受到感染。...

遞迴（英語：recursion）在電腦科學中是指一種通過重複將問題分解為同類的子問題而解決問題的方法。 遞迴式方法可以被用於解決很多的電腦科學問題，因此它是電腦科學中十分重要的一個概念。 絕大多數程式語言支援函式的自呼叫，在這些語言中函式可以通過呼叫自身來進行遞迴。計算理論可以證明遞迴的作用可以完全取代迴圈，因此有很多...

- 資料型態的形式分析以及瞭解程式特性所使用的型態 — 特別是程式安全。 同做 - 模擬計算的理論及應用；在多工或多執行續環境裡的資料安全。 分散式計算 - 在網路上使用多種計算裝置計算來完成一共同的目標或工作並藉此降低單一處理器的工作貢獻。 並行計算 - 使用多個同做的執行緒來計算。 形式方法...

在计算机科学中，忙碌的海狸（Busy Beaver）是一个在给定参数后，寻找可能产生的最大输出的可终止程序。忙碌的海狸游戏包括设计一个可终止的，只输出0或1的图灵机，让其在一条纸带上尽可能多的输出1. 包含两个状态的忙碌的海狸游戏有下面两条规则： 该图灵机包括除终止态以外的两个状态 纸带初始值都是0...

科學定为在理论科学、实验科学和计算科学之后的第四科学科学。 数据科学家是把统计学知识和计算机程式设计知识相结合，并将其用于深度分析数据来获得数据见解的职业。 1960年代，彼得·諾爾就首次提議要用「數據科學（data science、Datalogy）」來替代「計算機科學（computer...

在计算机科学中，类型类（type class），是支持特设多态的类型系统构造。这是通过向参数多态类型的类型变量增加约束完成的。这种约束典型的涉及到一个类型类T和一个类型变量（英语：Type variable）a，并意味着a所能实例化的类型，其成员必须支持关联于T的重载运算。 类型类首先在Haskell中实现，当时Philip...

态空间，逼近了量子计算优越性。 2020年12月4日，潘建伟带领的团队成功构建76个光子的量子计算原型机“九章”，达成量子计算优越性。 2011年，当选为中国科学院院士。 2015年潘建伟和陆朝阳的多自由度量子傳態研究獲得英国物理学会2015年度十大科学突破榜首，譽為當年度世界最重大發現。...

计算机因其低耗電和低廉的生產成本，而於現代盛行。1970 年，布魯納多夫構建了一個增強版本，他稱之為Сетунь 70。在1973年美國開發了在二進位计算机上模擬三進制計算的Ternac模擬器。 随着技术进步，真空管和晶体管等计算机...

Interoperability Interface） 硬碟機介面（英语：Hard disk drive interface） 實現 (計算機科學)（英语：Implementation (computer science)） 继承 (计算机科学) 模块化编程 基于组件的软件工程 虚继承 Hookway...

除了在通用量子计算方面的进展，中性原子平台还在量子模拟、量子传感等多个前沿方向展现出广阔的应用前景。 中性原子量子计算机的架构依赖于原子物理学和激光技术的多项进展，核心环节包括原子的有效囚禁与冷却、量子比特阵列的构建、量子比特的编码方式以及量子态的精确初始化与读出。...

Engineering），通常也包括电子信息工程，是利用电子活动和效应的科学知识来设计、开发以及测试设备、系统或装备的一门工程学科。电子工程表示一个广泛的工程领域，覆盖了很多子领域，包括仪器工程、通信、半导体电路设计等等。 电子工程的应用形式涵盖了电动设备以及运用了控制技术、测量技术、调整技术、计算机技术，直至信息技术的各种电动开关。...

在計算機技术中，虛擬化（技術）或虛擬技術（英語：Virtualization）是一種資源管理技術，是将计算机的各種實體资源（CPU、内存、磁盘空间、網路適配器等），予以抽象、转换后呈现出来並可供分割、組合為一個或多個電腦組態環境。由此，打破實體結構間的不可切割的障礙，使用戶可以比原本的組態...

算法（英語：algorithm），在数学（算学）和计算机科学之中，指一个被定义好的、计算机可施行其指示的有限步骤或次序，常用于计算、数据处理和自动推理。算法可以使用条件语句通过各种途径转移代码执行（称为自动决策），并推导出有效的推论（称为自动推理），最终实现自动化。...

克核聚变反应试验性装置，属于中国国家“九五”重大科学工程。EAST是国际上稳态磁约束聚变研究的重要实验平台，其研究成果将为未来国际热核聚变实验反应堆(ITER)实现稳态高约束放电提供科学和工程实验支持。 中国为了在近堆芯的高参数条件下研究等离子体的稳态和先进运行，深入探索实现聚变发电的物理及工程问题...

，提升计算机安全的设计方式。这是一种与基於能力的安全（英语：capability-based security）完全相反的方式。[來源請求] 电脑操作系统提供不同的资源访问级别。在计算机体系结构中，Rings是由两个或更多的特权态组成。在一些硬件或者微代码级别上提供不同特权态...