2015.0611京大阪大数学 | .