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

Diff for /OpenXM/doc/Attic/genkou19991125.tex between version 1.113 and 1.115

version 1.113, 1999/12/28 14:03:30 version 1.115, 1999/12/28 18:47:12
Line 1 
Line 1 
 \documentclass{jarticle}  \documentclass{jarticle}
   
 %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.112 1999/12/28 08:49:03 tam Exp $  %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.114 1999/12/28 14:53:40 tam Exp $
   
 \usepackage{jssac}  \usepackage{jssac}
   
Line 451  OpenXM µ¬Ìó¤Î CMO ·Á¼°¤ÎÄêµÁ¤Ï OpenMath µ¬Ìó¤Î content
Line 451  OpenXM µ¬Ìó¤Î CMO ·Á¼°¤ÎÄêµÁ¤Ï OpenMath µ¬Ìó¤Î content
 ¤Þ¤¿, ¶¦Ḁ̈ǡ¼¥¿·Á¼°¤È¿ô³Ø¥·¥¹¥Æ¥à¸ÇÍ­¤Î¥ª¥Ö¥¸¥§¥¯¥È¤È¤ÎÊÑ´¹¤Ï OpenMath  ¤Þ¤¿, ¶¦Ḁ̈ǡ¼¥¿·Á¼°¤È¿ô³Ø¥·¥¹¥Æ¥à¸ÇÍ­¤Î¥ª¥Ö¥¸¥§¥¯¥È¤È¤ÎÊÑ´¹¤Ï OpenMath
 µ¬Ìó¤Î Phrasebook ¤ÈƱ¤¸¥¢¥¤¥Ç¥¢¤òÍѤ¤¤Æ¤¤¤ë.  µ¬Ìó¤Î Phrasebook ¤ÈƱ¤¸¥¢¥¤¥Ç¥¢¤òÍѤ¤¤Æ¤¤¤ë.
   
   
 \item NetSolve  \item NetSolve
   
 http://www.cs.utk.edu/netsolve/  http://www.cs.utk.edu/netsolve/
Line 462  NetSolve ¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤Îʬ»¶¥·¥¹¥Æ¥à¤Ç¤¢¤ê,
Line 463  NetSolve ¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤Îʬ»¶¥·¥¹¥Æ¥à¤Ç¤¢¤ê,
 ¥¿¥Ù¡¼¥¹ÅªÌò³ä¤ò²Ì¤¿¤¹.  ¤Þ¤¿ Agent ¤Ë¤è¤Ã¤ÆÉé²Ùʬ»¶¤¬²Äǽ¤Ë¤Ê¤ë.  ¸½ºß  ¥¿¥Ù¡¼¥¹ÅªÌò³ä¤ò²Ì¤¿¤¹.  ¤Þ¤¿ Agent ¤Ë¤è¤Ã¤ÆÉé²Ùʬ»¶¤¬²Äǽ¤Ë¤Ê¤ë.  ¸½ºß
 ¤Î NetSolve ¤Ï RPC ¤ò´ðÁäˤ·¤Æ¼ÂÁõ¤µ¤ì¤Æ¤¤¤ë.  ¤Î NetSolve ¤Ï RPC ¤ò´ðÁäˤ·¤Æ¼ÂÁõ¤µ¤ì¤Æ¤¤¤ë.
   
   
 \item MP (Multi Project)  \item MP (Multi Project)
   
 http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html  http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html
   
 ¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤È¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ø¤Î¥¨¥ó¥³¡¼¥Ç¥£¥ó¥°¤ò  ¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤È¥Ð¥¤¥ÈÎó¤Ø¤ÎÊÑ´¹ÊýË¡¤òÄ󶡤¹¤ë¥×¥í¥¸¥§¥¯¥È.
 Ä󶡤¹¤ë¥×¥í¥¸¥§¥¯¥È.  
 ¤³¤Î¥×¥í¥¸¥§¥¯¥È¤Ç¤Ï, ¿ô³Ø¥½¥Õ¥È´Ö¤Ç¿ô³Ø¥Ç¡¼¥¿¤ò¤ä¤ê¤È¤ê¤¹¤ëºÝ¤Î  ¤³¤Î¥×¥í¥¸¥§¥¯¥È¤Ç¤Ï, ¿ô³Ø¥½¥Õ¥È´Ö¤Ç¿ô³Ø¥Ç¡¼¥¿¤ò¤ä¤ê¤È¤ê¤¹¤ëºÝ¤Î
 ÄÌ¿®Ï©¾å¤Ç¤Îɽ¸½ÊýË¡¤òµ¬Äꤷ¤Æ¤¤¤ë.  ¥Ð¥¤¥Ê¥êɽ¸½¤òµ¬Äꤷ¤Æ¤¤¤ë.
 ¤¹¤Ç¤Ë C ¸À¸ì¤Ë¤è¤ë¥é¥¤¥Ö¥é¥ê¤¬¤¢¤ê, Common Lisp ¤Ë¤è¤ë  MP ¤Ï¿ô¼°¤ò¹½Ê¸Ìڤΰì¼ï¤Çɽ¤·¤Æ¤ª¤ê, OpenMath ¤ÈƱÍÍ,
 ¼ÂÁõ¤â¹Ô¤Ê¤ï¤ì¤Æ¤¤¤ë.  °Û¤Ê¤ë¼ïÎà¤Î¿ô¼°½èÍý¥·¥¹¥Æ¥à´Ö¤Ç°Û¤Ê¤ë¥ª¥Ö¥¸¥§¥¯¥È¤Ë¼è¤ê°ã¤¨¤é¤ì¤Ê¤¤¤è¤¦,
 ÄÌ¿®ÊýË¡¤Ë¤Ï´ö¤é¤«¤Î¼«Í³ÅÙ¤¬¤¢¤ê,  ¾ðÊó¤òÉղäǤ­¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë.
 OpenXM ¤ä MPI, MCP(¸å½Ò) ¤ÇÍøÍѤ¹¤ë¤³¤È¤â¹Í¤¨¤é¤ì¤Æ¤¤¤ë.  ¤Þ¤¿, ÊÑ´¹¤µ¤ì¤¿¥Ç¡¼¥¿¤Ï¥Ç¡¼¥¿Ä¹¤¬¾®¤µ¤¯¤Ê¤ë¤è¤¦¹Í褵¤ì¤Æ¤ª¤ê,
   ¥Õ¥¡¥¤¥ë ¤ä TCP/IP Åù¤ËÆɤ߽ñ¤­¤¹¤ë¤³¤È¤¬¹Í¤¨¤é¤ì¤Æ¤¤¤ë.
   ¤·¤«¤·, ¤³¤ì¤é¤Ë¸Â¤é¤º, OpenXM ¤ä MPI, MCP(¸å½Ò) Åù¤ËÍøÍѤ¹¤ë¤³¤È¤â¹Í¤¨¤é¤ì¤ë.
   ¤¹¤Ç¤Ë C ¸À¸ì¤Ë¤è¤ë¥é¥¤¥Ö¥é¥ê¤¬Ä󶡤µ¤ì¤Æ¤ª¤ê,
   GNU Common Lisp ¤Ë¤è¤ë¼ÂÁõ¤â·×²è¤µ¤ì¤Æ¤¤¤ë.
   
   
 \item MCP (Mathematical Computation Protocol)  \item MCP (Mathematical Computation Protocol)
Line 481  OpenXM ¤ä MPI, MCP(¸å½Ò) ¤ÇÍøÍѤ¹¤ë¤³¤È¤â¹Í¤¨¤é¤ì¤Æ¤¤¤
Line 486  OpenXM ¤ä MPI, MCP(¸å½Ò) ¤ÇÍøÍѤ¹¤ë¤³¤È¤â¹Í¤¨¤é¤ì¤Æ¤¤¤
 http://horse.mcs.kent.edu/\~{}pwang/  http://horse.mcs.kent.edu/\~{}pwang/
   
 ¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î HTTP ¤Ë»÷¤¿¥×¥í¥È¥³¥ë.  ¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð  ¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î HTTP ¤Ë»÷¤¿¥×¥í¥È¥³¥ë.  ¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð
 ¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤ª¤ê, ¥Ô¥¢¥Ä¡¼¥Ô¥¢¤Î¥¹¥È¥ê¡¼¥à¥³¥Í¥¯¥·¥ç¥ó¤ò¹Ô¤Ê¤¦.  ¸ò  ¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤ª¤ê,
 ´¹¤ËÍѤ¤¤é¤ì¤ë¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¤Îµ¬Äê¤Ï¤Ê¤¤.  ¤·¤¿¤¬¤Ã¤Æ¿ô³Ø  ¥Ô¥¢¥Ä¡¼¥Ô¥¢¤Î¥¹¥È¥ê¡¼¥à¥³¥Í¥¯¥·¥ç¥ó¤ò
 Åª¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤Ë¤Ï MP ¤ä OpenXM ¤ÇÄê¤á¤é¤ì¤¿¤â¤Î¤òÍøÍѤ¹¤ë.  ¼ÂºÝ, ¿ô  ¹Ô¤Ê¤¦.
 ³Ø¥Ç¡¼¥¿¤Îɽ¸½¤Ë OpenMath ¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, GAP ¤È Axiom ¤Î  ¸ò´¹¤ËÍѤ¤¤é¤ì¤ë¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¤Îµ¬Äê¤Ï¤Ê¤¤. ¤·¤¿¤¬¤Ã¤Æ¿ô³Ø
 ´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë.  ¤³¤Î¾ì¹ç MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë  Åª¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤Ë¤Ï MP ¤ä OpenXM ¤ÇÄê¤á¤é¤ì¤¿¤â¤Î¤òÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤­¤ë.
   ¼ÂºÝ, ¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½¤Ë OpenMath ¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê,
   GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë.
   ¤³¤Î¾ì¹ç MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë
 OpenMath ·Á¼°¤Ç¿ô¼°¤òµ­½Ò¤·¤¿¥Æ¥­¥¹¥È¤Ç¤¢¤ë.  OpenMath ·Á¼°¤Ç¿ô¼°¤òµ­½Ò¤·¤¿¥Æ¥­¥¹¥È¤Ç¤¢¤ë.
   
 \end{itemize}  \end{itemize}

Legend:
Removed from v.1.113  
changed lines
  Added in v.1.115

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