Abstract: A determination method includes: generating, when a logical formula is received, another statement group that shares either one of individual statements and one or plural statements of statement groups with each of the individual statements and statement groups that are included in the logical formula or a changed logical formula acquired with the performance of logically equivalent conversion with regard to the logical formula, the logical formula or the changed logical formula including a logical disjunction of the individual statements or the statement groups that are logical conjunctions of the one or plural statements; and performing a determination process of the logical formula, wherein the logical formula is determined as not satisfied when a determination result indicating that the statements that are included in the other statement group are not satisfied is obtained in the determination process.

Abstract: A data extraction device generates, based on master information and an extraction condition, a determination result indicating whether the master information is an extraction target. When stream data is received, the data extraction device determined, using the determination result, whether the master information that is specified based on the received stream data is to be extracted.

Abstract: A functional polymer membrane, prepared by curing a composition comprising a polymerizable compound (A) represented by Formula (1) and a monofunctional polymerizable compound (B): wherein R1 represents a hydrogen atom or a methyl group; Q represents a polyol residue formed by removing m2 hydrogen atoms from hydroxyl groups of a trivalent to hexavalent polyol; L represents a divalent linking group; m1 represents 0 or 1; m2 represents an integer of from 3 to 6, and wherein the monofunctional polymerizable compound (B) is a (meth)acrylate compound, a (meth)acrylamide compound, a vinyl ether compound, an aromatic vinyl compound, an N-vinyl compound, or an allyl compound.

Abstract: The present invention provide a polymer functional film having a structure represented by the following Formula (I) and having a water content of 20% by mass to 50% by mass, and a method for producing the same:

Abstract: A functional polymer membrane, prepared by curing a composition comprising a polymerizable compound (A) represented by Formula (1) and a monofunctional polymerizable compound (B): wherein R1 represents a hydrogen atom or a methyl group; Q represents a polyol residue formed by removing m2 hydrogen atoms from hydroxyl groups of a trivalent to hexavalent polyol; L represents a divalent linking group; m1 represents 0 or 1; m2 represents an integer of from 3 to 6.

Abstract: A determination method includes: generating, when a logical formula is received, another statement group that shares either one of individual statements and one or plural statements of statement groups with each of the individual statements and statement groups that are included in the logical formula or a changed logical formula acquired with the performance of logically equivalent conversion with regard to the logical formula, the logical formula or the changed logical formula including a logical disjunction of the individual statements or the statement groups that are logical conjunctions of the one or plural statements; and performing a determination process of the logical formula, wherein the logical formula is determined as not satisfied when a determination result indicating that the statements that are included in the other statement group are not satisfied is obtained in the determination process.

Abstract: A data extraction device generates, based on master information and an extraction condition, a determination result indicating whether the master information is an extraction target. When stream data is received, the data extraction device determined, using the determination result, whether the master information that is specified based on the received stream data is to be extracted.