Turing Complete FM

View Top 200 Chart

Back to Rankings Page

Technology
**Turing Complete FM**

プログラミングとコンピュータサイエンスについてのディープな話をするポッドキャストです。

Latest Episodes:

31. 携帯電話のハッキング、コンピュータサイエンスの論文 (るくす) Oct 01, 2018

Show notes

カーネギーメロン大学の客員研究員として明日から赴任するるくすくんと、コンピュータのセキュリティや、システムズ系のコンピュータサイエンスの論文などについて話をしました。

出演者: るくす (@RKX1209)、Rui Ueyama (@rui314)

https://turingcomplete.fm/31

ハッシュタグは#tcfmです。

TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。

イントロ (0:00)
カーネギーメロン大学に明日から行きます (0:47)
Samsung Galaxyのシリアルコンソールを有効にするハードウェアの裏技 (9:00)
iPhoneではアンロックしてから1時間が経過するとUSBデータ通信が完全無効化される (16:00)
メモリアクセスのときに放射される電磁波ノイズでラジオを鳴らす (17:30)
初代XBoxのメモリバスをタップしてデータを取得 (18:54)
るくすくん作成のNintendo Switchエミュレータ公開されました (22:00)
Nintendo SwitchにAndroidを移植 (26:10)
Linus、他人に対する振る舞いを改善するために一時的に公的な立場を退く (27:50)
るくすくん、Kernel/VM関西というイベントを主催 (34:06)
x86ネイティブコードを安全に動かすNaCLの論文 (36:30)
4KiBページを自動的に2MiBのスーパーページに昇格するというFreeBSDの機能 (44:57)
Hans Boehmの「スレッドはライブラリとしては実装できない」という論文 (50:20)
カーネギーメロン大学における生活 (55:59)
エンディング (59:46)

30. セルフホストできるCコンパイラの作り方を夏休みの特別授業で教えた話 (hikalium) Sep 23, 2018

Show notes

セキュキャンのCコンパイラ自作コースが無事に終わりました。共同講師だったhikaliumと一緒に、コンパイラ自作の要点やコンピュータサイエンスの教え方などについて振り返りました。

出演者: hikalium (@hikalium)、Rui Ueyama (@rui314)

https://turingcomplete.fm/30

ハッシュタグは#tcfmです。

イントロ (0:00)
よい寄付先とは (4:47)
セキュキャンのCコンパイラ自作ゼミとは (7:51)
インクリメンタルにCコンパイラを作る (12:21)
左辺値と右辺値 (17:55)
似て非なるものを作るのは努力の重複ではない (19:17)
9cc書き始めました (20:51)
自作コンパイラの性能もそんなに悪くはない (21:18)
Ken Thompsonのログインハック (23:10)
Cコンパイラ、アセンブラ、リンカ、libc関数を全て自前で書く (32:16)
Stanford CS140 (34:59)
Stanford CS140e (37:40)
三億円事件 (40:59)
仮想通貨盗難事件のスケールの大きさ (45:29)
ビットコイン盗難とSIMスワップ攻撃 (48:11)
ハードウェアのセキュリティキー (49:08)
hikalium、Ergodoxキーボードを買う (51:24)
キーボード早打ち対決 (55:35)
国によってキー配列が違う (58:55)
プログラミングを教える時の心構え (1:01:31)
Keithというよい講師の話 (1:05:07)
褒めるときに悪い話をセットにしない (1:07:10)
久しぶりのTCFM (1:11:58)
エンディング (1:14:14)

29. ユタ・ティーポット、Cコンパイラ開発の授業、中学生時代のOS自作エピソード (hikalium) Aug 01, 2018

Show notes

セキュキャンのCコンパイラ作成コースの話、CGでよくでてくるティーポットの実物を入手した話、hikaliumの中学生時代のOS自作の話をしました。

出演者: hikalium (@hikalium)、Rui Ueyama (@rui314)

https://turingcomplete.fm/29

ハッシュタグは#tcfmです。

