Date:  Sat, 15 Mar 2003 17:17:51 +0900
From:  Hiroshi Yuki <hyuki@....com>
Subject:  [XP-jp:04228] Re: 浮動小数点演算や幾何演算のテスト
To:  extremeprogramming-jp@....jp
Message-Id:  <20030315170942.FBA1.HYUKI@....com>
In-Reply-To:  <20030315152136Q.hiranabe@....jp>
References:  <20030312224705.0482.TERADA@....jp> <20030315152136Q.hiranabe@....jp>
X-Mail-Count: 04228

結城浩です。

On Sat, 15 Mar 2003 15:21:36 +0900
Kenji Hiranabe <hiranabe@....jp> wrote:

> 歴史的な進化としては，
> 
>    内部表明 -> DbC -> 外部表明
> 
> となりますが，

これ、面白いですね。表明は、

・人間（プログラマ）が読むため、
・コンピュータ（処理系）読むため、

という2つの役割があると思いますが、
内部表明と外部表明の違いは、人間・コンピュータをさらに分割していますね。
クラスの「開発者」と「利用者」の二つに。

> 現在でも，内部表明が有効として知られてる分野
> に，「アルゴリズム」，「OS」，「マルチスレッド」が，あると思
> います．複雑な数値計算以外にも，OS やマルチスレッドの分野
> は，assert 無しでコーディング/デバッグするのが非常に難しいでしょう．

「セキュリティ」も、内部表明が有効な分野だと思います。
これらの分野は、単に機能を果たせばよいわけではない、
という共通の特徴がありますね。

----
結城浩 http://www.hyuki.com/
http://www.textfile.org/
In the beginning God created the heaven and the earth. (Genesis 1:1)