Diary/2010-3-10

PLDIr 7回目

...4人だった．
mayahさんの丁寧な分数式(ささださん命名)の講義が聞けてためになりました．
"木"っていうよなあって思っていたけど，証明木っていいますよね，ふつう．たぶん．
私が読んだのは

• Effective sign extension elimination (sign.pdf(229))
• Space-time trade-off optimization for a class of electronic structure calculations (space-time.pdf(241))

定理証明器デモ

Coqを使ってみたくなりました．
http://www.nicovideo.jp/watch/sm1276083