c++って文法に曖昧さがないことどうやって保証してんだろ
形式的なアプローチ無理だと思うんだが