Transcript LP Narrowing 非線形回路の新しい全解探索法