1. A program converting method for converting a program described in an object-oriented language, said method comprising: analyzing, in the program, a type of an instance by which a method is called; extracting, from a definition of the method, a virtual method call which is called by the instance; and converting, based on the type of the instance analyzed by said analyzing, the virtual method call extracted by said extracting, into a direct method call.