No Such Blog or Diary

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

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

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

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

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

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

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

注文しておいたPC+ディスプレイ(LCD2490WUXi)が届いた．が，時間がないのでディスプレイのキャリブレーションしたところで時間切れ．LCD2690WUXi と同様に普通に輝度最低にしても眩しいので，120cd/m2 とかに落とすのにRGBゲインを直接いじる．アドバンスモードのLOW BRIGHT MODEを有効にすることでも輝度を下げられるはずだけど何か違いがあるのだろうか？　今度試してみよう．

とりあえず明日から PPL に行くので本格的にいじるのは来週までお預け．