version 1.1, 1999/12/08 05:47:44 |
version 1.2, 1999/12/10 06:58:49 |
|
|
$B<($9(B. |
$B<($9(B. |
|
|
@table @code |
@table @code |
@item 0 |
@item 0 @b{0} |
@b{0} |
|
|
|
$B<B:]$K$O(B 0 $B$r<1JL;R$K$b$DBP>]$OB8:_$7$J$$(B. 0 $B$O(B, C $B$K$*$1$k(B 0 $B%]%$%s%?$K(B |
$B<B:]$K$O(B 0 $B$r<1JL;R$K$b$DBP>]$OB8:_$7$J$$(B. 0 $B$O(B, C $B$K$*$1$k(B 0 $B%]%$%s%?$K(B |
$B$h$jI=8=$5$l$F$$$k(B. $B$7$+$7(B, $BJX59>e(B @b{Asir} $B$N(B @code{type(0)} $B$O(B |
$B$h$jI=8=$5$l$F$$$k(B. $B$7$+$7(B, $BJX59>e(B @b{Asir} $B$N(B @code{type(0)} $B$O(B |
$BCM(B 0 $B$rJV$9(B. |
$BCM(B 0 $B$rJV$9(B. |
|
|
@item 1 |
@item 1 @b{$B?t(B} |
@b{$B?t(B} |
|
|
|
@example |
@example |
1 2/3 14.5 3+2*@@i |
1 2/3 14.5 3+2*@@i |
|
|
|
|
$B?t$O(B, $B$5$i$K$$$/$D$+$N7?$KJ,$1$i$l$k(B. $B$3$l$K$D$$$F$O2<$G=R$Y$k(B. |
$B?t$O(B, $B$5$i$K$$$/$D$+$N7?$KJ,$1$i$l$k(B. $B$3$l$K$D$$$F$O2<$G=R$Y$k(B. |
|
|
@item 2 |
@item 2 @b{$BB?9`<0(B} ($B?t$G$J$$(B) |
@b{$BB?9`<0(B} ($B?t$G$J$$(B) |
|
|
|
@example |
@example |
x afo (2.3*x+y)^10 |
x afo (2.3*x+y)^10 |
Line 46 x afo (2.3*x+y)^10 |
|
Line 43 x afo (2.3*x+y)^10 |
|
1 $BJQ?tB?9`<0$H$7$F9_QQ$N=g$K@0M}$5$l$k(B (@xref{$BJ,;6I=8=B?9`<0(B}). |
1 $BJQ?tB?9`<0$H$7$F9_QQ$N=g$K@0M}$5$l$k(B (@xref{$BJ,;6I=8=B?9`<0(B}). |
$B$3$N;~(B, $B$=$NB?9`<0$K8=$l$k=g=x:GBg$NJQ?t$r(B @b{$B<gJQ?t(B} $B$H8F$V(B. |
$B$3$N;~(B, $B$=$NB?9`<0$K8=$l$k=g=x:GBg$NJQ?t$r(B @b{$B<gJQ?t(B} $B$H8F$V(B. |
|
|
@item 3 |
@item 3 @b{$BM-M}<0(B} ($BB?9`<0$G$J$$(B) |
@b{$BM-M}<0(B} ($BB?9`<0$G$J$$(B) |
|
|
|
@example |
@example |
(x+1)/(y^2-y-x) x/x |
(x+1)/(y^2-y-x) x/x |
Line 57 x afo (2.3*x+y)^10 |
|
Line 53 x afo (2.3*x+y)^10 |
|
$B8B$jLsJ,$O9T$o$l$J$$(B. $B$3$l$O(B, $BB?9`<0$N(B GCD $B1i;;$,6K$a$F=E$$1i;;$G$"$k(B |
$B8B$jLsJ,$O9T$o$l$J$$(B. $B$3$l$O(B, $BB?9`<0$N(B GCD $B1i;;$,6K$a$F=E$$1i;;$G$"$k(B |
$B$?$a$G(B, $BM-M}<0$N1i;;$OCm0U$,I,MW$G$"$k(B. |
$B$?$a$G(B, $BM-M}<0$N1i;;$OCm0U$,I,MW$G$"$k(B. |
|
|
@item 4 |
@item 4 @b{$B%j%9%H(B} |
@b{$B%j%9%H(B} |
|
|
|
@example |
@example |
[] [1,2,[3,4],[x,y]] |
[] [1,2,[3,4],[x,y]] |
Line 80 x afo (2.3*x+y)^10 |
|
Line 75 x afo (2.3*x+y)^10 |
|
$B7k6I$O@hF,$+$i%]%$%s%?$r$?$I$k$3$H$KAjEv$9$k$?$a(B, $BG[Ns$KBP$9$kA`:n$K(B |
$B7k6I$O@hF,$+$i%]%$%s%?$r$?$I$k$3$H$KAjEv$9$k$?$a(B, $BG[Ns$KBP$9$kA`:n$K(B |
$BHf3S$7$FBg$-$J%j%9%H$G$O;~4V$,$+$+$k>l9g$,$"$k$H$$$&$3$H$G$"$k(B. |
$BHf3S$7$FBg$-$J%j%9%H$G$O;~4V$,$+$+$k>l9g$,$"$k$H$$$&$3$H$G$"$k(B. |
|
|
@item 5 |
@item 5 @b{$B%Y%/%H%k(B} |
@b{$B%Y%/%H%k(B} |
|
|
|
@example |
@example |
newvect(3) newvect(2,[a,1]) |
newvect(3) newvect(2,[a,1]) |
Line 108 newvect(3) newvect(2,[a,1]) |
|
Line 102 newvect(3) newvect(2,[a,1]) |
|
[ 0 0 0 ] |
[ 0 0 0 ] |
@end example |
@end example |
|
|
@item 6 |
@item 6 @b{$B9TNs(B} |
@b{$B9TNs(B} |
|
|
|
@example |
@example |
newmat(2,2) newmat(2,3,[[x,y],[z]]) |
newmat(2,2) newmat(2,3,[[x,y],[z]]) |
Line 131 newmat(2,2) newmat(2,3,[[x,y],[z]]) |
|
Line 124 newmat(2,2) newmat(2,3,[[x,y],[z]]) |
|
5 |
5 |
@end example |
@end example |
|
|
@item 7 |
@item 7 @b{$BJ8;zNs(B} |
@b{$BJ8;zNs(B} |
|
|
|
@example |
@example |
"" "afo" |
"" "afo" |
Line 145 newmat(2,2) newmat(2,3,[[x,y],[z]]) |
|
Line 137 newmat(2,2) newmat(2,3,[[x,y],[z]]) |
|
[0] "afo"+"take"; |
[0] "afo"+"take"; |
afotake |
afotake |
@end example |
@end example |
@item 8 |
|
@b{$B9=B$BN(B} |
|
|
|
|
@item 8 @b{$B9=B$BN(B} |
|
|
@example |
@example |
newstruct(afo) |
newstruct(afo) |
@end example |
@end example |
|
|
$B9=B$BN$K4X$7$F$O(B, $B>O$r2~$a$F2r@b$9$kM=Dj$G$"$k(B. |
$B9=B$BN$K4X$7$F$O(B, $B>O$r2~$a$F2r@b$9$kM=Dj$G$"$k(B. |
|
|
@item 9 |
@item 9 @b{$BJ,;6I=8=B?9`<0(B} |
@b{$BJ,;6I=8=B?9`<0(B} |
|
|
|
@example |
@example |
2*<<0,1,2,3>>-3*<<1,2,3,4>> |
2*<<0,1,2,3>>-3*<<1,2,3,4>> |
|
|
$B$G=q$+$l$F$$$k$?$a(B, $B%f!<%6$,A`:n$G$-$k$h$&FHN)$7$?7?$H$7$F(B @b{Asir} |
$B$G=q$+$l$F$$$k$?$a(B, $B%f!<%6$,A`:n$G$-$k$h$&FHN)$7$?7?$H$7$F(B @b{Asir} |
$B$G;HMQ$G$-$k$h$&$K$7$F$"$k(B. $B$3$l$K$D$$$F$O(B @xref{$B%0%l%V%J4pDl$N7W;;(B}. |
$B$G;HMQ$G$-$k$h$&$K$7$F$"$k(B. $B$3$l$K$D$$$F$O(B @xref{$B%0%l%V%J4pDl$N7W;;(B}. |
|
|
@item 10 |
@item 10 @b{$BId9f$J$7%^%7%s(B 32bit $B@0?t(B} |
@b{$BId9f$J$7%^%7%s(B 32bit $B@0?t(B} |
|
|
|
@item 11 |
@item 11 @b{$B%(%i!<%*%V%8%'%/%H(B} |
@b{$B%(%i!<%*%V%8%'%/%H(B} |
|
|
|
$B0J>eFs$D$O(B, Open XM $B$K$*$$$FMQ$$$i$l$kFC<l%*%V%8%'%/%H$G$"$k(B. |
$B0J>eFs$D$O(B, Open XM $B$K$*$$$FMQ$$$i$l$kFC<l%*%V%8%'%/%H$G$"$k(B. |
|
|
@item 12 |
@item 12 @b{GF(2) $B>e$N9TNs(B} |
@b{GF(2) $B>e$N9TNs(B} |
|
|
|
$B8=:_(B, $BI8?t(B 2 $B$NM-8BBN$K$*$1$k4pDlJQ49$N$?$a$N%*%V%8%'%/%H$H$7$FMQ$$$i$l(B |
$B8=:_(B, $BI8?t(B 2 $B$NM-8BBN$K$*$1$k4pDlJQ49$N$?$a$N%*%V%8%'%/%H$H$7$FMQ$$$i$l(B |
$B$k(B. |
$B$k(B. |
|
|
@item 13 |
@item 13 @b{MATHCAP $B%*%V%8%'%/%H(B} |
@b{MATHCAP $B%*%V%8%'%/%H(B} |
|
|
|
Open XM $B$K$*$$$F(B, $B<BAu$5$l$F$$$k5!G=$rAw<u?.$9$k$?$a$N%*%V%8%'%/%H$G$"$k(B. |
Open XM $B$K$*$$$F(B, $B<BAu$5$l$F$$$k5!G=$rAw<u?.$9$k$?$a$N%*%V%8%'%/%H$G$"$k(B. |
|
|
@item 14 |
@item 14 @b{first order formula} |
@b{first order formula} |
|
|
|
quantifier elimination $B$GMQ$$$i$l$k0l3,=R8lO@M}<0(B. |
quantifier elimination $B$GMQ$$$i$l$k0l3,=R8lO@M}<0(B. |
|
|
|
@item -1 @b{VOID $B%*%V%8%'%/%H(B} |
|
|
|
$B7?<1JL;R(B -1 $B$r$b$D%*%V%8%'%/%H$O4X?t$NLa$jCM$J$I$,L58z$G$"$k$3$H$r<($9(B. |
@end table |
@end table |
|
|
@node $B?t$N7?(B,,, $B7?(B |
@node $B?t$N7?(B,,, $B7?(B |