群馬大学理工学部

電子情報部門 浜名誠准教授の研究課題「真代数型: 高階書換えに基づく安全性保証付きデータ型の原理・推論・実践」が、令和二年度科学研究費補助金(基盤研究(B))に採択されました。

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

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