===================================================================
RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v
retrieving revision 1.73
retrieving revision 1.77
diff -u -p -r1.73 -r1.77
--- OpenXM/doc/Attic/genkou19991125.tex	1999/12/24 15:42:24	1.73
+++ OpenXM/doc/Attic/genkou19991125.tex	1999/12/24 19:59:39	1.77
@@ -1,13 +1,14 @@
 \documentclass{jarticle}
 
-%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.72 1999/12/24 12:03:33 tam Exp $
+%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.76 1999/12/24 19:01:00 tam Exp $
 
 \usepackage{jssac}
 \title{
 1. °ÕÌ£¤â¤Ê¤¤½¤¾þ²á¾ê¤Ê¸ì¶ç¤ÏÇÓ½ü¤·¤Þ¤·¤ç¤¦¡£\\
-3. ¤»¤Ã¤«¤¯ fill ¤·¤Æ¤¤¤ë¤Î¤ò¤¤¤¸¤é¤Ê¤¤¤Ç¤¯¤ì¡£\\
-4. Åļ¤¬Í·¤ó¤Ç¤Ð¤«¤ê¤Ç¤ª¤ì¤Ð¤«¤ê»Å»ö¤ò¤·¤Æ¤¤¤ë¤Î¤Ï¤É¤¦¹Í¤¨¤Æ¤âÉÔ¸øÊ¿¤À¡£
+2. ¤»¤Ã¤«¤¯ fill ¤·¤Æ¤¤¤ë¤Î¤ò¤¤¤¸¤é¤Ê¤¤¤Ç¤¯¤ì¡£\\
+3. Åļ¤¬Í·¤ó¤Ç¤Ð¤«¤ê¤Ç¤ª¤ì¤Ð¤«¤ê»Å»ö¤ò¤·¤Æ¤¤¤ë¤Î¤Ï¤É¤¦¹Í¤¨¤Æ¤âÉÔ¸øÊ¿¤À¡£
 ¤Ê¤ó¤Ç»Å»ö¤ò¤·¤Ê¤¤¤Î¤«¡¢¤¤¤¤²Ã¸º»Å»ö¤ò¤·¤í¡¢Åļ¡£
+%¢¬¤¹¤ß¤Þ¤»¤ó¡¢²È¤Ç¸æÈÓ¿©¤Ù¤Æ¤Þ¤·¤¿¡£
 }
 
 \author{±ü ë ¡¡ ¹Ô ±û\affil{¿À¸ÍÂç³ØÂç³Ø±¡¼«Á³²Ê³Ø¸¦µæ²Ê}
@@ -23,7 +24,7 @@
   \and	Á° Àî ¡¡ ¾­ ½¨\affil{¿À¸ÍÂç³ØÍý³ØÉô}
 		\mail{maekawa@math.sci.kobe-u.ac.jp}
 }
-%\art{}
+\art{}
 
 \begin{document}
 \maketitle
@@ -131,7 +132,7 @@ OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë¡
 {\Huge °Ê²¼¡¢½ñ¤­Ä¾¤·}
 
 ¤Þ¤È¤á¤ë¤È¡¢¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ê¡¢
-·×»»¤Î·ë²Ì¤òÆÀ¤ë¤È¤¤¤¦¼ê½ç¤òÄɤäƤ¤¤¯¤È¼¡¤Î¤è¤¦¤Ë¤Ê¤ë¡£
+·×»»¤Î·ë²Ì¤òÆÀ¤ë¤È¤¤¤¦¼ê½ç¤Ï°Ê²¼¤Î¤è¤¦¤Ë¤Ê¤ë¡£
 
 \begin{enumerate}
 \item
@@ -140,11 +141,11 @@ OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë¡
 \item
 ¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤ËÌ¿Îá¤òÁ÷¤ë¤È¡¢¥µ¡¼¥Ð¤ÏɬÍפʤÀ¤±¥¹¥¿¥Ã¥¯¤«¤é¥Ç¡¼¥¿
 ¤ò¼è¤ê½Ð¤·¡¢¼Â¹Ô¤·¤¿·ë²Ì¤ò¥¹¥¿¥Ã¥¯¤ËÀѤࡣ
