いよいよサイト自動生成の話。サイトを構成するページの作成をデザイナに依頼することを想定する。静的ページはコンテキストがvoidのテンプレートと考えられるので、すべてのページをテンプレートと考えてよい。デザイナは、作成するテンプレート（静的ペー…

サイトの自動生成とは何であるかを説明する前に、それを表す記号をaと決めておく。autoからa。aは写像（関数）であり、 a: サイトの仕様 → 実際のサイト となる。サイトの仕様はスキーマ（Catyのcasmとcara、いずれcambも）で与えられ、実際のサイトはアクシ…