データの検索を効率的に行うための項メモリ機構の改良を行い、データの登録 と検索の処理効率を高めることに成功した。これまでは、証明の各分岐で項メ モリを独立に処理していたので、同じデータ構造が何度も項メモリに登録され る、という冗長性があった。この冗長性をなくすことで、登録の効率化を図っ た。また、変数データとの照合処理を効率化する為のデータ構造を考案し、照 合検索処理の効率化に成功した。