イントロ (0:00)
セキュキャン事前学習始まりました (1:33)
「低レイヤを知りたい人のためのCコンパイラ作成入門」（仮題）、現在7万字 (3:58)
Cの不可解な言語仕様のルーツを知るために1972年の最初期のCコンパイラのコードを読んでみた (6:07)
符号拡張とマイナス2進数 (13:04)
コース参加者のコードのほうが8ccのコードよりきれい (17:57)
一番最初のコンパイラは構文解析が非常に苦労した (20:23)
CGでよくでてくる例のティーポットを買いました (22:07)
元々はボストンのコンピュータ博物館で展示されていた (25:15)
Frieslandという会社が今でも同じティーポットを作っている (26:03)
ユタ・ティーポットはなにがCGに適しているのか (28:27)
ユタ・ティーポットと南部鉄器の類似性 (30:31)
内輪ネタとしてのユタ・ティーポット (33:14)
ユタ大学のUtah Teapot Rendering Competition (34:00)
画像処理の標準テストイメージとしてよく使われる女の人Lennaの話 (37:57)
ユタ・ティーポットは日本からも普通に買えるはず (41:47)
hikaliumのOS自作入門 (43:28)
hikaliumの小学生時代のホームページ (44:21)
30日OS自作入門本のOSのファイルシステム (48:00)
GUIの多色対応 (51:36)
30日OS自作入門本のmalloc (55:29)
K&R mallocを自力で発明して実装 (58:10)
テキストボックスを実装 (1:00:33)
ARMの実行のみできるページ（読めない）という新しい機能 (1:03:17)
x86のページテーブルがいつの間にか5段くらいに深くなっている件 (1:06:32)
lldでEFIバイナリのブートローダを簡単に作成 (1:08:01)
lldはクロスのビルドを簡単にするつもりで作っている (1:09:48)
hikaliumのOS次回作のテーマ (1:12:07)
Window Systemでウィンドウを入れ子にする (1:15:04)
クリックした場所を検出しようとすると必ずマウスカーソル自身になる問題の回避法 (1:18:58)
MIDIファイルを読んでPCのビープ音で再生する機能を実装 (1:20:48)
無理やりなコードでも動くものを一回書くと学べることが多い (1:25:00)
Intelのマニュアルを読んで16ビットモードのエミュレータの作成を試みる (1:26:42)
中学生の夏休みの頃はひたすらコードを書いていたりしていた (1:31:38)
エディタはWindowsのメモ帳だった (1:32:18)
いまからみると稚拙なコードを書いていた中学生時代 (1:37:50)
エンディング (1:39:57)

28. プログラミング言語のブートストラッピング問題、コードとの互換性を保ちつつ言語を変更していく話 (川合史朗) Jul 24, 2018

Show notes

Gauche Schemeの作者の川合史朗さんと言語処理系についての話をしました。GaucheのCコードとの互換性を保ちつつ無限リストを導入するために採用したトリックや、Gauche自身で書かれているGaucheを過去のバージョンでビルドするために気をつけていることなどの話をしました。

出演者: 川合史朗 (@anohana)、Rui Ueyama (@rui314)

https://turingcomplete.fm/28

ハッシュタグは#tcfmです。

