新城＠筑波大学情報です。こんにちは。

In article <chv1ld$151j@utogw.gssm.otsuka.tsukuba.ac.jp>
        kuno@gssm.otsuka.tsukuba.ac.jp writes:
> >     i            10
> > s + Σ data[k] = Σ data[k]
> 部分和の範囲が逆でした…ループ範囲も9まででした…
>       9            9
>  s + Σ data[k] = Σ data[k]
>      i+1           0
>                   しょうもないですね ^_^;          久野

わりと、本質を付いているんじゃないですか。つまり、

・Ｃ言語で総和のプログラムを書くより、ループ不変量を書く方が難しい
・Σの方はバグがあるのかないのかわからない

これなら、Ｃ言語と Lisp とか、違うプログラミング言語で２回プ
ログラムを書いて同じ結果が出てくるか調べた方が楽じゃないかなあ。

＼＼　新城　靖　（しんじょう　やすし）　＼＼
＼＼　筑波大学　電子・情報　　　　　　　＼＼