緊縛 研究 所 東大 数学 平均 点 推移