http://watanabek.cocolog-nifty.com/blog/2005/08/post_040b.html なぜなら、作成されたものがほんとうに「実装独立」であるかどうかを検証する方法がないからだ。 検証する必要はない．真の意味で「実装独立な設計」などはまずあり得ない．よって検証する…