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
これが現代の科学力……！ 「スーパーマリオメーカーはチューリング完全」はなぜたった1年半で証明されたのか
「マリオメーカー学会」というものをご存じでしょうか。自作ステージを作って遊べるゲーム「スーパーマリオメーカー」に斜め上過ぎる楽しみ方を見いだした“研究者”の集まりで、これまでには「クリアに20万年ほどかかるステージ」「ギミックを巧みに活用した計算機」などが開発されています。 話がぶっ飛んでいて何が何だか分からないかもしれませんが、きっとそれだけ研究が進んでいるということでしょう。今回は、5分間で数学を語るイベント「日曜数学会」から、同学会のハイレベルさが伝わる発表「スーパーマリオメーカーはチューリング完全」を書き起こしました。 拡大画像でスライドを見る スーパーマリオメーカーはチューリング完全 イベント：2019年6月29日開催の第15回「日曜数学会」（Twitter：@nichimath） 発表者：yos1upさん（Twitter：@yos1up） 発売から約2週間で、計算機になったスー
イギリスの新しい50ポンド紙幣の肖像に、コンピューター科学の先駆者で暗号解読者のアラン・チューリング（1912～1954年）が採用されることが明らかになった。イングランド銀行（英中央銀行）総裁が15日、発表した。
イングランド銀行、現代コンピュータの生みの親「アラン・チューリング」氏を新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万円の年金がもらえると報じました。まったくのデタラメですが、細野豪志、自民党の長島昭久両衆院議員も同じデマをツイッターで拡散しました」 結局、フ
【訃報】プログラミング言語「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
สรุปพระราชบัญญัติระเบียบบริหารราชการแผ่นดิน พ.ศ.2534 และแก้ไขเพิ่มเติม ถึง ฉบ...
セミコロンレスJava (Semicolonless Java)というのは Java でセミコロンを使わずにコードを書くというチャレンジである。ネタであり言語の構文を駆使して行うプログラミングパズルの類の遊びである。（ときどき本気にしてその有用性について聞いてくる人がいるので、この冗談がどういう冗談でどう面白いのかの解説のような無粋なことを書いている） ところで、セミコロンを使わずともJavaはチューリング完全なのであろうか？ 証明方法 チューリング完全であるという証明は、すでにチューリング完全であることが知られている体系を該当環境で実装することで行うのが簡単な方法論である。 Brainf*ck といったチューリング完全な簡易プログラミング言語を実装するとか、チューリング完全であることが知られているライフゲームを実装するとかが考えられる。 今回は、ライフゲームの1次元版とも言える、1次元セ
コンパイラと呼ばれる重要なソフトウェア開発ツールがなければ、コンピューターを制御するために、人間には理解が難しい機械語の世界まで降りていく必要が生じていたことだろう。この功績を称えて、高い権威を誇るチューリング賞の2020年の受賞者に、コンパイラの開発に貢献したAlfred Aho氏とJeffrey Ullman氏が選ばれた。 計算機学会（ACM）は毎年チューリング賞の受賞者を選出し、100万ドル（約1億1080万円）の賞金を授与している。ACMによると、コンパイラ技術の先駆けとなったUllman氏とAho氏の共同研究は、1967年にAT&Tの著名な研究施設であるベル研究所で始まった。 現在、Ullman氏はスタンフォード大学の名誉教授で、コンピューターサイエンス関連のeラーニング企業Gradianceで最高経営責任者（CEO）を務めている。Aho氏はコロンビア大学の名誉教授だ。
数々の功績を残したアラン・チューリングだが、第二次世界大戦中は英国軍の暗号解読者として活躍した。ナチスドイツに対する連合軍の勝利に貢献した功績をたたえ、戦時中に暗号解読本部が置かれていたブレッチリーパークに、石板で作られた彼の像が建てられている。（PHOTOGRAPH BY MATTHEW OLDFIELD EDITORIAL PHOTOGRAPHY, ALAMY STOCK PHOTO） 機械は思考することができるのか。強力な人工知能（AI）や、人間と会話ができる深層学習マシンChatGPTの登場によって、最近では多くの人が疑問を抱くようになっている。ChatGPTは、時には人間を惑わすこともあるといい、この技術を使ったある検索エンジンのチャットボットは、ユーザーに対して愛を告白したと話題になった。 英国人の数学者で暗号解読者、コンピューター科学者でもあったアラン・チューリングは、機械は
5月のリリース当時には実用性の面で期待外れとの声が聞かれた文章生成AI、GPT-3の活用事例が挙がってきている。 徳島県在住のBemmu SepponenさんはGPT-3をプレゼン用スライドの制作に用いたようだ。ほかにも、GPT-3を用いて指定したウェブアプリケーションを生成するサービスなんかも登場している。 プレゼン用スライドの文章を生成GPT-3はOpenAIが開発したTransformerベースのモデル。文章を与えると、次に続く文章を生成してくれる。インターネット上の膨大な文章によりトレーニングされていて、なんと1750億個のパラメーターを持つ（先代のGPT-2は15億個）。 英語を話すユニコーンの話など、創造的な文章の生成が得意なイメージのGPT-3だが、プレゼン用スライドの文章生成は実用的とも捉えられるだろう。 Bemmuさんは、プロンプトに「関西のHacker Newsのイベン
Publickey年間人気記事ランキング2021。1位はExcelがチューリング完全に、2位はPower Automate Desktopの無料提供開始、3位はOracle JDKが再び無料に
Publickey年間人気記事ランキング2021。1位はExcelがチューリング完全に、2位はPower Automate Desktopの無料提供開始、3位はOracle JDKが再び無料に この1年間でPublickeyは384本の記事を公開してきました。今年最後の記事は、この384本の記事を読まれた数が多い順に、年間ランキングトップ10をご紹介していきます。 きっと読者の皆様の記憶に残っている記事、また読んでみたくなる記事があるはずです。 1位から3位 1位 Excelの新機能「Lambda関数」によって「Excelの数式がチューリング完全になった」とナデラCEO。プログラミング言語としてのExcel数式であらゆる計算が可能に 2位 ［速報］マイクロソフト、無料でRPA機能「Power Automate Desktop」をWindows 10ユーザーに提供開始。Microsoft I
by YMS コンパイラ最適化の第一人者として知られる女性計算機科学者のフランシス・E・アレン氏が、ちょうど自身の誕生日である2020年8月4日に亡くなったことを、IBMが発表しました。享年88歳でした。 Remembering Frances E. Allen | IBM Research Blog https://www.ibm.com/blogs/research/2020/08/remembering-frances-allen/ アレン氏は1932年、ニューヨーク州ペルーの農場に生まれました。アレン氏はニューヨーク州立教師養成学校を卒業した後、1954年に数学の学士号を取得し、地元の学校で数学教師として働きました。その後、1956年にアレン氏はミシガン大学で計算機科学の修士号を取得しました。 1957年、アレン氏は奨学金返済のため、ニューヨーク州ポキプシーにあるIBM Resea
「計算機科学のノーベル賞」ことチューリング賞の2023年度受賞者が計算のランダム性の理解に貢献したアヴィ・ヴィグダーソン氏に決定
by Institute for Advanced Study 計算機科学分野で優れた業績を残した人物に与えられるチューリング賞の2023年度受賞者に、イスラエル出身でプリンストン高等研究所の計算機科学者であるアヴィ・ヴィグダーソン氏が選ばれました。ヴィグダーソン氏は、「計算におけるランダム性の理解の再構築」および「理論コンピューターサイエンスにおける数十年にわたる知的リーダーシップ」が認められたとのことです。 2023 Turing Award https://awards.acm.org/about/2023-turing Grad alum Avi Wigderson wins Turing Award for 'groundbreaking insights' in computer science https://www.princeton.edu/news/2024/04/10
英中央銀行のイングランド銀行は7月15日（英国時間）、新しい50ポンド紙幣の絵柄に、第二次世界大戦中にナチス・ドイツの暗号解読に貢献した数学者のアラン・チューリング氏を採用すると発表した。2021年までに発行を始めるとしている。 約1000人の候補者、約23万件の推薦の中から選んだという。イングランド銀行のマーク・カーニー総裁は「今日のわれわれの生活に大きな影響を与える、傑出した数学者だ」と選出理由を話している。 アラン・チューリング氏は、ナチス・ドイツの暗号機「エニグマ」が生成する暗号の解読装置「Bombe」の開発や、機械の知性を問う「チューリングテスト」の考案など、初期のコンピュータ科学に関わる業績で有名。同性愛者であることが理由で罪に問われ、化学的な去勢を受けることを条件に刑務所入りを避けた。その2年後に自殺。41歳の若さだった。 2000年代に、チューリング氏に対する当時の扱いにつ
Daphne Leprince-Ringuet （Special to ZDNET.com） 翻訳校正： 石橋啓一郎 2020-11-02 06:30 ブレッチリーパークは、第二次大戦中に英国の暗号解読の拠点だった場所だ。ここで行われた仕事は、単なる歴史上の出来事ではなく、現代のコンピューティング業界にも影響を与えて続けている。Facebookの技術的なブレークスルーの幾つかは、当時極秘とされていた暗号解読機「ボンベ（Bombe）」が生まれたこの場所にまで、そのルーツをさかのぼることができる。 ロンドンの北約50マイル（約80km）のミルトンケインズにあるブレッチリーパークでは、当時、英国の政府暗号学校に所属する数千人の男女が働いていた（その多くは女性だった。現在のブレッチリーパークは博物館になっている）。 英国の数学者Alan Turing氏と同氏が率いるチームは、この場所で専用の目的で
完全自動運転車両の開発・販売に取り組むTURING株式会社（千葉県柏市、代表取締役：山本 一成、以下「チューリング」）は、自社開発のAI自動運転システムと、オリジナルエンブレムを搭載した「THE 1st TURING CAR」を「1台限定」で販売いたします。 「THE 1st TURING CAR」はレクサスRX450hをベース車両として、チューリングが自社開発したAI自動運転システムと、オリジナルエンブレムが搭載されており、チューリングとして初めてエンドユーザー向けに販売する製品です。 ■チューリングのAI自動運転機能について 従来の自動運転/運転支援技術は、多種多様なセンサーや周辺領域の高精度3次元データなどを用いて動きを制御するというアプローチをとることがほとんどでした。一方、チューリングのAI自動運転機能は「人間が目で見たものを頭で判断して運転する」のと同様に、特殊なセンサー等を用
ABJマークは、この電子書店・電子書籍配信サービスが、著作権者からコンテンツ使用許諾を得た正規版配信サービスであることを示す登録商標(登録番号 第6091713号)です。
![[10Pショート読切] チューリング・テスト - れお太郎 | となりのヤングジャンプ](https://cdn-ak-scissors.b.st-hatena.com/image/square/289dc3d7b0cc744f9e90730c9aeb9453a253475e/height=288;version=1;width=512/https%3A%2F%2Fcdn-img.tonarinoyj.jp%2Fpublic%2Fseries-thumbnail%2F316190247089890546-3fb6f444dfce27c7d1721dc35cdecd42%3F1673329128)
【訃報】プログラミング言語「Pascal」の開発者ニクラウス・ヴィルト氏が89歳で死去、ソフトウェア設計のパイオニアとして複数のプログラミング言語を考案し1984年にチューリング賞を受賞 - ライブドアニュース
プログラミング言語「」の開発者であるニクラウス・ヴィルト氏が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.— Bertrand Mey
前のページへ 1|2 そして、チューリング完全へ…… さっきの64ビット加算器の動画なのですが、入力はマリオがブロックを頭突して行っているんですね。一方、出力は2種類のオブジェクトで表現しているんですね（「ファイアフラワー」を0、「Pスイッチ」を1とする2進数）。 これだと加算の結果を使って次の計算をしようと思っても、マリオを操作して変換する必要があります。すごく面倒くさい。 ですから、入力も出力も「POWブロック」が0、「ブラックパックン」が1ということにして、フォーマットを統一しようと。 この2つのオブジェクトには、マリオの世界では物理的な性質に違いがあるんですね。POWブロックが跳ねるブロックに当たってもブラックパックンは跳ねないとか、両方跳ねるときも跳ね方が違うとか。この物理的な性質を生かすことで、コンパクトなギミックで2進数の計算ができる、と。 このやり方の一番良いのは、入力と出
データアナリスト．I always try to observe the small facts upon which large inferences may depend． 本記事は別途PDFでもご用意しており、こちらよりダウンロードいただけます。 Disclaimer：このエッセイは独自解釈を多数含むが，著者は計算理論を専門に学んだことはないため，いくつかの点で不正確な可能性がある 0.イントロダクション この短いエッセイでは1936年のチューリングの記念碑的な論文である『計算可能数とその決定問題への応用(“On Computable Numbers, With an Application to the Entscheidungsproblem”)』[1] の中で初めて示された計算不能な機械の証明に関して，簡単な説明を行うことを目的とする(このエッセイでは，チューリングの論文だけで
この記事では、ケインズ主義とマネタリズムの区別は、（共にワルラス経済学に依拠していることから）現代のマクロ経済論争を理解する上で、時代遅れであると論じる。今、有用な区別は、（ケインズ主義とマネタリズムの統合からなる）新古典派連合（Neoclassicals）と、新オーストリア学派の区別である。この区別は、経済における公的債務の役割についてのそれぞれ異なる見解に立っている。 先週、ロバート・ルーカスが亡くなった。彼の研究は、マクロ経済学に永遠の変化をもたらした。「合理的期待」という考え方は、マネタリズムとニューケインジアンの発祥の地であるシカゴ大学やMITで使われているマクロ経済学モデルに浸透している。この記事では、ケインズ主義とマネタリズムの区別は、（共にワルラス経済学に依拠していることから）現代のマクロ経済論争を理解する上で、時代遅れであると論じる。今、有用な区別は、（ケインズ主義とマネ
英新紙幣にアラン・チューリング 第2次大戦の暗号解読者
英マンチェスターの科学産業博物館で、アラン・チューリングの肖像を採用した新50ポンド紙幣のコンセプトデザインを前に発表を行うイングランド銀行（BOE）のマーク・カーニー総裁（2019年7月15日撮影）。(c)OLI SCARFF / AFP 【7月16日 AFP】第2次世界大戦（World War II）中の暗号解読者アラン・チューリング（Alan Turing）が、英国の新50ポンド札のデザインに選ばれた。英中央銀行のイングランド銀行（Bank of England）が15日、発表した。チューリングは戦後に同性愛行為の罪で有罪となり、数十年前に悲劇的な死を遂げていた。 チューリングは、初期のコンピューター開発で中心的な役割を果たしたが、1952年に19歳の男性との重大わいせつ行為で有罪となり、そのキャリアは閉ざされた。禁錮刑は免れたものの、化学的去勢の処分を受けたチューリングは1954年
チューリング（東京都品川区、山本一成最高経営責任者〈ＣＥＯ〉）は、２０２４年内にも部分的に運転を自動化する「自動運転レベル２」の独自機能を搭載した電気自動車（ＥＶ）を日本国内で発売する。当初予定の２５年から前倒しする。販売台数は５０―１００台規模の見通しで、２４年夏をめどに性能などの詳細を決める予定。将来は完全自動運転「同レベル５」の実車搭載を目指しており、人工知能（ＡＩ）関連のエンジニアの増員など開発体制も強化する。 チューリングは千葉県柏市に車両生産工場を持つ。３０年に累計１万台の完全自動運転のＥＶ生産を目指している。目標実現に向け、まず少量のＥＶを生産・販売し、車両製造のノウハウを蓄積する。 同社はカメラ映像とＡＩを活用した「カメラ方式」による完全自動運転を目指している。同方式では、人が視覚情報などを基に周囲の状況を判断し運転する一連の動作を、カメラ映像の認識とＡＩに担わせる。同社は
英、暗号解読者チューリングの新50ポンド紙幣発行
アラン・チューリングの肖像が描かれた新紙幣。英ミルトンケーンズで（2021年6月21日撮影）。(c)Joe Giddens / POOL / AFP 【6月23日 AFP】英国で23日、新50ポンド紙幣が発行された。第2次世界大戦（World War II）中の暗号解読者アラン・チューリング（Alan Turing）の肖像が描かれている。23日はチューリングの誕生日だ。 【関連記事】同性愛の英数学者チューリングに死後恩赦、「現代計算機科学の父」 数学者だったチューリングは、現代のコンピューター科学の父と呼ばれる。1941年、ナチス・ドイツ（Nazi）の暗号機「エニグマ（Enigma）」の解読チームを率いた。 英中央銀行であるイングランド銀行（Bank of England）のアンドルー・ベーリー（Andrew Bailey）総裁は、「同性愛者でもあり、そのせいで過酷な扱いを受けた」チューリ
Bob Metcalfe氏が、計算機科学分野で最高の栄誉とされる、2022年のチューリング賞を受賞した。端末を有線ネットワークに接続するために使われている、イーサネット規格を発明した功績が評価された。 イーサネットの背景にある概念は、Metcalfe氏が1973年5月22日に、Xeroxのパロアルト研究所（RARC）在職時に書いたメモの中で誕生した。RARCは、独創性に富んだ一連の計算機科学分野の発明で有名な研究所だ。それから50年の年月を経て、イーサネットはPCだけでなく家電などにも幅広く活用されている。 チューリング賞は、「コンピューターの父」と呼ばれ、第2次世界大戦中の暗号解析に貢献したことで知られる、Alan Turing氏にちなんで命名された賞だ。計算機学会（ACM）によって授与され、100万ドル（約1億3000万円）の賞金が副賞として与えられる。計算機科学のノーベル賞と呼ばれる
約45TBの大規模なテキストデータのコーパスを約1750億個のパラメータを使用して学習したOpenAIのニューラルネットワーク言語モデル「GPT-3(Generative Pre-Training-3、以下GPT-3)」は、早ければ今年12月、遅くとも2023年2月までに新たなバージョン「GPT-4」となり、リリースされるとのことだ。 2020年5月の「GPT-3」のリリースは、AIが人間が読んでも自然に見える文章を作成する機能を持ち、世界に衝撃を与えた。その正式な後継者について、今年4月にはOpenAI CEOのSam Altman氏が「GPT-4」を今後数カ月の間に発売することを明らかにしていた。GPT-4によって、AIが、“より人間らしい”自然な会話をするようになり、関連アプリケーションのトレーニングコストが大幅に削減され、人工知能との付き合い方が変わるとされている。 2019年に登
E2Eと生成AIで完全自動運転を実現します。
Alan Turing Memorial（February 2021） 2021年の 6月 23日から流通が始まった、新50ポンド札。 紙幣の表面にはエリザベス女王の顔が印刷されていますが、 裏側は国の発展に貢献した人物が選ばれます。 今回採用されたのは、第2次世界大戦中にドイツの暗号機「エニグマ」を解読し、 人工知能の概念を生み出した、英国の数学者アラン・チューリング。 採用が決定されたのは、2019年 7月のことでした。 www.bbc.com 日経 や Yahoo!ニュース でも紹介されていたようです。 画像引用元： 新50ポンド札にアラン・チューリング コンピューターやAIの先駆者 - BBCニュース 流通が始まった 6月23日は、チューリングの 109回目の誕生日。 この記事ではアラン・チューリングについて、 そして、アラン・チューリング・メモリアルのある、 マンチェスターのサッ
完全自動運転車両の開発、販売に取り組むTuringは3月20日、完全自動運転を実現するための国産の大規模言語モデル（Large Language Model：LLM）開発に着手したと発表した。 LLMは、大量のテキストデータから学習し、人間のような自然な文章を生成したり、質問に答えたりすることができるAIモデル。Turingは、完全自動運転の実現には、人間と同等以上にこの世界を理解した自動運転AIが必要と説明している。生成AIやChatGPTに代表されるLLMの本質は、「言語を通じて極めて高いレベルでこの世界を認知、理解している」ことにあるため、自動運転AIの開発にLLMのアプローチは有効だという。 Turingは、「現実世界への適応力」「リアルタイム性と計算効率」「安全性と堅牢性」の3点に注力しながらLLMの開発を進める。 現実世界への適応力では、自動運転AIが状況に応じた適切な判断と行
「コンピューターの父」と呼ばれているAlan Turing氏は、人工知能（AI）が本物の人間のように振る舞うかどうかを判定するための「チューリングテスト」という方法を提唱した。このテストの要旨は、人間、あるいは機械との対話を相手が見えない状況で実施した後、その対話の相手がどちらだったかを問うというものだ。そして今回、AIをめぐる最近の盛り上がりの中、ある企業が独自のチューリングテストを公開した。 イスラエルのテルアビブに拠点を置くAIシステム開発企業のAI21 Labsによって開発されたこのオンラインアプリは「Human or Not」（人かそうでないか）というシンプルな名前となっており、同社はソーシャルチューリングゲームだと称している。その進め方は単純だが、勝利するのは簡単ではない。あなたは誰か（あるいは何か）とのチャットに参加することになる。そこではどのような質問をしてもよいし、好きな
天才数学者アラン・チューリングが新50ポンド紙幣の肖像に
イングランド銀行が、新しい50ポンド紙幣の肖像に「エニグマ」解読の大きな功績などで知られる数学者のアラン・チューリングを起用することを発表しました。チューリングの肖像が入った紙幣は2021年末までには流通が始まる予定です。 Alan Turing to be the face of new £50 note | Bank of England https://www.bankofengland.co.uk/news/2019/july/50-pound-banknote-character-announcement £50 Note Character Reveal - Think Science! - YouTube 新50ポンド紙幣の肖像は、紙幣肖像諮問委員会により科学の分野の人物であることが決められ、イングランド銀行では989名の適格者から12組14名の最終候補者を選出しました。候補
「計算機科学のノーベル賞」ともいわれるチューリング賞が、コンピューター科学者のジェフリー・ウルマン氏とアルフレッド・エイホ氏に授与されることが発表されました。プログラミング言語のコンパイラへの多大な貢献のほか、強い影響力を持つ教科書を執筆した功績などが評価されたとのことです。 Jeffrey Ullman receives ACM Turing Award | Stanford News https://news.stanford.edu/2021/03/31/jeffrey-ullman-receives-acm-turing-award/ Turing Award Goes to Creators of Computer Programming Building Blocks - The New York Times https://www.nytimes.com/2021/03/31
[翻訳]デジタルネイチャーに向けて：オブジェクト指向記述の普遍的相互作用のためのLLMMにおけるチューリングマシンオブジェクトと言語オブジェクト間のギャップの橋渡し｜株式会社ガラパゴス
落合陽一准教授が主宰するデジタルネイチャー研究室から発表された最新論文を翻訳！ポイントだけ読み進めるとサクッと把握できます。 こちらの翻訳です 本書は抄訳であり内容の正確性を保証するものではありません。正確な内容に関しては原文を参照ください。 脚注、参考文献、Appendixなどは本文をご覧ください。 概要【POINT1】大規模言語モデルとプログラミング言語の対応関係を確立する新しい方法を提案しています。 【POINT2】デジタルと物理の世界をシームレスに結び、現実世界の認識と計算プロセスを橋渡しすることを目指します。 【POINT3】デジタルツインのコンセプトを進化させ、デジタルネイチャーの実現に貢献できる手法を開発しました。 図1：本研究の動機本研究では、プログラマが直面する、多様なオブジェクトの相互作用を記述するための包括的なクラスを手作業で生成するという課題に取り組むものである。ロ
![[翻訳]デジタルネイチャーに向けて：オブジェクト指向記述の普遍的相互作用のためのLLMMにおけるチューリングマシンオブジェクトと言語オブジェクト間のギャップの橋渡し｜株式会社ガラパゴス](https://cdn-ak-scissors.b.st-hatena.com/image/square/9dfe0a093d3e24785ab7f82858c58eb4af86ad7c/height=288;version=1;width=512/https%3A%2F%2Fassets.st-note.com%2Fproduction%2Fuploads%2Fimages%2F102818409%2Frectangle_large_type_2_85cfb325a33bbdd99bdb540d3f1980d8.jpeg%3Ffit%3Dbounds%26quality%3D85%26width%3D1280)
熱平衡化するかしないか、それが決定不能な問題だ 統計力学・スピン・チューリングマシン、難解の大決闘 | JBpress (ジェイビープレス)
（小谷太郎：大学教員・サイエンスライター） 2021年8月24日（日本時間）、学習院大学の白石直人助教と国立情報学研究所の松本啓史准教授らの研究グループは、「熱平衡化の問題は、一般的な形では解決不可能な問題であることを証明」したと発表しました＊1。 ・・・と聞いても、全く意味が分からない、というのが普通の人類の反応ではないでしょうか。 「熱平衡化」とは何でしょう。「解決不可能な問題であることを証明」とは、結局何かを解決したのでしょうか、それともしてないのでしょうか。解決できないのがどうしてそんなに誇れる成果なのでしょう。 この発表は、理論物理学の先端にして斬新な成果です。熱平衡化しない系という、研究者が頭を悩ます不可思議な問題に、チューリングマシンなる計算機械を持ち込んで、基礎から工事し直しちゃったというような結果なのです。 この、かなり高度で難解な理論物理学の成果を、私の咀嚼力のおよぶか
暗号解読者チューリングの新ポンド紙幣お披露目 6月から流通
英数学者アラン・チューリングの肖像をあしらった新50ポンド紙幣。イングランド銀行提供（2021年3月25日公開）。(c)AFP PHOTO / Bank of England 【3月25日 AFP】英中央銀行のイングランド銀行（Bank of England）は25日、第2次世界大戦（World War II）中の暗号解読者で、同性愛者だったアラン・チューリング（Alan Turing）の肖像が描かれた新50ポンド紙幣を公開した。多様性をたたえるデザインだとしている。 耐久性が高く偽造しにくいこのポリマー（プラスチック）紙幣は、チューリングの誕生日の6月23日から流通が開始される。 数学者だったチューリングは、現代のコンピューター科学の父と呼ばれる。1941年、ナチス・ドイツ（Nazi）の暗号機「エニグマ（Enigma）」の解読チームを率いた。 イングランド銀行のアンドルー・ベーリー（An
トップ ニュース 注目・速報 新着一覧 相場分析 プレスリリース 銘柄情報 BTC ETH SOL BNB ASTR OAS PLT BNB DOT ADA AVAX APT SUI XYM NEAR HBAR MATIC OP ARB AXS GMT SAND MANA ENJ GALA MONA DOGE SHIB BONK WIF RNDR LINK WLD TON JUP 学習 ビットコインの買い方 NFTとは 取引所診断 取引所おすすめランキング 仮想通貨IEO投資の稼ぎ方 注目プロジェクト 移動平均線とは MACDでトレンドを読む トレンド転換点の見極め方 抑えておきたいチャートパターン 分散投資のすすめ 税理士が解説する、仮想通貨の税金 お得情報 ビットコインを無料で入手する方法5選 ふるさと納税でビットコインを得る 楽天ポイントで始める仮想通貨 ステーキングで仮想通貨を増や
チューリング完全性について詳しく教えてください。
回答 (4件中の1件目) 大学の講義のレジュメ（らしい）のですが、一応こういう感じと言うことで。 http://www2.gssm.otsuka.tsukuba.ac.jp/staff/kuno/lectures/12/2012-04-TopicsPL1.pdf この回答欄に書くには長すぎますね。
自動運転EV開発のチューリング、日英言語対応のマルチモーダル学習ライブラリ「Heron」と最大700億パラメータの大規模モデル群を公開
自動運転EV開発のチューリング、日英言語対応のマルチモーダル学習ライブラリ「Heron」と最大700億パラメータの大規模モデル群を公開〜日本語で対話可能な画像-言語複合モデルを実現〜 完全自動運転車両の開発・販売に取り組むTuring株式会社（千葉県柏市、代表取締役：山本 一成、以下「チューリング」）は、日本語を含む複数言語対応の大規模マルチモーダル学習ライブラリ「Heron（ヘロン）」と、それにより学習した最大700億パラメータのモデル群を公開したことをお知らせします。 チューリングでは高度な自動運転を実現するため、視覚情報によって得られた情報を、人間のように言語化して高度な文脈を理解できるAIモデルを開発しています。今回公開したマルチモーダルモデルの学習技術と知見を活かし、完全自動運転にむけた開発を進めてまいります。 マルチモーダルについて 近年注目されている大規模言語モデル（LLM）
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
新50ポンド札にアラン・チューリング コンピューターやAIの先駆者 - BBCニュース
イングランド銀行、現代コンピュータの生みの親「アラン・チューリング」氏を新50ポンド紙幣の顔にすると発表
学術会議問題でデマを流す国会議員が知らないこと 軍事研究とチューリングの悲劇 | AERA dot. (アエラドット)
「Excel」にラムダ関数、ベータ版でテスト中 ～Excelの数式はチューリング完全な言語に／VBAやJavaScriptを知らなくてもユーザー定義関数を利用可能
スーパーマリオメーカーはチューリング完全（日曜数学会発表）
セミコロンレスJava はチューリング完全か？ - プログラマーの脳みそ
チューリング賞、コンパイラ技術の開発に貢献した研究者2人に
ChatGPTで注目、AI時代を予見した天才数学者チューリング
チューリングテストもパスしそうな文章生成AI、GPT-3はプレゼン資料作りもこなす！ | Techable(テッカブル)
【訃報】コンパイラ最適化の第一人者で女性として初めてチューリング賞を受賞した計算機科学者フランシス・E・アレン氏死去
イギリス紙幣にアラン・チューリング氏 コンピュータやAIの父、同性愛で有罪の過去も
チューリングの遺産--今も第二次大戦時の暗号解読技術に学ぶFacebook
チューリング、自社開発のAI自動運転機能を搭載した「THE 1st TURING CAR」を販売開始
[10Pショート読切] チューリング・テスト - れお太郎 | となりのヤングジャンプ
これが現代の科学力……！ 「スーパーマリオメーカーはチューリング完全」はなぜたった1年半で証明されたのか
チューリングの停止性問題 | IIJ Engineers Blog
コーエン・N・チューリング「ケインジアン vs マネタリストの区別はもはや時代遅れである」（2023年５月23日）
自動運転EVを年内投入、チューリングがカメラ方式で100台販売目指す ニュースイッチ by 日刊工業新聞社
イーサネットの生みの親、ボブ・メトカーフ氏がチューリング賞受賞
OpenAIの言語モデル最新版「GPT-4」が近日中に登場との噂、ついにチューリング・テストに合格するAIが実現か | TEXAL
チューリング株式会社
新50ポンド紙幣は “人工知能の父” 同性愛者だったアラン・チューリング - トラリブ Travel Blog
完全自動運転車両を目指すチューリング、国産の大規模言語モデル開発へ
チャットの相手がAIか人間かを見抜くチューリングゲームが公開
「計算機科学のノーベル賞」ことチューリング賞がコンパイラの改良に貢献した2人の研究者に贈られる
スマートコントラクト言語にチューリング完全性は本当に必要か？ーSolidityの課題と代替案