Newsgroups: fj.archives.answers,fj.lang.misc
Path: galaxy.trc.rwcp.or.jp!coconuts.jaist!wnoc-tyo-news!wnoc-sfc-news!fgw!fdm!flab!sutra!ugai
From: ugai@syslab.iias.flab.fujitsu.co.jp (Takanori Ugai)
Subject: comp.specification.z Frequently Asked Questions (Monthly)
Message-ID: <UGAI.94Nov2091348@indigo.syslab.iias.flab.fujitsu.co.jp>
Followup-To: fj.lang.misc
Lines: 429
Sender: usenet@iias.flab.fujitsu.co.jp
Nntp-Posting-Host: indigo.syslab.iias.flab.fujitsu.co.jp
Reply-To: ugai@iias.flab.fujitsu.co.jp
Organization: FUJITSU LABORATORIES, IIAS, Japan
Date: Wed, 2 Nov 1994 00:13:48 GMT
Dnas-Posting-Host: indigo.syslab.iias.flab.fujitsu.co.jp
Xref: galaxy.trc.rwcp.or.jp fj.archives.answers:200 fj.lang.misc:969
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.lang.misc&nb=969&hd=a
X-reformat-date: Mon, 18 Oct 2004 15:18:22 +0900
X-reformat-comment: Tabs were expanded into 4 column tabstops by the Galaxy's archiver. See http://katsu.watanabe.name/ancientfj/galaxy-format.html for more info.


Summary: Information about the Z formal specification notation
Archive-name: z-faq.japanese
Last-modified: Nov 1 1994
Maintainer: Jonathan Bowen <bowen@comlab.ox.ac.uk>                           |
URL: file://ftp.comlab.ox.ac.uk/pub/Zforum/faq                               |
Tranlated : Takanori Ugai <ugai@iias.flab.fujitsu.co.jp>

