いまさらTDDを見直す - Inemuri nezumi diary(2007-07-25)
_ いまさらTDDを見直す いまさら「フェルマーの最終定理 (新潮文庫) 著:Simon Singh 訳:青木 薫」を読んだ*1。この本はすごくいい。 この本が指し示していることのひとつは、皆、汗かいて土木作業してたってことだ。ピタゴラス、ユークリッド、…、オイラー、ガウス、…、ソフィー・ジェルマン、…、志村=谷山…。 綺麗な命題/予想を産み出した彼/彼女らは、手を動かす計算をむちゃくちゃな量やってる。 型理論によれば、型は命題で、実装は証明にそれぞれ対応する。そして、テストは、実装の仕様記述の一部に対応する。具体例を計算することはテストすることだ、と言える。 つまり、XPとかTDDとか誰かが言い始めた2000年前から、数学家はひたすらテストファーストだったってこと。証明/予想を言い終えた後は、テストの結果は焼いて捨てたから残っていない。 反論もありそうなことを敢えて言うが、私自身、テスト
Geek to Live：「できる」ToDoリストの作り方 - ITmedia Biz.ID
ToDoリストを「未処理作業の山」にしないためのコツは、ロボットのようにできるタスクにして、自分に命令することだ。 ToDoリストに「済」の印を付けることほど、気持ちのいいものはない。やった！ 終わった！ ミッション完了！ だがToDoリストから1つの項目も消さずに丸1日、あるいは1週間放っておくのは実にたやすい。どうしてそうなるのだろう？ ToDoリストは仕事の進め方の指針になることもあるし、大量に積み重なった未処理の時限爆弾となり、自分とその生産性のなさを責め立てることもある。すべてはToDoリストの書き方次第だ。 ToDoリストは、「ボスを演じる自分」から「アシスタントを演じる自分」への指示一覧だと考えるべきだ。コンピュータプログラムと同様に、指示が明確で具体的で、簡単に実行できるのなら十全だ。そうでなければ、不安や先送り、自己嫌悪といった望ましからざる結果になる。今日は作業をきわめ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
