No Such Blog or Diary

新しい情報を登録するだけのつもりが古い情報を全削除しちゃったから錠が開かなくなっていたと．どんな操作しでかしたんだろ……

とりゃーず DP=動的計画法 が至極自然だと思い込んでいる時点で一般人では無い，ということに気がついた．確かに競技プログラマとかアルゴリズム屋とかでない人は DP という略称も聞かないだろうし，そもそも動的計画法自体も稀な出会いな気がする．もう少し気をつけんと．

あとは Tester の定義のための DSL をやっぱ用意しておかないと必要以上に難しく見えてしまうなぁ．そのうちどうにかしよう．

準同型も非一般用語よね……　つか，セミリング準同型は素で hom hom なんだなぁ．hom hom しようぜ？

閑話休題．

まだまだ仕事の山場は続くぜよ．

大学に行った → 建物のドアが普通に開いていたので入った → 中に荷物置いて外に出た → 帰ってきたらドアが閉まってた → ロックを開けようと職員証を読み取り機にかざした → NGランプ点灯＆ビープ音 → 閉め出されて荷物も回収できず．

ま，最終的に回収できたから良いのだけど，なんでだろ？　認証のためのサーバがメンテ中とかか？　職員証の IC チップが壊れてるなら NG の反応も出ないはずだし．とりあえず平日に確認してダメだったら事務行きか．

旋盤とかフライス盤とか使いたいけどそのための真っ当な目的がない．

つかワイヤ放電加工機なんかもあったのね．物理系とかだと必要なのか？　とりあえずCADデータからプログラム吐かせたい気分．

ミーティング部屋が狭い上に人数多くて難しいこと考えたりとかすれば酸素足りないし暑いしで頭痛くなるよね．

閑話休題．

Haskell Platform の 2012.2.0.0 はまだ出ないのか．

GHC 7.0.4 だと問題ないのに GHC 7.4.1 だと type ambiguity があるといって見逃してもらえない．古いほうが型を決めすぎているのか新しいほうがお馬鹿なのか．

とりあえず型書くか．