NAME:     comp.specification.z
STATUS:   unmoderated
$BL\E*(B: $B7A<0E*;EMM5-=R8@8l(B Z $B$K$+$s$9$kOCBj(B

$B@h7n$+$iJQ99$N$"$C$?ItJ,$O(B,$B9THx$K(B | $B$,$"$j$^$9!%(B

Note: $B6a$8$+(B UK $B$NEEOCHV9f$N@hF,$K(B "1" $B$,$D$/$h$&$K$J$j$^$9(B.  $B8=:_$=$N(B       |
$BJQ99:n6HCf$G$9(B. $B$3$NJ8=qCf$G$O(B UK $B$NO"Mm@hEEOCHV9f$O$9$G$K99?7$5$l$F$$(B       |
$B$^$9(B. $B4V0c$$$,$"$C$?$i(B, $B$3$NJ8=q$N(B email $B%"%I%l%9$K$*CN$i$;2<$5$$(B.           |

$BLu<TCm(B : $BF|K\8lHG$G$bD>$7$?$D$b$j$G$9$,(B, $B4V0c$$$,$"$j$^$7$?$i(B,               |
ugai@iias.flab.fujitsu.co.jp $B$K$*CN$i$;2<$5$$(B.                               |

$BLdBj$O9TF,$+$i(B "Subject:" $B$G;O$^$k$h$&$K$J$C$F$$$^$9(B.
$B$3$N(B ($B%*%j%8%J%k$N(B) FAQ $B$O(B World Wide Web (WWW) $B$G%*%s%i%$%s$G(B
$BMxMQ$9$k$3$H$b2DG=$G$9!%(B
http://www.cis.ohio-state.edu/hypertext/faq/usenet/zfaq/faq.html $B$,(B
$BFI$_$d$9$$$h$&$KJ,3d$7$F$"$j$^$9!%(B

$BLu<TCm(B : $B$3$NF|K\8lLu(BFAQ $B$b(B HTML $BHG$,(B
http://saeki-www.cs.titech.ac.jp/~ugai/Z/z-faq.html
$B$GMxMQ2DG=$G$9(B.

Subject: $B$J$K!"$=$l$O(B?

USENET $B$N%K%e!<%9%0%k!<%W$G$"$k(B comp.specification.z $B$O(B 1991 $BG/(B 6 $B7n$K(B
$B3+@_$5$l!"7A<0E*;EMM5-=R8@8l(B Z ("zed" $B$HH/2;$7$^$9(B) $B$K4X$9$kOCBj$r07$$(B
$B$^$9!#@$3&Cf$G(B 45,000 $B?MDx$,FI$s$G$$$k$H8+@Q$b$i$l$F$$$^$9!#=89gO@$H0l(B
$B3,=R8lO@M}$K4pAC$rCV$/(BZ $B$O!"0JA0$O(B Oxford University Computing
Laboratory $B$N(B Programming Research Group (PRG) $B$d$=$NB>$G3+H/$5$l$F$$(B
$B$^$7$?!#8=:_$G$O!"(B UK $B$H(B US $B$NN>J}$G%=%U%H%&%'%"(B ($B%O!<%I%&%'%"(B) $B3+H/$N(B        |
$B0lIt$H$7$F;:6H3&$G;H$o$l$F!"(B UK $B$G(B BSI $BI8=`$H$J$j!"9q:]E*$K$O(B ISO $B$GI8(B        |
$B=`2=$r9T$J$C$F$$$^$9!#(Bcomp.sprcification.z $B$O(B Z $B$K4X$7$F$N:G6a$N8&5f$d(B        |
$B;H$$J}$K4X$9$k5DO@$N$?$a$N>l$rDs6!$7$F$$$^$9!#?7$7$$K\$dO@J8$N>R2p$O!"(B
$B$H$/$K4?7^$7!"(Bcomp.specification.z $B$G>R2p$5$l$?$b$N$O(B ($B$"$H$G=R$Y$k(B) Z 
$BJ88%%j%9%H$K:\$;$^$9!#(B

Subject: USENET news $B$K%"%/%;%9$G$-$J$$?M$O(B?

$BEE;R%a!<%j%s%0%j%9%H(B: Z FORUM $B%a!<%j%s%0%j%9%H$,$"$j$^$9!#(B1986 $BG/(B 1 $B7n$K(B 
Ruaridh Macdonald, RSRE, UK. $B$K$h$C$F3+@_$5$l$^$7$?!#%a!<%k$O8=:_(B 
comp.specification.z $B$H(B USENET $B$K%"%/%;%9$G$-$J$$?M$N$?$a$N%a!<%j%s%0%j%9%H$N(B
$BN>J}$KEj9F$5$l$k$h$&$K$J$C$F$$$^$9!#$3$l$O!"$H$/$K<BL3$G$N(B Z $B%f!<%6$K5DO@$K;2(B
$B2C$7!"$=$N7P83$rEj9F$7$F$b$i$&$3$H$r?d>)$9$k$?$a$N$b$N$G$9!#%a!<%j%s%0%j%9%H$K(B
$B;22C$9$k$?$a$K$O!"L>A0!"=;=j!"EE;R%a!<%k%"%I%l%9$r(B
<zforum-request@comlab.ox.ac.uk> $B$X$*CN$i$;2<$5$$!#(B ($BEE;R%a!<%k%"%I%l%9$,JQ$o(B
$B$C$?$H$-$d:o=|$7$F$b$i$$$?$$$H$-$b$3$3$K$*CN$i$;2<$5$$!#(B) $BFI$_<j$NJ}$O2DG=$J(B
$B$i!"(B Z FORUM $B%a!<%j%s%0%j%9%H$h$j$b(B comp.specification.z $B$rFI$_$?$$$G$7$g$&$,(B 
Z FORUM $B%a!<%j%s%0%j%9%H$H(B comp.specification.z $B$N%K%e!<%9%0%k!<%W$X$NDs0F$NN>(B
$BJ}$K4X$9$k5-;v$O(B <zforum@comlab.ox.ac.uk>$B$KEE;R%a!<%k$GAw$C$?$[$&$,$$$$$G$G$7(B
$B$g$&!#(Bcomp.specification.z $B$KEj9F$5$l$?5-;v$N$9$Y$F$,(B PRG $B$KFO$/$o$1$G$O$J$$$N(B
$B$G!"2q5D$N%"%J%&%s%9$N$h$&$J=EMW$J5-;v$K4X$7$F$O!"FC$K$3$N$h$&$JJ}K!$GEj9F$9$k(B
$B$N$,NI$$$G$7$g$&!#(B
  Z User Meeting $B$N650iLdBjJ,2J2q(B $B$N%a!<%j%s%0%j%9%H$,(B Neville Dean, Anglia   |
Polytechnic University, UK $B$K$h$C$FN)$A>e$2$i$l$F$$$^$9!%(B $B6=L#$N$"$k?M$O(B      |
<zugeis-request@comlab.ox.ac.uk> $B$K%a!<%k$rAw$C$F>\$7$$$3$H$rJ9$$$F;22C$7$F2<(B |
$B$5$$!%(B                                                                        |
  $B9=B$2=K!(B SSASM $B$H(B Z $B$NAH9g$;$G$"$k(B SAZ $B$K$D$$$FOC$79g$&%a!<%j%s%0%j%9%H$b$"(B
$B$j$^$9(B. $B;22C$9$k$K$O(B <saz-forum-request@minster.york.ac.uk> $B$HO"Mm$r<h$C$F2<$5(B
$B$$(B.

Subject: $BEE;R%a!<%k$K%"%/%;%9$G$-$J$$?M$O(B?

$BM9JX$G(B Z $B$N%a!<%j%s%0%j%9%H$K;22C$7$?$$?M$O!"(BAmanda Kingscote, Praxis plc, 20
Manvers Street, Bath BA1 1PX, UK (tel +44-1225-444700, fax +44-1225-465205,
email <ark@praxis.co.uk>) $B$K=;=j$rAw$C$F2<$5$$!%$3$&$9$k$3$H$K$h$C$FEE;R%a!<%k(B
$B$K%"%/%;%9$G$-$J$$?M$N$?$a$N(B Z $B2q5D$N>\:Y$J$I$r<u$1<h$k$3$H$,$G$-$^$9!#(B

Subject: $B$I$&$9$l$P;22C$G$-$k$N(B?

$B8=:_$"$J$?$,(B Z $B$r;H$C$F$$$k$J$i$P!"%K%e!<%9%0%k!<%W$d(BZ FORUM $B$N%a!<%j%s%0%j%9(B
$B%H$G<+8J>R2p$r$7$F(B Z $B$K4X$9$k$"$J$?$N;E;v$d$3$3$K$+$+$l$F$$$J$$$h$&$J$b$N$G$"(B
$B$J$?$,9M$($F$$$kLdBj$r=q$$$F2<$5$$!#(BZ $B$K4X78$9$k$"$J$?$d$*Cg4V$NCx=R$r@kEA$9$k(B
$B$N$G$b9=$$$^$;$s!#$=$l$i$O<+F0E*$K(B PRG $B$G0];}$5$l$F$$$k(B Z $BJ88%%j%9%H$K2C$($i(B
$B$l!"Dj4|E*$K9T$J$o$l$F$$$k(B Z User Meeting $B$N$H$-$K99?7$5$l$^$9!#(B

Subject: Z $B$K4X$9$k%U%!%$%k$O$I$3$K$"$j$^$9$+(B?

$B%a!<%k%Y!<%9$N<+F0%"!<%+%$%V%5!<%P$,(B PRG $B$K$"$C$F!"$=$3$K$O(B Z FORUM $B$d(B 
comp.specification.z $B$N2a5n$N@.2L$d5-;v$,$"$j$^$9!#$^$?!"B>$N(B Z $B4XO"$N%U%!%$%k(B
$B$b$$$/$D$+CV$$$F$"$j$^$9!#%5!<%P$N;H$$J}$K$b$C$H>\$7$/CN$j$?$$>l9g$O(B
<archive-server@comlab.ox.ac.uk> $B$K(B "help" $B$H$$$&%3%^%s%I$r4^$`5-;v$rAw$C$F2<(B
$B$5$$!#(B "index z" $B$H$$$&%3%^%s%I$K$h$C$F(BZ $B4XO"$N%U%!%$%k$r<u$1<h$k$3$H$,$G$-$^(B
$B$9!#%"!<%+%$%V%5!<%P$KIU$$$F2?$+LdBj$,$"$C$?$i!"(B
<archive-management@comlab.ox.ac.uk> $B$KO"Mm$r2<$5$$!#(B

$B%"!<%+%$%V$O%$%s%?!<%M%C%H$rDL$7$F!"(Banonymous FTP $B$G$bMxMQ2DG=$G$9!#(B "ftp
ftp.comlab.ox.ac.uk" ($B$"$k$$$O$&$^$/$$$+$J$1$l$P(B"ftp 163.1.27.2") $B$H%3%^%s%I$r(B
$BF~NO$7$F2<$5$$!#%m%0%$%s(BID $B$H$7$F(B "anonymous"$B%Q%9%o!<%I$H$7$F$"$J$?$NEE;R%a!<(B
$B%k%"%I%l%9$rF~NO$7$F2<$5$$!#(B"cd /pub/ZForum" $B$HF~NO$9$k$3$H$K$h$C$F(B Z $B$N%"!<%+(B
$B%$%V%G%#%l%/%H%j$K9T$/$3$H$,$G$-$^$9!#(B $B0lHLE*$J>pJs$O(B 
ftp.comlab.ox.ac.uk:/pub/ZFforum/README $B%U%!%$%k$+$i!"%U%!%$%k$N0lMw$O(B 
ftp.comlab.ox.ac.uk:/pub/Zforum/00index $B$+$iF@$k$3$H$,$G$-$^$9!#(B($B$3$l$i$N%U%!(B
$B%$%k$O!"Nc$($P(B "get README" $B$H$$$&%3%^%s%I$r;H$C$F<j$KF~$l$k$3$H$,$G$-$^$9!#(B)

$BLu<TCm(B : $BF|K\9qFb$G$O(B
sa-ftp.cs.titech.ac.jp:/pub/z/zforum
$B$K%3%T!<$,$"$j$^$9!#1Q9q$O(B network $BE*$K1s$$$N$G$3$A$i$r$4MxMQ2<$5$$!#(B

World Wide Web (WWW) $B$G$N>pJs$O(B http://www.comlab.ox.ac.uk/archive/zforum.html 
$B$N%Z!<%8$+$iMxMQ$G$-$^$9!%(B 
http://www.comlab.ox.ac.uk/archive/formal-methods.html $B$K0lHLE*$J%U%)!<%^%k%a(B
$B%=%C%I$N>pJs$,$"$j$^$9!%(B WWW $B$N%O%$%Q!<%F%-%9%H$N%7%9%F%`$O(B, "mosaic" $B$d(B "
lynx" $B$J$I$N%W%m%0%i%`$+$iMxMQ2DG=$G$9!%$"$J$?$N%7%9%F%`$+$i(B WWW $B$,MxMQ$G$-$J(B
$B$$>l9g$O%7%9%F%`%^%M!<%8%c$KAjCL$7$F$/$@$5$$!%(B

Subject: $B$I$N$h$&$J%D!<%k$,MxMQ$G$-$^$9$+(B?

Z $B$G$N%U%)!<%^%C%H!"7?%A%'%C%/$d>ZL@$r=u$1$F$/$l$k$h$&$J%D!<%k$,$$$/$D$+$"$j$^(B
$B$9!#%U%j!<$N(B LaTeX $B$N%9%?%$%k%U%!%$%k$dJ8=q$,(B PRG $B$N%"!<%+%$%V%5!<%P$+$i<j$KF~(B
$B$l$k$3$H$,$G$-$^$9!#EE;R%a!<%k$G$O(B "send z zed.sty zguide.tex" $B$H$$$&%3%^%s%I(B
$B$r4^$`5-;v$rA0=R$N(B PRG $B$KAw$k$3$H$K$h$C$F$3$l$i$rF@$k$3$H$,$G$-$^$9!#(B
(ftp.comlab.ox.ac.ul:/pub/Zforum/zed.sty $B$d(B 
ftp.comlab.ox.ac.uk:/pub/Zforum/zguide.sty $B$bMxMQ2DG=$G$9!%(B) "csp_zed.sty" $B$H(B
$B$$$&?7$7$$%9%?%$%k%U%!%$%k$,F1$8>l=j$+$iMxMQ2DG=$K$J$j$^$7$?!#$3$l$O?7$7$$%U%)(B
$B%s%H$NA*$SJ}$r;H$C$F$$$F!"(B CSP $B$H(B Z $B$N5-9f$r;H$&$3$H$,$G$-$^$9!#(B "oz.sty" $B$H(B
$B$$$&%,%$%I$D$-$N(B Object-Z $B$N(B "oz.sty" $B$H$$$&%9%?%$%k%U%!%$%k$bMxMQ2DG=$G$9!#(B

$BJ8K!$d7?$N%A%'%C%+$d(B LaTeX $B$N%9%?%$%k%U%!%$%k$d%U%)%s%H$J$I$O(BJ.M. Spivey
Computing Science Consultancy, 34, Westlands Grove, Stockton Lane, York YO2
0EF $B$+$i<j$KF~$l$k$3$H$,$G$-$^$9!#(B

$B$3$l$O!"(B Spivey $B$N(B Z $B$N%j%U%!%l%s%9%^%K%e%"%k$NBh(B2$BHG$K=`5r$9$k$b$N$G$9!#>\$7$$(B
$B$3$H$O(B Mike Spivey <mike@comlab.oxford.ac.uk> $B$HO"Mm$r<h$k$+!"(B"send z fuzz" $B$H(B
$B$$$&%3%^%s%I$r(B PRG $B%"!<%+%$%V%5!<%P$KAw$k$+(B 
ftp.comlab.ox.ac.uk:/pub/Zforum/fuzz $B$K>\$7$$>pJs$H%*!<%@!<%U%)!<%`$r<j$KF~$l(B
$B$k$3$H$,$G$-$^$9!#(B

CADiZ $B$O(B Z $B$N;EMM$N%A%'%C%/$d%?%$%W%;%C%F%#%s%0$N$?$a$N(B Unix $B%Y!<%9$N%D!<%k(B
$B=8$G$"$k(B.  CADiZ $B$G$O;EMM$rBPOCE*$KD4$Y$?$j(B, $B8+$?$j$9$k$3$H$,$G$-$^$9(B.
York Software Engineering, University of York, York YO1 5DD, UK (tel
+44-1904-433741, fax +44-1904-433744) $B$+$i<j$KF~$l$k$3$H$,$G$-$^$9(B.  CADiZ 
$B$O(B Z Base Standard (Version 1.0) $B$r4pK\$K%5%]!<%H$r9T$J$$$^$9(B.  $B$"$k;EMM$r(B
$B<h$j9~$s$@$j(B, $B$=$NJ8=q$HF1MM$N?t3XE*%D!<%k$r<h$j9~$s$@$j$9$k3HD%$r9T$J$C$F(B
$B$$$^$9!%%?%$%W%;%C%F%#%s%0$O(B, troff $B$H(B LaTeX $B$,MxMQ2DG=$G$9(B. $B%V%i%&%8%s%0A`(B
$B:n$G$O(B,$B%?%$%W%A%'%C%+!<$G?dO@$7$?>pJs(B ($B<0$N7?(B, $BJQ?t$N;HMQ(B) $B$d%9%-!<%`$NE8(B
$B3+(B, pre-, post- $B>r7o$N7W;;(B, one-point rule $B$K$h$k4JC12=$rI=<($9$k$3$H$b2DG=(B
$B$G$9(B.  $B8=:_(B, Z $B$N;EMM$r%W%m%0%i%`3+H/K!$d>ZL@$NAH9g$;$G(B Ada $B$N%W%m%0%i%`$X(B
$B$N%j%U%!%$%a%s%H$r9T$J$&$3$H$r;Y1g$7$h$&$H$7$F$$$^$9(B.  $B>\$7$$$3$H$O(B York $B$N(B 
David Jordan <yse@minster.york.ac.uk> $B$HO"Mm$r<h$C$F2<$5$$!#(B

ProofPower $B$O9b3,O@M}(B (HOL) $B$d(B Z $B$G$N;EMM5-=R$d>ZL@$N;Y1g$r9T$J$C$F$/$l$k%D!<(B
$B%k=8$G$9!#(B ProofPower-Z $B$NC;4|%3!<%9$,MW5a$,$"$l$P<u$1$i$l$^$9!#$5$i$K>\$7$$$3(B
$B$H$rCN$j$?$1$l$P!"(BR.B. Jones, International Computers Ltd, Eskdale Road,
Winnersh, Wokingham, BERKS RG11 5TT, UK (tel +44-1734-693131 ext 6536, fax
+44-1734-697636, email <R.B.Jones@win0109.wins.icl.co.uk> $B$^$?$O(B 
<rbj@win.icl.co.uk> ) $B$HO"Mm$r<h$C$F2<$5$$!#(B ProofPower $B$K4X$7$F$O(B 
<ProofPower-server@win.icl.co.uk> $B$+$iD>@\>pJs$rF@$k$3$H$b$G$-$^$9!#(B

Zola $B$O(B Z $B$K$h$k;EMM$N:n@.$H%?%$%W%;%C%F%#%s%0$r;Y1g$7$F$/$l$k%D!<%k$G$"$j!"7?(B
$B%A%'%C%+$H(B Tactical Proof System $B$r;}$C$F$$$^$9!#$3$l$O>&6HE*$KHNGd$5$l$F$$$F!"(B
$B650i5!4X$N%f!<%6$K$O!"FCJL$J3d0z$r9T$J$C$F$$$^$9!#$5$i$K>\$7$$$3$H$rCN$j$?$1$l(B
$B$P!"(BK. Ashoo, Imperial Software Technology, 62-74 Burleigh Street, Cambridge
CB1 1DJ, UK (tel +44-1223-462400, fax +44-1223-462500, email <ka@ist.co.uk>) $B$H(B
$BO"Mm$r<h$C$F2<$5$$!#(B

  ZTC $B$O(B PC $B$GMxMQ$G$-$k(B Z $B$N7?%A%'%C%+$G(B PC $B$H(B Sun $B$G(Bise.cs.depaul.edu:/dist
(140.192.32.117) $B$H(B Oxford $B$N(B Z $B$N%"!<%+%$%P(B
ftp.comlab.ox.ac.uk:/pub/Zforum/ZTC-1.3 $B$+$iL5NA$G<j$KF~$l$k$3$H$,$G$-$^$9!%$3(B
$B$l$O(B "ZTC" $B$N4JC1$JF3F~=q$H$H$b$K(BOxford $B$N(B Z $B%"!<%+%$%V$+$i$b<j$KF~$l$k$3$H$,(B
$B$G$-$^$9!#$3$l$O650iL\E*$N>l9g$HHs1DMxMxMQ$N>l9g$N$_MxMQ2DG=$G!"(BZ $B$r;H$&$?$a$N(B
$B;Y1g%D!<%k$r:n@.$9$k8&5f$N0lIt$H$J$C$F$$$^$9!#>\$7$$$3$H$O(B Xiaoping Jia
<jia@cs.depaul.edu> $B$HO"Mm$r<h$C$F$/$@$5$$!#(B

Formaliser $B$OJ8K!;X8~$N(B Z $B$N%(%G%#%?$G7?%A%'%C%/$r9T$J$&$3$H$,$G$-$F(B
Microsoft Windows $B$GF0$-$^$9!#$3$l$O(B Logiza Cambridge $B$+$iF~<j2DG=$G$9!#>\(B
$B$7$$$3$H$O!"(BSusan Stepney, Logica Cambridge Limited, Betjeman House, 104
Hills Road, Cambridge CB2 1LQ, UK (tel +44-1223-66343, email
<susan@logcam.co.uk>) $B$HO"Mm$r<h$C$F$/$@$5$$!#(B

  DST-fuzz $B$O(B Mike Spivey $B$K$h$k(B fuzz $B$N%Q%C%1!<%8$r$b$H$K$7$?%D!<%k%;%C%H$G!$(B
Motif $B%Y!<%9$N%f!<%6%$%s%?!<%U%'%$%9$G(B LaTeX $B$N%W%j%F%#%W%j%s%H(B, $BJ8K!$H7?$N%A(B
$B%'%C%/$r9T$$$^$9!%(B CASE $B%D!<%k%$%s%?!<%U%'%$%9$K$h$C$F(BZ$B$N%"%W%j%1!<%7%g%s$H9=(B
$BB$2=;EMM$H$r$D$J$2$k$3$H$,$G$-$^$9!%$3$l$i$N%D!<%k$O(B SoftBench $B$G3+H/$5$l$F$$(B
$B$^$9!%>\$7$$$3$H$O(BHans-Martin Hoercher, DST Deutsche System-Techik GmbH,
Edisonstr. 3, D-24145 Kiel, Germany (tel +49-(0)431-7109-478, fax
+49-(0)431-7109-503, email <hmh@informatik.uni-kiel.d400.de>) $B$HO"Mm$r$H$C$F$/(B
$B$@$5$$!%(B

B-Tool $B$O(B Z $B$K$h$k;EMM$NItJ,ItJ,$N4X78$N>ZL@$K%A%'%C%/$K;H$o$l$^$9!#$3$l(B
$B$O!"(BEdinburgh Portable Compilers Ltd, 17 Alva Street, Edinburgh EH2 4PH, UK
(tel +44-131-225-6262, fax +44-131-225-6644) $B$K$h$C$F%i%$%;%s%9$5$l$F$$$^(B
$B$9!#99$K>\$7$/CN$j$?$$$+$?$O!"(B<support@epc.ed.ac.uk> $B$NG[I[@UG$<T$KO"Mm$r<h(B
$B$C$F2<$5$$!#(B

B-Toolkit $B$O7A<0E*3+H/K!(B B-Method$B$rA4$F%5%]!<%H$9$k%D!<%k$N=8$^$j$G$9!#(B
B-Core (UK) Limited, Magdalen Centre, The Oxfor Science Park, Oxford OX4
4GA, UK. $B$+$iF~<j2DG=$G$9!#99$K>\:Y$K$D$$$FCN$j$?$$?M$O!"(B Ib Sorensen (tel
+44-1865-784520, fax +44-1865-784518, email <Ib.Sorensen@comlab.ox.ac.uk>) 
$B$HO"Mm$r<h$C$F$/$@$5$$!#(B

Z $B$N%D!<%k$K4X$9$k%5!<%Y%$$O(B Colin Parker,Systems Process Department, W376C,
British Aerospace, Warton Aerodrome, Warton, Preston PR4 1AX, UK $B$K$h$C$F:n@.(B
$B$5$l$?$b$N$,$"$j$^$9!#(B

Subject: $B$I$&$d$C$F(B Z $B$K$D$$$F3X$Y$P$h$$$G$9$+(B?

Courses: $B<BL3!"650i5!4X$G(B Z $B$K4X$9$kB?$/$N9V:B$,$"$j$^$9!#(B

Oxford University $B$G$O(B Z $B$r$D$+$C$F<BL3E*$JC;$$9V:B$rDs6!$7$F$$$^$9!#F3F~E*(B
$B$J9V:B$N$[$+$K:G6a$N652J=q$G$O!">ZL@$d%j%U%!%$%s%a%s%H!"(BzedB $B%D!<%kEy$K4X$9(B
$B$k(B Z $B$K4p$E$/9bEY$J9V:B$b9T$J$C$F$$$^$9!#9V:B$O(B Oxford $B$d4uK>$,$"$l$P$=$l0J(B
$B30$N4k6H$G$b9T$J$$$^$9!#$5$i$K>\$7$$$3$H$rCN$j$?$$?M$O!"(BJim Woodcock
<Jim.Woodcock@comlab.ox.ac.uk> (tel +44-1865-283514, fax +44-1865-273839) 
$B$HO"Mm$r<h$C$F2<$5$$!#(B

Logica UK Limited $B$O(B Z $B$K$+$s$7$F(B 5 $BF|4V$N9V:B$H7A<0E*@_7WK!(B ($B$*$b$K(B Z) $B$K(B
$B4X$9$k(B 3 $BF|4V$NF3F~E*$J9V:B$rDs6!$7$F$$$^$9!#F|?t$HCMCJ$K4X$7$F$O(B Debi
Kearney on +44-1223-66343 ext 4859 $B$KLd$$9g$o$;$F2<$5$$!#(B

Praxis Systems $B$O$$$/$D$+$N(B Z $B$N9V:B$rDs6!$7$F$$$^$9!#>\$7$/$O(B Anthony Hall
on +44-1225-444700 or <jah@praxis.co.uk> $B$K$*Ld$$9g$o$;2<$5$$!#(B

Formal Systems (Europe) Ltd $B$,(B Z,CSP $B$d$=$NB>$N7A<0E*<jK!$N9V:B$r4pK\E*$K$O(B IS 
$B$G(B Jim Wookcock $B$d(B Bill Roscoe ($BN>J}$H$b(B PRG $B$N9V;U(B) $B$N$h$&$J9V;U$G9T$J$C$F$$(B
$B$^$9!#;~4|$dCMCJ$K4X$7$F$O!"(B Joy Reed +44-1865-283503 email
<Joy.Reed@comlab.ox.ac.uk> (PRG) $B$d(B Kate Pearson +44-1865-728460 (Formal
Systems) $B$HO"Mm$r$H$C$F$/$@$5$$!#(B

  DST Deutsche System-Technik runs a $B$O(B Z $B$H(B CSP $B$N%3!<%9$r3+@_$7$F$$$^$9!%$*(B
$B$b$K%I%$%D8l$G9T$o$l$^$9!%$3$l$i$N%3!<%9$O7A<0E*<jK!$H(B Z $B$NF~LgE*$JH>F|$+$i(B1 
$B=54V$N>e5i<T%3!<%9$^$G$"$j$^$9!%>\$7$$$3$H$O(BHans-Martin Hoercher, DST Deutsche
System-Techik GmbH, Edisonstr. 3, D-24145 Kiel, Germany (tel
+49-(0)431-7109-478, fax +49-(0)431-7109-503, email
<hmh@informatik.uni-kiel.d400.de>)$B$HO"Mm$r$H$C$F$/$@$5$$!%(B

Subject: Z $B$K$D$$$F4)9T$5$l$?$b$N$O$"$j$^$9$+(B?

BibTeX $BMQ$N(B Z $B$K4X78$9$k4)9TJ*$N;29MJ88%=8$O!"(BPRG $B$N%"!<%+%$%V%5!<%P$N(B 
ftp.comlab.ox.ac.uk:/pub/Zforum/z.bib.Z
(ftp.comlab.ox.ac.uk:/pub/Zforum/z.ps.Z $B$K(B PostScript $B7A<0(B) $B$+$i<j$KF~$l$k$3$H(B
$B$,$G$-$^$9!#(BOxfort University Programming Research Group (PRG) $B$N(B Technical
Monographs$B$d(B Report $B$rHk=q(B <library@comlab.ox.ac.uk> $B$+$i<j$KF~$l$k$3$H$,$G$-(B
$B$^$9!#(B

1993 $BG/(B 3 $B7n$K(B S.Austin $B$H(B G.I.Parkin $B$K$h$C$F=q$+$l$?(B"Formal Methods: A
Survey" $B$O<BL3$d650i5!4X$G$N(B Z $B$N;H$$J}$H65$($+$?$,$+$$$F$"$j$^$9!#%3%T!<$K(B
$B4X$7$F$O(B DITC Office, Formal Methods Survey, National Laboratory,
Teddington, Middlesex TW11 0LW, UK (tel +44-181-943-7002, fax
+44-181-977-7091) $B$HO"Mm$r<h$C$F2<$5$$!#(B

$B0J2<$NK\$O<g$K(B Z $B$K4X$9$k$b$N$G!"=PHG$5$l$?!"$"$k$$$O=PHG$5$l$k(B
$BM=Dj$N$b$N$G$9!#(B($B$[$\G/Be=g(B)

  I.Hayes (ed.), Specification case studies, Prentice Hall International
      Series in Computer Science, 1987. (2nd ed., 1993)
  J.M.Spivey, Understanding Z: a specification language and its formal
      semantics, Cambridge University Press, 1988.
  D.Ince, An introduction to discrete mathematics, formal system
      specification and Z, Oxford University Press, 1988. (2nd ed., 1993)
  J.C.P.Woodcock & M.Loomes, Software engineering mathematics, Pitman, 1988.
  J.M.Spivey, The Z notation: a reference manual, Prentice Hall
      International Series in Computer Science, 1989. (2nd ed., 1992) +
  A.Diller, Z: an introduction to formal methods, Wiley, 1990.
  J.E.Nicholls (ed.), Z user workshop, Oxford 1989, Springer-Verlag,
      Workshops in Computing, 1990.
  B.Potter, J.Sinclair & D.Till, An introduction to formal specification
      and Z, Prentice Hall International Series in Computer Science, 1991.
      ($BLuK\(B : $B%=%U%H%&%'%";EMM5-=R$N@h?J5;K!(B - Z $B8@8l(B,$B%H%C%Q%s(B)
  D.Lightfoot, Formal specification using Z, MacMillan, 1991.
  A.Norcliffe & G.Slater, Mathematics for software construction,
      Ellis Horwood, 1991.
  J.E.Nicholls (ed.), Z user workshop, Oxford 1990, Springer-Verlag,
      Workshops in Computing, 1991.
  I.Craig, The formal specification of advanced AI architectures,
      Ellis Horwood, September 1991.
  M.Imperato, An introduction to Z, Chartwell-Bratt, 1991.
  J.B.Wordsworth, Software development with Z, Addison-Wesley, 1992.
  S.Stepney, R.Barden & D.Cooper (eds.), Object orientation in Z,
      Springer-Verlag, Workshops in Computing, August 1992.
  J.E.Nicholls (ed.), Z user workshop, York 1991, Springer-Verlag,
      Workshops in Computing, 1992.
  D.Edmond, Information Modeling, Prentice Hall, 1992.
  J.P.Bowen & J.E.Nicholls (eds.), Z user workshop, London 1992,
      Springer-Verlag, Workshops in Computing, 1993.
  S.Stepney, High integrity compilation: A case study, Prentice Hall, 1993.
  M.McMorran & S.Powell, Z guide for beginners, Blackwell Scientific, 1993.
  K.C.Lano & H.Haughton (eds.), Object-oriented specification case studies,
      Prentice Hall International Object-Oriented Series, 1993.
  B.Ratcliff, Introducing Specification Using Z: A Practical Case Study
      Approach, McGraw-Hill, 1994.
  A.Diller, Z: an introduction to formal methods, 2nd ed., Wiley, 1994.
  J.P.Bowen & J.A.Hall (eds.), Z user workshop, Cambridge 1994,
      Springer-Verlag, Workshops in Computing, 1994.
Announced:
  R.Barden, S.Stepney, D.Cooper, Z in practice (A methods handbook for Z),
      Prentice-Hall, 1994. (in press, expected November)
  J.C.P.Woodcock & J.Davies, Using Z: specification, proof and refinement,
      Prentice Hall International Series in Computer Science, 1995?
      (In preparation)

Subject: $B%*%V%8%'%/%H;X8~(B Z $B$C$F$J$s$G$9$+(B?

Z $B$N4v$D$+$N%*%V%8%'%/%H;X8~$N3HD%$,Ds0F$5$l$F$$$^$9!#@hDx>R2p$7$?(B "Object
orientation in Z" $B$H$$$&K\$O!"$$$/$D$+$N(BOOZ $B$N@\6a$KIU$$$F=q$+$l$?O@J8$r=8$a$?(B
$B$b$N$G$9!#(BHall, ZERO, MooZ, Object-Z, OOZE, Schuman&Pitt, Z++, ZEST, Fresco
(OO VDM method) $B$J$I$OJ}K!O@$N8&5f<T$K$h$C$F<g$K=q$+$l$F$$$F!"(B2 $B$D$NF1$8Nc$,<((B
$B$5$l$F$$$k!#F1$8$/@h$K>R2p$7$?(B "Object-oriented specification case studies" $B$O(B
$B%*%V%8%'%/%H;X8~$N7A<0E*;EMM5-=R$N4pK\E*$JJ}K!$d8@8l$K$D$$$F$^$H$a$i$l$F$$$F!"(B 
Z $B$K4p$E$$$?$b$N$b4^$^$l$F$$$^$9!#(B

Subject: $B$I$&$9$l$P(B Z $B$r<B9T$9$k$3$H$,$G$-$^$9$+(B?!

Z $B$O(B ($B0lHL$K<B9T2DG=$G$J$$(B) $B;EMM5-=R8@8l$G$9!#$7$?$,$C$F(B Z $B$K$O%W%m%0%i%_%s%0(B
$B8@8l$N$h$&$K%3%s%Q%$%i$d%j%s%+$J$I$N$h$&$J$b$N$O$"$j$^$;$s!#%i%T%C%I%W%m%H%?%$(B
$B%T%s%0$N$?$a$K(B Z $B$N%5%V%;%C%H$rO@M}7?8@8l!"4X?t7?8@8l$K$h$C$FF0$+$7$F$$$k$b$N(B
$B$b$"$j$^$9!#$7$+$7!"$3$l$i$OM=HwE*$J$b$N$G$"$C$F!"(B $BK\Ev$O(B Z $B$N<g4c$G$O$"$j$^$;(B
$B$s!#(BZ $B$N<g4c$O;EMM2=$5$l$?%7%9%F%`$NM}2r@-$r$"$2$k$3$H$H7A<0E*$J?dO@$d3+H/$r2D(B
$BG=$K$9$k$3$H$K$"$k$N$G$9!#$7$+$7$J$,$i!"(B Prolog $B$O(B Z $B$N%W%m%H%?%$%W$N$?$a$KM-(B
$B8z$J8@8l$G$"$k$H9M$($i$l!"@hDxNs5s$7$?J88%$N$J$+$G$b$$$/$D$+8+$k$3$H$,$G$-$^(B
$B$9!#(B

Subject: $BB>$N(B `Z' $B$N?M!9$O2?=h$K$$$k$N$G$7$g$&$+(B?

$BBh(B8$B2s$N(B Z User Meeting (ZUM'95) $B$,(B 1994 $BG/(B 6 $B7n(B 29-30 $BF|$K(B St. John's
College, University of Cambridge, UK $B$G(B BCS FACS $B$N6(;?$G9T$J$o$l$^$7$?(B.
$BBh(B9$B2s(B Z User Meeting $B$O(B 1995 $BG/(B 9 $B7n(B 7-8 $BF|$K(BLimerick, Ireland $B$G9T$J$o$l$k(B
$BM=Dj$G$9(B. $B0lHLE*$J$3$H$O(BConference Chair $B$N(BJonathan Bowen (tel
+44-1865-283512, fax +44-1865-273839, email
<Jonathan.Bowen@comlab.ox.ac.uk>) $B$KJ9$$$F2<$5$$!%>\$7$$$3$H$O(B 
comp.specification.z $B$K$=$N$&$AN.$l$k$G$7$g$&(B.  Z User Meetings $B$NM=9F=8$O(B 
Springer-Verlag Workshops in Computing series $B$G(B $BBh(B 4 $B2s$N(B 1989 $BG/$N2q5D$+(B
$B$i=PHG$5$l$F$$$^$9!%(BZUM'95 $B$N(B A Call for Papers $B$O(B
http://www.comlab.ox.ac.uk/archive/z/zum95.html $B$+$i(B WWW $B$r$H$*$7$F(B
ftp.comlab.ox.ac.uk:/pub/Zforum/zum95 $B$+$i(B anonymous FTP $B$r$H$*$7$FF~<j$9$k(B
$B$3$H$,$G$-$^$9!%O@J8;22C$NDy$a@Z$j$O(B, 1994 $BG/(B 12 $B7n(B 9 $BF|$G$9(B.

$BBh(B 6 $B2s(B Refinement Workshop $B$O(B City University,London, UK $B$G(B1994 $BG/(B 1 $B7n(B 5-7 
$BF|$K9T$o$l$^$7$?!#%W%m%0%i%`%A%'%"$O(B David Till,Dept of Computer Science, City
University, Northampton Square, London, EC1V 0HB, UK (tel +44-171-477-8552
email <till@cs.city.ac.uk>) $B$G$7$?!#M=9F=8$O(B Springer-Verlag Workshops in
Computing series $B$G=PHG$5$l$kM=Dj$G$9!#(B

$BBh(B 1 $B2s$N(B FME (Formal Methods Europe) $B%7%s%]%8%&%`$O%G%s%^!<%/$N(BOdense $B$G(B 1993 
$BG/(B 4 $B7n(B 19-23 $BF|$K9T$J$o$l$^$7$?!#M=9F=8$O(BSpringer LNCS 670 $B$H$7$FF~<j2DG=$G(B
$B$9!#<!$N(B FME $B%7%s%]%8%&%`$O(B1994 $BG/(B 10 $B7n(B 24-28 $BF|$K%9%Z%$%s$N%P%k%;%m%J$G9T$J(B
$B$o$l$kM=Dj$G$9!#%W%m%0%i%`%A%'%"$O(B Tim Denvir (tel +44-181-882-5853, fax
+44-181-8823118, email <timdenvir@cix,compulink.co.re> ) $B$G$9!#(BOrganizing $B%A%'(B
$B%"$O(B Daniel Cabedo (tel +34-3-290-2400, fax +34-3-290-2416, email
<felixrp@salleserver.url.es>).  FME $B$N%A%'%"%^%s$O(B Martin Thomas,$B$G(BPraxis plc,
20 Manvers Street, Bath BA1 1PX, UK (tel +44-1225-444700, email
<mct@praxis.co.uk>).

FORTE $B$O(BEstelle, Lotos, SDL, ASN.1, Z $B$J$I$N$h$&$JJ,;6%7%9%F%`$KE,MQ2DG=$J7A<0(B
$BE*5;K!$H%F%9%H$NJ}K!O@$K>GE@$,$"$F$i$l$F$$$F$$$k!#(BFORTE'93 $B$O%"%a%j%+(B $B%^%5%A%e(B
$B!<%;%C%D(B $B%\%9%H%s$G(B 1993 $BG/(B 10 $B7n(B 26-29 $BF|$K9T$J$o$l$?!#(B $B>\:Y$KIU$$$F$O(B 
Richard L. Tenney (Chair), Math & Computer Science, University of
Massachusetts, Boston, MA 02125-3393, USA (email <rlt@cs.umb.edu>) $B$HO"Mm$r<h(B
$B$C$F2<$5$$!#(B

Z $B$K4XO"$9$k2q5D$OI,MW$K1~$8$F(B comp.specification.z $B$GO"Mm$5$l$^$9!#(B
$B>e5-$G=R$Y$?2q5D$O!"2?2s$+7+$jJV$5$l$?O"Mm$5$l$^$7$?!#(B

Subject: Z User Group $B$C$F$J$s$G$9$+(B?

Z User Group $B$O(B 1992 $BG/$K(B Z $B$K4X$9$k3hF0!"$H$/$K(B Z User Meeting $B$r4FFD$9$k$?$a(B
$B$K:n$i$l$^$7$?!#(Bcomp.specification.z$B!"(B ZFORUM $B$dM9JX$N%a!<%j%s%0%j%9%H$X$N;22C(B
$B<T$H$7$F$"$J$?<+?H$b(B Z User Group $B$N0l0w$G$"$k$H9M$($k$3$H$,$G$-$^$9!#8=:_$N$H(B
$B$3$m!"%a%s%P!<$K$O2?$NHqMQ$bM?$($i$l$F$$$^$;$s$,!"I,MW$H$"$i$P8+D>$9$Y$-LdBj$G(B
$B$"$k$H9M$($F$$$^$9!#>\$7$$$3$H$rCN$j$?$$?M$O(B <zforum-request@comlab.ox.ac.uk> 
$B$HO"Mm$r<h$C$F2<$5$$!#(B

Subject: $B$I$&$d$C$F(B Z standard $B$r<j$KF~$l$l$P$$$$$N(B?

 ISO/IEC JTC1/SC22 $B$GDs0F$5$l$F$$$k(B Z $B$NI8=`$,(BFTP $B$K$h$C$F(B*$B$N$_(B* Oxford $B$N(BZ $B%"(B
$B!<%+%$%V$+$i(BPostscript $B%U%)!<%^%C%H$GEE;RE*$KF~<j2DG=$G$9!#(B($BHs>o$KBg$-$$$N$G(B 
mail $B$G$N%5!<%S%9$O9T$J$C$F$$$^$;$s(B)$BI8=`$N%I%i%U%H$N%P!<%8%g%s(B1.0 $B$O(B 
ftp.comlab.ox.ac.uk:/pub/Zforum/zstandard1.0.ps.Z $B$H(B 
ftp.comlab.ox.ac.uk:/pub/Zforum/zstandard-annex1.0.ps.Z $B$H$7$FF~<j$9$k$3$H$,$G(B
$B$-$^$9!#(BOxford University Computing Laboratory $B$N%i%$%V%i%j%"%s(B (tel
+44-1865-273837, fax +44-1865-273839, email <library@comlab.ox.ac.uk>)$B$+$i(B 
Technical Monograph number PRG-107 $B$H$7$F%W%j%s%H$5$l$?$b$N$rF~<j$9$k$3$H$b$G(B
$B$-$^$9!#(B

$BLu<TCm(B : $BF|K\9qFb$G$O(B
sa-ftp.cs.titech.ac.jp:/pub/z/zstandard/zstandard1.0.ps.Z $B$H(B
sa-ftp.cs.titech.ac.jp:/pub/z/zstandard/zstandard-annex1.0.ps.Z
$B$+$iF~<j2DG=$G$9!%(B

Subject: $BB>$K$O$I$3$G(B Z $B$K4X$7$FOC$79g$o$l$F$$$k$+(B?

BCS FACS (British Computer Society Formal Aspects of Computer Science special
interest group) $B$H(B FME (Formal Methods Europe) $B$O0lHLE*$K7A<0E*<jK!$K6=L#$r;}(B
$B$DAH?%$G$9!#>\$7$$$3$H$O(B BCS FACS, Dept of Computer Studies, Loughborough
University of Technology, Loughborough, Leicester LE11 3TU, UK (tel
+44-1509-222676, fax +44-1509-211586, email <FACS@lut.ac.uk>) $B$KJ9$$$F$/$@$5(B
$B$$!#(B"FACS Europe" $B$N%K%e!<%9%l%?!<$O(BFACS $B$H(B FME $B$N%a%s%P!<$KG[$i$l$F$$$^$9!#(BZ 
$B$N%3%i%`$NJT=80w(B David Till, Dept of Computer Science, City
University,Northampton Square, London, EC1V 0HB, UK (tel +44-171-477-8552 email
<till@cs.city.ac.uk>) $B$K=PHG2DG=$J$b$N$rAw$C$F$/$@$5$$!#(Bcomp.specification.z 
$B$N%K%e!<%9%0%k!<%W$N5-;v$+$i$b6=L#?<$$$b$N$K4X$7$F$O(B($B2DG=$J$i$P5v2D$rF@$F(B)$B:\$;(B
$B$k$3$H$b$"$j$^$9!#$b$72?$i$+$NM}M3$G:FG[I[$5$l$k$H:$$k?M$O(B 
comp.specification.z $B$N5-;v$KEj9F<T$,$=$&=q$$$F$*$$$F$/$l$k$H=u$+$j$^$9!#(B

Subject: VDM $B$O(B Z $B$H$/$i$Y$F$I$&$J$N(B?

VDM $B$H(B Z $B$N0c$$$rM}2r$9$k$?$a$K$O(B ftp.cs.man.ac.uk:/pub/TR/UMCS-93-8-1.ps.Z $B$N(B
Manchester $B$N%*%s%i%$%s(B Technical Report $B$H$7$F<j$KF~$l$k$3$H$,$G$-$k(B
I.J.Hayes, C.B.Jones & J.E.Nicholls $B$K$h$k(B FACS Europe, series I, 1(1):7-30,
Autumn 1993 $B$H(BI.J.Hayes, VDM and Z: A comparative case study, Formal Aspects
of Computing, 4(1):76-99, 1992 $B$r8+$F$/$@$5$$!#(BVDM $B$O(B (unmoderated $B$J(B) VDM
FORUM $B$H$$$&%a!<%j%s%0%j%9%H$G5DO@$,9T$J$o$l$F$$$^$9!#(B "join vdm-forum <name>" 
$B$G(B <name> $B$KK\Ev$NL>A0$rF~$l$F(B<mailbase@mailbase.ac.uk> $B$K%a%C%;!<%8$rAw$C$F$/(B
$B$@$5$$!#$3$N%a!<%j%s%0%j%9%H$N4IM}<T$NO"Mm@h$O!"(Bthe University of Newcastle
upon Tyne, England $B$N(B John Fitzgerald $B$G(Be-mail $B%"%I%l%9$O(B 
<vdm-forum-request@mailbase.ac.uk> $B$G$9!#(B

Subject: $B$b$74V0c$$$dB-$j$J$$$b$N$K5$$E$$$?$i(B?

Updates: $B@5$7$$$b$N$rAw$C$F$/$l$k$+2q5D$dK\$d%D!<%k$J$I$K4X$9$k4XO">pJs$r(B
<zforum-request@comlab.ox.ac.uk> $B$KAw$C$F2<$5$$!#(B
$B?7$7$$LdBj$d$=$NLOHO2rEz$bBg4?7^$G$9!#(B

--
Jonathan Bowen, <Jonathan.Bowen@comlab.ox.ac.uk>
Programming Research Group, Oxford University Computing Laboratory, UK.

Translated by  Takanori Ugai, <ugai@syslab.iias.flab.fujitsu.co.jp>
Institute for  Social Information Science,FUJITSU LABORATORIES LTD. Chiba Japan
$B1-;t(B $B9'E5(B,$BIY;NDL8&5f=j(B $B>pJs<R2q2J3X8&5f=j(B
$Id: z-faq,v 1.10 1994/11/01 01:49:40 ugai Exp ugai $
