Abstract: One aspect of the present invention relates to a resin composition containing (A) a thermosetting compound having a styrene structure or a (meth)acrylate structure, and (B) a maleimide compound represented by the following formula (1): wherein in the formula, p represents an integer of 1 to 10, in which the content ratio of the component (A) to the component (B) is (A):(B)=50:50 to 90:10 in mass ratio.

Abstract: The present invention is related to a method for checking correctness of a PLC program described by functional specifications typically presented as a timing chart. The method comprises: —S1: translating the PLC program into a model, —S2: translating the timing chart and integrating said timing chart into the model, —S3: computing abstract semantics, to infer information eventually missing in the timing chart, —S4: predicating transformation, and deducing properties to be verified, from the model and from predefined PLC formalized instructions, in order to satisfy timing chart verification, —S5: solving and checking whether said properties are always verified, or providing counter-examples, —S6: translating said counter-examples into PLC model errors events initial configurations, —S7: simulating execution, —S8: assembling states and events executions variables values, and —S9: translating back to PLC program.

Abstract: One aspect of the present application relates to a polyphenylene ether resin composition including a modified polyphenylene ether compound (A) that is terminally modified with a substituent having a carbon-carbon unsaturated double bond, and a crosslinking-type curing agent (B) having two or more carbon-carbon unsaturated double bonds in each molecule, the modified polyphenylene ether compound (A) including a modified polyphenylene ether compound (A-1) having a specific structure, and a modified polyphenylene ether compound (A-2) having a specific structure.

Abstract: The present invention provides a technology that acquires a high resolution iris image more quickly than before. An iris capture apparatus according to one example embodiment of the present invention includes a rotatable movable mirror; a control unit that controls rotation of the movable mirror; a capture unit that captures different regions of a face of a user via the movable mirror and outputs a group of images every time the control unit rotates the movable mirror by a predetermined angle; and an iris image acquisition unit that acquires an image of an iris of the user from the group of images.

Abstract: The inconsistency determination device 1 includes inconsistency determination means 9. The inconsistency determination means 9 determines whether or not there is inconsistency in an expression, which is to be converted into an energy function of a model representing states of individual spins by a first value or a second value, representing energy in a combinatorial optimization problem.

Abstract: A method of screening for a substance that acts on a cell mass includes producing a cell mass by three-dimensional culture of primary cancer cells using a tumor tissue, adding a test substance to the cell mass, and evaluating an action of the test substance on the cell mass. The cell mass is produced by culturing cells obtained from the tumor tissue in a medium containing a 5% v/v or less extracellular matrix on a substantially low-adhesive cell culture substrate and producing the cell mass of the primary cancer cells.

Abstract: The feature information derivation means 72 derives feature information that represents a feature of a model used to solve a combinatorial optimization problem, when the model is given. The solution method selection means 73 selects a solution method for the combinatorial optimization problem from among predetermined multiple types of solution methods based on the feature information. The solution request means 74 send a solution request that includes information that can specify the model used to solve the combinatorial optimization problem to a solution device that solves the combinatorial optimization problem using the selected solution method.

Abstract: A valve including a case 3, a tube 1 disposed in the case 3, a hinge fulcrum 4 disposed in the case 3, a contact member 5 connected to the hinge fulcrum 4 and capable of coming into contact with the tube 1, and a driving device 10 configured to apply a non-contact force to the contact member 5 from outside of the case 3 and change a contact force that is applied to the tube 1 by the contact member 5 to change an inner diameter of the tube 1.

Abstract: The conversion means 72 generates a program for deriving a QUBO matrix that is a matrix that defines an energy function of QUBO, by converting a description of a natural language representing a combinatorial optimization problem into a description of the program for deriving the QUBO matrix. It is possible to generate a program for deriving a QUBO matrix based on a description of a natural language representing a combinatorial optimization problem.

Abstract: An information processing device that compares a data amount of a QUBO model to be processed by an annealing engine and a data amount of a program representing the QUBO model, and that transmits whichever has a lower data amount to the annealing engine.

Abstract: An isolator includes a substrate, a waveguide and an electronic circuit disposed above the substrate, and a non-reciprocal member disposed above the waveguide and the electronic circuit. The non-reciprocal member includes a first portion in contact with the waveguide and a second portion disposed within a predetermined range from the electronic circuit. Non-reciprocity in the second portion is weaker than non-reciprocity in the first portion.

