Sign up to save your podcasts
Or
Share 44: 面白そうなプログラムを見ると証明せずにはいられない with @fetburner
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
44: 面白そうなプログラムを見ると証明せずにはいられない with @fetburner
前回に引き続き、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
View all episodes
By Nao Minami前回に引き続き、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
More shows like Pod de Engineer
View all
Rebuild
49 Listeners
楽しいラジオ「ドングリFM」
6 Listeners
Yarukinai.fm
0 Listeners
Today I Learned -シリコンバレーの現場から-
4 Listeners
ゆる言語学ラジオ
56 Listeners
ゆるコンピュータ科学ラジオ
23 Listeners
ひまじんプログラマーの週末エンジニアリングレッスン
0 Listeners
ITトリオ ~エンジニア3人ゆる学びラジオ~
0 Listeners
リファクタリングとともに生きるラジオ
0 Listeners
Podcast by Yuka Studio // ユカスタポッドキャスト
3 Listeners
耳で学ぶAI、ロボシンク
0 Listeners
エンジニアの楽園 vim-jp ラジオ
0 Listeners
趣味でOSSをやっている者だ
0 Listeners
ながらAIラジオ
0 Listeners
深井・けんすうのまぼろし会議
18 Listeners