ここで型とは言っても、データ型だけではなく、視覚的、言語的、構造的な型も要求されることに注意したい。