Induction_J.v 追加