Abstract: To make validity of a prediction model created by machine learning be able to be verified with appropriate accuracy and efficiency. A software test apparatus includes a storage device configured to store a prediction model, and an arithmetic device. The arithmetic device is configured to accept inputs of a precondition, a constraint condition, and an approximation threshold value, convert the prediction model into a logical expression, analyze an approximation range based on the approximation threshold value with respect to the logical expression to simplify the logical expression, generate an inspection expression by combining the simplified logical expression with the precondition and negation of the constraint condition, search for, as a counterexample, a value satisfying the inspection expression, input the value to the prediction model to evaluate inspection accuracy when the counterexample exists, and output a result of the evaluation.

Abstract: The present invention provides a separator for fuel cell containing: a flat plate member; a gas passage-side member provided on one side of the flat plate member and having passages for passing a reactant gas therethrough; and a cooling water passage-side member provided on the other side of the flat plate member and having passages for passing cooling water therethrough, wherein the gas passage-side member and the cooling water passage-side member are formed from first and second conductive resin compositions which are different from each other, respectively, and the difference between the thermal expansion coefficient of the gas passage-side member in its thickness direction and the thermal expansion coefficient of the cooling water passage-side member in a direction perpendicular to its thickness direction is 25×10?6 /K or smaller, and wherein the flat plate member contains at least one of the first and second conductive resin compositions.

Abstract: The present invention provides a separator for fuel cell containing: a flat plate member; a gas passage-side member provided on one side of the flat plate member and having passages for passing a reactant gas therethrough; and a cooling water passage-side member provided on the other side of the flat plate member and having passages for passing cooling water therethrough, wherein the gas passage-side member and the cooling water passage-side member are formed from first and second conductive resin compositions which are different from each other, respectively, and the difference between the thermal expansion coefficient of the gas passage-side member in its thickness direction and the thermal expansion coefficient of the cooling water passage-side member in a direction perpendicular to its thickness direction is 25×10?6 /K or smaller, and wherein the flat plate member contains at least one of the first and second conductive resin compositions.

Abstract: The present invention provides a separator for fuel cell formed from a conductive resin composition, wherein the difference between the thermal expansion coefficient of the separator for fuel cell in the thickness direction and that in a direction perpendicular to the thickness direction is 20×10?6 K?1 or smaller, a forming material of a separator for fuel cell and a process for producing a separator for fuel cell.

Abstract: The present invention provides a pressure sensor module which is capable of restraining application of a pressure of increased magnitude to a connector, reducing the number of parts therefor and compacting a structure thereof. A connector body (3a) is provided on a base section thereof with a flange (3g). An annular support (4) which is made of a material hard to be deformed under a high pressure as compared with the connector body (3a) is provided with an annular engagement recess (4b). The annular support (4) is fitted on the connector body (3a) to engage the flange (3g) with the annular engagement recess (4b). The annular support (4) is contacted on one end surface (4a) thereof with a pressure non-sensing side insulating substrate (5a) of a pressure sensing element (5) outside the base section of the connector body (3a).

Abstract: An optical-electronic integrated circuit device capable of three-dimensionally transmitting optical signals between plural semiconductor substrates on each of which an integrated circuit is previously formed. At least one of the light emitting elements and the light receiving elements are formed on the semiconductor substrate which transmits the light propagated between these elements. In this manner, signals may be transmitted in a direction perpendicular to the semiconductor substrate even without specifically processing the semiconductor substrate. Additionally, signal distortion, transmission losses, mutual intervention or delay are not incurred.

Abstract: A method and apparatus for the combustion treatment of a toxic gas which forms microparticles by combustion are disclosed wherein the toxic gas is subjected to a combustion treatment in a specific combustion furnace where the combustion gas formed is brought into contact with an aqueous film flowing downwards on the inner wall of the furnace from the upper end portion thereof to the lower end portion thereof or with a cooled surface, and then optionally with aqueous droplets dispersed in the interior space of the furnace. The water captures the microparticles formed by combustion of the toxic gas and is discharged out of the furnace as a mixed flow with the combustion gas thus treated, and optionally the mixed flow is successively treated in a gas-liquid separator.