Turing Complete FM
Turing Complete FM
Rui Ueyama
Episodes
About
Reviews
Promote
16. プログラムの静的検証、システムズプログラミングの論文 (うどん)
1 hour 29 minutes Posted Apr 30, 2018 at 2:00 am.
0:00
1:29:31
Download MP3
Show notes
うどんくんが研究していたプログラム検証の話や、システムズプログラミングの古典的な論文についての話をしました。
← See all 31 episodes of Turing Complete FM
Podbay © 2026 Fancy Soups
About