>>745 ありがとう。前半って非排除性じゃなかったっけ? ×?