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
52 Listeners
fukabori.fm
2 Listeners
EM . FM #EMFM
0 Listeners
yancanfm
1 Listeners
Yokohama North AM
0 Listeners
Today I Learned -シリコンバレーの現場から-
4 Listeners
ひまじんプログラマーの週末エンジニアリングレッスン
0 Listeners
ゆるコンピュータ科学ラジオ
17 Listeners
Backyard Hatena
0 Listeners
となりのデータ分析屋さん
0 Listeners
耳で学ぶAI、ロボシンク
0 Listeners
AI未来話
0 Listeners
エンジニアの楽園 vim-jp ラジオ
0 Listeners
ながらAIラジオ
1 Listeners
Lawrence's Podcast
0 Listeners