コンパイルは通るが動きがおかしい（要するに文法以外のミス）を
【論理バグ】
って言わない？