言語ゲーム

とあるエンジニアが嘘ばかり書く日記

Twitter: @propella

2009-12-31から1日間の記事一覧

2009 年のまとめ

1月: C5 発表 Chalkboard id:propella:20090120:p1 http://www.vpri.org/pdf/tr2009002_active_essays.pdf 1月: ソフトウェア工学」は矛盾語法か? 翻訳 id:propella:20090130:p1 2月: CafeObj や Coq の勉強 http://d.hatena.ne.jp/propella/archive?word=%…