CSの数値解析系の研究室と、数理情報の研究室の違いはどのような感じですか?