推論規則って何?nmake.exeのこと?