>>105
変数の代入は、変数の再定義だろ
再定義って言葉が気に入らないなら
つうか単語をいちいち突っ込む基地外に付き合ってやるけど

＊１
左辺はn+1項までの和
右辺のn項までの和を使って、左辺に代入しているから

再帰的とは
あるものが定義されている場合，
その定義の中に，更にその定義されるべきものが，簡単化されて，含まれているとき，
それは「再帰的である」と言われます。
循環論法に似ていますが，少し違います。
再帰的はその部分に含まれるものが全く同じものではなくて，
簡単になったもので，最終的終了条件が明示されているものです。

に従って、＊１は再帰的アルゴリズムである