2009-02-15から1日間の記事一覧

CTL(Computation Tree Logic:計算木論理)

・・・という記事を読みました。状態遷移を定義し、ある状態に (なるか|ならないか) どうかを検証する。面白い。アカデミックな研究は面白いのだけれど、どこまで現場に役立てるのか。