“Writes large correct programs”を読んだ

Writes large correct programs を読んだ。

• コンピュータサイエンティストがプログラムを上手くかけるとは限らない
• プログラムを上手くかける人とは？
• 書籍：”Smart and Gets Things Done“を紹介し、「大きくて正しいプログラムを書く人」と答えている
• ソフトワェアのサイズに応じたコストの見積りはプロのプログラマー以外には難しい
• 素人はプログラムが正しいと信じる
• 専門家はバグがあると考え、どのようなテストをしたが、ログ機能があるかを説明する