optimizedのコメント: 数学・記号論理学的(?)包含関係どうなってるんでしょうね? (Re:そこまで言うならお前が殺してみろ (スコア 1) 308
首記の件、数学・記号論理学的な包含関係(必要十分条件)の観点で、原理的に「出来ること」と「出来ないこと」を論じると、
(1)マシン語(全て可)はアセンブラの必要条件
(2)アセンブラはC言語の必要条件(★必要十分条件に近い★)
となることは言えるのですが、
(3)C言語、C++言語は、JavaやC#の必要条件
と言い切れるかと考えると、事がわかりやすいと思います。
原理的に出来ることの可能性という意味では、明らかに上記(1)→(2)→(3)の順番です。しかしながら、「人として高度なことをコンピュータにやらせられること」と考えると、どうなんでしょうね。
個人的には、上記(2)項が、最も「原理的に出来ることと、人として高度なことをコンピュータにやらせられることの、バランスの良いポイント(つまりCやC++程度がちょうど良い)」と感じてしまうのですが、老害ですかね(?)。