普通の数学(オレンジは数学のサブセットって言ってる)に型システムが無いのも、もしかしてそういう理由もあるのかも？＞＜