軟件版本週期
軟體版本週期是指電腦軟體的發展及發行過程，如右圖，從pre-alpha（準預覽版本）發展到alpha（預覽版本）、beta（測試版本）、released candidate （最終測試版本）至最後的release/gold（完成版）。 開發期 pre-alpha 有時候軟體會在alpha或beta版本前先釋出pre-alpha版本。一般而言相對於alpha或beta版本，pre-alpha版本是一個功能不完整的版本。 alpha alp…
标签：#计算
共 7 篇文章
国际信息处理联合会
国际信息处理联合会（International Federation for Information Processing，IFIP）是一个致力于计算领域的全球性组织，汇集了科研人员与专业人士，旨在开展学术研究、制定行业标准并推动信息共享。该联合会于1960年在联合国教科文组织的资助与支持下正式成立。 IFIP已获得联合国的广泛认可，联结了约50个国家及国际性的学会与科学学院，其覆盖的专业人士总数逾50万名。IFIP的总部设于奥地利拉克…
证明助手
在计算机科学和数理逻辑中，证明助手（，亦称交互式定理证明器）是一类基于形式化逻辑的计算机软件工具，旨在辅助用户开发形式化证明（以数学上严格的方式构造、验证和管理证明过程）。其核心功能是通过将命题转化为可计算的逻辑框架（如类型论或高阶逻辑），自动化检查每一步推理的正确性，从而确保证明的完整性与无矛盾性。此类工具通常结合了交互式编程环境，允许用户逐步构建证明并即时获得反馈，既可用于验证复杂数学定理的严谨性（如四色定理、开普勒猜想的…
计算 (计算机科学)
计算（）是使用電腦自行运算操作的領域。 科学与理论 计算机科学 计算理论 计算模型 DBLP 科学计算 硬件 计算机硬件 计算机硬件设计 计算机网络 计算机系统 计算机硬件历史 服务器 指令層次的分類(Instruction-level taxonomies) 指令级别 在記憶體普及化之後，焦點轉移到在指令層次上提升CPU的效能。各種取出－執行(fetch-execute)周期的高速化方法包括: 以較簡單、快速的指令，截然不同於CISC…
计算机代码
计算机代码或程序代码是一组构建计算机程序的指令，即计算机所的命令。它是计算机设备上运行的软件部分之一，另一部分为数据。 计算机代码可以指： 机器语言：计算机可直接执行的语言（指令集的一部分）。 字节码：為理論處理器設計的指令，直譯器使用源代码的低级字节码来进行快速翻译。 源代码：由于人类阅读指令集过于困难且以机器码或其他低级语言编程耗时较长，多数程序员使用人類可讀的高级语言编写源代码。編譯器或直譯器随后翻译源代码至机器语言以直接完成任务…
自由線上電腦詞典
《自由在线计算机词典》（英文：Free On-line Dictionary of Computing，缩写：FOLDOC）是一部在线可搜索的以计算机为主题的百科全书及词典，由丹尼斯·豪（Denis Howe）在1985年建立，存放于伦敦帝国学院的主机。豪一直担任该词典的主编，访问者可以针对条目提出添加和修正建议。 词典吸收了《新黑客词典》等自由资源，覆盖了许多计算机相关主题。词典有许多镜像网站，由于在GNU自由文档许可证许可下使用（这…
計算員
計算員（英語：Computer或human computer）是電子計算機發明以前，專門從事數學計算工作的人員，他們通常要分組進行冗長的計算。這項工作起源於17到18世紀的天文學計算。在二次大戰期間，許多女性成為計算員，參與了包括曼哈頓計畫在內的許多計算工作，這些計算員有許多後來從事早期計算機科學的發展。 參考文獻 Grier, David Alan, [https://web.archive.org/web/2016030807510…