>>772494
ん、これね
自分もACL2の意義が分からん、欧州のCLとELに比較してもレベル違い過ぎるし、ACLE逃しての罰ゲームになりかねない過密スケジュールになるだけ