🚀 go-pugleaf

$B>>K\!w?t3X2J$/$:$l(B

$BD>4Q<g5A$N2r<a$N0c$$(B($B%b%G%k$N0c$$(B)$B$K$D$$$F!"JdB-$7$^$9!#(B

In article <568@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:
$B!dC]Fb$NK\$G$O!"D>4Q<g5A$N@-<A$O!"%b%G%k$X$NBP1~$K$h$C$F!"(B$B0LAj6u4V$N@-<A$H$7$F(B
$B!d2r<a$5$l$k!#D>4Q<g5A$K$OB>$K!"(BBKF-$B2r<a$H$+!"<B8=2DG=@-$K$h$k2r<a$,$"$k$,!"(B
$B!d$=(B$B$l$>$l$O!"0l1~FHN)$N$b$N$H9M$($?J}$,$h$$$h$&$@!#(B

$B$=$&8@$($P!"3^;a$,%a!<%k$G!"(B
$B!V(BBKF-interpretation$B$O(B$B==J,7A<02=$5$l$F$$$J$$!W(B
$B$H$$$&$N$G!"$=$s$J$3$H$O$J$$!"(B
$B!V(Brealizability-interpretation$B$G!"7A<02=$5$l$F(B$B$$$k!W(B
$B$H=R$Y$?$H$3$m!"(B
$B!V(Bor$B$N2r<a$,L@$i$+$K0[$J$k!W(B
$B$H$$$&!#=i$a$O2?$r8@$C$F$$$k$s$@$3$$$D$O$H$*$b$C(B$B$?$,(B
$B!V(BV($B&8(B)$B$G$O!"(B|A or B| = 1 $B$@$+$i$H$$$C$F(B |A|=1 $B$+(B |B|=1$B$G$"$k$H$O$$$($J$$!W(B
$B$N0UL#$@$H5$$,IU$$$?(B$B!#(B
$B$=$l$OA4$/$=$N$H$*$j$G$"$k!#;d$O$I$A$i$+$H$$$($P!"GSCfN'1>!9$h$j!"5"G<E*(B
$B$J$b$N$r=E;k$7$?$3$H$K6=L#(B$B$,$"$k$N$G!"$=$NJ}8~$G@bL@$7$F$7$^$C$?$N$@$,!"(B
$B:G=i$+$i!"0LAj6u4V$N@-<A$H$7$F!"@bL@$7$?$[$&$,$h$+$C$?(B$B$H8e2y$7$F$$$k!#(B

($B$b$C$H$b!"(BIZF$B$N$h$&$JBN7O$G$O!"(Brealizability-interpretation$B$,$G$-$k$H$O(B
$B;d<+?H!"$O(B$B$8$a$+$i9M$($F$O$$$J$+$C$?$,!#$3$N$3$H$+$i$b!"C1$J$kGSCfN'$N5q(B
$BH]$H$$$&0UL#$ND>4Q<g5A$H!"9=@.E*$H$$$&(B$B35G0$O0[$J$k$b$N$H$$$($k$h$&$@!#(B)

$B$H$3$m$G!">e$N#2$D$N2r<a$K$D$$$F!"9M$($k$&$A$K(B
$B$"$k5?Ld$,@8$8$F$-$^(B$B$7$?!#(B

V($B&8(B)$B$O!"9b3,D>4Q<g5AO@M}$N7wO@E*2r<a$H$7$F$N%H%]%9$H$_$J$;$k$N$G$7$g$&!#(B
($B$b$A$m$s!"%H%]%9$K(B$B$D$$$F!"CN$C$F$$$k$o$1$G$O$"$j$^$;$s$,(B)
$B$H$$$&$3$H$G!"D>4Q<g5AO@M}$K$^$:7wO@E*$J2r<a$,$"$j$^$9!#(B
$B0lJ}(B$B$G$O!"0lHL$ND>4Q<g5AO@M}$h$j69$$HO0O$N$b$N$G$9$,(B
$B9=@.E*$JM}O@$KBP$9$k<B8=2DG=@-2r<a$,$"$j$^$9!#(B
$B5?Ld$H(B$B$$$&$N$O!"7wO@E*2r<a$H!"<B8=2DG=@-2r<a$H$O!"(B
$B$I$&$$$&4X$o$j$,$"$k$N$G$7$g$&$+$H$$$&$3$H$G$9!#(B
$BC<E*$K$$(B$B$($P!"(B
$B5"G<E*$J35G0$O!"7wO@$N$I$N$h$&$J35G0$KBP1~$9$k$+(B
$B$H$$$&$3$H$G$9!#(B