ACL2のパブリックビューイングはエキスポシティに行かなければ買えないみたい？
ネットでは買えないのかな？