Abstract: To make validity of a prediction model created by machine learning be able to be verified with appropriate accuracy and efficiency. A software test apparatus includes a storage device configured to store a prediction model, and an arithmetic device. The arithmetic device is configured to accept inputs of a precondition, a constraint condition, and an approximation threshold value, convert the prediction model into a logical expression, analyze an approximation range based on the approximation threshold value with respect to the logical expression to simplify the logical expression, generate an inspection expression by combining the simplified logical expression with the precondition and negation of the constraint condition, search for, as a counterexample, a value satisfying the inspection expression, input the value to the prediction model to evaluate inspection accuracy when the counterexample exists, and output a result of the evaluation.

Abstract: Repulsive-performance upon ball hitting with a racket is enhanced, and good feeling of ball hitting is ensured. A grommet includes a cylindrical part which is mounted pierced through a through hole formed in a frame of a racket and through which a string passes. The string is extended in a tensioned state on the frame and deflected with one end side of the cylindrical part as a deflection position. The cylindrical part includes a first formation section located on a deflection-position side with reference to a central axis position of an outer peripheral face of the cylindrical part and a second formation section located on an opposite side of the central axis position from the first formation section. The first formation section has a greater thickness than the second formation section in a radial direction of the cylindrical part.

Abstract: Provided are: a battery case structure for electric-powered vehicles wherein restrictions on the size or the like of a battery mountable on electric-powered vehicles are alleviated, and the attaching/detaching operability is improved; and an electric-powered vehicle. A battery case structure is equipped with: a cover member which is disposed below the center in the longitudinal direction of a main frame and rocks in the transverse direction of the vehicle; and a lower frame which is connected to the main frame, and is disposed in such a manner as to go around the bottom of the cover member. A battery is detachably inserted into the cover member through the detachable opening separated from the main frame. When the detachable opening is brought close to the main frame, the battery housed in the cover member is supported on the lower frame and housed between the lower frame and the main frame.

Abstract: A racket includes: a grip; an annular frame; and a shaft coupling the grip and the frame together; wherein a projection is provided to an outer peripheral face on a leading end half of the frame in a predetermined range including a location of maximum curvature in a peripheral direction.

Abstract: A control device includes a processor. The processor obtains multiple setting registrations and permission level information associated with each of the multiple setting registrations, in response to an output instruction for outputting the multiple setting registrations to the outside. In the multiple setting registrations, process settings for functions of a device are registered in advance. The processor generates a list including at least one setting registration associated with permission level information indicating use permission for a user who transmits the output instruction. The at least one setting registration is among the multiple setting registrations.

Abstract: Provided are: a battery case structure for electric-powered vehicles wherein restrictions on the size or the like of a battery mountable on electric-powered vehicles are alleviated, and the attaching/detaching operability is improved; and an electric-powered vehicle. A battery case structure is equipped with: a cover member which is disposed below the center in the longitudinal direction of a main frame and rocks in the transverse direction of the vehicle; and a lower frame which is connected to the main frame, and is disposed in such a manner as to go around the bottom of the cover member. A battery is detachably inserted into the cover member through the detachable opening separated from the main frame. When the detachable opening is brought close to the main frame, the battery housed in the cover member is supported on the lower frame and housed between the lower frame and the main frame.

Abstract: To enhance a resilience performance of a ball at hitting the ball, a grommet is configured to include a strip-shaped portion extending in a predetermined direction and a cylindrical portion projecting from one surface of the strip-shaped portion, the cylindrical portion being a portion through which a string passes. A bulge portion is formed on a part on another surface of the strip-shaped portion, the part being along an inner periphery of the cylindrical portion. The bulge portion has a shape bulged more than the other surface of the strip-shaped portion, and the string is folded back at the bulge portion. A plurality of the protrusions are formed between the cylindrical portions adjacent to one another, the plurality of the protrusions being portions to which the string contacts.

Abstract: A racket includes: a grip; an annular frame; and a shaft coupling the grip and the frame together; wherein a projection is provided to an outer peripheral face on a leading end half of the frame in a predetermined range including a location of maximum curvature in a peripheral direction.

Abstract: To enhance a resilience performance of a ball at hitting the ball, a grommet is configured to include a strip-shaped portion extending in a predetermined direction and a cylindrical portion projecting from one surface of the strip-shaped portion, the cylindrical portion being a portion through which a string passes. A bulge portion is formed on a part on another surface of the strip-shaped portion, the part being along an inner periphery of the cylindrical portion. The bulge portion has a shape bulged more than the other surface of the strip-shaped portion, and the string is folded back at the bulge portion. A plurality of the protrusions are formed between the cylindrical portions adjacent to one another, the plurality of the protrusions being portions to which the string contacts.

Abstract: A racket including: a grip; an annular frame provided with a plurality of through holes extending through from an inner peripheral face to an outer peripheral face; a shaft connecting the grip and the frame; and a grommet to be attached to the outer peripheral face of the frame, the grommet including: a plurality of tube sections to be inserted into each of the plurality of through holes provided to the frame; and a base section that connects the plurality of tube sections to one another, the tube sections each including a communicating hole that communicates a base section side opening on the base section side with a tip end side opening on the side to be inserted through the through hole, the tip end side openings of at least some number of the tube sections, of the plurality of tube sections through which a string to be strung in a direction along a longitudinal direction of the racket is inserted, being wider than the base section side openings in a direction in which the plurality of tube sections is arr

