ファイル入出力がしたいだけ。なのに、IO monad を操ってパースしないといけないと思うと少し気がめいる。抽象化の代償。

あとは、flip2 flip3 を作ればいいのだけれども、単純作業だしいいか。

http://www.gakushuin.ac.jp/~881791/d/0507.html#25 小学校の頃に朝永振一郎の鏡に関するエッセイを読んで、何でこんなこと悩んでいるんだろう。前後がひっくり返っているのに決まってるじゃないか。高名な物理学者も大して思考力ないな、と思った記憶があ…

予報円が円であるのは予報の精度が高くないことを示している。

最近、朝飯が vanish する。vanish とは、数学科その他の方々が使う表現で、コホモロジーの消滅定理(cohomology vanishing theorems)を意識しているらしい。尤も、そこ以降がすべてなくなるわけではないが。そこで、もしかしたら、食事から生成される自由群…

リストがモナドの一種であることを納得した。 http://d.hatena.ne.jp/nuc/20050716/p9 filter (\xs -> foldl (\x -> \y -> 10*x+y) 0 xs == sum (map (\n -> n*n*n) xs) ) $ (\xs -> [ [w,x,y,z]| wそれで上のコードを下のコードにしてみた。体感で遅くなっ…

地震で電話が過負荷で不通になったようだが、過負荷といっても精々100倍程度だろうからちょっとしたアルゴリズム変更で乗り切れるだろうと思う。

採点の仕事をしていて思う。この仕事は必要悪だ。理想的な世界ならばないだろう。