version 1.13, 1999/12/19 15:02:37 |
version 1.16, 1999/12/19 18:05:34 |
Line 41 OpenXM $B5,LsFH<+$N%G!<%?7A<0$G$"$k(B CMO $B7A<0(B |
|
Line 41 OpenXM $B5,LsFH<+$N%G!<%?7A<0$G$"$k(B CMO $B7A<0(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 |
$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 |
|
|
|
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%/$r;}$C$F$$$k$H2>Dj$5$l$F$*$j!"(B |
|
$B%5!<%P$,%/%i%$%"%s%H$+$i<u$1<h$C$?%a%C%;!<%8$O$9$Y$F%9%?%C%/$K@Q$^$l$k!#(B |
|
OpenXM $B$N%a%C%;!<%8$NCf$K$O%5!<%P$K9T$J$o$;$?$$F0:n$KBP1~$9$k%G!<%?$,$"$j!"(B |
|
$B$3$N%a%C%;!<%8$r<u$1<h$C$?%5!<%P$O$=$l$KBP1~$9$kF0:n$r(B |
|
$B9T$J$&$3$H$,4|BT$5$l$F$$$k!#(B |
|
$B$?$@$7!"%5!<%P$OL?Na$5$l$J$$8B$j2?$bF0:n$r9T$J$*$&$H$O$7$J$$!#(B |
|
|
|
|
\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 |
$BA0@a$G8+$?$h$&$K!"(B OpenXM $B$N%a%C%;!<%8$O(B |
Line 51 OpenXM $B5,LsFH<+$N%G!<%?7A<0$G$"$k(B CMO $B7A<0(B |
|
Line 59 OpenXM $B5,LsFH<+$N%G!<%?7A<0$G$"$k(B CMO $B7A<0(B |
|
$B$3$N(B tag $B$r$_$k$3$H$K$h$C$F!"%a%C%;!<%8$K4^$^$l$F$$$k(B |
$B$3$N(B tag $B$r$_$k$3$H$K$h$C$F!"%a%C%;!<%8$K4^$^$l$F$$$k(B |
$B%G!<%?$,(B CMO $B7A<0$J$N$+!"(B OpenMath $B$N(B XML $BI=8=$J$N$+$,(B |
$B%G!<%?$,(B CMO $B7A<0$J$N$+!"(B OpenMath $B$N(B XML $BI=8=$J$N$+$,(B |
$BJ,$+$k$h$&$K$J$C$F$$$k!#(B |
$BJ,$+$k$h$&$K$J$C$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 |
|
$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%5!<%P$K9T$J$o$;$kM#0l$N%G!<%?7A<0$G$"$k!#(B |
|
|
|
|
|
|
|
|
\section{OpenXM $B$N7W;;$N?J9TJ}K!(B} |
\section{OpenXM $B$N7W;;$N?J9TJ}K!(B} |
|
|
OpenXM $B5,Ls$G$N%a%C%;!<%8$N8r49$O%5!<%P$H%/%i%$%"%s%H$N4V$G(B |
$B%/%i%$%"%s%H$,%5!<%P$X$J$s$i$+$N7W;;$r9T$J$o$;$k>l9g!"(B |
$B9T$J$o$l$k!#%/%i%$%"%s%H$+$i%5!<%P$X7W;;$5$;$?$$%G!<%?$r(B |
$B%/%i%$%"%s%H$+$i%5!<%P$X7W;;$5$;$?$$%G!<%?$r%a%C%;!<%8$H$7$FAw$j!"(B |
$B%a%C%;!<%8$H$7$FAw$j!"<!$$$G%5!<%P$K9T$J$o$;$?$$F0:n$K(B |
$B$=$7$F$=$N7k2L$r%5!<%P$+$i%a%C%;!<%8$G<u$1<h$k$3$H$K$h$C$F7W;;$O9T$J$o$l$k!#(B |
$BBP1~$7$?%G!<%?$rAw$k$3$H$K$h$C$F!"7W;;$J$I$N!"$J$s$i$+$NF0:n$r(B |
|
$B%5!<%P$K9T$J$o$;$k!#(B |
|
$B$=$N7k2L$r%5!<%P$+$i%a%C%;!<%8$G<u$1<h$k$3$H$K$h$C$F7W;;$O9T$J$o$l$k!#(B |
|
$B$?$@$7!"%5!<%P$O7k2L$NAw?.$9$i$bL?Na$5$l$J$1$l$P9T$J$&$3$H$O$J$/!"(B |
$B$?$@$7!"%5!<%P$O7k2L$NAw?.$9$i$bL?Na$5$l$J$1$l$P9T$J$&$3$H$O$J$/!"(B |
$B%/%i%$%"%s%H$O7k2L$r<u$1<h$i$:$K%5!<%P$K<!!9$H(B |
$B%/%i%$%"%s%H$O7k2L$r<u$1<h$i$:$K%5!<%P$K<!!9$H(B |
$B7W;;$r9T$J$o$;$k$3$H$b2DG=$G$"$k!#(B |
$B7W;;$r9T$J$o$;$k$3$H$b2DG=$G$"$k!#(B |
$B$J$*!"%5!<%P$KBP$9$kF0:n$KBP1~$7$?%G!<%?$O(B SM $BAX$GDj5A$5$l$F$*$j!"(B |
|
SM $BAX0J30$N%G!<%?$G$O%5!<%P$O%G!<%?$r<u$1<h$k0J30$NF0:n$r(B |
|
$B$7$J$$$3$H$K$J$C$F$$$k!#(B |
|
|
|
$B%5!<%P$O%9%?%C%/$r;}$C$F$$$k$H2>Dj$5$l$F$*$j!"(B |
$B%5!<%P$,%/%i%$%"%s%H$+$i<u$1<h$C$?%a%C%;!<%8$O$9$Y$F%9%?%C%/$K@Q$^$l$k!#(B |
$B<u$1<h$C$?%a%C%;!<%8$O$9$Y$F%9%?%C%/$K@Q$^$l$k!#(B |
$B$?$@$7!"$3$N$^$^$G$O<u$1<h$C$?%a%C%;!<%8$K4^$^$l$k%G!<%?$r(B |
$B$?$@$7!"A0=R$N$H$*$j!"(B SM $BAX$GDj5A$5$l$?%G!<%?$r<u$1<h$C$?>l9g$K$O!"(B |
$B%9%?%C%/$K@Q$_>e$2$F$$$/$@$1$G!"%5!<%P$O7W;;$r9T$J$*$&$H$O$7$J$$!#(B |
$B$=$l$KBP1~$9$kF0:n$r9T$J$&!#(B |
$B<!$$$G%5!<%P$K9T$J$o$;$?$$F0:n$KBP1~$7$?%G!<%?$rAw$k$H!"(B |
$B$3$N$H$-!"I,MW$,$"$l$P%5!<%P$O%9%?%C%/$+$i%G!<%?$r<h$j=P$9!#(B |
$B=i$a$F%5!<%P$O7W;;$J$I$N!"$J$s$i$+$NF0:n$r9T$J$&!#(B |
$B%/%i%$%"%s%H$+$i$NL?Na$K$h$kF0:nCf$K$?$H$(%(%i!<$,H/@8$7$?$H$7$F$b!"(B |
$B$3$N$H$-!"I,MW$,$"$l$P%5!<%P$O%9%?%C%/$+$iI,MW$J$@$1%G!<%?$r<h$j=P$9!#(B |
|
$B$3$3$G!"%/%i%$%"%s%H$+$i$NL?Na$K$h$kF0:nCf$K$?$H$(%(%i!<$,H/@8$7$?$H$7$F$b(B |
$B%5!<%P$O%(%i!<%*%V%8%'%/%H$r%9%?%C%/$K@Q$`$@$1$G!"(B |
$B%5!<%P$O%(%i!<%*%V%8%'%/%H$r%9%?%C%/$K@Q$`$@$1$G!"(B |
$BL@<($5$l$J$$8B$j%(%i!<$rJV$5$J$$$3$H$KCm0U$7$J$1$l$P$J$i$J$$!#(B |
$BL@<($5$l$J$$8B$j%(%i!<$rJV$5$J$$$3$H$KCm0U$7$J$1$l$P$J$i$J$$!#(B |
|
|
$B7k2L$,@8$8$kF0:n$r%5!<%P$,9T$J$C$?>l9g!"(B |
$B7k2L$,@8$8$kF0:n$r%5!<%P$,9T$J$C$?>l9g!"(B |
$B%5!<%P$OF0:n$N7k2L$r%9%?%C%/$K@Q$s$G$$$k!#(B |
$B%5!<%P$OF0:n$N7k2L$r%9%?%C%/$K@Q$s$G$$$k!#(B |
$B%5!<%P$K9T$J$o$;$?F0:n$N7k2L$r%/%i%$%"%s%H$,CN$j$?$$>l9g!"(B |
$B%5!<%P$K9T$J$o$;$?F0:n$N7k2L$r%/%i%$%"%s%H$,CN$j$?$$>l9g!"(B |
$B%9%?%C%/$+$i%G!<%?$r<h$j=P$7Aw?.$r9T$J$&L?Na$KBP1~$7$?(B SM $BAX$N%G!<%?$r(B |
$B%9%?%C%/$+$i%G!<%?$r<h$j=P$7Aw?.$r9T$J$&L?Na$KBP1~$7$?(B SM $B7A<0$N%G!<%?$r(B |
$B%5!<%PB&$XAw$l$P$h$$!#(B |
$B%5!<%PB&$XAw$l$P$h$$!#(B |
|
|
$B%/%i%$%"%s%H$,%5!<%P$X7W;;$r9T$J$o$;!"7k2L$rF@$k$H$$$&<j=g$rDI$C$F$$$/$H!"(B |
$B%/%i%$%"%s%H$,%5!<%P$X7W;;$r9T$J$o$;!"7k2L$rF@$k$H$$$&<j=g$rDI$C$F$$$/$H!"(B |
Line 103 SM $BAX0J30$N%G!<%?$G$O%5!<%P$O%G!<%?$r<u$1<h$k0J30$N |
|
Line 109 SM $BAX0J30$N%G!<%?$G$O%5!<%P$O%G!<%?$r<u$1<h$k0J30$N |
|
\section{CMO $B$N%G!<%?9=B$(B} |
\section{CMO $B$N%G!<%?9=B$(B} |
|
|
OpenXM $B4V$G$d$j$H$j$5$l$k%a%C%;!<%8$r<B:]$K:n@.$9$k>l9g!"(B |
OpenXM $B4V$G$d$j$H$j$5$l$k%a%C%;!<%8$r<B:]$K:n@.$9$k>l9g!"(B |
CMO $BAX$GDj5A$5$l$F$$$kB?G\D9@0?t$rM}2r$7$F$*$/$H!"(B |
CMO $B7A<0$GDj5A$5$l$F$$$kB?G\D9@0?t$rM}2r$7$F$*$/$H!"(B |
CMO $BAX$NB>$N%G!<%?9=B$$@$1$G$J$/!"(B OX $BAX!"(B SM $BAX$N%G!<%?$r(B |
CMO $B7A<0$NB>$N%G!<%?9=B$$@$1$G$J$/!"(B OX $B7A<0!"(B SM $B7A<0$N%G!<%?$r(B |
$BM}2r$9$k=u$1$K$J$k$H;W$($k$N$G!"(B CMO $BAX$NB?G\D9@0?t$N(B |
$BM}2r$9$k=u$1$K$J$k$H;W$($k$N$G!"(B CMO $BAX$NB?G\D9@0?t$N(B |
$B%G!<%?9=B$$K$D$$$F@bL@$9$k!#(B |
$B%G!<%?9=B$$K$D$$$F@bL@$9$k!#(B |
|
|