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 |