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