A numerical analysis aiding device for verifying a boundary condition between surfaces forming a pair associated with each element in an analysis model comprising a component which is element-partitioned into two or more elements, for two of said elements having a boundary condition defined between two surfaces, said device comprising:
- a space determination unit for determining, with regard to a master surface to be verified among said two surfaces forming the pair, whether or not given slave nodes composing a slave surface other than said master surface among said two surfaces forming the pair are included in a check space formed by projecting said master surface to its normal direction;
- and
- an interference determination unit for calculating the distance between said master surface and said slave surface if said slave nodes are determined to exist in said check space according to the determination of said space determination unit, and determining that interference is occurring if said distance is smaller than zero.