新しい用語を導入しないと辛い。 型項 -- 型の構文的な表現、概念的には無限かもしれないGornツリー。 型制約 -- 型の等号、不等号、論理AND、論理OR、全称を含む論理式（formula） 連言的型制約 -- 論理ORを含まない型制約 原子型制約 -- 等号または不等号…

せっかくアルゴリズムが出来たのに、どう使うかがハッキリしない。モヤモヤしている。モヤモヤの原因は、混同・混乱、誤解・思い込み（間違ったこだわり）、曖昧さなどだ。一歩下がって見直さないとならない。言葉の使い方も気を付けないと、混同や曖昧さを…