A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyNRAC (Computer Albebra-Design of Algorithms, Implementations and Applications RIMS研究集会報告集)