628180☆ああ 2024/02/23 16:46 (iOS17.2.1)

ACL2が確定したし、夏には補強をまた別にするのかな？
今日の感じだとあまり必要はなさそうだけど。