数学で金使うのって、実験実証でスパコンでも使うという事?