「数学的なひらめきの感覚が好き」　『AtCoder』高橋直大さんに聞く競技プログラミングコンテストの面白さ