===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/type.texi,v
retrieving revision 1.5
retrieving revision 1.7
diff -u -p -r1.5 -r1.7
--- OpenXM/src/asir-doc/parts/type.texi	2000/01/26 01:37:33	1.5
+++ OpenXM/src/asir-doc/parts/type.texi	2000/11/13 00:16:35	1.7
@@ -1,4 +1,4 @@
-@comment $OpenXM: OpenXM/src/asir-doc/parts/type.texi,v 1.4 2000/01/20 03:00:34 noro Exp $
+@comment $OpenXM: OpenXM/src/asir-doc/parts/type.texi,v 1.6 2000/09/23 07:53:25 noro Exp $
 \BJP
 @node 型,,, Top
 @chapter 型
@@ -289,10 +289,18 @@ afotake
 newstruct(afo)
 @end example
 
-\JP 構造体に関しては, 章を改めて解説する予定である. 
-\EG For type @b{structure}, we shall describe it in a later chapter.
-(Not written yet.)
+\BJP
+Asir における構造体は, C における構造体を簡易化したものである. 
+固定長配列の各成分を名前でアクセスできるオブジェクトで, 
+構造体定義毎に名前をつける. 
+\E
 
+\BEG
+The type @b{structure} is a simplified version of that in C language.
+It is defined as a fixed length array and each entry of the array
+is accessed by its name. A name is associated with each structure.
+\E
+
 \JP @item 9 @b{分散表現多項式}
 \EG @item 9 @b{distributed polynomial}
 
@@ -346,6 +354,16 @@ This is used for basis conversion in finite fields of 
 @*
 \JP quantifier elimination で用いられる一階述語論理式. 
 \EG This expresses a first order formula used in quantifier elimination.
+
+@item 15 @b{matrix over GF(p)}
+@*
+\JP 小標数有限体上の行列.
+\EG A matrix over a small finite field.
+
+@item 16 @b{byte array}
+@*
+\JP 符号なし byte の配列
+\EG An array of unsigned bytes.
 
 \JP @item -1 @b{VOID オブジェクト}
 \EG @item -1 @b{VOID object}