2012-09-24から1日間の記事一覧

自動改札機の運賃計算プログラムはいかにデバッグされているのか?

http://www.publickey1.jp/blog/12/_1040.html 興味深く読んだ。 特に、「現実には全パターンはできない」とスタンスを明確にしているので、こういう話が出てくる。 こうやって網羅的なものから絞り込んでいくことのいいところは、テストできていないのがど…

雨でずぶぬれ

会社でいろいろあって、疲れ果てて(特に銭の話に疲れ果てて)帰宅。 ビルの外に出たら、雨。 傘を持っていなかったが、まぁ小雨だから大丈夫かと思って電車に乗って、降りてからが地獄だった。 駅前に物凄いタクシー待ちの行列ができていて、物凄い大雨だっ…