lecture:kiso2:2018:ex00