Turing Complete Fm

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) パーザを成長させて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の補