>>1460547
ACL2が最優先。リーグはこの100年構想期間は
タイトルにこだわりないと見てる。