>>21
「初等関数」も｢特殊関数」のナカーマであるとするなら、定数関数も入る。
（定数関数も「初等関数」だから。）

ほんとうに「特殊」なものだけを「特殊関数」と呼びたいなら、「微分方程式の解に
なっている関数で、初等関数でないもの」と定義すればいいのでは。

係数に「有理型」とかの条件をつけとけば、変な関数は入らないだろうし。（多分）