判斷題混凝土中所用的礦渣粉是指石灰石磨細粉。