タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
コンピューターの理論を学ぼうと思っても、複雑な専門書を読む必要があったり、講習を受ける必要があったりと、高いハードルに圧倒されて諦めてしまった経験がある人は多いはず。そんなコンピューターの理論やプログラミングの基礎を手軽に学べるゲームが「Turing Complete」です。今回はTuring Completeがどんなゲームか気になったので、実際にプレイしてみました。 Steam:Turing Complete https://store.steampowered.com/app/1444480/Turing_Complete/ Turing CompleteはSteam上で配信されており、上記リンクから購入可能です。販売価格は2050円。以下は起動した画面で、「Play Campaign」をクリックしてプレイを開始します。 Turing Completeは「宇宙人にさらわれた主人公が生存
三角関数や微積分の有用性に疑問を投げかける政治家の話があった。それに対して私のTwitterのタイムラインでは蜂の巣を突いたようにこれらの有用性や美しさを表明するツイートで溢れた。しかし同時に疑問を湧く、若者の時間は貴重だ。大学はその希少性を理解しているだろうか。 この難題を考えるために、ブライアン・カブランさんの本「教育反対の経済学」を読んだ。ちなみにこの本の価格が4800円と高いし、それに負けず中身もとてもボリューミーだ。 この本の中身を紹介する前に幾つかの前提をみなさんと共有しておきたい。経済学が前提のこの本で「役に立つ」というのはほとんどの場合は個人もしくは国家の収入が増えるという意味である。またこの本の著者及び私山本一成は大学というシステムで便益を受けている側であることも追記したい。 統計的に大学卒業者は高校卒業者より給料が高い。アメリカだとその傾向は先進国の中でもさらに顕著で最
1. はじめに こんにちは。TURING株式会社(以下、TURING)で長期インターンをしている、東京大学工学部4年の中谷と早稲田大学先進理工学部3年の天野です。 TURINGは、自動車メーカーとしてTESLA超えを掲げる、完全自動運転EV自動車を開発するベンチャー企業で、自動運転レベル2相当の改造車の販売を今年の目標に定めています。 6月から8月にかけて、正社員の方々の力を借りながらインターン生を中心にLEXUS RXのCAN(Controller Area Network)をハッキングして、私達は見事「カーハッカー」になりました。 この記事では、TURINGが車メーカーとして、AI・自動運転開発だけでなく、自動車そのものの車両開発をどのように行っているかを、CAN解析という点から紹介します。 図1 トルクセンサにつながる運転席足元の配線を、満面の笑みで外しにかかる弊社インターン 2.
Turingで車両開発のエンジニアをしているhidetatzです。ソフトウェア業界のプログラマからTuringでの自動車開発に飛び込みました。 Turingは「We Overtake Tesla」をミッションとし、完全自動運転EVを販売する完成車メーカーになることを目指している会社です。 Turingでは2023年1月20日に、1台目の車「THE FIRST TURING CAR」を販売開始しました! (こちらは既に成約いただいてます。) 「THE FIRST TURING CAR」は、トヨタのレクサスRX450hをベース車両としています。ベース車両というのはどういうことかというと、市販車として売られているレクサスをまずディーラーから買ってきて、それにTuringの自動運転ソフトウェアを組み込んで作られています。つまり、自動運転部分以外は普通のレクサスなわけです。 前述したように、Turi
基盤モデルが自動運転車を操ってる筆者のイメージ created by DALL-E Turingで機械学習チームでエンジニアをしている井ノ上です。(Twitter: いのいち) Turingは2030年までにあらゆる場所で自動走行が可能で、ハンドルが必要ない完全自動運転システム(Level 5自動運転)の開発を目指して様々な技術の調査や検証を行っています。このテックブログではTuringがどのようにしてLevel 5完全自動運転にアプローチしていくのか、近年の基盤モデルやGoogleのロボティクス研究から考えていきたいと思います。 TuringのLevel 5への仮説 Level 5の自動運転をどのようにして作るのか。これは多くの人が気になるところだと思います。TuringではLevel 5自動運転の実現の鍵は「知能」にあると考えています。従来の自動運転の開発によって、LiDARやレーダー
1. はじめに こんにちは。TURING株式会社(以下、TURING)で、インターンをしている東大B3の中村です。 TURINGは、完全自動運転EVを作るべく設立されたベンチャー企業です。自動運転システムとそれを搭載したEV車の開発を行っています。 TURINGでは、2022/09/27から同10/5(実走行は9/29から10/3)にかけて、hokkaidoプロジェクトと題して、自動運転システムを用いて北海道を沿岸部にかけてほぼ一周するプロジェクトを実施しました。結果として、総走行距離1480kmに対して約1400km(95%)を自動運転で走行しました。 今回、自動運転車両の走行をするために事前に北海道道庁・国土交通省に相談・許可をいただき、弁護士さんにお墨付きをもらった上で通過する各自治体に周知を行って実行しています。関係各所、弊社チームのみなさんにはこの場を借りて感謝お伝えします。 図
ALAN M. TURING 23 June 1912 – 7 June 1954 F | | P(T) R P(u) R P(r) R P(i) R P(n) R P(g) R P( ) R P(M) R P(a) R P(c) R P(h) R P(i) R P(n) R P(e) R P(s) R -> B B | | L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) -> F 2024-12-20 Translations: English, Spanish In 1928, David Hilbert, one of the most influential mathematicians of his time, aske
Turing Piは、Raspberry Pi 4 Compute Module(CM4)対応の4ノードクラスター「Turing Pi 2」を2022年1月に発売する予定だ。価格はおよそ200ドル(約2万2700円)で、SO-DIMMスロットに差し込むために必要なCM4用アダプターが10ドル(約1100円)になるという。 Turing Pi 2は、最大4枚のCM4をMini-ITXサイズに集約できるクラスター。Raspberry Pi Compute Module 1/3/3+対応の7ノードクラスター「Turing Pi 1」から、CM4、NVIDIA Jetson Nano/TX2 NX/Xavier NXへと対応モデルを増やしている。外部ストレージや5モデム、LoRaWANゲートウェイといった拡張ボードと接続できるなど拡張性とモジュール性を考慮しており、今後出てくる新たなコンピュートモ
今、日本国内でにわかに注目を浴びつつあるスタートアップがある。プロ棋士の頂点である名人を破った将棋AIの「Ponanza」(ポナンザ)を開発した山本一成代表兼CEO率いる「TURING」だ。同社は2025年をメドに自動運転レベル5を目指しているのだという。 まだ、昨年12月に立ち上がったばかりの同社がターゲットとしているのは、かのイーロン・マスク率いるテスラ。将棋のプログラムで頂点に立った山本氏がクルマの世界に身を投じ、自動運転にチャレンジする理由とは何か? 長年、自動運転の取材を続けている国沢光宏氏が独自の視点で直撃した! インタビュアー/国沢光宏、写真/平野 学 【画像ギャラリー】AIで将棋の名人を破った天才がテスラ超えを目指す! TURING代表、山本一成CEOが語る自動運転の未来とは?(10枚)画像ギャラリー 国沢光宏(以下、国沢)/山本さんがそもそも自動運転のクルマをやってみよう
国内のゲーム制作チーム竹関工房は4月25日、『_turing』のSteamストアページを公開した。同作はiOS/Android/Steam(予定)向けに、2024年春リリース予定。竹関工房の公式サイト上では、Steam版について不確定な表記となっていたが、正式にリリースへ向けて進められているようだ。 『_turing』は、AIヒロインとの会話内容によって性格や結末が変わる、SFアドベンチャーゲームだ。本作でプレイヤーは、宇宙船の中でアイリスと2人きりになっている。ヒロインであるアイリスは、人間の感情を知るため、プレイヤーとの会話を望んでいる。そこで本作でプレイヤーは、彼女に「正しく」感情を教えていく。ヒロインのAIアイリスとの自由な会話によって、感情を知ったアイリスの変化や結末が描かれるそうだ。 本作では、アイリスと言語モデルを利用した自由な会話ができる。デモ動画などを見る限り、本作でプレ
■導体チップと車載LLMアクセラレーターを開発自動運転向けSoCの500倍の推論能力目指すTuringは最新の発表で、自社製LLM推論アクセラレーターの開発を行うことを決定した。現行の自動運転向けSoCが持つ推論能力の500倍の処理能力を目指すとしている。この開発に向け、さらなる組織の拡大と人材採用を行うという。 マルチモーダルAIモデル・AI基盤モデルを車両内で動かすためには専用チップが必要不可欠――と判断し、半導体チップの開発に踏み切った。 技術で世界を前進させるため、最先端の車載LLM推論アクセラレーターを作りたい半導体設計エンジニアや完全自動運転を実現したい半導体エンジニア、AI(人工知能)・自動運転・半導体の全領域で世界ナンバーワンを目指したいエンジニアを広く募集する。 出典:Turingプレスリリース妥協許さず内製化を促進AI技術を駆使した自動運転ソフトウェアの開発をはじめ、自
■TURINGの取り組みレベル5に向けカメラとAIによる自動運転を実現TURINGは、自動運転レベル5に相当する完全自動運転の実現を目指している。走行する道路環境や場所などODD(運行設計領域)に縛られることなく、いつでもどこでも自動運転が可能な領域だ。 こうした自由な自動運転を実現するには、なるべく車両外部のシステムに依存しない自動運転システムが肝要になる。例えば、路車間連携システム(V2I)を利用する場合、交通インフラが整っていない場所では自動運転が不可能になるからだ。 それ故、同社は可能な限りAIの力で自律走行を可能にするシステムの開発に注力している。センサーが把握した車両外部の状況をAIが的確に認識・判断し、車両を制御する――というシンプルなシステムだ。 センサー類も、できるだけ人間の目の能力に近づけようとLiDARを使わず、カメラを主体としている。この辺りはいわゆる同社にとっての
完全自動運転車両の開発・販売に取り組むTURING株式会社(千葉県柏市、代表取締役:山本 一成、以下「チューリング」)は、自社開発のAI自動運転システムと、オリジナルエンブレムを搭載した「THE 1st TURING CAR」を「1台限定」で販売いたします。 「THE 1st TURING CAR」はレクサスRX450hをベース車両として、チューリングが自社開発したAI自動運転システムと、オリジナルエンブレムが搭載されており、チューリングとして初めてエンドユーザー向けに販売する製品です。 ■チューリングのAI自動運転機能について 従来の自動運転/運転支援技術は、多種多様なセンサーや周辺領域の高精度3次元データなどを用いて動きを制御するというアプローチをとることがほとんどでした。一方、チューリングのAI自動運転機能は「人間が目で見たものを頭で判断して運転する」のと同様に、特殊なセンサー等を用
AWS 辞めてどこに行くのかよく聞かれていましたが、完全自動運転 EV の製造開発・販売を行うスタートアップ Turing 株式会社に入社し、2/1 より働いています。 よくある入社エントリということで、経緯について少しだけお話しようかと思います。 Turing を知ったきっかけ2018年頃だと思うのですが、AWS Startup Loft の Ask an Expert (以下AAE) ブースで趣味の Twitter アプリの開発を行う代表の山本と知り合いました。当初は何している人なのかよく分かっておらず、正直ただの暇な人だと思ってサポートしていました(笑)。その後 Ponanza の開発者ということで「囲碁・将棋分野でのコンピューター活用の最前線 〜あの天才女流棋士たちも活用するAWS〜」のようなイベントでご一緒したりしており、少し前から知り合いな感じでした。 2021年の創業時にお声
「Ponanza」は独学で開発 機械学習業界と一緒に成長してきた――まずは、山本さんの大学時代についておうかがいします。大学ではもともと何を専門されていたのでしょうか? 山本:東京大学では理科I類に入っていました。最初の2年間は教養をやって、そのあと2年間で専門をやるんですが、留年したのは2年生と3年生の間で、当然ながら留年するくらいなので、何も勉強せずに2年間いました。東大に入ってからは何も勉強していないです(笑)。 専門の時も、留年した間のギャップイヤーみたいな感じでいたので、つまり何も勉強していないですね(笑)。ひどい話だ(笑)。 一応、3年生からは電気電子情報というところに入りました。最近は、プログラミングをやる人がそこにけっこう入るようになりましたが、当時プログラミングはぜんぜん人気がありませんでした。 東大内には「進振り」という、3年生になる時に成績がいい人から好きな学部に入れ
Grigore showed that Java generics are Turing complete by describing a reduction from Turing machines to Java subtyping. We apply Grigore's algorithm to Python type hints and deduce that they are Turing complete. In addition, we present an alternative reduction in which the Turing machines are simulated in real time, resulting in significantly lower compilation times. Our work is accompanied by a P
こんにちは、TURING株式会社でエンジニアをしている しおつか です。 この記事を読んでいただいている皆様の多くはTURINGって?そんな感じだと思います。 名前を知っていただいている方でも、最近Twitterとかで聞くけど結局なにやってるの?実際なにかやったの?という感じかもしれません。 TURINGは、2021年8月に創業した完全自動運転EVの製造・開発を目指す会社です。 この記事では、TURING最初のプロジェクト「Budapest」 についてお話しします。 構成は、 1. 概要 2. 技術的アプローチ 3. その後の取り組み 4. 終わりに 付録:Budapestの名前の由来 です。 1. 概要 Budapestは、カメラ画像から深層学習でEnd-to-Endでハンドルを制御し、限定空間の決まったルートを周回し続けるというプロジェクトです。 このプロジェクトの目的は、車の改造から
はじめにみなさん、あけましておめでとうございます。田中です。 先月末に書いたメドレー退職によせてをお読み頂いた方から「次は何するの?」というご質問を何件かいただいていたのですが、私、田中は本年1月〜「We Overtake Tesla」をミッションに掲げ、完全自動運転EVの量産メーカーになることを目指す、Turing株式会社の取締役COOに就任しました。 自身のキャリアとしても、医療業界から自動車業界、ITの世界からものづくりの世界、BtoBからBtoC…と、ほぼ全てがガラッと変わる大きな挑戦になりますし、そもそもTURING自体が、完全自動運転の実現、EVの量産、打倒Tesla…とかなりチャレンジングな目標を掲げている会社だったりします。 この新しい挑戦を前に、個人的に初心を記録しておくというためにも「僕がなぜこの挑戦を選択しようと思ったのか?」「TURINGとはどんな会社なのか?」につ
In this paper, we propose a novel approach to establish a connection between linguistic objects and classes in Large Language Model Machines (LLMMs) such as GPT3.5 and GPT4, and their counterparts in high level programming languages like Python. Our goal is to promote the development of Digital Nature: a worldview where digital and physical realities are seamlessly intertwined and can be easily ma
更新(24/05/23) ※記事全体の「生成AI」の記述を「AI」と区別するように修正を施しました。また、『Inverted Angel』のAI利用に関しては「テキストなどを作る生成AI」とはまったく別のため、修正しています。あわせて、AIを活用したタイトルをSteamに登録する際のガイドラインについても記事末尾に追記いたしました。記述に誤りがあり、申し訳ありませんでした。 近年はAIが大きなトピックである。クリエイティブ業界は企業から個人に至るまで、この技術の扱いをどうするのかについての話題が毎日のように交わされている。 現在AIは画像やテキストを作る生成AIの分野が目立っているが、それらに留まらず広い分野に関わってきている。僕が昨年見たニュースで印象深かったのは、声優の分野まで生成AIが関わっていることだ。大塚明夫氏や山寺宏一氏といった大御所にインタビューする機会があったとき、少しばか
みなさんこんにちは。"We Overtake Tesla"を合言葉に「完全自動運転EV」の量産メーカーになることを目指すTuringで今年の1月からCOOをやっている田中です。 Turingの取締役COOに就任してから、早いものでもう半年が経ちました。正直体感値としてはもう2年くらい働いている感覚なのですが、まあそれくらい濃密な時間を過ごせているということでしょう。 年始と今を比べると、社員数も爆増、事業や開発も爆速で進捗し、各種メディアからも非常に沢山取り上げていただき、自分の会社ながらそのスピード感に率直に驚いています。半年間。ちょっとした区切りでもありますし、僕が今まで考えたこと、やったことを簡単に振り返ってみたいと思います。個人的な備忘録という意味もありますが、そもそも「スタートアップのCOOになったばかりの人ってどんなことを考えて、何をやってるの?」というN=1のケーススタディと
Raspberry Pi Compute Module 4(CM4)やNVIDIA Jetsonシリーズを最大4枚まで搭載できるMini-ITXサイズの「Turing Pi 2」がKickstarterに登場し、人気を集めている。 Turing Pi 2は、小型かつ静音であり、エネルギー効率の高い4ノードクラスターだ。Turing Pi 2については以前fabcrossでも紹介しているが、今回のクラウドファンディングで正式に提供開始となる。Turing Pi 2は、スマートホーム、セルフホスティング、Kubernetesなどのクラウドネイティブスタック、機械学習などに利用できる。 Raspberry Pi CM4のほか、独自開発の「Turing RK1」、機械学習やデータサイエンスに適したNVIDIA Jetson Nano/TX2 NX/Xavier NXに対応。Raspberry Pi
About this game Turing Complete is a game about computer science. If you enjoy the thrill of figuring things out and those moments where a deeper perspective is revealed about something you thought you understood, this game is for you. Play Turing Complete What you learn LOGIC GATES Logic gates are the fundamental building blocks of computation. Given only a nand gate you create the rest. COMPONEN
こんにちは。永和システムマネジメントの内角低め担当、はたけやまです。 今回は、11月前半の私の可処分時間の全てを注ぎ込んだパズルゲーム「Turing Complete」を紹介します。 Turing Completeとは? store.steampowered.com 宇宙人にさらわれた主人公が、宇宙人から出題されるパズルを解きながらデジタル回路を作成していく論理パズルゲームです。 Steamで早期アクセス版として配信されており、お値段は2050円。対応プラットフォームWindows、macOS、SteamOS + Linuxです。 Turing Complete は「デジタル回路設計パート」と「プログラミングパート」の二つのパートを行き来しながらゲームが進みます。 デジタル回路設計パート 〜 NANDがあればなんでもできる https://en.wikipedia.org/wiki/NAN
AWS Startup Communityがお送りする、年に1度の祭典、「AWS Startup Community Conference 2022」。日本中のAWSを利用するスタートアップが、AWSの知見を披露するHubとなる1日です。ここで登壇したのは、TURING株式会社・CEOの山本一成氏。ディープラーニングによる、完全自動運転の実現について話しました。全2回。前半は、TURINGの始まりについて。 完全自動EVを目指す、TURINGの始まり山本一成氏:TURINGという、完全自動EVを目指す会社がどういう狙いで始まったのか話していきたいと思います。 最初にちょっと自己紹介と、メンバーについて話をさせてください。 今しゃべっているのが、山本です。(スライドを示して)ちょっと自慢をすると、私は21歳の時から、将棋のプログラムを10年ぐらい作っていました。最終的には、機械学習、大規模コ
C99 doesn't need function bodies, or 'VLAs are Turing complete' 19 Feb 2022 #programming #c Preface The 1999 revision to the C programming language brought several interesting changes and additions to the standard. Among those are variable length arrays, or VLAs for short, which allow array types to have lengths that are determined at runtime. These can show up in different contexts, but for the p
■マルチモーダル生成AI「Heron」の概要資格情報を言語化し高度な文脈を理解可能にTuringは、視覚情報によって得られた情報を人間のように言語化して高度な文脈を理解可能にするAIモデルの開発を進めており、そこで誕生したのがマルチモーダル生成AI「Heron」だ。 日本語を含む複数言語に対応した大規模マルチモーダル学習ライブラリで、画像認識モデルと大規模言語モデルを接続して各モジュールを追加学習するための学習コード、日本語を含むデータセット、最大700億パラメータの学習済みのモデル群で構成されている。 橋渡しを担うアダプタ部分を学習した後、画像エンコーダと大規模言語モデルを追加学習することで、全体として画像に写っているかモノが何かを正確に把握しながら、豊富な言語モデルの知識を利用して回答することが可能になるという。 出典:TuringプレスリリースHeronの学習用ライブラリは、学習する
やりきった! pic.twitter.com/kmqK7p3z75— ad5ebfa6-a132-4117-8c1e-9cb8ec8cd838 (@yaaamaaaguuu) September 7, 2024 CPUを作るゲーム 「Turing Complete」をクリアしたので自慢と、感想と、クリアに向けた足がかりを書いて置きます。 あくまで、ゲームをクリアしただけの人間 (計算機科学の学位や修士号, 博士号を持っている人間ではない) が書いているブログなので、このブログで書いているCPUへの 理解 とは、きちんと勉強した人たちからしてみると全然な可能性が高いです。 Turing Completeとは この記事を見ているということは、CPUというものを理解したいモチベーションがあり、すでに「Turing Complete」というゲームをご存知なのではないかと思いますが、念の為以下になり
この記事は3分で読めます。 結論会議の成功は資料作りと会議形態の設計でほぼ決まる。世界的企業であるamazonは会議について非常に大胆な施策をとっている。 背景amazonは現在複数の商売を抱えるテクノロジー企業である。 この会社のコミュニケーション形態を研究することは極めて価値が高いと考えられる。 「amazonのすごい会議」という本があったので、著書の内容を紹介する。 また 本書の解説youtube もレベルが高かったので同時に紹介する。 会議の成功は資料作成で決まるパワポや箇条書きは禁止amazonの資料は冪等性が求められる。 解釈に幅を持たせない意味でもパワポや箇条書きは禁止です。 いつ誰が読んでも理解できる資料が求められます。 そのためamazon社員は文章力は重視されるそうです。 会議の資料は基本1ページ参加者の負担削減のため基本A4一枚にまとめます。この中で前提や課題など全て
数学を愛する会 @mathlava インターネットの数学好き集団。数学にまつわる話題を発信しています。Join our Discord server↓ https://t.co/dvkF3H5kNz 数学を愛する会 @mathlava 【キリンの斑論争】 19世紀の後半、日本のある科学雑誌への投稿が学者の間で話題となります。 「キリンは成長過程で皮膚がひび割れることで模様が出来上がる。そのためキリンの模様と田んぼのひび割れは似ている」 この投稿をきっかけに「キリンの斑(まだら)論争」へと発展します。(1/n) pic.twitter.com/JaHon3QRMd 2023-11-15 17:26:45 数学を愛する会 @mathlava この投稿をしたのは平田森三という東大の物理学者であり、それに対して同じく東大の生物学者である丘英通は 「模様は色素の有無であり物理的な構造ではないため、ひ
はじめに Turing株式会社でVehicleチームエンジニアを務めている山口恭史です。 Turingは自動運転車を量産するメーカーになることを目指し、2025年に100台の車の販売・2030年には10,000台の車の量産・販売を目標に開発を進めています。私たちTuringは単に自動車を作って販売することは目標に掲げておらず、Turing独自の哲学を持った自動車を作り上げることを目指しています。自動車の内外装(インテリア・エクステリア)のデザイン・IVIシステムやHMIシステムを通したユーザ体験・そして自動運転機能。2025年・2030年という目標設定を考えても、非常にタイトなスケジュールですが、高品質な車を一般カスタマーに届けるために、日々業務を頑張っています。 この記事では私がTuringのVehicleチームでどんな役割を果たしているか、またどんなことに日々挑戦しているかを紹介してい
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く