イントロ (0:00)
電卓そろばん対決の動画存在しました (2:28)
Gaucheとそのほかのプログラムのリリースプロセス (3:33)
コンパイラのブートストラッピング問題とバージョン間の互換性 (4:51)
GCCやClangにおけるブートストラッピング問題 (18:08)
Goでは言語仕様がフリーズされていてGo 1の間は変更されない (19:41)
Webブラウザの6週間のリリースサイクルは短いのか長いのか (20:35)
FirefoxもClangとlldにスイッチ (21:32)
Gaucheがstdioを使わずに独自bufferred IOを実装している理由 (22:58)
FILE構造体の内部にアクセスする（移植性のない）実装 (26:41)
プログラム終了時にバッファをフラッシュしないといけない (27:13)
stdioではstdinを読もうとしたらstdoutがフラッシュされる (28:24)
遅延シーケンス（無限リスト） (31:05)
Cレベルでの互換性を保ったままconsセルを遅延シーケンスにするトリック (34:52)
遅延シーケンスをどこで使っているのか (37:29)
遅延シーケンスのパフォーマンス最適化 (38:45)
Clojure言語のTransducerという仕組み (42:07)
カリー化とは何か (46:06)
キーワードとシンボル (48:09)
キーワードをシンボルのサブクラスにして発生した問題 (54:27)
Scheme言語仕様にはキーワードはない（シンボルで十分？） (56:08)
現在仕様策定中のScheme言語仕様R7RS (58:27)
R6RSの言語仕様は振り返ってみて良いものといえるのだろうか？ (1:00:12)
標準化委員会が作る言語仕様と個人の作品としての言語仕様 (1:03:55)
Goの言語仕様の変更のプロポーザル (1:05:09)
Schemeでは言語仕様を実験的に拡張して良さそうなら標準化するというのがよくある流れ (1:06:51)
言語仕様策定の投票権は全員平等なのが本当によいのか (1:09:19)
Schemeは誰でも参加できるところがよいところ (1:10:02)
C++のトライグラフの廃止に最後まで反対していたのはIBMとカナダ (1:11:14)
エンディング (1:13:22)

27. 歴史の中のコンピュータ: 1946年の電王戦、エニグマ暗号の解読 (うどん) Jul 15, 2018

Show notes

今週は歴史回です。僕からは、終戦の翌年の東京で、日本のそろばん名人が米軍代表の電卓オペレータと大規模な公開マッチを行って、そろばん名人が勝利したという知られざるエピソードを紹介します。うどんくんからは、第二次世界大戦のドイツ軍の暗号がどう破られたのかという話をします。

出演者: うどん (@kw_udon_)、Rui Ueyama (@rui314)

https://turingcomplete.fm/27

ハッシュタグは#tcfmです。

イントロ (0:00)
コンピュータ歴史博物館 (0:40)
そろばん対決の当時の新聞記事を図書館で探す (4:22)
星条旗新聞の一次資料を発見 (8:24)
日本側挑戦者は逓信省に勤めるマツザキ・キヨシさん (9:50)
新聞の興行としての計算勝負 (12:52)
会場はアーニー・パイル・シアター（旧東京宝塚劇場） (14:55)
アメリカ側挑戦者はGHQ財務局のThomas Nathan Wood二等兵 (16:32)
モータを内蔵した機械式計算機 (17:19)
勝負の予想は半々に割れる (18:40)
日本側からNHKや新聞が取材に来ていてフィルムも残っているはず (20:39)
マツザキさんが勝利 (21:27)
マツザキさんの勝利を報じる星条旗新聞 (23:35)
この計算対決があったことはほとんど知られていない (24:35)
エニグマ暗号機 (27:24)
大昔のコンピュータを、現役学生時代にMITでハックしていた人がデモしてくれる (27:56)
エニグマの基本構造 (29:46)
シーザー暗号やヴィジュネル暗号との比較とその解読法 (33:29)
ワンタイムパッドとは (38:56)
バベッジとバベッジの階差機関 (41:05)
エニグマの基本構造と鍵空間の大きさ (43:24)
エニグマはいつ解読されたのか (46:54)
分散コンピューティングで解読する現代の試み (49:32)
ポーランドが暗号化手順の脆弱性を発見してエニグマのレプリカを作ることに成功 (51:02)
ソ連のページが重複した「乱数表」でアメリカが通信解読に成功していた事件 (1:06:30)
ポーランド侵攻の直前にイギリスのチューリングのチームに成果を引き継いだ (1:07:38)
チューリングを描いた映画「イミテーション・ゲーム」 (1:11:10)
クリブを元に全探索する装置Bombe (1:12:10)
ドイツ軍は連合国の暗号解読を試みたのか (1:16:05)
アメリカ軍の暗号解読により山本五十六海軍長官が殺害される (1:17:52)
タイガー手回し計算機 (1:19:26)
物量の差で負けた戦争と、そろばん電卓対決 (1:22:29)
テレビ番組化希望 (1:23:47)
未解読の暗号文を解読する現代の試み (1:24:58)
最近も新しい暗号文が解読されている (1:29:21)
エニグマのレプリカ自作 (1:31:01)
歴史回はどうだったか (1:32:21)
サイモン・シン「暗号解読」 (1:33:02)
エンディング (1:35:04)

