菊池健太郎 助教、外山芳人 教授らが日本ソフトウェア科学会・第21回研究論文賞を受賞
日本ソフトウェア科学会研究論文賞は、表彰の年度の前年の最終号までの過去1年間に本学会の学会誌に掲載された特に優れた研究論文を選び、これに与えられます。今回の第21回研究論文賞は、2015年発行の「コンピュータソフトウェア」に掲載された全ての研究論文を対象として選定されました。本受賞は、日本ソフトウェア科学会誌「コンピュータソフトウェア vol.32,no.1」に掲載された論文「項書き換えシステムの変換を利用した帰納的定理自動証明」によるものです。
賞に関する詳細情報URL:
http://www.jssst.or.jp/award/detail/ronbunsho_list.html
問い合わせ先
日本ソフトウェア科学会
編集委員長/第21回研究論文賞選定委員長
東京大学 大学院情報理工学系研究科 創造情報学専攻
千葉 滋 教授