>>485
直積や直和などで表現したデータ間の関係を
直接プログラミング言語のソースに記述する。
それを処理系（コンパイラなど）に読み取らせる。
その結果、エラーが出なければ正しく分類できたと言える。
エラーが出れば、正しく分類できなかったと言える。

こういうことなのか。