PCAとかTAとか、こういう略し方よくするけど、ジャッジもAJって言われてるの?