Bombe
Bombe是一种电动机械学装置，在第二次世界大战期间被英国密码学家用于帮助破译德国恩尼格玛密码机加密的机密信息。随后，美国海军和美国陆军也依照相同的功能规范各自制造了类似的机器，但其工程设计与Bombe不完全相同，彼此之间存在差异。 英国的Bombe源于波兰密码局密码学家马里安·雷耶夫斯基设计的设备。在此之前，雷耶夫斯基已借助自己設計的機器及更早的设备破译德国恩尼格玛密码机电文长达七年之久。英国Bombe的初始设计由艾伦·图灵于1939…
标签：#艾伦·图灵
共 13 篇文章
图灵测试
图灵测试（）是英國電腦科學家艾伦·图灵於1950年提出的思想實驗，图灵亦将其称为“模仿游戏”（imitation game），这个实验的流程是由一位询问者写下自己的问题，随后将问题发送给在另一个房间中的一个人与一台机器，由询问者根据他们所作的回答来判断哪一个是真人，哪一个是机器，所有测试者都会被单独分开，对话以纯文本形式透过屏幕传输，因此结果不取决于机器的语音能力，这个测试意在探求机器能否模仿出与人类相同或无法区分的智能。 图灵测试是图…
Turochamp
Turochamp是艾倫·圖靈和於1948年開發的國際象棋程式，作為電腦科學和機器學習研究的一部分而創建。Turochamp會以低難度方式與人類棋手对弈，期間它會計算所有潛在的棋步，對手所有可能採取的走棋，以及它認為相當重要的後幾步棋。接著，它會為每個狀況分配點值，並選擇最高點值的狀況來移動。 Turochamp是已知最早進入開發階段的電腦遊戲，但由於算法過於複雜，當時的早期電腦（如自動計算機）無法運行，因此圖靈和錢珀瑙恩從未完成。身在…
模仿游戏
{{Infobox film | name = 模仿遊戲 | original_name = | image = The Imitation Game.jpg | caption = 电影海报 | alt = | director = 莫腾·泰杜姆 | producer = | writer = 格雷厄姆·摩爾 | based on = | starring = | music = 亚历山大·德斯普拉 | cinematography …
艾伦·图灵
{{Infobox Scientist | name = 艾伦·图灵 | native_name = Alan Turing | native_name_lang = en | image =Alan turing header.jpg | caption = 摄于1951年 | birth_date = | birth_place = 伦敦麥達維爾 | death_date = | death_place = 柴郡威姆斯洛 | res…
通用圖靈機
通用图灵机（，又称UTM或Machine U）是一种图灵机，由艾伦·图灵在1936年发明。这种多用途單機器（計算機器）模型可以「運行」任何任意（但well-formed）指令序列（稱為 "quintuples"）。這模型被一些人例如Davis (2000) 認為是「存儲程序電腦」的原點。存儲程序電腦一詞由约翰·冯·诺伊曼使用在他的《電子計算裝置》（"Electronic Computing Instrument"）。這種電腦現在使用冯·…
艾倫·圖靈法
艾倫·圖靈法（）是在英國《》（）中一項條例的非正式名稱，屬於赦免法律，赦免因英國歷史上反同性性交法律定罪的男性。此條例以第二次世界大戰密碼分析學與電腦先驅艾倫·圖靈命名，他在1952年控以「明顯的猥褻和性顛倒行為」罪並疑似於1954年自殺。本條例在英格蘭和威爾斯施行。 數個相關「艾倫·圖靈法」提案曾被提出，2015年起政府亦將設立相關法律列為政策。2016年10月20日，英國政府宣佈將修正警務與犯罪法令，赦免因之前反同性法律獲罪的人：逝…
图灵焦油坑
图灵焦油坑（）是指功能过于灵活而难以学习和使用的程序设计语言或计算机接口。 1982年艾伦·佩利在《》中发明了这一术语： 凡是图灵完备的语言都可以写任意程序，因此不严格地来说各种编程语言是等价的。但理论上的能力在实践中的实用性往往并不相同。图灵焦油坑是指一个非常简单的抽象机，实现中的各种细节都要求用户自行处理。它的另一个极端是几乎不需要人为干涉就能执行所有任务的接口，但一旦需求轻微改变就需要调整源代码。 像Brainfuck这样深奥的编…
安德鲁·霍奇斯
*'（，，，）是一位英国数学家和作家，牛津大學瓦德漢學院研究员，主要作品有《艾伦·图灵传：如谜的解谜者》（Alan Turing: The Enigma*）等。 参考文献 外部链接
圖靈之戀 feat.Sou/Piyo
（）是七音阿卡莉的第2張單曲，於2020年2月5日由Sony Music Associated Records發行。 背景與發行 單曲以3種型式發行，分別是「通常盤」、「初回生產限定盤」與「期間生產限定盤」。主打歌曲是電視動畫《理科生墜入情網，故嘗試證明。》第1季的片尾曲。作詞、作曲與編曲皆由Nayutan星人負責。在「期間生產限定盤」中，收錄了由《理科生墜入情網，故嘗試證明。》中角色演唱的二重唱版本。收錄曲由七音阿卡莉負責作詞與作曲。…
ACE (电子计算机)
自动计算机（，）设计为一台早期的存储程序式电子计算机。 名称中使用“”一词是为了向查尔斯·巴贝奇的差分机（）和分析机（）致敬。它是艾伦·图灵应英国国家物理实验室（NPL）数学部的监督人约翰·沃默斯利（John Womersley）的邀请而设计的。 设计基础 图灵关于ACE的技术设计《电子计算机计划》（）是基于他1936年的理论工作和二战期间的工程经验。 图灵在他1936年发表的论文《论可计算数》（） 中提出了通用图灵机的概念； 二战期间…
图灵估计
Good-Turing平滑法可处理N元语法中数据矩阵的稀疏问题，主要思想将非零N元语法的概率均匀分给一些低概率语法，以修改最大似然估计与真实概率之间的偏离。是使用的比较多的一种平滑算法。 应用背景 在自然语言处理的N元模型中，用最大似然估计（MLE）作为某个字符串出现的概率，这样会造成数据稀疏问题，并且使得MLE值偏离真实概率。这个问题与N元语法自身有关，他们不能估计长距离的上下文，总是倾向于过低地估计哪些在训练语料库中不是彼此向邻近出…
圖靈歸約
圖靈歸約是可计算性理论中的一種歸約，若問題A可圖靈歸約成問題B，是指若問題B的解答已經知道（Rogers 1967, Soare 1987），就可以解問題A，也可以解釋為若一個演算法可以用來處理問題B，就可以處理問題A。較正式的說法，可被圖靈歸約成問題B的問題是指若存在問題B的預言機，就可以求解的問題集合。圖靈歸約可以用在決定性問題及功能性問題。 相關條目 黑盒 图灵机 交互式证明系统 隨機預言機 參考資料 H. Rogers, 196…