プログラミングを勉強しています。Haskellなど。 最近は分析哲学に興味があります。
nextbeat
Opt Technologies/オプトテクノロジーズ
ProofCafe
NU
Sicss Society Public Events
ブックマークはありません。