数式処理を用いた非線形制御系の解析・設計（藤本）