Copyright (C) 2004-2007 Tokyo Institute of Technology