110128-31

• けいさん
  • 詰まるところまで行ったやつをざっと報告。最初の表示が良くなかったせいで以降台無し。表示ごときで変わるわけないだろと思ってやらなかったんだよなー。まあ。
• ぽるちん
  • 7.3途中まで。1-loopってことでtorus上の話。AGTにも絡むのでまあ。
• こぅるまんぜみ
  • 発表。三角不等式の証明が出来なくて怒られるなど。