[BACK]Return to rims-2003-12-16-ja-ohp.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc / Papers

Diff for /OpenXM/doc/Papers/rims-2003-12-16-ja-ohp.tex between version 1.9 and 1.10

version 1.9, 2003/12/12 08:34:10 version 1.10, 2003/12/13 02:09:30
Line 1 
Line 1 
 % $OpenXM: OpenXM/doc/Papers/rims-2003-12-16-ja-ohp.tex,v 1.8 2003/12/12 06:07:02 noro Exp $  % $OpenXM: OpenXM/doc/Papers/rims-2003-12-16-ja-ohp.tex,v 1.9 2003/12/12 08:34:10 noro Exp $
 %% xdvi -paper a4r rims-2003-12-16-ja-ohp  %% xdvi -paper a4r rims-2003-12-16-ja-ohp
 %% dvips -f -t landscape  rims-2003-12-16-ja-ohp| psnup -8 -r | lpr -Pxerox6  %% dvips -f -t landscape  rims-2003-12-16-ja-ohp| psnup -8 -r | lpr -Pxerox6
 %% dvipdfm -l rims-2003-12-16-ja-ohp  %% dvipdfm -l rims-2003-12-16-ja-ohp
Line 21 
Line 21 
 \def\nnn{ {\color{red} $\bullet$}\ }    %% $B;v<B(B  \def\nnn{ {\color{red} $\bullet$}\ }    %% $B;v<B(B
 \def\eee{ {\color{magenta} Example}:\ } %% $BNc(B  \def\eee{ {\color{magenta} Example}:\ } %% $BNc(B
 \def\ttt{ {\color{red} $\bullet$}\ }   %% $BDjM}(B  \def\ttt{ {\color{red} $\bullet$}\ }   %% $BDjM}(B
   \def\ppp{ {\color{blue} $\bullet$}\ }
   
 \def\pagetitle#1{ \fbox{{\color{magenta} #1 }}}  \def\pagetitle#1{ \fbox{{\color{magenta} #1 }}}
   
Line 56 
Line 57 
 \end{enumerate}  \end{enumerate}
 \newpage  \newpage
   
   %C OpenXM $B$O(B ... $B$NN,$G$3$3$K=q$$$F$"$k$h$&$J$3$H$rL\I8$K?tG/A0$+$i(B
   %C $B%Q%C%1!<%8$N3+H/(B, $B%W%m%H%3%k$N3+H/$r$7$F$$$^$9(B.
 \noindent  \quad \\  \noindent  \quad \\
 \nnn $B?t3X$G$NJBNs7W;;(B,  \\  \ppp $B?t3X$G$NJBNs7W;;(B,  \\
 \nnn $B?t3X%=%U%H%&%(%"$NE}9g2=(B $B$^$?$O(B Conglomerate $B2=(B (A.Solomon) \\  \ppp $B?t3X%=%U%H%&%(%"$NE}9g2=(B $B$^$?$O(B Conglomerate $B2=(B (A.Solomon) \\
 \nnn $B?t3XE*CN<1$N%^%M!<%8%a%s%H(B (Mathematical Knowledge Management) \\  \ppp $B?t3XE*CN<1$N%^%M!<%8%a%s%H(B (Mathematical Knowledge Management) \\
 \nnn $B<B:]$K?t3X$N8&5f$d?t3X$N1~MQ$K;H$($k%Q%C%1!<%8$N3+H/(B  \ppp $B<B:]$K?t3X$N8&5f$d?t3X$N1~MQ$K;H$($k%Q%C%1!<%8$N3+H/(B
   
 \noindent  \quad \\  \noindent  \quad \\
 \nnn OpenXM 1.1.1 (January 24, 2000): $B:G=i$N<B83HG(B. \\  \nnn OpenXM 1.1.1 (January 24, 2000): $B:G=i$N<B83HG(B. \\
Line 100  $\Rightarrow$ {\color{red} ox\_ntl}
Line 103  $\Rightarrow$ {\color{red} ox\_ntl}
 \end{verbatim}  \end{verbatim}
 }  }
   
 $B<BAu$K$h$jL@$i$+$K$J$C$?$3$H(B: \\  $B<BAu$K$h$jL@$i$+$K$J$C$?$3$H(B: \quad ox\_toolkit $B$NM-8z@-(B,
 ox\_toolkit $B$NLdBjE@$N2~A1(B, LLL $B$r$h$V$?$a$K(B CMO array $B$bI,MW(B.  ox\_toolkit $B$NLdBjE@$N2~A1(B, LLL $B$r$h$V$?$a$K(B CMO array $B$bI,MW(B.
   
 \rightline{$B3+H/(B: $B4d:,(B ($B>.86(B)}  \rightline{$B3+H/(B: $B4d:,(B ($B>.86(B)}
Line 149  FACETS
Line 152  FACETS
 \newpage  \newpage
   
 \pagetitle{ Polymake $B$N(B OX 100, 101 $B%5!<%P2=$G2?$,LdBj$G$"$C$?$+(B?}  \pagetitle{ Polymake $B$N(B OX 100, 101 $B%5!<%P2=$G2?$,LdBj$G$"$C$?$+(B?}
 %todo OX 100 $B$N35N,$,I,MW$+(B?  %C $B>\$7$$$3$H$O$3$3$K=q$$$F$k$3$H$rFI$s$G$b$i$&$3$H$K$7$F(B, $B0l8@$G$$$($P(B
   %C C $B$N30It%W%m%0%i%`8F$S=P$7%7%9%F%`%3!<%k(B system $B$N5!G=$r6/2=$7$h$&$H$$$&$3$H(B
   
 $B?7$7$$(B OX RFC 100 $B=`5r$N%5!<%P$r:n$k>l9g$K$O(B  $B?7$7$$(B OX RFC 100 $B=`5r$N%5!<%P$r:n$k>l9g$K$O(B
 $B%?!<%2%C%H$H$9$k?t3X%=%U%H%&%(%"%7%9%F%`$N%=!<%9%3!<%I$K(B OX RFC 100 $BBP1~ItJ,(B  $B%?!<%2%C%H$H$9$k?t3X%=%U%H%&%(%"%7%9%F%`$N%=!<%9%3!<%I$K(B OX RFC 100 $BBP1~ItJ,(B
Line 164  unix $B$N(B shell ($B$d(B Windows $B$N%3%^%s%I%W%
Line 168  unix $B$N(B shell ($B$d(B Windows $B$N%3%^%s%I%W%
 $B$+$iMxMQ2DG=$J$h$&$K:n$i$l$F$$$k(B: {\color{red} $B%P%C%A=hM}BP1~%"%W%j%1!<%7%g%s(B}.  $B$+$iMxMQ2DG=$J$h$&$K:n$i$l$F$$$k(B: {\color{red} $B%P%C%A=hM}BP1~%"%W%j%1!<%7%g%s(B}.
 $B%5!<%P$H$NDL?.$NIQEY$OLdBj$K$h$k$,$"$kDxEYBg$-$$7W;;$N>l9g$ODL?.;~4V$OL5;k$G$-$k(B.  $B%5!<%P$H$NDL?.$NIQEY$OLdBj$K$h$k$,$"$kDxEYBg$-$$7W;;$N>l9g$ODL?.;~4V$OL5;k$G$-$k(B.
 Polymake $B$OBPOCE*MxMQ$OA[Dj$7$F$*$i$:%5!<%P$N7W;;$rCfCG$7$F(B, $B:FEY3+;O$9$k$J$I$NI,MW$,$J$$(B.  Polymake $B$OBPOCE*MxMQ$OA[Dj$7$F$*$i$:%5!<%P$N7W;;$rCfCG$7$F(B, $B:FEY3+;O$9$k$J$I$NI,MW$,$J$$(B.
   $\Rightarrow$ {\tt system} $B4X?t(B. $BLdBjE@(B: $B%U%!%$%k(B, OS $B$N0c$$(B, $B%W%m%;%94IM}(B
 $\Rightarrow$ {\tt system} $B$N6/2=HG(B {\color{blue} oxshell}  $\Rightarrow$ {\tt system} $B$N6/2=HG(B {\color{blue} oxshell}
 \newpage  \newpage
   
Line 196  Oxshell $B$rMQ$$$F(B OX $B%5!<%P$r<B8=$9$k$N$,E,@Z$
Line 201  Oxshell $B$rMQ$$$F(B OX $B%5!<%P$r<B8=$9$k$N$,E,@Z$
 ($BC1=c;E;v(B, $B$7$+$7(B,  ZPG $B$N6KCW(B; unix $B$H(B windows $B0c$$(B,  ($BC1=c;E;v(B, $B$7$+$7(B,  ZPG $B$N6KCW(B; unix $B$H(B windows $B0c$$(B,
 /bin/sh $B$NB8:_(B, $B%W%m%0%i%`$,BgJQFI$_$K$/$/J]<i$b$7$K$/$$(B)  /bin/sh $B$NB8:_(B, $B%W%m%0%i%`$,BgJQFI$_$K$/$/J]<i$b$7$K$/$$(B)
   
   %C $B%"%$%G%#%"$O0l8@$G$$$($P<!$N0l9T$N$_(B.
 {\tt oxshell} $B$G$O$3$N;E;v$O<!$N(B 1 $B9T$G=q$/(B. \\  {\tt oxshell} $B$G$O$3$N;E;v$O<!$N(B 1 $B9T$G=q$/(B. \\
 {\color{red} \verb@[(polymake) (stringInOut://$B%9%?%C%/%^%7%sJQ?tL>(B.poly) $BF0:n(B] oxshell@}\\  {\color{red} \verb@[(polymake) (stringInOut://$B%9%?%C%/%^%7%sJQ?tL>(B.poly) $BF0:n(B] oxshell@}\\
 $B%9%?%C%/%^%7%s$NJQ?t$r%U%!%$%k$r$_$J$7$F$$$k(B.  $B%9%?%C%/%^%7%s$NJQ?t$r%U%!%$%k$r$_$J$7$F$$$k(B.
Line 204  Oxshell $B$rMQ$$$F(B OX $B%5!<%P$r<B8=$9$k$N$,E,@Z$
Line 210  Oxshell $B$rMQ$$$F(B OX $B%5!<%P$r<B8=$9$k$N$,E,@Z$
 $BNc(B: Java $B$N(B io.StringReader ( io.InputStreamReader $B$NBe$o$j(B). \\  $BNc(B: Java $B$N(B io.StringReader ( io.InputStreamReader $B$NBe$o$j(B). \\
 $BNc(B: $B%9%/%j%W%H8@8l$G$"$k(B Python  $BNc(B: $B%9%/%j%W%H8@8l$G$"$k(B Python
   \verb@ x=os.popen("abc","r").read(); @    \verb@ x=os.popen("abc","r").read(); @
   %C netscape $B$N(B plugin $B$J$I$bFbItE*$K$O;w$?%"%$%G%#%"$rMQ$$$F$$$k$H;W$o$l$k(B.
   
 \noindent  \noindent
 {\color{blue} $B?7$7$$ItJ,(B}:  {\color{blue} $B?7$7$$ItJ,(B}:
Line 231  lion
Line 238  lion
   
 \pagetitle{ oxshell.facets() $B$N<BAu(B, $B?t3X4X?t$N<BAuNc(B }  \pagetitle{ oxshell.facets() $B$N<BAu(B, $B?t3X4X?t$N<BAuNc(B }
   
   %C $B$b$&0l$D$N%]%$%s%H$O(B tfb, OpenMath $B$NM-8z@-$N<B>Z(B.
   %C $BEv$jA0$@$,L5$/$F$O$J$i$J$$8&5f$@$C$?(B.
 \nnn $B%G!<%?JQ49$K$O(B tfb/2 ($BEDB<(B)format $B$rMxMQ(B, OpenMath $B%"!<%-%F%/%A%c$rMxMQ(B.  \nnn $B%G!<%?JQ49$K$O(B tfb/2 ($BEDB<(B)format $B$rMxMQ(B, OpenMath $B%"!<%-%F%/%A%c$rMxMQ(B.
 {\color{blue}$B@.2L(B}: $B$=$NM-8z@-$r<B>Z$G$-$?(B.)  {\color{blue}$B@.2L(B}: $B$=$NM-8z@-$r<B>Z$G$-$?(B.)
 %% $B$3$l$b?7$7$$E@$G$"$m$&(B.  %% $B$3$l$b?7$7$$E@$G$"$m$&(B.
Line 242  lion
Line 251  lion
   Outputs to stdout and stderr ]    Outputs to stdout and stderr ]
 \end{verbatim} }  \end{verbatim} }
   
   %C $B?t3XE*$K$O<!$NF05!(B.  D-module $B$N7W;;$G(B facet $B$@$;$k(B.
   %C ($B:XF#$`$D$_$N(B) $b$ function $B$r(B polytope algorithm $B$G5a$a$k=i$a$F$N<BAu(B.
 {\color{red} taka\_ahg.b(A,Idx)}(OpenXM/src/asir-contrib/packages/src/taka\_ahg.rr)  {\color{red} taka\_ahg.b(A,Idx)}(OpenXM/src/asir-contrib/packages/src/taka\_ahg.rr)
 oxshell $B$K$h$k(B polymake $B8F$S=P$75!G=$rMQ$$$??t3X4X?t(B.  oxshell $B$K$h$k(B polymake $B8F$S=P$75!G=$rMQ$$$??t3X4X?t(B.
 $B$3$N4X?t$O(B $B9TNs(B {\tt A} $B$KIU?o$7$?(B $BJ}8~(B {\tt Idx} $B$N$"$k(B $b$ $B4X?t$r7W;;$9$k(B.  $B$3$N4X?t$O(B $B9TNs(B {\tt A} $B$KIU?o$7$?(B $BJ}8~(B {\tt Idx} $B$N$"$k(B $b$ $B4X?t$r7W;;$9$k(B.
Line 344  ScaLAPACK $BIw$K(B, $B9TNs$rJ,;6J];}$7$FJBNs7W;;(B
Line 354  ScaLAPACK $BIw$K(B, $B9TNs$rJ,;6J];}$7$FJBNs7W;;(B
 \underline{$B;EMM(B}  \underline{$B;EMM(B}
   
 MPI-2 $B$N(B, $BF0E*%W%m%;%9@8@.(B, $B%W%m%;%9%0%k!<%W4V(B broadcast $B$N;EMM$r(B  MPI-2 $B$N(B, $BF0E*%W%m%;%9@8@.(B, $B%W%m%;%9%0%k!<%W4V(B broadcast $B$N;EMM$r(B
 $B;29M$K$9$k(B  $B;29M$K$9$k(B.  {\tt http://www-unix.mcs.anl.gov/mpi}
   
   \underline{$B?7$7$$E@(B}
   
   OX RFC 100 $B$rA0Ds(B $\Rightarrow$ $B%G!<%?7?$N4IM}$NI,MW$,$J$$(B,
   100 $B$NCfCG%W%m%H%3%k$N3HD%(B,
   $B$J$I(BMPI $B$h$jMF0W$KMxMQ2DG=(B.
   %C $B$^$?(B, $B%7%9%F%`$N@_7W$G4sM?$G$-$J$/$F$b(B, $B<BNc$G$NM-8z@-(B, $B$"$kFCDj$NLdBj$G$N(B
   %C $B@_7W$N2~A1Ey$r9M$($k(B.  $B2f!9$O(B Shoup $B$N(B $B%"%k%4%j%:%`$,8zN(NI$/<BAu$G$-$k(B
   %C $B$3$H$r<($7$?(B.
   
   
 \newpage  \newpage
   
 \noindent  \noindent
Line 427  $\Rightarrow$ $B%G%C%I%m%C%/$K$J$i$J$$(B
Line 448  $\Rightarrow$ $B%G%C%I%m%C%/$K$J$i$J$$(B
   
 \newpage  \newpage
   
   %C $B:YIt$O>JN,(B. $B$"$H$G(B 16 $B8D$N%5!<%P$N<BNc$G@bL@(B.
 \noindent  \noindent
 \pagetitle{reduction $B$N<jB3$-(B}  \pagetitle{reduction $B$N<jB3$-(B}
   
Line 477  reduction $B$N>l9g(B, $B%G!<%?$NN.$l$O5U$K$J$k(B (
Line 499  reduction $B$N>l9g(B, $B%G!<%?$NN.$l$O5U$K$J$k(B (
 $BLp0u$,5U(B)  $BLp0u$,5U(B)
 \newpage  \newpage
   
   %C $B$3$l$O%*%j%8%J%k(B.
 \noindent  \noindent
 \pagetitle{$B%(%i!<=hM}(B}  \pagetitle{$B%(%i!<=hM}(B}
   
Line 590  def d_mul(F1,F2)
Line 613  def d_mul(F1,F2)
 \noindent  \noindent
 \pagetitle{$B<B9TNc(B : $B0lJQ?tB?9`<0$N@Q(B (server $BB&(B; collective)}  \pagetitle{$B<B9TNc(B : $B0lJQ?tB?9`<0$N@Q(B (server $BB&(B; collective)}
 \begin{verbatim}  \begin{verbatim}
 def d_mul_main(Root)  def d_mul_main(Root)   /* Shoup's algorithm */
 {  {
     /* server $B$NAm?t(B, $B<+J,$N(B id $B$rCN$k(B */      /* server $B$NAm?t(B, $B<+J,$N(B id $B$rCN$k(B */
     Id = ox_get_rank_102(); NP = Id[0]; Rank = Id[1];      Id = ox_get_rank_102(); NP = Id[0]; Rank = Id[1];
Legend:
Removed from v.1.9  
changed lines
  Added in v.1.10
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>