10. Cコンパイラをスクラッチから作成、東大CPU実験、型とプログラミング (うどん) - a podcast by Rui Ueyama
from 2018-03-17T08:00
::
::
OSの移植に使えるレベルのCコンパイラを自作CPU向けにスクラッチから書いた話について話を伺いました。
出演者: うどん (@kw_udon_)、Rui Ueyama (@rui314)
ハッシュタグは#tcfmです。
TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。
- イントロ (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)
- JavaScript版の自作CPU向けシミュレータ上で今回移植したxv6を動かせるページ
- CPU実験で自作CPUにUNIXライクOS (xv6) を移植した話
- 自作CPU向けCコンパイラをつくってOS動かした話(CPU実験まとめ)
- 結城さんの数学ガール
- ゴールドバッハの予想
- 型システム入門 —プログラミング言語と型の理論—
- Hindley-Milner type system
- xv6 Unix
- 2の補数
- ucc
- 8cc
- tcc
- rucc
- トロン(映画)
- 1982年版トロンのCG
- 惑星ソラリス(映画)
Further episodes of Turing Complete FM
Further podcasts by Rui Ueyama
Website of Rui Ueyama