静的型付け言語で書かれたプログラムがコンパイルできたというのは、テストのいくつかを通ったにすぎない。
プログラミング言語が静的型付けであれ、動的型付けであれ、プログラムの正しさを保証する唯一の方法は、プログラムの正しさを定義しているところのテストをすべて通すということだ。
Googleが創立されたとき、ポータルと呼ばれる分野における従来の知見は、検索というのは退屈であり、重要ではないと、というものだった。
しかしGoogleの連中は検索を退屈なものとは考えず、そしてそれが彼らがあれほどうまくやれる理由なのだ。
これはマネージャが違いを作り出せる領域だ。
「おまえが部屋を10分で片付けられないほうに賭けるよ」と親が子供に言うように、良いマネージャというのは、しばしば問題をより面白いものとして再定義する。
スティーブ・ジョブズはこれが実にうまい。ある部分では、それが単に彼が高い基準をもっていることによる。
Mac以前にも小さくて安価なコンピュータというのはたくさんあった。しかしジョブズはその問題をこう再定義したのだ。「美しく作れ」。そしてこれが、どんな飴やムチよりも開発者たちを駆り立てたのだ。
Project
News
Article
Calendar
ToDo
掲示板
BookMemo
Link