コバヤシ サトシ
KOBAYASHI SATOSHI
小林 聡
所属
京都産業大学 情報理工学部 情報理工学科
職種
教授
研究期間
1984
研究課題
非古典論理とその計算機科学への応用
実施形態
概要
構成的論理・様相論理などの非古典論理の証明論・意味論への応用。特に Curry-Howard 対応とその応用に興味を持っている。近年は構成的数学に弱い排中律を加えて得られる極限計算可能数学とその意味論、特にゲーム意味論にも興味を持っている。