ところでACL2の日程詳細はいつわかるんでしたっけ？
早めに来月の予定を立てておかないと最高過ぎるEピースに行けない事態になってしまう…