コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
受賞年月1989
国内外別 国内
受賞学術賞名日本ソフトウェア科学会高橋奨励賞
タイトルRealizability Interpretation of Generalized Inductive Definitions
受賞者(グループ)小林聡、龍田真
受賞区分国内学会・会議・シンポジウム等の賞