Saito, Tsunoda and Tsuyama presented Master’s Thesis
Our members presented their master’s thesis.
- Ayumu Saito, Formalization of Intrinsically Typed Probabilistic Programs
- Syouki Tsuyama, An Intrinsically-Typed Compiler that Optimizes Continuations
- Kazuhiro Tsunoda, Feasibility Study and Automated Problem Generation for Enbugging Quiz