ミヨシ ヒロユキ
MIYOSHI HIROYUKI
三好 博之
所属
京都産業大学 理学部 数理科学科
職種
教授
発表年月日
2015
発表テーマ
Homotopy Type Theoryによるパッチ理論の拡張
会議名
日本ソフトウェア科学会2015年度大会
発表形式
その他