The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
May. 17, 2022
Filed:
Jun. 19, 2020
Core Concept Technologies Inc., Tokyo, JP;
Katsunori Shimomura, Tokyo, JP;
Tadaaki Taguchi, Tokyo, JP;
Akira Kawasaki, Tokyo, JP;
Reki Yamamoto, Tokyo, JP;
CORE CONCEPT TECHNOLOGIES INC., Tokyo, JP;
Abstract
An information processing apparatus, program, and information processing method performing validated numerics. Arithmetic operation of definite numbers aand bof the computer numbers in which real numbers A and B are defined by formulas (1) and (2) is performed to determine an absolute effective digit γ satisfying formula (3),  formula (1),  formula (2),()=()+()≤()  formula (3).aand bare definite numbers whose numerical values are definite, and aand bare uncertain numbers whose numerical values are uncertain; C denotes a radix; hand hdenote extended high order maxes that are minimum extended digits satisfying |a|≤Cand |b|≤C, and hand hdenote high order maxes that are integers; and e, eand γ denote the absolute effective digits that are integers.