例: ディジタル時計

  • 外部からの入力 = 毎秒のクロック
  • 前の時刻の状態がインクリメントされる
  • ユーザが時刻設定可能