2011-04-01から1ヶ月間の記事一覧

TopCoder:SRM504

SRM504 Div1に参加。なのですが……実際参加した人は知ってると思いますが、途中でArenaに不具合が起きてunratedになってしまいました。まあでも、参加はしたので一応点数をば。結果:250:162.06500:Opened1000:UnopenedChallenge : No ChallengesRating: (unr…

TopCoder:SRM503

SRM503 Div1に参戦。結果:250:Challenge Succeeded500:Opened1000:OpenedChallenge : No ChallengesRating:1455 -> 1291 \(^o^)/ナンテコッタイ ううむ、今回はEasyの解答をパッと思いつけなかった上、焦って場合分けの条件をミスってしまったのがまずかった。25…

背理法と対偶証明法(MT)の関係とは?

なんかいきなり数学関連カテゴリ書くのもなんだけど、気になり過ぎているのでここに書く。発端は、田崎晴明氏の日記↓ http://www.gakushuin.ac.jp/~881791/d/1104.html#01ここに、下のような記述がある。(以下引用)「……たとえば「ルート 2 が無理数である…