Abstract: A VTOL aircraft includes at least one puller rotor and at least one pusher rotor. The VTOL aircraft, for example, may include three puller rotors and one pusher rotor. The combination of static puller and pusher rotors allows the rotors to remain in a fixed orientation (i.e., no moving mechanical axes are required) relative to the wings and fuselage of the VTOL aircraft, while being able to transition the aircraft from a substantially vertical flight path to a substantially horizontal flight path.

Abstract: A vehicular display apparatus includes a liquid crystal display unit and a display plate. The display plate includes a diffusion portion that transmits and diffuses light of a first light source, and a transmission display portion that permits light of a second light source to transmit through and illuminate a prescribed shape portion serving as a status display portion. The liquid crystal display unit provides a liquid crystal display using, as back light, the light diffused by the diffusion portion. The display plate includes a slit in a portion located in between the transmission display portion and the diffusion portion.

Abstract: A racket including: a grip; an annular frame provided with a plurality of through holes extending through from an inner peripheral face to an outer peripheral face; a shaft connecting the grip and the frame; and a grommet to be attached to the outer peripheral face of the frame, the grommet including: a plurality of tube sections to be inserted into each of the plurality of through holes provided to the frame; and a base section that connects the plurality of tube sections to one another, the tube sections each including a communicating hole that communicates a base section side opening on the base section side with a tip end side opening on the side to be inserted through the through hole, the tip end side openings of at least some number of the tube sections, of the plurality of tube sections through which a string to be strung in a direction along a longitudinal direction of the racket is inserted, being wider than the base section side openings in a direction in which the plurality of tube sections is arr

Abstract: A vehicular display apparatus includes a light source and a light guide member. The light guide member includes (i) an interior portion that receives light from the light source and (ii) outer faces that reflect the light repeatedly to permit the light to propagate in the interior portion. The light guide member further includes a viewable portion and a light absorption member serving as a light attenuation portion. The viewable portion reflects a part of the light propagating in the interior portion towards a viewer side so as to appear to be luminous. The light absorption member absorbs a part of light reflected by the outer face.

Abstract: A vehicular display apparatus includes a light source and a light guide member. The light guide member includes (i) an interior portion that receives light from the light source and (ii) outer faces that reflect the light repeatedly to permit the light to propagate in the interior portion. The light guide member further includes a viewable portion and a light absorption member serving as a light attenuation portion. The viewable portion reflects a part of the light propagating in the interior portion towards a viewer side so as to appear to be luminous. The light absorption member absorbs a part of light reflected by the outer face.

Abstract: A vehicular display apparatus includes a liquid crystal display unit and a display plate. The display plate includes a diffusion portion that transmits and diffuses light of a first light source, and a transmission display portion that permits light of a second light source to transmit through and illuminate a prescribed shape portion serving as a status display portion. The liquid crystal display unit provides a liquid crystal display using, as back light, the light diffused by the diffusion portion. The display plate includes a slit in a portion located in between the transmission display portion and the diffusion portion.

Abstract: A racket including: a handle; an annular frame having a plurality of through holes, and a groove section provided on an outer peripheral face of the frame along a circumferential direction of the frame; a shaft connecting the handle and the frame; and a string that passes through the through hole to the outside of the frame, and that is folded back on the groove section, wherein when either one of a longitudinal direction of the racket and a width direction perpendicular to the longitudinal direction on a hitting surface of the racket is defined as a first direction, a depth of a position at which the string is folded back at a second position in the first direction is smaller or less than a depth of a position at which the string is folded back at a first position in the first direction, the first position being located on the outer peripheral face of the frame, the second position being located on the outer peripheral face of the frame and outside of the first position in the first direction.

Abstract: A tennis racket includes a frame that includes a shaft and a looped frame portion, the shaft having a grip formed on one end side thereof, the frame portion being joined to the other end side of the shaft and forming a hitting face with a string being strung across and a plurality of insertion holes that provide communication between an inner peripheral side surface and an outer peripheral side surface of the frame portion and through which the string is inserted. Shock absorbing portions and hard portions are provided in an alternating fashion on at least a part of the outer peripheral side surface of the frame portion. Each shock absorbing portion is formed between insertion holes that are adjacent to each other. Each hard portion is formed between insertion holes that are adjacent to each other and is less elastically deformable than the shock absorbing portion.

Abstract: A tennis racket includes a frame that includes a shaft and a looped frame portion, the shaft having a grip formed on one end side thereof, the frame portion being joined to the other end side of the shaft and forming a hitting face with a string being strung across and a plurality of insertion holes that provide communication between an inner peripheral side surface and an outer peripheral side surface of the frame portion and through which the string is inserted. Shock absorbing portions and hard portions are provided in an alternating fashion on at least a part of the outer peripheral side surface of the frame portion. Each shock absorbing portion is formed between insertion holes that are adjacent to each other. Each hard portion is formed between insertion holes that are adjacent to each other and is less elastically deformable than the shock absorbing portion.

Abstract: Because the compound of the invention represented by the formula (1): or its pharmaceutically acceptable salt has excellent antidiabetic effect, anti-obesity effect and anti-arteriosclerosis effect, a medicine containing the compound of formula (1) as the active ingredient is useful as an agent for the prevention or treatment of diabetes (especially non-insulin dependent diabetes mellitus), obesity (especially visceral fat obesity), or arteriosclerosis.