AtCoderとか、プログラミングを競ってるように見えて、いかに数学知ってるかだしな