多様体交差検証法