雑記スマートフォン用の表示で見る雑記この広告は、90日以上更新していないブログに表示しています。使うときのメモCoqずっとtrunkのemacsを自分でビルドして使ってるわけなんですが、ProofGeneralを使おうとして、byte-compileしようとするとこけます。'interactive)に書きかえると動きます。使うときのメモTweet広告を非表示にするもっと読むコメントを書く2011-10-07今日学んだことmiscなんか実験で並列プログラミングとかいうのをやっていて、並列化する前に逐次実行のコードを速くしようとしてるんですけど、そういうことほとんどしたことないし、よくわからないですね。ループの順番入れ替えるとかなんとかしてキャッシュミス減らして、むふーっていってます。Cは投げ捨ててnasmとかで書くとよいのではないかなぁ、と思っとるんですがやる気次第。s;だと、上のほうが速い。(ほんのちょっと)なぜかはしりません。ない環境とかもあるでしょう。s;のほうがもうちょっと速い。500topcoder算数力が足りなくて、組合せが求められない。Proofやらばっかりやってます。今回の問題は、いわゆる鳩ノ巣原理ですね。xsのなかに1より大きい要素があるというのを示せばよい問題です。xsがnilでないなら先頭の要素が0か1かそれ以上で場合わけしました。NumbersCoq最近全然Coqを触ってなかったので、久々にやってみました。1)に等しいっていうやつで、まぁ何も考えずにnについて帰納法で示せばよいです。autoとかringとかomegaとかを使うとなぜか負けた気分になるので、使わずに地道に頑張りました。dみたいな等式を書き換えしてるだけなので、もうちょっと縮むかもしれないですね。NumbersTweet広告を非表示にするもっと読むコメントを書く2011-06-27hogemisc書けば書くほど、思考が漏れ出してきてとりとめのない文章になるのは致命的っぽいですね。01:49hogeTweet広告を非表示にするもっと読むコメントを書く2011-06-27ICPC国内予選ICPCこの前の金曜日に、国内予選がありました。某所で参加記書くと言ったので、模擬国内のときみたいに書いてみたいと思います。いえば、今年はJavaチャレンジなかったですね。ベントされてしまった(追記:アドベント空間てきなつもりだったのですけど、今のご時世だと原発的な意味になりそうですね・・・)3日前ぐらい監督の人からきたメールに、会場となる計算機室は飲食禁止です!と明記されてて、今年は飲み物飲んじゃいけないんじゃないかと戦々恐々とする。金曜日は実験で朝から計算機室にいるので、AOJで簡単な問題解いたり、ライブラリちゃんと印刷したかどうか確認したりする。あと戦略?の確認とか。模擬のときと同じようにやりましょうとか間違いなく早解き合戦になるなぁとかそんな話。出る人たちが続々と計算機室に来だして、これからお祭りがはじまる!!!って感じでわくわくしはじめる。レッドブル飲んでドーピングしてた。開始~~~A,Bを読んでやる係だったので、Aを読んで書き始める。123456*2を計算するのがめんどくさかったので、適当に250000ぐらい配列を確保したりした。(3:48)Bをみると、stack使うだけなので、適当に書く。自分は、stlのstack使わずにvectorのpop_backとか使って書きたい派なのだけど、横でなんでそんな意味ないことするの?とか言われてた。たしかに意味ないなぁと思うなど。(8:57)Cを聞くとただの全探索ゲーだと言うので、はいそうですか、と書き始める。最初、左上とつながってない点も答えに含んでしまって、sampleが合わなかったのだけれど、すぐに気づいてなおしたらあったので提出。(28:14)Dも色数の制限と同じ色の枚数の制限から、そんなに状態数多く無いだろうし全探索ゲーなんだろうと見当はついてたけど、円と円の交差判定を書きたくなかったので、チームメイトに任せる。交差判定ができあがった後、ペアプロして適当に書き上げた。(58:05)ここで、とりあえず残りの問題を全部読んだような記憶がある。Gは問題の意味するところがよくわかんなくて、Fは幾何だけど頑張って場合分けすれば解けないこともない気合ゲーで、Eはなんだこれ?とかいうようなことを思ったような気がする。Fの場合分けをぼんやり考えてたりしたのだけど、東大のチームとか先輩のチームがぽんぽん5問目を解いてたのできっとEは簡単に違いない!!!!と思い、Eをまじめに考え始める。考えると長方形を状態にするメモ化再帰だということが分かって、これさえ分かってしまえば残りはすごく単純なのでがりがり書き始める。累積和がうんぬんとか添字のずれががががが、とかあったりして結構てこずったような覚えがある。アジア予選にはいけるだろうなーとか考えてた。Gは何度か読んでもよく意味が分からないし、しょうがないのでFで必要そうな幾何のライブラリをがりがり打ち込んでもらったりする。考えれば考えるほど場合分けの数が増えていって、こんなん書けるか−と思ってやる気がなくなっていった。最後30分ぐらいは、チョコレートもさもさ食べながらボーッっとしてました。終わった瞬間、某先輩がRewrite買いに走って出ていったのが、一番印象に残った記憶。全体で6位、学内で2位だったらしいです。Acceptらしいですね、よきかなよきかな。それを考えると、D,Eが遅すぎる感があります。タイピング力だけではだめだってこと。(実際全然タイピング速くないですが・・・たぶん、夏合宿に行けるので楽しみ。ない人たちにぼこぼこにされてこようと思います。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。