CALCULATING METHOD AND CALCULATING DEVICE CAPABLE OF MAINTAINING NON-ALTERATION PROPERTY OF INFORMATION

摘要

PROBLEM TO BE SOLVED: To provide an information displaying method capable of displaying the entire contents including not only contents of certain information at the present time but also the past change of the information. SOLUTION: In this information displaying method, a directed graph with a label by a node structure composed of four types being an atom, complex, variables and inconsistency and an arc structure including label information is used to represent information, and the entire information processing including information change represented by a meet operation that guarantees information monotonicity is performed.