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