朝倉が修士論文を、奥河、田屋、渡邉が学士論文を発表しました
朝倉泉が数理・計算科学専攻の修士論文発表会で発表しました。
- 並行分離論理に基づくGPGPU向けデータ並列DSLコンパイラの形式検証 (PDF)
奥河諒、田屋敦至、渡邉恵太が理学部情報科学科の卒業論文発表会で発表しました。
- プログラミング言語の拡張可能な形式化フレームワークMeta-Theory a la Carteのオブジェクト指向言語への拡張 (奥河諒)
- 配列指向領域特化言語における複数GPU向けデータ表現と並列化手法 (田屋敦至)
- 多次元的文脈指向言語Korzの表現力の改善 (渡邉恵太)