検査行列の最小距離