ACLEとACL2では天と地の差が有るから2位と3位の差は凄いからな。

ACL2なんて出ない方が良いくらいだしな。