[BACK]Return to genkou19991125.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc

Diff for /OpenXM/doc/Attic/genkou19991125.tex between version 1.42 and 1.43

version 1.42, 1999/12/22 13:01:20 version 1.43, 1999/12/22 13:59:41
Line 21 
Line 21 
   
 \section{OpenXM¤È¤Ï}  \section{OpenXM¤È¤Ï}
   
 OpenXM ¤Ï¿ô³Ø¥×¥í¥»¥¹´Ö¤Ç¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤¿¤á¤Îµ¬Ìó¤Ç¤¢¤ë¡£¿ô³Ø¥×¥í  OpenXM ¤Ï¿ô³Ø¥×¥í¥»¥¹´Ö¤Ç¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤¿¤á¤Îµ¬Ìó¤Ç¤¢¤ë¡£
 ¥»¥¹´Ö¤Ç¥á¥Ã¥»¡¼¥¸¤ò¤ä¤ê¤È¤ê¤µ¤»¤ë¤³¤È¤Ë¤è¤ê¡¢¤¢¤ë¿ô³Ø¥×¥í¥»¥¹¤«¤é¾¤Î¿ô  ¿ô³Ø¥×¥í¥»¥¹´Ö¤Ç¥á¥Ã¥»¡¼¥¸¤ò¤ä¤ê¤È¤ê¤¹¤ë¤³¤È¤Ë¤è¤ê¡¢
 ³Ø¥×¥í¥»¥¹¤ò¸Æ¤Ó½Ð¤·¤Æ·×»»¤ò¹Ô¤Ê¤Ã¤¿¤ê¡¢Â¾¤Î¥Þ¥·¥ó¤Ç·×»»¤ò¹Ô¤Ê¤ï¤»¤¿¤ê¤¹  ¤¢¤ë¿ô³Ø¥×¥í¥»¥¹¤«¤é¾¤Î¿ô³Ø¥×¥í¥»¥¹¤ò¸Æ¤Ó½Ð¤·¤Æ·×»»¤ò¹Ô¤Ê¤Ã¤¿¤ê¡¢
 ¤ë¤³¤È¤¬ÌÜŪ¤Ç¤¢¤ë¡£¤Ê¤ª¡¢ OpenXM ¤È¤Ï Open message eXchange protocol  Â¾¤Î¥Þ¥·¥ó¤Ç·×»»¤ò¹Ô¤Ê¤ï¤»¤¿¤ê¤¹¤ë¤³¤È¤¬ÌÜŪ¤Ç¤¢¤ë¡£
 for Mathematics ¤Îά¤Ç¤¢¤ë¡£  ¤Ê¤ª¡¢ OpenXM ¤È¤Ï Open message eXchange protocol for Mathematics ¤Îά¤Ç¤¢¤ë¡£
 OpenXM ¤Î³«È¯¤Îȯü¤ÏÌîϤ¤È¹â»³¤Ë¤è¤ê¡¢ asir ¤È kan/sm1 ¤ò  OpenXM ¤Î³«È¯¤Îȯü¤ÏÌîϤ¤È¹â»³¤Ë¤è¤ê¡¢
 Áê¸ß¤Ë¸Æ¤Ó½Ð¤¹µ¡Ç½¤ò¼ÂÁõ¤·¤¿¤³¤È¤Ç¤¢¤ë¡£  asir ¤È kan/sm1 ¤òÁê¸ß¤Ë¸Æ¤Ó½Ð¤¹µ¡Ç½¤ò¼ÂÁõ¤·¤¿¤³¤È¤Ç¤¢¤ë¡£
 %\footnote{¤³¤ÎÃÊÍîɬÍ×?}  
   
 %ȯü¤È¤Ê¤Ã¤¿ asir ¤È kan/sm1 ¤Ç¤Î¼ÂÁõ»þ¤Ë¤Ï¡¢  %ȯü¤È¤Ê¤Ã¤¿ asir ¤È kan/sm1 ¤Ç¤Î¼ÂÁõ»þ¤Ë¤Ï¡¢
 ½é´ü¤Î¼ÂÁõ¤Ç¤Ï¡¢Áê¼ê¦¤Î¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÁ÷¤Ã¤Æ¤¤¤¿¡£  ½é´ü¤Î¼ÂÁõ¤Ç¤Ï¡¢Áê¼ê¦¤Î¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÁ÷¤Ã¤Æ¤¤¤¿¡£
 ¸½ºß¤Î OpenXM µ¬Ìó¤Ç¤Ï¶¦ÄÌɽ¸½·Á¼°¤Ë¤è¤ë¥á¥Ã¥»¡¼¥¸¤òÍѤ¤¤Æ¤¤¤ë¡£  ¸½ºß¤Î OpenXM µ¬Ìó¤Ç¤Ï¶¦ÄÌɽ¸½·Á¼°¤Ë¤è¤ë¥á¥Ã¥»¡¼¥¸¤òÍѤ¤¤Æ¤¤¤ë¡£
 ¤³¤ÎÊýË¡¤Ç¤ÏÁê¼ê¦¤Î¥½¥Õ¥È¤¬ asir ¤Ê¤Î¤« kan/sm1 ¤Ê¤Î¤«¤òȽÊ̤·¤Æ¡¢  ¤³¤ÎÊýË¡¤Ç¤ÏÁê¼ê¦¤Î¥½¥Õ¥È¤¬ asir ¤Ê¤Î¤« kan/sm1 ¤Ê¤Î¤«¤òȽÊ̤¹¤ë¤Ê¤É¤·¤Æ¡¢
 Áê¼ê¦¤Î¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë¹ç¤ï¤»¤Æʸ»úÎó¤òºîÀ®¤¹¤ëɬÍפ¬¤Ê¤¤¡£  Áê¼ê¦¤Î¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë¹ç¤ï¤»¤¿Ê¸»úÎó¤òºîÀ®¤¹¤ëɬÍפ¬¤Ê¤¯¤Ê¤ë¡£
 ¤·¤«¤·¡¢¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÁ÷¤ëÊýË¡¤â¡¢  ¤·¤«¤·¡¢¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÁ÷¤ëÊýË¡¤â¡¢
 ¸úΨŪ¤Ç¤¢¤ë¤È¤Ï¤¤¤¤Æñ¤¤¤¬¡¢»È¤¤¤ä¤¹¤¤¡£  ¸úΨŪ¤Ç¤¢¤ë¤È¤Ï¤¤¤¤Æñ¤¤¤¬¡¢»È¤¤¤ä¤¹¤¤¡£
 ¤½¤Î¤¿¤á¡¢ OpenXM µ¬Ìó¤Ç¤Ï¶¦ÄÌɽ¸½·Á¼°¤ÎÃæ¤Îʸ»úÎó¤È¤·¤Æ  ¤½¤Î¤¿¤á¡¢ OpenXM µ¬Ìó¤Ç¤Ï¶¦ÄÌɽ¸½·Á¼°¤ÎÃæ¤Îʸ»úÎó¤È¤·¤Æ¡¢
 É½¸½¤·¤ÆÁ÷¤ë¤³¤È¤¬²Äǽ¤È¤Ê¤Ã¤Æ¤¤¤ë¡£  ¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÍѤ¤¤¿
   ¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤â²Äǽ¤È¤Ê¤Ã¤Æ¤¤¤ë¡£
   
 %OpenXM µ¬ÌóÆȼ«¤Î¥Ç¡¼¥¿·Á¼°¤Ç¤¢¤ë CMO ·Á¼°(Common Mathematical Object format)  %OpenXM µ¬ÌóÆȼ«¤Î¥Ç¡¼¥¿·Á¼°¤Ç¤¢¤ë CMO ·Á¼°(Common Mathematical Object format)
 %°Ê³°¤Ë¤â¡¢ MP ¤ä OpenMath ¤Î XML, binary ɽ¸½·Á¼°¤È¤¤¤Ã¤¿Â¾¤Î·Á¼°¤ò¤â  %°Ê³°¤Ë¤â¡¢ MP ¤ä OpenMath ¤Î XML, binary ɽ¸½·Á¼°¤È¤¤¤Ã¤¿Â¾¤Î·Á¼°¤ò¤â
 %°·¤¨¤ë¤è¤¦¤Ë¤·¤Æ¤¢¤ë¡£  %°·¤¨¤ë¤è¤¦¤Ë¤·¤Æ¤¢¤ë¡£
   
 {\Huge TCP/IP ¼ÂÁõ¤ÎÏÃ}  OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®Ï©¤Î³ÎÊݤÎÊýË¡¤Ë´ö¤é¤«¤Î¼«Í³ÅÙ¤¬¤¢¤ë¤¬¡¢
   ¸½ºß¤Ï TCP/IP ¥½¥±¥Ã¥È¤òÍѤ¤¤¿¼ÂÁõ¤·¤«¤Ê¤¤¡£
   %ÄÌ¿®¤Î¼Â¸½ÊýË¡¤ÏÄÌ¿®Ï©¤Î¤È¤ê¤«¤¿¤Ë¤è¤êÊѤï¤ë¡£
   ¤½¤³¤Ç¡¢°Ê¸å¤³¤³¤Ç¤Ï¶ñÂÎŪ¤Ê¼ÂÁõ¤Ï TCP/IP ¥½¥±¥Ã¥È¤ò
   ÍѤ¤¤Æ¤¤¤ë¤È²¾Äꤹ¤ë¡£
   
 OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®Ï©¤Î³ÎÊݤλÅÊý¤Ë  
   
   
   
 \section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤}  \section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤}
   
 %{\Huge ¤³¤ÎÀá¤Ç¤Ï¹½Â¤¤ÎÏäò¤·¤Ê¤±¤ì¤Ð¤¤¤±¤Þ¤»¤ó}  OpenXM ¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë TCP/IP ¼ÂÁõ¤Ë¤è¤ë¥á¥Ã¥»¡¼¥¸¤Ï
   ¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢
 OpenXM ¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ç¤¢¤ê¡¢  
 ¼¡¤Î¤è¤¦¤Ê¹½Â¤¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£  ¼¡¤Î¤è¤¦¤Ê¹½Â¤¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£
   
 \begin{tabular}{|c|c|} \hline  \begin{tabular}{|c|c|} \hline
