プログラムと正しさ

http://www.radiumsoftware.com/0707.html#070710
[Radium Software]
相変わらずRadium Softwareは興味深いエントリを落としてくれる。