プログラマは理数系でないことが証明された。