安部ちゃんが
いる時、いない時で全然ちがうから
ACL2を主戦にしてほしいな！
ちなみに昨日美藤消えてたな(T_T)