lecture:kiso2:2018:ex12