To provide a screen capable of grasping a relationship between each performance and a total unachieved amount to a demand level.SOLUTION: A design formula generation function unit 11 generates a design condition formula expressing all conditions related to the design, on the basis of input information including a demand level value corresponding to each of a plurality of performances. A first-order predicate logic equation generation function unit 12 generates first-order predicate logic equations concerning performance and the like on the basis of the design condition formula and the like. An executable area numerical expression generation function unit 13 obtains an executable area numerical expression by executing qualifying symbol deletion processing on the first-order predicate logical equation. A visualization function unit 14 visualizes each performance and a range that can be taken by unachieved amount, or the like, using the executable area numerical expression.SELECTED DRAWING: Figure 1
展开▼