コバヤシ サトシ
KOBAYASHI SATOSHI
小林 聡
所属
京都産業大学 情報理工学部 情報理工学科
職種
教授
発表年月日
2007
発表テーマ
Game semantics for limit computable mathematics
会議名
Second NII TypeTheory Workshop
発表形式
その他