1. A computer-readable storage medium storing a model parameter determination program used to direct a computer to perform: a step of receiving, through an input device, input of variable data based on a result of a simulation or an experiment performed based on a model of a system to be analyzed; a step of formulation unit generating a constraint expression relating to a parameter of a model based on the received data and the model of the system; and a step of a quantifier elimination unit obtaining presence/absence of a solution and/or a possible range of a feasible parameter by applying a quantifier elimination algorithm to the constraint expression.