@kururu_goedel: テニュアにあがるためのプロセスに関する説明会に行ってきます。みゃあ2011-04-12 21:44:03 via Seesmic Desktop @kururu_goedel: 考えていた問題に対して、面白い補題を証明して、これであとは行けると思っていたらそんなことはなかったぜ…