shela

197 Contribution

/ Following users

Clojure関連のことをブログがわりに書き綴ります。 ※ここでの発言はシステムエンジニアを代表するものであって、所属する組織は二の次です。

F#とコーラとみもりんが好きなプログラマー。わりといろんな分野のコードを書いたことがあります。

ヾ(  l   _   l  〃)ノ゙ドン☆

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

Release Engineer

よんたった

ほげぽよ~

Coqなどによるプログラムの正しさの検証・証明に興味があります。

へにゃ

Struts2とThymeleaf3大好きでプラグインも作ってますよ。お仕事はSpringですけれど。