Abstract: A verification apparatus acquires a source code for multiparty computation, while changing a combination of options settable to a multiparty computation compiler, compiles the source code for each combination of options to generate a plurality of multiparty computation executable codes, selects at least one multiparty computation executable code from the plurality of multiparty computation executable codes as a verification code and provides the at least one verification code to a verification environment of multiparty computation, generates an evaluation index with respect to an execution result of at least one verification code in the verification environment, and selects at least one recommended code from the plurality of multiparty computation executable codes, based on the evaluation index corresponding to at least one verification code and outputs the selected recommended code.

Abstract: In an example information processing system including a server and at least one apparatus capable of communicating with the server, the apparatus includes at least an application execution unit. The application execution unit executes a predetermined application. The system includes, by either one of the apparatus and the server or by a cooperation of the apparatus and the server, an execution state determination unit and a writing management unit. The execution state determination unit determines whether or not a state of the execution performed by the application execution unit has satisfied a predetermined condition. The writing management unit, when the state has satisfied the predetermined condition, permits a user of the apparatus to write in information managed by the server.

Abstract: An X-ray analysis apparatus for detecting, using an X-ray detector, X-rays given off by a sample when the sample is irradiated with X-rays, the X-ray analysis apparatus having replaceable components. The X-ray analysis apparatus comprises labels attached to the replaceable components and including symbols indicating the types of replaceable components, a camera for photographing the replaceable components and the labels, and CPU and image recognition software for specifying the types of replaceable components by calculation based on the symbols in the labels.

Abstract: An X-ray analysis apparatus for detecting, using an X-ray detector, X-rays given off by a sample when the sample is irradiated with X-rays, the X-ray analysis apparatus having replaceable components. The X-ray analysis apparatus comprises labels attached to the replaceable components and including symbols indicating the types of replaceable components, a camera for photographing the replaceable components and the labels, and CPU and image recognition software for specifying the types of replaceable components by calculation based on the symbols in the labels.

Abstract: An X-ray analysis apparatus has information about a relationship between selection of a measurement type and a replacement work of optical parts and shows, on a screen of a display, graphical information about optical parts which should be changed, to make it easy for an operator to perform a preliminary work before measurement. When the operator selects one desired measurement type among a plurality of measurement types in a selection window, there is displayed on the display, depending on the selected measurement type, graphical information about necessary optical parts which should be newly installed and/or installed optical parts which should be removed. The operator looks at the operating instructions and then performs the replacement work. The graphical information may be: graphical indication of the installation locations of the optical parts; different pictorial expressions about the installation and the removal works; and graphical indication of the identification marks of the optical parts.

Abstract: In an inspection of a semiconductor wafer for a defect, when infrared light passing through a semiconductor wafer is imaged by a camera and an inspection is conducted using the image, a problem that halation occurs in the camera due to light leaking from the side of the inspection object, which makes it impossible to conduct an inspection at the periphery portion occurs. An inspection object is irradiated by an infrared light source, and transmitted light is imaged by an infrared camera to be conducted. With the use of mask means that secures a clearance from the end portion on the outer side, it is possible to inspect on the peripheral portion. Also, as means for supporting the object, plural sets of those configured to be capable of evacuating are used, and by allowing the plural sets to evacuate alternately, it is possible to inspect across the entire surface.

Abstract: An X-ray analysis apparatus has information about a relationship between selection of a measurement type and a replacement work of optical parts and shows, on a screen of a display, graphical information about optical parts which should be changed, to make it easy for an operator to perform a preliminary work before measurement. When the operator selects one desired measurement type among a plurality of measurement types in a selection window, there is displayed on the display, depending on the selected measurement type, graphical information about necessary optical parts which should be newly installed and/or installed optical parts which should be removed. The operator looks at the operating instructions and then performs the replacement work. The graphical information may be: graphical indication of the installation locations of the optical parts; different pictorial expressions about the installation and the removal works; and graphical indication of the identification marks of the optical parts.

Abstract: In an inspection of a semiconductor wafer for a defect, when infrared light passing through a semiconductor wafer is imaged by a camera and an inspection is conducted using the image, a problem that halation occurs in the camera due to light leaking from the side of the inspection object, which makes it impossible to conduct an inspection at the periphery portion occurs. An inspection object is irradiated by an infrared light source, and transmitted light is imaged by an infrared camera to be conducted. With the use of mask means that secures a clearance from the end portion on the outer side, it is possible to inspect on the peripheral portion. Also, as means for supporting the object, plural sets of those configured to be capable of evacuating are used, and by allowing the plural sets to evacuate alternately, it is possible to inspect across the entire surface.

Abstract: Plate springs as coupling members can absorb deformation of an oscillator case due to heat and do not transmit the deformation to two optical bases constituting an optical resonator, and it is thereby possible to maintain an appropriate positional relation between the optical cases. A harmful deformation force is produced due to imperfect alignment deformation of bellows each of which is connected between the oscillator case and each optical base. The plate springs can also suppress the force acting on the two optical bases, and it is thereby possible to keep a laser optical axis of a laser beam to be a fixed position.

Abstract: One optical base is provided on each side of a housing that houses a laser oscillator. Optical parts of an optical resonator are fixed to the optical bases. The optical bases are fixed to each other, independently from the housing, by supporting rods. A plate spring and two dampers fix the respective optical base to respective end of the housing. The plate spring bends in the direction of the laser beam when the housing deforms. The damper attenuates oscillation generated due to the displacement of the housing.

Abstract: In a game processor GP that enable a player to play a plurality of games interrelated to each other, flash memory 12 stores a plurality of game programs PG interrelated to each other. SRAM 13 readably and writably stores backup data DG representing the progress of each of games A, B, and C. The player selects one of the game programs PG through a controller 70 to start game play. A deciding unit (CPU) 61 decides whether there is backup data DG for any game related to the game specific to the selected game. Based on a decision as to the backup data DG, a game program changer changes part of the game program PG.

Abstract: One optical base is provided on each side of a housing that houses a laser oscillator. Optical parts of an optical resonator are fixed to the optical bases. The optical bases are fixed to each other, independently from the housing, by supporting rods. A plate spring and two dampers fix the respective optical base to respective end of the housing. The plate spring bends in the direction of the laser beam when the housing deforms. The damper attenuates oscillation generated due to the displacement of the housing.

Abstract: Plate springs as coupling members can absorb deformation of an oscillator case due to heat and do not transmit the deformation to two optical bases constituting an optical resonator, and it is thereby possible to maintain an appropriate positional relation between the optical cases A harmful deformation force is produced due to imperfect alignment deformation of bellows each of which is connected between the oscillator case and each optical base. The plate springs can also suppress the force acting on the two optical bases, and it is thereby possible to keep a laser optical axis of a laser beam to be a fixed position.

Abstract: In a game processor GP that enable a player to play a plurality of games interrelated to each other, flash memory 12 stores a plurality of game programs PG interrelated to each other. SRAM 13 readably and writably stores backup data DG representing the progress of each of games A, B, and C. The player selects one of the game programs PG through a controller 70 to start game play. A deciding unit (CPU) 61 decides whether there is backup data DG for any game related to the game specific to the selected game. Based on a decision as to the backup data DG, a game program changer changes part of the game program PG.

Abstract: An apparatus for separating an aqueous colloidal solution into water and agglomerate of colloidal particles by applying a high frequency voltage to the aqueous colloidal solution comprises a tank accommodating the aqueous colloidal solution, and at least one pair of electrodes disposed in the tank. The electrodes is configured such that lines of electric force are locally concentrated when the voltage is applied to said solution.