空間レイアウト、時間スケジュール、カメラのパン
Catyで「状態」というものをUIコンポネント(ウィジェット)のスナップショットと考えたいのだが、複数の状態の複合状態とは、空間レイアウトに対応する。実際にレイアウトはしないが、空間レイアウトの素材一式が複合状態で、集合の直積で与えられる。
一方、時間的なスケジュールは遷移で与えられる。
ところが、空間と時間が入れ替わるときがある。例えば、画面サイズでレイアウトと遷移を大きく変形する必要がある。
カメラのパンは、空間と時間を入れ替えていると思う。