利用可能: アセンブリ

合致のリレーションを使って合致間の自由度を拘束します。