追記

そろばん対決では四番勝負と言っていますが正しくは加減乗除とその全てのコンビネーションの五番勝負です。

26. Nintendo Switchのエミュレータでhomebrewアプリを動かす話、サイバーセキュリティと政府機関 (るくす) Jul 08, 2018

Show notes

るくすくんとSwitchエミュレータの進歩や、政府機関のサイバー部隊に就職したい話、セキュリティ全般について話をしました。

出演者: るくす (@RKX1209)、Rui Ueyama (@rui314)

https://turingcomplete.fm/26

ハッシュタグは#tcfmです。

イントロ (0:00)
Switchエミュレータでネットワーク通信が動くようになった (0:53)
SwitchのHomebrewのアプリをエミュレータで動かして動作確認 (1:48)
Webブラウザの脆弱性を使ってアプリをインストール (4:12)
完成度はまだまだだが、Switch用のNES（ファミコン）エミュレータくらいは動く (8:17)
GPUのエミュレーションの方法 (14:01)
既存のエミュレータと動作を比較してデバッグ (15:27)
開発期間は4〜5ヶ月 (20:47)
main関数に到達するまでが大変 (22:47)
QEMUベースのSwitchエミュレータの比較 (26:04)
オープンソース化したらどういう反応があるのか (27:13)
るくすくんのセキュリティのサーベイ記事 (29:42)
日本の政府機関のサイバー部隊 (30:55)
日本の政府機関のハイテク音痴ぽさ (37:10)
アメリカの情報機関に就職するには国籍がないと難しい (38:25)
スパイ衛星の運用は内調 (39:20)
ハッキングチームの情報流出事件 (42:00)
ハードウェアの脆弱性を使ったターゲット攻撃 (45:34)
PlayStation 4でWebブラウザがクラッシュすると警告文が出る (48:46)
法執行機関に対抗してユーザのプライバシーを守ろうとするAppleの姿勢と努力 (50:56)
セキュアブートとは (55:02)
拡張ハードウェアを使ったセキュアブートの回避 (57:31)
TCFMミートアップのQ&Aコーナーの質問 (1:00:20)
ワーム事件を引き起こしたRobert Morrisは今はMITの教授 (1:08:29)
Kevin Mitnickの逮捕に協力した下村努はノーベル賞受賞者の下村脩の息子 (1:10:21)
Project LoonのAstro TellerはEdward Tellerの孫 (1:11:55)

25. Chromeのローディングの最適化、脆弱性報奨システム、ブラウザとマイクロカーネル (Kinuko) Jul 01, 2018

Show notes

Chrome開発者のKinukoさんと、Chromeのページロードを速くする話や、ブラウザのセキュリティ、ブラウザのマルチプロセスアーキテクチャとマイクロカーネルの類似性などについて話をしました。

出演者: Kinuko (@kinu)、Rui Ueyama (@rui314)

https://turingcomplete.fm/25

ハッシュタグは#tcfmです。

