ソフトウェア仕様の形式化の一手段としてクリーンルーム手法（たとえば、これ)がある(そうな)。 特徴としては ・ インクリメンタル開発 ・ 段階的詳細化 ・ 関数等価性の検証 ・ 利用モデルに基づいた統計的な品質保証 などを特徴としている(Ｒｅｆ 「要求工…

書くことはないが、今日のNHK特集は良かった。 現在の資本主義の次の主義が成立するかもしれない。 行動をおこすもの、傍観するものその中で行動を起こすもの達が自然に団結し、組織を超える。 さらに誠実な人間が報われる時代がシステムとして作れるように…