検証のコンパイル