Hayashi, Yoshio, Inaba, Kumamoto, Matsuyama, Konishi presented Bachelor’s Thesis
Our members presented their master’s thesis.
- Minami Hayashi. ライブプログラミング環境Kanonにおけるプログラマの関心事の強調法の提案.
- Takuma Yoshio. 可視化されたオブジェクトの編集による対話的プログラム合成手法RefSynの提案.
- Ryota Inaba. Language Server Protocolを用いたライブプログラミング環境Kanonの汎環境化.
- Kota Kumamoto. デザインレシピに基づくプログラム設計を学習するための対話型演習環境の開発.
- Kosei Matsuyama. Formalizing a Choreographic Programming Language as an Effect-and-Coeffect System.
- Kyoka Konishi. Assisting Understanding of Delimited Continuations via Visualization.