>>976
深く考えると色々と難しい問題で，方程式・関数・変数などの定義や，
何を自然に同一視するかによって，どちらともいえる．
自分の採用している定義でどうなるかを認識していれば十分．
（ただ，普通は方程式や不等式が関数かどうかで議論が本質的に崩れることは
　まず無いと思われているので，特に気にされていない．）

ちなみに，関数だというための基本的な考え方として，
「x を実変数として x^2 = 1 という方程式は，実数 a を貰って
　a^2 = 1 の真偽を返す R → {True,False} の関数」と見れる．」
というものがある．これは方程式の変数に値を突っ込むことが
きちんと定義されていて，最後の「〜と見れる」の部分の
自然な同一視を認めれば正しい．
ただし，これらを否定するような定義もできて，そうすると
方程式を関数と見れなくなる．