「プログラマーはマシン語を理解しておくべき？」記事へのコメント

でっていう

[Anonymous Coward]

「理系なんだから」という理由で数学定理の難解な証明を要求しているようなものでは。

ベースを理解しているに越したことはないのだけれども
見える範囲が余りにも局所的で非効率というか。

Re:でっていう

[Ryo.F (3896)]

「理系なんだから」という理由で数学定理の難解な証明を要求しているようなもの

逆じゃないかなあ。むしろ、アセンブラは数学で言えば公理系にあたるもので、高級言語が定理でしょう。
公理系からすべての定理を証明できる、というのを理解しているのと、公理系を理解せずに定理のみでさらに高級な定理を証明しよう、というのの差かな。
別にすべての(つまり、難解な定理も含んだ)定理を公理系のみから証明してみせる必要は無くって、それが可能だということを知っていることと、簡単な定理を実際に公理系のみから証明する経験を積んでおく、というのが重要だと言っているのでしょう。これは、数学の専門家なら当然やっていることだよね。

ただ、数学はスペシャリストのみが必要な理論の世界で、プログラミングは実業だからねえ。公理・原理を理解しないレベルの低い(高級言語しか理解しない)プログラマもコストとの見合いで必要だったりする。そういうプログラマも生きていく道があるんだから、それはそれでいいのかも知れない。