>>693
> ただ、言語設計とかまで行くとむしろ、論理学やそれに近い言語学の部分もあるし、そこは「文系」の人の方が強い。

と書いているということは、言語設計がどういうタスクか知らないってことだな。
そもそも計算機科学で求められる論理学は数理論理学だし、その証明論や意味論だ。
哲学でいう古い形式論理学、つまりアリストテレスとかの論理学じゃない。ましてやヘーゲル論理学つまり弁証法など無関係。

言語設計にしてもそういう数理論理学的な観点に基づいた基礎付けを有し
そういう視点からの洗練があるかどうかが重要なポイント。
それがなってない言語は結局はゴタゴタしていて使えない。

プログラミングに求められる技術面は離散数学や数理論理学など、従来の数学での主流分野とは違うが
間違いなく数学の一部であり、またプログラミングに最も役立つ能力は数学的な思考能力だよ。
数学的な思考能力（一般化や抽象化など）が劣る人間には良いプログラムは書けないと言っても過言でない。
規模が小さいプログラムならばとりあえず動くプログラムはそういう文系馬鹿でも書けるかも知れないけどね。