9.12 その他の操作

ここでは,定義を効率化するための操作について説明します。

<この節の構成>
9.12.1 フィルタリング