🚀 go-pugleaf

$B>>K\!wE4F;Am8&$G$9!#(B

In article <SATOSHI.92Nov27174818@whale.ryukoku.ac.jp> satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi) writes:
>   $B$H$$$&$o(B$B$1$G!"(BIZF $B$H$$$&$N$O!"$+$J$jJQ$J$b$N$G$9!#<B$O!"(BIZF $B$H$$$&$N$O!"(B
>   $B9=@.E*?t3X$N8&5f$NCf$G$O!"$+$J$j(B$BFC<l$JOCBj$KB0$7$^$9!#(BIZF $B$O!">ZL@O@E*(B
>   $B$J6/$5$@$1$O$d$?$i$a$C$?$i$K6/$$$/$;$K(B(ZF$B$HF1$86/$5(B)$B!"9=@.(B$BE*?t3X$G0lHL(B
>   $B$K$O9-$/G'$a$i$l$F$$$k(B principle $B$G$"$k(B($BFC$K6/$$(B principle $B$G$O$J$$(B)$B2D(B
>   $B;;A*Br8xM}(B$B$H$+0MB8A*Br8xM}$,;H$($J$$$H$$$&!"$+$J$j$$$S$D$JM}O@$G$9!#$b(B

  $B>ZL@O@E*$K6/$$$N$K!"2D;;A*Br8xM}$,$D$+(B$B$($J$$$H$$$&$N$,!"LLGr$$$G$9$M!#(B
($B&8$,0LAj6u4V$N$H$-$r9M$($l$P!"$?$7$+$K!"M-8B$G$J$$$H$$$($J$$!#(B)
  $B$H(B$B$3$m$G!"$3$l$O!"(BIZF$B$N=89g$,(Bpredicative$B$J$b$N$G$J$$(B($B!)(B)$B$3$H$K$h$k$N$G(B
$B$7$g$&$+!#(B
  $B$^$?(B IZF$B$G$N%W%m%0%i(B$B%`Cj=P$O!"$I$N$h$&$J46$8$K$J$k$N$G$7$g$&!#(B
  IZF$B$H9=@.E*$J7?M}O@(B($BNc$($P(BMartin-Loef$B$NBN7O(B)$B$N4X78$K$D$$(B$B$F!"65$($F$$$?(B
$B$@$1$k$H$&$l$7$$$N$G$9$,!#(B

$B!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](B$B!]!]!]!]!]!]!]!]!]!](B
$B!!!!!!!!!!E4E4E4E4!!!!!!>>K\??8c(B (Shingo Matumoto)$B!!!!!!!!!!!!!!!!!!!!!!!!!!!!(B
$B!!(B$B!!!!!!!!E4!!!!!!E4!!!!(Bshingo@ipc02.rtri.or.jp$B!!!!!!!!!!!!!!(B $B!!!!!!!!!!!!!!!!(B
$B!!!!!!!!!!E4!!E4E4!!!!!!(B$B")#1#8#5!!El5~ET9qJ,;{;T8wD.#2!]#8!]#3#8!!!!!!!!!!!!!!(B
$B!!E4!!!!!!E4!!!!E4!!!!!!E4F;Am9g5;=Q8&5f=j!!M"(B$BAw%7%9%F%`I>2A8&5f<<!!!!!!!!!!!!(B
$B!!!!E4E4E4!!!!!!!!E4!!!!#0#4#2#5!]#7#3!]#7#3#0#6!!!!!!!!!!!!!!!!!!!!(B$B!!!!!!!!!!(B
$B!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](B