ACL2に集中するっていってもなぁ...
神戸でさえあれだけ苦戦した中東勢にやれるんか？