-¤Ã¤Æ½ñ¤¤¤Æ¤ë¤±¤É¡¢Ì¿Î᤬SM\_popCMO ¤È¤« SM\_shutdown ¤Î¾ì¹ç¤Ï?
+%¤Ã¤Æ½ñ¤¤¤Æ¤ë¤±¤É¡¢Ì¿Î᤬SM\_popCMO ¤È¤« SM\_shutdown ¤Î¾ì¹ç¤Ï?
 \item
-ºÇ¸å¤Ë¡Ö¥¹¥¿¥Ã¥¯¤«¤é¥Ç¡¼¥¿¤ò¼è¤ê½Ð¤·Á÷¿®¤ò¹Ô¤Ê¤¦Ì¿Îá¡×¤ò¥µ¡¼¥Ð¤ØÁ÷¤ë¤È¡¢
-¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¤«¤é·×»»·ë²Ì¤ÎÆþ¤Ã¤Æ¤¤¤ë¥Ç¡¼¥¿¤ò¼è¤ê½Ð¤·¡¢¥¯¥é¥¤¥¢¥ó¥È¤Ø
-Á÷½Ð¤¹¤ë¡£
+ºÇ¸å¤Ë SM\_popCMO ¤â¤·¤¯¤Ï SM\_popString ¤ò¥µ¡¼¥Ð¤ØÁ÷¤ë¤È¡¢
+¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¤«¤é·×»»·ë²Ì¤ÎÆþ¤Ã¤Æ¤¤¤ë¥Ç¡¼¥¿¤ò¼è¤ê½Ð¤·¡¢
+¥¯¥é¥¤¥¢¥ó¥È¤ØÁ÷½Ð¤¹¤ë¡£
 \end{enumerate}
 
 \section{OpenXM ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó}\label{sec:oxsm}
@@ -197,10 +198,19 @@ OpenXM µ¬Ìó¤Ç¤Ï¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤ÈÄêµÁ¤·¤Æ¤
 #define SM_control_reset_connection              1030
 \end{verbatim}
 
-°Ê²¼¡¢¤É¤¦¤¤¤¦¤È¤­¤Ë·ë²Ì¤ò¥¹¥¿¥Ã¥¯¤ËÀѤफ¥¨¥é¡¼¤Î¾ì¹ç¤É¤¦¤¹¤ë¤«¤ÎÀâÌÀ¤¬
-ɬÍפǤ¢¤í¤¦¡£
+%°Ê²¼¡¢¤É¤¦¤¤¤¦¤È¤­¤Ë·ë²Ì¤ò¥¹¥¿¥Ã¥¯¤ËÀѤफ¥¨¥é¡¼¤Î¾ì¹ç¤É¤¦¤¹¤ë¤«¤ÎÀâÌÀ¤¬
+%ɬÍפǤ¢¤í¤¦¡£
 
+¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤ËÂФ¹¤ëÌ¿Îá¤ÎÃæ¤Ë¤Ï¼Â¹Ô¤Î·ë²Ì¤¬Â¸ºß¤¹¤ë¤â¤Î¤¬¤¢¤ë¡£
+·ë²Ì¤¬Â¸ºß¤¹¤ëÌ¿Îá¤ò¼Â¹Ô¤·¤¿¾ì¹ç¡¢¥µ¡¼¥Ð¤Ï¤½¤Î·ë²Ì¤ò¥¹¥¿¥Ã¥¯¤ËÀѤࡣ
+¤¿¤È¤¨¤Ð¡¢ SM\_executeStringByLocalParser ¤Ï
+¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤Æ¤¤¤ë¥ª¥Ö¥¸¥§¥¯¥È¤ò
+¥µ¡¼¥Ð¦¤Î¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤È¤ß¤Ê¤·¤Æ·×»»¤ò¹Ô¤Ê¤¦¤¬¡¢
+¹Ô¤Ê¤Ã¤¿·ë²Ì¤Ï¥í¡¼¥«¥ë¸À¸ì¤Çµ­½Ò¤·¤¿Ê¸»úÎó¤Ç¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë¡£
+¤Ê¤ª¡¢Ì¿Îá¤Î¼Â¹ÔÃæ¤Ë¥¨¥é¡¼¤¬µ¯¤³¤ê¡¢·ë²Ì¤¬ÆÀ¤é¤ì¤Ê¤«¤Ã¤¿¾ì¹ç¤Ë¤Ï¡¢
+¥¨¥é¡¼¥ª¥Ö¥¸¥§¥¯¥È¤¬¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë¡£
 
