14/09/21 20:23:58.88 iz+Z8HKh.net
自然数全体の集合の部分集合は基本的に表現するのに無限のビットを必要とするので。
遅延評価とか使えばある程度ごまかせるかもしれないけど、
遅延評価つかっても無限集合の包含関係とかは計算不能な場合もあるので、無限集合は扱わない方向で。
内包的表記は有限集合だけに使えるようにするとか。
14/09/21 20:23:58.88 iz+Z8HKh.net
自然数全体の集合の部分集合は基本的に表現するのに無限のビットを必要とするので。
遅延評価とか使えばある程度ごまかせるかもしれないけど、
遅延評価つかっても無限集合の包含関係とかは計算不能な場合もあるので、無限集合は扱わない方向で。
内包的表記は有限集合だけに使えるようにするとか。