🚀 go-pugleaf

$B?7>k!wC^GHBg3X>pJs$G$9!#$3$s$K$A$O!#(B

In article <3993741news.pl@leo.ie.u-ryukyu.ac.jp>
	kono@ie.u-ryukyu.ac.jp (Shinji KONO) writes:
> $B%W%m%0%i%`$N@5$7$5$r5-=R$9$k$H8@$&$N$O!"$=$&$$$&$3$H$J$s$@(B
> $B$1$I!"$=$b$=$b%W%m%0%i%_%s%0=PMh$k?M4V$,(B100$B?M$K0l?M$0$i$$$7(B
> $B$+$$$J$$$N$K!"%W%m%0%i%`$N@5$7$5$N5-=R$H$J$k$H!"(B1000$B?M$K0l(B
> $B?M!#$7$+$b!"5-=RNL$OKDBg(B... 

$B%W%m%0%i%`$N8!>Z$K4X$7$F$O!";EMM$N5-=R$r2?$H$+$7$FM_$7$$$H;W(B
$B$$$^$7$?$M!#7kO@$b!"!V@5$7$$$+$i@5$7$$!W$N$h$&$K!"%H!<%H%m%8!<$C(B
$B$]$$$3$H$r8@$C$F$$$k$h$&$KJ9$3$($F!#!V;EMM$rK~$?$7$F$$$k!W$H(B
$B$$$&$N$O!"?.$8$i$l$F$b!":G8e!";EMM$,@5$7$$$+$I$&$+$O!"7k6I!"(B
$B85$N%W%m%0%i%`$h$jFq2r$@$C$?$j!#(B

$B$?$@!"(Bweakest precondition $B$H$+!"(Bloop invariant $B$H$$$&9M$(J}(B
$B$O!"%W%m%0%i%`$r=q$/$H$-$K>/$70U<1$7$?$$$H$$$&=j$O$"$j$^$9!#(B
assert() $B$r=q$1$k$/$i$$$K$O!##C8@8l$,=q$1$l$P!"(Bassert() $B$=$N(B
$B$b$N$O!"0l1~;H$($k$s$@$H$O;W$$$^$9!#$=$N;~$K!"(B
weakest precondition $B$H$+!"(Bloop invariant $B$,J,$+$C$F$$$?(B
$BJ}$,$$$$$G$7$g$&!#$"$H!"%k!<%W$NDd;_@-$NOC$r>/$7$+$8$k$H!"(B
if( p ) break; $B$H$+!"(Bwhile( p ) $B$G(B p=FALSE $B$H$+!"$`$A$c$J%k!<(B
$B%W$r=q$/;~$K:a0-46$,=P$F$/$k$N$G!"%W%m%0%i%`$,FI$_$d$9$/$J$k(B
$B$H$"$&8z2L$,$"$k$+$b$7$l$^$;$s!#(B

> $B!!%b%G%k8!>Z$G8!>Z$9$k$Y$-%W%m%Q%F%#$C$F2?$G$9$+(B?
> $B$H$$$&<ALd$@$C$?$j$9$k$s$@$h$J!#$=$l$,$o$+$C$F$J$$$H8@$&$3(B
> $B$H$O!V2?$r%W%m%0%i%_%s%0$7$F$$$k$N$+$o$+$C$F$J$$!W$H$$$&$3(B
> $B$H$J$s$@$,(B... 

$B%G%C%I%m%C%/5/$-$J$$$3$H$H$+!"$A$c$s$H%m%C%/$,30$l$F$$$k$3$H(B
$B$/$i$$$,8!>Z$7$FM_$7$$!#(B

$B:G6a$O!"$&$A$NFn=P$5$s$,!"!VJ8;zNs2r@O!W$H$$$&5;=Q$G(BPHP $B$N%W(B
$B%m%0%i%`$K%/%m%9%5%$%H!&%9%/%j%W%F%#%s%0967b$N@H<e@-$,$J$$$+(B
$B$rD4$Y$F$$$^$9!#$3$l$O!"7k9=;H$($=$&$J46$8!#(B

$B$3$NJU$j$N5;=Q$r;H$C$F!"8@8l$J$j%i%$%V%i%j$r:F@_7W$7$F!"M_$7(B
$B$$$G$9$M!#%/%m%9%5%$%H!&%9%/%j%W%F%#%s%0967b$N@H<e@-$N$"$k%W(B
$B%m%0%i%`$,=q$-$K$/$/$J$k$h$&$J8@8l$H$+8!>Z$,3Z$J8@8l!#(B
Ruby $B$H$+(B C $B$H$+(B Java $B$H$+!"IaDL$N8@8l$N%5%V%;%C%H$,M_$7$$$s(B
$B$@$1$I$M!#(B

$B!@!@!!?7>k!!Lw!!!J$7$s$8$g$&!!$d$9$7!K!!!@!@(B
$B!@!@!!C^GHBg3X!!EE;R!&>pJs!!!!!!!!!!!!!!!@!@(B