Abstract: A display device includes a display section provided in a cabin of a vehicle that is capable of autonomous driving, memory, and a processor connected to the memory. The processor is configured to, before conducting a lane change by autonomous driving from a first lane in which the vehicle is running to a second lane that is distinct from the first lane, display a lane display and a confirmation display at the display section. The lane display corresponds to the first lane and the second lane. The confirmation display relates to confirmation of a condition of the second lane.

Abstract: A vehicle display device, that includes: a first display device provided inside a vehicle cabin; a second display device provided inside the vehicle cabin and separately from the first display device; a memory; and a processor connecting to the memory and being configured to: set a running plan of a vehicle, to display a scheduled action of the vehicle on the first display device based on the running plan, and to display the scheduled action on the second display device in a case in which at least one of a distance to, or a time interval until, the scheduled action has reached a prescribed value or less.

Abstract: A method and a signal-bearing medium embodying a program for a logic circuit design verification apparatus which includes a dynamic verification device that verifies a logic circuit executing a logic simulation, a static verification device that verifies the logic circuit executing a property verification, and a determination device that determines whether a test coverage includes an unverified part not verified by any of the dynamic verification device and the static verification device.

Abstract: A method and a signal-bearing medium embodying a program for a logic circuit design verification apparatus which includes a dynamic verification device that verifies a logic circuit executing a logic simulation, a static verification device that verifies the logic circuit executing a property verification, and a determination device that determines whether a test coverage includes an unverified part not verified by any of the dynamic verification device and the static verification device.

Abstract: The self-propelled stairs moving unit A1 moves on stairs, putting a manual wheelchair K on the pallet 7, by driving the front crawler traveling units 1a, 1b and the rear crawler traveling units 2a, 2b wherein right and left are unitedly connected with each other. When the stairs moving unit A1 is started to go up to the stairs from the flat face of lower hand, the front crawler traveling unit 1a relatively gently goes up. Then, the angle between the pallet 7 to be held to be level with the connecting shaft 6 which is rotation center of the traveling unit 1a as its center of oscillation and the line connecting both connecting portions of the support frames 5a connecting the front and rear crawler traveling units 1a, 2a (that is, the self-propelled portion) is slowly changed.