Abstract: A result confirmation unit (204) computes a state space probability that is a probability that a verification target device (300) has not correctly prepared a state space having a quantum state stored therein, a Pauli measurement probability that is a probability that the verification target device (300) has not correctly performed Pauli Z measurement and Pauli X measurement, and a magic state probability that is a probability that the verification target device (300) has not generated a magic state of CCZ. Then, using the state space probability, the Pauli measurement probability, and the magic state probability, the result confirmation unit (204) computes a degree of approximation between a quantum state and the magic state of CCZ at the verification target device (300) and measurement accuracies of the Pauli Z measurement and the Pauli X measurement on the quantum state at the verification target device (300).

Abstract: A container lid (2) can be removed from a mouth-neck section (106) of a container without the need for a tool. Following the breakage of a breakable thin-walled line (70) in a transition region (52), the breakage of a breakable thin-walled connection wall (68) in a side wall separation region (54) can be started sufficiently smoothly in the container lid (2). For this purpose, the breakable thin-walled line (70) formed in a side wall (10) in the transition region (52) is brought into a form in which at least a part thereof extends obliquely downwardly in a counterclockwise direction.

Abstract: A plurality of semiconductor light-emitting elements are to be efficiently cooled. There are provided a plurality of semiconductor light-emitting elements that are arranged in n rows and m columns, and a plurality of flow channels where a cooling medium flows through, the plurality of flow channels being formed to sandwich the n rows of semiconductor light-emitting elements or the m columns of semiconductor light-emitting elements.

Abstract: A container lid (2) can be removed from a mouth-neck section (106) of a container without the need for a tool. Following the breakage of a breakable thin-walled line (70) in a transition region (52), the breakage of a breakable thin-walled connection wall (68) in a side wall separation region (54) can be started sufficiently smoothly in the container lid (2). For this purpose, the breakable thin-walled line (70) formed in a side wall (10) in the transition region (52) is brought into a form in which at least a part thereof extends obliquely downwardly in a counterclockwise direction.

Abstract: A plurality of semiconductor light-emitting elements are to be efficiently cooled. There are provided a plurality of semiconductor light-emitting elements that are arranged in n rows and m columns, and a plurality of flow channels where a cooling medium flows through, the plurality of flow channels being formed to sandwich the n rows of semiconductor light-emitting elements or the m columns of semiconductor light-emitting elements.

Abstract: A light source device includes a light source bank that accommodates a plurality of semiconductor light-emitting elements, and a light source bank holder that mounts the light source bank on a first surface and includes a cooling mechanism provided on a second surface that is a back surface of the first surface.

Abstract: A light source device includes a light source bank that accommodates a plurality of semiconductor light-emitting elements, and a light source bank holder that mounts the light source bank on a first surface and includes a cooling mechanism provided on a second surface that is a back surface of the first surface.

Abstract: The present invention includes: LCDs (47, 48, 49) corresponding to red, green, and blue, respectively; an air duct for red, an air duct for green, and an air duct for blue provided to blow cooling air to the LCDs (47, 48, 49), respectively; air filters (43, 50) provided in each of the air duct for red, the air duct for green, and the air duct for blue; and air filters (41, 42) provided in at least one air duct of the air duct for green and the air duct for blue and having filter mesh size smaller than that of the air filters (43, 50).

Abstract: One object of the present invention is to prevent part of outgoing light emitted from a light emitter from reflecting in a specific direction, while blocking out part of the outgoing light, in a light source apparatus. The light source apparatus is provided with a light emitter that emits light; a reflector that reflects outgoing light emitted from the light emitter in a specific direction; and a light shield made from metal and disposed on a lateral side or at the back of the reflector. A plurality of concave portions or convex portions are formed at least in a partial area of the light shield.

Abstract: The object of the invention is to realize highly efficient cooling by enhancing the heat transfer rate between optical parts and cooling air, and by simultaneously lowering the temperature of atmosphere around the optical parts. For this purpose, a first wind outlet for blowing a cooling wind is provided so as to allow the cooling wind to pass through optical parts, and furthermore, a second wind outlet for blowing another cooling wind so as to interfere with the cooling wind from the first wind outlet at the optical parts is provided at a location different from that of the first wind outlet.

