コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
研究期間 1984~
研究課題 非古典論理とその計算機科学への応用
実施形態 個人研究
キーワード 極限計算可能数学、構成的数学、ゲーム意味論、変換意味論、バックトラック、アルゴリズム抽出
研究制度 (選択しない)
代表分担区分 研究代表者
概要 構成的論理・様相論理などの非古典論理の証明論・意味論への応用。特に Curry-Howard 対応とその応用に興味を持っている。近年は構成的数学に弱い排中律を加えて得られる極限計算可能数学とその意味論、特にゲーム意味論にも興味を持っている。