2009.2　研究室の行實隆広君が博士号（情報工学）を取得しました。タイトルは「バンプ探索とその応用」です。公聴会は1/21/2009。