>>516 やはり、"／"は"/"とすべきではないかと。