Technology

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

Apr 30, 20181:29:31Technology

うどんくんが研究していたプログラム検証の話や、システムズプログラミングの古典的な論文についての話をしました。出演者: うどん ( @kw_udon_ )、Rui Ueyama ( @rui314 ) ハッシュタグはです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreon から登録してご協力ください。イントロ (0:00) Patreon (...

About This Episode

16. プログラムの静的検証、システムズプログラミングの論文 (うどん) is an episode from Turing Complete FM by Rui Ueyama. うどんくんが研究していたプログラム検証の話や、システムズプログラミングの古典的な論文についての話をしました。出演者: うどん ( @kw_udon_ )、Rui Ueyama ( @rui314 ) ハッシュタグはです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課...

Podcast

This episode belongs to Turing Complete FM.

Listen Online

Use the player on this page to stream the episode online.

Episode Details

Published Apr 30, 2018, 1:29:31 long, audio available.

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

About This Episode

Related Episodes