サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
大谷翔平
turingcomplete.fm
カーネギーメロン大学の客員研究員として明日から赴任するるくすくんと、コンピュータのセキュリティや、システムズ系のコンピュータサイエンスの論文などについて話をしました。出演者: るくす (@RKX1209)、Rui Ueyama (@rui314) https://turingcomplete.fm/31 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) カーネギーメロン大学に明日から行きます (0:47) Samsung Galaxyのシリアルコンソールを有効にするハードウェアの裏技 (9:00) iPhoneではアンロックしてから1時間が経過するとUSBデータ通信が完全無効化される (16:00) メモリアクセスのと
セキュキャンのCコンパイラ自作コースが無事に終わりました。共同講師だったhikaliumと一緒に、コンパイラ自作の要点やコンピュータサイエンスの教え方などについて振り返りました。出演者: hikalium (@hikalium)、Rui Ueyama (@rui314) https://turingcomplete.fm/30 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) よい寄付先とは (4:47) セキュキャンのCコンパイラ自作ゼミとは (7:51) インクリメンタルにCコンパイラを作る (12:21) 左辺値と右辺値 (17:55) 似て非なるものを作るのは努力の重複ではない (19:17) 9cc書き始めま
セキュキャンのCコンパイラ作成コースの話、CGでよくでてくるティーポットの実物を入手した話、hikaliumの中学生時代のOS自作の話をしました。出演者: hikalium (@hikalium)、Rui Ueyama (@rui314) https://turingcomplete.fm/29 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) セキュキャン事前学習始まりました (1:33) 「低レイヤを知りたい人のためのCコンパイラ作成入門」(仮題)、現在7万字 (3:58) Cの不可解な言語仕様のルーツを知るために1972年の最初期のCコンパイラのコードを読んでみた (6:07) 符号拡張とマイナス2進数 (13:
今週は歴史回です。僕からは、終戦の翌年の東京で、日本のそろばん名人が米軍代表の電卓オペレータと大規模な公開マッチを行って、そろばん名人が勝利したという知られざるエピソードを紹介します。うどんくんからは、第二次世界大戦のドイツ軍の暗号がどう破られたのかという話をします。出演者: うどん (@kw_udon_)、Rui Ueyama (@rui314) https://turingcomplete.fm/27 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) コンピュータ歴史博物館 (0:40) そろばん対決の当時の新聞記事を図書館で探す (4:22) 星条旗新聞の一次資料を発見 (8:24) 日本側挑戦者は逓信省に勤める
Chrome開発者のKinukoさんと、Chromeのページロードを速くする話や、ブラウザのセキュリティ、ブラウザのマルチプロセスアーキテクチャとマイクロカーネルの類似性などについて話をしました。出演者: Kinuko (@kinu)、Rui Ueyama (@rui314) https://turingcomplete.fm/25 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) Chromeのローディングを担当 (1:24) リンクはクリックしたら一瞬で表示されてほしい (3:32) Service Worker (4:28) WebページをまとめるWeb Packaging (6:23) Web Packagin
東大医学部卒業後にソフトウェアエンジニアをしている門脇さんと、生物の研究の話や最近の遺伝子技術の進歩などについて話をしました。出演者: Shiro Kadowaki、Rui Ueyama (@rui314) https://turingcomplete.fm/24 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) 東大医学部 → ソフトウェアエンジニア (1:43) DOS版のソフトをWindows 3.1に移植 (4:51) 医学部に行くと普通は医者になる (6:55) 細胞内の物質の濃度を測る研究 (9:40) IP₃の濃度を蛍光タンパク質を使って測定 (16:15) 生物の実験と再現性の問題 (19:33) 測定
gVisorというLinux向けサンドボックスがオープンソース化されました。gVisorの構成は、ぬるぽへさんが作成していたNoahとかなりよく似ています。そこで、ぬるぽへさんからNoahの経験をもとにgVisorの話を伺いました。出演者: ぬるぽへ (@nullpo_head)、Rui Ueyama (@rui314) https://turingcomplete.fm/22 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) NoahはLinux互換環境を提供する薄いVM環境 (1:38) NoahでもgVisorでもないサンドボックス環境の例 (2:40) Noahをサンドボックスにするアイデアはあった (4:51
東大の授業ではCPUやコンパイラを作ってレイトレイサを動かすという授業があります。高橋さんのチームはRISC-Vプロセッサを実装して汎用OSを動かそうとしました。その話を伺いました。出演者: 高橋祐花 (@00_)、Rui Ueyama (@rui314) https://turingcomplete.fm/21 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) CPU実験のコア係とコンパイラ係 (1:46) CPU実験と商業的なプロセッサとの比較 (6:43) CPUシミュレータ作成係 (9:29) コアのデバグの辛さ (10:58) Intel 4004(Intel最初のCPU)の設計の話 (13:08) チップア
るくすくんと一緒に、デバグ例外を使ってx86プロセッサ上のOSのセキュリティホールをつく手法や、Nintendo Switchのハッキング、ゲーム機のセキュリティなどについて話をしました。出演者: るくす (@RKX1209)、Rui Ueyama (@rui314) https://turingcomplete.fm/20 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) るくす君がカーネギーメロン大学に客員研究員として1年間行きます (1:30) POP SSデバグ例外を使った脆弱性 (10:47) セグメントレジスタを変更する命令に対するデバグ割り込みだけは特別扱いになるというCPUのマイナーな仕様を誰もよく理解
プログラミング言語を作る時には、途中で変えることが極めて難しいデザイン選択を最初に行わないといけないことがあります。今回は川合史朗さんがGaucheを設計した時に行ったデザイン選択の判断について話を伺いました。また、浮動小数点数のトリッキーさについても話をしています。出演者: 川合史朗 (@anohana)、Rui Ueyama (@rui314) https://turingcomplete.fm/17 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) セキュキャン参加者募集中 (0:41) 俳優のオーディションとその心構え (2:43) 川合史朗さんが出演している映画がサンフランシスコで上映されます (5:16)
CERNでソフトウェアエンジニアとして仕事をしている高橋祐花さんと、CERNでの話やスイスでの暮らし、外国語、フェミニズムなどについて話をしました。出演者: 高橋祐花 (@00_)、Rui Ueyama (@rui314) https://turingcomplete.fm/15 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) CERNはWWWが発明された場所 (1:25) Patreonを使ってサポーター制度を導入 (2:50) CERNの粒子加速器が生成するペタバイトレベルのデータを処理している (8:27) TensorFlowを使って太陽系外の惑星を発見する話 (14:39) C++で大量のデータを処理 (1
Gauche Schemeの作者の川合史朗さんと、Z80 CPUを使ったPCをホストコンピュータなしに自作した話や、Schemeの話などをしました。出演者: 川合史朗 (@anohana)、Rui Ueyama (@rui314) https://turingcomplete.fm/14 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 ハワイ在住で副業は俳優 (0:00) Gaucheは仕事でも使っている (2:21) Common LispはGoogle(元ITA)でも使っている (3:11) Noahでプロセスのundumpができないだろうか? (5:00) Clojureの起動はJVMなので速くない (6:02) Lispコンパイラは
hikaliumの自作アセンブラや自作言語、データ構造やトリッキーなビット操作を使ったアルゴリズム、リンカの最適化などについて話をしました。出演者: hikalium (@hikalium)、Rui Ueyama (@rui314) https://turingcomplete.fm/13 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) asmium — hikalium自作アセンブラ (1:20) Mach-Oオブジェクトファイルを自作アセンブラから出力するには (6:27) AppleがCPUをIntelからスイッチするという噂 (8:21) ラベルの後方参照がオブジェクトファイル内で解決されていない? (11:
Androidのテキスト処理を担当しているのなさんと、UnicodeやUnicode絵文字、テキスト処理の複雑さ、文字トリビアなどについて話をしました。出演者: のな (@ttuusskk)、Rui Ueyama (@rui314) https://turingcomplete.fm/12 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) 自分の読めない言語のテキスト処理は大変 (1:28) MMDDYYYYとDDMMYYYYの違いによる国際化バグ (3:07) Left-to-right言語とright-to-left言語 (5:23) アラビア語と英語のハイフネーション (6:15) 日本語の禁則処理 (7:19)
うどんくんがELVMを使ってCコンパイラをC++14 constexprに移植した件や、テンプレートとジェネリクス、プログラミングの型の理論などについて話をしました。出演者: うどん (@kw_udon_)、Rui Ueyama (@rui314) https://turingcomplete.fm/11 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) 数学ガールの結城先生から返事がいただけた件 (0:16) ELVMとは何か (4:26) C++テンプレート省メモリメタプログラミング (7:49) テンプレートの使い所とJavaのジェネリクス (12:42) Goにはジェネリクスもテンプレートもない (13:44)
OSの移植に使えるレベルのCコンパイラを自作CPU向けにスクラッチから書いた話について話を伺いました。出演者: うどん (@kw_udon_)、Rui Ueyama (@rui314) https://turingcomplete.fm/10 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) プログラミングは大学生から (2:44) プログラミングと理論の楽しさ (3:50) プログラミングの多様性と巨大ピタゴラ装置的プログラミング (13:45) CPU実験のFPU係 (16:36) Cコンパイラのパーザを土日に黙って作ってきてxv6移植チームに混ぜてもらう (26:52) Cの文法の問題点 (31:05) パーザを
東大CPU実験でUnixが動かせるCPUを自作してxv6 Unixを移植した件について話を伺いました。出演者: ぬるぽへ (@nullpo_head)、Rui Ueyama (@rui314) https://turingcomplete.fm/9 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) 日本語プログラミング言語 (1:16) 品川研 (2:41) 東大CPU実験の紹介 (4:38) 使っているハードウェアは結構よい (14:30) 情報理論、可逆計算、情報と熱 (16:20) CPU実験道場破り (18:55) 汎用CPUを作る必要はあるのか? (19:55) xv6は昔のUnix v6のテイストをそのまま
「30日でできる!OS自作入門」を小学5年生で手にして以来行ってきた低レイヤプログラミングについて話を伺いました。出演者: hikalium (@hikalium)、Rui Ueyama (@rui314) https://turingcomplete.fm/8 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) 小学5年生、OS自作入門本に入門する (0:50) アセンブリプログラミング (7:40) OSをフロッピーから起動 (9:45) 32ビットモードからBIOSを呼ぶために仮想86モードを使う (1) (13:25) 紙のIntelソフトウェアデベロッパマニュアル (17:55) 32ビットモードからBIOSを
仮想マシン上でLinuxを動かすのではなく、システムコールをトラップしてトランスレートすることによりLinuxアプリを他のOSで動かすことのできるNoahについて、ぬるぽへさんから話を伺いました。出演者: ぬるぽへ (@nullpo_head)、Rui Ueyama (@rui314) https://turingcomplete.fm/7 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) TCFMの内容は半分の人が1/4しかわかっていないらしい (1:40) Noahの概要 (3:20) Windows版のNoahとforkの実装など (12:00) Microsoftのクラウドビジネス (25:30) Noahの開
Miuraさんと一緒にいろいろなスクリプト言語の実装や言語そのものなどについて話をしました。出演者: Miura Hideki (@miura1729)、Rui Ueyama (@rui314) https://turingcomplete.fm/6 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 LuaとLuaJIT (0:00) 例外のABI (8:25) SQLiteとライセンス (12:45) ファイルシステムとデータベース (16:23) XLISPで言語の書き方を学んだ (19:15) C++の後方互換性とトライグラフ (21:55) Common Lispのメタオブジェクトプロトコル (26:18) Gauche Scheme
mrubyのJITなどを書いているMiuraさんと一緒に、言語処理系の実装や最適化、Rubyの文法の最適化しづらい点などについて話をしました。出演者: Miura Hideki (@miura1729)、Rui Ueyama (@rui314) https://turingcomplete.fm/5 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 本業は水道屋 (0:00) JITにするだけでは速くはならない (5:00) evalと最適化 (10:30) オーバーフローしたfixnumが自動的にbignumやfloatになる仕様について (16:35) mrubyが使われている場所 (24:10) 拡張ライブラリの書きやすさ (31:25
るくすくんの作ったカーネルデバッガやC++ライブラリの移植、C++などの話をしました。出演者: るくす (@RKX1209)、Rui Ueyama (@rui314) https://turingcomplete.fm/4 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 コンパイラやエミュレータを作るためのオススメの本などはありますか? (0:00) るくすくんが未踏で作ったカーネルデバッガ (8:46) C++標準ライブラリを新しい環境に移植する話 (39:35) SPDYやQUIC (58:14) 低レイヤーの歩き方 ビザンチン将軍問題 Gauche Scheme カーネルソフトウェア開発支援ツールの提案 ジョージ・ホッツ comma.
るくすくんと一緒に低レベルプログラミングやオープンソースの話をしました。出演者: るくす (@RKX1209)、Rui Ueyama (@rui314) https://turingcomplete.fm/3 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 カーネギーメロン大学の客員研究員ポジション通りました (0:00) PhD出願の方法 (5:30) 脆弱性の自動発見手法の研究 (13:35) turingcomplete.fmウェブサイトの改善とOpusオーディオエンコーディング (20:55) CPUの脆弱性 (Spector & Meltdown)の解説 (28:50) その他のCPUのバグ (51:15) オープンソースプロジェ
るくすくんと一緒に、るくすくんが開発しているNintend Switchのエミュレータの話やセキュリティの話などをしました。出演者: るくす (@RKX1209)、Rui Ueyama (@rui314) https://turingcomplete.fm/2 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 Nintendo Switchのエミュレータ開発 CPUの脆弱性 (Spector & Meltdown) カーネギーメロン大学の客員研究員ポジション スタンフォード大学の宿題 Stanford CS140 Stanford CS140e lldリンカ Fuchsia OpenBSD kernel address randomized
カーネギーメロン大学の客員研究員として明日から赴任するるくすくんと、コンピュータのセキュリティや、システムズ系のコンピュータサイエンスの論文などについて話をしました。
浜地さんを迎えてコードゴルフ、ゴルフ場のセキュリティ、先日ラスベガスで行われたセキュリティコンテスト(DEFCON CTF)の話を伺いました。出演者: 浜地 慎一郎 (@shinh)、Rui Ueyama (@rui314) https://turingcomplete.fm/1 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 ゲスト紹介 (0:00) コードゴルフ (2:31) ゴルフ場のセキュリティ (15:45) DEFCON CTF (29:01) APL J 浜地さんの運営しているゴルフ場
このページを最初にブックマークしてみませんか?
『Turing Complete FM』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く