数学理論に立脚した言語で現実世界を対象としたプログラミングを行うことは間違いだ