No Such Blog or Diary

生協に行ったら大量に売っていたのでおもむろに４５個入りを箱買い．抹茶が濃くてよい感じ．

UltraDefragとかいうのを試した．速かった気がする．でもディスクの使用領域が小さかったからかも知れない．

とりあえずこれで Linux 用パーティションが用意できるのでさっさと Linux 入れよう．

写真でも取りに行こうかと思ったらまだ咲いてないみたい．早く咲かんかな…

普通に終了．帰りのバスと電車で頭を二回ぶつけたせいで聞いた内容が吹っ飛んだ．Modal μ-calculus のトリックと離散数学でのトリックとの関係が気になる．

マイナーな言語でプログラム書いて喰っていけるという話は面白かったなぁ．Scheme と OCaml は使ってる会社があるから Haskell でやってる会社とかもあるのかしら？　実アプリケーションにおいて遅延評価ってどうなんだろ？

そして夜は宣伝の突撃をかます．

とりあえず，静的な片付け言語で変数の型を明示するのはユーザにとって面倒だから，動的な型付け言語で変数の型を明示しないでプログラム書きたいよねという雰囲気になっていたような．これって別に動的でなくても型推論が超強力なら問題ない気もするのだけど…　型ってそんなに邪魔かねぇ？