No Such Blog or Diary

とあるDFAを使うプログラムに「最小のオートマトンを求める」というコメントの付いた関数があった．んで，全ての入力に対して同じ状態へ遷移する状態集合だけをまとめて最小だと叫んでいる．これだけじゃ明らかに最小にはならないのに…　このプログラムの作者は何も考えてないんだなぁと思わざるを得ない．最小化できない例としてもっとも単純に考えられるのは，あらゆる入力に対して自分自身に帰ってくるような状態が二つ以上ある場合で，このとき遷移先の状態は各々異なっているので状態がまとめられない．ということで，正しく最小化するには逆の考えをとらねばならない．すなわち，明らかに異なることをチェックしていき，異なると示せないものを等価とする．

論文締め切りがぁ…　第一著者ではないけど論文の上がりが遅いからフル稼働せざるを得ない．あともう少し…

むちゃくちゃ痛い…　おかげで朝起き上がれんかったし昼間は特定の格好しかできなかった…　なにがおきたのだらう？

パッドのボタンがへこみっぱなしになってるし…

本屋で見つけて思わず買ってしまった: Hacking:美しき策謀―脆弱性攻撃の理論と実際．printf のフォーマット文字列でいろいろできるとか書かれているけど今までまったく気にしたこと無かったなぁ．ちゃんと勉強しておかなければ．

締め切り一週間前だけど論文が…　今回もやっぱり lazy evaluation か．