Quantcast
Channel: 企業・研究者の方 - 山梨大学 工学部 » SAT
Browsing all 2 articles
Browse latest View live

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

鍋島英知准教授(大学院コンピュータメディア工学専攻)が開発したSATソルバー GlueMiniSatが、世界コンペティション SAT Competition 2011の産業応用カテゴリにおいて、部門別優勝および総合2位に入るなどの快挙を成し遂げました。日本から参加したソルバが優勝したのは初めてのことです。...

View Article


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

...

View Article

Browsing all 2 articles
Browse latest View live