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