| version 1.3, 2000/01/24 02:48:24 |
version 1.4, 2000/09/08 17:14:54 |
|
|
| %% $OpenXM: OpenXM/doc/OpenXM-specs/formal-expression.tex,v 1.2 2000/01/23 05:28:33 noro Exp $ |
%% $OpenXM: OpenXM/doc/OpenXM-specs/formal-expression.tex,v 1.3 2000/01/24 02:48:24 noro Exp $ |
| //&jp \section{ CMO ¤Î·Á¼°ÅªÉ½¸½ÊýË¡ } |
//&jp \section{ CMO ¤Î·Á¼°ÅªÉ½¸½ÊýË¡ } |
| //&eg \section{ A formal expression of CMO } |
//&eg \section{ A formal expression of CMO } |
| |
|
| Line 227 CMOexpression ¤È, CMObject ¤Î¶èÊ̤òÍý²ò¤·¤Æ¤ª¤¯¤Î¤Ï½ÅÍ |
|
| Line 227 CMOexpression ¤È, CMObject ¤Î¶èÊ̤òÍý²ò¤·¤Æ¤ª¤¯¤Î¤Ï½ÅÍ |
|
| ¤³¤ì¤Ï, ʸˡŪ¤Ë¤ÏÀµ¤·¤¤¥×¥í¥°¥é¥à¤À¤¬, ¤Ê¤Ë¤ò¤ä¤ë¤Î¤«¤ÏÁ´¤¯ÉÔÌÀ¤Ê |
¤³¤ì¤Ï, ʸˡŪ¤Ë¤ÏÀµ¤·¤¤¥×¥í¥°¥é¥à¤À¤¬, ¤Ê¤Ë¤ò¤ä¤ë¤Î¤«¤ÏÁ´¤¯ÉÔÌÀ¤Ê |
| ¥×¥í¥°¥é¥à¤È»÷¤Æ¤¤¤ë. |
¥×¥í¥°¥é¥à¤È»÷¤Æ¤¤¤ë. |
| |
|
| |
*/ |
| |
|
| |
/*&jp |
| ¤µ¤Æ, Open math É÷ (\cite{openmath}) |
¤µ¤Æ, Open math É÷ (\cite{openmath}) |
| ¤Î SGML ɽ¸½Ë¡¤â²Äǽ¤Ç¤¢¤ê, ¤½¤Î¾ì¹ç¤Ï, ¾å¤ÎÆó¤Ä¤ÎÎã¤Ï¼¡¤Î¤è¤¦¤Ë |
¤Î XML ɽ¸½Ë¡¤â²Äǽ¤Ç¤¢¤ê, ¤½¤Î¾ì¹ç¤Ï, ¾å¤ÎÆó¤Ä¤ÎÎã¤Ï¼¡¤Î¤è¤¦¤Ë |
| ½ñ¤¯. |
½ñ¤¯. |
| |
*/ |
| |
/*&eg |
| |
It is possible to express CMO by XML like Open math (\cite{openmath}). |
| |
See example below. |
| |
*/ |
| |
|
| |
/*&C |
| |
|
| \begin{verbatim} |
\begin{verbatim} |
| <CMO_INT32> |
<cmo_int32> |
| 1234 |
1234 |
| </CMO_INT32> |
</cmo_int32> |
| |
|
| <CMO_STRING> |
<cmo_string> |
| 5 |
5 |
| "Hello" |
"Hello" |
| </CMO_STRING> |
</cmo_string> |
| \end{verbatim} |
\end{verbatim} |
| */ |
*/ |
| |
|
| Line 323 is the encoding of the CMOexpression |
|
| Line 334 is the encoding of the CMOexpression |
|
| ¤Î ɸ½à encoding Ë¡¤Ë¤è¤ëɽ¸½¤Ç¤¢¤ë. |
¤Î ɸ½à encoding Ë¡¤Ë¤è¤ëɽ¸½¤Ç¤¢¤ë. |
| */ |
*/ |
| |
|
| |
/*&C |
| |
|
| |
\bigbreak |
| |
|
| |
*/ |
| |
|
| |
/*&jp |
| |
(¼Â¸³Åª) |
| |
CMO ¤Ï XML µ¬³Ê¤Ë½àµò¤·¤Æ¤¤¤ë. |
| |
XML µ¬³Ê¤Î Attribute ¤ò binary encode ¤¹¤ë¤¿¤á¤Ë |
| |
ÆÃÊ̤ʥ¿¥° \\ |
| |
*/ |
| |
/*&eg |
| |
(Experimental) |
| |
CMO is complient to XML specification. |
| |
In order to encode ``Attribute'' in XML in a binary format, |
| |
we have a tag: \\ |
| |
*/ |
| |
//&C \verb! #define CMO_ATTRIBUTE_LIST (LARGEID+3) ! \\ |
| |
/*&jp |
| |
¤òÍÑ°Õ¤·¤Æ¤¢¤ë. |
| |
*/ |
| |
/*&jp |
| |
¤¿¤È¤¨¤Ð Attribute {\tt font="Times-Roman" } ¤Ï \\ |
| |
*/ |
| |
/*&eg |
| |
For example, the attibute {\tt font="Times-Roman" } is encoded as \\ |
| |
*/ |
| |
/*&C |
| |
\begin{verbatim} |
| |
(CMO_ATTRIBUTE (CMO_LIST |
| |
(CMO_LIST (CMO_STRING,"font") (CMO_STRING, "Times-Roman")))) |
| |
\end{verbatim} |
| |
*/ |
| |
/*&jp |
| |
¤È encoding ¤µ¤ì¤ë. |
| |
*/ |
| |
//*C |
| |
/*&jp |
| |
¤³¤ÎÆÃÊÌ¤Ê CMO tag {\tt CMO\_ATTRIBUTE\_LIST} °Ê³°¤Ï, |
| |
XML ɽ¸½¤Ç¤Ï XML ¤Î¥¿¥°¤È¤·¤ÆÍý²ò¤µ¤ì¤ë. |
| |
*/ |
| |
/*&eg |
| |
All tags except this special CMO tag {\tt CMO\_ATTRIBUTE\_LIST} |
| |
are XML tags in the CMO/XML expression. |
| |
*/ |
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to formal-expression.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / OpenXM-specs