🚀 go-pugleaf

$BEl9)Bg$N:4F#$H?=$7$^$9!#(BFLOPS'99 $B$N(B co-chair $B$rL3$a$F$*$j$^$9!#(B
FLOPS'99 $B$NEj9F!:@Z$,(B $B!v!v!v(B $B8eH>7nDx(B $B!v!v!v(B $B$K$J$j$^$7$?!#(B
$B8fEj9F$NDx59$7$/$*4j$$?=$7>e$2$^$9!#(B

$BEl5~9)6HBg3XBg3X1!>pJsM}9)3X8&5f2J(B
$B:4F#BY2p(B
-------------------------------------------------------------------------
$B!VBh#42s(B  Functional and Logic Programming $B9q:]%7%s%]%8%&%`!J(BFLOPS'99$B!K!W(B
  $B3+:E$HO@J8Jg=8$N$*CN$i$;!J:G=*2s!K(B


$BF|K\$GAO@_$5$l$?4X?t7?8@8l$HO@M}7?8@8l!"$*$h$SN><T$NE}9g$K4X$9$k9q:]%o!<%/(B
$B%7%g%C%W(B FLOPS'99 $B$N3+:E$HO@J8Jg=8$N$*CN$i$;$G$9!#(B  FLOPS $B$O$[$\#1G/H>CV$-(B
$B$K!"IY;N;3O<!J(B1995$B!K!">EFnB<!J(B1996$B!K!"5~ET!J(B1998$B!K$H2a5n#32s3+$+$l!"#42sL\(B
$B$N:#G/$OC^GH8&5f3X1`ET;T$G3+:E$5$l$^$9!#0J2<$N>\:Y$r8fMw$K$J$j!"J3$C$FO@J8(B
$B$r8fEj9F2<$5$$!#(B

[$BF|;~(B]   1999$BG/(B11$B7n(B11$BF|(B($BLZ(B)$B!A(B13$BF|(B($BEZ(B)
[$B2q>l(B]   $B$D$/$P;T(B $BEE;R5;=QAm9g8&5f=j(B
[$B<g:E(B]   $BF|K\%=%U%H%&%'%"2J3X2q%W%m%0%i%_%s%0O@8&5f2q(B
         ($BEE;R5;=QAm9g8&5f=j(B $B6&:E(B)
[URL]    http://www.score.is.tsukuba.ac.jp/flops99

[$B%W%m%0%i%`0Q0wD9(B]   Aart Middeldorp$B!JC^GHBg!K!":4F#BY2p!JEl9)Bg!K(B
[$B%W%m%0%i%`0Q0w(B]
  Zena Ariola (Eugene)$B!"(B          Robert Glueck (Copenhagen)$B!"(B
  Manuel Hermenegildo (Madrid)$B!"(B  Herbert Kuchen (Muenster)$B!"(B
  Michael Maher (Brisbane)$B!"(B      Aart Middeldorp (Tsukuba)$B!"(B
  Gopalan Nadathur (Chicago)$B!"(B    Masahiko Sato (Kyoto)$B!"(B
  Taisuke Sato (Tokyo)$B!"(B          Peter Thiemann (Nottingham)$B!"(B
  Kazunori Ueda (Tokyo)

[$B<B9T0Q0wD9(B]  $BLZ2<2B<y!JEE;R5;=QAm9g8&5f=j!K(B

[$B>7BT9V1i<T(B]
    Mario Rodriguez-Artalejo$B!J(BUniversidad Complutense de Madrid
    $BBgKY(B $B=_!J5~ETBg3X!K(B

[$B1~JgHO0O(B]   $B4X?t7?8@8l!"O@M}7?8@8l0lHL$G!"Nc$($P0J2<$NJ,Ln$r4^$`!#(B
	- $B4pAC!'(B $B%i%`%@7W;;!"9`=q49$(7O!"0UL#O@!"7?M}O@!"%W%m%0%i%`JQ49!"8!>Z(B
	- $B%W%m%0%i%_%s%08@8l!'(B
		$B@)Ls!"JB9T%W%m%0%i%_%s%0!"7?%7%9%F%`!"%W%m%0%i%_%s%0J}K!O@!"(B
		$BB>8@8l$H$NM;9g(B
	- $B<BF/2=!'(B $B%3%s%Q%$%kK!!"%4%_=8$a!"JBNs<B9T!"ItJ,I>2A!"J,;6%7%9%F%`(B
 	- $B1~MQ!'(B $B;vNc8&5f!"1~MQ%7%9%F%`!"(BGUI$B!"4X?t7?!?O@M}7?8@8l$H%$%s%?!<%M%C%H(B

[$B1~JgJ}K!(B]
   $BL$Ej9F3n$DL$H/I=$N(B  15 $B%Z!<%80J2<$N(B postscript$B%U%!%$%k$N1Q8lO@J8$r!"$=$l$H(B
   $B$OFHN)$J!JBjL\!"(B $BCx<T!"MWLs!"(B $B%3%s%?%/%H@h$r5-$7$?!K(Bascii $B%U%!%$%k$NI=;f$r(B
   $BIU$1$F!"(B $BEE;R%a!<%k$K$h$j!"(B

        flops99@score.is.tsukuba.ac.jp

   $B$KAw$C$F2<$5$$!#(B  $B$J$*O@J8$O=PMh$k8B$j(B LNCS  style $B%U%!%$%k(B $B$r;H$C$F2<$5$$(B
  $B!JF~<j@h$O(Bhttp://www.springer.de/comp/lncs/authors.html$B!K!#$b$7EE;R%a!<%k(B
  $B$K$h$kEj9F$,=PMh$J$$>l9g$O!"%3%T!<$r(B4$BIt!"(B

	    $B")(B305-8573	$B$D$/$P;TE72&Bf(B $B#1!<#1!<#1!"(B
        $BC^GHBg3X(B $BEE;R!&>pJs9)3X7O!"(B
        Aart Middeldorp

  $B$KAwIU$7$F2<$5$$!#(B

[$B=EMWF|Dx(B]
   $BJg=8!:@Z$O(B 5$B7n(B24$BF|!J7n!K!"(B
   $B:NH]DLCN$O(B 7$B7n(B24$BF|!JEZ!K!"(B
   $B:G=*9F!:@Z$O(B 8$B7n(B24$BF|!J2P!K!#(B
   $BM=9F=8$O(B Springer-Verlag $B$+$i(B LNCS $B%7%j!<%:$H$7$F=PHGM=Dj!J8r>DCf!K(B