数理情報科学のための代数入門 - 群・環・体から暗号理論・グレブナー基底まで