タグ チューリング
新着順 10 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 はチューリング完全です。プ... 続きを読む
Rye × uvでPython環境と機械学習環境を整える
チューリングのE2E自動運転チームの岩政(@colum2131)です。 最近、チーム内でPythonを使った開発はRyeとuvを使うことが多くなり、特に機械学習環境もRyeとuvで問題なく開発できるようになりました。社内でのオンボーディング資料としてRyeとuvの操作を整備しようと思い、このテックブログで紹介します。 1. Rye × uvとは... 続きを読む
自動運転EVを年内投入、チューリングがカメラ方式で100台販売目指す ニュースイッチ by 日刊工業新聞社
チューリング(東京都品川区、山本一成最高経営責任者〈CEO〉)は、2024年内にも部分的に運転を自動化する「自動運転レベル2」の独自機能を搭載した電気自動車(EV)を日本国内で発売する。当初予定の25年から前倒しする。販売台数は50―100台規模の見通しで、24年夏をめどに性能などの詳細を決める予... 続きを読む
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台の車をつくりきって売る」という目標を掲げてきたんですが、ついに販売を始... 続きを読む
チューリング、自社開発のAI自動運転機能を搭載した「THE 1st TURING CAR」を販売開始
完全自動運転車両の開発・販売に取り組むTURING株式会社(千葉県柏市、代表取締役:山本 一成、以下「チューリング」)は、自社開発のAI自動運転システムと、オリジナルエンブレムを搭載した「THE 1st TURING CAR」を「1台限定」で販売いたします。 「THE 1st TURING CAR」はレクサスRX450hをベース車両として、チューリ... 続きを読む
コンパイル時計算でラムダ計算の構文解析器・評価器・型推論器を実現 (Scala 3編) - 貳佰伍拾陸夜日記
またか. またなのか. 何回目だ. ということで, ラムダ計算のインタプリタの実装としては4回目くらい*1, コンパイル時計算でやるものとしても3回目くらいになってしまうけど, ラムダ計算の処理系をまた書いてしまった. 今回の目的は, Scala 3にはmatch typesという機能があり, これだけでチューリング完全なのではないか,... 続きを読む
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 疑いようもなく、アラン・チ... 続きを読む