generated at
形式的側面