はじめに 今回のテーマは「状態遷移」です。 多くのソフトウェアは、ユーザー操作や外部イベントを受け取りながら、内部の状態を変化させることで動作を実現しています。 しかし、状態遷移を設計しようとすると、次のような問いに必ず直面します。 状態とは、どこまでの情報を保持すべき...