サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
コンピューターの理論を学ぼうと思っても、複雑な専門書を読む必要があったり、講習を受ける必要があったりと、高いハードルに圧倒されて諦めてしまった経験がある人は多いはず。そんなコンピューターの理論やプログラミングの基礎を手軽に学べるゲームが「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 In 1928, David Hilbert, one of the most influential mathematicians of his time, asked whether it is possible to create an algo
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ゲートウェイといった拡張ボードと接続できるなど拡張性とモジュール性を考慮しており、今後出てくる新たなコンピュートモ
Accidentally Turing-Complete Some things were not supposed to be Turing-complete. This is a collection of such accidents. Stuff which is somehow limited (stack overflows, arbitrary configuration, etc) is still considered Turing complete, since all "physical" Turing machines are resource limited. C++ Templates Although they were initially not supposed to, C++ templates are Turing-complete. For proo
今、日本国内でにわかに注目を浴びつつあるスタートアップがある。プロ棋士の頂点である名人を破った将棋AIの「Ponanza」（ポナンザ）を開発した山本一成代表兼CEO率いる「TURING」だ。同社は2025年をメドに自動運転レベル5を目指しているのだという。 まだ、昨年12月に立ち上がったばかりの同社がターゲットとしているのは、かのイーロン・マスク率いるテスラ。将棋のプログラムで頂点に立った山本氏がクルマの世界に身を投じ、自動運転にチャレンジする理由とは何か？ 長年、自動運転の取材を続けている国沢光宏氏が独自の視点で直撃した！ インタビュアー／国沢光宏、写真／平野 学 【画像ギャラリー】AIで将棋の名人を破った天才がテスラ超えを目指す！ TURING代表、山本一成CEOが語る自動運転の未来とは？（10枚）画像ギャラリー 国沢光宏（以下、国沢）／山本さんがそもそも自動運転のクルマをやってみよう
Teslaは2021年8月19日にTesla AI Dayを銘打った大規模なプレゼンテーションをおこなった。自動運転というグランドチャレンジに対して、彼らはどういったビジョンを描いているのか、私が読み取れた範囲をみなさんと共有したい。 Vector Space Tesla AI チームが語る戦略は非常に野心的だ。 車周辺にある8台のカメラ画像から直接は物体認識や深度推定などの自動運転に必要なタスクを行わない。8台のカメラ画像を一度Vecotor Spaceという比較的低次元のベクトルに写像することを目指している。RegNet, BiFPN, Transformerなどここ数年で誕生した強力な新顔のNNを主体にこのVecotor Spaceは作成されている。 別々のカメラから車線予想をしてそれらを合成する(左下)より Vector Spaceから車線予想をしたほうが頑強でスムーズに(右下)
国内のゲーム制作チーム竹関工房は4月25日、『_turing』のSteamストアページを公開した。同作はiOS/Android/Steam（予定）向けに、2024年春リリース予定。竹関工房の公式サイト上では、Steam版について不確定な表記となっていたが、正式にリリースへ向けて進められているようだ。 『_turing』は、AIヒロインとの会話内容によって性格や結末が変わる、SFアドベンチャーゲームだ。本作でプレイヤーは、宇宙船の中でアイリスと2人きりになっている。ヒロインであるアイリスは、人間の感情を知るため、プレイヤーとの会話を望んでいる。そこで本作でプレイヤーは、彼女に「正しく」感情を教えていく。ヒロインのAIアイリスとの自由な会話によって、感情を知ったアイリスの変化や結末が描かれるそうだ。 本作では、アイリスと言語モデルを利用した自由な会話ができる。デモ動画などを見る限り、本作でプレ
山本一成と青木俊介は一ヶ月ほど前にLv5完全自動運転車スタートアップを始めた。ありがたいことに早速インターンの人が数名入ってきたくれた。物事が進み始める強いチカラを感じている。 仕事をするなかで非常に重要なことに気がついた。それはあらゆる仕事には二種類あるということだ。①現在を扱う仕事と②未来を描く仕事だ。①の仕事は今ある枠組みを整理したり改善したりするものだ。これはとても大切なものであるがそれだけではスタートアップは前進しない。 ②未来を描くことが必要だ。Lv5完全自動運転車を作るために何が課題だろうか。ハンドルがない車を社会実装するのは単純に技術だけの問題ではないのは明らかだ。財務・法務などもクリエイティブな設計が求められるだろう。 技術面での課題はさらにチャレンジングだ。完全自動運転車が社会に受容されるために人間の10倍安全であるとする。そのために必要なe2e deep learni
■導体チップと車載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年の創業時にお声
日本発自動運転EVスタートアップはどうやってTeslaを超えるのか 「Ponanza」作者が描く完全自動運転車の未来 合言葉は「We overtake Tesla」 自動運転EVスタートアップのTURING・CEO山本一成氏が描く自動運転の未来 国内外の自動車メーカーが注力している自動運転技術ですが、現状では、運転手のアシストが必要なレベル3程度の車がせいぜいで、レベル5となる完全自動運転の車には程遠い状況です。 そこで今回は、青木俊介氏とともに自動運転EVスタートアップ「TURING株式会社」を立ち上げた山本一成氏に自動運転の未来についておうかがいしました。前半は、スタートアップを立ち上げた経緯と「We overtake Tesla」を掲げる理由について。 「Ponanza」は独学で開発 機械学習業界と一緒に成長してきた ――まずは、山本さんの大学時代についておうかがいします。大学ではも
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」 についてお話しします。 構成は、 １. 概要 ２. 技術的アプローチ ３. その後の取り組み ４. 終わりに 付録：Budapestの名前の由来 です。 1. 概要 Budapestは、カメラ画像から深層学習でEnd-to-Endでハンドルを制御し、限定空間の決まったルートを周回し続けるというプロジェクトです。 このプロジェクトの目的は、車の改造から
TuringはAIを使い、世界中にいるソフトウェアエンジニアの中から、トップクラスの優秀な人材を選抜し、それぞれに最適な企業とマッチングするサービスを提供することで、優秀なエンジニアの人材不足問題を解決している。同社が取り扱う求人は、長期雇用のフルタイム職で完全リモートワークが基本だ。今回は創業者でCTOのVijay Krishnan氏に話を聞いた。 シリコンバレーのエンジニア不足を解消 ――まずはTuring設立の経緯を教えてもらえますか？ インドで大学を卒業してから、スタンフォード大学の大学院に進みました。卒業後はYahoo!に就職し、Turingを設立するまでに、3社起業しています。 機械学習との関わりはかなり長く、約18年前から携わっています。最初は研究者として、その後は法人向けに機械学習を活用したサービスを提供してきました。
はじめにみなさん、あけましておめでとうございます。田中です。 先月末に書いたメドレー退職によせてをお読み頂いた方から「次は何するの？」というご質問を何件かいただいていたのですが、私、田中は本年1月〜「We Overtake Tesla」をミッションに掲げ、完全自動運転EVの量産メーカーになることを目指す、Turing株式会社の取締役COOに就任しました。 自身のキャリアとしても、医療業界から自動車業界、ITの世界からものづくりの世界、BtoBからBtoC…と、ほぼ全てがガラッと変わる大きな挑戦になりますし、そもそもTURING自体が、完全自動運転の実現、EVの量産、打倒Tesla…とかなりチャレンジングな目標を掲げている会社だったりします。 この新しい挑戦を前に、個人的に初心を記録しておくというためにも「僕がなぜこの挑戦を選択しようと思ったのか？」「TURINGとはどんな会社なのか？」につ
このツイートにはてブで「皮肉っぽいコメント」してるみんな！あいしてるよ！ https://t.co/wrYyu4ytye https://t.co/Jkk8JhzW5c
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
こんにちは。永和システムマネジメントの内角低め担当、はたけやまです。 今回は、11月前半の私の可処分時間の全てを注ぎ込んだパズルゲーム「Turing Complete」を紹介します。 Turing Completeとは？ store.steampowered.com 宇宙人にさらわれた主人公が、宇宙人から出題されるパズルを解きながらデジタル回路を作成していく論理パズルゲームです。 Steamで早期アクセス版として配信されており、お値段は2050円。対応プラットフォームWindows、macOS、SteamOS + Linuxです。 Turing Complete は「デジタル回路設計パート」と「プログラミングパート」の二つのパートを行き来しながらゲームが進みます。 デジタル回路設計パート 〜 NANDがあればなんでもできる https://en.wikipedia.org/wiki/NAN
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
Comprehensive model performance, accuracy, and scalability assessment.
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の学習用ライブラリは、学習する
はじめに Turing株式会社でVehicleチームエンジニアを務めている山口恭史です。 Turingは自動運転車を量産するメーカーになることを目指し、2025年に100台の車の販売・2030年には10,000台の車の量産・販売を目標に開発を進めています。私たちTuringは単に自動車を作って販売することは目標に掲げておらず、Turing独自の哲学を持った自動車を作り上げることを目指しています。自動車の内外装（インテリア・エクステリア）のデザイン・IVIシステムやHMIシステムを通したユーザ体験・そして自動運転機能。2025年・2030年という目標設定を考えても、非常にタイトなスケジュールですが、高品質な車を一般カスタマーに届けるために、日々業務を頑張っています。 この記事では私がTuringのVehicleチームでどんな役割を果たしているか、またどんなことに日々挑戦しているかを紹介してい
AWS Startup Communityがお送りする、年に1度の祭典、「AWS Startup Community Conference 2022」。日本中のAWSを利用するスタートアップが、AWSの知見を披露するHubとなる1日です。ここで登壇したのは、TURING株式会社・CEOの山本一成氏。ディープラーニングによる、完全自動運転の実現について話しました。全2回。前半は、TURINGの始まりについて。 完全自動EVを目指す、TURINGの始まり 山本一成氏：TURINGという、完全自動EVを目指す会社がどういう狙いで始まったのか話していきたいと思います。 最初にちょっと自己紹介と、メンバーについて話をさせてください。 今しゃべっているのが、山本です。（スライドを示して）ちょっと自慢をすると、私は21歳の時から、将棋のプログラムを10年ぐらい作っていました。最終的には、機械学習、大規模
生成AIとLLMは世界を理解する能力を持っています。Turingの自動運転アプローチはカメラ方式で、運転の判断機構を重視しています。人間の運転学習と同様のアプローチでAIを開発することが完全自動運転の実現に繋がります。大規模基盤モデルが現実世界を理解し、制御できるようになることで、レベル5の自動運転が実現するでしょう。 ChatGPT4によるこの文章の要約生成AIやLLMの本質は世界を理解していること生成AIやChat GPTに代表されるLLM(Large Language Model, 大規模言語モデル)は表面的にはお絵描きやチャットボットという印象を持つかもしれません。しかしこれらのAIの本質は世界を認知・理解している点です。だからこそ、これらのAIは素晴らしいアウトプットを出せるのです。Chat GPTとの対話は時に大きな示唆を提供してくれます。また、画像生成AI「Stable Di
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
