えっ！
代入の変わりに定義を使っている本ありましたよ。
だから883のような質問したのですよ。
f=0
f:=f+1
のように漸化式を表すのに使ってました。
これとは別物なんですか？