タグ チューリング
人気順 5 users 50 users 100 users 500 users 1000 usersuvだけでPythonプロジェクトを管理する
チューリングのE2E自動運転チームの岩政(@colum2131)です。 2024年8月20日にuvのマイナーバージョンが0.3.0にアップデートされました。元々、pipの代替として設計されていたuvが、Pythonのバージョン管理からパッケージ管理まで行えると発表されました。 以前の2024年7月にまとめた記事では、 将来的には、uvがRyeに代替... 続きを読む
GitHub Actions はチューリング完全
チューリング完全とは、ざっくり説明すると、一部を除くほとんど全ての計算が可能な能力を意味します。言い換えると、ほとんど全ての計算問題を解く能力を意味します。(あとでもう少し詳しく説明します。)プログラミング言語は一般にチューリング完全であり、例えば TypeScript や Python はチューリング完全です。プ... 続きを読む
LLMで自動運転車を動かしてみた話|aoshun7
こんにちは、自動運転EVをつくるTuring(チューリング)株式会社で共同創業者CTOをやっている青木俊介です。 先日Turingは噂のLLM(Large Language Model:大規模言語モデル)で自動運転車を動かすプロジェクトを完遂させました。 上の動画にもあるように、今回開発したデモではユーザ(乗客)が音声で指示を出すと、LLM... 続きを読む
誰でもカーデザイナーになれる?「画像生成AI」にクルマを描かせてみた | レスポンス(Response.jp)
文字を打ち込むと画像を作ってくれる画像生成AI。3月には自動運転スタートアップのチューリングが、画像生成AIを活用してデザインしたコンセプトカーを発表した。誰でも使えるAIは、誰でもカーデザインできることを意味するのだろうか? 試してみた。 ◆Midjourneyというアプリ チューリングのコンセプトカーの開発で、... 続きを読む
半世紀ぶりの国産自動車メーカーを目指して車を売ってみる話|aoshun7|note
こんにちは、青木俊介です。 2021年の夏にTURING(チューリング)という会社を始めて、『We Overtake Tesla』を合言葉に1年と3ヶ月、自動運転システムと車両の開発に取り組んでいます。 最初のマイルストーンとして「2022年の年末までにまず1台の車をつくりきって売る」という目標を掲げてきたんですが、ついに販売を始... 続きを読む
Excelの新機能「Lambda関数」によって「Excelの数式がチューリング完全になった」とナデラCEO。プログラミング言語としてのExcel数式であらゆる計算が可能に - Publickey
Excelの新機能「Lambda関数」によって「Excelの数式がチューリング完全になった」とナデラCEO。プログラミング言語としてのExcel数式であらゆる計算が可能に マイクロソフトCEOのサティア・ナデラ氏は、Excelの新機能である「Lambda関数」の登場をとりあげ、「世界で最も人気のあるプログラミング言語、Excelの数式が、... 続きを読む
「Excel」にラムダ関数、ベータ版でテスト中 ~Excelの数式はチューリング完全な言語に - 窓の杜
セミコロンレスJava はチューリング完全か? - プログラマーの脳みそ
セミコロンレスJava (Semicolonless Java)というのは Java でセミコロンを使わずにコードを書くというチャレンジである。 セミコロンを使わずともJavaはチューリング完全なのであろうか? 証明方法 チューリング完全であるという証明は、すでにチューリング完全であることが知られている体系を該当環境で実装することで... 続きを読む
TypeScript で型レベル Brainfuck - Object.create(null)
TypeScript の型システムはチューリング完全ということが知られていますが, 同じくチューリング完全な言語である Brainfuck のインタプリタを実装することで, その計算能力を確認することができます. この記事のコードは TypeScript 3.8.3 で動作確認しています. ゴール 型レベルで Brainfuck のインタプリタを実装しま... 続きを読む
英新紙幣にアラン・チューリング 第2次大戦の暗号解読者 写真7枚 国際ニュース:AFPBB News
英マンチェスターの科学産業博物館で、アラン・チューリングの肖像を採用した新50ポンド紙幣のコンセプトデザインを前に発表を行うイングランド銀行(BOE)のマーク・カーニー総裁(2019年7月15日撮影)。(c)OLI SCARFF / AFP 【7月16日 AFP】第2次世界大戦(World War II)中の暗号解読者アラン・チューリング(Alan Tu... 続きを読む
新50ポンド紙幣に「AIの父」 英中銀、21年末までに (写真=共同) :日本経済新聞
【ロンドン=共同】英中央銀行イングランド銀行(BOE)は15日、新たな50ポンド紙幣に英数学者のアラン・チューリングを採用すると発表した。現代のコンピューター科学につながる業績を生み"人工知能(AI)の父"とも言われる。2021年末までに流通が始まる見通しだ。 BOEのカーニー総裁は声明で、チューリングを選んだ理由... 続きを読む
新50ポンド札にアラン・チューリング コンピューターやAIの先駆者 - BBCニュース
Image copyright Bank of England イギリスの新しい50ポンド紙幣の肖像に、コンピューター科学の先駆者で暗号解読者のアラン・チューリング(1912~1954年)が採用されることが明らかになった。イングランド銀行(英中央銀行)総裁が15日、発表した。 チューリングは第2次世界大戦中、ナチス・ドイツの暗号解読に多大な... 続きを読む
え…暗号化技術まで!? 中国が米海軍の下請会社をハック、600GB以上の情報を窃取か | ギズモード・ジャパン
Image: pichitchai/Shutterstock.com え…暗号化技術まで!? 中国が米海軍の下請会社をハック、600GB以上の情報を窃取か 2018.06.12 19:00 エニグマも暗号解読班ウルトラも悲劇の天才アラン・チューリングもなくて、今はセキュリティの穴1個で済んでしまうのか… 中国政府が米海軍下請会社をハック し、大量の内部データを盗んでいたことが Washington... 続きを読む
[翻訳] マジック・ザ・ギャザリングはチューリング完全である - macbook air is so hot(低温やけど的な意味で)
マジック・ザ・ギャザリングがチューリング完全である事はよく知られています。最近 原文 を読んで感銘を受けたので、作者のAlexさんに許可を得て翻訳しました。 大事なポイントは、 実在するカードを組み合わせて、プレイヤーによる干渉(対象や効果の選択)を必要とせず *1 に、カードのテキストとゲームのルールのみに基いて(誘発能力を多用して)チューリング機械を実行する。 Yurii Rogozhinによ... 続きを読む
[翻訳] マジック・ザ・ギャザリングはチューリング完全である - macbook air is so hot(低温やけど的な意味で)
マジック・ザ・ギャザリングがチューリング完全である事はよく知られています。最近 原文 を読んで感銘を受けたので、作者のAlexさんに許可を得て翻訳しました。 大事なポイントは、 実在するカードを組み合わせて、プレイヤーによる干渉(対象や効果の選択)を必要とせず *1 に、カードのテキストとゲームのルールのみに基いて(誘発能力を多用して)チューリング機械を実行する。 Yurii Rogozhinによ... 続きを読む
人工知能にTwitterを運用させてチューリングテストしたら衝撃的事実が明らかになりました - karaage. [からあげ]
2018 - 04 - 18 人工知能にTwitterを運用させてチューリングテストしたら衝撃的事実が明らかになりました 人工知能 人工知能にTwitterを運用させてチューリングテストしてみた きっかけは、以下の動画がめちゃくちゃ面白かったので、自分でやったらどうなるか実験してみたかったからです。いわゆるパクリです。 ちなみにチューリングテストというのは、その対象に知能があるかどうかを判定するた... 続きを読む
「大聖堂」にコンピューターの未来を見た──ITがもたらす新しい中世と心の世界|WIRED.jp
INSIGHT 2017.04.01 SAT 20:00 「大聖堂」にコンピューターの未来を見た──ITがもたらす新しい中世と心の世界 コンピューターが発達したことで訪れた情報時代は、中世のころのように精神性や情緒を重んじる社会になるのではないか──。物理学者フリーマン・ダイソンの息子で歴史学者のジョージ・ダイソンが書いた『チューリングの大聖堂』、その文庫版の解説を執筆したジャーナリスト服部桂が綴... 続きを読む
マリオメーカーはチューリング完全だった【万能計算機】 by そー ゲーム/動画 - ニコニコ動画
マリオメーカーがチューリング完全であることの、数学的な証明に成功しました。ルール110セルオートマトンと、cyclic tag system(循環タグシステム)をコース内で再現しました。マリオメーカー計算機マイリス:mylist/53578200コースID:******(後でupします)マリオメーカーブックマーク:supermariomakerbookmark.nintendo.net/profi... 続きを読む
「大炎上男」が「1錠9万円」に釣り上げたHIV薬、オーストラリアの高校生が約230円で作り出すことに成功 - Engadget 日本版
米製薬会社チューリングが独占的に販売し、一時は750ドル(約9万円:当時)もしたHIV薬「ダラプリム」と同じ薬効成分を持つ薬を、オーストラリアの高校生が1錠あたりわずか230円という低コストで作り上げました。 ダラプリムといえば、チューリングを買収したマーティン・シュクレリがその独占力を利用して、550%もの値上げを敢行、1錠あたり約9万円というとんでもない価格に設定したことで知られるエイズ・マラ... 続きを読む
昆虫の目のメカニズム解明が、また一歩、前進した « WIRED.jp
2015.10.19 MON 昆虫の目のメカニズム解明が、また一歩、前進した 昆虫の角膜の表面を覆う微細な構造は、偉大な数学者アラン・チューリングが考え出した「反応拡散方程式のモデル」に従っている。ロシア科学アカデミーによる論文で、23の異なる種の昆虫を用いて行った解析から実証された。 hexagonal abstract image from Shutterstock 疑いようもなく、アラン・チ... 続きを読む
「イミテーション・ゲーム/エニグマと天才数学者の秘密」:偉業を知られる事無く、不名誉の内に非業の死を遂げたチューリングの生涯 - 夢は洋画をかけ廻る
2015-10-09 「イミテーション・ゲーム/エニグマと天才数学者の秘密」:偉業を知られる事無く、不名誉の内に非業の死を遂げたチューリングの生涯 「イミテーション・ゲーム/エニグマと天才数学者の秘密」(原題:The Imitation Game)は、2014年公開のイギリス、アメリカ合作のドラマ映画です。アンドリュー・ホッジスによる伝記「Alan Turing: The Enigma」を基にグレ... 続きを読む
イベント開催のお知らせ「アラン・チューリングの銀河系–スマートニュースとたどる本棚への道草—」 | スマートニュース株式会社
こんにちは、スマートニュースの鈴木健です。 スマートニュースでは、コンピュータの父にして数学者のアラン・チューリングをテーマにして、独立研究者の森田真生さんのガイドの元、この1年ほど社内にて講演会、読書会、勉強会、エニグマ電子工作、本棚づくり、小冊子づくりを進めてまいりました。 チューリングの本棚と小冊子「みちくさ」の(未)完成を記念して、10/9(金)に渋谷のスマートニュース本社にて公開イベント... 続きを読む
本の虫: x86のmov命令はチューリング完全
2015-06-21 x86のmov命令はチューリング完全 世の中には様々なチューリング完全なシステムがある。 本の虫: うっかりチューリング完全になっちゃったもの x86のMMUはチューリング完全である。 BGP(Border Gateway Protocol)はチューリング完全である。 http://vanbever.eu/pdfs/vanbever_turing_icnp_2013.pdf ... 続きを読む
暗合機エニグマ、競売に(時事通信) - Yahoo!ニュース
暗合機エニグマ、競売に 時事通信 4月10日(金)9時4分配信 9日、ニューヨークで展示されるナチス・ドイツの暗合機エニグマ。第2次大戦中、エニグマ解読に大きく貢献した英数学者アラン・チューリングの手書き原稿と共に近く競売に掛けられる。 続きを読む
脚本家が明かす9つの秘密:アラン・チューリングとは何者か? 映画『イミテーション・ゲーム』徹底解読 « WIRED.jp
長年チューリングの大ファンで、 念願かなって彼の生涯を映画化した脚本家グレアム・ムーア。 本作でアカデミー脚色賞を受賞した彼が、 自ら明かした9つの秘密を知れば映画をより深く楽しめる。 「007」やアップルとの意外な関係や チューリングを敬愛するがゆえの脚本家の苦悩……。 観てから読むか、読んでから観るか!? 未公開シーンになったあの日 『イミテーション・ゲーム/エニグマと天才数学者の秘密』の脚本... 続きを読む