Artwork

コンテンツは Nao Minami によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャスト コンテンツは、Nao Minami またはそのポッドキャスト プラットフォーム パートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal
Player FM -ポッドキャストアプリ
Player FMアプリでオフラインにしPlayer FMう!

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

59:43
 
シェア
 

Manage episode 278472180 series 2784552
コンテンツは Nao Minami によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャスト コンテンツは、Nao Minami またはそのポッドキャスト プラットフォーム パートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal

前回に引き続き、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://podcasters.spotify.com/pod/show/pod-de-engineer/message
  continue reading

173 つのエピソード

Artwork
iconシェア
 
Manage episode 278472180 series 2784552
コンテンツは Nao Minami によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャスト コンテンツは、Nao Minami またはそのポッドキャスト プラットフォーム パートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal

前回に引き続き、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://podcasters.spotify.com/pod/show/pod-de-engineer/message
  continue reading

173 つのエピソード

すべてのエピソード

×
 
Loading …

プレーヤーFMへようこそ!

Player FMは今からすぐに楽しめるために高品質のポッドキャストをウェブでスキャンしています。 これは最高のポッドキャストアプリで、Android、iPhone、そしてWebで動作します。 全ての端末で購読を同期するためにサインアップしてください。

 

クイックリファレンスガイド