bnfc実行