https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 250の問題文を理解するのに40分かかった。泣きたい #topcoder | |
| 250落ちた！なんか不等号に余計な = が入っているような気がする…もうだめだ… #topcoder | |
| いやそれはあってた。まだ問題理解できてないようだ…。完全にレート低値安定してしまっているなあ。 #topcoder | |
| @tokoharu_sakura レート更新したよメッセージがポップアップする頃に、アリーナをlogoff→loginし直すと、login待ちの時に表示されるレートが変化しているのを見るのが早いらしいです | |
| @_ko1 むしゃくしゃしたので何か250問くらい解きたいけどそろそろ寝ますzzz | |
| Lemma foo: P∨Q->{P}+{Q}. Proof. intro. elim H. ←怒られる、のを知った。 http://www.lix.polytechnique.fr/coq/doc/Reference-Manual006.html の "Incorrect elimination of ～" 以下。なるほど。へー。へーじゃなくて困った。どうしよう |