🚀 go-pugleaf

$B;3K\!wK-665;2JBg$G$9!#$b$O$d(J fj.kanji $B$H$O4X78$N$J$$OC$J$N$G!"(J
$B0J8e!"(Jfj.sci.lang $B$N$_$K$7$?$$$H;W$$$^$:!#(J

In article <TAKEUTI.92Dec21004756@pear.sato.riec.tohoku.ac.jp>
  takeuti@sato.riec.tohoku.ac.jp (Izumi Takeuti) writes:
>$BElKLBg$NC]Fb@t$G$9!#(J

>$B$G$9$+$i!"I=8=J}K!$NI>2A$H$$$&$N$O!"!V$A$c$s$H!W$7(J
>$B$F$$$k$+$I$&$+$d!"!V=q$/$Y$-!W$+$I$&$+$G7h$^$k$b$N$G$O$J$/!"(J
>$B:G=*E*$K$O!V0U?^$,EA$o$j0W$$$+!W!VB>?M$rITL{2w$K$7$F$O$$$J$$(J
>$B$+!W$H$$$C$?$3$H$G7h$^$k$b$N$G$7$g$&!#(J

$B$@$H$9$l$P!"$=$N!V0U?^$,EA$o$j0W$$$+!W!VB>?M$rITL{2w$K$7$F$O$$$J$$$+!W(J
$B$H$$$&4p=`$K$O!"EvA3$J$,$i8D?M:9$,$"$j$^$9!#(J

$B!V$R$i$,$J!&%+%?%+%J!W$H=q$/J}$,<+A3$@$H46$8$k?M$H!"!VJ?2>L>!&JR2>L>!W(J
$B$NJ}$,<+A3$@$H46$8$k?M$NN><T$,$$$k!"$=$l$G$$$$$s$8$c$J$$$G$7$g$&$+!#;d(J
$B$OA0<T$G$"$k$H$$$&$@$1$G!"8e<T$N46$8J}$,$*$+$7$$$J$I$H$$$&$D$b$j$OA4$/(J
$B$"$j$^$;$s!#0lHLE*$K$I$A$i$,<+A3$+$H$$$&5DO@$O!"46@-$NLdBj$J$N$G!"!V$I(J
$B$A$i$,$h$jB?$/$N?M$,<+A3$H46$8$k$+!W$J$i$P$H$b$+$/!"$"$^$j0UL#$,$J$$$G(J
$B$7$g$&!#(J

>$B!!$H$$$&Lu$G!"0lHL$K$O!VJ?2>L>!&JR2>L>!&4A;z!W$NJ}$,<+A3$JI=(J
>$B8=$G$O$J$$$+!"$H;W$&$N$G$9!#(J

$B!V!X2>L>!J$+$J!K!Y$OFq$7$$=O8l$G$"$k!#!W$HG'$a$F$$$k$N$K!"$=$l$G$bFq$7(J
$B$$=O8l$NJ}$r;H$&$3$H$K!"2?$+$N0U?^$r46$8$^$9!#(J

>$B$7$+$7!"(J fj.sci.lang $B$K(J
>$B1w$$$F$O!V$R$i$,$J!&%+%?%+%J!&4A;z!W$H$$$&I=5-$O$H$F$b??LLL\(J
>$B$J5DO@$N;~$K;H$&I=5-$H$O;W$($^$;$s!#5DO@$NH/C<$H$J$kOCBj$NDs(J
>$B6!$+!"C1$J$k>iCL$@$H8+Pv$9$N$,<+A3$G$7$g$&!#(J

$B$G$O!"$"$J$?$K$H$C$F!V$+$J!W$H!V2>L>!W$O$I$A$i$,<+A3$G$9$+!)(J
$B$d$C$Q$j!"!V2>L>!W$H=q$-$^$9$+!)(J
--
  $@;3K\(J  $@OB1Q(J  yamamoto@toki.tutkie.tut.ac.jp
  $@K-665;=Q2J3XBg3XCN<1>pJs9)3X7O(J