研究者データベースシステム
( お問い合わせは,研究機構まで )
コバヤシ サトシ
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))
閉じる