===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/exp/exp-ja.texi,v
retrieving revision 1.52
retrieving revision 1.54
diff -u -p -r1.52 -r1.54
--- OpenXM/src/asir-doc/exp/exp-ja.texi	2016/05/18 11:52:56	1.52
+++ OpenXM/src/asir-doc/exp/exp-ja.texi	2017/08/31 01:24:33	1.54
@@ -1,5 +1,5 @@
-%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.51 2016/05/14 07:55:16 nakayama Exp $
-\input texinfo
+%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.53 2016/06/01 06:33:17 nakayama Exp $
+\input texinfo-ja
 @iftex
 @catcode`@#=6
 @def@fref#1{@xrefX[#1,,@code{#1},,,]}
@@ -3344,6 +3344,7 @@ B_{S0} length : 1
 [[(en-2)*n+en-2],[[[[ek-1,[(-en+1)*n-en+1,1]]],1]]]
 @end example
 
+@node nk_restriction.module_restriction,,, D 加群の制限に関する関数
 @subsection @code{nk_restriction.module_restriction}
 @comment --- 索引用キーワード
 @findex nk_restriction.module_restriction
@@ -3418,6 +3419,7 @@ Relations: 
 @end ifinfo
 で生成されることがわかる. 
 
+@node nk_restriction.module_integration,,, D 加群の制限に関する関数
 @subsection @code{nk_restriction.module_integration}
 @comment --- 索引用キーワード
 @findex nk_restriction.module_integration