Abstract: Provided is an optical lens formed by integrally molding a lens part that is an optically effective portion and has a light incidence/emission surface, and a lens edge part that is an optically ineffective portion and has a surface thereof except the light incidence/emission surface. The lens edge part includes a non-transparent region in part or all thereof, the lens part and the lens edge part include a thermoplastic resin, and the non-transparent region in the lens edge part contains a total of 0.1-5 mass % of one or more of a black dye and a black pigment.

Abstract: A polycarbonate resin having a high refractive index, a low Abbe number and a high moisture and heat resistance is provided. In an embodiment, a polycarbonate resin including a structural unit represented by general formula (1) below is provided.

Abstract: An object of the present invention is to provide a method for predicting prognosis for a cancer patient. The present invention provides a method for predicting prognosis for a cancer patient, wherein at least one index selected from the group consisting of an index of nutritional state, an index of sugar metabolism state, and an index of inflammatory state in the cancer patient is used as an index of prognosis. The index of nutritional state is preferably a concentration of albumin in the blood, the index of sugar metabolism state is preferably a concentration of glucose in the blood, and the index of inflammatory state is preferably a concentration of CRP in the blood.

Abstract: An electric oil pump includes a motor unit having a shaft centered on a central axis that extends in an axial direction of the shaft and a pump unit which is disposed on a front side of the motor unit, is driven by the motor unit, and discharges oil. The motor unit includes a rotor that is fixed on a rear side of the shaft, a stator that is disposed outside the rotor in a radial direction, a resin housing in which the rotor and the stator are housed, and a connector assembly that is disposed outside the resin housing in the radial direction. The connector assembly is integrally molded with the resin housing. The pump unit includes a pump rotor installed to the shaft that protrudes from the motor unit and a pump housing in which the pump rotor is housed.

Abstract: An object of the present invention is to provide a diet therapy for suppressing tumor growth of refractory cancer, for treating refractory cancer, or for enhancing the effect of another cancer treatment. The present invention provides a saccharide restricted high fat composition for use in suppressing tumor growth of refractory cancer, treating refractory cancer and/or enhancing the effect of another cancer treatment. The composition of the present invention can comprise about 55% by mass or more of fat based on the total solid content contained in the composition. The composition of the present invention can also comprise about 0% by mass to about 15% by mass of saccharide based on the total solid content contained in the composition. The composition of the present invention can also comprise a medium chain fatty acid oil as fat.

Abstract: An electric oil pump includes a motor unit having a shaft centered on a central axis that extends in an axial direction of the shaft and a pump unit which is disposed on a front side of the motor unit, is driven by the motor unit, and discharges oil. The motor unit includes a rotor that is fixed on a rear side of the shaft, a stator that is disposed outside the rotor in a radial direction, a resin housing in which the rotor and the stator are housed, and a connector assembly that is disposed outside the resin housing in the radial direction. The connector assembly is integrally molded with the resin housing. The pump unit includes a pump rotor installed to the shaft that protrudes from the motor unit and a pump housing in which the pump rotor is housed.

Abstract: A pseudorandom number generating circuit includes: a first generator including a shift register and configured to generate a first pseudorandom number, the shift register including registers, the first pseudorandom number having a plurality of bits corresponding to the registers; a second generator configured to generate a second pseudorandom number; and a selector configured to select a bit that is to be output from the plurality of bits by using the second pseudorandom number.

Abstract: A verification item extraction apparatus is disclosed that performs a priority determination process. Connection relationships pertinent to input/output are derived for each of logics in a verification subject circuit based on connection information acquired from description data in a storage part. A first priority for verifying the logics is determined based on the connection relationships being derived. Related I/Fs, which are related to inputs to the logics and are interfaces to an outside of the verification subject circuit, are extracted based on the connection information. Second priority for verifying the related I/Fs is determined based on the first priority.

Abstract: A verification item extraction apparatus is disclosed that performs a priority determination process. Connection relationships pertinent to input/output are derived for each of logics in a verification subject circuit based on connection information acquired from description data in a storage part. A first priority for verifying the logics is determined based on the connection relationships being derived. Related I/Fs, which are related to inputs to the logics and are interfaces to an outside of the verification subject circuit, are extracted based on the connection information. Second priority for verifying the related I/Fs is determined based on the first priority.

