>>171264
ACL2のレベル低いらしいしね。あんまり参考にならんよ。まぁガンバより京都を対策した方がいいっていう意見には賛成かも