Abstract: Provided are a method of producing a beverage and a method of improving a flavor of a beverage by each of which the imparting of an undesirable aroma is suppressed. The method of producing a beverage according to one embodiment of the present invention is a method of producing a beverage using a raw material liquid, including adding hops that have been subjected to acid treatment to the raw material liquid. The method of improving a flavor of a beverage according to one embodiment of the present invention is a method of improving a flavor of a beverage to be produced using a raw material liquid, including adding hops that have been subjected to acid treatment to the raw material liquid, to thereby improve the flavor of the beverage.

Abstract: A verification method for an application logic provided with one or more macro logics configured to perform a predetermined operation, a macro operation control unit configured to instruct the one or more macro logics to start the operation to cause the one or more macro logics to perform the operation, and an operation data storage area configured to store data. In the application logic, static verification by property description of a formal verification language is performed for each of the one or more macro logic, the macro operation control unit, and the operation data storage area, and dynamic verification by simulation is further performed for at least one of the one or more macro logics.

Abstract: Provided is a semiconductor LSI design device that includes: a unit that generates a combinational circuit constituted by combining function blocks defined by a function block library from an application specification, by assigning connection information on an operation order of the function blocks; a unit that converts the combinational circuit to operation order information that is applicable to a sequential circuit in which a function block is used a plurality of times in a time-division manner; a unit that inversely converts the generated operation order information to a combinational circuit; a unit that verifies logical equivalence of the combinational circuit and the inversely converted combinational circuit; and a unit that combines the operation order information, the sequential circuit and a function block.

Abstract: Provided is a semiconductor LSI design device that includes: a unit that generates a combinational circuit constituted by combining function blocks defined by a function block library from an application specification, by assigning connection information on an operation order of the function blocks; a unit that converts the combinational circuit to operation order information that is applicable to a sequential circuit in which a function block is used a plurality of times in a time-division manner; a unit that inversely converts the generated operation order information to a combinational circuit; a unit that verifies logical equivalence of the combinational circuit and the inversely converted combinational circuit; and a unit that combines the operation order information, the sequential circuit and a function block.

Abstract: The present invention includes a drawing data generating unit, a variation pattern that varies at regular intervals to be displayed, a display unit that displays drawing data, and a comparator that compares whether input signals are coincident, and the drawing data generating unit includes a receiver that receives data from a higher-level device, a drawing control unit that converts the data received from the higher-level device to drawing data, and a drawing memory that stores the drawing data. The drawing data generating unit and the variation pattern are redundantly configured, and the variation pattern is input to the drawing data generating unit. One output signal of the drawing data generating unit regarding drawing data including the variation pattern is transmitted to the display unit, a plurality of output signals from the drawing data generating unit are input to the comparator, and the comparator outputs a comparison result as a detection signal outside.

Abstract: Provided is a technology capable of reducing the number of resources necessary for logic implementation in a control device. A semiconductor LSI design device generates a combinational circuit configured with functional blocks defined by a functional block library from an application specification, allocates an operation order of each functional block in the combinational circuit under a condition for starting an operation of a functional block connected to an input pin after ending the operation, converts into a sequence circuit which uses the functional block twice or more in a time division manner, extracts the operation order at a time of execution of the sequential circuit, and determines whether the operation order allocated to the combinational circuit coincide with the extracted operation execution order.

Abstract: A control system includes an arithmetic device configured of an A system arithmetic unit including a data dividing unit, a B system arithmetic unit including a data dividing unit, and an A system communication control unit including a data combining unit and a collation unit, wherein the A system arithmetic unit and the B system arithmetic unit have a duplex configuration, the A system arithmetic unit and the B system arithmetic unit are separated by a gap, a frame output from the A system arithmetic unit is transmitted to a B system communication control unit through the A system communication control unit and an interface element, and a frame output from the B system arithmetic unit is transmitted to the A system communication control unit through the B system communication control unit and an interface element.

Abstract: Provided are a method of producing a beverage and a method of improving a flavor of a beverage by each of which the imparting of an undesirable aroma is suppressed. The method of producing a beverage according to one embodiment of the present invention is a method of producing a beverage using a raw material liquid, including adding hops that have been subjected to acid treatment to the raw material liquid. The method of improving a flavor of a beverage according to one embodiment of the present invention is a method of improving a flavor of a beverage to be produced using a raw material liquid, including adding hops that have been subjected to acid treatment to the raw material liquid, to thereby improve the flavor of the beverage.

Abstract: A control system includes an arithmetic device configured of an A system arithmetic unit including a data dividing unit, a B system arithmetic unit including a data dividing unit, and an A system communication control unit including a data combining unit and a collation unit, wherein the A system arithmetic unit and the B system arithmetic unit have a duplex configuration, the A system arithmetic unit and the B system arithmetic unit are separated by a gap, a frame output from the A system arithmetic unit is transmitted to a B system communication control unit through the A system communication control unit and an interface element, and a frame output from the B system arithmetic unit is transmitted to the A system communication control unit through the B system communication control unit and an interface element.

Abstract: Provided is a technology capable of reducing the number of resources necessary for logic implementation in a control device. A semiconductor LSI design device generates a combinational circuit configured with functional blocks defined by a functional block library from an application specification, allocates an operation order of each functional block in the combinational circuit under a condition for starting an operation of a functional block connected to an input pin after ending the operation, converts into a sequence circuit which uses the functional block twice or more in a time division manner, extracts the operation order at a time of execution of the sequential circuit, and determines whether the operation order allocated to the combinational circuit coincide with the extracted operation execution order.

