コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
発表年月日 1990
発表テーマ 状況理論のための論理体系
会議名 日本ソフトウェア科学会オータム・チュートリアル「状況理論」
主催者 日本ソフトウェア科学会
開催地名 東京
会議区分 その他
講演区分 講師
単独共同区分 単独
発表者・共同発表者 小林聡
概要 Aczel による Frege structure の理論を中心に、property の理論について論理学的立場から解説する。応用として、状況理論の形式化の試みについて述べる。また、プログラムの理論への応用や、構成的型理論との関連についても触れる。