数式の構文論？について考えていた。f(x)=2x+3 という関数定義をプログラミング言語的に捉えると、 x は argument ぽく見える。とすると、この x は f の定義の外側では意味を持たないはずで、それならたとえば「関数 f を x で微分する」という表現はナンセ…