No Such Blog or Diary

どうしても血圧計とかに慣れることができない．血圧・脈拍ともに通常時の1.5～2倍に跳ね上がる．どこかに非接触式の血圧計とかないのだろうか・・・　絶対に技術者の怠慢だと思うぞ．　

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

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

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

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

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

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

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