2010-07-11 UCSD P-Systemの「言語仕様と最適化は独立した問題である」ということを証明した論文 id:Florian:20100710:1278769288 うーん知らない。誰かこの日記見てる人(ってどれくらいいるんだ?)で知ってる人いませんか?