新着情報
-
2012年03月02日
長谷部さんが ゲーム情報学研究会で「 DS Auto Cruiser の研究と開発」の発表をしました
-
2012年01月16日
薗部さんが Paris で行われた LION6 で Counter Implicatio Restart for Parallel SAT solvers （short paper) を発表しました
-
2011年06月22日
薗部さんの CIR_MiniSAT が SAT competition MiniSAT Hack で金メダルを受賞しました。
-
2011年06月18日
薗部さんが ミシガン大学で行われた Pragmatics of SAT 2011 で "Counter Implication Restart" を発表をしました
-
2011年06月12日
研究科パンフレット掲載写真は、その昔、稲葉が開発に携わった プリンタ LP5100-UX です
-
2011年02月27日
M2のムンさんがKathmanduで行われたWINBIS'11 で"Modelling and Simulation for EMS"を発表しました
-
2011年01月07日
M1の長谷部さんが第52回プログラミング・シンポジウム ショートトークで "衛星データ探索フレームワーク GGSII の提案と実装"の発表を行いました。
-
2010年12月18日
M1の山田さんが、楽天研究開発シンポジウムポスターセッションで"衛星データ探索フレームワークのためのData-Process Memoization cache の提案"を発表しました
-
2010年10月16日
薗部さん、和久田さん、長谷部さんの、チーム uribo が楽天テクノロジーカンファレンス2010 プログラミングコンテストで、３位入賞しました
-
2010年07月19日
M2の和久田龍さんがソウルで行われたSAINT2010の学生セッションで "SPGF – Search Places by Geographical Features all around the world"発表を行いました。