Abstract: A device includes a processor and memory storing a computer program that causes the processor to perform operations including (A) acquiring an address indicating a delivery destination of a package, and first attribute information indicating an attribute of a stopping position where an autonomous vehicle delivering the package stops at the delivery destination, (B) determining a side from which the package is to be unloaded at the delivery destination, out of a plurality of sides of the autonomous vehicle, based on the address and the first attribute information, and (C) outputting management information in which identification information for identifying the package is associated with the determined side.

Abstract: A drone includes a light emitter that emits light and circuitry which, in operation, obtains flight state information regarding a flight state of the drone, determines, on the basis of the flight state information, a direction in which the light emitter is to emit light, and controls the light emitter such that the light emitter emits light in the determined direction.

Abstract: An information processing device in a first vehicle: detects a head-on approach of a second vehicle relative to the first vehicle; determines whether a meeting point is in a first section; calculates a first distance between the first section and the meeting point; when the meeting point is not in the first section, transmits the first distance to the second vehicle, and receives, from the second vehicle, a second distance between the meeting point and a second section; generates travel control information for the first vehicle according to the result of comparison between the first distance and the second distance; and outputs the travel control information to a travel controller of the first vehicle.

Abstract: A system includes a controller and base stations each including first and second transmitters and a detector. The controller, when a first base station is not connected with any mobile body, causes the first transmitter of the first base station to transmit a first signal and the second transmitter of the first base station to transmit a second signal, thereby guiding a mobile body around the first base station toward the first base station. The controller, when the first base station is connected with a mobile body and a second base station closest to the first base station is not connected with any mobile body, causes the first transmitter of the first base station to transmit the second signal and/or the second transmitter of the first base station to transmit the first signal, thereby guiding the mobile body around the first base station toward the second base station.

Abstract: An unmanned flying object that flies in the air includes a capturer, including at least one of a net, a sucking device, a stick, a rope or a spear, that captures an object other than the unmanned flying object in the air, a sensor that detects that the capturer has captured the object, and a processor that performs operations including: receiving an operation signal via wireless communication; performing a manual flight control that controls the unmanned flying object on the basis of the operation signal; switching from the manual flight control to an autonomous flight control that controls the unmanned flying object to not be dependent on the operation signal received via the wireless communication, when the sensor detects the capture of the object while the manual flight control is being performed.

Abstract: A drone includes a light emitter that emits light and circuitry which, in operation, obtains flight state information regarding a flight state of the drone, determines, on the basis of the flight state information, a direction in which the light emitter is to emit light, and controls the light emitter such that the light emitter emits light in the determined direction.

Abstract: A drone includes a light emitter that emits light and circuitry which, in operation, obtains flight state information regarding a flight state of the drone, determines, on the basis of the flight state information, a direction in which the light emitter is to emit light, and controls the light emitter such that the light emitter emits light in the determined direction.

Abstract: An information processing device in a first vehicle: detects a head-on approach of a second vehicle relative to the first vehicle; determines whether a meeting point is in a first section; calculates a first distance between the first section and the meeting point; when the meeting point is not in the first section, transmits the first distance to the second vehicle, and receives, from the second vehicle, a second distance between the meeting point and a second section; generates travel control information for the first vehicle according to the result of comparison between the first distance and the second distance; and outputs the travel control information to a travel controller of the first vehicle.

Abstract: A device includes a processor and memory storing a computer program that causes the processor to perform operations including (A) acquiring an address indicating a delivery destination of a package, and first attribute information indicating an attribute of a stopping position where an autonomous vehicle delivering the package stops at the delivery destination, (B) determining a side from which the package is to be unloaded at the delivery destination, out of a plurality of sides of the autonomous vehicle, based on the address and the first attribute information, and (C) outputting management information in which identification information for identifying the package is associated with the determined side.

Abstract: A cleaning robot which performs a predetermined task while autonomously moving includes: a driver which makes the cleaning robot move; an image capturer which detects a movement state indicating whether a different cleaning robot existing in front of the cleaning robot is moving along an obstacle, a direction in which the different cleaning robot exists relative to the cleaning robot, and a distance between the cleaning robot and the different cleaning robot; and a following run controller which controls the driver in order for the cleaning robot to move following the different cleaning robot while keeping a position diagonally behind the different cleaning robot at an opposite side of the different cleaning robot from the obstacle, if the movement state indicates that the different cleaning robot is moving along the obstacle.

