generated at
突如として出現する、暗黙の前提