イントロ (0:00)
Chromeのローディングを担当 (1:24)
リンクはクリックしたら一瞬で表示されてほしい (3:32)
Service Worker (4:28)
WebページをまとめるWeb Packaging (6:23)
Web PackagingとCDNとデジタル署名 (10:35)
信頼できる第三者による署名 (15:06)
マウスオーバーでプリフェッチ (16:22)
機械学習でプリフェッチ (17:32)
Chromeのデータセーバー (18:28)
遅い機能を使っていないことを宣言できるfeature policy (21:14)
ブラウザの深い話をするつもりが普通のWeb開発の話になっていた (23:00)
Service WorkerはGoogle検索も使っている (24:22)
Service Workerの最適化 (26:23)
Service Workerを使っている大規模サイトの例 (30:36)
ブラウザはとにかく大きくて複雑 (32:05)
細かくプロセスに分ける現代のブラウザはマイクロカーネルぽい (34:11)
File descriptor passing (42:04)
ブラウザのタブをVMにしたら？ (44:06)
KinukoさんはOSぽい研究をしていた (47:43)
分散ファイルシステムの研究 (48:40)
WWWのデザインの適当さの衝撃度 (51:39)
Chromeの脆弱性報奨システム (55:10)
定評のあるオープンソース開発者が意図的に悪意あるコードを書いたら見つけられるか？ (1:00:03)
SanitizerがC++を延命している (1:05:31)
セキュリティレビューワーは何をみているのか (1:11:30)
開発力のあるエンジニアを大量に集めてブラウザの巨大さに対抗 (1:14:05)
Windows版のChromeもlldリンカに移行 (1:15:16)
TCFMミートアップに100人以上が参加 (1:17:39)
趣味や研究でChrome開発に参加→就職 (1:21:14)

24. 細胞内の物質の濃度を測る研究、ヒトゲノム計画、害虫の根絶 (Shiro Kadowaki) Jun 24, 2018

Show notes

東大医学部卒業後にソフトウェアエンジニアをしている門脇さんと、生物の研究の話や最近の遺伝子技術の進歩などについて話をしました。

出演者: Shiro Kadowaki、Rui Ueyama (@rui314)

https://turingcomplete.fm/24

ハッシュタグは#tcfmです。

イントロ (0:00)
東大医学部 → ソフトウェアエンジニア (1:43)
DOS版のソフトをWindows 3.1に移植 (4:51)
医学部に行くと普通は医者になる (6:55)
細胞内の物質の濃度を測る研究 (9:40)
IP₃の濃度を蛍光タンパク質を使って測定 (16:15)
生物の実験と再現性の問題 (19:33)
測定することで測定対象に影響を与える問題 (24:00)
遺伝子を一から作ることはできるのか (25:08)
人体を設計し直せるとしたら (29:35)
蛍光の観察方法 (31:26)
制御装置をビジュアルプログラミング言語で作る話 (36:27)
細胞のシートや立体構造を作る話 (38:29)
実験の動画をMOで保存 (39:37)
実験装置の光源 (40:56)
ヒトゲノム計画 (46:29)
Perlの正規表現で遺伝子を探索 (50:37)
遺伝子の候補を見つけた後どう検証するのか (55:18)
ディープラーニングを使って眼底写真から血圧や性別を判別する話 (58:22)
蚊を根絶する話 (1:00:50)
沖縄における不妊虫放飼の実例 (1:03:07)
タスマニアデビルの感染性のガン (1:06:03)
野生生物の種単位での根絶を可能にするGene Drive (1:07:37)
数珠つなぎ式Gene Drive (1:11:11)
UnicodeのDNA絵文字のバグ (1:14:53)
マッドサイエンティストなPCR発明者 (1:18:49)
Wikipediaの専門のページ (1:20:40)

23. マッチングアルゴリズム、不揮発性メモリ、水槽の脳 (hikalium) Jun 17, 2018

Show notes

戦略投票を行わなくてよいマッチングのアルゴリズム、Intel 3D XPointのような不揮発性メモリ、この世界はシミュレーションか、といった話などをしました。

出演者: hikalium (@hikalium)、Rui Ueyama (@rui314)

https://turingcomplete.fm/23

ハッシュタグは#tcfmです。

