トップ «前の日記(2004-02-24) 最新 次の日記(2004-02-29)» 月表示 編集

日々の流転


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
Tags: ruby