- 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=%2a%5bcoq%5d
- 4月: RCCola http://www.vpri.org/pdf/m2009005_rccola.pdf
- 5月: Prolog を Haskell で書く。id:propella:20090502:p1
- 6月: Squeak で LazyList http://propella.blogspot.com/2009/06/lazy-list-and-data-flow-in-squeak.html
- 7月: Alloy や論理について勉強する。id:propella:20090719:p1
- 8月: Flash フォーマットや ActionScript VM の勉強
- 9月: 木製論理回路 id:propella:20090907:p1
- 10月: ABC アセンブラ http://propella.blogspot.com/2009/10/assembler-for-avm2-using-s-expression.html
- 11月: Adobe VM 用 Lisp コンパイラ (未公開)
- 12月: 木製半加算器でグループ展参加。id:propella:20091206:p1
- 12月: Smalltalk勉強会@名古屋 id:propella:20091219:p1
