プログラミング研究室

斉藤、角田、津山による学士論文発表

研究室メンバによる学士論文の発表が行われます。

• 斉藤歩夢, Formal Verification of Effectful Programs by Equational Reasoning
• 角田和広, プログラミングエラーメッセージの読解を促進する初学者向け演習形式の提案
• 津山勝輝, 副作用を持つプログラミング言語を型安全に定義するためのライブラリの開発に向けて