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

今日の思索#6

「自明なことを書くこと」 数学書の場合 trivialにも議論をちゃんと書くと直感的な理解よりかなり長くなるから仕方なく省略している良いtrivialと著者が分からなくて誤魔化しているもしくは勘違いしている悪いtrivialとほんとうにtrivialなガチtrivialがある…

国内予選

金曜はICPC国内予選にLittleBug(私とyosとviewlagoon)で出ていました. 前日 yosを下宿に召喚し,模擬国内予選で練習していました.ライブラリとかの確認しつつ,Aから解いていきます. A えーしー. B これはBFSじゃない,DFSだ!! 何やっていたんだろう…

今日の思索#5

「店の客引き」 夕食の店を選ぶときのこと.「今日の」思索とか書いていますが,昨日から考えています.このシリーズは考えたことを書くのが目的なので,(私にしては)長文を書く割には話のオチがつくことは保証されません. 最初に言っておきますが,客引…

リストの速度

こんなに差がでてしまうようです.どこに原因があるのか後で調べます. Prelude> length [(a,b)|a length [1..20000000::Int] 20000000 (0.50 secs, 804777660 bytes)