ニュース / News

受賞

井上克巳教授(情報学プリンシプル研究系)らのチームが日本ソフトウェア科学会の第20回研究論文賞(2015年度)を受賞

井上克巳教授(情報学プリンシプル研究系)らによる以下の論文が日本ソフトウェア科学会の第20回研究論文賞(2015年度)を受賞しました。

受賞論文
「パッキング配列問題の制約モデリングとSAT符号化」
コンピュータ ソフトウェア Vol. 31 (2014), No. 1, pp. 116-130
論文著者
則武治樹(神戸大学大学院システム情報学研究科)
番原睦則(神戸大学情報基盤センター)
宋剛秀(神戸大学情報基盤センター)
田村直之(神戸大学情報基盤センター)
井上克巳(国立情報学研究所情報学プリンシプル研究系)
1885

注目コンテンツ / SPECIAL