名前修飾の法則は規格化されないんかね