lecture:kiso2:ex13