baber/WOPTO huggingface dataset:
Patent JP-2020038482-A (JP)
Title: Program verification program, program verification method and program verification device
Inventor: YAMASHITA KAZUHIRO
IPC: G06F8/70
Filed: 2018-09-04
Abstract: To accelerate the verification of a non-deterministic operation in a program.SOLUTION: A storage unit 11 stores a source code 13 for allowing the substitution of a plurality of values for the same variable. A processing unit 12 converts the source code 13 into a source code 14 of a static single substitution format for limiting the substitution of a value for each variable to one time. The processing unit 12 retrieves a command 15 showing writing in a database from the source code 14, detects a variable with a writing value stored in the command 15, and retrieves a command 16 showing the substitution of a value for the detected variable from the source code 14. The processing unit 12 determines whether the writing in the database is an argument of the source code 13 or a non-deterministic operation dependent on an execution state other than data of the database on the basis of an acquisition method of a value to be substituted for the variable detected in the command 16.SELECTED DRAWING: Figure 1
Patent JP-2019067379-A (JP)
Title: Display device equipped with force sensor and method of manufacturing the same
Inventor: KANG YONG GOO
IPC: G01L1/14
Filed: 2018-09-19
Abstract: To provide a display device capable of effectively arranging a force sensor to reduce vibration noise caused by an actuator and a method for manufacturing the display device.SOLUTION: For this purpose, the display device according to an exemplary embodiment of the present invention includes a display panel, a force sensing unit disposed on at least one of a plurality of nodal points of the display panel corresponding to a predetermined vibration, and an actuator for transmitting vibration previously set on the display panel. According to one embodiment of the present invention, the method includes a step of selecting a mode and a frequency, a step of transmitting the vibration corresponding to the frequency to the display panel and grasping the positions of a plurality of nodal points on the display panel, and a step of placing a force sensing unit at the nodal point.SELECTED DRAWING: Figure 1
Patent JP-2020052493-A (JP)
Title: Control apparatus and control program
Inventor: NOGUCHI MARE
IPC: B41J29/38
Filed: 2018-09-25
Abstract: To provide a control apparatus and control program configured to reduce annoying notifications for users who are less relevant to information, as compared with a case where all pieces of information related to execution of specific processing are notified to a chat room by a chat bot which controls execution of the specific processing on the basis of an instruction received from a user in the chat room in which multiple users participate.SOLUTION: A control apparatus includes an execution control unit 302 which performs control to execute specific processing, on the basis of information posted by a user, in a chat room where participating multiple users can post and browse information. The execution control unit 302 gives information on execution of the specific processing to only a part of the users in accordance with a predetermined condition.SELECTED DRAWING: Figure 5
Patent JP-2020050023-A (JP)
Title: Vehicle body front structure
Inventor: NODA MAKOTO
IPC: B60R11/02
Filed: 2018-09-25
Abstract: To provide a technology for preventing an air bag from causing delay in deployment in a cabin or tearing.SOLUTION: A vehicle body front structure includes: an instrument panel; a display unit; and an air bag device disposed below a surface of the instrument panel. When the air bag device is actuated, a lid of the air bag device is opened and a groove part formed by the instrument panel and the display unit is covered by the opened lid.SELECTED DRAWING: Figure 4
Patent JP-2020052566-A (JP)
Title: Information processing apparatus and program
Inventor: MORIYA AKIHIRO
IPC: H04N1/00
Filed: 2018-09-25
Abstract: To provide a mechanism of improving convenience of a user using automatic order service for consumables, or the like.SOLUTION: An information processing apparatus is connected to a device allowed to use automatic order service of maintenance items, over a network, and includes an application installed for managing the maintenance items. The application has a function of displaying a site relating to the maintenance items on display means of the information processing apparatus. The site displayed on the display means is changed in accordance with whether registration for the device to use the automatic order service has been already made or not.SELECTED DRAWING: Figure 4
Patent JP-2020052152-A (JP)
Title: Electronic apparatus with vibration device
Inventor: OGAWA TOSHIHIRO
IPC: G02B7/08
Filed: 2018-09-26
Abstract: To provide an electronic apparatus capable of giving a satisfactory feeling of operation to a user who operates an operation member by using a vibration device.SOLUTION: An electronic apparatus 102 includes: a base barrel 190; an operation ring 103 that rotates around a base barrel by user operation; a vibration device 108 held by the base barrel, which generates vibration responding to rotation of the operation ring; and a vibration transmission member 202 that transmits the vibration by the vibration device to the operation ring.SELECTED DRAWING: Figure 6
Patent JP-2020052289-A (JP)
Title: Laminate and decorative articles
Inventor: UENO KENJI
IPC: B29C45/14
Filed: 2018-09-27
Abstract: To provide a laminate which exhibits different designs between when a light source is on and when the light source is off.SOLUTION: A laminate is provided, having a first main surface to be facing a viewer side and a second main surface to be facing a light source side, and comprising at least a transparent base material layer, first design layer, and second design layer arranged in order from the second main surface side, where at least one layer located on the first main surface side with respect to the transparent base material layer has a concavo-convex pattern formed thereon.SELECTED DRAWING: None
Patent JP-2020051374-A (JP)
Title: Cylinder deactivation switching device
Inventor: MASUKAKE YUICHI
IPC: F02D13/06
Filed: 2018-09-28
Abstract: To reduce the risk of accidental fire when shifting partial cylinders from an inactive state to an active state.SOLUTION: A cylinder deactivation switching device comprises: an operation mode command unit 30A which determines the necessity of switching of an operation mode and commands the switching of the operation mode; an injector 18 for supplying a fuel to a combustion chamber of a first cylinder and a combustion chamber of a second cylinder; an ignition plug 17 for igniting an air-fuel mixture in the combustion chamber of the first cylinder and an air-fuel mixture in the combustion chamber of the second cylinder; and a controller 30 which controls the injector 18 and the ignition plug 17 in accordance with a determination result of the operation mode command unit 30A. When the operation mode command unit 30A determines that switching to an all-cylinder operation mode is necessary during operation in a cylinder halt operation mode, the controller 30 makes ignition timing later than that before determining that the switching to the all-cylinder operation mode is necessary, and controls the ignition plug 17 and the injector 18 in such a manner that the fuel is supplied to the combustion chamber of the first cylinder at least during a compression process of an engine.SELECTED DRAWING: Figure 3
Patent JP-2020053647-A (JP)
Title: Spin orbit torque type magneto-resistive effect element and magnetic memory
Inventor: KOMURA HIDETSUGU
IPC: H01L43/02
Filed: 2018-09-28
Abstract: To provide a spin orbit torque type magneto-resistive effect element with improved heat radiation of heat in spin orbit torque wiring.SOLUTION: A spin orbit torque type magneto-resistive effect element 100 of the present invention includes: a function portion 10 formed by laminating a first ferromagnetic layer 1 with a magnetization direction fixed, a second ferromagnetic layer 2 with a magnetization direction variable, and a non-magnetic layer 3 located between the first ferromagnetic layer 1 and the second ferromagnetic layer 2; a spin orbit torque wiring 20 extending in a first direction intersecting with the lamination direction of the function portion 10 and bonded to the second ferromagnetic layer 2; and a heat sink layer 30 disposed so that it extends in the first direction and at least part of it overlaps with the spin orbit torque wiring 20 in plan view from the lamination direction, and in the lamination direction, it is spaced apart from the spin orbit torque wiring 20 by a distance twice or less the thickness of the function portion 10 in the lamination direction.SELECTED DRAWING: Figure 1
Patent JP-2020054459-A (JP)
Title: Game machine
Inventor: MORI KOICHI
IPC: A63F5/04
Filed: 2018-09-28
Abstract: To provide a game machine capable of preventing a pedestal part from hindering when a casing waist part below is seen while securing a function as the pedestal part.SOLUTION: A game machine includes: a waist part panel 12A executing performance; and a pedestal part 13A which is provided above the waist part panel 12A and in which operation means (various operation means such as a MAX bet button 15a, a start button 16A, and three stop buttons 17L, 17C, 17R) operated by a player is arranged. The pedestal part 13A has left and right projections 13L, 13R protruding forward from a front surface of a Pachinko slot 1A and has a visible part 13C which can view the waist part panel 12A from above the pedestal part 13A between the left and right projections 13L, 13R.SELECTED DRAWING: Figure 122
Patent JP-2018201253-A (JP)
Title: User terminal and radio communication method
Inventor: TAKEDA KAZUKI
IPC: H04W28/06
Filed: 2018-10-01
Abstract: To appropriately report a channel state even if the number of component carriers settable to a user terminal is extended to six or more.SOLUTION: A user terminal includes: a receiving unit for receiving a downlink signal using a plurality of cells; a transmitting unit for periodically transmitting multiple pieces of channel state information by using a prescribed time unit length; and a control unit for setting a transmission period and timing of the multiple pieces of channel state information for each cell on the basis of notification from an upper layer and thereby controlling transmission of the channel state information.SELECTED DRAWING: Figure 3
Patent JP-2020056895-A (JP)
Title: Exposure apparatus, exposure method and manufacturing method of article
Inventor: FUKUOKA RYOSUKE
IPC: G03F7/20
Filed: 2018-10-02
Abstract: To provide an exposure apparatus advantageous for reducing a variation of a line width of a pattern formed on a substrate with a simple configuration.SOLUTION: An exposure apparatus transfers a pattern onto a substrate by using a light source that emits light, and includes: a detector configured to detect a light volume of each of light in a first wavelength band included in the light from the light source and light in the second wavelength band included in the light in the first wavelength band; and a treatment part configured to obtain a light volume of light in a third wavelength band included in the light in the first wavelength band and different from the second wavelength band according to a detection result of a detector.SELECTED DRAWING: Figure 2
Patent JP-2020059780-A (JP)
Title: Additive for detergent, migration inhibitor, and detergent composition
Inventor: ONO YASUHIRO
IPC: C08F226/06
Filed: 2018-10-05
Abstract: To provide an additive for detergent excellent in migration inhibition performance.SOLUTION: There is provided an additive for detergent containing a polymer containing a structural unit derived from a monomer (A) having an ethylenic unsaturated group and a lactam ring in a molecule, and a structural unit derived from a monomer (B) having the ethylenic unsaturated group and a non-cyclic amide bond in a molecule.SELECTED DRAWING: None
Patent JP-2019023352-A (JP)
Title: Method of reducing voids and other defects by filling through-hole
Inventor: NAGARAJAN JAYARAJU
IPC: H05K3/40
Filed: 2018-10-11
Abstract: To provide a method of improving through-hole filling of a substrate such as a printed circuit board.SOLUTION: The direct-current plating method suppresses the formation of voids, reduces dimples, and eliminates nodules. After a certain period, a wall of a through-hall is subjected to the isometric plating (II). Until the end of a high current density period, a via-like shape is formed by filling the through-hall in its center or in the vicinity of the center (III). The via-like shape is filled by application of lower direct-current density until all through-halls are filled (V) so as to remove voids (IV). The through-hall does not include any dimples and nodules.SELECTED DRAWING: Figure 2
Patent JP-2020062070-A (JP)
Title: Game machine
Inventor: ITO TOMOAKI
IPC: A63F7/02
Filed: 2018-10-15
Abstract: To provide a game machine capable of sufficiently restricting fraudulent conduct.SOLUTION: In a Pachinko game machine 10 according to the present invention, opening patterns of movable wing pieces 14C, 14C provided at the opening of a second start winning port 14B are different between a normal game state and a time shortening game state. In the time shortening game state, a first opening pattern with which game balls are easy to achieve winning is performed and in the normal game state, a second opening pattern with which game balls are difficult to achieve winning is performed. Between the first opening pattern and the second opening pattern, a winning discrimination reference for discriminating whether or not the winning of a game ball is valid is different.SELECTED DRAWING: Figure 6
Patent JP-2020062239-A (JP)
Title: Game machine
Inventor: OGURA TOSHIO
IPC: A63F7/02
Filed: 2018-10-18
Abstract: To suitably execute a suggestion performance, in a game machine which can execute a variable display of first identification information and a variable display of second identification information in parallel with each other.SOLUTION: Variable display means can execute a variable display of first identification information and a variable display of a second identification information in parallel with each other, and specified display means can display a specified display so as to be capable of specifying a total frequency of an execution frequency of the variable display of the first identification information and a frequency of the variable display of the second identification information. Suggestion performance execution means can execute a specified suggestion performance for suggesting an expectation degree at which a game is controlled to an advantageous state by displaying the specified display in a specified form different from a normal form as a suggestion performance, also can execute the specified suggestion performance to the variable display of the first identification information when the game is controlled to a prescribed game state which is different from the advantageous state, and does not execute the specified suggestion performance to the variable display of the second identification information.SELECTED DRAWING: Figure 9-7
Patent JP-2020063807-A (JP)
Title: Eccentric oscillation type speed reduction device
Inventor: TAMURA HIKARIKAKU
IPC: F16H1/32
Filed: 2018-10-18
Abstract: To provide a technique capable of reducing accuracy required for components of a speed reduction device.SOLUTION: An eccentric oscillation type speed reduction device comprises: an internal gear 20; a first external gear 16 engaged with the internal gear 20; a plurality of inner pins 60 inserted into a plurality of first insertion holes 62 of the first external gear 16 respectively; a plurality of first inner rollers 66 fitted onto the plurality of inner pins 60 respectively, and arranged inside the first insertion holes 62; and a plurality of spacer rollers 70 fitted onto the plurality of inner pins 60 respectively, and for regulating axial movement of the first inner rollers 66. Circumscribed circle diameters of the plurality of spacer rollers 70 may be set so as to be smaller than circumscribed circle diameters of the plurality of first insertion holes 62.SELECTED DRAWING: Figure 3
Patent JP-2020064806-A (JP)
Title: Non-aqueous electrolyte solution and non-aqueous electrolyte battery
Inventor: WATANABE AIKO
IPC: H01M10/054
Filed: 2018-10-19
Abstract: To provide a non-aqueous electrolyte solution, having an excellent capacity retention rate, for suppressing increases in internal resistance and swelling due to charge and discharge and a non-aqueous electrolyte battery including the same.SOLUTION: Provided are a non-aqueous electrolyte solution containing a non-aqueous solvent and a compound represented by the following formula (1) and a non-aqueous electrolyte battery including the same. (In the formula (1), Rto Rare each a hydrogen atom, a halogen atom, an alkyl group having 1 to 4 carbon atoms which may have a halogen atom, or an aryl group having 6 to 10 carbon atoms which may have a halogen atom.)SELECTED DRAWING: None
Patent JP-2020065581-A (JP)
Title: Game machine
Inventor: OGURA TOSHIO
IPC: A63F7/02
Filed: 2018-10-22
Abstract: To provide a game machine in which a first variable display and a second variable display are simultaneously performed and which can properly display a residual number of times.SOLUTION: For example, as shown in Fig. 48 (A), before a special state is started, a display of a first residual number of times 269F002 is displayed and as shown in Fig. 48 (B), when the special state is started, the display of the first residual number of times 269F002 is not displayed. Then, as shown in Fig. 48 (E), when a variable display of 50 times is elapsed, a display of a second residual number of times 269F003 is displayed and the display of the second residual number of times 269F003 is to be updated every time the variable display thereafter is started.SELECTED DRAWING: Figure 48
Patent JP-2019110522-A (JP)
Title: Determination and use of byte error position signals
Inventor: THOMAS KERN
IPC: H03M13/15
Filed: 2018-10-30
Abstract: To provide determination and use of byte error position signals.SOLUTION: At least one byte error is identified in a binary sequence comprising a plurality of bytes, where the binary sequence in an error-free case is a code word of an error code, and each of at least two byte error position signals is determined using components of an error syndrome of the error code. The at least two byte error position signals indicate whether or not a byte of the binary sequence associated with the byte error position signals is erroneous. The invention relates to correcting at least one byte error in a binary sequence comprising a plurality of bytes, where at least one byte error position signal is determined using components of an error syndrome of an error code. The at least one byte error position signal allows determination of whether a byte of the binary sequence is erroneous. At least one byte error correction value is determined for at least one correct byte on the basis of the byte error correction value.SELECTED DRAWING: None
Patent JP-2020072593-A (JP)
Title: Film peeling method
Inventor: MAKIDO YASUYOSHI
IPC: H01F41/10
Filed: 2018-11-01
Abstract: To further improve quality of a rectangular conductor in the one in which a rectangular conductor having a peeling portion and a coating portion is formed by peeling off a part of an insulating coating with a laser.SOLUTION: A film peeling method includes the steps of: pressing a cutting blade against a side surface of a rectangular conductor; and making a cut in an insulating coating so that the conductor body is exposed and a laser is applied to the peeled side of the notched insulating film. By separating the peeling side and the non-peeling side of the insulating coating in the exposed area of the conductor body, it is possible to suppress heat generated by laser irradiation from propagating from the peeling side of the insulating coating to the non-peeling side.SELECTED DRAWING: Figure 5
Patent JP-2020021445-A (JP)
Title: System, method, and program for distributing live video
Inventor: SHIBATA KAZUTO
IPC: H04N21/2187
Filed: 2018-11-08
Abstract: To promote distribution of live videos by various distributors including beginners.SOLUTION: A video distribution server 10 provides live video distribution service for distributing and viewing live videos to a user via a user terminal 30. The server 10 determines a rank of a distributor based on distribution achievements of live videos, sets a reference reward quantity of the distributor based on the determined rank, and gives reward of a quantity based on a distribution time of a live video and the reference reward quantity to the distributor. As a result, the distributor, even if a beginner, can obtain reward of the quantity based on the distribution time and the reference reward quantity by continuing delivery of live videos.SELECTED DRAWING: Figure 1
Patent JP-2020077557-A (JP)
Title: On-vehicle connector
Inventor: MIYASHITA HIROTOSHI
IPC: H01R13/52
Filed: 2018-11-09
Abstract: To discharge fluid penetrated into the inside of an on-vehicle connector.SOLUTION: An on-vehicle connector 10 includes a USB socket 38 and a housing for storing the USB socket 38. The housing includes a body housing 12 and a front housing 14 covered to the front of the body housing. The USB socket 38 includes a communication hole 44 for communicating the inside of the USB socket 38 with the outside. The housing includes a housing wall provided with a housing hole 46 communicating the inside with the outside. The USB socket 38 is arranged so that the communication hole 44 is turned to the housing wall side. The inner surface of the housing wall has an inclined plane facing from a position opposed to the communication hole 44 to the housing hole 46 and the inclined plane is formed by an edge of a fin-shaped rib 42.SELECTED DRAWING: Figure 5
Patent JP-2019054726-A (JP)
Title: Electric vehicle
Inventor: WATANABE MASAHIRO
IPC: B60L55/00
Filed: 2018-11-10
Abstract: To achieve solution and reduction of various problems (particularly, problems concerning a price, a weight, a charging time, a service life) relating to a high-capacity secondary battery as a largest task for popularization of an electric vehicle.SOLUTION: A high-capacity secondary battery, which has an electric power accumulation capacity which is necessary and sufficient for energy saving travel (equivalent to travel at a constant speed travel fuel consumption) which covers an average travel distance of one day, is mounted on an electric vehicle, and charging to the high-capacity secondary battery is performed, in principal, by normal charging during a parking period at a place of a home of an EV owner or the like at which long time parking is possible. During travelling, a travel possible distance (in energy saving travel) by residual electric power and a residual distance between a current place and a destination are periodically specified and compared, and at a suitable point of time after the point of time when it is proved that a deficiency occurs in residual distance travel to the destination by the residual electric power, access to a charging station, which exists in the middle of a route to the destination, is performed thereby charging electric power of a minimum necessary amount.SELECTED DRAWING: None