IEEE754のようなjoinやmeetのない構造ではなく、一般的な使われ方のニュアンスとしてはlatticeの方がちょっと近い印象。
たとえば集合{0,1,2,3}のPowersetに包含関係で半順序をつけたときに、
{0,1,2}は{2,3}以上でも{2,3}以下でもない、みたいな。
Permalink | 記事への反応(0) | 12:25
ツイートシェア
趣旨には賛成だが細部にこだわってみるぞ ■1+1 あの二人は1+1が∞になる関係です → 1+1は2だと思います。 どういう構造の上で議論してるかによるんじゃない? モノイド({0,1,∞}, +) で...
IEEE754のようなjoinやmeetのない構造ではなく、一般的な使われ方のニュアンスとしてはlatticeの方がちょっと近い印象。 たとえば集合{0,1,2,3}のPowersetに包含関係で半順序をつけたときに、 {0...
10
