林、吉尾、稲葉、熊本、松山、小西による卒業研究発表

研究メンバによる卒論 (学士特定課題研究)の発表が行われました。

  • 林みなみ. ライブプログラミング環境Kanonにおけるプログラマの関心事の強調法の提案.
  • 吉尾拓真. 可視化されたオブジェクトの編集による対話的プログラム合成手法RefSynの提案. 
  • 稲葉亮太. Language Server Protocolを用いたライブプログラミング環境Kanonの汎環境化. 
  • 熊本航太. デザインレシピに基づくプログラム設計を学習するための対話型演習環境の開発.
  • 松山皓星. Formalizing a Choreographic Programming Language as an Effect-and-Coeffect System.
  • 小西京香. Assisting Understanding of Delimited Continuations via Visualization.
2025-02-07.
→
←