ソーシャル数理・計算代数 Lab | Kyushu University, Institute of Mathematics for Industry, Division of Advanced Optimization and Quantum Mathematics Research | LabLog lab review app