mysql用函数实现输入某个学生的姓名，查询该学生的平均分。

好的，可以使用以下 MySQL 函数实现：

CREATE FUNCTION get_average_score(name VARCHAR(20))
RETURNS FLOAT
BEGIN
    DECLARE avg_score FLOAT;
    SELECT AVG(score) INTO avg_score FROM scores WHERE student_name = name;
    RETURN avg_score;
END;

其中，`name` 是要查询的学生姓名，`scores` 是一个表，存储所有学生的成绩。函数首先声明一个变量 `avg_score`，然后使用 `SELECT AVG(score)` 计算指定学生的平均分，并将结果存储到 `avg_score` 变量中。最后使用 `RETURN` 返回计算结果。需要注意的是，`scores` 表需要包含以下字段：`student_name`（学生姓名）和 `score`（学生成绩）。