コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
発表年月日 2004
発表テーマ 情報と依存関係の論理
会議名 「記号論理学と情報科学」研究集会 (SLACS 2004)
発表形式 その他