Abstract: The annealing execution means 73 executes annealing using an energy function, when a solution to a combinatorial optimization problem, and the energy function of a model representing states of individual spins by a first value or a second value which is used to obtain the solution are given, and derives multiple new solutions to the combinatorial optimization problem. The solution determination means 74 determines a solution from among the multiple solutions derived by the annealing execution means 73, based on a solution determination rule for determining a solution among the multiple new solutions and the given solution to the combinatorial optimization problem.

Abstract: An optimization device includes a determination unit which determines weights for a plurality of constraint conditions imposed on a combinatorial optimization problem, respectively, and a generation unit which generates an energy function for the combinatorial optimization problem using a constant that is a sum of a constant used in formulation of an energy to be optimized in the combinatorial optimization problem and a sum over the plurality of constraint conditions of a constant used in formulation of an energy of one constraint condition multiplied by a weight determined for the one constraint condition.

Abstract: The difference matrix calculation means 72 calculates a difference matrix which is a difference between a first matrix representing a combinatorial optimization problem for which a solution was found last time and a second matrix representing the latest combinatorial optimization problem. The difference matrix compression means 73 compresses the difference matrix. The transmission means 74 transmits the difference matrix after compression to a combinatorial optimization problem solution device that finds a solution to the combinatorial optimization problem.

Abstract: A state output system includes a solving unit which executes a solving process for solving a combinatorial optimization problem by a simulated annealing method, an acquiring unit which acquires data indicating states of the solving process in execution from the solving unit, and an outputting unit which outputs the acquired data during the execution of the solving process.

Abstract: A solution accuracy guaranteeing annealing calculation device includes a first solving unit which solves a combinatorial optimization problem by an annealing method, and a second solving unit which solves a relaxation problem, which is a problem generated by relaxing constraints imposed on the combinatorial optimization problem, wherein the second solving unit calculates, if the combinatorial optimization problem is a minimization problem, a lower bound of a minimization target in the minimization problem by solving the relaxation problem generated from the combinatorial optimization problem, and calculates, if the combinatorial optimization problem is a maximization problem, an upper bound of a maximization target in the maximization problem by solving the relaxation problem generated from the combinatorial optimization problem.

Abstract: The term generation means 73 generates a term, when a solution to a combinatorial optimization problem, an energy function, which is used to obtain the solution, of a model representing states of individual spins by a first value or a second value, and a pair of identification information of spin and degree of wish to change which indicates degree to which an user wishes to change state of spin corresponding to the identification information in the solution are given, wherein the term is generated for each pair of the identification information and the degree of wish to change, based on the state of spin corresponding to the identification information in the solution and the degree of wish to change. The energy function derivation means 74 deriving a new energy function by adding terms generated by the term generation means 73 for each pair to the energy function.

Abstract: A method of screening for a substance that acts on a cell mass includes producing a cell mass by three-dimensional culture of primary cancer cells using a tumor tissue, adding a test substance to the cell mass, and evaluating an action of the test substance on the cell mass. The cell mass is produced by culturing cells obtained from the tumor tissue in a medium containing a 5% v/v or less extracellular matrix on a substantially low-adhesive cell culture substrate and producing the cell mass of the primary cancer cells.

Abstract: A pump is provided that includes a tube 1, tube rotors 21A, 21B, and 21C in contact with the tube 1, a case 3 containing the tube 1 and tube rotors 21A, 21B, and 21C, and a drive apparatus 10 that rotates the tube rotors 21A, 21B, and 21C from outside the case 3 without contacting the tube rotors 21A, 21B, and 21C.

Abstract: A method of producing a cell mass by three-dimensional culture of primary cancer cells having proliferative ability and properties of handleability, versatility, and high-throughput performance, in which a tumor tissue is used as a starting material, proliferation of cells such as fibroblasts other than cancer cells is inhibited, and the cell mass includes primary cancer cells as a main component. The object is achieved by providing a method of producing a cell mass by three-dimensional culture of primary cancer cells using a tumor tissue, including: a three-dimensional culture step of culturing cells obtained from the tumor tissue in a medium containing a 5% v/v or less extracellular matrix on a substantially low-adhesive cell culture substrate.