興味を持つ人は非常に少数、かつ反応はありそうにないことを承知でCafeOBJの話を続けます。アーベル群の仕様を次のように書きました。 mod ABGRP { -- Abelian group [A] op _+_ : A A -> A op 0 : -> A op -_ : A -> A vars X Y Z : A eq X + Y = Y + X . -…