型付けを厳密にした