Search


	Podcast:		Turing Complete FM
	Episode:		16. プログラムの静的検証、システムズプログラミングの論文 (うどん)
	Category:		Technology
	Duration:		01:29:31
	Publish Date:		2018-04-29 21:00:00
	Description:		うどんくんが研究していたプログラム検証の話や、システムズプログラミングの古典的な論文についての話をしました。 (@kw_udon_) https://turingcomplete.fm/16 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。ハッシュタグは#tcfmです。セキュキャン2018 線形論理モデル検査高階モデル検査うどんくんの出身研究室が開発している関数型プログラムの自動検証器プログラミング言語Rust カリーハワード同型対応 Coq COMPCERT Cコンパイラ INRIA 四色問題ケプラー予想プログラミング言語Eiffel Misreading Chat 簡単なプログラミング言語を30分で作る実況動画音の良いポッドキャストを録音するために ― Turing Complete FMの収録テクニック Turing Complete FMの裏側 ― Webサイト構築編 Stanford CS240 「悪い方が良い」原則と僕の体験談 Arduinoで作る携帯サイト自動巡回マシン
	Total Play:		0

Some more Podcasts by Rui Ueyama

60+ Episodes

Turing Compl ..