🚀 go-pugleaf

$@>.NSAo(J@$@N6C+Bg3X$G$9!#$J$s$@$+FqGH%<%_$NF1Ak2q$_$?$$$K$J$C$F$-$^$7(J$@$?$M!#(J

In article <SHIMURA.93Mar10214412@octopus.cst.nihon-u.ac.jp> shimura@cst.nihon-u.ac.jp (Shimura Tatsuya) writes:

 |$@EDJU7/$NEj9F$r$&$C$+$j>C$7$F$7$^$C$?$N$G!"$3$A$i$K%U%)%m!<(J
 |$@$7$^$9!#(J

GNUS $@$G(J$@FI$s$G$*$i$l$k$N$J$i!"(JC-u G $@$G$b$&0lEYFI$a$^$;$s$+(J? $@$b$&(J
expire $@$5$l$F$?$i$7$g$&$,$J$$$G$9$,!#(J

 |$@>.NS(J> |$@EDJU(J> $@$9$k$H!$(Jd$@$N0l0U@-$+(J
 |$@>.NS(J> |$@EDJU(J> $@$i!$(JAFA$@$O$`$7$m(JF$@$N$h$&$J$b$N$NHsB8:_$r<gD%$7$F$$$k!%(J
 |$@>.(J$@NS(J> |
 |$@>.NS(J> |$@$H$$$&$N$,8m$j$G$3$3$GHsB8:_$,$o$+$k$N$O(J
 |$@>.NS(J> |	  $@=89gB2(J{b_r|r$@$O<B?t(J}$@$G!$(Jb_r={b_s|s$@$O(Jr$@$h$jBg$-$J<B?t(J}
 |$@>.NS(J> |	  $@$H$J$k$b$N(J
 |$@>.NS(J> |$@$G$7$?!%!J:#EY$O9g$C$F$$$FM_$7$$$J$"!%!K(J
 |$@>.NS(J>
 |$@>.NS(J>$@$$$$$(!"$3$&$$$&$N$bB8:_$7$^$9!#<B:]!"A0$K=q$+$l$F$$$?$h$&$K!"<B?t$N=8(J
 |
 |$@M>7W$J$3$H$G$9$,!"ED(J$@JU7/$,9M$($F$$$k$b$N$OA0$+$i$NOC$NN.$l(J
 |$@$G$O!"(J b_r=b_s $@$J$i$P(J r=s $@$H$J$k$b$N$G$7$g$&!#(J
 |$@$3$l$J$i$P!"(J$@@5$7$$!#(J

$@$3$l$O!"EDJU7/$NJV;v$+$i$o$+$j$^$7$?$,!"$h$/FI$_JV$9$H!"3N$+$KOC$NN.$l(J
$@$+$i$b$o$+$j$^$9$M!#(J$@$I$&$b<:Ni$7$^$7$?!#(J

 |$@>.NS(J>$@$b$A$m$s!"(JAFA $@$G$O!"(JCollapsing Lemma $@$H0c$C$F!"%0%i%U$,(J extensional $@$@(J
 |$@>.NS(J>$@$H$$$&2>Dj$rCV$+$J$$$N$G!"%0%i%U$,(J \in $@4X78$HF17?$K$J$k$H$O8B$i$J$$$o(J
 |$@>.NS(J>$@$1$G$9$,!"I,MW$J$i(J$@!"%0%i%U$rE,Ev$JF1CM4X78$G3d$C$F$D$V$7$F(J extensional
 |$@>.NS(J>$@$K$7$F$*$$$F$+$i$d$l$P$$$$$o$1$G$9!#$3$3$G(J$@!"E,Ev$H$$$C$?$N$O!"@53N$K$O!"(J
 |$@>.NS(J>$@F1CM4X78$G3d$C$?;~$K(J extensional $@$K$J$k$h$&$J:G>.$NF1CM4X78$G3d(J$@$k$o$1(J
 |$@>.NS(J>$@$G$9!#(J
 |$@>.NS(J>
 |
 |
 |$@$3$3$G$$$&(J $@%0%i%U(J (G,R) $@$,(J extensional $@$G$"$k$H$O!"<!$N$3(J
 |$@$H$@(J$@$H;W$$$^$9!#(J 
 |
 |a,b in G $@$N(J R $@$K$+$s$9$k(J $@?d0\E*JDJq$r$=$l$>$l(Jcl(a), cl(b)
 |$@$H$7$?$H$-!"(J R $@$N(J cl(a), cl(b) $@$X$N@)8B$,(J"$@%0%i%U$H$7$F(J"$@F17?(J
 |$@$J$i$P!"(Ja=b $@$G$"$k!#(J

$@$^$"!"BgBN$=$&$$$&$3$H$G$9$,!"$&$k$5$$;v(J$@$r8@$&$H!"(J

  a
  $@!&"*!&"*!&"*!&"*!&!D(J

  b$@!&"*!&(J
   $@",(J  $@"-(J
   $@!&"+!&(J

$@$N$h$&$J(J 2 $@$D$N@a(J a,b $@$,$"$k>l(J$@9g$b9M$($J$$$H$$$1$J$$$N$G!"%0%i%U$H$7$F(J
$@F17?$N>l9g$@$19M$($?$N$G$O$@$a$G!"JL$N5-;v$K;d$,=q$$$?$h$&$K(J$@Dj5A$7$J$$(J
$@$H$$$1$J$$$H;W$$$^$9!#(J($@;VB<$5$s$NJ8>O$G$O(J"$@%0%i%U$H$7$FF17?(J"$@$H$$$&$h$&(J
$@$K(J double quote $@$D$-(J$@$G=q$+$l$F$$$k$N$G!"$3$&$$$&$N$bF17?$KF~$l$k$H$$$&(J
$@0U?^$+$bCN$l$^$;$s$,!#(J)
--
			$@N6C+Bg3XM}9)3XIt?tM}(J$@>pJs3X2J(J    $@>.NS(J  $@Ao(J
			satoshi@whale.ryukoku.ac.jp
			0775-43-7523($@3X2J;vL3<<(J) 0775-43-7528($@8&5f<<(J)
			0775-43-7524(FAX)