FTXのアラメダ口座に残高マイナスを認める特別機能　元CTOが裁判で証言