くりらじ静岡局から、技術屋目線で技術情報を追いかける番組をお届けします。
…
continue reading
コンテンツは Nao Minami によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャスト コンテンツは、Nao Minami またはそのポッドキャスト プラットフォーム パートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。
Player FM -ポッドキャストアプリ
Player FMアプリでオフラインにしPlayer FMう!
Player FMアプリでオフラインにしPlayer FMう!
44: 面白そうなプログラムを見ると証明せずにはいられない with @fetburner
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/message173 つのエピソード
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/message173 つのエピソード
すべてのエピソード
×プレーヤーFMへようこそ!
Player FMは今からすぐに楽しめるために高品質のポッドキャストをウェブでスキャンしています。 これは最高のポッドキャストアプリで、Android、iPhone、そしてWebで動作します。 全ての端末で購読を同期するためにサインアップしてください。