読者です 読者をやめる 読者になる 読者になる

にわとり小屋でのプログラミング ブログ

名古屋のCoqエンジニアです。日記は勘で書いてるところがあるので細かいとこが違うことがあります。

オープンソースカンファレンス 名古屋 2009 に行ってきた

yoshihiro5032009-08-24