ω-カテゴリーの有限コンピュータドの記述

CaTTコンテキストは有限コンピュータドに対応する