Abstract: A source code equivalence verification device performs symbolic execution on both an original source code and a modified version of the original source code; generates, using the results of the symbolic execution, equivalence verification expressions for verifying equivalence between the original source code and the modified source code; and verifies the equivalence verification expressions. A correction candidate generation unit generates a correction candidate, on the basis of which the modified source code is to be corrected so as to be equivalent to the original source code, if the results of the verification of the equivalence verification expressions indicate that the modified source code is not equivalent to the original source code; and a verification result generation unit generates a verification result report using the results of the verification and the correction candidate generated by the correction candidate generation unit.

Abstract: The lighting device includes: a heat radiating part provided with a cavity that accommodates a part of a plurality of drive circuit components driving a light source module; and a base part provided with a cavity that accommodates another part (e.g., a transistor) of the drive circuit components. Then, the drive circuit components are accommodated in the cavity of the heat radiating part and the cavity of the base part.

Abstract: The lighting device includes: a heat radiating part provided with a cavity that accommodates a part of a plurality of drive circuit components driving a light source module; and a base part provided with a cavity that accommodates another part (e.g., a transistor) of the drive circuit components. Then, the drive circuit components are accommodated in the cavity of the heat radiating part and the cavity of the base part.

Abstract: The lighting device includes: a heat radiating part provided with a cavity that accommodates a part of a plurality of drive circuit components driving a light source module; and a base part provided with a cavity that accommodates another part (e.g., a transistor) of the drive circuit components. Then, the drive circuit components are accommodated in the cavity of the heat radiating part and the cavity of the base part.

Abstract: In one aspect of the present invention, an optical image synthesizer is adapted such that there is provided a partial mirror at the junction of two projecting axes with an angle of 45.degree. with respect to these optical axes for the purpose of projecting a composite image onto a screen. By selectively moving the partial mirror about its rotation axis into the above-mentioned angular position and out of one of the projection ranges, composed images and pre-composed are respectively projected onto the screen. Preferably, the distance between the principal points of respective lenses and the screen are equal to each other within an optical system including the lenses, the mirror and the screen. A source of illuminating light for photographs is focused by means of a cylindrical lens. Means are provided for moving the level of the partial mirror along its height. A microswitch is disposed to sense a photograph holder inserted and energize the illumination lamp only when the holder is sensed.