US7200833B2 - Calculating Method, Verification Method, Verification Program and Verification System for Edge Deviation Quantity, and Semiconductor Device Manufacturing Method