制御系解析・設計における数値計算/数式処理ソフトウェアの活用(川田)