[BACK]Return to redefine.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc / OpenXM-specs
File: [local] / OpenXM / doc / OpenXM-specs / redefine.tex (download)

Revision 1.1.1.1 (vendor branch), Thu Jan 20 08:52:46 2000 UTC (24 years, 4 months ago) by noro
Branch: NORO
CVS Tags: maekawa-ipv6, SPECS_20000120, R_1_3_1-2, RELEASE_20000124, RELEASE_1_3_1_13b, RELEASE_1_2_3_12, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1, RELEASE_1_1_3, RELEASE_1_1_2, KNOPPIX_2006, DEB_REL_1_2_3-9
Changes since 1.1: +0 -0 lines 

Imported the OpenXM specifications.

%% $OpenXM: OpenXM/doc/OpenXM-specs/redefine.tex,v 1.1.1.1 2000/01/20 08:52:46 noro Exp $
//&jp \section{メンバの再定義に関する注意}

/*&jp
われわれは,
Coefficient を Group DistributedPolynomials の メンバとして定義した.
これを新しい group のメンバーとして定義を拡張することができる.
たとえば, Coefficient を, 再帰表現多項式のメンバとしても定義できる.
この場合副作用として, DistributedPolynomials のメンバとしての Coeffients
の意味も拡張される.
システムがそのあたらしい DistributedPolynomials をすくなくとも CMO としては
理解できないといけないが, それを実際にそのシステムのローカルな Object に
変換できるかはシステム依存である.
このような再定義をゆるすのは, 一般的な実装法がやはりこのような仕組みだから
である.
mathcap にデータ転送の保護機能はこのような再帰的表現もチェックできないと
いけない.
*/