プログラミング研究室

池守、古殿、高橋による修士論文発表

研究メンバによる修士論文の発表が行われました。

• Kazuki Ikemori, Translation Between Effect Instances and Multi-prompt Control Operators
• 古殿直也、差分実行の形式化
• 高橋修祐、実行履歴を用いた差分実行型ライププログラミング環境の実現