ウチューじん・ささき on X: "ステートマシンは処理がズタズタの細切れになるので「書きにくい」「書きにくい以上に読みにくい」という欠点がありましたが、「何が起きたとき何をやることになっているのか」が状態遷移図で一目でわかり、全ての組み合わせ状態を意図的に作って格子の全てを通ることを確認することで検証できました。" / X