generated at
状態と過程