コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
発表年月日 2004/09/16
発表テーマ 情報と依存関係の論理
会議名 「代数,論理,幾何と情報科学」研究集会 (ALGI 15)
学会区分 研究会・シンポジウム等
発表形式 口頭(一般)
単独共同区分 単独
開催地名 神戸
発表者・共同発表者 小林聡
概要 「$x$の値を知っている」を意味する述語$D(x)$を持ち, 情報の隠蔽や, 情報間の依存関係を記述できる論理 LID を提案する. 公理系を示し, Kripke流の意味論を与えて, 健全性定理と完全性定理が成立することを示す.