コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
発表年月日 2011
発表テーマ カットを含む証明のゲーム意味論
会議名 「記号論理学と情報科学」研究集会 (SLACS 2011)
学会区分 研究会・シンポジウム等
発表形式 口頭(一般)
単独共同区分 単独
開催地名 奈良
発表者・共同発表者 小林聡