定理証明系や論理プログラミングに興味をもっています。

Ruby Programmer

Web系アプリエンジニア。Javaがメインだが、最近PHPを勉強中。

Ruby, RoR, Scala,PlayFramework,Vim周辺に興味あります。よろしくお願いします。

Webサイト制作（HTML/CSS/jQuery/PHP）関連が多いとは思うけどMacを使ってできる面白そうなことは何でもやります でも本業は物理学&数学（のつもり）