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

Turing Complete FM by Rui Ueyama

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