>>1492326
ACL2の監督に世界は注目するかな？
中国に引き抜かれる可能性はありそうやけど。