>>1545958
一応区切りというか、ACL2優先とは思ってるんとちゃう？わざわざメディアとかに百年構想諦めたなんてことは言わんやろうから、諦めてないとは言うと思うけど