U_UU

61 Contribution

/ Following users

東京のO社でプログラマやってます.Scala/Java/Ruby/C/Objective-C/Parsing. ライトノベル/ゲーム/ダイエット/ジョギング/言語/歴史

仕事で Struts を使って趣味で Java EE を使う見習い SE。 Qiita にまとめていることの 80% くらいは業務で使えていないけど、趣味だからそれでいいのかもしれない。

The implementator of R6RS Scheme system named Sagittarius.

LALの笹川です。よろしくお願いします。

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

機能が向上し, 問題が修正されています