Gaussian elimination
"Ly = bはガウスの消去法の前進消去、"Ux = yは後退代入に対応する。