Return to redefine.tex CVS log

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

euc --> utf8.
A note on XQuartz X11 and OX_XTERM_GEOMETRY.

%% $OpenXM: OpenXM/doc/OpenXM-specs/redefine.tex,v 1.2 2020/03/14 01:21:56 takayama Exp $
//&jp \section{メンバの再定義に関する注意}

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