久野です。

yas@is.tsukuba.ac.jpさん:
> 簡単なループです。data[0] から data[9] の和を求めるループです。
> 
> s=0;
> for( i=0; i<10; i++ )
> {
>    s+= data[i];
> }
> 
> これの loop invariant と言われても、あんまりパッとするものか
> 出てきません。

                     i           10
        嘘だ〜! s + Σ data[k] = Σ data[k]、でしょ?     久野