コンパイラ読み会

今年は、11/25-26 (10:00-12:00, 14:00-17:00) でやります。

　　LLVM / Rust と Agda

の予定。全部は無理なんだが、必要なさわりだけ。

いまどき、C でもないだろって感じで、CbC を Rust に入れられるかどうかを考える感じですね。

簡単にできそうなら、やっちゃいますが...

一応、授業なんですが公開でやるつもり。もしかすると、一人 Zoom かも。