约翰·科克

✍ dations ◷ 2025-04-26 17:23:48 #约翰·科克

约翰·科克（英语：John Cocke，1925年5月30日－2002年7月16日），又译为约翰·考克、约翰·寇克，生于美国北卡罗来纳州夏洛特，计算机科学家，在电脑架构及编译器最佳化技术方面有重大贡献，因此获得图灵奖。曾提出CYK算法。在他主导的IBM 801计划中，首次采用RISC架构，因此被称为RISC架构之父。毕业于杜克大学，1946年在此取得机械工程硕士学位，1953年取得数学博士学位。他在1956年进入IBM，在此工作直到1992年退休。1970年，提出CYK算法。1972年，获得IBM院士的头衔。1975年，他负责领导IBM 801微电脑的开发。在开发中，他提出精简指令集的设计方法。他认为，将指令集的数目加以精简，可以简化处理器架构，同时可以减低硬件成本。经过编译器的最佳化，可以增进运算效率。1987年，获得图灵奖。2002年，因为在电脑精简指令集架构与程式最佳化技术方面的贡献，列名计算机历史博物馆。

相关

卵囊黄素囊肿卵囊黄素囊肿（英语：Theca lutein cyst），是一种妇科疾病，双侧卵巢有功能性囊肿，充满了清晰的淡黄色液体。此类肿块至少直径有三厘米。这些囊肿起源于β-人绒毛膜促性腺激素升高到一
陈文泰县陈文泰县（越南语：Huyện Trần Văn Thời），又译作“陈文时县”，是越南金瓯省下辖的一个县。陈文泰县是金瓯省革命烈士陈文泰的故乡。该县即以陈文泰的名字命名。陈文泰县下辖2市
基督教文化基督教文化（英语：Christian culture）是信仰基督教为主的人群长期以来形成的一种文化，并构成了基督教文明（Christian civilization）的主体。基督教源于中东地区游牧民族以色列人的
鸭嘴兽鸭嘴兽（学名：Ornithorhynchus anatinus；英语：Platypus，偶称Duck-billed platypus）是原兽亚纲单孔目鸭嘴兽科鸭嘴兽属（Ornithorhynchus）的唯一一种动物。鸭嘴兽是少有的卵生哺乳动物，
量子力学量子力学（英语：quantum mechanics）是物理学的分支学科。它主要描写微观的事物，与相对论一起被认为是现代物理学的两大基本支柱，许多物理学理论和科学，如原子物理学、固体物理学、
托马斯试验Thomas试验（髋关节屈曲挛缩试验）指的是一项体格检查试验，是以一个英国骨外科医生Hugh Owen Thomas（英语：Hugh Owen Thomas）（1834-1891）的名字来命名的，用来排除髋关节屈曲挛缩（英语：con
静磁学静磁学（Magnetostatics）是电磁学的分支，专门研究电流稳定（不随时间变化）的系统内磁场。在静电学中，电荷是稳定不变的；在这里，电流是稳定不变的。磁化强度不需要是静态的；静磁学的方程
牛顿力学经典力学是力学的一个分支。经典力学是以牛顿运动定律为基础，在宏观世界和低速状态下，研究物体运动的基本学科。在物理学里，经典力学是最早被接受为力学的一个基本纲领。经典力
齿音齿音（或舌尖前音、舌齿音）是舌尖音的一种。发音时，舌尖接触上门牙。若发音时舌尖在上门牙和下门牙之间则又称为齿间音（Interdental）。齿擦音（国际音标为θ和ð）出现在英语、冰岛语
probability概率，旧称几率，又称机率、机会率或或然率，是数学概率论的基本概念，是一个在0到1之间的实数，是对随机事件发生之可能性的度量。概率常用来量化对于某些不确定命题的想法，命题一般会