今日は PHP で書かれたコードの安全性を静的に解析するという話を聞いた。それでふと思い出したのだが、前にどっかで SQL を検証するとか何とかいう話を聞いたような覚えがある。確か boolean automaton を……あれ、どうするんだっけ？ 発表資料がないから良…

4 階まで階段で行き来すると疲れる。日頃から運動不足だからなぁ。