Catyで「状態」というものをUIコンポネント（ウィジェット）のスナップショットと考えたいのだが、複数の状態の複合状態とは、空間レイアウトに対応する。実際にレイアウトはしないが、空間レイアウトの素材一式が複合状態で、集合の直積で与えられる。一方…

つまらないバカみたいなことが、とても重要だってことがある。以下のこともそういうタグイのことだろう。「半径rの円の面積は0だ」という話がある。円を円周（1次元の図形）と考えると確かにそうだ。円周（circle）と円盤（disk）は違う。次元が違えばまった…

ツリーとマトリックスの関係（http://d.hatena.ne.jp/m-hiyama/20121219/1355882745 ）て、マップ型（または配列型）のデータを関数とみなしてのカリー化の等式（同型の式） [I, [J, V]] ＝ [I×J, V] ＝ [J×I, V] ＝ [J, [I, V]] だ。