制約条件を使った属性間の関係の定義 筆者はここまでで、物理特性を示す目的でブロックの属性を定義する方法を解説してきた。一連のシステムの属性は独立していない場合が多い。AとBの2つのサブシステムが、それぞれaとbという属性を持っており、{A.a > B.b} ...