version 1.23, 1999/12/20 13:00:21 |
version 1.25, 1999/12/20 15:01:17 |
|
|
|
|
\title{\bf Open XM($B%?%$%H%kL$Dj(B)} |
\title{\bf Open XM($B%?%$%H%kL$Dj(B)} |
\author{ |
\author{ |
Maekawa, Masahide (Oct., 1999 -- : CVS server) \\ |
%Maekawa, Masahide (Oct., 1999 -- : CVS server) \\ |
Noro, Masayuki (Jan., 1996 -- : OpenXM Protocol, asir99) \\ |
$BA0@n(B $B$^$5$R$G(B, |
Ohara, Katsuyoshi (Jan., 1998 -- : ox\_math) \\ |
%$B",4A;zD4$YCf!#(B commit $B8+$?$i65$($F$M!#$I$&$;L@F|J9$1$k$1$I!#(B |
Okutani, Yukio (Oct., 1999 -- : asir contrib) \\ |
%Noro, Masayuki (Jan., 1996 -- : OpenXM Protocol, asir99) \\ |
Takayama, Nobuki (Jan., 1996 -- : OpenXM Protocol, kan) \\ |
$BLnO$(B $B@59T(B, |
Tamura, Yasushi (Nov., 1998 -- : OpenMath proxy) \\ |
%Ohara, Katsuyoshi (Jan., 1998 -- : ox\_math) \\ |
|
$B>.86(B $B8yG$(B, \\ |
|
%Okutani, Yukio (Oct., 1999 -- : asir contrib) \\ |
|
$B1|C+(B $B9,IW(B, |
|
%Takayama, Nobuki (Jan., 1996 -- : OpenXM Protocol, kan) \\ |
|
$B9b;3(B $B?.5#(B, |
|
%Tamura, Yasushi (Nov., 1998 -- : OpenMath proxy) \\ |
|
$BEDB<(B $B63;N(B |
} |
} |
\date{1999$BG/(B11$B7n(B25$BF|(B} |
\date{1999$BG/(B11$B7n(B25$BF|(B} |
|
|
Line 30 OpenXM $B$H$O(B Open message eXchange protocol for M |
|
Line 37 OpenXM $B$H$O(B Open message eXchange protocol for M |
|
|
|
$BH/C<$H$J$C$?(B asir $B$H(B kan/sm1 $B$G$N<BAu;~$K$O!"(B |
$BH/C<$H$J$C$?(B asir $B$H(B kan/sm1 $B$G$N<BAu;~$K$O!"(B |
$B$*8_$$$KAj<jB&$N%3%^%s%IJ8;zNs$rAw$C$F$$$?!#(B |
$B$*8_$$$KAj<jB&$N%3%^%s%IJ8;zNs$rAw$C$F$$$?!#(B |
$B$3$NJ}K!$O8=:_$N(B OpenXM $B5,Ls$G$b2DG=$G$"$j!"(B |
$B$3$NJ}K!$O8=:_$N(B OpenXM $B5,Ls$G$b7A$rJQ$($F2DG=$G$O$"$k$,!"(B |
|
$B;H$$$d$9$$H?LL!"8zN(E*$G$"$k$H$O$$$$Fq$$!#(B |
$B;H$$$d$9$/$O$"$k$,!"8zN(E*$G$"$k$H$O$$$$Fq$$!#(B |
|
$B$5$i$K!"$3$NJ}K!$G$OAj<jB&$N%=%U%H$,(B asir $B$J$N$+(B kan/sm1 $B$J$N$+$r(B |
$B$5$i$K!"$3$NJ}K!$G$OAj<jB&$N%=%U%H$,(B asir $B$J$N$+(B kan/sm1 $B$J$N$+$r(B |
$BH=JL$7$F!"Aj<jB&$K9g$o$;$F%3%^%s%IJ8;zNs$r:n@.$9$kI,MW$,$"$k!#(B |
$BH=JL$7$F!"Aj<jB&$K9g$o$;$F%3%^%s%IJ8;zNs$r:n@.$9$kI,MW$,$"$k!#(B |
|
|
$B$3$l0J30$NJ}K!$H$7$F!"(B |
$B$3$l0J30$NJ}K!$H$7$F!"(B |
|
OpenXM $B5,Ls$G$O6&DLI=8=7A<0$K$h$k%a%C%;!<%8$bMQ0U$7$F$$$k!#(B |
OpenXM $B5,Ls$G$O6&DLI=8=7A<0$K$h$k%a%C%;!<%8$rMQ0U$7$F$$$k!#(B |
|
|
|
OpenXM $B5,LsFH<+$N%G!<%?7A<0$G$"$k(B CMO $B7A<0(B(Common Mathematical Object format) |
OpenXM $B5,LsFH<+$N%G!<%?7A<0$G$"$k(B CMO $B7A<0(B(Common Mathematical Object format) |
$B0J30$K$b!"(B MP $B$d(B OpenMath $B$N(B XML, binary $BI=8=7A<0$H$$$C$?B>$N7A<0$r$b(B |
$B0J30$K$b!"(B MP $B$d(B OpenMath $B$N(B XML, binary $BI=8=7A<0$H$$$C$?B>$N7A<0$r$b(B |
$B07$($k$h$&$K$7$F$"$k!#(B |
$B07$($k$h$&$K$7$F$"$k!#(B |
|
$B$J$*!"8=:_$N(B OpenXM $B5,Ls$G$O!"(B |
|
$BA0=R$N%3%^%s%IJ8;zNs$b(B CMO $B7A<0$J$I$N2?$i$+$N%G!<%?7A<0$NCf$N(B |
|
$BJ8;zNs$H$7$FI=8=$7$FAw$kI,MW$,$"$k!#(B |
|
|
OpenXM $B5,Ls$G$N%a%C%;!<%8$N8r49$O%5!<%P$H%/%i%$%"%s%H$N4V$G9T$J$o$l$k!#(B |
OpenXM $B5,Ls$G$N%a%C%;!<%8$N8r49$O%5!<%P$H%/%i%$%"%s%H$N4V$G9T$J$o$l$k!#(B |
$B%5!<%P$O%9%?%C%/%^%7%s$G$"$k$H2>Dj$5$l$F$*$j!"(B |
$B%5!<%P$O%9%?%C%/%^%7%s$G$"$k$H2>Dj$5$l$F$*$j!"(B |
Line 55 OpenXM $B$N%a%C%;!<%8$NCf$K$O%5!<%P$K9T$J$o$;$?$$F0:n |
|
Line 62 OpenXM $B$N%a%C%;!<%8$NCf$K$O%5!<%P$K9T$J$o$;$?$$F0:n |
|
|
|
\section{OpenXM $B$N%a%C%;!<%8$N9=B$(B} |
\section{OpenXM $B$N%a%C%;!<%8$N9=B$(B} |
|
|
$BA0@a$G8+$?$h$&$K!"(B OpenXM $B$N%a%C%;!<%8$O(B |
OpenXM $B$N%a%C%;!<%8$OJ#?t$N<oN`$N%G!<%?$rI=8=$9$k$3$H$,2DG=$G$"$k!#(B |
$BJ#?t$N<oN`$N%G!<%?$rI=8=$9$k$3$H$,2DG=$G$"$k!#(B |
|
$B%a%C%;!<%8$,$I$N$h$&$J%G!<%?$J$N$+$O!"(B |
$B%a%C%;!<%8$,$I$N$h$&$J%G!<%?$J$N$+$O!"(B |
$B@hF,$K$"$k(B tag $B$r$_$l$PJ,$+$k$h$&$K$J$C$F$$$k!#(B |
$B@hF,$K$"$k(B tag $B$r$_$l$PJ,$+$k$h$&$K$J$C$F$$$k!#(B |
$B$3$N(B tag $B$r$_$k$3$H$K$h$C$F!"(B |
$B$3$N(B tag $B$r$_$k$3$H$K$h$C$F!"(B |
CMO $B7A<0$d!"(B OpenMath $B$N(B XML $BI=8=$J$I$N!"(B |
CMO $B7A<0$d!"(B OpenMath $B$N(B XML $BI=8=$J$I$N!"(B |
$B%a%C%;!<%8$K4^$^$l$F$$$k%G!<%?$N<oN`$,J,$+$k$h$&$K$J$C$F$$$k!#(B |
$B%a%C%;!<%8$K4^$^$l$F$$$k%G!<%?$N<oN`$,J,$+$k$h$&$K$J$C$F$$$k!#(B |
|
|
|
$B%a%C%;!<%8$NCf$N<B:]$K%G!<%?$NF~$C$F$$$kItJ,$O(B |
|
tag $B0J9_$K$"$k(B body $B$NItJ,$G$"$k!#(B |
|
body $B$NCf$N%G!<%?$,$I$N$h$&$K3JG<$5$l$F$$$k$+$O(B |
|
$B3F%G!<%?7A<0$,$=$l$>$lFHN)$K7h$a$i$l$k$h$&$K$J$C$F$$$k!#(B |
|
$B$b$7!"(B OpenXM $B5,Ls$G%a%C%;!<%8$N$d$j$H$j$r9T$J$$$?$$$,!"(B |
|
$B$^$@5,Ls$GDj5A$5$l$F$$$J$$%G!<%?7A<0$r;H$$$?$$>l9g$O!"(B |
|
tag $B$r$^$@;H$o$l$F$J$5$=$&$JCM(B |
|
($B%7%9%F%`8GM-$NI=8=$N$?$a$K?d>)$5$l$F$$$kCM$,$"$k(B) |
|
$B$K@_Dj$7!"(B body $B$NItJ,$K%G!<%?$rKd$a9~$a$P$h$$!#(B |
|
$B$J$*!"$9$Y$F$N%a%C%;!<%8$K(B body $B$,I,MW$H$$$&$o$1$G$O$J$/!"(B |
|
body $B$N$J$$%a%C%;!<%8$b(B OpenXM $B5,Ls$K$OB8:_$9$k$3$H$K(B |
|
$BCm0U$7$J$1$l$P$J$i$J$$!#(B |
|
|
$B%5!<%P$KBP$9$kF0:n$KBP1~$7$?%G!<%?$O(B SM $B7A<0$H$7$FDj5A$5$l$F$$$k!#(B |
$B%5!<%P$KBP$9$kF0:n$KBP1~$7$?%G!<%?$O(B SM $B7A<0$H$7$FDj5A$5$l$F$$$k!#(B |
SM $B7A<00J30$N%G!<%?$G$O!"%5!<%P$O<u$1<h$C$?%G!<%?$r%9%?%C%/$K@Q$`(B |
SM $B7A<00J30$N%G!<%?$G$O!"%5!<%P$O<u$1<h$C$?%G!<%?$r%9%?%C%/$K@Q$`(B |
$B0J30$NF0:n$r$7$J$$$3$H$K$J$C$F$$$k!#(B |
$B0J30$NF0:n$r$7$J$$$3$H$K$J$C$F$$$k!#(B |
$B$D$^$j!"(B SM $B7A<0$N%G!<%?$,%G!<%?$r<u$1<h$k0J30$NF0:n$r(B |
$B$D$^$j!"(B SM $B7A<0$N%G!<%?$,%G!<%?$r<u$1<h$k0J30$NF0:n$r(B |
$B%5!<%P$K9T$J$o$;$kM#0l$N%G!<%?7A<0$G$"$k!#(B |
$B%5!<%P$K9T$J$o$;$kM#0l$N%G!<%?7A<0$G$"$k!#(B |
$B$3$N%G!<%?$r<u$1<h$k0J30$NF0:n$K$O!"(B |
$B$3$N%G!<%?$r<u$1<h$k0J30$NF0:n$NCf$K$O!"(B |
$B%G!<%?$K$J$s$i$+$N2C9)$r;\$9F0:n$bF~$C$F$$$k!#(B |
$B%G!<%?$K$J$s$i$+$N2C9)$r;\$9F0:n$bF~$C$F$$$k!#(B |
$B$b$A$m$s?t3XE*$J1i;;$r9T$J$&F0:n$b!"(B |
$B$3$N%G!<%?$K$J$s$i$+$N2C9)$r;\$9F0:n$NCf$K$O(B |
$B$3$N%G!<%?$K$J$s$i$+$N2C9)$r;\$9F0:n$K4^$^$l$F$$$k!#(B |
$B?t3XE*$J1i;;$r9T$J$&F0:n$b4^$^$l$F$$$k!#(B |
$B0J8e!"%G!<%?$K$J$s$i$+$N2C9)$r;\$9F0:n$N$3$H$r7W;;$H8F$V!#(B |
$B0J8e!"%G!<%?$K$J$s$i$+$N2C9)$r;\$9F0:n$N$3$H$r7W;;$H8F$V$3$H$K$9$k!#(B |
|
|
|
|
\section{OpenXM $B$N7W;;$N?J9TJ}K!(B} |
\section{OpenXM $B$N7W;;$N?J9TJ}K!(B} |