用python生成一段代码，使得输入中国矿业大学某个学生姓名可以查出他的高考成绩

要实现这个功能，需要先准备好一个包含学生姓名和高考成绩的数据源，可以是一个字典、列表或者Excel文件等。然后，可以使用Python的输入函数来获取用户输入的学生姓名，并在数据源中查找对应的高考成绩。

下面是一个使用字典作为数据源的示例代码：

# 准备数据源
scores = {
    '张三': 720,
    '李四': 680,
    '王五': 710,
    '赵六': 650
}

# 获取用户输入的姓名
name = input('请输入学生姓名：')

# 查找对应的成绩
if name in scores:
    print('{}的高考成绩为：{}'.format(name, scores[name]))
else:
    print('未找到{}的成绩'.format(name))

运行代码后，程序会提示用户输入学生姓名，然后在数据源中查找对应的高考成绩并输出。你可以根据需要修改代码来适配不同的数据源和输出格式。