generated at
ステート図
状態遷移図
state diagram