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=%…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。