>>523
> そもそも = が代入って時点で数学と違うんだから

それは単なる記法上の問題であって本質じゃない

C一族みたいないい加減な言語でなくAlgolやPascalのなどの正統派Algol系言語のように代入を表す記号を “:=” で書く言語であっても変数の概念が数学のそれと全く違うという問題はCなどでの変数と同じ
見掛け上の記号の使い方がいい加減という問題と、ある用語で表される概念がいい加減（間違っている）という問題とはレベルが全く違う