ミヨシ ヒロユキ
MIYOSHI HIROYUKI
三好 博之
所属
京都産業大学 理学部 数理科学科
職種
教授
発表年月日
2014
発表テーマ
数学のユニヴァレントな基礎付けについて―数学と計算の視点から―
会議名
Workshop on Computer Science and Category Theory (CSCAT) 2014
発表形式
その他