読者です 読者をやめる 読者になる 読者になる

下へ降りるだけじゃなくて上へ昇ることも忘れないでね

プログラムは計算機を前提に書かれるのだから、計算機の構造と動作を理解していることは重要であることは間違いない。プログラムは仕様を満すために書かれるのだから、仕様の形式的記述と検証について理解していることは重要(かもしれない)。