ACL2なんて言ってる場合じゃないな。
理想を追い求めるのは結構やけど3年で形にならないなら机上の空論てことになるのでは？

ポヤトスに勝てるサッカーを仕込むことはできるんやろか