キノシタ ヨシキ   Kinoshita Yoshiki
  木下 佳樹
   所属   神奈川大学  情報学部 計算機科学科
    神奈川大学大学院  理学研究科 理学専攻(情報科学領域)
   職種   教授
言語種別 日本語
発行・発表の年月 2008/09
形態種別 その他
標題 Agda言語について
執筆形態 共著
掲載誌名 『日本ソフトウェア科学会第25回大会予稿集』(日本ソフトウェア科学会)