eq の定義を修正