Abstract: In an electronic device, a torsion spring is interposed between a first constructing member and a second constructing member, thereby biasing the second constructing member toward one movement end. The first constructing member has a lock receiving portion, to which the fixed end of the torsion spring is locked, whereas the second constructing member has an engagement receiving portion, with which the free end of the torsion spring is engaged, and an abutment receiving portion, against which an arm portion on the free end side of the torsion spring shall abut in the process in which the second constructing member is moved from the one movement end toward the other movement end. In the movement process of the second constructing member, the engagement receiving portion first presses the torsion spring, and thereafter, the abutment receiving portion presses the torsion spring.

Abstract: An information processing apparatus includes a video obtaining unit configured to obtain a plurality of items of video data captured by a plurality of image-capturing devices; a position information obtaining unit configured to obtain position information including an orientation and an angle of view of each of the image-capturing devices; a reproduction position calculation unit configured to calculate a reproduction position of each item of the video data so that a projection direction and an angle of view of the item of the video data matches the orientation and the angle of view of a corresponding one of the image-capturing devices by using the position information; and a reproduction controller configured to reproduce each item of the video data at the corresponding reproduction position.

Abstract: An electronic device of the present invention includes a casing with an opening, and a cover member for covering the opening. The cover member includes: a cover part for covering the opening; a shank projecting from a rear surface of the cover part; and a protrusion sticking out of the shank. The shank passes through a hole defined in the casing. The protrusion extends in a direction crossing an axis of the shank, at a position opposite to the cover part with respect to the hole. The cover member is capable of moving back and forth along the axis of the shank, between a depressed position where the cover part covers the opening and a pulled-out position where the cover part is apart from the opening.

Abstract: A recording reservation data comprised of text data indicating the information that the text data is the recording reservation data, the information specifying the date and time of starting the recording, the information specifying a channel for recording, the information specifying the date and time of start of the recording and the information specifying the time of end of the recording is transmitted.

Abstract: The present invention includes: LCDs (47, 48, 49) corresponding to red, green, and blue, respectively; an air duct for red, an air duct for green, and an air duct for blue provided to blow cooling air to the LCDs (47, 48, 49), respectively; air filters (43, 50) provided in each of the air duct for red, the air duct for green, and the air duct for blue; and air filters (41, 42) provided in at least one air duct of the air duct for green and the air duct for blue and having filter mesh size smaller than that of the air filters (43, 50).

Abstract: The object of the invention is to realize highly efficient cooling by enhancing the heat transfer rate between optical parts and cooling air, and by simultaneously lowering the temperature of atmosphere around the optical parts. For this purpose, a first wind outlet for blowing a cooling wind is provided so as to allow the cooling wind to pass through optical parts, and furthermore, a second wind outlet for blowing another cooling wind so as to interfere with the cooling wind from the first wind outlet at the optical parts is provided at a location different from that of the first wind outlet.

Abstract: An information processing apparatus includes a video obtaining unit configured to obtain a plurality of items of video data captured by a plurality of image-capturing devices; a position information obtaining unit configured to obtain position information including an orientation and an angle of view of each of the image-capturing devices; a reproduction position calculation unit configured to calculate a reproduction position of each item of the video data so that a projection direction and an angle of view of the item of the video data matches the orientation and the angle of view of a corresponding one of the image-capturing devices by using the position information; and a reproduction controller configured to reproduce each item of the video data at the corresponding reproduction position.

Abstract: An information processing apparatus and an information processing method are disclosed. A personal computer receives a program guide and displays it. Then, the personal computer sends information for identifying a user-specified program to an iEPG site. In response, the iEPG site generates preset recording data corresponding to the user-specified program and acquires advertisement-associated data. Then, the iEPG site sends the generated preset recording data and the acquired advertisement-associated data to the personal computer. Thus, the apparatus and method can make users of preset recording data view advertisement.

Abstract: An electronic device of the present invention includes a casing with an opening, and a cover member for covering the opening. The cover member includes: a cover part for covering the opening; a shank projecting from a rear surface of the cover part; and a protrusion sticking out of the shank. The shank passes through a hole defined in the casing. The protrusion extends in a direction crossing an axis of the shank, at a position opposite to the cover part with respect to the hole. The cover member is capable of moving back and forth along the axis of the shank, between a depressed position where the cover part covers the opening and a pulled-out position where the cover part is apart from the opening.

Abstract: An information processing apparatus and an information processing method are disclosed. A personal computer receives a program guide and displays it. Then, the personal computer sends information for identifying a user-specified program to an iEPG site. In response, the iEPG site generates preset recording data corresponding to the user-specified program and acquires advertisement-associated data. Then, the iEPG site sends the generated preset recording data and the acquired advertisement-associated data to the personal computer. Thus, the apparatus and method can make users of preset recording data view advertisement.