先週ACL2に集中したいとか言ってたヤツw
今日も全集中してんのか？？
ぼちぼちスマホの電源オンにしていいぞ