=================================================================== RCS file: /home/cvs/OpenXM/src/asir-doc/exp/exp-ja.texi,v retrieving revision 1.62 retrieving revision 1.63 diff -u -p -r1.62 -r1.63 --- OpenXM/src/asir-doc/exp/exp-ja.texi 2021/02/04 08:12:12 1.62 +++ OpenXM/src/asir-doc/exp/exp-ja.texi 2021/02/22 00:46:53 1.63 @@ -1,4 +1,4 @@ -%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.61 2021/01/20 07:57:24 takayama Exp $ +%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.62 2021/02/04 08:12:12 takayama Exp $ \input texinfo-ja @iftex @catcode`@#=6 @@ -3280,6 +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