ひだかです。

At 2002/03/13 17:14:38 Tanaka Akira wrote:
> In article <20020313170325Vr2jxV / plum.to>,
> 余計な変数などはプログラマに書かせたくないので、
> 
> while ...
>   ...
>   loop_variant { ループ変化表明の式 }
>   ...
> end
> 
> というように書くことを想定しているのですが、式を評価するところまではい
> いとして、次の値と比較するためにその値を保存するにはどうしたらいいだろ
> うか、というのが私の疑問です。

 入れ子になっている場合などで、複数の invariant 検出を
書きたい場合に困らないんでしょうか。余計に見えてもひとつ
オブジェクトがあったほうが楽なような気がするんですが。

-- 
ひだかたかひろ