BSD23arXivBSDBSDBSDarXivBSDBSDDDE_D:y^2=x^3-D^2xyneq0TDr_D>0Dr_D>0p（1）pequiv3（d8）p2p（2）pequiv5（d8）p（3）pequiv7（d8）p2pHeegnerL（1E）DEWeil-HasseL（sE）a_pHasse2sqrt{p}L（sE）thrRe}s>frac{3}{2}Gross-ZagierL（1E）BSDE_Dr_D>0L（1E_D）=0BSD（1）D（2）TunnellD（3）Dequiv567（d8）r_DDL（sE）s=1ETate-ShafarevichE（Q）（Mordell-Weil）MordellE（Q）E（Q）=BbbZ^roplusTTAbelrETMazur15TRREichlerShiraTaniyaCShira（）L（sE）RiennBSDRL（sE）s=1BSD0.1L（sE）s=1ETate-ShafarevichTate-ShafarevichBSDBSDBSDarXivPPT