コバヤシ サトシ
KOBAYASHI SATOSHI
小林 聡
所属
京都産業大学 情報理工学部 情報理工学科
職種
教授
発行・発表の年月
1989
形態種別
その他
標題
直観主義的帰納的定義に対する実現可能性解釈
執筆形態
その他
掲載誌名
日本ソフトウェア科学会第6回大会論文集
巻・号・頁
113-116頁
著者・共著者
小林聡,龍田真