誘導が嫌いなら京大数学やれ