標高+1m

Don't be rational.

2014-02-02から1日間の記事一覧

ソフトウェアのバグがなくならないならユーザを全員プログラマにすればいい

ソフトウェアのバグについて。バグをなくすかユーザをプログラマ*1にするか。 テストについて テストを手で書いて、全ての手続きについてソフトウェアが実行時に取り得る全ての状態のもと*2で正しい結果を返すことを保証するには時間もお金もかかりすぎる。 …