ええと、ACL2の決勝などなど続くけれど、私たちはどこでどこを応援すりゃいいんだっけ？
すまんが、その辺まとめてくれると助かる。