2015.0702M3L京大阪大数学 | .