>>4932041
ACL2の決勝戦が残っているのでまだHiな気持ちでいられるんだろう。
終わったらどうなるかに注目だね。