Text this: The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers /