現状では
性能良い≒バグがない
だからね

設計上バグがないことが、査読によって証明されてるんだよね?ADAは
つまりADAに限っては
性能良い=バグがない