ExternalURL
形式言語