成果概要 »2012年09月03日

鍋島英知准教授　日本ソフトウェア科学会第28回大会高橋奨励賞を受賞

　鍋島英知准教授（大学院コンピュータ・メディア工学専攻）が，2012年8月22～24日に開催された日本ソフトウェア科学会第29回大会にて，「… ［続きを読む］

成果概要 »2012年06月15日

鍋島准教授が世界コンペで部門別優勝、総合2位の快挙達成！！

鍋島英知准教授（大学院コンピュータメディア工学専攻）が開発したSATソルバー GlueMiniSatが、世界コンペティション SAT Com… ［続きを読む］

ニュース »2011年07月27日

鍋島准教授が世界コンペで部門別優勝、総合2位の快挙達成！！

鍋島英知准教授（大学院コンピュータメディア工学専攻）が開発したSATソルバー GlueMiniSatが、世界コンペティション SAT Com… ［続きを読む］