=================================================================== RCS file: /home/cvs/OpenXM/src/kxx/openxxx.tex,v retrieving revision 1.3 retrieving revision 1.4 diff -u -p -r1.3 -r1.4 --- OpenXM/src/kxx/openxxx.tex 1999/11/02 09:07:33 1.3 +++ OpenXM/src/kxx/openxxx.tex 1999/11/22 08:52:55 1.4 @@ -1,4 +1,4 @@ -%% $OpenXM$ +%% $OpenXM: OpenXM/src/kxx/openxxx.tex,v 1.3 1999/11/02 09:07:33 takayama Exp $ %\documentclass{jarticle} \documentstyle{jarticle} \title{{\bf Open XM ¤ÎÀ߷פȼÂÁõ} \\ @@ -7,7 +7,7 @@ } , ¹â»³¿®µ£\thanks{¿À¸ÍÂç³ØÍý³ØÉô¿ô³Ø¶µ¼¼} } -\date{ 1999ǯ, 11·î2Æü} +\date{ 1999ǯ, 11·î22Æü} \begin{document} \maketitle @@ -1640,7 +1640,6 @@ Tree, Lambda $\in$ CMObject/Basic1. \\ & & \mbox{ --- optional ¤Ê°ú¿ô¤¬É¬ÍפʤȤ­¤Ï, leaves ¤Î¸å¤Ø¤Ä¤Å¤±¤ë.} \\ \end{eqnarray*} ---------------------- ½¤Àµ¤³¤³¤Þ¤Ç -------------------------- ¿ô¼°¤ò½èÍý¤¹¤ë¥·¥¹¥Æ¥à¤Ç¤Ï, Tree ¹½Â¤¤¬°ìÈ̤ˤâ¤Á¤¤¤é¤ì¤ë. ¤¿¤È¤¨¤Ð, $\sin(x+e)$ ¤Ï, @@ -1663,7 +1662,21 @@ Tree ¹½Â¤¤Ï Open Math É÷¤Îɽ¸½¤ò¤â¤Á¤¤¤¿ CMO ¤òƳÆþ¤¹¤ Lambda ¤Ï´Ø¿ô¤òÄêµÁ¤¹¤ë¤¿¤á¤Î´Ø¿ô¤Ç¤¢¤ë. Lisp ¤Î Lambda ɽ¸½¤ÈƱ¤¸. +\noindent +Îã: $sin(x+e)$ ¤Îɽ¸½. +\begin{verbatim} +(CMO_TREE, (CMO_STRING, "sin"), (CMO_STRING, "basic"), + (CMO_LIST,[size=]1, + (CMO_TREE, (CMO_STRING, "plus"), (CMO_STRING, "basic"), + (CMO_LIST,[size=]2, (CMO_INDETERMINATE,"x"), + (CMO_TREE,(CMO_STRING, "e"), ¼«Á³Âпô¤ÎÄì + (CMO_STRING, "basic")) + )) + ) +) +\end{verbatim} + \bigbreak ¼¡¤Ë, ʬ»¶É½¸½Â¿¹à¼°¤Ë´Ø·¸¤¹¤ë¥°¥ë¡¼¥×¤òÄêµÁ¤·¤è¤¦. @@ -1698,7 +1711,7 @@ $x^e = x_1^{e_1} \cdots x_n^{e_n}$ ¤Î³Æ»Ø¿ô $e_i$ & & \mbox{ --- ʬ»¶É½¸½Â¿¹à¼°´Ä¤ÎÄêµÁ. } \\ \mbox{Generic DMS ring} &:& ({\tt CMO\_DMS\_GENERIC})\ ¿·ÈǤϤ³¤Á¤é\\ -\mbox{RingByName}&:& ({\tt CMO\_RING\_BY\_NAME}, {\sl Cstring} s) \\ +\mbox{RingByName}&:& ({\tt CMO\_RING\_BY\_NAME}, {\sl Cstring}\ {\rm s}) \\ & & \mbox{ --- ̾Á° s ¤Ç, ³ÊǼ¤µ¤ì¤¿ ring ÄêµÁ.} \\ \mbox{DMS of N variables} &:& ({\tt CMO\_DMS\_OF\_N\_VARIABLES}, \\ @@ -1711,11 +1724,15 @@ $x^e = x_1^{e_1} \cdots x_n^{e_n}$ ¤Î³Æ»Ø¿ô $e_i$ & & \mbox{ --- n ¤ÏÊÑ¿ô¤Î¿ô, p ¤Ï ɸ¿ô} \\ & & \mbox{ --- s ¤Ï ring ¤Î̾Á°} \\ & & \mbox{ --- c ¤Ï·¸¿ô´Ä, QQ, ZZ ¤Î¾ì¹ç¤Ïʸ»úÎó¤Ç QQ, ZZ ¤È½ñ¤¯.} \\ -& & \mbox{ --- vlist ¤Ï Indeterminate ¤Î¥ê¥¹¥È(¿·ÈÇ)} \\ +& & \mbox{ --- vlist ¤Ï Indeterminate ¤Î¥ê¥¹¥È(¿·ÈÇ). ¿¹à¼°´Ä¤ÎÊÑ¿ô¥ê¥¹¥È} \\ & & \mbox{ --- wvec ¤Ï order ¤ò¤­¤á¤ë weight vector,} \\ & & \mbox{ --- outord ¤Ï½ÐÎϤ¹¤ë¤È¤­¤ÎÊÑ¿ô½ç½ø.} \\ \end{eqnarray*} +RingByName ¤ä DMS of N variables ¤Ï¤Ê¤¯¤Æ¤â, DMS ¤òÄêµÁ¤Ç¤­¤ë. +¤·¤¿¤¬¤Ã¤Æ, ¤³¤ì¤é¤ò¼ÂÁõ¤·¤Æ¤Ê¤¤¥·¥¹¥Æ¥à¤Ç DMS ¤ò°·¤¦¤â¤Î¤¬ +¤¢¤Ã¤Æ¤â¤«¤Þ¤ï¤Ê¤¤. + °Ê²¼, °Ê¾å¤Î CMObject ¤Ë¤¿¤¤¤¹¤ë, xxx = asir, kan ¤Î¿¶Éñ¤¤¤òµ­½Ò¤¹¤ë. @@ -2356,7 +2373,8 @@ Open Asir ¥Þ¥Ë¥å¥¢¥ë, ¥µ¥ó¥×¥ë: ¾®¸¶, ¹â»³. ¥Ñ¥é¥á¡¼¥¿ÉÕÀÑʬ¤Î¥°¥é¥Õɽ¼¨¤Î¥½¥Õ¥È¤ò¤«¤¯¤³¤È¤Ç ¤µ¤é¤ËÌäÂêÅÀ¤ò¤µ¤°¤ë¤³¤È¤ò ·×²è¤·¤Æ¤¤¤ë. -¥°¥ì¥Ö¥Êdeformation ¤Ë¤è¤ë¿¹à¼°²ò¤ÎƳ½Ð(Àþ·Á¤ª¤è¤ÓÈóÀþ·ÁÊýÄø¼°) +¥°¥ì¥Ö¥Êdeformation ¤Ë¤è¤ë¿¹à¼°²ò, Í­Íý²ò¤ÎƳ½Ð(Àþ·Á¤ª¤è¤ÓÈóÀþ·ÁÊýÄø¼°, +ÈóÀþ·ÁÈùʬÊýÄø¼°¤«¤é½Ðȯ¤¹¤ë¤ÈÂå¿ôÊýÄø¼°¤ò²ò¤¯ÌäÂê¤Ë¤Ê¤ë) ¤Ï OpenXM Ū¤Ê¥×¥í¥°¥é¥à¤Î¤ª¤â¤·¤í¤¤Îý½¬ÌäÂê. Java ¤ÎÊÂÎó·×»»µ­½ÒǽÎϤò¤Ä¤«¤Ã¤Æ ox ¥µ¡¼¥Ð¤ò»È¤¦¤Î¤â¤ª¤â¤·¤í¤¤.