前回の最後に挙げたような条件の処理に適した「点(リスト)の個数を規定する量化子」いわゆる「Numerical Existential Quantifier」を作ることは比較的容易です. 例えば,一般に条件 P を満たす異なるリスト X が少なくとも k 個存在するという式を F(k,X,…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。