$AGT の短期トレードでショートできるようになった