Abstract: A system converts a first input idea vector representing an idea into a first contracted vector. The system generates one or more second contracted vectors in a multivariate space to which the first contracted vector belongs, based on a value of a first predetermined component of the first contracted vector in the multivariate space. The system generates, respectively from the one or more second contracted vectors, one or more first output idea vectors representing a candidate idea to be proposed to a user. The multivariate space is configured to maintain a similarity between an input idea vector for generating a contracted vector and an output idea vector generated from the contracted vector and a similarity between the first predetermined component of the contracted vector and a first predetermined index value.

Abstract: A system for determining a material to propose to a user is disclosed. The system calculates an availability evaluation value indicating availability for a user of each of materials based on a chemical formula of each of the materials. The system estimates a physical property value of each of the materials based on a chemical formula of each of the materials. The system calculates a physical property evaluation value of each of the materials based on an estimation result of the physical property value of each of the materials. The system calculates an overlooking risk evaluation value indicating priority of presenting each of the materials to the user based on the availability evaluation value and the physical property evaluation value of each of the materials. The system selects a material to present as a candidate material from the materials according to the overlooking risk evaluation value.

Abstract: A structure model includes a first encoder that converts a compound structure representation to a real number vector and a first decoder that estimates the compound structure representation from the real number vector resulting from the conversion by the first encoder. A structure-property relationship model includes a second encoder that converts, to a real number vector, an extended vector including, as components, the real number vector generated by the first encoder and a target value vector including target values of one or more physical property values and a second decoder that estimates the extended vector from the real number vector generated by the second encoder.