岡、蟹、夏目による修士論文発表

3名が修士論文を行いました。

  • 岡明央, Supporting Recursive Function(s) in Live Data Structure Programming     (PDF)
  • 蟹暁, 共有メモリ最適化のためのGPGPUプログラム合成器     (PDF)
  • 夏目敦之, 文脈指向プログラムの検証法の研究     (PDF)

(公式ページ)