サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
災害への備え
talks.jle.im
Practical Dependent Types: Type-Safe Neural Networks Justin Le https://blog.jle.im (justin@jle.im) Lambdaconf 2017, May 27, 2017 Preface Slide available at https://talks.jle.im/lambdaconf-2017/dependent-types/dependent-types.html. All code available at https://github.com/mstksg/talks/tree/master/lambdaconf-2017/dependent-types. Libraries required: (available on Hackage) hmatrix, singletons, MonadR
このページを最初にブックマークしてみませんか?
『talks.jle.im』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く