>>978
なんか丁寧に説明してくれてありです。
「x を実変数として x^2 = 1 という方程式は，実数 a を貰って
　a^2 = 1 の真偽を返す R → {True,False} の関数」と見れる．」
このような方程式の定義の考え方で、式「x^2-1」なんかは
実数aを貰ってa^2-1を返す関数と見られることはありますかね？