奥河が修士論文を、田辺, 伊澤が学士論文を発表

奥河が数理・計算科学専攻の修士論文発表会で発表しました。

  • 証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究 (PDF)

田辺伊澤が理学部情報科学科の卒業論文発表会で発表しました。

  • プログラミング言語へのバージョンの導入の研究 (田辺)
  • メタ混合JITコンパイラの提案 (伊澤)