Provided is a system configuration derivation device which, when given an abstract configuration, and quantitative requirements in which some numerical values are undetermined, is capable of outputting a concrete system configuration concretizing the abstract configuration, the concrete system configuration meets quantitative requirements representing conditions and the like necessary for the operation of a desired system and including given quantitative requirements. The configuration information concretizing unit 301 obtains as input an abstract configuration, which is information indicating a system configuration in which an undetermined part exists, and quantitative requirements, which are numerical requirements required for a system, and in which some numerical values are undetermined. The configuration information concretizing unit 301 outputs a concrete configuration, which is information indicating the system configuration in which an undetermined part does not exist, and which meets the quantitative requirements.