Abstract: A pseudorandom number generating circuit includes: a first generator including a shift register and configured to generate a first pseudorandom number, the shift register including registers, the first pseudorandom number having a plurality of bits corresponding to the registers; a second generator configured to generate a second pseudorandom number; and a selector configured to select a bit that is to be output from the plurality of bits by using the second pseudorandom number.

Abstract: A method of verifying a circuit for use in an apparatus for verifying a circuit operation indicated by circuit information, the circuit including a plurality of logic circuits and at least one connection line between the logic circuits, the method includes: obtaining information of a plurality of pieces of asynchronous circuits from the circuit information; determining information of asynchronous circuits of a first type and a second type stored in a library; extracting information of an asynchronous circuit of a third type including the asynchronous circuits of the first type and the second type; and extracting verification information associated with the information of the asynchronous circuit of the third type, for verifying the circuit.

Abstract: A method of verifying a circuit for use in an apparatus for verifying a circuit operation indicated by circuit information, the circuit including a plurality of logic circuits and at least one connection line between the logic circuits, the method includes: obtaining information of a plurality of pieces of asynchronous circuits from the circuit information; determining information of asynchronous circuits of a first type and a second type stored in a library; extracting information of an asynchronous circuit of a third type including the asynchronous circuits of the first type and the second type; and extracting verification information associated with the information of the asynchronous circuit of the third type, for verifying the circuit.

Abstract: A method of verifying functionality of a logic circuit containing asynchronous interfaces with sufficient accuracy and efficiency. When an RTL code is given, the asynchronous point extraction program extracts therefrom all asynchronous points and creates an asynchronous point list that enumerates them. A control task inserter modifies the RTL code with additional control tasks, as well as producing a control card for a clock & delay controller. The modified RTL code is then directed to a logic simulator. Control tasks inserted in the RTL code permit the simulator to cooperate with the clock & delay controller, so that modulated clocks and delayed signals will act on the RTL model during a logic simulation. A wide range of possible delay situations are produced in the logic simulation phase prior to logic synthesis, which enables accurate and efficient verification of a logic circuit containing asynchronous interfaces.

Abstract: A seat for vehicle includes a base member secured to a seat cushion; a rotating arm rotatably supported by the base member through a reclining mechanism; a seat back tiltable with respect to the seat cushion; a center-folding mechanism rotatably supported on the rotating side of the rotating arm; and an arm plate secured to each frame on both sides of the seat back. A second interlocking cam is capable of advancing or retreating into the base member side by a first interlocking cam secured to the arm plate. The base member is provided with a cut-away portion at a predetermined point for containing an engaging portion provided on the tip of the second interlocking cam and for enabling the first and second interlocking cams to act in cooperation, only when the rotating arm is positioned at a predetermined tilt angle.

Abstract: A seat for vehicle includes a base member secured to a seat cushion; a rotating arm rotatably supported by the base member through a reclining mechanism; a seat back tiltable with respect to the seat cushion; a center-folding mechanism rotatably supported on the rotating side of the rotating arm; and an arm plate secured to each frame on both sides of the seat back. A second interlocking cam is capable of advancing or retreating into the base member side by a first interlocking cam secured to the arm plate. The base member is provided with a cut-away portion at a predetermined point for containing an engaging portion provided on the tip of the second interlocking cam and for enabling the first and second interlocking cams to act in cooperation, only when the rotating arm is positioned at a predetermined tilt angle.

Abstract: An adjustable headrest is provided having a main body for supporting the head of the user, a ratchet mechanism within the main body, and a frame rotatably supported on a stay member. The ratchet mechanism includes a base plate fixed to the frame, a ratchet plate with a pawl portion, a support pin connecting the reinforcing plate and the ratchet plate, and a lock member fixed to the frame. The base plate has a receiving hole into which the support pin is inserted. A slit having a width smaller than the outside diameter of the support pin is formed in the base plate and extends backward from the receiving hole such that, when the headrest receives an impact in the backward direction, the support pin moves in the slit while widening the width of the slit under pressure. The resulting backward movement of the pin and the deformation of the slit absorbs the impact.