日本ソフトウェア科学会研究論文賞は、表彰の年度の前年の最終号までの過去１年間に本学会の学会誌に掲載された特に優れた研究論文を選び、これに与えられます。今回の第21回研究論文賞は、2015年発行の「コンピュータソフトウェア」に掲載された全ての研究論文を対象として選定されました。本受賞は、日本ソフトウェア科学会誌「コンピュータソフトウェア　vol.32,no.1」に掲載された論文「項書き換えシステムの変換を利用した帰納的定理自動証明」によるものです。

賞に関する詳細情報URL：

http://www.jssst.or.jp/award/detail/ronbunsho_list.html

問い合わせ先

日本ソフトウェア科学会
編集委員長／第21回研究論文賞選定委員長

東京大学 大学院情報理工学系研究科 創造情報学専攻

千葉　滋　教授