Simplification and Accurate Implementation of State Evolution Recursion for Conjugate Gradient. - Sakyo Hashimoto; Keigo Takeuchi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2023)