Excelの新機能「Lambda関数」によって「Excelの数式がチューリング完全になった」とナデラCEO。プログラミング言語としてのExcel数式であらゆる計算が可能に
Excelの新機能「Lambda関数」によって「Excelの数式がチューリング完全になった」とナデラCEO。プログラミング言語としてのExcel数式であらゆる計算が可能に マイクロソフトCEOのサティア・ナデラ氏は、Excelの新機能である「Lambda関数」の登場をとりあげ、「世界で最も人気のあるプログラミング言語、Excelの数式が、チューリング完全になった」とツイートしました。 Excel formulas, the world’s most popular programming language, is now Turing-complete. Go check it out! https://t.co/qkw3Bmt1gp — Satya Nadella (@satyanadella) February 9, 2021 Lambda関数は、上記のツイートが示す図にあるように、E
人工知能の13歳の少年、チューリングテストに“合格”
英レディング大学は6月8日（現地時間）、アラン・チューリング博士没後60周年に当たる7日に同校が英王立学会で開催した「Turing Test 2014」において、チューリングテストの初の合格者が出たと発表した。 合格したのはウクライナ在住の13歳の少年、ユージーン・グーツマンくんという設定のプログラム。ユージーンくんは2001年にロシア人のウラジミール・ヴェセロフ氏（米国在住）、ウクライナ人のユージーン・デムチェンコ氏（ロシア在住）らが構築した。これまでも多数のチューリングテストイベントに参加して改良を重ねられてきた。 チューリングテストは、「コンピュータの父」と呼ばれる20世紀の英数学者、アラン・チューリング博士が提案した、人工知能を知的と呼べるかどうかを判断するためのテスト。人間が人工知能と対話して、相手が人工知能か人間か判断できなければ、その人工知能は思考しているといえるというもの。
これが現代の科学力……！ 「スーパーマリオメーカーはチューリング完全」はなぜたった1年半で証明されたのか
「マリオメーカー学会」というものをご存じでしょうか。自作ステージを作って遊べるゲーム「スーパーマリオメーカー」に斜め上過ぎる楽しみ方を見いだした“研究者”の集まりで、これまでには「クリアに20万年ほどかかるステージ」「ギミックを巧みに活用した計算機」などが開発されています。 話がぶっ飛んでいて何が何だか分からないかもしれませんが、きっとそれだけ研究が進んでいるということでしょう。今回は、5分間で数学を語るイベント「日曜数学会」から、同学会のハイレベルさが伝わる発表「スーパーマリオメーカーはチューリング完全」を書き起こしました。 拡大画像でスライドを見る スーパーマリオメーカーはチューリング完全 イベント：2019年6月29日開催の第15回「日曜数学会」（Twitter：@nichimath） 発表者：yos1upさん（Twitter：@yos1up） 発売から約2週間で、計算機になったスー
数学的原理に裏打ちされたファンタジー小説──『精霊の箱: チューリングマシンをめぐる冒険』 - 基本読書
精霊の箱 上: チューリングマシンをめぐる冒険 作者: 川添愛出版社/メーカー: 東京大学出版会発売日: 2016/10/26メディア: 単行本この商品を含むブログ (4件) を見る精霊の箱 下: チューリングマシンをめぐる冒険 作者: 川添愛出版社/メーカー: 東京大学出版会発売日: 2016/10/26メディア: 単行本この商品を含むブログ (4件) を見る本書は副題にチューリングマシンをめぐる冒険とあるように、「チューリングマシン」について、その諸原理や応用問題を取り扱った一冊である。チューリングマシンとは計算を数学的にモデル化するために生み出されたもので──と説明を始めたらキリがないので一旦終わるが、それと同時に、本書は「本格ファンタジー」でもある。 ベストセラー『もし高校野球の女子マネージャーがドラッカーの『マネジメント』を読んだら』を筆頭として、ストーリー仕立てで現実の経営論や
330個の1000次方程式によるまどかマギカ pic.twitter.com/QnuOhXQfiT— りんご (@aomoriringo) November 27, 2013 上記のような、任意の画像の輪郭を数式に変換するプログラムを紹介します。 発端 Wolfram|Alphaには「Person Curve」と呼ばれる類の検索結果が存在し、「Barack Obama Curve」「Hatsune Miku like curve」とか検索すると、その人物・キャラを表したパラメトリック方程式とそのプロット結果が表示されます。 これについては以下に示すようにたくさんの記事があり、存在自体は早くから知っていました。 数式が解明されてしまった初音ミク。その他キャラクターを色々試してみました | 猫と杓子 http://nlab.itmedia.co.jp/nl/articles/1305/02/
Accidentally Turing-Complete ― Andreas Zwinkau 本来なら、チューリング完全となるべきではなかったものがある。これは、そのようなうっかりチューリング完全になってしまったものの例である。 C++テンプレート 当初はチューリング完全を目指していなかったが、C++テンプレートはチューリング完全になってしまった。その証明は、この論文にある（PDF） x86 MMU x86のpage fault handlingは、単純なマシンの実装に使える。原理としては、page faultが1 wordをスタックに積み、それによりアンダーフローを起こして別のトラップを生成する。この仕組みは、「減算して0以下ならば分岐」処理を実現する。チューリングマシンを実装するには十分である。デモ動画、講演動画 マジック・ザ・ギャザリング マジック・ザ・ギャザリングはカードゲームであ
人工知能にTwitterを運用させてチューリングテストしたら衝撃的事実が明らかになりました - karaage. [からあげ]
人工知能にTwitterを運用させてチューリングテストしてみた きっかけは、以下の動画がめちゃくちゃ面白かったので、自分でやったらどうなるか実験してみたかったからです。いわゆるパクリです。 ちなみにチューリングテストというのは、その対象に知能があるかどうかを判定するためのテストで、本来はディスプレイとキーボードを介して人とテスト対象（人工知能）が会話するのですが、今回はその簡易版ということで、ツイートをこっそり人工知能と入れ替えて、フォロワーさんがそれに気づくかで判断することとしました（上記動画と同じ要領です）。 動画では、具体的な技術的説明は無かったのですが、昔、マルコフ連鎖を使って似たようなことをしていたので、今回はそれを応用することにしました。詳しくは以下記事参照下さい。 上記記事では、ブログの文章を学習（モデル化）して文章生成していますが、今回は、自分の過去のツイートの内容全てを学
![人工知能にTwitterを運用させてチューリングテストしたら衝撃的事実が明らかになりました - karaage. [からあげ]](https://cdn-ak-scissors.b.st-hatena.com/image/square/7172e0bd969bc5a12b198af9f5b94cffd6be92d0/height=288;version=1;width=512/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fk%2Fkaraage%2F20180408%2F20180408155122.jpg)
ベネディクト・カンバーバッチの主演映画『The Imitation Game（原題）』が、2015年3月から東京・日比谷のTOHOシネマズみゆき座ほか全国で公開される。 コンピューターの概念を創造し、人工知能の有無を判定するテスト「チューリングテスト」や仮想の計算機「チューリングマシン」などで知られる実在の天才数学者アラン・チューリングを主人公にした同作。第二次世界大戦時に解読不能と言われたドイツ軍による15京9000兆通りの暗号「エニグマ」を解読し、イギリス軍を勝利に導いたチューリングの数奇な人生を描く。 テレビドラマ『SHERLOCK』や映画『スター・トレック イントゥ・ダークネス』などへの出演で知られるカンバーバッチがチューリングを演じるほか、キャストにはキーラ・ナイトレイ、マシュー・グード、マーク・ストロングらが名を連ねている。監督は、映画『ヘッドハンター』のモルテン・ティルドゥム
イギリスの新しい50ポンド紙幣の肖像に、コンピューター科学の先駆者で暗号解読者のアラン・チューリング（1912～1954年）が採用されることが明らかになった。イングランド銀行（英中央銀行）総裁が15日、発表した。
アラン・チューリング - Wikipedia
マンチェスターのSackville Gardensにあるアラン・チューリングの銅像 アラン・マシスン・チューリング（Alan Mathison Turing、英語発音: [tjúǝrɪŋ]〔音写の一例：テュァリング〕, OBE, FRS 1912年6月23日 - 1954年6月7日）は、イギリスの数学者、暗号研究者、計算機科学者、哲学者である。日本語において姓 Turing はテューリングとも表記される[2]。 電子計算機の黎明期の研究に従事し、計算機械チューリングマシンとして計算を定式化して、その知性や思考に繋がりうる能力と限界の問題を議論するなど情報処理の基礎的・原理的分野において大きな貢献をした。また、偏微分方程式におけるパターン形成の研究などでも先駆的な業績がある。 人物[編集] 経歴・業績の基盤となる出発点は数学であったが、第二次世界大戦中に暗号解読業務に従事した。また黎明期の電
チューリング・テスト - Wikipedia
チューリング・テスト（英: Turing test）は、アラン・チューリングが提案した、ある機械が「人間的」かどうかを判定するためのテストである。これが「知的であるかかどうか」とか「人工知能であるかどうか」とかのテストであるかどうかは、「知的」あるいは「（人工）知能」の定義、あるいは、人間が知的であるか、人間の能力は知能であるか、といった定義に依存する。 概要[編集] アラン・チューリングが1950年に『Computing Machinery and Intelligence』の中で書いたもので、以下のように行われる。人間の判定者が、一人の（別の）人間と一機の機械に対して通常の言語での会話を行う。このとき人間も機械も人間らしく見えるように対応するのである。これらの参加者はそれぞれ隔離されている。判定者は、機械の言葉を音声に変換する能力に左右されることなく、その知性を判定するために、会話はた
期せずして、同じ時、同じ場所に、同じレベルの才を持つ者が集まると、想像を絶する出来事が起こることもある。 1953年、3つの技術革命が始まった。熱核兵器、プログラム内蔵型コンピュータ、そして、生命体が自らの命令をDNAの鎖にどのように保存するかの解明である。これら３つの革命は相互に絡み合い、その後の世界を大きく変えることとなった。 とりわけそれ以前から密接に結びついていたのが、熱核兵器とプログラム内蔵型コンピュータである。かつて数学と物理が相互に進化を促しあったように、両者はがっちりと手を組み、怪物のようなものをこの世に生み落としたのだ。 背景にあったのは、第二次世界大戦における反ナチスおよび、その後の冷戦構造による人材の集結である。アインシュタイン、オッペンハイマー、ゲーデル、チューリング、ファインマン。これらの錚々たるメンバーが、人種や学問の壁を越え、プリンストンの高等研究所を中心とす
イングランド銀行、現代コンピュータの生みの親「アラン・チューリング」氏を新50ポンド紙幣の顔にすると発表 イギリスの中央銀行であるイングランド銀行は、2021年末頃までに登場する新しい50ポンド紙幣のデザインに、アラン・チューリング氏の肖像を採用すると発表しました。 Introducing the face of the new £50 note - the father of computer science, Alan Turing.” Find out more https://t.co/pO7eu9nfHT #Turing50 #ThinkScience pic.twitter.com/RLmXD0QUQY — Bank of England (@bankofengland) 2019年7月15日 アラン・チューリング氏は、「チューリングマシン」と呼ばれる現代的なコンピュータの基本
菅義偉首相（c）朝日新聞社 日本学術会議が推薦した会員候補6人を菅義偉首相が任命拒否したことに続き、河野太郎行政・規制改革担当相が学術会議の運営見直しを検討する方針を示した。 そのほか、学術会議には「中国の軍事研究に積極的に協力している」などの根拠のないデマが流布されている。デマの発信源となったのは、甘利明・元経済財政担当相のホームページに掲載されたコラムだ。そこで本誌が甘利氏に根拠となる資料の提示を求めたところ「回答を控えさせていただきます」と拒否。ところが、その後に「間接的に協力しているように映ります」と内容が修正された。 これだけではない。学術会議関係者は嘆く。 「フジテレビは、学術会議の会員になれば自動的に日本学士院の会員になれ、年間250万円の年金がもらえると報じました。まったくのデタラメですが、細野豪志、自民党の長島昭久両衆院議員も同じデマをツイッターで拡散しました」 結局、フ
VimConf 2018 パンフレット イベントのレポートというのは生ものであり、鮮度がある。 イベントの当日は、疲れ切ってしまっていて、とても帰宅してから文章を書こうという気持ちにはならずすぐに寝てしまう。次の日は仕事がある。そんな風にレポートを書くことをしぶっているうちに、Twitterではいろんな参加レポートが出回る。これ以上俺が書く必要もないんじゃないか・・・という気持ちが大きくなり、「書かない」という決断をするわけでもなく、レポートは永久に書かれない。 イベントの報告をする上で、では自分が書くもの、自分にしか書けないものは何だろうか。それはパーソナルな体験であり、今回のVimConfであれば、やはりスタッフ業に関することを書くべきだろう。 スタッフは何をするのか ノベルティを詰める作業の様子 残っている記録を見ると、VimConfスタッフが最初に打ち合わせを行ったのは2018年5
【訃報】プログラミング言語「Pascal」の開発者ニクラウス・ヴィルト氏が89歳で死去、ソフトウェア設計のパイオニアとして複数のプログラミング言語を考案し1984年にチューリング賞を受賞
プログラミング言語「Pascal」の開発者であるニクラウス・ヴィルト氏が2024年1月1日に亡くなりました。89歳でした。 RIP: Software design pioneer Niklaus Wirth • The Register https://www.theregister.com/2024/01/04/niklaus_wirth_obituary/ We lost a titan of programming languages, programming methodology, software engineering and hardware design. Niklaus Wirth passed away on the first of January. We mourn a pioneer, colleague, mentor and friend.— Bertra
まえがき Pythonにはリストに対する操作をさっと書ける、リスト内包表記というものが存在します。こんなやつです: >>> [2*n for n in range(5)] [0, 2, 4, 6, 8] # 等価なfor文 >>> lis = [] >>> for n in range(5): ... lis.append(2*n) ... >>> lis [0, 2, 4, 6, 8] ところでこのリスト内包表記、チューリング完全だって知ってましたか？ こちらの記事でそのことが示されています。 リスト内包表記の活用と悪用 by @KTakahiro1729 あああっ！ 開かれるPythonワンライナー&難読化の世界！！ ステキすぎる！！！ 超カッコいい！！！！ ……でも、われわれはbrainfxxkだけで満足していてよいのでしょうか。ぼくは、もっと抽象的で、カッコよくて、とっても使いやす
チューリングマシン - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "チューリングマシン" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2011年12月） チューリングマシン チューリングマシン (英: Turing machine) は、アラン・チューリングが「計算可能性」に関する議論のために提示した抽象機械である[1]。 歴史[編集] チューリングの「計算可能数について──決定問題への応用」（1936年）において提示された[2]。同様なものを同年にエミール・ポスト (Emil Post) も独立に発表している[3]。構想の理由、動機についてはポストの論文が明確だが、機械自体に関する記述はチューリングの
ぼくもYコンビネータがわかるようになるまではそうだったのだけど、Yコンビネータを使うとどのような処理ができるのかがよくわからなくて悩んでいる人が多いように思う。他の人のブログを見ても、名前をつけずに再帰ができるのがすばらしいとか書いてあったりするのだけど、それによってどういう処理ができるのかわからずにいた。 結論をいえばYコンビネータには、なにかの処理を便利にする能力はない。関数であらゆる計算ができるということが示せれば、あとは用なしだ。理論の礎としてうまってしまえばいい。 結局、Yコンビネータによってどのような処理ができるかというのは、ラムダ計算の要素のメリットをチューリングマシンの中に見出そうとしてるといえる。 ラムダ計算とチューリングマシンは、どちらも計算モデルという点では一致しているけど、全く違う。 無限であるか有限かの違いといってもいい。 チューリングマシンでは、データの量と処理
マリオメーカーはチューリング完全だった【万能計算機】
マリオメーカーがチューリング完全であることの、数学的な証明に成功しました。ルール110セルオートマトンと、cyclic tag system（循環タグシステム）をコース内で再現しました。youtube 版（英語字幕付）：https://www.youtube.com/watch?v=hd0EtsTUbmg マリオメーカー計算機マイリス：mylist/53578200コースID：[ルール110] 63FA-0000-02C4-B1CA [cyclic tag system] FA62-0000-02C9-A346マリオメーカーブックマーク：supermariomakerbookmark.nintendo.net/profile/yos1up連絡先：@yos1up (twitter)
x86のMMUはチューリング完全である
jbangert/trapcc · GitHub The Page-Fault Weird Machine: Lessons in Instruction-less Computation | USENIX x86のMMU、つまりは割り込みとメモリ変換テーブルは、チューリング完全であることの証明。割り込みとメモリ変換テーブルを活用して、プログラムカウンターを一切進めず、ひたすら割り込みを続けるだけで、任意の演算が可能になる。もちろん条件分岐だってオーケーだ。 このテクニックを使えば、カーネルモジュールのバイナリにとても解析が面倒な難読化処理を施すことができる。なぜなら、通常のインストラクションは実行しないから、何をしているのか、通常のインストラクションを追うだけでは一見して明らかではないからだ。そもそも、既存のKGDBなどは、あまりに頻繁な割り込みがかかるため、まともに機能しなくなるようだ
30年近く前にワールドワイドウェブ（WWW）を発明したTim Berners-Lee氏が、コンピューティング業界最高の権威を持つ賞を受賞した。大成功を収めた同氏の発明であるWWWは現在、新しいモバイル技術の台頭という局面に差し掛かっている。 Association for Computing Machinery（ACM）は米国時間4月4日、Berners-Lee氏に2016年度A.M.チューリング賞を授与した。受賞者には賞金100万ドルに加えて、最高の栄誉が贈られる。この賞は、英国の研究者であるAlan Turing氏にちなんで命名されている。Turing氏は、第2次世界大戦中にドイツの暗号機「エニグマ」の暗号解読を支援し、コンピュータの基本設計の考案に貢献した人物。 Berners-Lee氏は、HTML（Hypertext Markup Language）とHTTP（Hypertext
2014年に、チューリングテストで初の合格者が出たと話題になった。しかし、このテストによって人工知能は知能を持つといえるのか。チューリングが意図したテストの内容とは。 「人間と同じ知能を持った人工物を作る」という人間の夢は、古くはギリシャ神話、錬金術、機械人形など、さまざまな形で実現しようとしてきました。 1940年代ごろから手法として「コンピュータ」が適切ではないかという議論が行われ、いろいろな実験が行われるようになります。56年にダートマス会議が開催されると一気に人工知能開発の黄金時代を迎え、その後は皆さんご存じの通り2度のブームと2度の冬の時代を乗り越えて、現在第3次ブームが到来しています。 ところで、人工知能が完成したとして「人間と同じ知能を持つ」とどのように証明すればいいのでしょうか。 この難題の解決策として、「あるテーマで人間と戦い、人間に勝つ」ことを目標にしました。なぜなら同
プレイしたゲームがあまりにも自分の仕事内容を思い起こさせるものだったのでご紹介します。 (実はゲームをプレイしてこういう記事を書こうかな、と思ってから1年位経ってる) 今回ご紹介するのは「Papers, Please」というゲームで、Steamで980円で購入することができます。(ただし年に数回あるセールのときは80%OFFとかで買えるので、そっちを狙うのがオススメ) 2015/02/03 追記 iPadでもプレイできるらしい。 Steamにあるゲーム紹介の文章を以下に貼ります。 おめでとう。 10月度勤労抽選により貴方を入国審査官に命ずる。 即座配属のため、至急グレスティン国境検問所の入国管理省に赴くように。 貴方とその家族には、東グレスティンの８等級の住居が割り当てられる。 アルストツカに栄光あれ。 ここは、共産主義国アルストツカ。隣国コレチアとの6年間の戦争がついに終わり、国境の町グ
สรุปพระราชบัญญัติระเบียบบริหารราชการแผ่นดิน พ.ศ.2534 และแก้ไขเพิ่มเติม ถึง ฉบ...
x86のmov命令はチューリング完全
世の中には様々なチューリング完全なシステムがある。 本の虫: うっかりチューリング完全になっちゃったもの x86のMMUはチューリング完全である。 BGP(Border Gateway Protocol)はチューリング完全である。 http://vanbever.eu/pdfs/vanbever_turing_icnp_2013.pdf さて、x86の命令セットは極めて複雑で冗長であることが知られている。なんと、mov命令はチューリング完全であるそうだ。 http://www.cl.cam.ac.uk/~sd601/papers/mov.pdf もちろん、mov命令でメモリ上に任意のコードを書いて実行させればチューリング完全になるが、論文ではそのようなコード生成や自己書き換えによるイカサマは行っていない。また、アドレスモードもたいていのRISCにあるようなものしか使っていないという。 x8
チューリング・テスト再考
Some C are NOT B なお、チューリングは「ソクラテスの名前が出てきたときには Barbara」と言っているが、たぶん、これは、以下のような三段論法の実例を想定していると思われる（誰もがどこかで一度は見たことがあるやつだと思うのだけど）… すべての人間は死ぬべき運命にある ソクラテスは人間である それゆえソクラテスは死ぬべき運命にある 「ソクラテス」を「すべてのソクラテス」に置き換えれば、この三段論法が Barbara であることが明解になる。 寄り道が長くなったが、本題に戻ろう。チューリングは、推論の仕方を指示すること（プログラムであればアルゴリズムの選択にあたるだろう）の重要性を述べている。そして、論理的に思考している場合でも brilliant と footling の差が生じるのは、数多くの選択肢の中から何を選ぶかの違いだという。このへんは、数学とか論理学での才能の差は
チューリング完全 - Wikipedia
チューリング完全（チューリングかんぜん、英語: Turing-complete）とは、計算理論において、ある計算のメカニズムが万能チューリングマシンと同じ計算能力をもつとき、その計算モデルはチューリング完全あるいは計算完備であるという。 チャーチ＝チューリングのテーゼによれば「計算可能関数」は、それを計算しようとする計算モデルがチューリング完全であれば計算できる。 一般的なプログラミング言語の背景にある計算モデルの多くはチューリング完全である。一見単純な機能しか持たない言語がチューリング完全な例としては、Lazy K、Brainfuckなどがある。究極的に単純な計算モデルとしては「ウルフラムの2状態3記号チューリングマシン（英語版）がチューリング完全であると証明されている。 チューリング完全かどうかという事は、計算可能性理論の問題である。計算複雑性の分野の問題である時間や記憶容量の消費量に
1954年に亡くなった天才数学者アラン・チューリング氏の死後恩赦を求めて、21,000名の署名を集めた嘆願書が提出されたが、英国政府はこの要求を却下したとのこと。チューリング氏が同性愛者であることが発覚した1952年当時、イギリス刑法では同性愛は犯罪であるとされていたため、氏は同性愛犯罪で起訴され化学的去勢として女性ホルモン注射を投与されていた。氏は2年後の1954年に自殺している（本家/.、I PROGRAMMER記事）。 2009年、ブラウン首相は英政府を代表してチューリング氏に対する謝罪の意を述べていたが、それを受けて始まった今回の嘆願は残念ながら受け入れられなかった。英政府の説明によれば、「当時、犯罪であるとみなされる行為をもとにアラン・チューリング氏は有罪判決を受けたため、死後恩赦は適当ではない」と判断したようだ。だが、「戦時中の任務遂行に大きく貢献したにもかかわらず、アラン・チ
その年最も人間に近いと判定された人工知能(AI)会話ボットに授与されるローブナー賞のチューリングテスト競技において、最終選考に残った5名(?)のコンピュータのうち3名までもが、人間に対して自分を人間であると思い込ませることに成功したという（Times Online、本家記事）。 彼ら（?）は人気ラッパーであるエミネムから作家のカート・ヴォネガットの作品「スローターハウス5」に至るまで様々な話題に対応し、中にはティーンエイジャーの女の子と11時間会話を継続させたものや、果ては女性を口説こうとしたものまでいたと言う。 たとえば「Eugine Goostman」というマシンは、何百万もチャットのログを元に会話スタイルを確立させたもので、「トークショーの司会の父と婦人科医の母の間に生まれたSF小説好きの13歳のウクライナ人の男の子」という設定。Eugine Goostmanは10代の女子と11時間
連載コラム 「生命科学の明日はどっちだ」 目次 第１３回：Who Killed Turing ? 誰がチューリングを殺したのか 2012年はアラン・チューリング（図1）の生誕100年にあたり，1月から多くの記念イベントが世界各地で行われている．その最後を飾るのが，今，キングス・カレッジで行われている（6月現在），チューリングの仕事に関わる全分野の研究者を集めた記念シンポジウム（＋チューリングの業績をたたえるプレートの除幕式）である．幸いなことに，筆者も招待してもらえたので参加することができた．予想通りというか，計算機科学関係者と数学者がほとんどである．エルディシュナンバー1の老数学者とお話ができたりして，面白いことは面白いのだが，さすがにわからないことばかりだ．チューリングの業績の幅広さを，いまさらながら思い知る．生誕100年ということは，もし彼が自殺しなければ，現在まで生きていてもおか
英南西部ドーセットの名門私立校シャーボーン校に在学中だった16歳のアラン・チューリング（1928年撮影、2012年6月22日提供）。(c)AFP/SHERBORNE SCHOOL 【9月26日 AFP】第2次世界大戦（World War II）中にナチス・ドイツの暗号機エニグマ（Enigma）の暗号を解読した英国の天才数学者、アラン・チューリング（Alan Turing）が開発した巨大装置を使って1951年に録音された「史上初のコンピューター音楽」の復元に成功したと、ニュージーランドの研究者が26日、発表した。 シンセサイザーから現代のエレクトロ二カ（電子音楽）に至るまで、コンピューターを用いて創作される音楽すべての基礎といえる最初の1曲は、極めて伝統的な楽曲だった。英国歌「ゴッド・セーブ・ザ・キング（God Save the King、神よ国王を守りたまえ）」だ。 ニュージーランド・クラ
Slashdot や Boing Boing など各所で伝えられているが、第二次世界大戦においてドイツのエニグマ暗号解読に多大な功績を残した天才数学者でありながら（みんなサイモン・シン『暗号解読』読もうぜ！）、同性愛者であることにより有罪判決を受け、自殺に追い込まれるという非業の死を遂げたアラン・チューリングに対し、ゴードン・ブラウン英首相が彼に対し謝罪する声明文を発表し、チューリングの名誉回復がなされた。 個人的には、今まで謝罪がなかったことに驚いたが、今回は嘆願書が後押しした模様。あと Number10.gov.uk ってのがイギリス首相の公式サイトなのね。 そうそう、プロジェクト杉田玄白にチューリングの論文「計算する機械と知性」が公開されている。 甦るチューリング―コンピュータ科学に残された夢 作者: 星野力出版社/メーカー: NTT出版発売日: 2002/09メディア: 単行本購入
[翻訳] マジック・ザ・ギャザリングはチューリング完全である - macbook air is so hot(低温やけど的な意味で)
マジック・ザ・ギャザリングがチューリング完全である事はよく知られています。最近原文を読んで感銘を受けたので、作者のAlexさんに許可を得て翻訳しました。 大事なポイントは、 実在するカードを組み合わせて、プレイヤーによる干渉（対象や効果の選択）を必要とせず *1に、カードのテキストとゲームのルールのみに基いて（誘発能力を多用して）チューリング機械を実行する。 Yurii Rogozhinによる、コンパクトな2状態18記号万能チューリング機械を実装する。テープはクリーチャートークンの列で、18個の記号はクリーチャータイプで、2つの状態はフェイジングで表現される。 スタックに誘発能力が正しい順序で乗るようにAP-NAPルールを駆使する。プレイヤーは4人必要。 キーカードは人工進化。これでかなりのカードを書き換える。 「概説」、「カード」と「仕組み」を訳しました。「カード」には「仕組み」を読んで
![[翻訳] マジック・ザ・ギャザリングはチューリング完全である - macbook air is so hot(低温やけど的な意味で)](https://cdn-ak-scissors.b.st-hatena.com/image/square/de625c0952f5b044128b14317239f1514d16911f/height=288;version=1;width=512/http%3A%2F%2Fgatherer.wizards.com%2FHandlers%2FImage.ashx%3Fmultiverseid%3D39923%26type%3Dcard)
自閉症や識字障害の人々が、数多く英国政府の通信傍受業務に携わっているという。 それらの障害が優秀なスパイを作り出す理由を、「GCHQ」内部の取材で探った。 GCHQ / Government Communications Headquarters 英国政府通信本部。前身は1919年設立の政府暗号学校。ドイツ軍の暗号「エニグマ」を解読したことで知られる。46年、表向きは外務省所属、実質は首相直属の機関として、現在の組織になった。米NSAと連携し、スパイ衛星やハッキングによって世界中の通信を傍受・解析し、データベース化しているといわれる。 GCHQの巨大な建物は自給自足の都市国家のようである。周囲は常に専属の警官がパトロールしており、中にはジムやサッカーチーム、大手コーヒーチェーンの支店まである。ただしそこで働くバリスタたちは、入念なセキュリティーチェックを通らなければ、たった一杯のエスプレッ
アラン・チューリング、その魂の灯火 - PICSY blog
科学の世界に英雄はいらない。自然と真理のみが正義である科学にとって、科学の進歩を妨害する英雄史観は、せいぜい子どもたちの夢を育むひとつのきっかけにしか過ぎない。だが、アラン・チューリングという一人の数学者にして科学者が、かくも多くの研究者に感銘を与えるのはなぜだろうか。それは、彼の悲劇の人生とその研究内容がシンクロし、人生の本質的な問題を魂の灯火として仕事することを避けてはならないと励ましてくれるからではなかろうか。 今日からちょうど100年前の1912年6月23日、アラン・チューリングはイギリスのロンドンにて生を受けた。そして42歳で青酸カリによる服毒自殺で亡くなるまでの間に、「チューリング・マシン」、「チューリング・テスト」、「チューリング・パターン」、「チューリング・ボンベ」という４つの大きな仕事を成し遂げた。死亡時のそばの机の上にはかじりかけのリンゴが置いてあり、毒リンゴで自殺した
Choreograph Life－チューリングの夢
『センス・オブ・ワンダー』（筑摩書房）ついに発売（2024年3月23日）です。本書に込めた願いはひとつです——この星に生まれたすべての生命が、ここに「きてよかった」と思える世界をつくりたい。書店等で見かけましたら、ぜひ手に取ってみてください！！ 書誌情報（筑摩書房） Illustration: Yoshikazu Yamagata / Portrait Photo: Kenshu Shintsubo
チューリングも吃驚？ 色素細胞の鬼ごっこが作る動物の皮膚模様 本当に「皮膚模様＝チューリングパターン」なのか？ 以前に、 筆者らのグループで行っている動物の皮膚模様ができる仕組みの研究を紹介しました。その時は、「Turingの反応拡散モデルで説明できる」という結論でしたが、細かい細胞の挙動、分子の関与等は判っておらず、正直言って、実験生物学的には、「予測」と言って良い段階でした。しかし、ここ数年の実験により、模様形成原理の全体像がかなりはっきり見えてきています。もっとも重要なのは、下の動画にあるように、細胞の鬼ごっこ！ と言うわけで、今回は、最新実験データによって明らかになりつつある、リアル皮膚模様形成原理の解説です。 さてさて、実験生物学はチューリングに一泡吹かせることはできたのでしょうか？ 分子細胞レベルの模様形成原理 模様形成に関する Turing の原理とこれまでの viv
2, 3年ぐらい前から「シュマンケル・ステューベ」という店でよくハム類を買っている。 特にここ最近は数人単位での集まりが多いので、よくそこに酒のつまみとしてこれらを買っていく機会が多いのだが、すこぶる評判がよい。 店名とおすすめ商品をよく聞かれるので、そういうときにすぐ紹介できるように、記事を書くことにした。 (実は「書きます」と言ってからもう2ヶ月以上経過している。すみません) 場所 自分は勤めている会社が渋谷にあるので、毎回ここで買っている。渋谷駅の地下、東急フードショーの一角にある。 あとは二子玉川とかにもあるみたいだが、行ったことはない。 www.tokyu-dept.co.jp (2021-08-18追記) 2020年3月31日に渋谷店が一度閉店したのですが、2021年7月10日に復活しました。 7月10日、渋谷東急フードショー店がグランドオープン｜ドイツソーセージのギフトや通販
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Mathematicaで任意画像の輪郭を数式に変換する - チューリング不完全
うっかりチューリング完全になっちゃったもの
実在の天才数学者A・チューリングの数奇な人生描く映画、主演はB・カンバーバッチ | CINRA
新50ポンド札にアラン・チューリング コンピューターやAIの先駆者 - BBCニュース
核兵器もコンピュータも、ここから生まれた － 『チューリングの大聖堂』 - HONZ
イングランド銀行、現代コンピュータの生みの親「アラン・チューリング」氏を新50ポンド紙幣の顔にすると発表
学術会議問題でデマを流す国会議員が知らないこと 軍事研究とチューリングの悲劇 | AERA dot. (アエラドット)
ぼくたちとVimConfの180日戦争 - チューリング不完全
Pythonのリスト内包表記はチューリング完全だから純LISPだって実装できる - Qiita
「Excel」にラムダ関数、ベータ版でテスト中 ～Excelの数式はチューリング完全な言語に／VBAやJavaScriptを知らなくてもユーザー定義関数を利用可能
ラムダ計算とチューリングマシンの違い 2009-04-13 - きしだのはてな
ウェブを発明したティム・バーナーズ＝リー氏にチューリング賞
4年前の「AIがチューリングテスト合格」騒動は何だったのか
インフラエンジニアがプレイするべきゲーム「Papers, Please」 - チューリング不完全
スーパーマリオメーカーはチューリング完全（日曜数学会発表）
アラン・チューリング氏の死後恩赦を求める嘆願書、英政府に認められず | スラド サイエンス
ローブナー賞の決勝、チューリングテストをクリアしそうなロボットが出現 | スラド IT
第１３回：Who Killed Turing ? 誰がチューリングを殺したのか
史上初のコンピューター音楽を復元、英数学者チューリングが装置開発
イギリス首相の謝罪によりアラン・チューリングが55年ぶりに名誉回復 - YAMDAS現更新履歴
アラン・チューリングの伝統は生きている！ 英国政府通信本部（GCHQ）で働く暗号解読者たちは、「一般人とは異なる脳」を持つ
チューリングも吃驚？ 色素細胞の鬼ごっこが作る動物の皮膚模様
ハム・ソーセージ専門店「シュマンケル・ステューベ」入門 - チューリング不完全