マイナスの矛盾定義

を読み込んでいます