コバヤシ サトシ
KOBAYASHI SATOSHI
小林 聡
所属
京都産業大学 情報理工学部 情報理工学科
職種
教授
発表年月日
2006
発表テーマ
極限計算可能数学のゲーム意味論
会議名
「代数，論理，幾何と情報科学」研究集会 (ALGI 17)
発表形式
その他