カン拡張の転置・反転置オペレータの記号法
カン拡張における上下左右: 入門の前に整理すべきこと - 檜山正幸のキマイラ飼育記の「ラムダ計算と類似の記法・図法」で:
他の描画方向なら、別な記法にすべきでしょう。
↓のようになる。
→描画方向 | ↓→ | ↑→ | →↓ | →↑ |
左拡張転置 | ∪α | ∩α | α⊃ | α⊃ |
右拡張転置 | ∩α | ∪α | ⊂α | ⊂α |
左拡張反転置 | ∩α | ∪α | α⊂ | α⊂ |
右拡張反転置 | ∪α | ∩α | ⊃α | ⊃α |
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
カン拡張における上下左右: 入門の前に整理すべきこと - 檜山正幸のキマイラ飼育記の「ラムダ計算と類似の記法・図法」で:
他の描画方向なら、別な記法にすべきでしょう。
↓のようになる。
→描画方向 | ↓→ | ↑→ | →↓ | →↑ |
左拡張転置 | ∪α | ∩α | α⊃ | α⊃ |
右拡張転置 | ∩α | ∪α | ⊂α | ⊂α |
左拡張反転置 | ∩α | ∪α | α⊂ | α⊂ |
右拡張反転置 | ∪α | ∩α | ⊃α | ⊃α |