Abstract: A constraint condition learning device 1X mainly includes a conversion means 15X and a constraint condition estimation means 16X. The conversion means 15X converts first time series data regarding a state and an input of a robot system during an execution period of a task executed by the robot system into second time series data represented by propositions. The constraint condition estimation means 16X estimates a constraint condition on the task as a logical formula, based on the second time series data and the information regarding whether or not the task succeeded.

Abstract: The present invention is a single crystal pulling apparatus which includes a pulling furnace having a central axis and a magnetic field generating apparatus having coils, and applies a horizontal magnetic field to a molten semiconductor raw material, wherein the coils are saddle-shaped, two pairs of the coils are provided with the coils of each pair arranged facing each other, two coil axes in the two pairs of coils are included in the same horizontal plane, when a magnetic force line direction on the central axis of the pulling furnace in the horizontal plane is defined as a X-axis, and a direction perpendicular to the X-axis in the horizontal plane is defined as a Y-axis, a center angle ? between the two coil axes sandwiching the X-axis is 90 degrees or less and an inter-coil angle ? between adjacent superconducting coils sandwiching the Y-axis is 20 degrees or less.

Abstract: A learning device 1X mainly includes an optimization problem calculation means 51X and an executable state set learning means 52X. The optimization problem calculation means 51X calculates a function value to be a solution for an optimization problem which uses an evaluation function for evaluating reachability to a target state, based on an abstract system model and a detailed system model concerning a system in which a robot operates. The executable state set learning means 52X learns an executable state set of an action of the robot to be executed by a controller based on a function value.

Abstract: Disclosed is a transdermal patch for treating osteoarthritis. The transdermal patch comprises a support layer and an adhesive layer laminated on the support layer. The adhesive layer includes an adhesive base, diclofenac sodium, dimethyl sulfoxide, and an organic acid. The organic acid content is 6-8 mass % of the total mass of the adhesive layer. The transdermal patch is applied once daily to an affected part and the dosage of diclofenac sodium per application is 70-150 mg.

Abstract: A single crystal pulling apparatus includes: a pulling furnace having a central axis; and magnetic field generating apparatus around the pulling furnace and having coils, for applying a horizontal magnetic field to molten semiconductor raw material to suppress convection in crucible, in which, main coils and sub-coils are provided, as the main coils, two pairs of coils arranged facing each other are provided, two coil axes thereof are included in the same horizontal plane, a center angle ? between the two coil axes sandwiching the X-axis, which is a magnetic force line direction on the central axis in the horizontal plane, is 100 degrees or more and 120 degrees or less, as the sub-coils, a pair of superconducting coils arranged to face each other is provided and its one coil axis is aligned with the X-axis, and current values of the main coils and the sub-coils can be set independently.

Abstract: A conductive member includes an adhesive layer and a metal foil layer. The adhesive layer consists of an adhesive composition containing conductive particles. The metal foil layer is disposed on the adhesive layer. The conductive member can be used to form, for example, a predetermined metal film.

Abstract: A sole includes a midsole, a bottom plate, a top plate, and at least one pin retaining member. The bottom plate includes a plate body having a reference surface and at least one base portion. The bottom plate includes a thenar region corresponding to an area located between a first portion and a second portion to support a big toe of a foot. The first portion corresponds to 20% of a total length of the sole from an MP overlapping portion toward a front side, and the second portion corresponds to 20% of the total length of the sole from the MP overlapping portion toward a rear side. The at least one base portion includes a thenar base portion disposed in the thenar region. A lower surface of the thenar base portion is formed to be flush with the reference surface or recessed above the reference surface.

Abstract: A methane production system comprises: a reaction tank that produces methane and water by reacting CO and/or CO2 supplied to the reaction tank with hydrogen; a cleaning tank that is located at an upstream side of the reaction tank in a supply direction of the CO and/or CO2, and removes water-soluble impurities from a raw material gas including the CO and/or CO2 and the water-soluble impurities by bringing the raw material gas into contact with water; and a first supply line that supplies the raw material gas from which the water-soluble impurities are removed from the cleaning tank to the reaction tank; and a second supply line supplies water produced in the reaction tank from the reaction tank to the cleaning tank to bring the produced water into contact with the raw material gas in the cleaning tank.

Abstract: A lane information management method for managing lane information using a processor is provided. This method includes acquiring road map information and information on a travel history that is represented by a travel trajectory on a road map, determining, using a plurality of the travel histories, whether or not a lane connected to an intersection is in a multiple lane form in which two or more lines of vehicles are formed on a single lane, and managing the lane information, including a result of determination of the multiple lane form in the lane information.

