No Such Blog or Diary

一人でやるとしたら簡単なほうから５問は確実に行くだろうけど...　残りの問題はコーディングが面倒な感じかと思われる．間違っても Haskell では書きたくない．ProblemA でさえHaskell だと面倒だ（インデックス使えんので）．

import Control.Monad
main = getProblems >>= mapM_ (putStrLn.show.cnt)
getProblems = do
              n <- liftM read getLine
              if n==0 then return [] else liftM (n:) getProblems
 
primes = let p (x:xs) = x:p (filter (\y -> not (mod y x ==0)) xs) in p [2..]
cnt n = cn primes primes 0 0
 where
 cn ps qs sum c = 
     if sum >= n then cn (tail ps) qs (sum-head ps) (c+if sum==n then 1 else 0)
     else (if n < head qs then c
           else cn ps (tail qs) (sum+head qs) c)

素数の生成はエレガントに書けるけど入出力がうざい．ところで Y コンビネータのラムダ式ってどうだっけ？　olymorphic lambda calculus もよくわからん...　free theorem の根拠が...

同じ東京都内だけど移動がめんどうだ...　横浜線の本数が少ないなぁとか感じた今日この頃．とりあえずJavaチャレンジが面白くない競技になっているような...　会津のヘビのほうが見てて楽しかったのになぁ．

頭痛し．明日からお出かけできるのだろうか...

いつの間にやら１１月になっている．そして shortcut fusion の正当性が良くわからなかったり．

木曜にこけて水溜りにダイブした所為か週末から体調がおかしい...　外は雨っぽいから家でおとなしくしていよう．明日の輪講までには回復したいなぁ．

忘れそうなのでインストールしたfirefoxの拡張をかいておこう．

Google pagerank: Google のページランクをステータスバーに表示

All-in-One Gestures: マウスジェスチャ

SwitchProxy Tool: Proxy 切り替え UI の追加

Forecastfox: 天気予報

ContextMenu Extensions: メニュー強化

User Agent Switcher Extension: User Agent 切り替えて遊ぶ？