お知らせ

Tweet

　電子情報部門 浜名誠准教授の研究課題「真代数型: 高階書換えに基づく安全性保証付きデータ型の原理・推論・実践」が、令和二年度科学研究費補助金（基盤研究（Ｂ））に採択されました。
　これは、高階書換え理論を用い、プログラムの安全性を保証できるデータ型の原理と推論技術、そして実践的プログラミング原理の探求を行う研究です。

浜名准教授の研究紹介はこちらをご覧ください。
　⇒浜名准教授研究紹介のページへ