csnagoya | 03:08 | GC関連のネタを仕込んできてくれたのが4名。CoqでGCを証明してみたよ(id:mzpさん)Proove Mark&Sweep GC with CoqView more presentations from mzpi.Coq、定理証明器ですよ。夢の「バグのないGC」の実現ですよ! ただぼくはまだCoqの入り口にすらも触れていないので正しく理解していないわけで、最低限雰囲気がわかる程度には知っておきたいなあと思う次第です。iPhone/iPadのメモリ管理 (id:sunflatさん)iPhone and iPad Memory ManagementView more presentations from sunflat.うわー面倒くさそうだなぁObjective-C。なんでGC対応しないんだろ?性能的に超高速というわけじゃないiPhoneではリアルタイ