Saito, Tsunoda and Tsuyama Presented Bachelor’s Theses
Our members present their bachelor’s theses.
- Ayumu Saito, Formal Verification of Effectful Programs by Equational Reasoning
- Kazuhiro Tsunoda, プログラミングエラーメッセージの読解を促進する初学者向け演習形式の提案
- Syouki Tsuyama, 副作用を持つプログラミング言語を型安全に定義するためのライブラリの開発に向けて