+
 \section{CMO ¤Î¥Ç¡¼¥¿¹½Â¤}\label{sec:cmo}
 
 OpenXM µ¬Ìó¤Ç¤Ï¡¢¿ô³ØŪ¥ª¥Ö¥¸¥§¥¯¥È¤òɽ¸½¤¹¤ëÊýË¡¤È¤·¤Æ CMO ·Á¼°(Common
@@ -225,46 +235,47 @@ CMO ¤Ç¤Ï¡¢¥¿¥°¤Ë¤è¤Ã¤Æ¥Ü¥Ç¥£¤ÎÏÀÍýŪ¹½Â¤¤¬·èÄꤹ¤ë¡£¤¹
 ÄêµÁ¤µ¤ì¤Æ¤¤¤ë¡£
 
 \begin{verbatim}
-#define CMO_ERROR2 0x7f000002
-#define CMO_NULL   1
-#define CMO_INT32  2
-#define CMO_DATUM  3
-#define CMO_STRING 4
+#define CMO_ERROR2  0x7f000002
+#define CMO_NULL    1
+#define CMO_INT32   2
+#define CMO_DATUM   3
+#define CMO_STRING  4
 #define CMO_MATHCAP 5
 
-#define CMO_START_SIGNATURE    0x7fabcd03     
-#define     CMO_ARRAY  16
-#define     CMO_LIST 17
-#define     CMO_ATOM 18
-#define     CMO_MONOMIAL32  19
-#define     CMO_ZZ          20
-#define     CMO_QQ          21
-#define     CMO_ZERO        22
-#define     CMO_DMS_GENERIC     24
-#define     CMO_DMS_OF_N_VARIABLES 25
-#define     CMO_RING_BY_NAME  26
-#define     CMO_RECURSIVE_POLYNOMIAL 27
-#define     CMO_LIST_R   28
+#define CMO_START_SIGNATURE      0x7fabcd03     
+#define CMO_ARRAY                16
+#define CMO_LIST                 17
+#define CMO_ATOM                 18
+#define CMO_MONOMIAL32           19
+#define CMO_ZZ                   20
+#define CMO_QQ                   21
+#define CMO_ZERO                 22
+#define CMO_DMS_GENERIC          24
+#define CMO_DMS_OF_N_VARIABLES   25
+#define CMO_RING_BY_NAME         26
+#define CMO_RECURSIVE_POLYNOMIAL 27
+#define CMO_LIST_R               28
 
-#define     CMO_INT32COEFF  30
-#define     CMO_DISTRIBUTED_POLYNOMIAL 31
-#define     CMO_POLYNOMIAL_IN_ONE_VARIABLE 33
-#define     CMO_RATIONAL 34
+#define CMO_INT32COEFF                 30
+#define CMO_DISTRIBUTED_POLYNOMIAL     31
+#define CMO_POLYNOMIAL_IN_ONE_VARIABLE 33
+#define CMO_RATIONAL                   34
 
-#define     CMO_64BIT_MACHINE_DOUBLE   40
-#define     CMO_ARRAY_OF_64BIT_MACHINE_DOUBLE  41
-#define     CMO_128BIT_MACHINE_DOUBLE   42
-#define     CMO_ARRAY_OF_128BIT_MACHINE_DOUBLE  43
+#define CMO_64BIT_MACHINE_DOUBLE           40
+#define CMO_ARRAY_OF_64BIT_MACHINE_DOUBLE  41
+#define CMO_128BIT_MACHINE_DOUBLE          42
+#define CMO_ARRAY_OF_128BIT_MACHINE_DOUBLE 43
 
-#define     CMO_BIGFLOAT    50
-#define     CMO_IEEE_DOUBLE_FLOAT 51
+#define CMO_BIGFLOAT          50
+#define CMO_IEEE_DOUBLE_FLOAT 51
 
-#define     CMO_INDETERMINATE  60
-#define     CMO_TREE           61
-#define     CMO_LAMBDA         62
+#define CMO_INDETERMINATE 60
+#define CMO_TREE          61
+#define CMO_LAMBDA        62
 \end{verbatim}
 
-¤³¤ÎÃæ¤Ç CMO\_INT32, ... ¤Ç¼±Ê̤µ¤ì¤ë¥ª¥Ö¥¸¥§¥¯¥È¤ÏºÇ¤â´ðËÜŪ¤Ê¥ª¥Ö¥¸¥§
+¤³¤ÎÃæ¤Ç CMO\_ERROR2, CMO\_NULL, CMO\_INT32, CMO\_DATUM, CMO\_STRING,
+CMO\_MATHCAP, CMO\_LIST ¤Ç¼±Ê̤µ¤ì¤ë¥ª¥Ö¥¸¥§¥¯¥È¤ÏºÇ¤â´ðËÜŪ¤Ê¥ª¥Ö¥¸¥§
 ¥¯¥È¤Ç¤¢¤Ã¤Æ¡¢¤¹¤Ù¤Æ¤Î OpenXM Âбþ¥·¥¹¥Æ¥à¤Ë¼ÂÁõ¤µ¤ì¤Æ¤¤¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£
 
 ¤³¤ì¤é¤Ë¤Ä¤¤¤Æ¤Î²òÀâ¤ò¹Ô¤¦Á°¤Ëµ­Ë¡¤Ë¤Ä¤¤¤Æ¡¢¾¯¤·ÀâÌÀ¤·¤Æ¤ª¤¯¡£
@@ -287,14 +298,33 @@ CMO ¤Ç¤Ï¡¢¥¿¥°¤Ë¤è¤Ã¤Æ¥Ü¥Ç¥£¤ÎÏÀÍýŪ¹½Â¤¤¬·èÄꤹ¤ë¡£¤¹
 ¤Ê¤É¤Ï 4¥Ð¥¤¥È¤Î¥Ç¡¼¥¿¤ÇÀ°¿ôÃͤȤ·¤Æ¤ß¤¿¤È¤­¤ÎÃͤò°ÕÌ£¤¹¤ë¡£CMO\_NULL ¤Ï
 ¼±ÊÌ»Ò(¤¹¤Ê¤ï¤Á¿ô»ú 1 ¤ÈÅù²Á)¤Ç¤¢¤ë¡£¤³¤Îµ­Ë¡¤«¤é¾åµ­¤Î¥Ç¡¼¥¿¤Ï 20 ¥Ð¥¤
 ¥È¤ÎÂ礭¤µ¤Î¥Ç¡¼¥¿¤Ç¤¢¤ë¤³¤È¤¬Ê¬¤«¤ë¡£
+¤Ê¤ª¡¢¤³¤Î¥Ç¡¼¥¿¤Ï cmo ¤Ç¤Ï¤Ê¤¤¤³¤È¤ËÃí°Õ¤·¤Æ¤Û¤·¤¤¡£
+%¤Ê¤ª¡¢ CMO expression ¤Çɽ¸½¤Ç¤­¤Æ¤¤¤Æ¤â¡¢
+%¤½¤ì¤¬ CMO ¤Ç¤¢¤ë¤³¤È¤È¤Ï̵´Ø·¸¤Ç¤¢¤ë¡£
 
 ¤µ¤Æ¡¢¤³¤Îµ­Ë¡¤Î¤â¤È¤Ç cmo\_int32 ¤ò¼¡¤Î¥Ç¡¼¥¿¹½Â¤¤ò»ý¤Ä¤ÈÄêµÁ¤¹¤ë¡£
 \begin{quote}
-cmo\_int32 := (CMO\_INT32,  {\sl int32})
+cmo\_int32 := (CMO\_INT32,  {\sl int32} $a$)
 \end{quote}
 
-{\Huge ƱÍÍ¤Ë cmo\_string, cmo\_list ¤Ê¤É¤òÄêµÁ!!}
+%{\Huge ƱÍÍ¤Ë cmo\_string, cmo\_list ¤Ê¤É¤òÄêµÁ}
 
+¤³¤ì¤Ï cmo ¤Î 32 ¥Ó¥Ã¥ÈÀ°¿ô $a$ ¤òɽ¤¹¡£
+¾¤Î¥ª¥Ö¥¸¥§¥¯¥È¤òÄêµÁ¤¹¤ë¤¿¤á¤Ë¡¢
+°Ê¸å ``{\sl string} $s$'' ¤òʸ»úÎó $s$ ¡¢
+``{\sl cmo} $ob$'' ¤ò cmo ¤Î¥ª¥Ö¥¸¥§¥¯¥È $ob$ ¤È¤¹¤ë¡£
+¤³¤ì¤òÍѤ¤¤Æ¡¢ cmo\_string, cmo\_list ¤òÄêµÁ¤¹¤ë¡£
+
+\begin{quote}
+cmo\_string := (CMO\_STRING, {\sl int32} $len$, {\sl string} $str$) \\
+cmo\_list := (CMO\_LIST, {\sl int32} $n$, {\sl cmo} $ob_1$,
+		{\sl cmo} $ob_2$, $\cdots$,{\sl cmo} $ob_n$)
+\end{quote}
+
+¤³¤ì¤Ï¤½¤ì¤¾¤ìŤµ $len$ ¤Îʸ»úÎó $str$ ¤È¡¢
+$ob_1$, $ob_2$, $\cdots$, $ob_n$ ¤«¤é¤Ê¤ëŤµ $n$ ¤Î¥ê¥¹¥È¤òɽ¤¹¡£
+
+
 % ¤³¤³¤Ç 32 bit ¤ÎÀ°¿ô¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¿¨¤ì¤Æ¤ª¤¯¡£
 % OpenXM µ¬Ìó¤Ç¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ç 32 bit ¤ÎÀ°¿ô 20 ¤ò
 % {\tt 00 00 00 14} ¤Èɽ¤¹ÊýË¡¤È {\tt 14 00 00 00} ¤Èɽ¤¹ÊýË¡¤¬¤¢¤ë¡£
@@ -378,48 +408,68 @@ OpenXM µ¬Ìó¤Ç¤Ï¡¢ÄÌ¿®»þ¤ËÍѤ¤¤é¤ì¤ë¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤ò³
 Á÷ÉÕ¤¹¤ë¡£¥¯¥é¥¤¥¢¥ó¥È¤Ï¤½¤Î¥ª¥Ö¥¸¥§¥¯¥È¤ò²òÀϤ·¤Æ¡¢À©¸Â¤ò¤«¤±¤ë¡£
 
 ¼¡¤Ë mathcap ¤Î¥Ç¡¼¥¿¹½Â¤¤Ë¤Ä¤¤¤ÆÀâÌÀ¤¹¤ë¡£
-mathcap ¤Ï CMO ¤Î°ì¼ï¤Ç¤¢¤ë¤Î¤Ç¡¢¤¹¤Ç¤ËÀâÌÀ¤·¤¿¤è¤¦¤Ë
-\begin{verbatim}
-¥Ø¥Ã¥À     ¥Ü¥Ç¥£
-\end{verbatim}
+mathcap ¤Ï CMO ¤Î°ì¼ï¤Ç¤¢¤ë¤Î¤Ç¡¢¤¹¤Ç¤ËÀâÌÀ¤·¤¿¤è¤¦¤Ë \\
+\begin{tabular}{|c|c|} \hline
+¥Ø¥Ã¥À        & \hspace{10mm} ¥Ü¥Ç¥£ \hspace{10mm} \\ \hline
+\end{tabular} \\
 ¤Î¹½Â¤¤ò»ý¤Á¥Ø¥Ã¥À¤ÎÃÍ¤Ï 5 ¤Ç¤¢¤ë(\ref{sec:cmo} Àá¤ò»²¾È¤Î¤³¤È)¡£
 ¥Ü¥Ç¥£¤Ï cmo\_list ¥ª¥Ö¥¸¥§¥¯¥È¤Ç¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£
 
+%\begin{quote}
+%	cmo\_mathcap := (CMO\_MATHCAP,{\sl cmo} obj)
+%\end{quote}
+
 ¤µ¤Æ¡¢mathcap ¥ª¥Ö¥¸¥§¥¯¥È¤Î¥Ü¥Ç¥£¤Î cmo\_list ¥ª¥Ö¥¸¥§¥¯¥È¤Ï°Ê²¼¤Î¾ò·ï¤ò
 Ëþ¤¿¤¹¤³¤È¤òÍ׵ᤵ¤ì¤ë¡£
 
 ¤Þ¤º¡¢¤½¤Î cmo\_list ¥ª¥Ö¥¸¥§¥¯¥È¤Ï¾¯¤Ê¤¯¤È¤â¥ê¥¹¥ÈŤ¬ 3 °Ê¾å¤Ç¤Ê¤±¤ì¤Ð
 ¤Ê¤é¤Ê¤¤¡£
 
-\[	\begin{tabular}{|c|c|c|} \hline
-	$A$ & $B$ & $C$	\\ \hline
-	\end{tabular}	\]
+\begin{quote}
+	(CMO\_LIST, {\sl int32} $3$,
+		{\sl cmo} $A$, {\sl cmo} $B$, {\sl cmo} $C$)
+\end{quote}
+%\[	\begin{tabular}{|c|c|c|} \hline
+%	$A$ & $B$ & $C$	\\ \hline
+%	\end{tabular}	\]
 
 Âè°ìÍ×ÁÇ $A$ ¤Ï¤Þ¤¿ cmo\_list ¤Ç¤¢¤ê¡¢¥ê¥¹¥ÈĹ¤Ï 4 °Ê¾å¡¢
 $a_1$ ¤Ï 32 ¥Ó¥Ã¥ÈÀ°¿ô¤Ç¥Ð¡¼¥¸¥ç¥ó¥Ê¥ó¥Ð¡¼¤ò¡¢
 $a_2$ ¤Ïʸ»úÎó¤Ç¥·¥¹¥Æ¥à¤Î̾Á°¤òɽ¤¹¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£
+\begin{quote}
+	(CMO\_LIST, {\sl int32} $4$,
+		{\sl cmo\_int32} $a_1$, {\sl cmo\_string} $a_2$,
+		{\sl cmo} $a_3$, {\sl cmo} $a_4$)
+\end{quote}
+%\[	\begin{tabular}{|c|c|} \hline
+%	$a_1$ & $a_2$	\\ \hline
+%	\end{tabular}	\]
 
-\[	\begin{tabular}{|c|c|} \hline
-	$a_1$ & $a_2$	\\ \hline
-	\end{tabular}	\]
-
 2 ÈÖÌܤÎÍ×ÁÇ $B$ ¤ÎÉôʬ¤Ï¼¡¤Î¤è¤¦¤Ê¥ê¥¹¥È¹½Â¤¤ò¤·¤Æ¤¤¤ë¡£
 ¤³¤Î $b_1$, $b_2$, $\cdots$, $b_n$ ¤Ï¤¹¤Ù¤Æ 32 ¥Ó¥Ã¥È¤ÎÀ°¿ô¤Ç¤¢¤ë¡£
 ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ø¤ÎÌ¿Îá¤Ï¤¹¤Ù¤Æ 32 ¥Ó¥Ã¥È¤ÎÀ°¿ô¤Çɽ¤·¤Æ¤ª¤ê¡¢
 ³Æ $b_i$ ¤ÏÍøÍѲÄǽ¤ÊÌ¿Îá¤ËÂбþ¤¹¤ë 32 ¥Ó¥Ã¥È¤ÎÀ°¿ô¤È¤Ê¤Ã¤Æ¤¤¤ë¡£
+\begin{quote}
+	(CMO\_LIST, {\sl int32} $n$,
+		{\sl cmo\_int32} $b_1$, {\sl cmo\_int32} $b_2$,
+		$\cdots$, {\sl cmo\_int32} $b_n$)
+\end{quote}
+%\[	\begin{tabular}{|c|c|c|c|} \hline
+%	$b_1$ & $b_2$ & $\cdots$ & $b_n$	\\ \hline
+%	\end{tabular}	\]
 
-\[	\begin{tabular}{|c|c|c|c|} \hline
-	$b_1$ & $b_2$ & $\cdots$ & $b_n$	\\ \hline
-	\end{tabular}	\]
-
 3 ÈÖÌܤÎÍ×ÁÇ $C$ ¤Ï°Ê²¼¤Î¤è¤¦¤Ê¥ê¥¹¥È¹½Â¤¤ò¤·¤Æ¤¤¤ë¡£
-\[  \overbrace{
-	\begin{tabular}{|c|c|c|c|} \hline
-	$c_1$ & $c_2$ & $\cdots$ & $c_n$	\\ \hline
-	\end{tabular}
-   }^{C}	\]
-%$n$ ¤Ï OX\_COMMAND °Ê³°¤Î¼õ¤±¼è¤ì¤ë¥á¥Ã¥»¡¼¥¸¤Î¥¿¥°¤Î¼ïÎà¤Î¿ô¤ËÅù¤·¤¤¡£
-%Í×ÁÇ¿ô¤Ï 1 ¤Ç¤â¤â¤Á¤í¤ó¹½¤ï¤Ê¤¤¡£
+\begin{quote}
+	(CMO\_LIST, {\sl int32} $n$,
+		{\sl cmo} $c_1$, {\sl cmo} $c_2$, $\cdots$, {\sl cmo} $c_n$)
+\end{quote}
+%\[  \overbrace{
+%	\begin{tabular}{|c|c|c|c|} \hline
+%	$c_1$ & $c_2$ & $\cdots$ & $c_n$	\\ \hline
+%	\end{tabular}
+%   }^{C}	\]
+%%$n$ ¤Ï OX\_COMMAND °Ê³°¤Î¼õ¤±¼è¤ì¤ë¥á¥Ã¥»¡¼¥¸¤Î¥¿¥°¤Î¼ïÎà¤Î¿ô¤ËÅù¤·¤¤¡£
+%%Í×ÁÇ¿ô¤Ï 1 ¤Ç¤â¤â¤Á¤í¤ó¹½¤ï¤Ê¤¤¡£
 ³Æ $c_i$ ¤â¤Þ¤¿°Ê²¼¤Î¤è¤¦¤Ê¥ê¥¹¥È¹½Â¤¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢
 ¤É¤Î $c_i$ ¤âºÇ½é¤ÎÍ×ÁǤ¬ 32 ¥Ó¥Ã¥È¤ÎÀ°¿ô¤È¤Ê¤Ã¤Æ¤¤¤ë¡£
 \[  \overbrace{