🚀 go-pugleaf

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

$B$*K;$7$$$H$3$m(B$B!"%U%)%m!<$rD:$-!"62=L$7$F$*$j$^$9!#(B

In article <SATOSHI.92Dec4174129@whale.math.ryukoku.ac.jp> satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi) writes:
>    |$B!tGSCfN'$h$j$b!"9=@.E*$H$$$&35G0$KD>@\(B$B7k$SIU$$$F$$$k$h$&$K;W$&!#(B

>   $B!VGSCfN'$h$j$b!W7k$SIU$$$F$$$k$+$I$&$+$O$h$/$o$+$j$^$;$s$,!#;d$O!VGSCf(B
>   $BN'$r;H$o$J$$$3$H!W$OA4$/K\<AE*$J$3$H$@$H;W$$$^$9$N$G!#Hs9=@.E*$J86M}$H(B
>   $B$7$FIaDL$N?t3X<T$K$b$h(B$B$/CN$i$l$F$$$k$b$N$K$O!"Nc$($PA*Br8xM}$N$h$&$J8x(B
>   $BM}$,$"$j$^$9$,!"$=$s$J6/$$86M}$r;}$A=P$5$J$/$F$b(B$B!"GSCfN'$r;H$C$?$@$1$G(B
>   $BHs9=@.E*$JB8:_DjM}$,4JC1$KF3$1$F$7$^$$$^$9$+$i!#(B

  $B$J$k$[$I!#$=$l$O$=$&$G(B$B$9$M!#(B
  $B$?$@!"GSCfN'$,0l<!E*$H$$$&$h$j$O!"5"G<E*$H$+!"$=$A$i$N9M$($N$[$&$,0l<!E*(B
$B$G!"GSCfN'$O$=$&$$$&(B$B9M$(J}$+$iFs<!E*$K=P$F$/$k$N$G$O$J$$$+$H;W$C$?$b$N$G$9(B
$B$+$i!#(B $B7h$7$FGSCfN'$r$D$+$o$J$/$F$b!"9=@.E*$JM}(B$BO@$,$"$k$H$$$&0UL#$G$$$C$?(B
$B$N$G$O$"$j$^$;$s!#$4MF<O2<$5$$!#(B

>   $B!V=g=x?t$N9=@.!W$K$D$$$F$O!">>K\$5$s(B$B$,$I$&$$$&$3$H$r;X$7$F8@$C$F$*$i$l(B
>   $B$k$N$+!"$h$/$o$+$i$J$$$N$G!"2?$H$b8@$($^$;$s!#(BOrdinal diagram $B$_$?$$$J(B
>   $B$b$N$r8@$C$F$$$k$N$G$7$g$&$+!"$=$l$H$b9=@.E*=g=x?t$N$h$&$JOC$J$N$G$7$g(B
>   $B$&$+!#(B

  $B$=$l(B$B$O!"<B$OITJY6/$G!"<ALd$7$h$&$+$J$H;W$C$F$$$?$N$G$9$,!#(B(^^;)
  Gentzen$BN.$N>ZL@O@$GMQ$$$k(BOrdinal diagram$B$G$$$&=g=x?t$O!"9=@.E*$J=g=x?t$H(B
$B$O8B$i$J$$$N$G$7$g$&$+!#(B($B$=$b$=$b!"!V9=@.E*!W$JJ}K!$G5v$5$l$kD68B5"(B$BG<K!$H(B
$B$$$&$N$O!"$$$o$f$k9=@.E*=g=x?t$ND68B5"G<K!$+$H!"C1=c$K9M$($F$$$?$b$N$G!#(B)

$B!tCJ!9$H!"4pACO@9V:B(B$B$N$h$&$JOC$K$J$C$F$7$^$C$?!#(B(^^;)

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