Processing lecture file used for lecture held on Tokyo University 2011.