Poly_J とりあえず完
Gen_J.v追加。
Prop_J.v開始