Update ID 3991031

 - screen_name: mzp
 - name: みずぴー
 - description: プログラムの正しさの検証・証明に興味があります。 Coq, OCaml, Ruby http://www.proofcafe.org / http://www.codefirst.org
ほしい → http://www.amazon.co.jp/registry/wishlist/2JYVAMKIW8PLK
 - location: Nagoya, Japan