面白そうなプログラムを見ると証明せずにはいられない with @fetburner

59:43
 
シェア
 

Manage episode 278472180 series 2784552
著作 Nao Minami の情報はPlayer FM及びコミュニティによって発見されました。著作権は出版社によって所持されます。そして、番組のオーディオは、その出版社のサーバから直接にストリーミングされます。Player FMで購読ボタンをタップし、更新できて、または他のポッドキャストアプリにフィードのURLを貼り付けます。

前回に引き続き、Wantedly に最近入社した @fetburner をゲストに迎えて、Coq を利用した定理証明について話しました。

https://github.com/fetburner/TypeInfer

https://github.com/fetburner/compelib/blob/master/lib/Regexp.v

https://github.com/AbsInt/CompCert

https://github.com/mperham/sidekiq/blob/v6.1.2/lib/sidekiq/launcher.rb#L126

--- Send in a voice message: https://anchor.fm/pod-de-engineer/message

58 つのエピソード