イントロ (0:00)
セキュキャン2018 (2:05)
戦略を必要としないマッチングアルゴリズム (3:34)
デュヴェルジェの法則 (12:44)
比例投票制の制度設計 (18:32)
完全比例代表制と阻止条項 (20:41)
不揮発性DIMM (24:43)
不揮発性DIMMをどうモデル化するか (30:56)
不揮発性DIMMはファイルシステムとして見えるべきか、永遠に存在するプロセスとして見えるべきか (33:08)
3D XPointメモリは8バイト単位での書き込みがアトミック (39:37)
Compare-and-swap命令 (42:57)
ストレージ階層に新たな層が加わるのは面白い (45:32)
シングル磁気記録方式のHDD (46:42)
水槽の脳 (52:02)
世界シミュレーション仮説 (54:33)
シミューレーションと浮動小数点数演算の誤差 (55:19)
パイオニア・アノマリー (58:25)
カール・ポパーと反証可能性 (1:00:47)
hikaliumはこの世界はシミュレーションだと思うかどうか (1:03:44)
世界無課金ゲーム仮説 (1:07:25)
シンギュラリティ後の世界でコンピュータ内に移住したいかどうか (1:08:40)
「脳のなかの幽霊」と半球無視 (1:10:55)

22. gVisor（LinuxユーザプログラムとしてLinuxカーネルを実装したサンドボックス）とNoahの話 (ぬるぽへ) Jun 11, 2018

Show notes

gVisorというLinux向けサンドボックスがオープンソース化されました。gVisorの構成は、ぬるぽへさんが作成していたNoahとかなりよく似ています。そこで、ぬるぽへさんからNoahの経験をもとにgVisorの話を伺いました。

出演者: ぬるぽへ (@nullpo_head)、Rui Ueyama (@rui314)

https://turingcomplete.fm/22

ハッシュタグは#tcfmです。

イントロ (0:00)
NoahはLinux互換環境を提供する薄いVM環境 (1:38)
NoahでもgVisorでもないサンドボックス環境の例 (2:40)
Noahをサンドボックスにするアイデアはあった (4:51)
gVisorはGoogleのクラウドで数年間使われている実績のあるもの (5:37)
gVisorがlldでリンクできなかった問題 (6:36)
-mcmodel={medium,large} (7:05)
gVisorがうっかりlibcをリンクしていた (9:24)
gVisorはNoahに似ている (11:53)
gVisorは複数プロセスを持つことができる (12:55)
gVisorはLinuxカーネルをGoで実装したもの (15:16)
gVisorはTCP/IPプロトコルスタックを自前で実装 (19:54)
TCP/IPはなぜカーネルに実装されているのか (26:52)
Go Genericsパッケージ (28:28)
C11の型でディスパッチするマクロ (30:02)
C言語の正しいgoto文の使い方 (32:12)
C言語にテンプレートを入れてほしい (34:15)
コンテナはサンドボックスなのか (37:34)
起動の速いVMの研究 (40:32)
プロセスイメージのダンプ・アンダンプをgVisor/Noahでできないか (41:54)
ダンプ・アンダンプはLispの伝統的テクニック (45:45)
gVisorはptraceも実装 (51:51)
VDSO (53:58)
ソフトウェアでVMを実装するほうがハードウェアより速いことがよくある (56:56)
Intel EPT (nested pages)は性能上のメリットがある (1:00:42)
Shadow page table (1:02:55)
スタンフォードのコンピュータサイエンスの古典の論文を読む授業 (1:07:10)
IBM System/360とパーソナルコンピュータ (1:09:43)
NFS v1の論文 (1:13:23)
因果律を満たす限り非同期に書き込む同期ファイルシステムの研究 (1:14:57)
投機的ファイル読み込みとプロセス状態のロールバックを行うカーネルの研究 (1:21:21)
Ken Thompsonがコンパイラに埋め込んだハック (1:26:09)
ビルド環境では再現可能性が重要 (1:32:54)
エンディング (1:35:54)

Our TOPPODCAST Picks

Follow Us

Stay Connected

Related Podcasts

Links

Stay Connected