Abstract: A verification method for an application logic provided with one or more macro logics configured to perform a predetermined operation, a macro operation control unit configured to instruct the one or more macro logics to start the operation to cause the one or more macro logics to perform the operation, and an operation data storage area configured to store data. In the application logic, static verification by property description of a formal verification language is performed for each of the one or more macro logic, the macro operation control unit, and the operation data storage area, and dynamic verification by simulation is further performed for at least one of the one or more macro logics.

Abstract: The present invention includes a drawing data generating unit, a variation pattern that varies at regular intervals to be displayed, a display unit that displays drawing data, and a comparator that compares whether input signals are coincident, and the drawing data generating unit includes a receiver that receives data from a higher-level device, a drawing control unit that converts the data received from the higher-level device to drawing data, and a drawing memory that stores the drawing data. The drawing data generating unit and the variation pattern are redundantly configured, and the variation pattern is input to the drawing data generating unit. One output signal of the drawing data generating unit regarding drawing data including the variation pattern is transmitted to the display unit, a plurality of output signals from the drawing data generating unit are input to the comparator, and the comparator outputs a comparison result as a detection signal outside.

Abstract: Disclosed is a resin particle having excellent low-temperature fusibility, having a sufficiently narrow size distribution, and that is obtained using a liquid or supercritical fluid. In the resin particle (C), which comprises a microparticle (A) containing a resin (a) being coated to or adhered to the surface of a resin particle (B) that contains another resin (b), the degree of swelling of the microparticle (A) resulting from liquid or supercritical carbon dioxide (X) at a temperature less than the glass transition temperature or the melting point of the microparticle (A) is no greater than 16%, and with the resin (a) as a constituent unit, the resin particle (C) contains 0.1-50 wt % of a non-crystalline non-halogen vinyl monomer (m1) of which the solubility parameter (SP value: (cal/cm3)1/2) is 7-9.

Abstract: Disclosed is a resin particle having excellent low-temperature fusibility, having a sufficiently narrow size distribution, and that is obtained using a liquid or supercritical fluid. In the resin particle (C), which comprises a microparticle (A) containing a resin (a) being coated to or adhered to the surface of a resin particle (B) that contains another resin (b), the degree of swelling of the microparticle (A) resulting from liquid or supercritical carbon dioxide (X) at a temperature less than the glass transition temperature or the melting point of the microparticle (A) is no greater than 16%, and with the resin (a) as a constituent unit, the resin particle (C) contains 0.1-50 wt % of a non-crystalline non-halogen vinyl monomer (m1) of which the solubility parameter (SP value: (cal/cm3)1/2) is 7-9.

Abstract: An ear-type thermometer which measures body temperature using a temperature detection element 21 that detects ambient temperature and an infrared detection element 22 that detects infrared radiation from a measurement site within the aural cavity, the 2 elements housed in a probe 3, wherein the ear-type thermometer comprises a probe cover 10 which can be detachably provided with the probe, a detection switch 60 which detects that the probe cover is attached or detached to the probe, and two temperature conversion coefficients 52a and 52b which corrects body temperature based on the detection result from the two detection elements.

Abstract: A radioisotope is produced through any of the following reactions using a target material: (1) (n, 2n) reaction: two-neutron pickup reaction induced by neutrons, (2) (n, 3n) reaction: three-neutron pickup reaction induced by neutrons, (3) (n, n?) reaction: neutron inelastic scattering reaction, (4) (n, p) reaction: one proton-pickup reaction induced by neutrons, (5) (n, np) reaction: one neutron- and one proton-pickup reaction induced by neutrons, (6) (n, 4He) reaction: one 4He-pickup reaction induced by neutrons.

Abstract: An ear-type thermometer which measures body temperature using a temperature detection element 21 that detects ambient temperature and an infrared detection element 22 that detects infrared radiation from a measurement site within the aural cavity, the 2 elements housed in a probe 3, wherein the ear-type thermometer comprises a probe cover 10 which can be detachably provided with the probe, a detection switch 60 which detects that the probe cover is attached or detached to the probe, and two temperature conversion coefficients 52a and 52b which corrects body temperature based on the detection result from the two detection elements.

Abstract: A video telephone is provided which makes it possible to speak while seeing a motion picture of a partner side and while protecting the portrait right of a calling party using the video telephone as the need arises. At the time of communication, an image pickup unit (2) pickups a photogenic subject (1) such as a calling party and peripheral environment etc. A pickup signal processing unit (3) processes a pickup signal corresponding to an image of the photogenic subject (1) pickup by the image pickup unit (2) to thereby generate a pickup image signal. A portrait right correspondence image processing unit (4) subjects the pickup image signal to an image modification processing such as a defocusing processing so as to protect the portrait right of the calling party.

Abstract: An object of the invention is to provide a folder type mobile phone which can realize communication in a closed state with a suitable volume, reduce the number of the buttons as many as possible and avoid an erroneous operation and enlargement of a case. In addition to a transmission microphone 12, a receive 22 and a large-volume speaker 23 for sounding a melody or buzzer etc.

Abstract: An ethylene-propylene copolymer rubber (EP rubber) composition is usable as a molded rubber product having freon-gas barrier properties. The EP rubber composition is an organic peroxide vulcanizable (crosslinkable) type having, as a base, a rubber polymer containing an EP rubber of an amount of at least 30 wt. % in the whole rubber polymer. In addition, the EP rubber has a Mooney viscosity (ML1+4, 100° C.) of about 50 or greater.