!PLDIr 7回目
...4人だった．
mayahさんの丁寧な分数式(ささださん命名)の講義が聞けてためになりました．
"木"っていうよなあって思っていたけど，証明木っていいますよね，ふつう．たぶん．
私が読んだのは
* [Effective sign extension elimination|http://portal.acm.org/citation.cfm?id=512552] ({{ref sign.pdf}})
* [Space-time trade-off optimization for a class of electronic structure calculations|http://portal.acm.org/citation.cfm?id=543552.512551] ({{ref space-time.pdf}})

!定理証明器デモ
Coqを使ってみたくなりました．
http://www.nicovideo.jp/watch/sm1276083