===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/exp/exp-ja.texi,v
retrieving revision 1.61
retrieving revision 1.62
diff -u -p -r1.61 -r1.62
--- OpenXM/src/asir-doc/exp/exp-ja.texi	2021/01/20 07:57:24	1.61
+++ OpenXM/src/asir-doc/exp/exp-ja.texi	2021/02/04 08:12:12	1.62
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.60 2021/01/19 23:52:34 takayama Exp $
+%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.61 2021/01/20 07:57:24 takayama Exp $
 \input texinfo-ja
 @iftex
 @catcode`@#=6
@@ -3280,7 +3280,7 @@ L - (1/N)*dt*M が I の元となる. したがって 
 @iftex
 @tex
 $L \cdot \int_a^b f(x,t) dt - {{1}\over{N}}[M\cdot f]_{t=a}^{t=b} = 0$
-@end tex
+@end iftex
 @ifinfo
 L integral(f(x,t),[t,a,b]) - (1/N)[(Mf)(a)-(Mf)(b)]=0
 @end ifinfo
@@ -3373,7 +3373,7 @@ $ I = \langle \partial_t +(3t^2-1)x, \partial_x+t^3-t 
 @end iftex
 @ifinfo
 \int_0^∞ exp((-t^3+t)x) dt
-の非積分関数の満たすホロノミックイデアルは
+の被積分関数の満たすホロノミックイデアルは
 I = < dt +(3t^2-1)x, dx+t^3-t >
 であるから, これを入力として次のように計算を行う.
 @end ifinfo