Return to redefine.tex CVS log

Up to [local] / OpenXM / doc / OpenXM-specs

Annotation of OpenXM/doc/OpenXM-specs/redefine.tex, Revision 1.1.1.1

1.1       noro        1: %% $OpenXM$
                      2: //&jp \section{メンバの再定義に関する注意}
                      3:
                      4: /*&jp
                      5: われわれは,
                      6: Coefficient を Group DistributedPolynomials の メンバとして定義した.
                      7: これを新しい group のメンバーとして定義を拡張することができる.
                      8: たとえば, Coefficient を, 再帰表現多項式のメンバとしても定義できる.
                      9: この場合副作用として, DistributedPolynomials のメンバとしての Coeffients
                     10: の意味も拡張される.
                     11: システムがそのあたらしい DistributedPolynomials をすくなくとも CMO としては
                     12: 理解できないといけないが, それを実際にそのシステムのローカルな Object に
                     13: 変換できるかはシステム依存である.
                     14: このような再定義をゆるすのは, 一般的な実装法がやはりこのような仕組みだから
                     15: である.
                     16: mathcap にデータ転送の保護機能はこのような再帰的表現もチェックできないと
                     17: いけない.
                     18: */