===================================================================
RCS file: /home/cvs/OpenXM/doc/Papers/rims-2002-noro-ja.tex,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/doc/Papers/rims-2002-noro-ja.tex	2002/12/04 08:57:21	1.1
+++ OpenXM/doc/Papers/rims-2002-noro-ja.tex	2002/12/06 09:23:42	1.2
@@ -1,4 +1,4 @@
-% $OpenXM$
+% $OpenXM: OpenXM/doc/Papers/rims-2002-noro-ja.tex,v 1.1 2002/12/04 08:57:21 noro Exp $
 \documentclass[theorem]{jarticle}
 \usepackage{jssac}
 
@@ -246,15 +246,41 @@ $g_k$ $B$^$?$O(B $h_k$ $B$G(B $f$ $B$r3d$C$F$_$k$
 $B$+$i$G$"$k(B. $B$3$l$K$h$j(B, $B0L?t$,(B $2^{29}$ $BDxEY$^$G$NAGBN>e$G(B, $BB?JQ?tB?9`<0(B
 $B$N0x?tJ,2r$,9T$($k$h$&$K$J$C$?(B. 
 
-\subsection{$B78?t4D$H$7$F$N(B $R[y]/(y^d)$ $B$K$D$$$F(B}
+\subsection{$B78?t4D$H$7$F$N(B $K[y]/(y^d)$ $B$K$D$$$F(B}
 
-Hensel $B9=@.$K$*$$$F$O(B, $R[y]/(y^d)$ $B$r(B, $BB?9`<0$N78?t4D$H$7$F(B
-$B07$&I,MW$,$"$k(B. $B$3$N$?$a(B, $B?7$?$J?t$N7?$H$7$F(B, $R[y]/(y^d)$ $B$r(B
-$BI=$97?$rDj5A$7$?(B. $BB?JQ?tB?9`<0$O(B, Hensel $B9=@.$N:G=i$G(B, $B$3$N(B
+Hensel $B9=@.$K$*$$$F$O(B, $K[y]/(y^d)$ $B$r(B, $BB?9`<0$N78?t4D$H$7$F(B
+$B07$&I,MW$,$"$k(B. Asir $B$K$*$$$F$O(B, $B4{$K(B, $B>.0L?tM-8BBN(B $K$ $B$NBe?t3HBg(B
+$B$rI=8=$9$k7?$,$"$k$,(B, $B$3$l$O(B, $K[y]/(m(y))$ ($m(y)$ $B$O:G>.B?9`<0(B)
+$B$H$7$FI=8=$5$l$F$$$k$?$a(B, $m(y)=y^d$ $B$H$9$l$P(B, $B2C8:>h;;$ON.MQ(B
+$B$G$-$k(B. $B$^$?(B, $B=|;;$K8=$l$k5U857W;;$K$D$$$F$O(B, 0 $B$G$J$$Dj?t9`$r;}$D(B
+$BB?9`<0$GI=8=$5$l$k85$K8B$l$P(B, $B$=$l$O(B $y^d$ $B$H8_$$$KAG$J$N$G(B
+$B5U85$r;}$A(B, $B8_=|K!$G7W;;$G$-$k(B. $B4{$K=R$Y$?$h$&$K(B, $x$ $B$K4X$9$k<g78?t(B
+$B$,(B 0 $B$G$J$$Dj?t9`$r;}$D$h$&$KJ?9T0\F0$7$F$"$k$N$G(B, $K[y]/(y^d)$ $B$N(B
+$B7W;;$r(B, $B$3$3$G=R$Y$?J}K!$G9T$&$3$H$,$G$-$k(B. 
+$BB?JQ?tB?9`<0$O(B, Hensel $B9=@.$N:G=i$G(B, $B$3$N(B
 $B7?$N78?t$r;}$DB?9`<0$KJQ49$5$l$k(B. $B$"$i$+$8$a(B $d$ $B$r%;%C%H$7$F(B
 $B$*$/$3$H$K$h$j(B, $B1i;;$O<+F0E*$K(B $\bmod \, y^d$ $B$5$l$k$?$a(B, 
 $BDL>o$NB?9`<01i;;$N8F$S=P$7$r9T$&$@$1$G(B, $K[y]/(y^d)$ $B78?t$N(B
 $BB?9`<01i;;$,<B9T$G$-$k(B. 
+
+\section{$B%?%$%_%s%0%G!<%?(B}
+
+$BM-8BBN>e$NB?JQ?tB?9`<0$N0x?tJ,2r$rDs6!$7$F$$$k%7%9%F%`$O?t>/$J$$(B. 
+$BI.<T$NCN$kM#0l$N$b$N$O(B Maple $B$J$N$G(B, Maple $B$HHf3S$r9T$&(B. Maple $B$O(B, 
+$B$3$N5!G=$K4X$7$F$O(B, kernel $B$K$*$$$F@lMQ$NFC<l$J%G!<%?7?$rB?MQ$7$F(B
+$B8zN($r>e$2$F$$$k$?$a(B, $BHf3S$9$k$3$H$O%"%s%U%'%"$G$O$J$$$H9M$($k(B. 
+
+\section{$B$*$o$j$K(B}
+
+$B:#8e$NM=Dj$H$7$F(B, $B<!$N$h$&$J$3$H$r9M$($F$$$k(B. 
+
+\begin{itemize}
+\item $B@5I8?t$N=`AGJ,2r(B
+
+\item $BBN$N0L?t$,B-$j$J$$>l9g$K(B, $B<+F0E*$K4pACBN$r3HBg$9$k(B
+
+\item $B3FItJ,$N8zN(2=(B
+\end{itemize}
 
 \begin{thebibliography}{99}
 \bibitem{B97-2}