エヴァリスト・ガロワの理論は、コンピューターにどのように役立ってるの?