体F上の多項式環