SYNOPSYSのtypo修正