Matrixはサイズを型に持たせて安全にしたくある