数式処理を用いたパラメータを有する線形制御系の解析（管野）