[BACK]Return to formal-expression.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc / OpenXM-specs

Diff for /OpenXM/doc/OpenXM-specs/formal-expression.tex between version 1.5 and 1.6

version 1.5, 2000/09/08 18:57:49 version 1.6, 2000/09/09 16:32:26
Line 1 
Line 1 
 %% $OpenXM: OpenXM/doc/OpenXM-specs/formal-expression.tex,v 1.4 2000/09/08 17:14:54 takayama Exp $  %% $OpenXM: OpenXM/doc/OpenXM-specs/formal-expression.tex,v 1.5 2000/09/08 18:57:49 takayama Exp $
 //&jp \section{ CMO ¤Î·Á¼°ÅªÉ½¸½ÊýË¡ }  //&jp \section{ CMO ¤Î·Á¼°ÅªÉ½¸½ÊýË¡ }
 //&eg \section{ A formal expression of CMO }  //&eg \section{ A formal expression of CMO }
   
Line 235  CMOexpression ¤È, CMObject ¤Î¶èÊ̤òÍý²ò¤·¤Æ¤ª¤¯¤Î¤Ï½ÅÍ
Line 235  CMOexpression ¤È, CMObject ¤Î¶èÊ̤òÍý²ò¤·¤Æ¤ª¤¯¤Î¤Ï½ÅÍ
 ½ñ¤¯.  ½ñ¤¯.
 */  */
 /*&eg  /*&eg
 It is possible to express CMO by XML like Open math (\cite{openmath}).  It is possible to express CMO by XML like Open Math (\cite{openmath}).
 See example below.  See example below.
 */  */
   
 /*&C  /*&C
   
 \begin{verbatim}  \begin{verbatim}
 <cmo_int32>  <cmo>
 1234   <cmo_int32>
 </cmo_int32>     <int32> 1234 </int32>
    </cmo_int32>
   
 <cmo_string>   <cmo_string>
 5     <int32 for="length"> 5 </int32>
 "Hello"     <string> "Hello" </string>
 </cmo_string>   </cmo_string>
   </cmo>
 \end{verbatim}  \end{verbatim}
 */  */
   
   //&jp \noindent cmo\_string ¤Ï¼¡¤Î¤è¤¦¤Ë¤¢¤é¤ï¤·¤Æ¤â¤è¤¤.
   //&eg \noindent cmo\_string can also be expressed as follows.
 /*&C  /*&C
   \begin{verbatim}
   
   <cmo>
    <cmo_string>
      <int32 for="length"> 5 </int32>
      <byte> 'H' </byte> <byte> 'e' </byte>    <byte> 'l' </byte>
      <byte> 'l' </byte> <byte> 'o' </byte>
    </cmo_string>
   </cmo>
   \end{verbatim}
 */  */
   
   //&jp \noindent ¤³¤Î¾ì¹ç¤Î cmo\_string ¤Î DTD ¤Ë¤è¤ëÄêµÁ¤Ï¼¡¤Î¤è¤¦¤Ë¤Ê¤ë. \\
   //&eg \noindent In this case, the DTD for cmo\_string is as follows; \\
   //&C \verb+  <!ELEMENT cmo_string (int32, byte*)>  +
   /*&C
   
   \bigbreak
   */
   
 /*&jp  /*&jp
 ¼¡¤Ë, ɸ½à encoding Ë¡¤òÀâÌÀ¤·¤è¤¦.  ¼¡¤Ë, ɸ½à encoding Ë¡¤òÀâÌÀ¤·¤è¤¦.
 É¸½à encoding Ë¡¤Ç¤Ï, cmo\_tag ¤ò ¥Í¥Ã¥È¥ï¡¼¥¯¥Ð¥¤¥È¥ª¡¼¥À¡¼¤Î  É¸½à encoding Ë¡¤Ç¤Ï, cmo\_tag ¤ò ¥Í¥Ã¥È¥ï¡¼¥¯¥Ð¥¤¥È¥ª¡¼¥À¡¼¤Î
Line 342  is the encoding of the CMOexpression
Line 363  is the encoding of the CMOexpression
   
 /*&jp  /*&jp
 (¼Â¸³Åª)  (¼Â¸³Åª)
 CMO ¤Ï XML µ¬³Ê¤Ë½àµò¤·¤Æ¤¤¤ë.  CMO ¤ª¤è¤Ó OX packets ¤Ï XML µ¬³Ê¤Ë½àµò¤·¤Æ¤¤¤ë.
 XML µ¬³Ê¤Î Attribute ¤ò binary encode ¤¹¤ë¤¿¤á¤Ë  XML µ¬³Ê¤Î Attribute ¤ò binary encode ¤¹¤ë¤¿¤á¤Ë
 ÆÃÊ̤ʥ¿¥° \\  ÆÃÊ̤ʥ¿¥° \\
 */  */
 /*&eg  /*&eg
 (Experimental)  (Experimental)
 CMO is complient to XML specification.  CMO and OX packets are complient to XML specification.
 In order to encode ``Attribute'' in XML in a binary format,  In order to encode ``Attribute'' in XML in a binary format,
 we have a tag: \\  we have a tag: \\
 */  */
Legend:
Removed from v.1.5  
changed lines
  Added in v.1.6
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>