研究者情報 | 神奈川大学

キノシタ　ヨシキ Kinoshita Yoshiki 木下　佳樹所属神奈川大学情報学部計算機科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	2010/09
形態種別	学術雑誌
査読	査読あり
標題	記述の科学　第2回　視点と形式的体系
執筆形態	共著
掲載誌名	『情報処理』（情報処理学会）
巻・号・頁	51(9),1204-1214頁
著者・共著者	木下佳樹、高井利憲