Dynamical Systems and Verified Numerical Computation Lab (Kaname Matsue) | Kyushu University, Institute of Mathematics for Industry, Division of Liaison Strategy | LabLog lab review app