>>1201596
厳密に言えばACL2はまだ決まってないで。
川崎と横鞠の結果次第や。