_は_typeで例えば_Integerなどで使う。一方で_?は_?testであり
例えば_?EvenQなどに用いる。では前者に_?IntegerQが使えない
かというと、使えるが時間とメモリを浪費する。

きょう16次方程式の判別式で、京大と富士通がなんか発表して
いましたが、富士通総研の数式処理ってRisa/Asirなんか(@_@)?