多項式環の一般論と応用