教員情報 - 小林　聡 | 京都産業大学

コバヤシ　サトシ KOBAYASHI SATOSHI
小林　聡

所属

京都産業大学情報理工学部情報理工学科

職種教授

学会発表
2023/08/31	複雑な構造を持つ状態のメモリ効率的かつ関数的な更新手法について (第40回記号論理と情報科学研究集会)
2011	カットを含む証明のゲーム意味論 (「記号論理学と情報科学」研究集会 (SLACS 2011))
2008	Game semantics and translational semantics for limit computable mathematics (Third NII TypeTheory Workshop)
2007	Game semantics for limit computable mathematics (Second NII TypeTheory Workshop)
2007	極限計算可能数学のためのゲーム意味論と変換意味論 (「記号論理学と情報科学」研究集会 (SLACS 2007))
2006	極限計算可能数学のゲーム意味論 (「代数，論理，幾何と情報科学」研究集会 (ALGI 17))
2004	情報と依存関係の論理 (「代数，論理，幾何と情報科学」研究集会 (ALGI 15))
2004	情報と依存関係の論理 (「記号論理学と情報科学」研究集会 (SLACS 2004))
2003	情報と依存関係の論理 (「記号論理学と情報科学」研究集会 (SLACS 2003))