Turing Complete FM

View Top 200 Chart

Back to Rankings Page

Technology
**Turing Complete FM**

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

Latest Episodes:

11. C++ constexprによるコンパイル時Cコンパイラ、テンプレートとジェネリクス、コンピュータサイエンスの理論と実践 (うどん) Mar 25, 2018

Show notes

うどんくんが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)
C++11とC++14のconstexpr (17:19)
C++17の多重代入構文 (22:25)
Accidentally Turing-Complete (24:11)
Javaのジェネリクスはチューリング完全 (24:58)
Javaの型システムはunsound (25:54)
Featherweight Java (35:15)
C++コンパイル時コンパイラに対する大きな反響 (37:35)
ELVMのバックエンドが書きやすい言語と書きにくい言語 (38:50)
難解言語として作られたMelborne (42:58)
Rubyのfizzbuzzコードゴルフと数学 (47:38)
SATySFiはどうなんですか (50:44)
理論的にもよく実際にメリットがある言語 (54:55)
静的型と動的型 (55:48)
lldのメモリを解放しないデザイン (1:00:45)
FacebookとOCaml (1:02:48)

10. Cコンパイラをスクラッチから作成、東大CPU実験、型とプログラミング (うどん) Mar 17, 2018

Show notes

OSの移植に使えるレベルのCコンパイラを自作CPU向けにスクラッチから書いた話について話を伺いました。

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

https://turingcomplete.fm/10

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

イントロ (0:00)
プログラミングは大学生から (2:44)
プログラミングと理論の楽しさ (3:50)
プログラミングの多様性と巨大ピタゴラ装置的プログラミング (13:45)
CPU実験のFPU係 (16:36)
Cコンパイラのパーザを土日に黙って作ってきてxv6移植チームに混ぜてもらう (26:52)
Cの文法の問題点 (31:05)
パーザを成長させてCコンパイラを作る (34:22)
Udon C Compiler (40:49)
typedefは特に文法的に曲者 (43:01)
xv6のユーザランドもuccですべてコンパイル (47:45)
OCamlでなければ実験期間内にCコンパイラはたぶん完成しなかった (50:18)
Erlangの言語のパターンマッチの問題点 (53:23)
xv6をコンパイルする前にPicrin Schemeを移植してテスト (56:20)
reallocのバグにハマる (58:00)
MinCamlで書かれているレイトレプログラムは大昔には元々BASICで書かれていた (1:03:38)
レイトレでレンダリングされるあの画像は映画のTRON (1:04:37)
惑星Solaris (1:06:16)
東大CPUはレイトレの速度だけで成績が決まるわけではない (1:09:14)
Fabrice Bellard伝説 (1:14:53)

9. 東大CPU実験で自作CPUにUnixを移植した話 (ぬるぽへ) Mar 11, 2018

Show notes

東大CPU実験でUnixが動かせるCPUを自作してxv6 Unixを移植した件について話を伺いました。

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

https://turingcomplete.fm/9

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

イントロ (0:00)
日本語プログラミング言語 (1:16)
品川研 (2:41)
東大CPU実験の紹介 (4:38)
使っているハードウェアは結構よい (14:30)
情報理論、可逆計算、情報と熱 (16:20)
CPU実験道場破り (18:55)
汎用CPUを作る必要はあるのか？ (19:55)
xv6は昔のUnix v6のテイストをそのままにx86に作り直したもの (21:15)
Russ Cox伝説 (28:21)
Robert Morrisはインターネットを落としたことがある (31:20)
MySpace作者は家をSWATに襲撃された (32:33)
DOOM作者のJohn Carmackはコンピュータを盗んで捕まった (33:16)
ぬるぽへさんの中学時代のいたずら (34:38)
xv6をMIPSに移植 (38:35)
Cコンパイラをスクラッチからいきなり作成 (48:16)
ELVM/8ccとチューリング完全 (50:40)
自作CPU用のツールチェイン (56:50)
汎用CPUを作るのは大変 (1:00:40)
クロス開発とセルフ開発のブートストラップ (1:05:07)
xv6のファイルサイズ制限の回避 (1:08:30)
Cプリプロセッサを作るのは若干面倒 (1:11:20)
東大CPU実験を他の大学に移植するには？ (1:17:42)
就活とプログラミングコンテスト (1:22:00)

8. 30日OS自作入門本を読んでOS自作、コンピュータサイエンスと大学、インターンシップ (hikalium) Mar 04, 2018

Show notes

「30日でできる！OS自作入門」を小学5年生で手にして以来行ってきた低レイヤプログラミングについて話を伺いました。

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

https://turingcomplete.fm/8

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

イントロ (0:00)
小学5年生、OS自作入門本に入門する (0:50)
アセンブリプログラミング (7:40)
OSをフロッピーから起動 (9:45)
32ビットモードからBIOSを呼ぶために仮想86モードを使う (1) (13:25)
紙のIntelソフトウェアデベロッパマニュアル (17:55)
32ビットモードからBIOSを呼ぶために仮想86モードを使う (2) (20:12)
CPUの機能でブレイクポイントをセットしてOSをデバグ (24:56)
ページングとセグメンテーション (28:07)
Virtual PCのバグを発見 (31:30)
SourceForgeでマルウェアをインストールしてしまう (38:04)
自作OSを起動するとなにがあるのか (41:52)
大学で自分強すぎ問題 (44:58)
RISC-Vプロセッサを使うのはまだ辛い (49:20)
大学のマイコン実験 (55:10)
海外の大学院にいくべきか問題 (1:00:38)
Chromeのインターン (1:05:56)

7. macOSやWindowsでLinuxバイナリを動かすプログラムを作った話 (ぬるぽへ) Feb 25, 2018

