Episode 01: Tensor Comprehensions, Rust Belt

ML 向け JIT Compiler と Rust の安全性証明のはなし。

favicon森田が紹介するのは deep learning 向けの DST と JIT コンパイラ Tensor Comprensions. 向井が紹介するのはプログラミング言語 Rust のメモリ安全性に関する形式的証明に挑む Rust Belt です。

Tensor Comprehensions:

Rust Belt: