| version 1.2, 2000/01/24 07:36:35 |
version 1.3, 2000/09/09 21:59:13 |
|
|
| %% $OpenXM: OpenXM/doc/OpenXM-specs/introduction.tex,v 1.1.1.1 2000/01/20 08:52:46 noro Exp $ |
%% $OpenXM: OpenXM/doc/OpenXM-specs/introduction.tex,v 1.2 2000/01/24 07:36:35 noro Exp $ |
| //&jp \section{¤Ï¤¸¤á¤Ë} |
//&jp \section{¤Ï¤¸¤á¤Ë} |
| //&eg \section{Introduction} |
//&eg \section{Introduction} |
| |
|
| Line 22 OpenXM ¿ô³Ø¥½¥Õ¥È¥Ñ¥Ã¥±¡¼¥¸¥×¥í¥¸¥§¥¯¥È¤Ë |
|
| Line 22 OpenXM ¿ô³Ø¥½¥Õ¥È¥Ñ¥Ã¥±¡¼¥¸¥×¥í¥¸¥§¥¯¥È¤Ë |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| OpenXM is a free, or Open Source, infrastructure for mathematical |
OpenXM is a free, or Open Source, infrastructure for mathematical |
| softwares. |
software systems. |
| It provides methods and protocols |
It provides methods and protocols |
| for interactive distributed computation and |
for interactive distributed computation and |
| for integrating mathematical softwares. |
for integrating mathematical software systems. |
| OpenXM package is a set of softwares that supports OpenXM protocols. |
OpenXM package is a set of software systems that support OpenXM protocols. |
| It is currently a collection of softwares |
It is currently a collection of softwares |
| {\tt Risa/Asir} \cite{asir}, {\tt Kan/sm1} \cite{kan}, {\tt PHC} pack \cite{phc} |
{\tt Risa/Asir} \cite{asir}, {\tt Kan/sm1} \cite{kan}, {\tt PHC} pack \cite{phc} |
| , {\tt GNUPLOT}, |
, {\tt GNUPLOT}, |
| Line 59 OpenXM ¤Ï¤Ê¤Ë¤â¹Í¤¨¤º¤Ë´Êñ¤ËÀܳ¤Ç¤¤ë¥·¥¹¥Æ¥à¤òºî¤í¤ |
|
| Line 59 OpenXM ¤Ï¤Ê¤Ë¤â¹Í¤¨¤º¤Ë´Êñ¤ËÀܳ¤Ç¤¤ë¥·¥¹¥Æ¥à¤òºî¤í¤ |
|
| |
|
| /*&eg |
/*&eg |
| We have been profited from increasing number |
We have been profited from increasing number |
| of mathematical softwares. |
of mathematical software systems. |
| These are usually ``expert'' systems in one area of mathematics |
These are usually ``expert'' systems in one area of mathematics |
| such as ideals, groups, numbers, polytopes, and so on. |
such as ideals, groups, numbers, polytopes, and so on. |
| They have their own interfaces and data formats, |
They have their own interfaces and data formats, |
| which are fine for intensive users of these systems. |
which are fine for intensive users of these systems. |
| However, a unified system will be more convenient |
However, a unified system will be more convenient |
| for users who want to explore a new area of mathematics with these |
for users who want to explore a new area of mathematics with these |
| softwares or users who need these systems only occasionally. |
software systems or users who need these systems only occasionally. |
| |
It is also wonderful for developpers to have various software components |
| |
that can be used from the target system. |
| |
|
| OpenXM provides not only data representation and communication protocols |
OpenXM provides not only data representation and communication protocols |
| but also programming guidelines to develop cooperative applications. |
but also programming guidelines to develop cooperative applications. |
| Line 112 SM ÁØ¤Ï (¥¹¥¿¥Ã¥¯¥Þ¥·¥ó)¥µ¡¼¥Ð¤òÀ©¸æ¤¹¤ë¤¿¤á¤ÎÌ¿Îá¤Î |
|
| Line 114 SM ÁØ¤Ï (¥¹¥¿¥Ã¥¯¥Þ¥·¥ó)¥µ¡¼¥Ð¤òÀ©¸æ¤¹¤ë¤¿¤á¤ÎÌ¿Îá¤Î |
|
| ¤¢¤Ä¤Þ¤ê¤Ç¤¢¤ê, ¥µ¡¼¥Ð¤ÏÈóƱ´üŪ¤ËÆ°ºî¤µ¤»¤ë¤³¤È¤¬²Äǽ¤Ç¤¢¤ë. |
¤¢¤Ä¤Þ¤ê¤Ç¤¢¤ê, ¥µ¡¼¥Ð¤ÏÈóƱ´üŪ¤ËÆ°ºî¤µ¤»¤ë¤³¤È¤¬²Äǽ¤Ç¤¢¤ë. |
| ½ÀÆðÀ¤¬¹â¤¤¤Î¤Ç, IMC ¤Ê¤É¤Î¥ê¥â¡¼¥È¥×¥í¥·¡¼¥¸¥ã¥³¡¼¥ë·Ï¤Î |
½ÀÆðÀ¤¬¹â¤¤¤Î¤Ç, IMC ¤Ê¤É¤Î¥ê¥â¡¼¥È¥×¥í¥·¡¼¥¸¥ã¥³¡¼¥ë·Ï¤Î |
| ¥×¥í¥È¥³¥ë¤â¥¨¥ß¥å¥ì¡¼¥È¤Ç¤¤ë. |
¥×¥í¥È¥³¥ë¤â¥¨¥ß¥å¥ì¡¼¥È¤Ç¤¤ë. |
| |
OX ¥á¥Ã¥»¡¼¥¸¤Ï DTD ¤òÍѤ¤¤ÆÄêµÁ²Äǽ¤Ç¤¢¤ê, XML ¤òÍѤ¤¤Æ |
| |
µ½Ò¤Ç¤¤ë. |
| */ |
*/ |
| /*&eg |
/*&eg |
| In OpenXM, communication is an exchange of messages. |
In OpenXM, communication is an exchange of messages. |
| Line 122 mathematical data. We use standards of mathematical d |
|
| Line 126 mathematical data. We use standards of mathematical d |
|
| as OpenMath and MP as well as our own data format {\it CMO} ({\it |
as OpenMath and MP as well as our own data format {\it CMO} ({\it |
| Common Mathematical Object format}). Servers, which provide services |
Common Mathematical Object format}). Servers, which provide services |
| to other processes, are stack machines. The stack machine is called |
to other processes, are stack machines. The stack machine is called |
| the {\it OX stack machine}. Existing mathematical softwares are |
the {\it OX stack machine}. Existing mathematical software systems are |
| wrapped with this stack machine. OX stack machines work in the |
wrapped with this stack machine. OX stack machines work in the |
| asynchronous mode which is similar to X servers. That is, OpenXM |
asynchronous mode which is similar to X servers. That is, OpenXM |
| server won't send messages to the client unless it is requested |
server won't send messages to the client unless it is requested |
| to send them. It is also possible to emulate RPC and a web server for MCP |
to send them. It is also possible to emulate RPC and a web server for MCP |
| \cite{iamc} on our asynchronous OX stack machines. |
\cite{iamc} on our asynchronous OX stack machines. |
| |
OX messages can be defined by DTD and be expressed by XML. |
| |
We call it OpenXM/XML. |
| */ |
*/ |
| /*&jp |
/*&jp |
| OpenXM ¤Ë½àµò¤·¤¿¥·¥¹¥Æ¥à xxx ¤ò, open xxx ¤È¤è¤Ö. |
OpenXM ¤Ë½àµò¤·¤¿¥·¥¹¥Æ¥à xxx ¤ò, open xxx ¤È¤è¤Ö. |
| Line 135 OpenXM ¤Ë½àµò¤·¤¿¥·¥¹¥Æ¥à xxx ¤ò, open xxx ¤È¤è¤Ö. |
|
| Line 141 OpenXM ¤Ë½àµò¤·¤¿¥·¥¹¥Æ¥à xxx ¤ò, open xxx ¤È¤è¤Ö. |
|
| OpenXM Âбþ¤Î kan/sm1 ¤Ï open sm1 ¤Ç¤¢¤ë. |
OpenXM Âбþ¤Î kan/sm1 ¤Ï open sm1 ¤Ç¤¢¤ë. |
| */ |
*/ |
| /*&eg |
/*&eg |
| A system xxx conforming to OpenXM is called open xxx. |
A system xxx complient to the OpenXM protocol is called open xxx. |
| For example Asir conforming to OpenXM is called open Asir, and |
For example Asir complient to the OpenXM protocol is called open Asir, and |
| kan/sm1 conforming to OpenXM is called open sm1. |
kan/sm1 complient to the OpenXM protocol is called open sm1. |
| */ |
*/ |
| |
|
| /*&jp |
/*&jp |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to introduction.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / OpenXM-specs