===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/changelog-ja.tex,v
retrieving revision 1.7
retrieving revision 1.9
diff -u -p -r1.7 -r1.9
--- OpenXM/src/kan96xx/Doc/changelog-ja.tex	2004/09/11 23:49:34	1.7
+++ OpenXM/src/kan96xx/Doc/changelog-ja.tex	2004/09/19 00:47:47	1.9
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/src/kan96xx/Doc/changelog-ja.tex,v 1.6 2004/09/11 03:18:02 takayama Exp $
+% $OpenXM: OpenXM/src/kan96xx/Doc/changelog-ja.tex,v 1.8 2004/09/13 11:24:10 takayama Exp $
 \documentclass{jarticle}
 \title{ChangeLog \\ ---kan96xx, kxx, k097}
 \author{Nobuki Takayama}
@@ -185,4 +185,91 @@ Warning が表示されるか?
 ので, status の判定方法を見直す必要がある.
 \end{enumerate}
 
-\end{document}
\ No newline at end of file
+\section{2004-09-13, 部分的な ecart division}
+
+\noindent Debug 用のデータ 1.
+{\footnotesize \begin{verbatim}
+[ [( (x Dx)^2 + (y Dy)^2 -1) ] (x,y) 
+  [ [ (Dx) 1 ] [(x) -1 (y) -1 (Dx) 1 (Dy) 1]] 
+  [(partialEcartGlobalVarX) [(x) (y)]] ] ecart.gb /ff set
+
+ff getRing ring_def show_ring
+
+\end{verbatim}
+}
+
+\noindent Debug 用のデータ 2.
+{\footnotesize \begin{verbatim}
+/ecart.checkOrder { 1 } def
+[(DebugReductionEcart) 3] system_variable
+[ [(1-x-y-z) (1-z)] (x,y,z) 
+  [ [(y) -1 (z) -1 (Dy) 1 (Dz) 1] [(x) 1 (Dx) 1]] 
+  [(partialEcartGlobalVarX) [(x)]] ] ecart.gb /ff set
+
+ff getRing ring_def show_ring
+
+ [ [(1-z) (-x+1-y-z)] (x,y,z) 
+  [ [(y) -1 (z) -1 (Dy) 1 (Dz) 1] [(x) 1 (Dx) 1]] 
+  [(partialEcartGlobalVarX) [(x)]] ] /std set
+(1+x^3) std ecartd.reduction
+(x*y*z) std ecartd.reduction
+\end{verbatim}
+}
+GlobalVarX の変数については local order ではいけない.
+無限ループとなる.
+{\tt ecart.checkOrder} も書き直さないといけない.
+
+\begin{enumerate}
+\item \verb@ ringp->partialEcart @ は int の配列
+\verb@ ringp->partialEcartGlobalVarX @ の長さ.
+この配列に local でない変数 (first weight が non-negative な x 変数) のリストを入れる.
+{\tt ecartGetEllPartial()} で利用される.
+\item Todo: ring のメンバ {\tt ringInInputForm} の活用. ( weight vector や
+input 形式の ring を object として格納.
+\item Todo: {\tt KgetRingInfo} を実装する. index から 変数, 変数から index 等.
+\end{enumerate}
+
+\section{2004-09, {\tt ATTR\_EXPORT} と {\tt RestrictedMode}}
+
+\noindent
+現在の RestrictedMode には以下の脆弱性がある (2004.9.19).
+\begin{verbatim}
+(cohom.sm1) run
+[(or_attr) 8 /gb] extension 
+[(or_attr) 8 /;] extension ;
+[(RestrictedMode) 1] system_variable ;
+[ [{(hello) message } ] (x,y) ] gb ;
+hello     <----  error を起こす前に {(hello) message} が実行されてしまう.
+ERROR(sm): 
+<< /name object def >>  or  << object /name set >>
+\end{verbatim}
+\noindent 原因: 
+引数に executableArray を与えることにより, 評価が抑制され
+{\tt ATTR\_EXPORT} bit がセットされた関数の評価がはじまってから
+executableArray が変数 {\tt arg1} に代入され, その変数を scanner
+が評価することにより, executableArray が評価される.
+
+\noindent 対策:
+{\tt isThereExecutableArrayOnStack(ob)} でスタックを検査するようにする.
+\begin{verbatim}
+(cohom.sm1) run
+[(or_attr) 8 /gb] extension 
+[(or_attr) 8 /;] extension ;
+0 1 10 { pop pop } for
+[(RestrictedMode) 1] system_variable ;
+[ [{(hello) message } ] (x,y) ] gb ;
+\end{verbatim}
+
+テスト 2 (こちらは正常に動くはず).
+\begin{verbatim}
+(ox.sm1) run
+[(or_attr) 8 /fctr] extension 
+[(or_attr) 8 /pmat] extension ;
+[(or_attr) 8 /;] extension ;
+0 1 10 { pop pop } for
+[(RestrictedMode) 1] system_variable ;
+[ (x^2-1) (x,y) ] fctr pmat ;
+\end{verbatim}
+
+\end{document}
+