2004-02-28 [長年日記]
λ. Chu Spaces
演算子を以下のように対応させてるんだが、なんかイマイチな気がする。非ASCIIの演算子記号を自由に使えたらなぁ。
| 通常の表記 | ruby | |
|---|---|---|
| constants | 0 | ChuSpace.zero |
| 1 | ChuSpace.one | |
| T | ChuSpace.T | |
| ⊥ | ChuSpace.perp | |
| direct sum (coproduct) | A⊕B | A+B |
| tensor product | A⊗B | A.tensor(B) またはA*B |
| direct(categorical) product | A&B | A&B |
| A⅋B | A.cotensor(B) | |
| linear implication | A-oB | B**A |
| linear negation | A⊥ | A.perp または ~A |
| modality | !A | A.of_course |
| ?A | A.why_not | |
| concatenation | A;B (?) | A.concat(B) |
| choice | A∪B (?) | A|B |
[ツッコミを入れる]