Show notes

仮想マシン上でLinuxを動かすのではなく、システムコールをトラップしてトランスレートすることによりLinuxアプリを他のOSで動かすことのできるNoahについて、ぬるぽへさんから話を伺いました。

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

https://turingcomplete.fm/7

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

イントロ (0:00)
TCFMの内容は半分の人が1/4しかわかっていないらしい (1:40)
Noahの概要 (3:20)
Windows版のNoahとforkの実装など (12:00)
Microsoftのクラウドビジネス (25:30)
Noahの開発期間 (29:09)
LinuxのGUIアプリをX経由でmacOSで動かす (37:05)
端末のシミュレーションとカーネルのサポート (39:38)
Fuchsia OS (44:30)
GNUユーティリティの書き換え？ (50:10)
エンディアンとは何か (54:00)
macOSアプリをLinuxで動かすmaloader (56:25)
Noah経由のシステムコールのオーバーヘッドの小ささ (59:50)
オープンソースプロジェクトを宣伝する (1:02:13)
lldのソースコードを共有しないデザインについて (1:04:58)
Linux KVM、Apple Hypervisor Framework、Intel HAXM (1:10:36)
DockerとDocker on macOS/Windowsは中身が全く違う (1:16:12)
VM作成のドキュメンテーションのなさについて (1:19:00)
C++初心者、Boostを使って共有メモリ上のコンテナを使う (1:24:33)
東大CPU実験と強さのインフレ (1:33:07)

6. LuaJIT、Lisp、Forth、PostScript、メタオブジェクトプロトコル、勉強に良いソースコード (Miura Hideki) Feb 17, 2018

Show notes

Miuraさんと一緒にいろいろなスクリプト言語の実装や言語そのものなどについて話をしました。

出演者: Miura Hideki (@miura1729)、Rui Ueyama (@rui314)

https://turingcomplete.fm/6

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

LuaとLuaJIT (0:00)
例外のABI (8:25)
SQLiteとライセンス (12:45)
ファイルシステムとデータベース (16:23)
XLISPで言語の書き方を学んだ (19:15)
C++の後方互換性とトライグラフ (21:55)
Common Lispのメタオブジェクトプロトコル (26:18)
Gauche Schemeのコンパイラのブートストラップ (35:40)
川合史郎さんの自作オーブンPC (40:02)
ForthとOh! FM (43:00)
Sun SPARCStation (50:27)
PostScriptとHTML Canvas (53:16)
SVGとXML (56:58)

5. 動的型付け言語のJIT、Rubyの最適化しにくい文法、Crystal (Miura Hideki) Feb 12, 2018

Show notes

mrubyのJITなどを書いているMiuraさんと一緒に、言語処理系の実装や最適化、Rubyの文法の最適化しづらい点などについて話をしました。

出演者: Miura Hideki (@miura1729)、Rui Ueyama (@rui314)

https://turingcomplete.fm/5

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

本業は水道屋 (0:00)
JITにするだけでは速くはならない (5:00)
evalと最適化 (10:30)
オーバーフローしたfixnumが自動的にbignumやfloatになる仕様について (16:35)
mrubyが使われている場所 (24:10)
拡張ライブラリの書きやすさ (31:25)
CライブラリからRubyで書かれたコールバックを呼び出す状況の辛さ (33:30)
Crystal (38:10)
型推論とプログラムの書きやすさ (40:25)
コンパイラにわからない形でevalを使う方法 (50:25)
evalの使いどころとread (55:25)
callcc (59:47)

4. カーネルデバッガ、C++ライブラリの移植、ネットワークプロトコルと大規模な実験 (るくす) Feb 05, 2018

Show notes

るくすくんの作ったカーネルデバッガやC++ライブラリの移植、C++などの話をしました。

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

https://turingcomplete.fm/4

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

コンパイラやエミュレータを作るためのオススメの本などはありますか？ (0:00)
るくすくんが未踏で作ったカーネルデバッガ (8:46)
C++標準ライブラリを新しい環境に移植する話 (39:35)
SPDYやQUIC (58:14)

3. カーネギーメロン大学の客員研究員ポジション、様々なCPUのバグ、オープンソースプロジェクトから読み取れる各社の意向 (るくす) Jan 28, 2018

Show notes

るくすくんと一緒に低レベルプログラミングやオープンソースの話をしました。

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

https://turingcomplete.fm/3

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

カーネギーメロン大学の客員研究員ポジション通りました (0:00)
PhD出願の方法 (5:30)
脆弱性の自動発見手法の研究 (13:35)
turingcomplete.fmウェブサイトの改善とOpusオーディオエンコーディング (20:55)
CPUの脆弱性 (Spector & Meltdown)の解説 (28:50)
その他のCPUのバグ (51:15)
オープンソースプロジェクトから読み取れる会社の意向 (1:03:55)
Facebookのコンパイラディナー (1:11:27)
弾幕ゲーム言語とピンボール言語 (1:18:54)
オールTTLの手作りCPU (1:30:15)
技術力＋α (1:35:12)
視聴者からのお便り待ってます (1:46:45)

2. Nintendo Switchのエミュレータの開発、CPUの投機的実行のセキュリティホール、CMUとスタンフォード (るくす) Jan 21, 2018

Show notes

るくすくんと一緒に、るくすくんが開発しているNintend Switchのエミュレータの話やセキュリティの話などをしました。

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

https://turingcomplete.fm/2

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

Nintendo Switchのエミュレータ開発
CPUの脆弱性 (Spector & Meltdown)
カーネギーメロン大学の客員研究員ポジション
スタンフォード大学の宿題

Our TOPPODCAST Picks

Follow Us

Stay Connected

Related Podcasts

Links

Stay Connected