We observe that the partition function of the six vertex model on a finite
square lattice with domain wall boundary conditions is (a restriction of) a KP
tau function and express it as an expectation value of charged free fermions
(up to an overall normalization).Comment: 16 pages, LaTeX2