第20回プログラミングおよびプログラミング言語ワークショップ(PPL2018)で伊澤, 田辺, 奥河がポスターの発表

3月5日から7日にかけて鳥取県皆生温泉で行われた第20回プログラミングおよびプログラミング言語ワークショップにおいて、伊澤(B4), 田辺(B4), 奥河(M2)の三名がポスター発表を行いました。

  • プログラミング言語へのバージョンの導入の研究（田辺, 青谷, 増原）

  • 証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究（奥河, 青谷, 増原）

2018-03-31.
→
←