今や銀行は正しくモデル化しています 膨大な計算需要