Turing Complete FMはRui Ueyamaによるプログラミングについてのポッドキャストです。
16. プログラムの静的検証、システムズプログラミングの論文
ゲスト: うどん (@kw_udon_)
うどんくんが研究していたプログラム検証の話や、システムズプログラミングの古典的な論文についての話をしました。

速度 x1.0 (遅く / 速く) -15秒 / -5秒 / +5秒 / +15秒
この時点にリンク