最初のA : Equatableだから〜の部分は仮定ですか？ (edited)