ビルドしようとするとこける。中が文字化けしていた。内で指定されているのが原因。meta_conv.syntxというようにするのが、たぶん楽。分からなかったので、メモしておく。Haskellhttp-enumerator使って書いた。大したコードじゃないので、ここに貼っておくことにする。twitter-enumeratorのコードを参考にした。5ACで12位でした。大学順位だと9位タイらしい。A,B,D,E,Fの順に解きました。A,B,Dは特に何もなく書けばよい、というだけだったのですけど、3人ともFはよく分からんということになってしまっていて、DP力の不足を感じます。地区予選福岡大会2011-10-11下のやつの追記C++結局、なんでこれがだめかっていうのを調べたり考えたりした。T2っていう順序関係ををテンプレートの定義全体の集合Tについて考える。テンプレートを使うとき...下のやつの追記2011-10-11たまにやってしまうあれC++なんかおしゃれにテンプレート使っちゃうぞー、とかする時にたまにあるあれです。なるんだったか、頻繁に忘れるのでメモ。使うときのメモCoqずっとtrunkのemacsを自分でビルドして使ってるわけなんですが、ProofGeneralを使おうとして、byte-compileしようとするとこけます。使うときのメモ2011-10-07今日学んだことmiscなんか実験で並列プログラミングとかいうのをやっていて、並列化する前に逐次実行のコードを速くしようとしてるんですけど、そういうことほとんどしたことないし、よくわからないですね。500topcoder算数力が足りなくて、組合せが求められない。Proofやらばっかりやってます。今回の問題は、いわゆる鳩ノ巣原理ですね。NumbersCoq最近全然Coqを触ってなかったので、久々にやってみました。1)に等しいっていうやつで、まぁ何も考えずにnについて帰納法で示せばよいです。Numbers2011-06-27hogemisc書けば書くほど、思考が漏れ出してきてとりとめのない文章になるのは致命的っぽいですね。hoge2011-06-27ICPC国内予選ICPCこの前の金曜日に、国内予選がありました。某所で参加記書くと言ったので、模擬国内のときみたいに書いてみたいと思います。いえば、今年はJavaチャレンジなかったですね。ベントされてしまった(追記:アドベント空間てきなつもりだったのですけど、今...ICPC国内予選2011-06-12ICPC模擬国内予選ICPCなんだか阪大のほうにお呼ばれしたので行ってきました。結果は4ACで4位だったらしいのですけど、普通に出てない強いチームもいるし、解いた問題数的には横並びに10チームぐらいいるので、それほどよろしくない感じもする。夕方からやってるUVaのコンテストに最近出てます。CalculasTAPLまたまたHaskellで実装してみました。indiciesという方法を使ってます。だいたい内側のラムダ抽象の引数から順に0,1,2...と番号をふる感じの方法です。詳しいことは本で確認してもらえれば・・・。今日の成果2011-02-07春休みmiscに入りました。新学期までに150問ぐらい解くのを目標にしたいと思います。今日は3問解きました。Div1topcoderここには書いていなかったのだけれど、前回のSRM488でDiv1に上がっていたので、今回からDiv1です。Div2に戻らないように頑張りたい。明らかに2部グラフのマッチングに見える。targetとなる文字列の長さが10以下という条件から、置き換えは最大9回しか起こらないということが分かるので、BFSする。広さが5*5しかないので、BFSした。最大値を最小化する問題なので、2分探索すればいいのはすぐにわかる。ある猫の数以下で条件を満たすことができるかどうかの判定が難しい。書かれている通りに頑張って実装する。決められるところから全部決めていってしまう。全部決められなければ、解はない。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。