Copyright (C) 2004-2009 Tokyo Institute of Technology