Line 67  OpenXM ¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ç¤
Line 67  OpenXM ¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ç¤
   
 ¥Ø¥Ã¥À¤Ï¼¡¤ÎÆó¤Ä¤Î¾ðÊó¤ò»ý¤Ã¤Æ¤¤¤ë¡£  ¥Ø¥Ã¥À¤Ï¼¡¤ÎÆó¤Ä¤Î¾ðÊó¤ò»ý¤Ã¤Æ¤¤¤ë¡£
 \begin{enumerate}  \begin{enumerate}
 \item   Á°È¾¤Î 4 ¥Ð¥¤¥È¤Ë¤¢¤ë¡¢¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤òɽ¤ï¤¹¼±Ê̻ҡ£  \item   Á°È¾¤Î 4 ¥Ð¥¤¥È¡£¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤òɽ¤ï¤¹¼±Ê̻ҤǤ¢¤ê¡¢
         ¥¿¥°¤È¸Æ¤Ð¤ì¤ë¡£          ¥¿¥°¤È¸Æ¤Ð¤ì¤ë¡£
 \item   ¸åȾ¤Î 4 ¥Ð¥¤¥È¤Ë¤¢¤ë¡¢¥á¥Ã¥»¡¼¥¸¤Ë¤Ä¤±¤é¤ì¤¿Ä̤·Èֹ档  \item   ¸åȾ¤Î 4 ¥Ð¥¤¥È¡£¥á¥Ã¥»¡¼¥¸¤Ë¤Ä¤±¤é¤ì¤¿Ä̤·ÈÖ¹æ¤Ç¤¢¤ë¡£
 \end{enumerate}  \end{enumerate}
 ¤½¤ì¤¾¤ì¤Î 4 ¥Ð¥¤¥È¤Ï 32 ¥Ó¥Ã¥ÈÀ°¿ô¤È¤ß¤Ê¤µ¤ì¤Æ°·¤ï¤ì¤ë¡£  ¤½¤ì¤¾¤ì¤Î 4 ¥Ð¥¤¥È¤Ï 32 ¥Ó¥Ã¥ÈÀ°¿ô¤È¤ß¤Ê¤µ¤ì¤Æ°·¤ï¤ì¤ë¡£
 ¤³¤Î¾ì¹ç¤ËÍѤ¤¤é¤ì¤ëÀ°¿ô¤Îɽ¸½ÊýË¡¤ÎÀâÌÀ¤Ë¤Ä¤¤¤Æ¤Ï¸å½Ò¤¹¤ë¤¬¡¢  ¤³¤Î¾ì¹ç¤ËÍѤ¤¤é¤ì¤ëÀ°¿ô¤Îɽ¸½ÊýË¡¤ÎÀâÌÀ¤Ë¤Ä¤¤¤Æ¤Ï¸å½Ò¤¹¤ë¤¬¡¢
 ´ðËÜŪ¤Ëɽ¸½ÊýË¡¤Ï¤¤¤¯¤Ä¤«¤ÎÁªÂò»è¤«¤éÁª¤Ö¤³¤È¤¬²Äǽ¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢  ´ðËÜŪ¤Ëɽ¸½ÊýË¡¤Ï¤¤¤¯¤Ä¤«¤ÎÁªÂò»è¤«¤éÁª¤Ö¤³¤È¤¬²Äǽ¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢
 ¤Þ¤¿¤½¤ÎÁªÂò¤ÏÄÌ¿®Ï©¤Î³ÎΩ»þ¤Ë°ìÅÙ¤À¤±¤Ê¤µ¤ì¤ë¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£  ¤Þ¤¿¤½¤ÎÁªÂò¤ÏÄÌ¿®Ï©¤Î³ÎΩ»þ¤Ë°ìÅÙ¤À¤±¤Ê¤µ¤ì¤ë¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£
   
 %{\Huge °Ê²¼¡¢½ñ¤­Ä¾¤·}  ¥Ü¥Ç¥£¤ÎÃæ¿È¤Ï¥¿¥°¤Ë¤è¤ë¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤Ë¤è¤Ã¤Æ
   
 ¥Ü¥Ç¥£¤ÎÃæ¿È¤Ï³Æ¥Ç¡¼¥¿·Á¼°¤Ë¤è¤Ã¤Æ  
 ¤½¤ì¤¾¤ìÆÈΩ¤Ë·è¤á¤é¤ì¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£  ¤½¤ì¤¾¤ìÆÈΩ¤Ë·è¤á¤é¤ì¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£
 ¤â¤·¡¢ OpenXM µ¬Ìó¤Ç¤Þ¤ÀÄêµÁ¤µ¤ì¤Æ¤¤¤Ê¤¤¥Ç¡¼¥¿·Á¼°¤ò»È¤¤¤¿¤¤¾ì¹ç¤Ï¡¢  ¤â¤·¡¢¥·¥¹¥Æ¥à¸ÇÍ­¤Îɽ¸½¤ò OpenXM µ¬Ìó¤Î¥á¥Ã¥»¡¼¥¸¤Ë
 ¥á¥Ã¥»¡¼¥¸¤Î¥Ø¥Ã¥À¤Î¥¿¥°¤ò¤Þ¤À»È¤ï¤ì¤Æ¤Ê¤¤À°¿ôÃͤËÀßÄꤷ¡¢  Ëä¤á¹þ¤ó¤Ç»È¤¤¤¿¤¤¾ì¹ç¤Ë¤Ï¡¢
 ¥Ü¥Ç¥£¤ÎÉôʬ¤Ë¥Ç¡¼¥¿¤òËä¤á¹þ¤á¤Ð¤è¤¤¡£  ¤³¤Î¤è¤¦¤ÊÍÑÅӤΤ¿¤á¤Ë¿ä¾©¤µ¤ì¤Æ¤¤¤ëÀ°¿ôÃͤÎÈϰϤ¬¥¿¥°¤Ë¤Ï¤¢¤ë¤Î¤Ç
 ¤Ê¤ª¡¢¤³¤Î¤è¤¦¤ÊÍÑÅӤˤâ»È¤¨¤ë¤è¤¦¤Ë¡¢  ¥¿¥°¤ÎÃͤò¤³¤Î¿ä¾©¤µ¤ì¤Æ¤¤¤ëÈϰϤËÀßÄꤷ¡¢
 ¥¿¥°¤Ë¤Ï¥·¥¹¥Æ¥à¸ÇÍ­¤Îɽ¸½ÍѤ˿侩¤µ¤ì¤Æ¤¤¤ëÀ°¿ô¤ÎÈϰϤ¬¤¢¤ë¡£  ¥·¥¹¥Æ¥à¸ÇÍ­¤Îɽ¸½¤ò¥Ü¥Ç¥£¤ËËä¤á¹þ¤á¤Ð¤è¤¤¡£
   
   
 \section{OpenXM ¤Î·×»»¥â¥Ç¥ë}  \section{OpenXM ¤Î·×»»¥â¥Ç¥ë}

Legend:
Removed from v.1.42  
changed lines
  Added in v.1.43

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>