16. プログラムの静的検証、システムズプログラミングの論文 (うどん)

https://is1-ssl.mzstatic.com/image/thumb/Podcasts115/v4/19/a3/2f/19a32f0e-b983-1c72-fff3-634725d4d272/mza_17412605052715293422.jpg/600x600bb.jpg

Turing Complete FM

Rui Ueyama

31 episodes

9 months ago

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

Technology

RSS

All content for Turing Complete FM is the property of Rui Ueyama and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

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

Technology

16. プログラムの静的検証、システムズプログラミングの論文 (うどん)

Turing Complete FM

1 hour 29 minutes 31 seconds

7 years ago

16. プログラムの静的検証、システムズプログラミングの論文 (うどん)

うどんくんが研究していたプログラム検証の話や、システムズプログラミングの古典的な論文についての話をしました。