プログラミング研究室

IPSJ-PROでの口頭発表『コエフェクト計算に基づく量化型の再形式化』

以下の研究が情報処理学会プログラミング研究発表会（第124回,名古屋）で発表されます。

第124回プログラミング研究発表会プログラム

『コエフェクト計算に基づく量化型の再形式化』
田辺 裕大, Luthfan Anshar Lubis, 青谷 知幸, 増原 英彦