でました。
http://www.amazon.co.jp/dp/4864010099
翻訳が終わって改めて思うのは、「リファクタリング」の訳者あとがきでの、友野氏の言葉。
「この技法は、依然としてリアルタイム系、分散系、データベースのように
状態の変化に敏感なソフトウェアにつきものの再現性の低いバグを混入しえます」
という言葉。
もし、コードの変換が可換であることを証明できるなら、
バグの混入の可能性を下げることができるかもしれない。
でました。
http://www.amazon.co.jp/dp/4864010099
翻訳が終わって改めて思うのは、「リファクタリング」の訳者あとがきでの、友野氏の言葉。
「この技法は、依然としてリアルタイム系、分散系、データベースのように
状態の変化に敏感なソフトウェアにつきものの再現性の低いバグを混入しえます」
という言葉。
もし、コードの変換が可換であることを証明できるなら、
バグの混入の可能性を下げることができるかもしれない。