Add yukimi's sources on distribution, Hilbert space, and fixed point theorem from http://yukimigo.com/math/.