普通、BNFは最初に書くんじゃないの