ICOT Today Issue #2

1993$BG/(B11$B7n(B4

$B!NL\

$B!N$O$8$a$K!O(B

$B=)$b?<$^$j!"9HMU$N$-$l$$$J5(@a$H$J$j$^$7$?!#(BICOT $B$N$=$P$@$H!"/$7B-$r$N$P$9$H9-Hx$NM-@4@n8x1`$d?@5\301q$bH~$7$$$G$9$M!#El5~6a9Y$G40(B $BA4$KMU$,?'$E$/$^$G$K$O$^$@>/$74V$,$"$k$h$&$J$N$G!"$I$3$+KL$NJ}$+;3$NJ}(B $B$X1s=P$7$?$$$J$!!"$H;W$&:#F|$3$N:"$G$9!#(B

$B$5$F!"(BFGCS $B8e7Q%W%m%8%'%/%H$,%9%?!<%H$7$F(B 7$B%v7n$,2a$.$^$7$?!#(B ICOT $B$G$O!"8&5f0w$O$=$l$>$l$N8&5f%F!<%^$4$H$K9g=I$r9T$J$C$?$j!"Bg3X$N(B $B@h@8J}$d%a!<%+$N8&5f $B$^$?!"(BICOT Today $BBh(B 2$B9f$G$*EA$($7$?!V(B KLIC$B9V=,2q!W$,3+:E$N1?$S$H$J$j!"(B $B$$$h$$$h;22C/(B $B$7@bL@$7$?$$$H;W$$$^$9!#(B

ICOT$B$O!":#G/$N(B 4$B7n$h$j(B FGCS$B8e7Q%W%m%8%'%/%H$r3+;OCW$7$^$7$?!#$3$N%W%m(B $B%8%'%/%H$NL\I8$G$"$kBh8^@$Be%3%s%T%e!<%?5;=Q$NIa5Z$rB%?J$9$k0UL#$G$b!"(B ICOT$B$N=t8&5f3hF0$d3$30$H$N8rN.>u67!"3FpJs$r(B $B$*FO$1$9$k!V(B ICOT Today$B!W$rH/4)$7$^$7$?!#$3$N9f$GBh(B 3$B9f$H$J$j!"8=:_(B $BLs(B 250$B?M$NJ}$K$49XFID:$$$F$$$^$9!#(B

$B:#2s!"!V(B KLIC$B9V=,2q!W$N;22CJg=8$r(B ICOT Today $BBh(B 3$B9f$N;o>e$G9T$J$&$K$"(B $B$?$j!"$3$N9f$K8B$jG[I[@h$r9-$2$^$7$?!#!V(B KLIC$B!W$H$O!"(BICOT$B$G8&5f3+H/$7(B $B$?%7%9%F%`$G!"(BKL1$B%W%m%0%i%`$r(B C$B8@8l$KJQ49$9$k=hM}7O$N$3$H$G$9!#$3$l$K(B $B$h$C$F:#$^$G(BPIM$B$N>e$G$7$+F0$+$J$+$C$?%W%m%0%i%`$,%Q%=%3%s>e$G$b;H$($k(B $B$h$&$K$J$j$^$9!#$3$NEY!"$=$NC`\:Y$O!"(BICOT Today $BBh(B 2$B9f$G(BKLIC$B3+H/ItBb$N%j!<%@$G$"$k(B ICOT$B$N(B $B6a;3ItD9$+$i$4>R2p$7$^$7$?$,!"$=$N5-;v$r!V(B KLIC$B9V=,2q;22C?=9~=q!W$N$"(B $B$H$K$D$1$^$9$N$G!"$4;2>H2<$5$$!#(B

KLIC$B$N5-;v$@$1$G$J$/!"$=$NB>$N5-;v$b@'Hs$40lFI2<$5$$(B ! $B$3$l$r5!2q$K:#(B $B8e(B ICOT Today $B$r9XFI$7$?$$$H$$$&J}!"%P%C%/%J%s%P!<$r$44uK>$NJ}$,$$$i$C(B $B$7$c$$$^$7$?$i!"2<5-$N%a!<%k%"%I%l%908$K$4O"Mm$r$*4j$$$7$^$9!#(B

irpr@icot.or.jp

KLIC$B9V=,2q$ODj0w?t$,>/$J$$$N$,Fq$G$9$,!"$=$NJ,9V5A$He!"$I$7$I$7$41~Jg2<$5$$!#C4Ev $BO21[!!FA;R(B

$B$=$l$G$O!"(BICOT Today $BBh(B 3$B9f!":G6a$N(B ICOT$B4XO"%K%e!<%9$N(B Headline$B$+$i$*(B $BEA$($7$^$9!#(B

$B!N#I#C#O#T!!#H#E#A#D#L#I#N#E!O(B

$B#1!%!!L5NA(B KLIC $B9V=,2q$N;22C

$B:#2s$N!V(B KLIC$B9V=,2q!W$G$O!"(B2$BF|4VO"B3$N9V=,$r(B 2$B2s9T$J$$$^$9!#Bh(B 1$B2s$,(B 12/16$B!JLZ!K!&(B 17$B!J6b!K!"Bh(B 2$B2s$,(B 12/21$B!J2P!K!&(B 22$B!J?e!K$G$9!#(B1$B?M(B 1$BBf$N(B X$BC\$7$$FbMF$H;22C?=9~=q$O!"$3$N2<$N!V(B This Issue's Article$B!W$NCf$K$"$j$^$9!#(B $B3'MM$N$41~Jg$r$*BT$A$7$F$*$j$^$9(B !!$B!J5-;v(B No.3-1$B!K(B

$B#2!%!!:G?7(B ICOT$B%U%j!<%=%U%H%&%'%";v>p(B

$B3'$5$s$4B8$8$N$h$&$K!"(BICOT$B$G$O!"(BFGCS$B%W%m%8%'%/%H$*$h$S(B FGCS$B8e7Q%W%m%8%'(B $B%/%H$G3+H/$7$?%=%U%H%&%'%"$r!V(B ICOT Free Software$B!J(B IFS$B!K!W$H$7$FL5=~(B $B8x3+$7$F$$$^$9!#(BKLIC$B$b$=$N$R$H$D$H$7$F8x3+$5$l$^$9!#<+?H$N8&5f$NB>$K!"(B IFS$B$NC4Ev$G$b$"$j!"(BIFS Newsletter $B$rH/9T$7$F$$$k(B ICOT $BBh(B 2$B8&5fIt$NAj(B $B>lN<;a$,!"8=:_8x3+Cf$N%=%U%H$,$I$3$N9q$+$i$I$NDxEY%"%/%;%9$5$l$F$$$k$+(B $BEy$K$D$$$F!":G?7$N(B IFS$B;v>p$rJs9pCW$7$^$9!#(B$B!J5-;v(B No.3-2$B!K(B

$B#3!%!!(BIJCAI'93$BJs9p(B

$B5n$k(B 8$B7n(B 14$BF|$+$i(B 20$BF|$N(B 6$BF|4V!"%U%i%s%9$N%7%c%s%Y%j!<$G(B IJCAI'93 $B$,3+(B $B:E$5$l$^$7$?!#(BIJCAI$B$O:#2s$G(B 13$B2s$r?t$(!"(BAI$B$N2q5D$H$7$F$O:G$bBg$-$/8"0R(B $B$,$"$k$3$H$GCN$i$l$F$$$^$9!#8&5fH/I=$NCf?H$K$D$$$F$O3'$5$s?'!9$J3X2q;o(B $BEy$G$*FI$_$K$J$k5!2q$bB?$$$3$H$H;W$$$^$9$N$G!"(BICOT Today $B$G$O!"8&5f$N(B $B7x$$OC$G$O$J$/!"8&5f0J30$N2Z$d$+$J%$%Y%s%HEy$K$D$$$F(B ICOT$BBh(B 2$B8&5fIt$N(B $BEDCf=(=S;a$KJs9p$7$F$b$i$$$^$7$g$&!#(B$B!J5-;v(B No.3-3$B!K(B

$B#4!%!!(BTony Hoare$B65

$B%3%s%T%e!<%?2J3X$NJ,Ln$G$O!"ZL@!J(B PTP$B!K%?%9%/%0%k!<%W$K$*$$$F!"!V(B Compiler Design by Algebraic Transformation $B!W$H$$$&%?%$%H%k$G9V1i$7$F2<$5$$$^$7$?!#$3(B $B$N9V1i$K$D$$$F!"$b$H(B ICOT $B$N8&5fC4Ev $B8E@n;a$K$h$k$H!"(BHoare $B$5$s$N9V1i$O!"4JC1$K8@$($P!"!X@5$7$/F0$/%W%m%0%i(B $B%`$r$I$&$d$C$F:n$k$+!Y!"$H$$$&$*OC$@$=$&$G$9!#(B Requirement, Specification, Program, Machine code, Hardware $B$H$$$&2aDx$r7P$F!"$d$j(B $B$?$$$3$H$r)$5$l$F$$$k$H$$$&$3$H$G$7$?!#(B $B8E@n;a$K9V1i$N46A[$r;G$C$F$_$^$7$g$&!#(B

$B!V(B Hoare $B$5$s$N%"%W%m!<%A$O!"DL>o$N%W%m%0%i%`$r:n$k>l9g$K$O$"$^$j8=o$KFq$7$$$H$$$C$?LdBj$,$"$k!#$?$@!"1~MQJ,Ln$rJBNs(B $B%"%k%4%j%:%`$N3+H/$K$9$k$H!"H`$N%"%W%m!<%A$OBgJQM-K>$G$9!#$=$NM}M3$O!"(B

  1. $BJBNs$N>l9g!"<+A38@8l$G$O(B requirement $B$rI=8=$7$K$/$$!#(B
  2. $BJBNs=hM}$@$H!"?M4V$ND>4Q$G$O$J$+$J$+@5$7$$H=CG$,=PMh$J$$!#(B

$B$J$I$G$9$M!#:G8e$K(B Hoare $B;a$K!XJBNs$K$b%"%W%i%$$7$h$&$H$7$F$$$k$+!Y$H(B $B

$B!N(BKLIC $B$N9V=,2q$H;22C

$B!!!!#I#C#O#T9-Js!&>D30C4Ev%0%k!<%W(B

$B8=:_!"(BICOT$B$O!"(B5G$B5;=Q$r4{B8$N%3%s%T%e!<%?5;=Q$HM;9g$5$;!":#8e$NCN<1=hM}(B $B5;=Q3+H/$N8&5f4pHW$H$9$k$?$a$N8&5f3+H/$r?J$a$F$*$j$^$9!#(B

$B$3$N8&5f3+H/$NR2p$7$?DL$j$G$9!#(B

KLIC $B$r9-$/3'MM$K;H$C$FD:$/$?$a$K!"$3$NEY(B ICOT $B$G$O!VL5NA(B KLIC $B9V=,2q!W(B $B$r4k2hCW$7$^$7$?!#9V=,2q$N3+:EMWNN$O2<5-$NDL$j$G$9!#;DG0$J$,$i2q>l%9%Z!<(B $B%9$NET9g>e;22C$7$F$$$?$@$1$kJ}$N?t$K8B$j$,$"$j$^$9$N$G!"1~Jg%a!<%k$NE~(B $BCe=g$N;22C$H$5$;$F$$$?$@$-$^$9!#(B

$B;22C$r4uK>$9$kJ}$O!"$3$N$*CN$i$;$N:G8e$K$"$k?=9~=q$KI,MW;v9`$r5-F~$N>e!"(B e-mail $B$K$F$*?=$79~$_2<$5$$!#!J?=$79~$_$N$H$7$^$9!#Dj0w$O@hCe(B 50$BL>$G!"Dj0w$K$J$j(B $B $B?=$79~$_@h!&Ld$$9g$;@h$N%"%I%l%9$O!"(B

irpr@icot.or.jp

$B$G$9!#3'$5$s!"J3$C$F$41~Jg2<$5$$!#(B

$B1~JgD:$$$?J}$K$O!"$4;22CD:$1$k$+H]$+$N$*JV;v$r%a!<%k$K$F$*Aw$j$9$k$3$H(B $B$K$7$F$*$j$^$9!#(B11$B7n(B 30$BF|!J2P!K$^$G$KJV;v$,FO$+$J$$>l9g$O!">e5-%"%I%l(B $B%9$K$*Ld$$9g$;2<$5$$!#(B

$B5-(B

$B!c!!3+!!:E!!MW!!NN!!!d(B

$B2q>l!'!!!!#I#C#O#T%"%M%C%/%92q5D<<(B

$BF|;~!'!!!!#2F|4VO"B3$N9V=,2q$r(B $BF1$8FbMF$G(B $B#22s9T$J$$$^$9!#(B

$B!!!!!!!!!!

$BBh#12s!!!!#1#27n#1#6F|!JLZ!K!&(B $B#1#7F|!J6b!K(B
$BBh#22s!!!!#1#27n#2#1F|!J2P!K!&(B $B#2#2F|!J?e!K(B

$B!!!!!!!!!!!yCk?)$OMQ0U$7$F$*$j$^$;$s!#(B

$BDj0w!'!!!!#2#5L>!_#22s(B

$B;22CHq!'!!L5NA(B

$BBP>]!'!!!!r7o$rK~$?$95;=Q

$B#1!%(BUnix $B$NMxMQ7P83$,$"$k$3$H(B
$B#2!%%W%m%0%i%_%s%0$N7P83$,$"$k$3$H(B
$B#3!%(BOS, $B%W%m%0%i%_%s%0$K$D$$$F$N4pACCN<1$,$"$k$3$H(B

$B%9%1%8%e!<%k!JM=Dj!K!'(B

-------------- $B;2(B $B2C(B $B?=(B $B9~(B $B=q(B -------------------





$B0J2<$O!"(BICOT Today $BBh(B 2$B9f$G$*EA$($7$?!"(BKLIC $B3+H/%A!<%`$N%j!<%@(B ICOT$BBh(B 1$B8&5fItD9(B $B6a;3N4;a$+$i$N!"(BKLIC$B8&5f3+H/>u67$N:G?7>pJs$G$9!#:#2s=i$a$F(B ICOT Today $B$r$*FI$_$K$J$kJ}$O0J2<$N5-;v$r$4;2>H2<$5$$!#(B

$B!N%]!<%?%V%k$J(B KL1 $B=hM}7O(B KLIC$B!O(B

$B!!!!#I#C#O#TBh#18&5fItItD9!!6a;3(B $BN4(B

$B#1!%!!#K#L#I#C$NFCD'(B

$BA09f$N(B ICOT Today $B$G$b$*CN$i$;$7$^$7$?$h$&$K(B, KLIC ($B%/%j%C%/(B) $B$O(B KL1 $B%W%m%0%i%`$r(B C $B8@8l$K%3%s%Q%$%k$9$k$3$H$K$h$C$F(B, $B=>Mh$N$h$&$K(B PIM $B$N>e(B $B$@$1$G$O$J$/(B, $B;T>l$GF~e$GF0:n$G$-(B $B$k$h$&$K$7$?%7%9%F%`$G$9(B. $B$3$N(B KLIC $B$K$h$C$F(B, $B=>Mh(B PIM $B>e$G3+H/$7$F$-(B $B$?(B KL1 $B$K$h$kCN<1=hM}$N%D!<%kN`$d1~MQ%=%U%H%&%'%"$,(B, Unix $B%^%7%s>e$K4J(B $BC1$K0\?"$G$-$k$h$&$K$J$j$^$9(B.

Unix $B$NI8=`$N8@8l$G$"$k(B C $B$K%3%s%Q%$%k$9$kJ}<0$r$H$C$?$?$a$K(B, C $B$J$I$N(B $B8@8l$G=q$+$l$?%W%m%0%i%`$H4JC1$K7k9g$G$-$k$N$bBg$-$JMxE@$G$9(B. $B$?$H$((B $B$P(B, $B4{B8$N%i%$%V%i%j!&%W%m%0%i%`$r4JC1$K(B KL1 $B$+$i8F$S=P$;$^$9(B. $B$^$?(B, $B4{$K(B KL1 $B$G=q$$$F$"$k%W%m%0%i%`$NCf$G(B, $B%"%k%4%j%:%`$,4JC1$G@-G=$X$N1F(B $B6A$,Bg$-$$ItJ,$r(B, $B?M$7(B, $B:YIt$^$G:GE,2=$9$k$3$H$b(B $B$G$-$^$9(B.

$B5U$K(B, $B4{B8$NC` $B#2!%!!BP>]$H$9$k7W;;5!%7%9%F%`(B

$BEvLLBP>]$H$7$F$$$k$N$O(B, Unix $B$r%Y!<%9$K$7$?7W;;5!%7%9%F%`$G$9(B.

$B@8@.$9$k(B C $B%W%m%0%i%`!&%3!<%I$G$O(B, $BFCDj$N(B C $B%3%s%Q%$%i$@$1$,Ds6!$9$k$h(B $B$&$J5!G=$OMQ$$$J$$J}?K$r$H$C$F$$$^$9(B. $B$3$l$O@-G=LL$@$1$+$i9M$($k$HIT(B $BMx$JE@$b$"$k$N$G$9$,(B, $B0\?"$7$d$9$5$r:G=E;k$7$^$7$?(B. $B$3$N$?$a(B, KLIC $B%7(B $B%9%F%`$O$[$H$s$I$N(B Unix $B7W;;5!$KLdBj$J$/0\?"$G$-$k$h$&$K$J$C$F$$$^$9(B.

$BC`e$G$bF0:n$7$^$9(B. $B$3$l(B $B$^$G$K:n$C$? $BJBNs=hM}$b9T$J$($kHG$G$O(B, $B0J2<$N$h$&$J%7%9%F%`$rBP>]$K9M$($F$$$^$9(B.

$B!!!}(B Unix $B%Y!<%9$NJBNs7W;;5!(B ($B6&M-%a%b%j(B, $BHs6&M-%a%b%j$NN> $B!!!}(B $B%M%C%H%o!<%/@\B3$7$?(B Unix $B7W;;5!72(B

$BJBNs=hM}$KI,MW$J%W%m%;%94V$NDL?.$dF14|$K$D$$$F$O(B, $B;DG0$J$,$i8zN(E*$JI8(B $B=`%$%s%?%U%'!<%9$,$"$j$^$;$s(B. $B$=$3$GEvLL$O(B, PVM (Parallel Virtual Machine) $B$H$$$&%7%9%F%`0MB8It$r1#JC$9$kDL?.!&F14|%i%$%V%i%j(B ($B%F%M%7!<(B $BBg3X(B, $B%*!<%/%j%C%89qN)8&5f=j(B, $B%(%b%j!-Mh$3$N(B PVM $B$N2~NI$dIa5Z$NF0(B $B8~$r8+$J$,$i(B, $BI,MW$J$i0\?"@-$H8zN($N9b$$B>$NJ}K!$rA*$V2DG=@-$b$"$j$^$9(B.

$B#3!%!!=hM}J}<0$N35N,(B

KL1 $B$+$i(B C $B$X$N%3%s%Q%$%i$,(B, KL1 $B%W%m%0%i%`$r(B C $B%W%m%0%i%`$KJQ49$7$^$9(B. $B8e$OIaDL$N(B Unix $B>e$N%W%m%0%i%`$N]%7%9%F%`$4$H$N(B C $B%3%s%Q%$%i$G9T$J$$$^$9(B. $B%3%s%Q%$%k7k2L$O(B KLIC $B$N(B $B8@8l$G=q$$$?%W%m%0%i%`$J$I$H%j%s%/$7$F(B, $B $B$3$l$^$G$N5-9f=hM}8@8l(B (Lisp $B$d(B Prolog $B$J$I(B ) $B$N=hM}7O$G$O(B, $B%3%s%Q%$%i(B $B$b%G%P%C%,$be$2$k$H$9$Y$F$=$NCf$G:n6H$9$kJ}<0$,NI$/8+$i$l$^$7$?(B. $B$3$N$d$j$+(B $B$?$O%=%U%H%&%'%"3+H/$K$OJXMx$JLL$b$"$k$N$G$9$,(B, $B$G$-$"$,$C$?%=%U%H%&%'(B $B%"$rAv$i$;$k$@$1$N>l9g$G$b(B, $B;H$o$J$$5!G=$b4^$s$@Bg$-$J%7%9%F%`$rF0$+$5(B $B$M$P$J$i$J$$7gE@$,$"$j$^$7$?(B.

KLIC $B$G$Ol9g$K$O(B, $B%H%l!<%95!G=IU$N.5,LO$J%7%9%F%`(B ($B$?$H$($PAH9~$_7W;;5!(B ) $B>e$G$b2DG=$G$9(B.

$B#4!%!!@-G=(B

KL1 $B$H(B C $B$H$G$O%W%m%0%i%`@\5!3#8l$r@8@.$9$kJ}<0$h$j$b@-G=LL$GITMx$J$N$OL@$i$+$G$9(B. $B$I$N%O%s%G%#%-%c%C%W$r$I$NDxEY9nI~$G$-$k$+$,(B, KLIC $B$N3+H/$NMWE@$N$R$H(B $B$D$G$9(B.

$B9,$$$5$^$6$^$J.$5$/$G$-(B $B$^$7$?(B. KLIC $B$N@\5!3#8l$r@8@.$9$k%b!<%I(B $B$G%3%s%Q%$%k(B ) $B$HF1$87W;;5!%O!<%I%&%'%"(B (Sparc-10 model 30) $B>e$GHf$Y$?(B $B7k2L$O(B, $B0J2<$N$h$&$K$J$j$^$7$?(B.

$B%W%m%0%i%`(B$B%G!<%?(B $B$B%3!<%I%5%$%:Hf(B
(SICStus/KLIC)(SICStus/KLIC)
nreverse list30 1.77 1.37
qsort list50 2.47 1.17
deriv timse10 2.23 1.79
divide10 2.00 $BF1>e(B
log10 2.72 $BF1>e(B
ops8 2.73 $BF1>e(B
serialize palin25 3.05 1.39
primes 10000 2.31 1.40
tak 8 2.07 0.94

$BI=$+$i$o$+$k$h$&$K(B, $BB.EY$O(B KLIC $B$,Ls(B 1.8$B!A(B3$BG\B.$/$J$C$F$$$^$9(B (KL1 $B$O(B Prolog $B$h$j=hM}$,4JC1$JItJ,$b$"$j$^$9$+$i(B, $BC1=c$K$OHf3S$G$-$^$;$s$,(B ). $B%*%V%8%'%/%H%3!<%I$b$[$H$s$I$,(B SICStus Prolog $B$h$j>.$5$/$J$C$F$$$^$9(B. $B$7$+$b(B, $B$3$N7k2L$O:GE,2=$r$"$^$j9T$J$C$F$$$J$$8=:_$N(B KLIC $B$K$D$$$F$N$b(B $B$N$G(B, $B:#8e$^$@BgI}$K@-G=$r8~>e$5$;$kM>CO$,$"$k$H9M$($F$$$^$9(B.

$B$J$*(B, $B@dBP@-G=$H$7$F$O(B Sparc-10 model 30 $B>e$N(B naive reverse $B$GLs(B 2 M LIPS $B$rF@$F$$$^$9(B.

$B#5!%!!(BKLIC $B%7%9%F%`$N8x3+(B

KLIC $B%7%9%F%`$r8!F$$9$k$?$a$K:n$C$? $B$b$C$HK\3JE*$J=hM}7O$N8x3+$O(B, 10 $B7n$K$J$k8+9~$_$G$9(B. $B:G=i$NJBNsF0:nHG(B $B$O(B 94 $BG/(B 3 $B7n:"$N8x3+$rL\;X$7$F$$$^$9(B.

10 $B7n$K8x3+$9$kHG$G$O(B, $B0J2<$N5!G=$rDs6!$9$kM=Dj$G$9(B.

$B8=:_(B KL1 $B$+$i(B C $B$X$N%3%s%Q%$%i$O(B Prolog $B$G5-=R$7$F$"$j(B, 10$B7n$N8x3+$O$3(B $B$NHG$K$J$k8+9~$_$G$9(B. $B$3$l$O6a!9(B KL1 $B<+?H$G5-=R$7$?HG$K0\9T$9$kM=Dj$G(B, $B$=$N:]$K$O(B KL1 $B$+$i%3%s%Q%$%k$7$?7k2L$N(B C $B$N%3!<%I$GG[I[$9$k$3$H$K$J$k(B $B$G$7$g$&(B.

$B$=$N8e$b(B, $B%G!<%?7?$N=<.?tE@?t(B $B$J$I(B ) $B$dHsF14|F~=P(B $BNO$J$I$N5!G=$N3HD%$H(B, $B%H%l!<%5$N5!G=3HD%$d%W%m%U%!%$%i$NF3F~$J$I(B, $B%W%m(B $B%0%i%`3+H/4D6-$N=< $B0J>e(B

$B!N:G?7(B ICOT$B%U%j!<%=%U%H%&%'%";v>p!O(B

$B!!!!#I#C#O#TBhFs8&5fIt!!Aj>l!!N<(B

$B#1#9#9#2G/#67n#1F|$+$i#5F|$NF|Dx$G!"Bh8^@$Be%3%s%T%e!<%?9q:]2q5D!"#F#G(B $B#C#S!G#9#2$,El5~$G3+$+$l$^$7$?!#$"$l$+$i$=$m$=$m#1G/H>$,2a$.$h$&$H$7$F(B $B$$$^$9$,!"$=$N8eK;$7$$$3$H$b$"$C$F$+!";d$K$O!"$"$N2q5D$+$i#2!"#3G/$b$?$C(B $B$?$h$&$J5$$,$7$^$9!#(B

$B#F#G#C#S!G#9#2$ND>A0!";d$O!"<+J,$NH/I=$O$b$H$h$j!"%?%9%/%0%k!<%W$N0l0w(B $B$H$7$F!"Ev;~$NEDCfBhO;8&5f<<<u67$K$J$k$3$H$OL@$i$+$G!"8x3+=`Hw:n6H$GK;$7$$Cf!"$I(B $B$NDxEY%3%T!<$7$F$$$?$@$1$k$b$N$+$HIT0B$K$J$C$?$N$r3P$($F$$$^$9!#(B

$B$3$N$H$-#7#1K\$N%W%m%0%i%`$,8x3+$5$l!"$=$N8e!"#1#9#9#3G/$N!VBh8^@$Be%3(B $B%s%T%e!<%?$K4X$9$k%7%s%]%8%&%`!W$N;~E@$G$5$i$K#6K\$r8x3+$7$^$7$?!#$^$?!"(B $B#1#9#9#3G/$N#1#17n$K$O$5$i$K#7K\$rDI2C8x3+$9$kM=Dj$G$9!#(B

$B$3$N8x3+$O!"86B'$H$7$F#F#T#P$K$h$k%M%C%H%o!<%/7PM3$N8x3+$G!"9-$/3$30$X(B $B$b9-Js$7$?$H$$$&E@$G!"@h6nE*$J$b$N$G$7$?!#:G=i$N8x3+$+$iLs#1G/#5%17n!"(B $BEv=iA[A|$b$7$F$$$J$+$C$?NL$N%=%U%H%&%'%"$,!"F|K\Cf$K!"@$3&Cf$K%3%T!<$5(B $B$l$F$$$-$^$7$?!#$3$N4V$K#I#F#S8x3+$K4X$9$k#I#C#O#T$NBN@)$b!"$+$J$j$7$C(B $B$+$j$7$?$b$N$K$J$j$^$7$?!#$=$N$*$+$2$G!"$3$NJ8$NCf$K=P$F$/$k$h$&$JE}7W(B $B>pJs$b$H$l$k$h$&$K$J$C$F$$$^$9!#(B

$B:G=i$N8x3+$+$i$3$l$^$G$N4|4V$G!"#I#F#S$X$N%"%/%;%9$O!"#1#07n#1F|IU$1$G(B $B

$B#I#F#S$KBP$9$k$9$Y$F$N%"%/%;%97o?t!J#R#E#A#D#M#E%U%!%$%k$r4^$`!K(B
$B9qL>(B $B%"%/%;%9?M?t(B $BE>Aw%U%!%$%k7o?t(B
$BF|K\(B $B#4#1#3(B$B#2#6#2#2(B
$B%"%a%j%+(B $B#3#5#1(B$B#2#4#4#7(B
$B%U%i%s%9(B $B#3#6(B $B#3#6#3(B
$B%I%$%D(B $B#6#1(B $B#3#5#0(B
$B%$%.%j%9(B $B#6#1(B $B#2#5#8(B
$B%+%J%@(B $B#5#0(B $B#2#1#9(B
$BBg4ZL19q(B $B#1#0(B $B#1#8#2(B
$B%*!<%9%H%i%j%"(B $B#4#3(B $B#1#2#8(B
$B%9%&%'!<%G%s(B $B#2#3(B $B#1#0#0(B
$B%*%i%s%@(B $B#2#1(B $B#5#6(B
$B$=$NB>(B *) $B#1#6#4(B $B#5#6#3(B
$B9g7W(B $B#1#2#3#3(B$B#7#2#8#8(B

*) $B$=$NB>$K4^$^$l$k9q$O!"%]%k%H%,%k!"%*!<%9%H%j%"!"Fn%"%U%j%+!"%U%#%s(B $B%i%s%I!"%$%?%j%"!"%7%s%,%]!<%k!"%9%$%9!"%G%s%^!<%/!"%N%k%&%'!e$N(B $BI=$H$b9g$o$;$F9g7W#3#9$N9q$HCO0h$+$i%"%/%;%9$r $B$3$N$h$&$K!"#1G/#5%17n$G#1(B,$B#2#3#3?M$,#I#F#S$K%"%/%;%9$r$7!"7W#7(B,$B#2#8#8(B $B%U%!%$%k$,E>Aw$5$l$F$$$^$9!#$H$3$m$,!"$3$NE>Aw%U%!%$%k7o?t$NCf$K$O!"$I(B $B$3$N#F#T#P%5%$%H$K$b$"$k$h$&$J!"%G%#%l%/%H%j$N9=@.$J$I$r=q$$$?#R#E#A#D(B $B#M#E%U%!%$%k$b$U$/$^$l$F$$$^$9$7!"#R#E#A#D#M#E%U%!%$%k$@$1$rE>Aw$7$??M(B $B$b%"%/%;%9?M?t$K4^$^$l$F$$$^$9!#$7$?$,$C$F!"$3$N$h$&$J#R#E#A#D#M#E%U%!(B $B%$%k$K$@$1%"%/%;%9$7$?%1!<%9$r=|30$7!" $B##(B

$B#I#F#S$KBP$9$k
$B9qL>(B $B%"%/%;%9?M?t(B $BE>Aw%U%!%$%k7o?t(B
$BF|K\(B $B#3#0#8(B$B#1#3#7#5(B
$B%"%a%j%+(B $B#2#0#4(B$B#1#3#5#3(B
$B%U%i%s%9(B $B#2#6(B $B#2#1#6(B
$B%I%$%D(B $B#4#0(B $B#1#9#7(B
$BBg4ZL19q(B $B#8(B $B#1#3#9(B/TH>
$B%+%J%@(B $B#2#7(B $B#9#3(B
$B%9%&%'!<%G%s(B $B#9(B $B#4#7(B
$B%]%k%H%,%k(B $B#3(B $B#3#2(B
$B%*!<%9%H%i%j%"(B $B#1#5(B $B#2#3(B
$B%*!<%9%H%j%"(B $B#9(B $B#2#3(B
$B$=$NB>(B *) $B#1#2#1(B $B#3#0#6(B
$B9g7W(B $B#7#7#0(B$B#3#8#0#4(B

$B$3$N%G!<%?$K$h$k$H!"#I#F#S$K%"%/%;%9$7$??M$N#6#0!s0J>e$,!"Aw$7$F$$$k$3$H$,J,$+$j$^$9$7!"$^$?!"E>Aw(B $B$5$l$?%U%!%$%k$N$*$h$=#5#2!s$,!"$=$&$7$?%=%U%H%&%'%"$N%U%!%$%k$G$"$k$3(B $B$H$,J,$+$j$^$9!#(B

$BAw$5$l$?%U%!%$%k$NLsH>J,$,%=%U%H%&%'%"$N%U%!%$%k$G$"$C$?$3$H$,(B $BJ,$+$C$F!"$$$5$5$+6C$$$F$$$^$9!#<+J,$N7P83$+$i$b!"#F#T#P%5%$%H$K%"%/%;(B $B%9$7$F!"#R#E#A#D#M#E%U%!%$%k$@$1E>Aw$7!"$=$l$C$-$j$K$J$k>l9g$,B?$+$C$?(B $B$+$i$G$9!#$=$NJ,!"K\Ev$K%=%U%H%&%'%"$,I,MW$G%"%/%;%9$7$?J}$,B?$+$C$?$H(B $B$$$&$3$H$G$7$g$&!##I#F#SC4Ev$H$7$F$O!"$^$9$^$9@UG$$r46$8!"0BDj$7$?8x3+(B $B$r9T$o$J$1$l$P$J$i$J$$$H9M$($F$$$^$9!#(B

$B$5$F!"#7#7#0?M$NJ}$O!"$I$N$h$&$JAH?%$K=jB0$7$F$*$i$l$k$N$+$bD4$Y$F$_$^(B $B$7$?!#$H$$$C$F$b

$B$BF|K\(B$B%"%a%j%+(B
$B?M?t(B$B%U%!%$%k7o?t(B$B?M?t(B$B%U%!%$%k7o?t(B
$B3X9;4X78(B(ac/edu)$B#2#5#3(B$B#1#0#8#0(B$B#1#1#9(B$B#6#6#5(B
$B0lHL4k6H(B(co/com)$B#3#8(B$B#2#4#8(B$B#6#7(B$B#5#4#3(B
$BHs1DMxCDBN(B(or/org)$B#1#2(B$B#3#2(B$B#7(B$B#7#1(B
$B@/I\4XO"(B(go/gov)$B#3(B$B#8(B$B#8(B$B#6#5(B
$B$=$NB>(B$B#2(B$B#7(B$B#3(B$B#9(B
$B9g7W(B$B#3#0#8(B$B#1#3#7#5(B$B#2#0#4(B$B#1#3#5#3(B

$B$^$?!"$I$N$h$&$J%U%!%$%k$,E>Aw$5$l$?$+$K$D$$$F$bE}7W$r$H$C$F$_$^$7$?!#(B $BA4It$N%=%U%H%&%'%"$K$D$$$F$NE>Aw7o?t$r$"$2$k$HBgJQ$J$N$G!">e0L#1#0%U%!(B $B%$%k$N$_$r<($7$^$9!#(B

$B####(B
$BEPO?HV9f(B$B%=%U%H%&%'%"L>>N(B $BE>Aw7o?t(B
$B#9##(B $B@)LsO@M}7?8@8l!'(Bcu-Prolog $B#3#0#8(B
$B#3#3(B $B7ABVAG<-=q(B $B#1#8#3(B
$B#1#0(B $BNO3X%W%m%0%i%_%s%0!'(B DP $B#1#5#2(B
$B#4#3(B $BF|K\8lJ8@8@.%D!<%k(B $B#1#2#2(B
$B#4#1(B $B9=J82r@O=hM}%W%m%0%i%`(B $B#1#1#8(B
$B#1##(B UNIX $B>e$N(B KL1 $B%W%m%0%i%_%s%04D6-!'(BPDSS$B#1#1#7(B
$B#3#4(B $B6I=jC10l2=J8K!!'(BLUG $B#1#0#8(B
$B#3#5(B $B@)8B0MB8J8K!!'(B RDG $B#1#0#0(B
$B#2#5(B $BA08~$-?dO@%7%9%F%`!'(B KORE/IE $B#8#9(B
$B#1#4(B $B@)LsO@M}7?8@8l!'(BCAL (CESP$BHG(B) $B#8#4(B
$B9g7W(B $B#3#8#0#4(B

$B$I$&$b!"<+A38@8l=hM}$H@)LsO@M}7?8@8l$,6/$$$h$&$G!"$=$NCf$G#P#D#S#S$,7r(B $BF.$7$F$$$k$H$$$&>u67$N$h$&$G$9!##P#D#S#S$O#U#N#I#X>e$G#K#L#1$r $B$3$N#57n$K$O!V#K#L#18@8l=hM}J}<08!F$MQ=hM}7O!W!JE>Aw7o?t#2#8!K$,%j%j!<(B $B%9$5$l$F$$$^$9!#$3$l$O!"#K#L#1$r#U#N#I#X>e$GF0$+$9%7%9%F%`$G$"$k#K#L#I(B $B#C$N3+H/$K8~$1$F!"$=$N=hM}J}<0$r8!F$$9$k$?$a$N=hM}7O$G$9!#$=$l$KB3$$$F!"(B $B:#2s!"C` $B$3$N#K#L#I#C$N8x3+$K$h$j!"#K#L#1$,#U#N#I#X%^%7%s>e!"$"$k$$$O!"%Q%=%3%s(B $B$N>e$G$9$iF0:n2DG=$H$J$j$^$7$?!#$3$N$h$&$J4p44E*%7%9%F%`$N8x3+$K$h$C$F!"(B $B$5$i$K#I#F#S$X$N%"%/%;%9$OA}2C$9$k$b$N$H;W$o$l$^$9$7!"$3$l$^$G#I#F#S$K(B $B%"%/%;%9$7$F$$$J$$J}$NCf$K$b!"%"%/%;%9$9$k$h$&$K$J$kJ}$,$*$i$l$k$H;W$$(B $B$^$9!#$3$l$i$N8x3+:Q$_$N%W%m%0%i%`$N>pJs$O!"!V#I#C#O#TL5=~8x3+%=%U%H%&%'(B $B%"0lMw!W$r$4Ms2<$5$$!#$3$l$^$G$K#2J,:}$,H/9T$5$l$F$$$^$9$,!":#2s$N8x3+(B $B$K9g$o$;$F!"$3$l$^$G$N%j%9%H$r$9$Y$F4^$s$@?7$7$$HG$,H/9T$5$l$kM=Dj$G$9!#(B

$B#I#F#S%0%k!<%W$G$O!V#I#F#S%K%e!<%9%l%?!$r;O$a!"#I#F#S$K4X$9$k$*Ld$$9g$o$;$O!"2<5-$^$G=PMh$k$@(B $B$1%a!<%k$G$*$h$;2<$5$$!#(B

$B!N#I#F#SC4EvO"Mm@h!O(B

$B")#1#0#8(B $BEl5~ET9A6h;0ED(B $B#1!]#4!]#2#8(B
$B########(B $B;0ED9q:]%S%k#2#13,(B
$B########(B $B!J:b!K?7@$Be%3%s%T%e!<%?5;=Q3+H/5!9=(B
$B##########(BICOT$BL5=~8x3+%=%U%H%&%'%"C4Ev(B

$B##########(Bifs@icot.or.jp

$B!N#I#J#C#A#I(B $B#9#3(B $BJs9p!O(B

$B!!!!#I#C#O#TBhFs8&5fIt(B $BEDCf=(=S(B

$BK:$l$b$7$J$$#2G/A0!"%*!<%9%H%i%j%"$X#I#C#O#T$+$iBg@*$,6n$1$D$1!"%V!<%9(B $B$r@_$1!"8F$S9~$_$r$7!"%G%b$r$7!"%3%"%i$H$?$o$`$l$?!"$"$N#I#J#C#A#I$,!"(B $B:#G/$O%U%i%s%9$N%7%c%s%Y%j!<$H$$$&>l=j$G3+:E$5$l$^$7$?!#$3$l$+$i$4>R2p(B $B$9$k$N$O!";d$NL\$rE@$K$7$?!"#87n#3#0F|7nMKF|Lk$N5pBg4?7^%Q!<%F%#$G$9!#(B

$BCxL>=t;a$N0';"$d$iI=>4<0$d$iLn30N)?)%Q!<%F%#$d$i$H!"$^$:$O$4$/IaDL$K?J(B $B9T$7$^$7$?!#CE>e$K$O%U%i%s%99q4z$HJB$s$G!" $B$=$&$=$&!"K:$l$F$O$$$1$^$;$s!#I=>4<0$GCE>e$K8F$P$l$?$N$O#2%0%k!<%W$"$j(B $B$^$7$F!"$I$A$i$bF|K\?M$,4^$^$l$F$$$^$7$?!#$3$s$J$3$H$r0U<1$9$k$N$b!"%*(B $B%j%s%T%C%/E*1i=P$N$;$$$G$7$g$&$+!#$b$A$m$s!"$4B8$8$NDL$j0lJ}$O#I#C#O#T(B $B$H%*!<%9%H%i%j%"$H$N9q:]6&F18&5f$N@.2L!"#M#G#T#P$N%0%k!<%W$G$9!#(B

$B0';"$,%U%i%s%98l$N;~$O!"CE>e$O$k$+>e$K@_CV$5$l$?EE8w7G<(HG$K1Q8l$N;zKk(B $B$,N.$5$l$^$9!#%U%i%s%98l$O?t;z$H1Q8lE*$JC18l$7$+J9$-$H$l$^$;$s$,!"C}$C(B $B$F$$$k$3$H$H;zKk$H$K$O?oJ,;~4V:9$,$"$C$?$h$&$G$9!#$=$l$K$7$F$b!"%P%s%1%C(B $B%H%9%T!<%A$,D9$$$C$F$N$O!"$J$ $B$5$F!"0U30$KNL$OB-$j$?$7%o%$%s$b0{$a$?$*$$$7$$Ln30%Q!<%F%#$,=*$k:"!"$D(B $B$^$j8a8e#9;~$r2s$C$F$"$?$j$,0E$/$J$j$O$8$a$?:"!"$=$l$O;O$^$j$^$7$?!#(B

$BGzC]$,9l$$$F$=$N1j$,@V$/$"$?$j$NJI$r@w$a!"G;$$2=>Q$r$7$?CK=w$,%5%\%$$N(B $BL1B20aAu$i$7$-$b$N$r$^$H$$!"C]GO!JB-$KMz$/$@$1$N$d$D!K$K>h$C$F!"2?$d$i(B $B7u$dAd$r $B4i$K6bJ4$r$L$j$?$/$C$?9u$$Hi$N0aAu$N0lCD$,!"%5%C%/%9$d%H%m%s%\!<%s$d$i(B $B$r?a$-$J$,$i!"7Z2w$KLn30%Q!<%F%#$N2q>l$r$M$jJb$-$^$9!#$d$,$F9u?'6bJ43Z(B $BCD$HC]GO1iIqCD$OD.$NCf?439$X$H7+$j=P$7$F9T$-$^$7$?!#;22C $B$I$&$G$b$$$$$1$I!"$5$9$,$K#A#I$N3X2q;22C $B%Q%l!<%I$O!"39$NCf?4$K$"$k%5%\%$CK<_>k$^$GB3$-$^$7$?!#9u?'6bJ43ZCD$O1i(B $BAU$7$D$DESCf2?EY$bN)$A;_$^$j!"$R$H$7$-$j1iAU$r@9$j>e$2!"$^$?Jb$-;O$a$^(B $B$9!#Ln30%Q!<%F%#$N:"$b7k9=$J?M?t$G$7$?$,!"$=$s$J$b$s$G$O$9$^$J$$?M?t$K(B $BKD$l$"$,$C$F$-$^$7$?!#39$N0lHL;TL1$bAjEv:.$8$C$?$h$&$G$9!#EvA3$G$9$M!#(B

$B$*>k$K$D$/$H!":#EY$OBg2V2PBg2q$G$9!#6u$XHt$V2V2P$O2;$OBg$-$$$1$l$I$bHf(B $B3SE*$"$C$5$j7O$N$b$N$,k$K$O=D2#$K;E3]$12V2P$,MQ0U$5$l$F$$$F!"$3$l$G$b$+$3$l$G$b$+$H(B $B$P$+$j$K$*>k$r>G$,$7$F$$$-$^$9!#Ak$+$i2V2P!"8.$+$i2V2P!"6uCf$rD%$C$?;e(B $B$,G3$(!"$=$N2<$G%Q%l!<%I$r%j!<%I$7$F$-$?9u?'6bJ43ZCD$,1iAU9b$i$+$K>l$r(B $B@9$j>e$2$^$9!#(B

$B$=$m$=$m=*$k$+$J!"$H;W$&$H$^$?2P$N $B$H$F$b3X2q$N;22CHq$@$1$G$"$NBgA{$.$r$^$+$J$C$?$H$O;W$($J$$$N$G!"2F$N=*(B $B$o$j$G$A$g$&$I$$$$$H!"$?$^$?$^;T$NM=;;$G$b=P$?$s$@$H;W$&$s$G$9$,!D!##4(B $BG/8e$N2#IM%Q%7%U%#%3$,:#$+$i3Z$7$_$G$9!#Cf2Z39$K$G$b1~1gMj$s$G!"@9Bg$K(B $BMY$C$F8+$;$F$b$i$($k$H@($$$G$9$M!"$HL5@UG$$KH/8@$7$F$*$-$?$$$H;W$$$^$9!#(B

[Message from Editorial desk]

$B0J>e!"(BICOT Today $BBh(B 3$B9f!"$*3Z$7$_$$$?$@$1$^$7$?$G$7$g$&$+(B ?

$B$h$j3Z$7$/!"$h$j(B informative $B$J $B

  1. ICOT$B$HBg3X!&%a!<%+$H$N6(NOBN@)$K$D$$$F(B
  2. InfoScience'93 $B!w4Z9q(B $BJs9p(B
  3. $B1~MQ%=%U%H$N8&5f3+H/>u67(B
ICOT Today, Issue No. 4 $B$O!"(B12$B7n=i$a:"$KH/9TM=Dj$G$9!#$44|BT2<$5$$(B !!

ICOT TODAY Issue #3

$B####JT=8!&G[I[##3$30>D309-JsC4Ev%0%k!<%W!J(BIR&PR-G$B!K(B

$B!!!!!!!!!!!!!!!!FbED=S0l####Aj>l##N<####@.ED0lIW####7s;RMxIW(B
$B!!!!!!!!!!!!!!!!(B $BO21[FA;R####Cg@%L@I'####Gr0f9/G7####EDCf=(=S(B
$B!!!!!!!!!!!!!!!!:dED##5#(B

$B####H/9T########(B1993$BG/(B 11$B7n(B
$B!!!!!!!!!!!!!!!!:bCDK!?M(B $B?7@$Be%3%s%T%e!<%?5;=Q3+H/5!9=(B
$B!!!!!!!!!!!!!!!!El5~ET9A6h;0ED(B 1-4-28 $B;0ED9q:]%S%k(B 21F
$B!!!!!!!!!!!!!!!!EEOC(B: 03-3456-3195$B!!!!!!!!(BFAX: 03-3456-3158
$B!!!!!!!!!!!!!!!!(Be-mail: irpr@icot.or.jp

www-admin@icot.or.jp