実際、formula_65に対し、ノルムを