Solving and visualizing parametric quantified constraints in control system design (Computer Albebra-Design of Algorithms, Implementations and Applications RIMS研究集会報告集)