型記述子といえば…