=================================================================== RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v retrieving revision 1.35 retrieving revision 1.38 diff -u -p -r1.35 -r1.38 --- OpenXM/doc/Attic/genkou19991125.tex 1999/12/21 16:00:56 1.35 +++ OpenXM/doc/Attic/genkou19991125.tex 1999/12/21 19:01:45 1.38 @@ -48,7 +48,7 @@ OpenXM µ¬ÌóÆȼ«¤Î¥Ç¡¼¥¿·Á¼°¤Ç¤¢¤ë CMO ·Á¼°(Common Math \section{OpenXM ¤Î·×»»¥â¥Ç¥ë} -{\Huge ¤³¤ÎÀá¤Ç¤Ï·×»»¥â¥Ç¥ë¤ÎÏäò¤·¤Ê¤±¤ì¤Ð¤¤¤±¤Þ¤»¤ó¤è¡¢Åļ·¯} +{\Huge ¤³¤ÎÀá¤Ç¤Ï·×»»¥â¥Ç¥ë¤ÎÏäò¤·¤Ê¤±¤ì¤Ð¤¤¤±¤Þ¤»¤ó} OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë¡£ ¤½¤·¤Æ¡¢¤½¤Î¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Ï¥µ¡¼¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¹Ô¤Ê¤ï¤ì¤ë¡£ @@ -63,59 +63,57 @@ OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë¡ ¤³¤Î¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤Ã¤¿¥µ¡¼¥Ð¤Ï¤½¤ì¤ËÂбþ¤¹¤ëÆ°ºî¤ò ¹Ô¤Ê¤¦¤³¤È¤¬´üÂÔ¤µ¤ì¤Æ¤¤¤ë¡£ ¤·¤«¤·¡¢¥µ¡¼¥Ð¤ÏÌ¿Îᤵ¤ì¤Ê¤¤¸Â¤ê²¿¤âÆ°ºî¤ò¹Ô¤Ê¤ª¤¦¤È¤Ï¤·¤Ê¤¤¡£ -¤³¤Î¤¿¤á¡¢¥¯¥é¥¤¥¢¥ó¥È¤Ï¥µ¡¼¥Ð¤ØÁ÷¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Î·ë²Ì¤ò -¥µ¡¼¥Ð¤«¤é +¤³¤Î¤¿¤á¡¢¥¯¥é¥¤¥¢¥ó¥È¤Ï¥µ¡¼¥Ð¤Î¾õÂÖ¤òµ¤¤Ë¤»¤º¤Ë¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ê¡¢ +°ìö¥á¥Ã¥»¡¼¥¸¤òÁ÷ÉÕ¤·½ª¤¨¤ë¤È +¤¢¤È¤Ï¥µ¡¼¥Ð¤ØÁ÷¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Î·ë²Ì¤ò +¥µ¡¼¥Ð¤«¤éÂԤĤ³¤È¤Ê¤·¤Ë¼¡¤ÎÆ°ºî¤Ë°Ü¤ë¤³¤È¤¬¤Ç¤­¤ë¡£ -¤³¤ì¤Ï¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ø°ìö¥á¥Ã¥»¡¼¥¸¤òÁ÷ÉÕ¤·½ª¤¨¤ë¤È¡¢ -¤¢¤È¤Ï¥µ¡¼¥Ð¦¤Î¾õÂÖ¤òµ¤¤Ë¤»¤º¤Ë¥¯¥é¥¤¥¢¥ó¥È¤Ï -¥¯¥é¥¤¥¢¥ó¥È¼«¿È¤Î»Å»ö¤ËÌá¤ì¤ë¤³¤È¤ò°ÕÌ£¤¹¤ë¡£ - \section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤} -{\Huge ¤³¤ÎÀá¤Ç¤Ï¹½Â¤¤ÎÏäò¤·¤Ê¤±¤ì¤Ð¤¤¤±¤Þ¤»¤ó¤è¡¢Åļ·¯} +%{\Huge ¤³¤ÎÀá¤Ç¤Ï¹½Â¤¤ÎÏäò¤·¤Ê¤±¤ì¤Ð¤¤¤±¤Þ¤»¤ó} -OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ç¤¢¤ê¡¢¼¡¤Î¤è¤¦¤Ê¹½Â¤¤ò»ý¤Ä¡£ -\begin{verbatim} -¥Ø¥Ã¥À ¥Ü¥Ç¥£ -\end{verbatim} -¥Ø¥Ã¥À¤ÎŤµ¤Ï8¥Ð¥¤¥È¤Ç¤¢¤ë¤ÈÄê¤á¤é¤ì¤Æ¤¤¤ë¡£¥Ü¥Ç¥£¤ÎŤµ¤Ï¥á¥Ã¥»¡¼¥¸¤´ -¤È¤Ë°Û¤Ê¤ë($0$¤Ç¤â¤è¤¤)¡£ -¥Ø¥Ã¥À¤Ï¼¡¤ÎÆó¤Ä¤Î¾ðÊó¤ò»ý¤Ä¡£ +OpenXM ¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ç¤¢¤ê¡¢ +¼¡¤Î¤è¤¦¤Ê¹½Â¤¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ + +\begin{tabular}{|c|c|} \hline +¥Ø¥Ã¥À & \hspace{10mm} ¥Ü¥Ç¥£ \hspace{10mm} \\ \hline +\end{tabular} + +¥Ø¥Ã¥À¤ÎŤµ¤Ï 8 ¥Ð¥¤¥È¤Ç¤¢¤ë¤ÈÄê¤á¤é¤ì¤Æ¤¤¤ë¡£ +¥Ü¥Ç¥£¤ÎŤµ¤Ï¥á¥Ã¥»¡¼¥¸¤´¤È¤Ë°Û¤Ê¤Ã¤Æ¤¤¤ë¤¬¡¢ +Ťµ¤Ï $0$ ¤Ç¤â¤è¤¤¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë +%¤Ê¤ª¡¢¤¹¤Ù¤Æ¤Î¥á¥Ã¥»¡¼¥¸¤Ë ¥Ü¥Ç¥£¤¬É¬ÍפȤ¤¤¦¤ï¤±¤Ç¤Ï¤Ê¤¯¡¢ +%¥Ü¥Ç¥£¤Î¤Ê¤¤¥á¥Ã¥»¡¼¥¸¤â OpenXM µ¬Ìó¤Ë¤Ï¸ºß¤¹¤ë¤³¤È¤Ë +%Ãí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£ + +¥Ø¥Ã¥À¤Ï¼¡¤ÎÆó¤Ä¤Î¾ðÊó¤ò»ý¤Ã¤Æ¤¤¤ë¡£ \begin{enumerate} -\item Á°È¾¤Î4¥Ð¥¤¥È¡£¥¿¥°¤È¸Æ¤Ð¤ì¡¢¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤òɽ¤ï¤¹¼±Ê̻ҤǤ¢¤ë¡£ -\item ¸åȾ¤Î4¥Ð¥¤¥È¡£¥á¥Ã¥»¡¼¥¸¤Ë¤Ä¤±¤é¤ì¤¿Ä̤·ÈÖ¹æ¤Ç¤¢¤ë¡£ +\item Á°È¾¤Î 4 ¥Ð¥¤¥È¤Ë¤¢¤ë¡¢¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤òɽ¤ï¤¹¼±Ê̻ҡ£ + ¥¿¥°¤È¸Æ¤Ð¤ì¤ë¡£ +\item ¸åȾ¤Î 4 ¥Ð¥¤¥È¤Ë¤¢¤ë¡¢¥á¥Ã¥»¡¼¥¸¤Ë¤Ä¤±¤é¤ì¤¿Ä̤·Èֹ档 \end{enumerate} +¤½¤ì¤¾¤ì¤Î 4 ¥Ð¥¤¥È¤Ï 32 ¥Ó¥Ã¥ÈÀ°¿ô¤È¤ß¤Ê¤µ¤ì¤Æ°·¤ï¤ì¤ë¡£ +¤³¤Î¾ì¹ç¤ËÍѤ¤¤é¤ì¤ëÀ°¿ô¤Îɽ¸½ÊýË¡¤ÎÀâÌÀ¤Ë¤Ä¤¤¤Æ¤Ï¸å½Ò¤¹¤ë¤¬¡¢ +´ðËÜŪ¤Ëɽ¸½ÊýË¡¤Ï¤¤¤¯¤Ä¤«¤ÎÁªÂò»è¤«¤éÁª¤Ö¤³¤È¤¬²Äǽ¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢ +¤Þ¤¿¤½¤ÎÁªÂò¤ÏÄÌ¿®Ï©¤Î³ÎΩ»þ¤Ë°ìÅÙ¤À¤±¤Ê¤µ¤ì¤ë¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£ -¤½¤ì¤¾¤ì¤Î4¥Ð¥¤¥È¤Ï32¥Ó¥Ã¥ÈÀ°¿ô¤È¤ß¤Ê¤µ¤ì¤Æ½èÍý¤µ¤ì¤ë¡£ -¤³¤Î¾ì¹ç¤ËÍѤ¤¤é¤ì¤ëÀ°¿ô¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¤Ï¸å½Ò¤¹¤ë¤¬¡¢´ðËÜŪ¤Ë -ɽ¸½ÊýË¡¤Ï¤¤¤¯¤Ä¤«¤ÎÁªÂò»è¤«¤éÁª¤Ö¤³¤È¤¬²Äǽ¤Ç¤¢¤ê¡¢ -¤Þ¤¿ÁªÂò¤ÏÄÌ¿®Ï©¤Î³ÎΩ»þ¤Ë°ìÅÙ¤À¤±¤Ê¤µ¤ì¤ë¤³¤È¤ËÃí°Õ¤·¤Æ¤ª¤³¤¦¡£ +%{\Huge °Ê²¼¡¢½ñ¤­Ä¾¤·} -{\Huge °Ê²¼¡¢½ñ¤­Ä¾¤·¤Æ¤Í¡£} +¥Ü¥Ç¥£¤ÎÃæ¿È¤Ï³Æ¥Ç¡¼¥¿·Á¼°¤Ë¤è¤Ã¤Æ +¤½¤ì¤¾¤ìÆÈΩ¤Ë·è¤á¤é¤ì¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ +¤â¤·¡¢ OpenXM µ¬Ìó¤Ç¤Þ¤ÀÄêµÁ¤µ¤ì¤Æ¤¤¤Ê¤¤¥Ç¡¼¥¿·Á¼°¤ò»È¤¤¤¿¤¤¾ì¹ç¤Ï¡¢ +¥á¥Ã¥»¡¼¥¸¤Î¥Ø¥Ã¥À¤Î¥¿¥°¤ò¤Þ¤À»È¤ï¤ì¤Æ¤Ê¤¤À°¿ôÃͤËÀßÄꤷ¡¢ +¥Ü¥Ç¥£¤Ë¥Ç¡¼¥¿¤òËä¤á¹þ¤á¤Ð¤è¤¤¡£ +¤Ê¤ª¡¢¤³¤Î¤è¤¦¤ÊÍÑÅӤˤâ»È¤¨¤ë¤è¤¦¤Ë¡¢ +¥¿¥°¤Ë¤Ï¥·¥¹¥Æ¥à¸ÇÍ­¤Îɽ¸½ÍѤ˿侩¤µ¤ì¤Æ¤¤¤ëÀ°¿ô¤ÎÈϰϤ¬¤¢¤ë¡£ -¥Ü¥Ç¥£¤ÎÃæ¤Î¥Ç¡¼¥¿¤¬¤É¤Î¤è¤¦¤Ë³ÊǼ¤µ¤ì¤Æ¤¤¤ë¤«¤Ï -³Æ¥Ç¡¼¥¿·Á¼°¤¬¤½¤ì¤¾¤ìÆÈΩ¤Ë·è¤á¤é¤ì¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ -¤â¤·¡¢ OpenXM µ¬Ìó¤Ç¥á¥Ã¥»¡¼¥¸¤Î¤ä¤ê¤È¤ê¤ò¹Ô¤Ê¤¤¤¿¤¤¤¬¡¢ -¤Þ¤Àµ¬Ìó¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤Ê¤¤¥Ç¡¼¥¿·Á¼°¤ò»È¤¤¤¿¤¤¾ì¹ç¤Ï¡¢ -¥¿¥°¤ò¤Þ¤À»È¤ï¤ì¤Æ¤Ê¤µ¤½¤¦¤ÊÃÍ -(¥·¥¹¥Æ¥à¸ÇÍ­¤Îɽ¸½¤Î¤¿¤á¤Ë¿ä¾©¤µ¤ì¤Æ¤¤¤ëÃͤ¬¤¢¤ë) -¤ËÀßÄꤷ¡¢ ¥Ü¥Ç¥£¤ÎÉôʬ¤Ë¥Ç¡¼¥¿¤òËä¤á¹þ¤á¤Ð¤è¤¤¡£ -¤Ê¤ª¡¢¤¹¤Ù¤Æ¤Î¥á¥Ã¥»¡¼¥¸¤Ë ¥Ü¥Ç¥£¤¬É¬ÍפȤ¤¤¦¤ï¤±¤Ç¤Ï¤Ê¤¯¡¢ -¥Ü¥Ç¥£¤Î¤Ê¤¤¥á¥Ã¥»¡¼¥¸¤â OpenXM µ¬Ìó¤Ë¤Ï¸ºß¤¹¤ë¤³¤È¤Ë -Ãí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£ +%¥µ¡¼¥Ð¤ËÂФ¹¤ëÆ°ºî¤ËÂбþ¤·¤¿¥Ç¡¼¥¿¤Ï SM ·Á¼°¤È¤·¤ÆÄêµÁ¤µ¤ì¤Æ¤¤¤ë¡£ +%SM ·Á¼°°Ê³°¤Î¥Ç¡¼¥¿¤Ç¤Ï¡¢¥µ¡¼¥Ð¤Ï¼õ¤±¼è¤Ã¤¿¥Ç¡¼¥¿¤ò¥¹¥¿¥Ã¥¯¤ËÀѤà +%°Ê³°¤ÎÆ°ºî¤ò¤·¤Ê¤¤¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ +%¤Ä¤Þ¤ê¡¢ SM ·Á¼°¤Î¥Ç¡¼¥¿¤¬¥Ç¡¼¥¿¤ò¼õ¤±¼è¤ë°Ê³°¤ÎÆ°ºî¤ò +%¥µ¡¼¥Ð¤Ë¹Ô¤Ê¤ï¤»¤ëÍ£°ì¤Î¥Ç¡¼¥¿·Á¼°¤Ç¤¢¤ë¡£ -¥µ¡¼¥Ð¤ËÂФ¹¤ëÆ°ºî¤ËÂбþ¤·¤¿¥Ç¡¼¥¿¤Ï SM ·Á¼°¤È¤·¤ÆÄêµÁ¤µ¤ì¤Æ¤¤¤ë¡£ -SM ·Á¼°°Ê³°¤Î¥Ç¡¼¥¿¤Ç¤Ï¡¢¥µ¡¼¥Ð¤Ï¼õ¤±¼è¤Ã¤¿¥Ç¡¼¥¿¤ò¥¹¥¿¥Ã¥¯¤ËÀѤà -°Ê³°¤ÎÆ°ºî¤ò¤·¤Ê¤¤¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ -¤Ä¤Þ¤ê¡¢ SM ·Á¼°¤Î¥Ç¡¼¥¿¤¬¥Ç¡¼¥¿¤ò¼õ¤±¼è¤ë°Ê³°¤ÎÆ°ºî¤ò -¥µ¡¼¥Ð¤Ë¹Ô¤Ê¤ï¤»¤ëÍ£°ì¤Î¥Ç¡¼¥¿·Á¼°¤Ç¤¢¤ë¡£ -¤³¤Î¥Ç¡¼¥¿¤ò¼õ¤±¼è¤ë°Ê³°¤ÎÆ°ºî¤ÎÃæ¤Ë¤Ï¡¢ -¥Ç¡¼¥¿¤Ë¤Ê¤ó¤é¤«¤Î²Ã¹©¤ò»Ü¤¹Æ°ºî¤âÆþ¤Ã¤Æ¤¤¤ë¡£ -¤³¤Î¥Ç¡¼¥¿¤Ë¤Ê¤ó¤é¤«¤Î²Ã¹©¤ò»Ü¤¹Æ°ºî¤ÎÃæ¤Ë¤Ï -¿ô³ØŪ¤Ê±é»»¤ò¹Ô¤Ê¤¦Æ°ºî¤â´Þ¤Þ¤ì¤Æ¤¤¤ë¡£ -°Ê¸å¡¢¥Ç¡¼¥¿¤Ë¤Ê¤ó¤é¤«¤Î²Ã¹©¤ò»Ü¤¹Æ°ºî¤Î¤³¤È¤ò·×»»¤È¸Æ¤Ö¤³¤È¤Ë¤¹¤ë¡£ - \section{OpenXM ¤Î·×»»¤Î¿Ê¹ÔÊýË¡} OpenXM ¤Ë¤ª¤±¤ë·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Î¤³¤È¤Ç¤¢¤ë¡£´û¤Ë·×»»¥â¥Ç¥ë¤ÎÀá @@ -129,7 +127,7 @@ OX\_COMMAND ¤Ç¤¢¤ì¤Ð¥á¥Ã¥»¡¼¥¸¤Î¥Ü¥Ç¥£¤«¤é¥¹¥¿¥Ã¥¯¥Þ¥· ¾å¤ÎÀâÌÀ¤Ç¤ï¤«¤ë¤è¤¦¤Ë¡¢¥µ¡¼¥Ð¤Ï¥¯¥é¥¤¥¢¥ó¥È¤«¤é¤Î»Ø¼¨¤Ê¤·¤Ë¡¢¼«¤é¥á¥Ã¥»¡¼ ¥¸¤òÁ÷¤ë¤³¤È¤Ï¤Ê¤¤(Îã³°? ox\_asir ¤Î mathcap)¡£ -{\Huge °Ê²¼¡¢½ñ¤­Ä¾¤·¤Æ¤Í¡¢Åļ·¯} +{\Huge °Ê²¼¡¢½ñ¤­Ä¾¤·} % ¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ø¤Ê¤ó¤é¤«¤Î·×»»¤ò¹Ô¤Ê¤ï¤»¤ë¾ì¹ç¡¢