寝すぎた

まぁ、寝たのが6時だったから起きるのもそれに比例して遅くなるわけで・・・
起きたら13時30分でびっくりした。
いつもより1時間以上多く寝ていたらしい。

というわけで、研究室に着いたのがいつもより1時間遅れ。

研究室では教授とお話。
とりあえず、NuSMVのソースコードをパーサーにかけてなんか作ろう。
というわけで、BisonとかyaccとかJavaCCとかを見ながらパーサーの勉強中。
明日はサンプル作ってみよう。