Abstract: A methane production system comprises: a reaction tank that produces methane and water by reacting CO and/or CO2 supplied to the reaction tank with hydrogen; a cleaning tank that is located at an upstream side of the reaction tank in a supply direction of the CO and/or CO2, and removes water-soluble impurities from a raw material gas including the CO and/or CO2 and the water-soluble impurities by bringing the raw material gas into contact with water; and a first supply line that supplies the raw material gas from which the water-soluble impurities are removed from the cleaning tank to the reaction tank; and a second supply line supplies water produced in the reaction tank from the reaction tank to the cleaning tank to bring the produced water into contact with the raw material gas in the cleaning tank.

Abstract: A self-position estimation method includes: detecting a relative position between a target present in surroundings of a moving object and the moving object; storing a position where the relative position is moved by the moved amount of the moving object, as target position data; selecting the target position data on the basis of reliability of the relative position of the target position data with respect to the moving object; and comparing the selected target position data with map information including the position information on the target present on a road or around the road, thereby estimating a self-position which is a current position of the moving object.

Abstract: A self-position estimation method includes: detecting a relative position of each target existing around a moving body relative to the moving body; estimating a movement amount of the moving body; correcting the relative position on a basis of the movement amount of the moving body and accumulating the corrected relative position as target position data; detecting a slope amount of a traveling road of the moving body; selecting, from among the accumulated target position data, the target position data of one or more targets in one or more sections having a slope amount less than a threshold value; and collating the selected target position data with map information indicating positions of the targets on a two-dimensional map to estimate a present position of the moving body.

Abstract: A travel control method comprises: learning points which a vehicle has traveled over based on images of the surroundings of the vehicle captured with a camera mounted on the vehicle; learning the travel trajectory of the vehicle based on vehicle signals obtained from the vehicle; determining whether the vehicle has passed the points based on the images captured with the camera; and performing travel control of the vehicle by using the travel trajectory learned based on the vehicle signals as a target trajectory between the points.

Abstract: The methanation reaction catalyst is a methanation reaction catalyst for methanation by allowing CO and/or CO2 to react with hydrogen, wherein the methanation reaction catalyst includes a stabilized zirconia support, into which a stabilizing element forms a solid solution, and having a crystal structure of a tetragonal system and/or a cubic system, and Ni supported on the stabilized zirconia support. The stabilizing element is a transition element of at least one selected from the group consisting of Mn, Fe, and Co.

Abstract: The present application is a generation device including a reaction section which generates a product gas and product water in which the product gas is dissolved through an exothermic reaction of gaseous reactants, a cooling tower which cools cooling water that removes heat generated by the exothermic reaction, a cooling water circulation system which circulates the cooling water between the reaction section and the cooling tower, and piping for mixing the product water generated in the reaction section into the cooling water circulation system.

Abstract: A method of storing a travel history uses a controller to store the travel history of a vehicle in a storage device for each link of a traveling path. The method includes determining that one or more travel histories in a link are one type or two or more types of travel histories on the basis of a predetermined determination condition and storing the two or more types of travel histories in the link in the storage device so as to be sorted for the determined two or more types.

Abstract: A travel control method comprises: learning points which a vehicle has traveled over based on images of the surroundings of the vehicle captured with a camera mounted on the vehicle; learning the travel trajectory of the vehicle based on vehicle signals obtained from the vehicle; determining whether the vehicle has passed the points based on the images captured with the camera; and performing travel control of the vehicle by using the travel trajectory learned based on the vehicle signals as a target trajectory between the points.

Abstract: A driving assistance method of causing a host vehicle to travel by following a preceding vehicle includes: determining whether the preceding vehicle of the host vehicle is present or absent and, upon determining that the preceding vehicle is present, performing a preceding vehicle type determination of determining whether the preceding vehicle of the host vehicle is a four-wheeler or a two-wheeler; upon the preceding vehicle being a four-wheeler, performing both a control of inter-vehicle distance to the four-wheeler and a route following based on the four-wheeler; and upon the preceding vehicle being a two-wheeler, performing a control of inter-vehicle distance to the two-wheeler without performing a route following based on the two-wheeler.

Abstract: The present application is a generation device including a reaction section which generates a product gas and product water in which the product gas is dissolved through an exothermic reaction of gaseous reactants, a cooling tower which cools cooling water that removes heat generated by the exothermic reaction, a cooling water circulation system which circulates the cooling water between the reaction section and the cooling tower, and piping for mixing the product water generated in the reaction section into the cooling water circulation system.

Abstract: A lane information management method for managing lane information using a processor is provided. This method includes acquiring road map information and information on a travel history that is represented by a travel trajectory on a road map, determining, using a plurality of the travel histories, whether or not a lane connected to an intersection is in a multiple lane form in which two or more lines of vehicles are formed on a single lane, and managing the lane information, including a result of determination of the multiple lane form in the lane information.