プログラミングって数学の一分野じゃないの?