2007-06-09から1日間の記事一覧
興味を持つ人は非常に少数、かつ反応はありそうにないことを承知で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 . -…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
興味を持つ人は非常に少数、かつ反応はありそうにないことを承知で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 . -…