Abstract: A drone, a method for controlling the flight of a drone, and a program for controlling the flight of a drone capable of preventing the drone from flying into a place where it is difficult for an operator to visually observe the drone and flying the drone within an area in which the operator can visually observe the drone are provided. A control unit of the drone determines whether an illuminance detected by an illuminance sensor satisfies a required illuminance for the drone to fly, and if the detected illuminance does not satisfy the required illuminance, inhibits the drone from flying in the flight direction.

Abstract: A system includes a controller and base stations each including first and second transmitters and a detector. The controller, when a first base station is not connected with any mobile body, causes the first transmitter of the first base station to transmit a first signal and the second transmitter of the first base station to transmit a second signal, thereby guiding a mobile body around the first base station toward the first base station. The controller, when the first base station is connected with a mobile body and a second base station closest to the first base station is not connected with any mobile body, causes the first transmitter of the first base station to transmit the second signal and/or the second transmitter of the first base station to transmit the first signal, thereby guiding the mobile body around the first base station toward the second base station.

Abstract: A cleaning robot which performs a predetermined task while autonomously moving includes: a driver which makes the cleaning robot move; an image capturer which detects a movement state indicating whether a different cleaning robot existing in front of the cleaning robot is moving along an obstacle, a direction in which the different cleaning robot exists relative to the cleaning robot, and a distance between the cleaning robot and the different cleaning robot; and a following run controller which controls the driver in order for the cleaning robot to move following the different cleaning robot while keeping a position diagonally behind the different cleaning robot at an opposite side of the different cleaning robot from the obstacle, if the movement state indicates that the different cleaning robot is moving along the obstacle.

Abstract: A capture drone is an unmanned flying object that flies in the air. The capture drone includes a capture net that captures other object in the air, a weight capture determining unit that detects that the capture net has captured the object, and an autonomous flight controller that controls a flight state of the capture drone to be an autonomous flight state not dependent on an operation signal from the outside if the weight capture determining unit detects the capture of the object.

Abstract: A drone, a method for controlling the flight of a drone, and a program for controlling the flight of a drone capable of preventing the drone from flying into a place where it is difficult for an operator to visually observe the drone and flying the drone within an area in which the operator can visually observe the drone are provided. A control unit of the drone determines whether an illuminance detected by an illuminance sensor satisfies a required illuminance for the drone to fly, and if the detected illuminance does not satisfy the required illuminance, inhibits the drone from flying in the flight direction.

Abstract: A drone includes a light emitter that emits light and circuitry which, in operation, obtains flight state information regarding a flight state of the drone, determines, on the basis of the flight state information, a direction in which the light emitter is to emit light, and controls the light emitter such that the light emitter emits light in the determined direction.

Abstract: Disclosure is made of a source code checker and a source code checking method, for checking properties related to program behaviors meant by source code for a computer program; of a program for making execute the method; and of a storage medium for storing the program. This source code checking method includes a path extracting step and a checking information determining step. The path extracting step simulates a program described in source code for a computer program preliminarily input, to extract an instruction series to be actually executed. The checking information determining step determines checking information of the source code according to the instruction series extracted in the path extracting step.

Abstract: Disclosure is made of a source code checker and a source code checking method, for checking properties related to program behaviors meant by source code for a computer program; of a program for making execute the method; and of a storage medium for storing the program. This source code checking method includes a path extracting step and a checking information determining step. The path extracting step simulates a program described in source code for a computer program preliminarily input, to extract an instruction series to be actually executed. The checking information determining step determines checking information of the source code according to the instruction series extracted in the path extracting step.

Abstract: An API specification verification device, an API specification verification method, a program for executing the method, and a storage medium for storing the program are disclosed herein, the API specification verification device and method enabling API which is not registered in a verification tool to be verified without modification to a program checking unit serving as the verification tool. The user inputs API to be verified and a specification of the API using an API specification input support unit. A program conversion unit converts a verification object program based on the input information into a form inputtable by the verification tool to output the converted program to the verification tool. The program checking unit verifies the converted program.